Search arXiv⌕ Search

arXiv · 2610.03354

Maximal subalgebras in the three exceptional simple finite-dimensional Lie superalgebras

Abstract

Dynkin classified the maximal subalgebras of the simple finite-dimensional Lie algebras. The super version of his problem is solved, for the matrix Lie superalgebras, by Shchepochkina, and, for the simple vectorial ones with polynomial coefficients taken with their Weisfeiler gradings, in the companion paper by Leites and Shchepochkina --- with three exceptions left open: the three simple finite-dimensional Lie superalgebras $\mathfrak{osp}_a(4|2)$, $\mathfrak{ag}(2)$ and $\mathfrak{ab}(3)$, which are vectorial in more than one way and are not covered by the general argument. Here we settle these three cases for \textbf{graded} subalgebras. For each of the three Lie superalgebras, we list all the $\mathbb{Z}$-gradings to which the method of that paper applies --- two for $\mathfrak{osp}_a(4|2)$, five for $\mathfrak{ag}(2)$, eight for $\mathfrak{ab}(3)$ --- and describe, for every one of them, all the maximal graded subalgebras, the semi-simple ones explicitly. A simple criterion upgrades most of the answers from ``maximal graded\rq\rq\ to ``maximal\rq\rq. Every answer is computed over $\mathbb{Q}$. Two by-products: the classical list of \textbf{five} cases into which the graded subalgebras of a vectorial Lie superalgebra split is incomplete for ambients of depth $>1$ --- a sixth case has to be added, and it is non-empty precisely here; and the parameter $a$ of the copies of $\mathfrak{osp}_a(4|2)$ sitting inside $\mathfrak{ag}(2)$, resp. $\mathfrak{ab}(3)$, is computed intrinsically.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dimitry Leites, Oleksandr Lozhechnyk. 2026-10-02. Maximal subalgebras in the three exceptional simple finite-dimensional Lie superalgebras. https://arxiv.org/abs/2610.03354

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

KEEP EXPLORING

Related papers

$τ$-tilting theory: a self-contained introduction

A self-contained introduction to the basics of Tau-tilting theory. We assume that the reader is familiar with Auslander-Reiten theory, but circumvent the need for the Brenner-Butler tilting theorem completely.

math.RT↗

Chromatic characters and root multiplicities for Borcherds--Kac--Moody algebras

The main aim of this article is to obtain explicit formulas for the root multiplicities of a class of finite-rank symmetrizable Borcherds-Kac-Moody algebras g(A) whose real part is of type A. The Dynkin diagram of each such algebra is obtained from the disjoint union of a Dynkin diagram of type A and a finite simple graph G_im, whose vertices correspond to imaginary simple roots, by choosing one vertex in each and joining the chosen vertices by a single edge of multiplicity c>0. More generally, we consider the same construction with the type A diagram replaced by the Dynkin diagram of an arbitrary finite-rank symmetrizable Kac-Moody algebra g_re. The resulting symmetrizable Borcherds-Kac-Moody algebra g(A) has real part g_re and imaginary part represented by G_im. Our starting point is a graph-theoretic description of the quotient of the denominator products of g(A) and g_re. This quotient is a multivariate independence polynomial of G_im, with the variable corresponding to the attachment vertex weighted by normalized highest-weight characters of g_re. We prove that the coefficients of powers of this quotient factor into a generalized chromatic polynomial and a tensor-power weight multiplicity. Using this, we obtain explicit formulas for all root multiplicities with nonzero imaginary component in terms of generalized chromatic polynomials of G_im and weight multiplicities in tensor products of highest-weight modules of g_re. When G_im is chordal, these formulas specialize to finite divisor sums involving products of binomial coefficients; paths and complete graphs provide particular examples. In particular, we obtain explicit formulas for the root multiplicities of g(A) when its real part g_re is of type A.

math.RT↗