Prescribing Ricci curvature on homogeneous spaces

The prescribed Ricci curvature problem in the context of G-invariant metrics on a homogeneous space M = G / K {M=G/K} is studied. We focus on the metrics at which the map g ↦ Rc ⁡ ( g ) {g\mapsto\operatorname{Rc}(g)} is, locally, as injective and surjective as it can be. Our main result is that such property is generic in the compact case. Our main tool is a formula for the Lichnerowicz Laplacian we prove in terms of the moment map for the variety of algebras.

Sheffer operation in relational systems

The concept of a Sheffer operation known for Boolean algebras and orthomodular lattices is extended to arbitrary directed relational systems with involution. It is proved that to every such relational system, there can be assigned a Sheffer groupoid and also, conversely, every Sheffer groupoid induces a directed relational system with involution. Hence, investigations of these relational systems can be transformed to the treatment of special groupoids which form a variety of algebras. If the Sheffer operation is also commutative, then the induced binary relation is antisymmetric. Moreover, commutative Sheffer groupoids form a congruence distributive variety. We characterize symmetry, antisymmetry and transitivity of binary relations by identities and quasi-identities satisfied by an assigned Sheffer operation. The concepts of twist products of relational systems and of Kleene relational systems are introduced. We prove that every directed relational system can be embedded into a directed relational system with involution via the twist product construction. If the relation in question is even transitive, then the directed relational system can be embedded into a Kleene relational system. Any Sheffer operation assigned to a directed relational system $${\mathbf {A}}$$ A with involution induces a Sheffer operation assigned to the twist product of $${\mathbf {A}}$$ A .

L-fuzzy cosets in universal algebras

In this paper, we introduce the notion of fuzzy costs in a more general context, in universal algebra by the use of coset terms. We study the structure of fuzzy cosets by applying the general theory of algebraic fuzzy systems. Fuzzy cosets generated by a fuzzy set are characterized in different ways. It is also proved that the class of fuzzy cosets determined by an element forms an algebraic closure fuzzy set system. Finally, we give a set of necessary and sufficient conditions for a given variety of algebras to be congruence permutable by applying the theory of fuzzy cosets.

Sheaf representations and locality of Riesz spaces with order unit

We present an algebraic study of Riesz spaces (=real vector lattices) with a (strong) order unit. We exploit a categorical equivalence between those structures and a variety of algebras called RMV-algebras. We prove two different sheaf representations for Riesz spaces with order unit: the first represents them as sheaves of linearly ordered Riesz spaces over a spectral space, the second represent them as sheaves of "local" Riesz spaces over a compact Hausdorff space. Motivated by the latter representation we study the class of local RMV-algebras. We study the algebraic properties of local RMV-algebra and provide a characterisation of them as special retracts of the real interval [0,1]. Finally, we prove that the category of local RMV-algebras is equivalent to the category of all Riesz spaces.

Levi and Malcev Theorems for Finite-Dimensional Algebras from the Variety Defined by the Identities x2 = J( x,y, zu) =0

We study the variety of binary Lie algebras defined by the identities [Formula: see text], where [Formula: see text] denotes the Jacobian of [Formula: see text], [Formula: see text], [Formula: see text]. Building on previous work by Carrillo, Rasskazova, Sabinina and Grishkov, in the present article it is shown that the Levi and Malcev theorems hold for this variety of algebras.

Operations that preserve integrability, and truncated Riesz spaces

For any real number {p\in[1,+\infty)}, we characterise the operations {\mathbb{R}^{I}\to\mathbb{R}} that preserve p-integrability, i.e., the operations under which, for every measure μ, the set {\mathcal{L}^{p}(\mu)} is closed. We investigate the infinitary variety of algebras whose operations are exactly such functions. It turns out that this variety coincides with the category of Dedekind σ-complete truncated Riesz spaces, where truncation is meant in the sense of R. N. Ball. We also prove that {\mathbb{R}} generates this variety. From this, we exhibit a concrete model of the free Dedekind σ-complete truncated Riesz spaces. Analogous results are obtained for operations that preserve p-integrability over finite measure spaces: the corresponding variety is shown to coincide with the much studied category of Dedekind σ-complete Riesz spaces with weak unit, {\mathbb{R}} is proved to generate this variety, and a concrete model of the free Dedekind σ-complete Riesz spaces with weak unit is exhibited.

On the Axiomatisability of the Dual of Compact Ordered Spaces

We provide a direct and elementary proof of the fact that the category of Nachbin’s compact ordered spaces is dually equivalent to an $$\aleph _1$$ ℵ 1 -ary variety of algebras. Further, we show that $$\aleph _1$$ ℵ 1 is a sharp bound: compact ordered spaces are not dually equivalent to any $$\mathrm{SP}$$ SP -class of finitary algebras.

Limit varieties of aperiodic monoids with commuting idempotents

A variety of algebras is called limit if it is nonfinitely-based but all its proper subvarieties are finitely-based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents.

Additive primitive length in relatively free algebras

The additive primitive length of an element [Formula: see text] of a relatively free algebra [Formula: see text] in a variety of algebras [Formula: see text] is equal to the minimal number [Formula: see text] such that [Formula: see text] can be presented as a sum of [Formula: see text] primitive elements. We give an upper bound for the additive primitive length of the elements in the [Formula: see text]-generated polynomial algebra over a field of characteristic 0, [Formula: see text]. The bound depends on [Formula: see text] and on the degree of the element. We show that if the field has more than two elements, then the additive primitive length in free [Formula: see text]-generated nilpotent-by-abelian Lie algebras is bounded by 5 for [Formula: see text] and by 6 for [Formula: see text]. If the field has two elements only, then our bounds are 6 for [Formula: see text] and 7 for [Formula: see text]. This generalizes a recent result of Ela Aydın for two-generated free metabelian Lie algebras. In all cases considered in the paper, the presentation of the elements as sums of primitive elements can be found effectively in polynomial time.

A general framework for geometric dualities for varieties of algebras

We set up a framework that subsumes many important dualities in mathematics (Birkhoff, Stone, Priestly, Baker-Beynon, etc.) as well as the classical correspondence between polynomial ideals and affine varieties in algebraic geometry. Our main theorems provide a generalisation of Hilbert's Nullstellensatz to any (possibly infinitary) variety of algebras. The common core of the above dualities becomes then clearly visible and sets the basis to a canonical method to seek for a geometric dual to any given variety of algebras.