Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0707.2927

Constructing simply laced Lie algebras from extremal elements

Jan Draisma·Jos in 't panhuis
View original source ↗Read source document ↗Export metadata ↓

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

math.RAmath.AG

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

arXiv2026

Jacobson radicals of Ore extensions

Let $R$ be a ring, $σ$ be an automorphism of $R$, and $D$ be a $σ$-derivation on $R$ with $Dσ=σD$. We will show that $J(R[x;σ,D])\subseteq A[x;σ,D]$ where $A$ is a collection of all leading coefficients of polynomials in $J(R[x;σ,D])$. In addition, we will prove that $J(R[x;σ,D])\cap R$ is nil if $σ$ is locally torsion and one of the following conditions is given: (1) $R$ is a PI-ring and $D$ is $q$-skew, (2) $R$ is an algebra over a field of characteristic $p>0$ and $D$ is a locally nilpotent derivation such that $σD=Dσ$. This answers partially an open question by Greenfeld, Smoktunowicz and Ziembowski.

math.RA↗
arXiv2026

Projective Differential Moment Invariants from the Viewpoint of Classical Invariant Theory

Polynomial first-order projective differential moment invariants are investigated. The main result establishes an exact correspondence between such moment invariants and symmetric polynomial multipoint relative projective differential invariants of weight $-1$. This correspondence describes each homogeneous component with respect to moment degree and allows previously obtained results on relative projective invariants to be used for systematic construction. It is also proved that passing from the formal algebra of moments to their integral definitions introduces no additional algebraic relations among the constructed invariants. For low moment degrees, the absence of nontrivial invariants of degrees $1$ and $2$ is established, and a complete description of degree $3$ invariants is obtained. The ten cubic differential moments are naturally identified with the coefficients of a ternary cubic, connecting the construction with classical invariant theory. In particular, the Aronhold invariants $S$ and $T$ yield projective differential moment invariants of degrees $4$ and $6$. One of the known moment invariants of Wang et al. is shown to be proportional to $S$. The algebra of polynomial moment invariants is proved not to be finitely generated. The field of rational moment invariants coincides with the field of fractions of the polynomial invariant algebra. For the explicit constructions, compact multipoint representations define the corresponding moment polynomials without requiring their full expansions. These representations provide a basis for algorithmic construction and software computation of the invariants.

math.RA↗