Detecting nilpotence and projectivity over finite unipotent supergroup schemes
type: Item
instance of: scholarly article
title: Detecting nilpotence and projectivity over finite unipotent supergroup schemes
zbMATH Open document ID: 1475.14089
author: Henning Krause
author: Julia Pevtsova
author: David Benson
author: Srikanth B. Iyengar
published in: Selecta Mathematica. New Series
publication date: 2021-05-06T00:00:00Z
full work available at URL: https://arxiv.org/abs/1901.08273
review text: Let \(k\) be a field, \(\mathrm{char}(K)=p>2\), and let \(G\) be a finite unipotent supergroup scheme over \(k\). The cohomology of \(G\) will be denoted \(H^{*,*}(G,k)\), which is isomorphic to \(\mathrm{Ext}_{kG}^{*,*}(k,k)\): the latter index in the superscript arising from the \(\mathbb Z/2\mathbb Z\)-grading. Of interest is the nilpotent elements of this cohomology group, and the authors reduce this question to one involving elementary supergroup schemes. The main result is that \(x\in H^{*,*}(G,k)\) is nilpotent if and only if \(x_K\in H^{*,*}(G\times_k K,K)\), restricted to \(H^{*,*}(E,K)\), is nilpotent, where \(K\) is an extension of \(k\) and \(E\le G\times_k K\) is elementary. Additionally, if \(M\) is a \(kG\)-module, then \(M\) is projective if and only if the restriction of \(M\times_k K\) to \(E\) is projective. These results are then applied to finite dimensional sub-Hopf algebras of the Steenrod algebra over \(\mathbb F_p\).
reviewed by: Alan Koch
Mathematics Subject Classification ID: 14L15
Mathematics Subject Classification ID: 17A70
Mathematics Subject Classification ID: 20J06
Mathematics Subject Classification ID: 16W55
Mathematics Subject Classification ID: 17B55
zbMATH DE Number: 7344918
zbMATH Keywords: supergroup scheme
zbMATH Keywords: superalgebra
MaRDI profile type: Publication
OpenAlex ID: W3156783001
arXiv ID: 1901.08273
cites work: Varieties and elementary Abelian groups
cites work: Quillen stratification for modules
cites work: Cohomology and projectivity of modules for finite group schemes
cites work: Q3999421
cites work: Nilpotence and generation in the stable module category
cites work: Complexity and varieties for infinitely generated modules, II
cites work: Colocalising subcategories of modules over finite group schemes
cites work: Stratification for module categories of finite group schemes
cites work: Local duality for representations of finite group schemes
cites work: Representations and cohomology of a family of finite supergroup schemes
cites work: Finite injective dimension over rings with Noetherian cohomology.
cites work: The varieties and the cohomology ring of a module
cites work: Q3240881
cites work: Projectivity and relative projectivity over group rings
cites work: Endo-permutation modules over p-groups. II
cites work: Q5602064
cites work: Cohomological finite generation for restricted Lie superalgebras and finite supergroup schemes
cites work: Cohomological finite-generation for finite supergroup schemes
cites work: Graded analogues of one-parameter subgroups and applications to the cohomology of \(\mathrm{GL}_{m|n(r)}\)
cites work: On support varieties for Lie superalgebras and finite supergroup schemes
cites work: On the cohomological spectrum and support varieties for infinitesimal unipotent supergroup schemes
cites work: Q4156867
cites work: Representation-theoretic support spaces for finite group schemes
cites work: \(\Pi\)-supports for modules for finite group schemes.
cites work: Cohomology of finite group schemes over a field
cites work: Axiomatic stable homotopy theory
cites work: Q4440466
cites work: Witt subgroups and cyclic Dieudonné modules killed by \(p\).
cites work: Complexity and elementary Abelian p-groups
cites work: The fundamental correspondences in super affine groups and super formal groups.
cites work: Q5653373
cites work: The Steenrod algebra and its dual
cites work: Support varieties for the Steenrod algebra
cites work: The spectrum of an equivariant cohomology ring. I. II
cites work: Cohomology of finite groups and elementary abelian subgroups
cites work: Sur la dimension cohomologique des groupes profinis
cites work: Cohomology Operations (AM-50)
cites work: Detection theorem for finite group schemes
cites work: Infinitesimal 1-parameter subgroups and cohomology
cites work: Support varieties for infinitesimal group schemes
cites work: Q3884236
cites work: The Cohomology Algebras of Finite Dimensional Hopf Algebras
DOI: 10.1007/S00029-021-00632-7
description: scientific article