Flat degenerations of flag supermanifolds for basic Lie superalgebras
Ibrahim Ahmad
TL;DR
The paper advances the degeneration program for flag varieties to the realm of basic Lie superalgebras by constructing and analyzing the super-analogue of favourable modules. It defines a coordinate ring $R(\lambda)$ from finite-dimensional quotients, equips it with a multiplication via a Cartan map, and proves the existence of a flat one-parameter family whose general fibre recovers $R(\lambda)$ while the special fibre is governed by essential monomials, yielding a toric-type degeneration in favorable cases. The work develops a straightening law for the superalgebra, introduces a favourable-module framework, and constructs an explicit $\mathbb{C}[t]$-deformation whose associated graded algebra is monomial and toric in nature, connecting to supergeometry and toric supervarieties in the sense of Jankowski. It thus extends the classical degeneration program to the super setting, with concrete corollaries for Kus–Fourier bases and typified basic Lie superalgebras. This provides a bridge between representation-theoretic bases, PBW-type filtrations, and toric geometry in a supersymmetric context, with potential applications to the study of flag supermanifolds and their coordinate rings.
Abstract
Motivated by bases of representations compatible with the PBW filtration for basic Lie superalgebras by Kus and Fourier, we generalise the construction of degenerations of flag varieties via favourable modules to the super setup. In the classical setup, this method of degenerating flag varieties by Feigin, Fourier and, Littelmann relies on constructing bases of representations of Lie algebras such that in the coordinate ring of an embedded flag varietiy their multiplication can be identified with an affine semigroup modulo terms of higher degree. By killing off said terms of higher degree via a filtration construction, one gets a toric variety the embedded flag variety degenerates into. By adapting these techniques we provide a similar construction and discuss when one can get a degeneration into a toric supervariety, as defined by Jankowski
