Representations and cohomology of a family of finite supergroup schemes

DOI10.1016/J.JALGEBRA.2020.02.002zbMATH Open1485.14088arXiv1905.03366OpenAlexW3004430851MaRDI QIDQ2193248FDOQ2193248

Authors: David Benson, Julia Pevtsova 

Publication date: 25 August 2020

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(mathbb{G}_a^{-}imesmathbb{G}_a^{-})times(mathbb{G}_{a(r)}imes(mathbbZ/p{)}^s)$. In particular, we show that a certain relation holds in the cohomology ring, and deduce that for finite supergroup schemes having this as a quotient, both cohomology mod nilpotents and projectivity of modules is detected on proper sub-super-group schemes. This special case feeds into the proof of a more general detection theorem for unipotent finite supergroup schemes, in a separate work of the authors joint with Iyengar and Krause. We also completely determine the cohomology ring in the smallest cases, namely $(mathbb{G}_a^{-}imesmathbb{G}_a^{-})timesmathbb{G}_{a(1)}$ and $(mathbb{G}_a^{-}imesmathbb{G}_a^{-})timesmathbbZ/p$. The computation uses the local cohomology spectral sequence for group cohomology, which we describe in the context of finite supergroup schemes.

Full work available at URL: https://arxiv.org/abs/1905.03366

Recommendations

• Detecting nilpotence and projectivity over finite unipotent supergroup schemes
• Cohomological finite-generation for finite supergroup schemes
• Graded analogues of one-parameter subgroups and applications to the cohomology of \(\mathrm{GL}_{m|n(r)}\)
• On the cohomological spectrum and support varieties for infinitesimal unipotent supergroup schemes
• Cohomological finite generation for restricted Lie superalgebras and finite supergroup schemes

zbMATH Keywords

cohomologyinvariant theorySteenrod operationsfinite supergroup schemelocal cohomology spectral sequence

Mathematics Subject Classification ID

Superalgebras (17A70) Homological methods in Lie (super)algebras (17B55) Modular representations and characters (20C20) Hopf algebras and their applications (16T05) Cohomology of groups (20J06) Group schemes (14L15) ``Super (or ``skew) structure (16W55)

Cites Work

• Title not available (Why is that?)
• On graded rings. I
• A short proof for Auslander's defect formula.
• Title not available (Why is that?)
• Semi-direct products of Hopf algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Local duality for representations of finite group schemes
• Twenty-four hours of local cohomology
• Title not available (Why is that?)
• Commutative algebra in group cohomology
• Support varieties for infinitesimal group schemes
• Modules with injective cohomology, and local duality for a finite group
• The varieties and the cohomology ring of a module
• Title not available (Why is that?)
• Projective Resolutions and Poincare Duality Complexes
• The Cohomology Algebras of Finite Dimensional Hopf Algebras
• Cohomological finite generation for restricted Lie superalgebras and finite supergroup schemes
• Cohomology and projectivity of modules for finite group schemes
• Detecting nilpotence and projectivity over finite unipotent supergroup schemes
• Rings of invariants for modular representations of elementary abelian \(p\)-groups

Cited In (6)

• Detecting nilpotence and projectivity over finite unipotent supergroup schemes
• Cohomological finite-generation for finite supergroup schemes
• Rank varieties and 𝜋-points for elementary supergroup schemes
• Detection theorem for finite group schemes
• Graded analogues of one-parameter subgroups and applications to the cohomology of \(\mathrm{GL}_{m|n(r)}\)
• Stratification and Duality for Unipotent Finite Supergroup Schemes

This page was built for publication: Representations and cohomology of a family of finite supergroup schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193248)