Quotients of complex algebraic supergroups (Q2237968)

In this paper, the complex algebraic supergroups and their quotients are studied. We say an affine super variety is an affine supergroup if, to each superalgebra, its functor associates a group. Proposition [\textit{R. Fioresi} et al., J. Geom. Phys. 170, Article ID 104367, 11 p. (2021; Zbl 07416017)]. Let the \(G\) be an affine algebraic supergroup and \(H\) a closed subsupergroup. Then, there exists a finite dimensional representation \(\rho\) of \(G\) in \(V\) and a subspace \(W\subset V\), such that \[ H(T)=\{g\in G(T)| \rho(g)W=W\}, \] where by \(H(T)\) we mean the \(T\)-points of \(H\). Let \(\dim W=r|s\) and \(\dim V=m|n\). Consider the supergrassmannian \(Gr:=Gr_{r|s}(\mathbb{C}^{m|n})\). One can see that, using a suitable coordinate, \(W\subset V\) corrsponds to a point \(p\in Gr\). Also, we have the action \(a=\rho|_G:G\times Gr\rightarrow Gr\) such that \(H=\mathrm{Stab}\ p\), and for all \(g\in G(T)\) one has the corresponding orbit map \(a_p:G\rightarrow Gr\), \(a_{p,T}(g)=g\cdot p\). The Chavalley's theorem shows that \(|a_p|(|G|)\) is open in its closure and therefore defines a superscheme, \(G.p\). In this paper, it is proved that \(G.p\) is smooth and the action \(a:G\times Gr\rightarrow Gr\) is transitive. So we get the following theorem. Theorem [\textit{R. Fioresi} et al., J. Geom. Phys. 170, Article ID 104367, 11 p. (2021; Zbl 07416017)]. Let \(G\) be an affine algebraic supergroup and \(H\) a closed supersubgroup. Let also \(T\in (\mathrm{sschemes})\), the category of superschemes. Then the etale sheafification of the functor \(T\rightarrow G(T)/H(T)\), is representable in the category of superschemes, by a smooth superscheme. Using this theorem, one can get the following results. Theorem [\textit{R. Fioresi} et al., J. Geom. Phys. 170, Article ID 104367, 11 p. (2021; Zbl 07416017)]. Let \(G\) be a Chevalley supergroup, \(P\) a parabolic subgroup, and \(T\in (\mathrm{sschemes})\). The etale sheafification of the functor \(T\rightarrow G(T )/P(T )\) is representable by a smooth superscheme. Now let \(\mathrm{GL}\) and \(\mathrm{M}\) are the general linear supergroup and the supermatrices, respectively. Consider the complex orthosymplectic supergroup \(G=\mathrm{Osp}(m|2n)\). Let \(P:(\mathrm{sschemes})\rightarrow (\mathrm{sts})\) be the following closed subsupergroup \[ P(T)=\left\{ \begin{pmatrix} a & 0 & \alpha_2\\ b_{11}\alpha_2^ta & b_{11} & b_{12}\\ 0 & 0 & (b_{11}^t)^{-1} \end{pmatrix}\Big\vert \begin{cases} a^ta=1\\ (b_{11}^{-1}b_{12})-(b_{11}^{-1}b_{12})^t=\alpha_2^t\alpha_2 \end{cases} \right\}, \] where \(a\in \mathrm{GL}(m)(T)\), \(b_{11}\in\mathrm{GL}(n)(T)\), \(b_{12}\in \mathrm{M}(n)(T)\), \(\alpha_2\in\mathrm{M}(m|0, 0|n)(T)\). Theorem [\textit{R. Fioresi} et al., J. Geom. Phys. 170, Article ID 104367, 11 p. (2021; Zbl 07416017)]. The etale sheafification of the functor \(T\rightarrow \mathrm{Osp}(m|2n)(T)/P(T)\) is representable by a smooth superscheme \(\mathcal{L}\), whose functor of points is: \[ T\mapsto\mathcal{L}(T)=\left\{ \begin{pmatrix} 1 & \zeta & 0\\ \zeta^t & z & -1\\ 0 & 1 & 0 \end{pmatrix}\big\vert \zeta^t\zeta+z^t-z=0 \right\}. \]