Search arXiv⌕ Search

arXiv · 2611.06971

Classification of real Lie algebras of dimension five

Abstract

We summarize a coordinate-free classification of five-dimensional real Lie algebras up to isomorphism. Rather than solving the overdetermined quadratic Jacobi system modulo $\mathrm{GL}(5,\mathbb{R})$, the method uses Levi--Malcev theory and nilradical stratification. In the non-solvable case, the Levi factor is three-dimensional, $\mathfrak{so}(3)$ or $\mathfrak{sl}(2,\mathbb{R})$, acting on a two-dimensional radical; this yields exactly five classes, including the indecomposable $\mathfrak{sl}(2,\mathbb{R})\ltimes\mathbb{R}^2$. In the solvable case, Schur's bound on commutative subalgebras of $\mathfrak{gl}(2,\mathbb{R})$ implies $\dim\mathfrak{n}\in\{3,4,5\}$, eliminating one- and two-dimensional nilradicals. The nilpotent case $\dim\mathfrak{n}=5$ has nine classes: three decomposable and six indecomposable, including $\mathfrak{h}_5$ and two filiform algebras. For $\dim\mathfrak{n}=4$, classification reduces to normal forms of outer derivations for $\mathbb{R}^4$, $\mathfrak{h}_3\oplus\mathbb{R}$, and $\mathfrak{n}_4$ under automorphism and scaling. For $\dim\mathfrak{n}=3$, it uses two-dimensional abelian subalgebras of $\mathrm{OutDer}(\mathfrak{n})$ containing no nonzero nilpotent operators. The work also computes minimal faithful representation dimensions $μ(\mathfrak{g})$, gives a dictionary with classical tables, and designs a deterministic identification algorithm.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mehdi Nadjafikhah. 2026-11-04. Classification of real Lie algebras of dimension five. https://arxiv.org/abs/2611.06971

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

KEEP EXPLORING

Related papers

Log-concavity and unimodality of cluster monomials in fan coordinates of type A_n

We prove that every cluster monomial of type A_n is log-concave and unimodal with respect to its Laurent expansion in a fan initial cluster. We derive a coefficient formula for laminar interval products arising from compatible diagonals in the polygon model. This gives partial affirmative answers to the log-concavity conjecture of Chen-Huang-Sun and the unimodality conjecture of Chen. Our result for cluster A-varieties also complements Shen's study on the supports of products of canonical basis elements for cluster X-varieties of type A_n.

math.RT↗

Cells, cacti, and the asymptotic algebra

We prove that the action of the cactus group on a Coxeter group defined by Losev and Bonnafé can be realised as an action on the asymptotic algebra of the Hecke algebra, thus resolving a conjecture of Rouquier and White. We prove this in the setting of general (potentially unequal) parameters, conditional on Lusztig's conjectures P1-P15, which are known to hold in the equal parameter case.

math.RT↗

Arithmetic Kac Theory for Ramified Species

Let $K=k((t))$, where $k$ is algebraically closed of characteristic zero, and let $Λ$ be an acyclic ramified species over $K$. An indecomposable $Λ$-module can split after extending $K$. The number of its distinct geometric indecomposable summands is the degree of its residue endomorphism field $\operatorname{End}_Λ(M)/\operatorname{rad}\operatorname{End}_Λ(M)$. We use the positive roots and cyclic automorphism of the unfolded quiver to determine the number of isomorphism classes at every nonzero rank and residue degree $e\ge1$: it is zero, an explicitly computable finite number, or $|K|$. For every invariant imaginary root of the unfolding, including at nonprimitive ranks, we construct a smooth invariant family of absolutely indecomposable representations whose rational quotient by the change-of-bases group has dimension $1-q_d(β)$. We characterize ranks admitting absolutely Schur representations by the Schur roots of the unfolded quiver. For the associated species over finite fields, we realize the polynomials counting absolutely indecomposable representations as graded traces of the unfolding automorphism on preprojective BPS cohomology. Galois-orbit formulas and Möbius inversion then recover the counts at each residue degree. Finally, we prove an all-rank symmetrizable analogue of Kac's constant-term conjecture: the constant term of the polynomial counting all indecomposables, rather than only absolutely indecomposable ones, equals the corresponding Kac--Moody root multiplicity. This constant is independent of the symmetrizer and modulation.

math.RT↗