Detecting nilpotence and projectivity over finite unipotent supergroup schemes

Superalgebras (17A70) Homological methods in Lie (super)algebras (17B55) Cohomology of groups (20J06) Group schemes (14L15) ``Super (or ``skew) structure (16W55)

Abstract: This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme

G

over a perfect field

k

of positive characteristic

p g e 3

. It is proved that an element

x

in the cohomology of

G

is nilpotent if and only if for every extension field

K

of

k

and every elementary sub-supergroup scheme

E s u b s e t e q G_{K}

, the restriction of

x_{K}

to

E

is nilpotent. It is also shown that a

k G

-module

M

is projective if and only if for every extension field

K

of

k

and every elementary sub-supergroup scheme

E s u b s e t e q G_{K}

, the restriction of

M_{K}

to

E

is projective. The statements are motivated by, and are analogues of, similar results for finite groups and finite group schemes, but the structure of elementary supergroups schemes necessary for detection is more complicated than in either of these cases. One application is a detection theorem for the nilpotence of cohomology, and projectivity of modules, over finite dimensional Hopf subalgebras of the Steenrod algebra.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Detecting nilpotence and projectivity over finite unipotent supergroup schemes

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