Quotients of complex algebraic supergroups (Q2237968)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quotients of complex algebraic supergroups |
scientific article |
Statements
Quotients of complex algebraic supergroups (English)
0 references
28 October 2021
0 references
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\}. \]
0 references
supergeometry
0 references
supergroups
0 references
representation theory
0 references
Lie theory
0 references