Searcharxiv⌕ 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

Bubble sort and Howe duality for staircase matrices

We prove the alternating Cauchy identity for staircase matrices conjectured in arXiv:2411.03117, together with an explicit description of the coefficients occurring in it. As a byproduct, our approach also yields a new, independent (more combinatorial) proof of the Cauchy identities for staircase matrices established in arXiv:2411.03117. The first part of the paper focuses on combinatorial aspects. It is self-contained, of independent interest, and introduces a generalization of parabolic Bruhat graphs for monotone functions on an arborescent poset. The second part centers on representation theory. We propose a generalization of the classical Howe duality for staircase matrices in terms of the distributive lattice of Demazure submodules within a given integrable representation. Computing the associated character yields all desired Cauchy identities for staircase matrices.

math.RT↗

On character tables for fusion systems

A character table $X$ for a saturated fusion system $\mathcal{F}$ on a finite $p$-group $S$ is the square matrix of values associated to a basis of the lattice of virtual $\mathcal{F}$-stable ordinary characters of $S$. We prove a conjecture of the second author which equates the determinant of $X\overline{X}^T$ (the square of the volume of this lattice) with the product of the orders of $S$-centralisers of fully $\mathcal{F}$-centralised $\mathcal{F}$-class representatives. This statement is exactly column orthogonality for the character table of $S$ when $\mathcal{F}=\mathcal{F}_S(S)$. We first give an elementary proof when $\mathcal{F}=\mathcal{F}_S(G)$ is realised by a finite group $G$ with Sylow $p$-subgroup $S$, and then treat the general case by exploiting the characteristic idempotent $ω_\mathcal{F}$ of $\mathcal{F}$ in the $p$-local double Burnside ring. The two ingredients are that $ω_\mathcal{F}$ acts on class functions as the operator of averaging over $\mathcal{F}$-classes, which forces the lattice of $\mathcal{F}$-stable characters to be self-dual at $p$, and that this averaging operator preserves $\ZZ_{(p)}$-valued class functions, which forces $|x^\mathcal{F}|_p=[S:C_S(x)]$ for every fully $\mathcal{F}$-centralised $x \in S$. The latter equality was conjectured in an earlier version of this paper.

math.RT↗

Skew-symmetrizable cluster algebras from surfaces and symmetric quivers

We study skew-symmetrizable cluster algebras $\mathcal{A}$ associated with unpunctured surfaces $\tilde{\mathbf{S}}$ endowed with an orientation-preserving involution $ς$. We give a geometric realization of such cluster algebras by showing that cluster variables of $\mathcal{A}$ correspond to non-crossing $ς$-orbits $[γ]$ of arcs of $\tilde{\mathbf{S}}$, while clusters are given by admissible $ς$-invariant triangulations. We establish a formula expressing some cluster variables of $\mathcal{A}$ in terms of those of a skew-symmetric cluster algebra of the same rank, which is combinatorially derived from $\mathcal{A}$. We use this result to provide a cluster expansion formula in terms of perfect matchings of some labeled modified snake graphs constructed from the arcs of $[γ]$. Then, we associate a symmetric finite-dimensional algebra $A$ to $\mathcal{A}$, such that non-initial cluster variables correspond to some orthogonal indecomposable $A$-modules. Finally, we exhibit a purely representation-theoretic map to $\mathcal{A}$, providing a Caldero-Chapoton map in this setting.

math.RT↗