Group superschemes (Q2142470)

This paper is on generalizing algebraic supergroups to the category of locally algebraic group superschemes, using Harish-Chandra pairs. The category of locally algebraic group superschemes is proved to be equivalent to the locally algebraic Harish-Chandra pairs. Let \(\mathbb{G}\) be an affine algebraic group superscheme, and consider its largest, purely-even, group superscheme \(\mathbb{G}_{ev}\). If \(\mathfrak{g}\) is the Lie superalgebra of \(\mathbb{G}\) then \((\mathbb{G}_{ev},\mathfrak{g}_1)\) is the affine algebraic Harish-Chandra pair associated with \(\mathbb{G}\). The functor \(\mathbb{G}\mapsto (\mathbb{G}_{ev},\mathfrak{g}_1)\) is called Harish-Chandra functor. This functor has a quasi-inverse as follows. A Harish-Chandra pair \((G,V)\) defines an algebraic supergroup as a superscheme product \(G\times \boldsymbol{E}\), where \(\boldsymbol{E}\) is isomorphic to \(SS_P(\Lambda(V^*))\). Now the Harish-Chandra pair can be extended to the category of locally algebraic group superschemes. In this paper, it is shown that this functor also has a quasi-inverse. Therefore, an algebraic group superscheme \(\mathbb{G}\) is isomorphic to a superscheme \(\mathbb{G}_{ev}\times \boldsymbol{E}\). The main result of this paper is that \(\mathbb{G}\) coincides with \(\mathbb{G}_{ev}\boldsymbol{E}\). Some applications of this equivalence are discussed in this paper. For example, a connected algebraic group superscheme \(\mathbb{G}\) has normal group super-subschemes \(\mathbb{G}_1\leq \mathbb{G}_2\) such that \(\mathbb{G}_1\) is affine, \(\mathbb{G}_2/\mathbb{G}_1\) is an abelian group variety, and \(\mathbb{G}/\mathbb{G}_2\) is again affine. In addition, it is proved that for any algebraic group superscheme \(\mathbb{G}\) and its group super-subscheme \(\mathbb{H}\), the sheaf quotient \(\mathbb{G}/\mathbb{H}\) is a superscheme of finite type.