Representations and cohomology of a family of finite supergroup schemes

DOI10.1016/J.JALGEBRA.2020.02.002MaRDI QIDQ2193248zbMATH OpenOpenAlexFDO

Publication date 25 August 2020

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

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

cohomology invariant theory Steenrod operations finite supergroup scheme local cohomology spectral sequence

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)

Abstract: We examine the cohomology and representation theory of a family of finite supergroup schemes of the form

(m a t h b b G_{a}^{-} i m e s m a t h b b G_{a}^{-}) t i m e s (m a t h b b G_{a (r)} i m e s (m a t h b b Z / 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

(m a t h b b G_{a}^{-} i m e s m a t h b b G_{a}^{-}) t i m e s m a t h b b G_{a (1)}

and

(m a t h b b G_{a}^{-} i m e s m a t h b b G_{a}^{-}) t i m e s m a t h b b Z / p

. The computation uses the local cohomology spectral sequence for group cohomology, which we describe in the context of finite supergroup schemes.

Recommendations

Cites work

Cited in

(6)

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)