Solvable, reductive and quasireductive supergroups (Q5964511): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1016/j.jalgebra.2015.11.013 / rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.JALGEBRA.2015.11.013 / rank | |||
Normal rank |
Revision as of 15:06, 8 December 2024
scientific article; zbMATH DE number 6547279
Language | Label | Description | Also known as |
---|---|---|---|
English | Solvable, reductive and quasireductive supergroups |
scientific article; zbMATH DE number 6547279 |
Statements
Solvable, reductive and quasireductive supergroups (English)
0 references
29 February 2016
0 references
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.
0 references
algebraic supergroup
0 references
solvable supergroup
0 references
solvable radical
0 references
quasireductive supergroup
0 references
unipotent radical
0 references
Lie superalgebra
0 references