Solvable, reductive and quasireductive supergroups (Q5964511): Difference between revisions

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. It 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. Let \(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. Quasireductive 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.