Affine quotients of supergroups (Q733672)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Affine quotients of supergroups
scientific article

    Statements

    Affine quotients of supergroups (English)
    0 references
    19 October 2009
    0 references
    Let \(K\) be an algebraically closed field, and let \(G\) be an affine supergroup with supersubgroup \(H\). The main result in this work is that \(G\widetilde {\widetilde{/}}H,\) its dur \(K\)-sheaf, is an affine supergroup and \(H\) is exact (i.e. ind\(_{H}^{G}\) is exact). Furthermore, if \(G\) is algebraic then so is \(G\widetilde{\widetilde{/}}H=G\widetilde{/}H.\) More generally, suppose \(G\) acts freely on a superscheme \(X\) freely -- we may ask when is \(X\widetilde{\widetilde{/}}G\) an affine superscheme. Suppose \(R\) is a supersubalgebra on \(K\left[ X\right] ^{G}\) and that the canonical map \(X\times G\rightarrow X\times_{SSp\left( R\right) }X\) is an isomorphism. If \(K\left[ X\right] \) is a faithfully flat \(R\)-supermodule, then \(X\widetilde{\widetilde{/}}G\cong SSp\left( R\right) \) and hence \(X\widetilde{\widetilde{/}}G\) is affine. Also, if \(R\leq K\left[ X\right] \) then \(X\widetilde{/}G\cong SSp\left( R\right) .\) A question of Brundan states that if \(G\) is an algebraic supergroup and \(H\) a supersubgroup such that \(H_{\text{ev}}\) is reductive, is it necessary that \(G\widetilde{/}H\) is affine? Here it is shown that if \(K\) has positive characteristic or \(G\) is finite is then the answer is affirmative, however the question remains open in other cases.
    0 references
    0 references
    supergroups
    0 references
    superschemes
    0 references
    superalgebras
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references