Solvable, reductive and quasireductive supergroups (Q5964511)

From MaRDI portal
Revision as of 12:34, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    0 references
    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

    Identifiers