Spherical supervarieties (Q2115478)

Let \(G\) be a complex algebraic supergroup with \(G_0\) reductive, where \(G_0\) is the even underlying algebraic group of \(G\). Such supergroups are called quasireductive. Classically, an affine \(G\)-variety \(X\) is spherical if and only if \(\mathbb{C}[X]\) is multiplicity-free as a \(G\)-module. A. Sherman gives a definition of the notion of spherical varieties in complex supervariety setting under the action of an algebraic supergroup. A \(G\)-supervariety \(X\) is spherical if there exists a hyperborel \(B\) of \(G\) with an open orbit on \(X\); if a hyperborel \(B\) has an open orbit on \(X\), then \(X\) is \(B\)-spherical. A characterization of affine spherical supervarieties is given which generalizes a characterization in the classical case (Theorem 5.5, page 1467): letting \(X\) to be an affine \(G\)-supervariety and \(B\) a hyperborel of \(G\) with maximal unipotent subgroup \(N\) and maximal torus \(T\), the following are equivalent: (1) \(X\) is spherical for \(B\), (2) \(X_{0}\) is spherical for \(B_{0}\), and every nonzero \(B\)-highest weight function in \(\mathbb{C}[X]\) is non-nilpotent, (3) Every nonzero \(B\)-highest weight function in \(\mathbb{C}[X]\) is non-nilpotent, and \(\dim\mathbb{C}[X]^{N}_{\lambda}\leq 1\) for all weights \(\lambda\) of \(T\), and (4) \(\mathbb{C}[X]^N\) is an even commutative algebra without nilpotents, and the natural \(T\)-action is multiplicity-free. The author also explains some general properties of the monoid of highest weights (Section 5.1, page 1466). Finally, several examples are discussed to highlight differences with the classical case, including the regular representation, symmetric supervarieties (Section 6.2, page 1472), and actions of graded supergroups (Section 6.6, page 1483).