Search arXiv⌕ Search

arXiv · 0707.2927

Constructing simply laced Lie algebras from extremal elements

Abstract

For any finite graph Gamma and any field K of characteristic unequal to 2 we construct an algebraic variety X over K whose K-points parameterise K-Lie algebras generated by extremal elements, corresponding to the vertices of the graph, with prescribed commutation relations, corresponding to the non-edges. After that, we study the case where Gamma is a connected, simply laced Dynkin diagram of finite or affine type. We prove that X is then an affine space, and that all points in an open dense subset of X parameterise Lie algebras isomorphic to a single fixed Lie algebra. If Gamma is of affine type, then this fixed Lie algebra is the split finite-dimensional simple Lie algebra corresponding to the associated finite-type Dynkin diagram. This gives a new construction of these Lie algebras, in which they come together with interesting degenerations, corresponding to points outside the open dense subset. Our results may prove useful for recognising these Lie algebras.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jan Draisma, Jos in 't panhuis. 2008-03-27. Constructing simply laced Lie algebras from extremal elements. https://arxiv.org/abs/0707.2927

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Central series of cocommutative Hopf braces

By extending some classical results known for groups and skew braces, we define and investigate central series of cocommutative Hopf braces. Both left and right central series are defined using a $\star$-product that measures the difference between the two algebra operations, and naturally leads to introducing the notions of socle and of annihilator of a cocommutative Hopf brace. We characterize the central extensions relative to the subcategories of cocommutative Hopf algebras and of commutative and cocommutative Hopf algebras, respectively. Since the category of cocommutative Hopf braces is semi-abelian and it has enough projectives with respect to the class of cleft extensions, one can then establish suitable Hopf formulae for their homology. These are expressed in terms of the corresponding notions of relative commutators of cocommutative Hopf braces. In particular, the one relative to the subcategory of commutative and cocommutative Hopf algebras turns out to be the Huq commutator.

math.RA↗

Commutative algebras satisfying univariate identities with vanishing Peirce polynomial

This paper introduces and studies $(2,3)$-palintropic algebras, a class of commutative algebras defined by the identity $(x^{2})^3 - (x^{3})^2 = 0$. This specific relation is the simplest generator of the $2$-dimensional space of minimal-degree evanescent identities in degree $6$, and encompasses several well-studied structures, including Jordan and medial algebras. The primary motivation for investigating these algebras lies in their trivial Peirce polynomials, which removes a priori restrictions on the spectrum of the multiplication operator associated with an idempotent. This paper reviews and further develops the theory of Peirce operators, Peirce polynomials, and second-order linearizations. It shows that despite the triviality of the Peirce polynomial, any idempotent $c$ admits well-behaved, explicit fusion rules for multiplication between its $λ$-Peirce spaces for $λ\neq \tfrac{1}{2}$. Furthermore, multiplication by a nonsingular idempotent is an algebra homomorphism. Finally, there are given concrete examples of $(2,3)$-palintropic algebras, together with applications of these algebraic structures to commutative polynomial maps.

math.RA↗

Regular Sublattices, O Closed Ideals and Dedekind MacNeille Completions

We study regular sublattices of lattices that satisfy the Join-Infinite Distributive Law (JID) under Dedekind MacNeille completion. Using order convergence, we identify the lattice of O-closed ideals with Crawleys completion, and compare it with the Dedekind MacNeille completion. When DM(L) satisfies (JID), this comparison yields extension results for lattice homomorphisms. In particular, if Y is a regular sublattice of a complete lattice L, and L and DM(Y) satisfy (JID), then the canonical extension lattice-embeds DM(Y) into L with join-regular image. We also give a sharp finite-dimensional obstruction: there exists an infinitely distributive regular sublattice of R3 whose Dedekind MacNeille completion is not distributive, and therefore cannot be lattice embedded in R3. In contrast, we prove that the inclusion of every join-regular sublattice of R2 with a least and a greatest element extends canonically to a lattice embedding of its MacNeille completion into R2.

math.RA↗