arXiv Science⌕ 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

Polygraphic resolutions for operated algebras

This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gröbner--Shirshov bases with non-monomial termination orders. We show how to construct polygraphic resolutions of free operated algebras from confluent and terminating presentations. We provide a combinatorial description of critical branchings of operated polygraphs using the structure of polyautomata introduced in this paper. Polyautomata are linear polygraphs equipped with an operator structure formalized by a pushdown automaton. Finally, we apply our constructions to several families of operated algebras, including Rota--Baxter algebras, differential algebras, and differential Rota--Baxter algebras.

math.RA↗

Nonassociative algebras of anti-biderivation-type

The main purpose of this paper is to study the class of Jacobi-Jordan-admissible algebras whose product is an anti-biderivation of the related Jacobi-Jordan algebra; we call them $\mathcal A{\rm BD}$-algebras. We give characterizations of $\mathcal A{\rm BD}$-algebras and show that this class includes Jacobi-Jordan algebras, symmetric anti-Leibniz algebras and anti-${\rm LR}$-algebras. The derived algebra of an anti-${\rm LR}$-algebra is associative and commutative, and all identities of its commutator algebra follow from the metabelian identity and one identity of degree $4$. We also study $\mathcal A$flexible ${\mathcal A}{\rm BD}$-algebras and prove that a complex finite-dimensional Jacobi-Jordan algebra admits a non-trivial post-Jacobi-Jordan structure if and only if its dimension is at least $3$. Finally, we give the algebraic classification of complex $3$-dimensional $\mathcal A{\rm BD}$-algebras and show that complex finite-dimensional simple ${\mathcal A}{\rm BD}$-algebras are anticommutative, while perfect ones need not be; the minimal dimension of perfect non-anticommutative ${\mathcal A}{\rm BD}$-algebras is $4$.

math.RA↗

Quasi-projective dimensions of complexes over rings

Quasi-projective dimension of modules over associative rings is generalized in this paper to the one of complexes of modules. Basic properties of this dimension are established, including a comparison result with projective dimension and a derived Auslander-Buchsbaum formula for complexes of finite quasi-projective dimension. Several sufficient conditions are provided for a commutative noetherian local ring to be a complete intersection under the assumption that each finitely generated module has finite quasi-projective dimension. This provides some positive answers to an open question on quasi-projective dimension proposed by Gheibi-Jorgensen-Takahashi. Moreover, the behavior of quasi-projective dimension under taking the quotient of a commutative ring modulo a regular sequence is investigated, and some partial results toward the change-of-rings question on quasi-projective dimension are given.

math.RA↗