Maximal graded subalgebras of simple vectorial Lie superalgebras with polynomial coefficients

Dimitry Leites; Irina Shchepochkina

Home/Archive/arXiv

arXiv · 2610.03340

Maximal graded subalgebras of simple vectorial Lie superalgebras with polynomial coefficients

Dimitry Leites·Irina Shchepochkina

View original source ↗Read source document ↗Export metadata ↓

Abstract

S. Lie was the first to try to classify maximal subalgebras of simple vectorial (i.e., consisting of vector fields) Lie algebras with polynomial coefficients. In Appendix it is shown that, as stated, the problem is wild: describing all subalgebras contains the classification of pairs of matrices up to simultaneous conjugation, so there are too many such subalgebras. Several researchers distinguished various classes of maximal subalgebras important in applications. Here, in simple (or in Cartan prolongations close to simple) vectorial Lie superalgebras with polynomial coefficients considered with gradings associated with Weisfeiler filtrations, we describe maximal simple (and close to simple) graded subalgebras --- a superization of what Sophus Lie tackled. Together with I. Shchepochkina's description of the maximal subalgebras of matrix Lie superalgebras, see arXiv:hep-th/9702122, this paper solves the super and infinite-dimensional version of Dynkin's problem --- the description of the maximal subalgebras of simple finite-dimensional Lie algebras --- except for the 3 exceptional ambients considered elsewhere.

Explore related subjects

math.RT math-ph math.MP

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Dimitry Leites, Irina Shchepochkina. 2026-10-02. Maximal graded subalgebras of simple vectorial Lie superalgebras with polynomial coefficients. https://arxiv.org/abs/2610.03340

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

KEEP EXPLORING

Related papers

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

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↗