Solvable, reductive and quasireductive supergroups

DOI10.1016/J.JALGEBRA.2015.11.013MaRDI QIDQ5964511zbMATH OpenOpenAlexWikidataFDO

Authors Alexandre N. Grishkov, A. N. Zubkov

Publication date 29 February 2016

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.5648

zbMATH Keywords

algebraic supergroup Lie superalgebra quasireductive supergroup solvable radical solvable supergroup unipotent radical

Mathematics Subject Classification ID

Lie algebras and Lie superalgebras (17B99) Linear algebraic groups and related topics (20G99)

Abstract: This work was inspired by two natural questions. The first question is when Lie(G')=Lie(G)', where G is a connected algebraic supergroup defined over a field of characteristic zero. The second question is whether the unipotent radical of any normal supersubgroup H of G coincides with the intersection of H and G_u, where G_u is the unipotent radical of G. Both questions have affirmative answers in the category of algebraic groups (in the second case one has to assume additionally that G and H are reduced whenever char K >0). Surprisingly, using the technique of Harish-Chandra superpairs and a complete description of an action of an algebraic supergroup on an abelian supergroups by supergroup automorphisms we found out rather simple counterexamples to both questions. Besides, the second counterexample shows that the reductivity of G does not imply that G_{ev} has even finite unipotent radical. On the other hand, if G_{ev} is reductive, then it is easy to see that G_u is finite (odd) supergroup. In other words, the reductivity of an algebraic supergroup does not correspond to the reductivity of its largest even subgroup in contrast to such properties as unipotency or solvability. In the last section of our article we describe reductive algebraic supergroups in terms of sandwich pairs and give necessary and sufficient conditions for an algebraic supergroup to be quasireductive. The last result complements the recent Serganova's description of quasireductive supergroups in terms of structural properties of their Lie superalgebras. Our approach is focused on the normal subgroup structure.

Review text

The notion of an algebraic supergroup is a generalization of the notion of an algebraic group. In the paper under review the authors verified if some properties of algebraic groups remain valid also for algebraic supergroups.NEWLINENEWLINEIt is shown that the equality \(\mathrm{Lie}(G')=\mathrm{Lie}(G)'\), where \(\mathrm{Lie}(G')\) is the Lie algebra of the commutant \(G'\) of a connected algebraic group \(G\) over a field of characteristic 0 and \(\mathrm{Lie}(G)'\) is the commutant of \(\mathrm{Lie}(G)\), is no longer true in the category of algebraic supergroups.NEWLINENEWLINELet \(H_u\) denote the unipotent radical of a connected algebraic group \(H\). If \(G\) is a normal connected subgroup of \(H\) (in the case of positive characteristic one has to assume additionally that both groups \(H\) and \(G\) are reduced), then \(G_u=H_u\bigcap G\). But in the category of algebraic supergroups the authors constructed a supergroup \(H=X\rtimes G\), where \(X\) and \(G\) are connected, reduced and abelian supergroups, such that \(H_u=1\) but \(X_u\neq 1\). \ par Moreover, \((H_{ev})_u\) is non-trivial connected supergroup, where \(H_{ev}\) is the largest even supersubgroup of the supergroup \(H\). So, \(H_u=1\) does not imply that \((H_{ev})_u\) is finite.NEWLINENEWLINEQuasireductive supergroups have been introduced by \textit{V. V. Serganova} [Contemp. Math. 544, 141--159 (2011; Zbl 1251.17014)]. The authors proved that a supergroup \(H\) is quasireductive if and only if the largest even (super)subgroup of the solvable radical \(R(H)\) is a torus, \(\tilde{H}=H/R(H)\) contains a normal supersubgroup \(U,\) which is quasi-isomorphic to a direct product of normal supersubgroups \(U_i,\) and \(\tilde{H}/U\) is a triangulizable supergroup with odd unipotent radical. Moreover, for every \(i,\) \(\mathrm{Lie}(U_i)={\mathcal U}_i\otimes \mathrm{Sym}(n_i)\) are such that either \(n_i=0\) and \({\mathcal U}_i\) is a classical simple Lie superalgebra, or \(n_i=1\) and \({\mathcal U}_i\) is a simple Lie algebra.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Solvable, reductive and quasireductive supergroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5964511)