Jónsson posets and unary Jónsson algebras

We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than ${|P|}$ and ${\kappa}$ is a cardinal number strictly less than ${|P|}$ , then P has a principal order ideal of cardinality at least ${\kappa}$ . We apply this result to characterize the possible sizes of unary Jónsson algebras.     

Jónsson posets

According to Kearnes and Oman (2013), a partially ordered set P is Jónsson if it is infinite and the cardinality of every proper initial segment of P is strictly less than the cardinaliy of P. We examine the structure of Jónsson posets.     

On successors of Jónsson cardinals

We show that, like singular cardinals, and weakly compact cardinals, Jensen's core model K for measures of order zero [4] calculates correctly the successors of Jónsson cardinals, assuming does not exist. Namely, if is a Jónsson cardinal then , provided that there is no non-trivial elementary embedding . There are a number of related results in ZFC concerning in V and inner models, for a Jónsson or singular cardinal. Received: 8 December 1998     

A review of some of Bjarni Jónsson’s results on representation of arguesian lattices

We review (and slightly extend) Bjarni Jónsson’s results on representations of arguesian lattices that are complemented, of low height, or of simple gluing structure.     

Monotone Jónsson operations and near unanimity functions

We define nonextendible colored posets and zigzags of a poset. These notions are related to the earlier notions of gaps, holes, obstructions and zigzags considered by Duffus, Nevermann, Rival, Tardos and Wille. We establish some properties of zigzags. By using these properties we give a proof of the well known conjecture that states that any finite bounded poset which admits Jsson operations, also admits a near unanimity function. We also provide an infinite poset that shows that we cannot drop the finiteness in this conjecture.Presented by R. McKenzie.     

Generators for complemented modular lattices and the von Neumann–Jónsson coordinatization theorems

Extending work of von Neumann, Jónsson has shown that each complemented modular lattice, L admitting a large partial n-frame with n ≥ 4, or with n ≥ 3 and L Arguesian, can be coordinatized as the lattice of all principal right ideals of some regular ring. His proof built on the embedding of L into the subgroup lattice of an abelian group which follows from Frink’s embedding of L into to a direct product of subspace lattices of irreducible projective spaces and coordinatization of the latter. We offer a proof which, in addition to these results, employs only some elementary linear algebra. Luca Giudici’s thesis [6] is an important source for this approach.     

Jónsson's theorem in non-modular varieties

A version of Jónsson's Theorem, as previously generalized, holds in non-modular varieties. Received March 20, 2000; accepted in final form December 20, 2000.     

Bjarni Jónsson’s contributions in algebra: an addendum

Normal categories are pointed categorical counterparts of 0-regular varieties, i.e., varieties where each congruence is uniquely determined by the equivalence class of a fixed constant 0. In this paper, we give a new axiomatic approach to normal categories, which uses self-dual axioms on a functor defined using subobjects of objects in the category. We also show that a similar approach can be developed for 0-regular varieties, if we replace subobjects with subsets of algebras containing 0.     

Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras

In this paper, we first found a magmatic (i.e., absolutely non-associative) Gröbner-Shirshov basis of a free Gelfand-Dorfman-Novikov algebra GDN(X) such that the corresponding set of irreducible magmatic words is the Dzhumadildaev-Löfwall linear basis of the GDN(X). Then, we prove a Composition-Diamond lemma for right ideals of a free right Leibniz algebra Lei(X).     

Lie algebras of vector fields on smooth affine varieties

We reprove the results of Jordan [18 Jordan, D. (1986). On the ideals of a Lie algebra of derivations. J. London Math. Soc. 33:33–39.[Crossref], [Web of Science ®] , [Google Scholar]] and Siebert [30 Siebert, T. (1996). Lie algebras of derivations and a?ne algebraic geometry over fields of characteristic 0. Math. Ann. 305:271–286.[Crossref], [Web of Science ®] , [Google Scholar]] and show that the Lie algebra of polynomial vector fields on an irreducible a?ne variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not depend on papers mentioned above. Besides, the structure of the module of polynomial functions on an irreducible smooth a?ne variety over the Lie algebra of vector fields is studied. Examples of Lie algebras of polynomial vector fields on an N-dimensional sphere, non-singular hyperelliptic curves and linear algebraic groups are considered.     

Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras

We construct an explicit isomorphism between blocks of cyclotomic Hecke algebras and (sign-modified) cyclotomic Khovanov-Lauda algebras in type A. These isomorphisms connect the categorification conjecture of Khovanov and Lauda to Ariki’s categorification theorem. The Khovanov-Lauda algebras are naturally graded, which allows us to exhibit a non-trivial ℤ-grading on blocks of cyclotomic Hecke algebras, including symmetric groups in positive characteristic.     

Ekedahl–Oort and Newton strata for Shimura varieties of PEL type

We study the Ekedahl–Oort stratification for good reductions of Shimura varieties of PEL type. These generalize the Ekedahl–Oort strata defined and studied by Oort for the moduli space of principally polarized abelian varieties (the “Siegel case”). They are parameterized by certain elements $w$ in the Weyl group of the reductive group of the Shimura datum. We show that for every such $w$ the corresponding Ekedahl–Oort stratum is smooth, quasi-affine, and of dimension $\ell (w)$ (and in particular non-empty). Some of these results have previously been obtained by Moonen, Vasiu, and the second author using different methods. We determine the closure relations of the strata. We give a group-theoretical definition of minimal Ekedahl–Oort strata generalizing Oort’s definition in the Siegel case and study the question whether each Newton stratum contains a minimal Ekedahl–Oort stratum. As an interesting application we determine which Newton strata are non-empty. This criterion proves conjectures by Fargues and by Rapoport generalizing a conjecture by Manin for the Siegel case. We give a necessary criterion when a given Ekedahl–Oort stratum and a given Newton stratum meet.     

Test elements for monomorphisms of free lie algebras and lie superalgebras †

A test criterion for an endomorphism φ of the free Lie (super) algebra L of finite rank to be an automorphism is obtained: φ is an automorphism of L if and only if for an element u ∈ L with the maximal rank the element φ(u) belongs to the orbit of u with respect to the automorphism group of L. In particular, test elements for monomorphisms of L are exactly the elements of the maximal rank     

Comparison semigroups and algebras of transformations

We characterize algebras of transformations on a set under the operations of composition and the pointwise switching function defined as follows: (f,g)[h,k](x)=h(x) if f(x)=g(x), and k(x) otherwise. The resulting algebras are both semigroups and comparison algebras in the sense of Kennison. The same characterization holds for partial transformations under composition and a suitable generalisation of the quaternary operation in which agreement of f,g includes cases where neither is defined. When a zero element is added (modelling the empty function), the resulting signature is rich enough to encompass many operations on semigroups of partial transformations previously considered, including set difference and intersection, restrictive product, and a functional analog of union. When an identity element is also added (modelling the identity function), further domain-related operations can be captured.