GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS AND
APPLICATIONS TO THE COHOMOLOGY OF GLm|n(r)

arXiv:1703.10237v2 [math.RT] 30 Mar 2018

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA
Abstract. We introduce a family Mr;f,η of infinitesimal supergroup schemes, which we call multiparameter supergroups, that generalize the infinitesimal Frobenius kernels Ga(r) of the additive
group scheme Ga . Then, following the approach of Suslin, Friedlander, and Bendel, we use functor
cohomology to define characteristic extension classes for the general linear supergroup GLm|n , and
we calculate how these classes restrict along homomorphisms ρ : Mr;f,η → GLm|n . Finally, we apply
our calculations to describe (up to a finite surjective morphism) the spectrum of the cohomology
ring of the r-th Frobenius kernel GLm|n(r) of the general linear supergroup GLm|n .

Contents
1. Introduction
1.1. Overview
1.2. The graded setting
1.3. Main results
1.4. Two cautionary examples
1.5. Future work
1.6. Acknowledgements
2. Conventions
2.1. General conventions
2.2. Commutative superalgebras
2.3. Supermatrices
2.4. Superschemes
3. Some multiparameter supergroups
3.1. Definitions
3.2. Cohomology
3.3. Superschemes of multiparameter supergroups
3.4. Gradings
4. The Yoneda algebra Ext•P (I (r) , I (r) )
4.1. Recollections on the cohomology of strict polynomial superfunctors
4.2. Hopf superalgebra structure of Ext•P (I (r) , I (r) )
5. Characteristic classes arising from multiparameter supergroups
5.1. Definition of characteristic classes
5.2. Reduction lemmas for characteristic classes
5.3. Calculation of characteristic classes

2
2
3
4
5
6
7
7
7
8
8
9
9
10
16
20
25
27
27
28
31
31
34
39

2010 Mathematics Subject Classification. Primary 20G10. Secondary 17B56.
The first author was supported in part by a Simons Collaboration Grant for Mathematicians, and by NSF Grant
No. DMS-1440140 while he was in residence at the Mathematical Sciences Research Institute in Berkeley, CA, during
the Spring 2018 semester. The second author was supported in part by NSA grant H98230-16-0055.
1

2

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

6. Geometric applications
6.1. The homomorphism φ
6.2. The homomorphism ψr;f,η
Appendix A. Base change for strict polynomial superfunctors
A.1. Strict polynomial superfunctors over commutative superrings
A.2. Base change
A.3. Frobenius twists
References

44
44
46
49
49
52
55
56

1. Introduction
1.1. Overview. Let k be a field of characteristic p ≥ 3. For more than a century researchers have
investigated the modular representation theory of finite groups. In 1971, Quillen [24] brought a
groundbreaking new geometric perspective to the subject by investigating the affine variety |G|
defined by the cohomology ring H• (G, k) of a finite group G. Quillen showed that |G| is a disjoint
+
, one for each conjugacy class of elementary abelian p-subgroups
union of locally closed subsets VG,E
in G. In particular, he showed that the geometric dimension of |G| is equal to the p-rank of G,
demonstrating that geometric information encoded by H• (G, k) can be used to extract structural
information about G. Later, Carlson [3] introduced for each finite-dimensional kG-module M an
associated subvariety |G|M of |G|, called the support variety of M . For E an elementary abelian
p-subgroup of G, Carlson conjectured a non-cohomological, entirely representation-theoretic ‘rank
variety’ description for |E|M . Avrunin and Scott [1] subsequently proved Carlson’s conjecture,
and thus obtained a Quillen-type stratification for |G|M in terms of the varieties |E|M . As a
consequence, one can describe |G|M without recourse to cohomology. This formulation is essential
for explicit computations, and is key to proving that support varieties obey the tensor product
property |G|M ⊗N = |G|M ∩ |G|N . The central role of the elementary abelian subgroups is further
underscored by Quillen’s theorem that an element of H• (G, k) is nilpotent if and only if it is
nilpotent upon restriction to every elementary abelian p-subgroup, and by Chouinard’s theorem
that a kG-module is projective if and only if it is so upon restriction to every such subgroup.
In the mid 1980s, Friedlander and Parshall [11–13] defined and studied support varieties for
finite-dimensional restricted Lie algebras, ultimately showing the support variety of a module M
is determined by the restriction of M to cyclic p-nilpotent subalgebras. In the late 1990s, Suslin,
Friedlander, and Bendel [25, 26] extended these results to arbitrary infinitesimal group schemes.
Given an affine group scheme G, they defined an infinitesimal one-parameter subgroup of height
≤ r in G to be a homomorphism ν : Ga(r) → G from the r-th Frobenius kernel of the additive group
scheme Ga . They showed the infinitesimal one-parameter subgroups play a fundamental role akin
to that played by elementary abelian subgroups in finite group theory. One of their main results
was that cohomology classes are detected (modulo nilpotence) via restriction to one-parameter
subgroups. They also showed that one-parameter subgroups again give a representation-theoretic
‘rank variety’ description for the support variety |G|M of a G-module M . In particular, oneparameter subgroups can be used to detect whether or not M is projective.
In the mid-2000s, Friedlander and Pevtsova [15] introduced the technology of π-points, which
enabled them to unify and extend to arbitrary finite group schemes the previously separate support
variety theories for finite groups and infinitesimal group schemes. But even with the conceptual
unification provided by π-points, one-parameter subgroups continue to play an important role. For

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

3

example, a long-standing open question has been to find a suitable support variety theory for the
rational representations of arbitrary affine group schemes. It is not at all clear that such a theory
should exist. Indeed, the rational cohomology ring of a reductive algebraic group is zero in all
positive degrees, and hence will not lead to any interesting geometry. Recently, Friedlander [9] has
shown one can use one-parameter subgroups to develop a satisfactory theory. Under some mild
assumptions on G, he uses one-parameter subgroups to directly define support varieties for rational
G-modules and proves these varieties exhibit many of the desirable properties expected of a support
theory. However, there are also new features. For example, while an injective rational G-module
must have trivial support, a module with trivial support need not be injective. This interesting
class of modules is the class of so-called mock injective G-modules [10, 17].
1.2. The graded setting. This work is a contribution to the study of the representation theory of
finite graded group schemes in positive characteristic; for the characteristic zero setting, see [7, §3].
We focus on gradings by the group Z2 := Z/2Z, and following the literature we use the prefix
“super” to indicate that the object in question is Z2 -graded. Besides being of intrinsic interest,
Z2 -gradings are natural to consider because any Z-graded object can be viewed as Z2 -graded by
reducing the grading modulo two, and thus results for superalgebras may shed light on problems for
Z-graded algebras. For example, motivated by finite-dimensional Hopf subalgebras of the Steenrod
algebra and by the Adams spectral sequence, in the 1980s and 1990s algebraic topologists studied
the cohomology of finite-dimensional Z-graded connected cocommutative Hopf algebras. In 1981,
Wilkerson [30] showed that the cohomology of any such algebra is finitely-generated, but it was
only with the first author’s work in the Z2 -setting [5, 6], 35 years later, that it was established
that the connectedness assumption can be dropped. In the 1990s, Palmieri [21] and Nakano and
Palmieri [20] investigated stratification results, analogous to those of Quillen and of Avrunin and
Scott, for finite-dimensional graded connected cocommutative Hopf algebras in general and for
finite-dimensional Hopf subalgebras of the mod-p Steenrod algebra in particular. Ongoing work on
supergroups by the authors [8] and by Benson, Iyengar, Krause, and Pevtsova (discussed at the end
of Section 1.3 below) is poised to extend those stratification results to arbitrary finite-dimensional
Z-graded cocommutative Hopf algebras.
Let k be a fixed ground field of characteristic p ≥ 3. Write csalgk for the category of commutative
k-superalgebras. For precise definitions of the objects under discussion the reader can consult
Section 2.1 and the references therein. An affine k-supergroup scheme is a representable functor
from the category csalgk to the category of groups. The prototypical example of an affine supergroup
scheme is the general linear supergroup GLm|n . On a superalgebra A = A0 ⊕ A1 , it is defined by
setting GLm|n (A) to be the set of all invertible (m + n) × (m + n) matrices (ai,j )1≤i,j≤m+n such that
ai,j ∈ A0 if either 1 ≤ i, j ≤ m or m + 1 ≤ i, j ≤ m + n, and such that ai,j ∈ A1 otherwise. The
Frobenius endomorphism F : GLm|n → GLm|n is defined on a matrix g ∈ GLm|n (A) by raising the
individual matrix entries of g to the the p-th power. The r-th Frobenius kernel GLm|n(r) of GLm|n
is the scheme-theoretic kernel of the r-th iterate of F . As for affine group schemes, the Frobenius
kernels are an important family of infinitesimal supergroup schemes.
In [5, 6], the first author proved that the cohomology ring of a finite supergroup scheme is
always a finitely-generated graded-(super)commutative algebra, so its spectrum provides a natural
geometric setting in which to introduce cohomological support varieties. A fundamental first step in
developing this theory is to provide a concrete description of the spectrum. The authors’ previous
paper [7] provides such a description in several natural settings. Relevant to the present work is
the case of the first Frobenius kernel GLm|n(1) of GLm|n . Set g = gl(m|n). In [7], we proved that

4

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

there is a finite morphism
Φ : Max (H• (G1 , k)) → gl(m|n)
with image equal to
(1.2.1)

n
o
V1 (GLm|n(1) )(k) := (α, β) ∈ g0 × g1 : [α, β] = 0, α[p] + 21 [β, β] = 0 .1

When n = 0, one has g1 = 0, and the set V1 (GLm|n(1) )(k) becomes the restricted nullcone. In this
way our result is a natural generalization of known results in the non-graded setting. One outcome
of the present work is to extend (1.2.1) to the higher Frobenius kernels of GLm|n .
1.3. Main results. Given their importance in the classical setting, the main goal of this paper is
to introduce and study graded analogues of one-parameter subgroups. In contrast to the classical
setting, there does not seem to be a suitable family of infinitesimal supergroups describable by
a single parameter such as the height (see Section 1.4). Instead, the role of the one-parameter
subgroups seems to be played by a family of infinitesimal supergroups Mr;f,η which are described
by multiple parameters. It should be emphasized that the structure and representation theory of
these supergroups is more varied than in the classical case. For example, if the parameter f is not
simply a monomial, then the group algebra kMr;f,η will contain semisimple elements.
In Section 3 we define these ‘multiparameter supergroups’ by describing their coordinate superalgebras and their group algebras, and we give a complete description of their rational cohomology
rings. Given an algebraic k-supergroup scheme G, we also describe the affine superscheme structure
on the functor Hom(Mr;f,η , G) of all supergroup scheme homomorphisms ρ : Mr;f,η → G. In
Section 4 we investigate the Hopf structure of the extension algebra Ext•P (I (r) , I (r) ) of the r-th
Frobenius twist of the identity functor in the category P of strict polynomial superfunctors. These
results generalize those of [25, §3]. Then following the approach of Suslin, Friedlander, and Bendel,
in Section 5 we introduce characteristic classes corresponding to elements of Ext•P (I (r) , I (r) ) and
rational representations ρ : G → GL(V ) of an affine supergroup scheme G. The main results of
this section are in Section 5.3, where we provide explicit descriptions of the characteristic classes
arising from representations ρ : Mr;f,η → GLm|n . These descriptions enable us in Theorem 5.3.5 to
completely specify, for the first time, the structure constants of the algebra Ext•P (I (r) , I (r) ).
In Section 6 we reap the harvest, applying the explicit calculations of Section 5 to describe the
cohomological spectrum of the Frobenius kernels of GLm|n . Suppose k is algebraically closed of
characteristic p ≥ 3. Let GLm|n(r) denote the r-th Frobenius kernel of GLm|n , and let GLm|n(r)
denote the spectrum of H• (GLm|n(r) , k). Then there is a finite morphism of schemes
Φ : GLm|n(r) → Vr (GLm|n ),
where Vr (GLm|n ) is the affine scheme defined in Definition 3.3.7; see also Definition 3.3.4. Set
g = gl(m|n). On k-points, Φ induces a finite-to-one, surjective morphism of varieties,
Φ(k) : GLm|n(r) → Vr (GLm|n )(k),
where

n
Vr (GLm|n )(k) = (α0 , α1 , . . . , αr−1 , β) ∈(g0 )×r × g1 : [αi , αj ] = 0, [αi , β] = 0 for all i, j,

o
[p]
[p]
αi = 0 for 0 ≤ i ≤ r − 2, and αr−1 + 21 [β, β] = 0 .

1In the preprint version of [7], the last condition appears instead as α[p] =

1
[β, β].
2

This is because of an implicit
sign error in the argument in the first paragraph of the proof of [7, Proposition 5.4.2]. We correct the issue here in
Remark 2.3.1 and in the discussion of Section 6.

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

5

This verifies a conjecture we made in [7]. Note that for n = 0, one gets GLm|n(r) = GLm(r) , the
r-th Frobenius kernel of GLm , and Vr (GLm|n ) = Vr (GLm ) is the variety of r-tuples of commuting
p-nilpotent matrices. We thus recover one of the main results of [25]. In light of those classical
results it is reasonable to expect that Φ(k) is in fact a homeomorphism and that the multiparameter
supergroups introduced in this paper (together with the one-parameter subgroups of the classical
theory and the purely odd additive group scheme G−
a described just before Remark 3.1.3) may be
used to describe the spectra of other infinitesimal supergroup schemes.
The role of the multiparameter supergroups in the surjectivity of Φ(k) can be made explicit as
follows. For each inseparable p-polynomial 0 6= f ∈ k[T ] (i.e., a p-polynomial with no linear term)
and each η ∈ k, there exists a sequence of algebra homomorphisms
ψr;f,η

φ

k[Vr (GLm|n )] −→ H(GLm|n , k) −→ k[Vr;f,η (GLm|n )],
which induce morphisms of schemes
Ψr;f,η

Φ

Vr;f,η (GLm|n ) −→ GLm|n(r) −→ Vr (GLm|n ).
Here and in the rest of the paper, H(G, k) denotes the subalgebra Hev (G, k)0 ⊕ Hodd (G, k)1 of
the (full) cohomology ring H• (G, k).2 The calculations of Section 5 enable us to identify the
composite morphism Θr;f,η := Φ ◦ Ψr;f,η : Vr;f,η (GLm|n ) → Vr (GLm|n ) as the natural inclusion
Vr;f,η (GLm|n ) ⊂ Vr (GLm|n ) composed with the r-th Frobenius twist morphism on the scheme
Vr (GLm|n ); see Theorem 6.2.3. Since
[
(1.3.1)
Vr (GLm|n )(k) =
Vr;f,η (GLm|n )(k),
f,η

this implies the surjectivity of Φ(k). Since Vr;f,η (GLm|n )(k) parametrizes homomorphisms ρ :
Mr;f,η → GLm|n , (1.3.1) can be viewed as an analogue of Quillen’s stratification theorem.
It is also noteworthy that our setup incorporates the gradings of [25, Theorem 1.14] in a natural
s
and transparent way. Namely, suppose f = T p for some s ≥ 1, and suppose η = 0, so that Mr;f,η =
Mr;s and Vr;f,η = Vr;s . Then given an algebraic k-supergroup scheme G, the homomorphism
r
ψr;f,η : H(G, k) → k[Vr;f,η (G)] is a map of graded algebras that multiplies degrees by p2 , just as
in [25, Theorem 1.14]; see Proposition 6.2.2. However, in contrast to the classical setting, in our
setup the cohomology ring H(G, k) can be nonzero in both even and odd degrees, and the natural
r
grading for k[Vr;s (G)] is by Z[ p2 ]; see Corollary 3.4.3.
Work in progress by Benson, Iyengar, Krause, and Pevtsova (BIKP) gives further evidence of the
importance of multiparameter supergroups. They independently introduce detecting subalgebras
equivalent to our multiparameter supergroups Mr;T ps ,η (with η = 0 if r = 1) and prove for unipotent
infinitesimal supergroup schemes that their subalgebras detect the nilpotency of cohomology classes
and the projectivity of modules. But as we describe in Example 1.4.2, this family alone seems to
be inadequate for detecting projectivity for arbitrary infinitesimal supergroups.
1.4. Two cautionary examples. The reader may hope that one can further reduce to true oneparameter subsupergroups. The following examples show this will not be possible in general.
2In the classical setting when working over fields of odd characteristic, it is common to consider only the even part
of the cohomology ring, since then the odd part consists of nilpotent elements and hence does not contribute anything
to the spectrum. But in the super setting, one may have non-nilpotent elements of odd cohomological degree, which
motivates our definition of the ring H(G, k). For more details, see Section 6.1.

6

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Example 1.4.1. Let k be a field of characteristic p ≥ 3, and let A = k[u, v]/hup , v 2 i be the
superalgebra with grading given by letting u be even and v be odd. Then A is the group algebra of
M1;1 ; see Proposition 3.1.4. Alternatively, A is the restricted enveloping superalgebra V (g) of the
abelian restricted Lie superalgebra g spanned by u and v such that u[p] = 0. Note that the only
Lie subsuperalgebras of g are 0, k.u, k.v, and g.
Let R = R0 ⊕ R1 be the superspace such that the underlying vector spaces of R0 and R1 are
given by R0 = R1 = k[u]/hup i. Then R is a free module over the subalgebra of A generated by
u. Let x0 (resp. y0 ) denote the vector 1 in R0 (resp. R1 ). For 0 ≤ i < p, set xi = ui .x0 (resp.
yi = ui .y0 ). Then the set {xi , yi : 0 ≤ i < p} is a homogeneous basis for R. Define an action of v
on R by setting v.xi = yi+1 and v.yi = xi+p−1 (with the convention that xk = yk = 0 whenever
k ≥ p). A direct computation verifies that this makes R into an A-supermodule. Now one can
check (e.g., with the aid of [14, Proposition 2.2]) that R is projective when restricted to any proper
cyclic subsuperalgebra of A, but that R is not projective for A itself. That is, no family of cyclic
subsuperalgebras of A will detect projectivity.
Example 1.4.2. Let B = k[u, v]/hup + v 2 , up − ui be the superalgebra with Z2 -grading given by
declaring u to be even and v to be odd. This is the group algebra of M1;T p ,−1 ; see Definition 3.1.6.
Alternatively, B is the restricted enveloping superalgebra V (g) of the restricted Lie superalgebra
g spanned by u and v such that u[p] = u and u[p] + 12 [v, v] = 0. The only restricted Lie subsuperalgebras of g are 0, the semisimple subalgebra generated by u, and g itself.
The subalgebra of B generated by u is a semisimple Hopf (super)algebra, and the quotient algebra
B/hui identifies with the one-variable exterior algebra Λ(v). Applying the Lyndon-Hochschild-Serre
spectral sequence, it follows that the quotient map B ։ Λ(v) induces an isomorphism in cohomology
H• (B, k) ∼
= H• (Λ(v), k). Now H• (Λ(v), k) ∼
= k[y], with the polynomial generator y of k[y] located
in cohomological degree 1 and in Z2 -degree 1.
In the height-one case of the BIKP (infinitesimal unipotent) setup, one only need consider the
multiparameter supergroups of the form M1;s := M1;T ps ,0 for s ≥ 1. The group algebra of M1;s has
s
the form kM1;s = k[u, v]/hup + v 2 , up i, with the Z2 -degrees of u and v the same as above. Since the
odd superdegree generator of kM1;s is nilpotent, any superalgebra homomorphism ρ : kM1;s → B
must factor through the purely even quotient k[u]/hup i of kM1;s , and consequently it follows that
the induced map in cohomology ρ∗ : H• (B, k) → H• (M1;s , k) must be trivial. This shows that
for the purposes of detecting cohomology of general infinitesimal supergroup schemes one must
consider more than just unipotent supergroup schemes.
1.5. Future work. The results of this paper raise a number of interesting questions. Given that
Φ(k) is a homeomorphism in the classical case, it is natural to expect that the same is true in the
super case as well. This is closely related to the question of whether the multiparameter supergroups introduced in this paper detect nilpotence of cohomology classes for arbitrary infinitesimal
supergroups. The results of BIKP for unipotent infinitesimal supergroups suggest that this may be
the case.
It is also desirable to refine (1.3.1) along the lines of Quillen’s original stratification theorem.
Specifically, given a finite group G, one can form the colimit lim |E| over the “Quillen category,”
−→
whose objects consist of the elementary abelian p-subgroups of G, and whose morphisms consist of
the inclusions and conjugation homomorphisms between them. Then Quillen’s theorem states that
the natural map lim |E| → |G| is an inseparable isogeny. In our context there are various inclusion
−→
maps among the Vr;f,η (GLm|n ), and one can form a corresponding colimit lim Vr;f,η (GLm|n ). It
−→

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

7

would be interesting to give an analogue of the Quillen category in this setting in order to give a
more precise description of GLm|n(r) .
More generally, one can ask for an analogue of the Avrunin-Scott theorem in order to describe
the support varieties of finite-dimensional supermodules in terms of multiparameter supergroups.
Such a result would be valuable for both theory and calculations. It should generalize the noncohomological description of support varieties given by Suslin, Friedlander, and Bendel [26]. We
remark that this generalization is not expected to be routine, and will need to take into account the
more interesting structure and representation theory of the multiparameter supergroups and of supergroup schemes in general. The examples of Section 1.4 show that the naive generalizations of the
classical theory are inadequate even in the height-one infinitesimal case (i.e., for finite-dimensional
restricted Lie superalgebras). Nevertheless, the announced results by BIKP that multiparameter
supergroups detect projectivity in the unipotent case suggests that such a theory should be possible
in general.3
Finally, it of course would be extremely useful to generalize the results of this paper to other
infinitesimal supergroup schemes, and to describe the spectrum of an arbitrary infinitesimal supergroup scheme G in terms of the various homomorphisms ρ : Mr;f,η → G. This would involve
establishing suitable naturality properties, and could also involve understanding the supergroup
analogue of “embeddings of exponential type” as in [25].
1.6. Acknowledgements. The authors are pleased to thank David Benson and Julia Pevtsova
for enlightening conversations.
2. Conventions
2.1. General conventions. Throughout the paper k will denote a field of characteristic p ≥ 3.
Except when indicated otherwise, all vector spaces will be k-vector spaces and all unadorned tensor
products will denote tensor products over k. If V is a k-vector space, then V # = Homk (V, k)
will denote its k-linear dual, and V (r) = V ⊗ϕr k will denote the r-th Frobenius twist of V , i.e.,
the k-vector space obtained via base change along the r-th iterate of the Frobenius endomorphism
ϕ : λ 7→ λp . Given v ∈ V , we will write v (r) to denote the element v ⊗ϕr 1 ∈ V (r) .
We generally follow the notation, terminology, and conventions of [4, 5, 7]. In particular, we
assume that the reader is familiar with the sign conventions of ‘super’ linear algebra. Set Z2 =
Z/2Z = {0, 1}, and write V = V0 ⊕V1 for the decomposition of a superspace V into its even and odd
subspaces. Given a homogeneous element v ∈ V , write v ∈ Z2 for the Z2 -degree of v. Whenever
we state a formula involving homogeneous degrees of elements, we mean that the formula is true
as written for homogeneous elements and that it extends linearly to non-homogeneous elements.
The category sveck , whose objects are the k-superspaces and whose morphisms are the arbitrary
k-linear maps between them, is enriched over itself. The category sveck is not an abelian category,
though the underlying even subcategory sveck = (sveck )ev , having the same objects but only the
even linear maps as morphisms, is an abelian category. Isomorphisms arising from even linear
maps will be denoted by the symbol “∼
=” while isomorphisms arising from odd linear maps will be
denoted by the symbol “≃”. If A and B are graded superalgebras (in the sense of [7, §2.2]), then
we write A g⊗ B for the graded tensor product of A and B [7, Definition 2.2.2].
3The authors have made some progress toward describing support varieties for a particular class of infinitesimal
unipotent supergroup schemes; see [8].

8

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Let sgrpk denote the category of affine k-supergroup schemes. Then sgrpk is anti-equivalent to
the category of super-commutative Hopf k-superalgebras. A k-supergroup scheme G is algebraic if
its coordinate superalgebra k[G] is finitely generated over k.
Write N for the set {0, 1, 2, . . .} of non-negative integers.
2.2. Commutative superalgebras. Let A be a commutative k-superalgebra. Then A is a Z2 graded k-algebra such that ba = (−1)a·b ab for all a, b ∈ A. In this paper the term commutative will
always be used in the sense given here, and the usual notion of commutativity for abstract rings
will be referred to as ‘ordinary’ commutativity when it is necessary to distinguish the two notions.
From now on we will write salgk ⊃ csalgk ⊃ calgk to denote the categories whose objects are the ksuperalgebras, the commutative k-superalgebras, and the purely even commutative k-superalgebras
(equivalently, the ordinary commutative k-algebras), respectively, and whose morphisms are the
even k-superalgebra homomorphisms between them. Note that there is no such thing as an odd
superalgebra homomorphism, because a superalgebra homomorphism φ : A → B must by definition
satisfy φ(1A ) = 1B , and the identity element of a superalgebra is always even [29, Lemma 3.1.2].
Since A is commutative, each left A-supermodule is canonically a right A-supermodule (and vice
versa) via the action m.a = (−1)a·m a.m, so we will consider each A-supermodule as an A-bimodule,
and we will only distinguish between left and right actions when it is convenient to do so (e.g.,
when the ± signs are simpler). In particular, if V and W are A-supermodules, then the tensor
product V ⊗A W is again an A-supermodule, and V ⊗A W ∼
= W ⊗A V via the supertwist map
v·w
T : V ⊗A W → W ⊗A V defined by T (v ⊗ w) = (−1) w ⊗ v.
Write HomA (M, N ) for the set of all right A-supermodule homomorphisms φ : M → N , i.e.,
the set of all additive maps such that φ(m.a) = φ(m).a for all m ∈ M and a ∈ A.4 In terms of
left actions, φ ∈ HomA (M, N ) if and only if φ(a.m) = (−1)a·φ a.φ(m) for all a ∈ A and m ∈ M .
The set HomA (M, N ) is naturally Z2 -graded and is naturally an A-supermodule via the left action
(a·φ)(m) := a.(φ(m)); the right action is then given by (φ·a)(m) = (−1)a·m φ(m)·a. Composition of
A-supermodule homomorphisms is A-bilinear, so the category smodA of A-supermodules is enriched
over itself. The category smodA is not an abelian category, though the underlying even subcategory
smodA := (smodA )ev , having all of the same objects but only the even A-linear maps as morphisms,
is an abelian category.
2.3. Supermatrices. In this paragraph, let A ∈ salgk be an arbitrary k-superalgebra. Given
m, n ∈ N, let Am|n = km|n ⊗A denote the free A-supermodule with homogeneous basis e1 , . . . , em+n
such that ei = 0 if 1 ≤ i ≤ m and ei = 1 if m + 1 ≤ i ≤ m + n. Then HomA (Am|n , Am|n ) identifies
with the ring Matm|n (A) of all (m + n) × (m + n) matrices with coefficients in A. Specifically,
P
given T ∈ HomA (Am|n , Am|n ), write T (ej ) = m+n
i=1 ei tij for some tij ∈ A. Then T corresponds
to the matrix whose ij-entry is tij , and (because the scalars were written to the right of the
basis elements) composition of homomorphisms corresponds to matrix multiplication. Concretely,
Matm|n (A)0 identifies with the set of all block matrices
(2.3.1)

T =



T1 T2
T3 T4



4In the literature, the notation Hom (M, N ) may be used to denote just the even (i.e., parity-preserving) A-superA
module homomorphisms, and then the set of all not necessarily even A-linear maps is denoted HomA (M, N ).

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

9

such that T1 ∈ Mm×m (A0 ), T2 ∈ Mm×n (A1 ), T3 ∈ Mn×m (A1 ), and T4 ∈ Mn×n (A0 ), while
Matm|n (A)1 identifies with the set of all block matrices of the same shape but with the parities of the entries reversed. The ring Matm|n (A) inherits a right A-supermodule structure via its
identification with HomA (Am|n , Am|n ). Specifically, if T = (tij ) ∈ Matm|n (A) and a ∈ A, then the
ij-entry of T · a is equal to (−1)a·ej tij · a. In this way, the map
(2.3.2)

Matm|n (k) ⊗ A → Matm|n (A) : T ⊗ a 7→ T · a

is a ring isomorphism. We more frequently denote the ring Matm|n (k) by gl(m|n).
Remark 2.3.1. Given A ∈ salgk , there are canonical identifications (the first two as rings)
Matm|n (A) ∼
= Matm|n (k) ⊗ A
∼
= A ⊗ Matm|n (k)
∼
= A ⊗ (Matm|n (k)# )#
∼
= Homk (Matm|n (k)# , A).
Let {eij : 1 ≤ i, j ≤ m + n} be the standard basis for Matm|n (k) such that eij is the matrix having
a 1 in the ij-position and 0s elsewhere, and let {Eij : 1 ≤ i, j ≤ m + n} be the corresponding dual
basis for Matm|n (k)# . Then eij = ei + ej = Eij . Now if T ∈ Matm|n (A) is the matrix whose
ij entry is a and whose other entries are 0, then the image of T through the preceding series of
identifications is the function T : Matm|n (k)# → A that maps Eij to (−1)a·ei +ei +ej a, and that
maps the other dual basis vectors for Matm|n (k)# to 0.
2.4. Superschemes. Recall that an affine k-superscheme is a representable functor from the category csalgk of commutative k-superalgebras to the category sets of sets. Denote the coordinate
(i.e., representing) superalgebra of an affine k-superscheme X by k[X]. Then for each A ∈ csalgk ,
X(A) = Homsalg (k[X], A). Given an affine k-superscheme X, define the underlying purely even
subscheme of X, denoted Xev , to be the closed subsuperscheme of X such that
k[Xev ] = k[X]/hk[X]1 i,
the largest purely even quotient of k[X]. Then Xev (A) = X(A0 ) for each A ∈ csalgk .
The functor Matm|n : A 7→ Matm|n (A) for A ∈ csalgk is naturally an affine k-superscheme. The
coordinate superalgebra k[Matm|n ] is the free commutative k-superalgebra generated for 1 ≤ i, j ≤
m + n by the even variables Xij and the odd variables Yij . Given T ∈ Homsalg (k[Mm|n ], A), we
identify T with the matrix whose ij-entry is T (Xij ) + T (Yij ). With this identification, the functors
A 7→ Matm|n (A)0 and A 7→ Matm|n (A)1 are closed affine subsuperschemes of Matm|n . Specifically,
(2.4.1)

k[Matm|n (−)0 ] = k[Matm|n ]/h{Xij : ei + ej = 1} ∪ {Yij : ei + ej = 0}i,

(2.4.2)

k[Matm|n (−)1 ] = k[Matm|n ]/h{Xij : ei + ej = 0} ∪ {Yij : ei + ej = 1}i.

and

Equivalently, k[Matm|n (−)0 ] is the free commutative k-superalgebra generated by the even variables
Xij such that ei + ej = 0 and the odd variables Yij such that ei + ej = 1.
3. Some multiparameter supergroups
In this section we introduce certain affine k-supergroup schemes that we refer to collectively as
‘multiparameter supergroups.’ In contrast to the ‘one-parameter subgroups’ defined in [25], whose

10

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

elements are specified by only a single parameter in a commutative k-algebra A, these affine ksupergroup schemes typically require multiple parameters in a commutative k-superalgebra A to
completely specify their elements. Throughout this section, fix a positive integer r ≥ 1.
3.1. Definitions. Define k[Mr ] to be the commutative k-superalgebra generated by the odd element τ and the even elements θ and σi for i ∈ N, such that τ 2 = 0 (this is automatic because k[Mr ]

r−1
= σ1 , and σi σj = i+j
is commutative and p = char(k) 6= 2), σ0 = 1, θ p
i σi+j for i, j ∈ N:

r−1
= σ1 , and σi σj = i+j
k[Mr ] = k[τ, θ, σ1 , σ2 , . . .]/hτ 2 = 0, θ p
i σi+j for i, j ∈ Ni.
P
If j = ℓi=0 ji pi is the p-adic decomposition of j (so 0 ≤ ji < p), then it immediately follows that

(3.1.1)

σj =

(σ1 )j0 (σp )j1 · · · (σpℓ )jℓ
,
(j0 !)(j1 )! · · · (jℓ )!

and (σi )p = 0 for all i ≥ 1.
Lemma 3.1.1. The superalgebra k[Mr ] admits a Hopf superalgebra structure such that its coproduct
∆ and antipode S satisfy
∆(τ ) = τ ⊗ 1 + 1 ⊗ τ,
∆(θ) = θ ⊗ 1 + 1 ⊗ θ,
P
P
∆(σi ) = u+v=i σu ⊗ σv + u+v+p=i σu τ ⊗ σv τ,

S(τ ) = −τ,
S(θ) = −θ,
S(σi ) = (−1)i σi .

Proof. It suffices to show that the stated formulas for the coproduct and the antipode are compatible
with the defining relations in k[Mr ]. We will show for i, j ∈ N that ∆(σi σj ) = ∆(σi )∆(σj ), but will
leave the other (more straightforward) verifications to the reader.
P
Set ∆(σi ) = u+v=i σu ⊗ σv . Then ∆(σi ) = ∆(σi ) + ∆(σi−p ) · (τ ⊗ τ ), where σi−p is interpreted
to be 0 if i − p < 0. Moreover, it follows from Vandermonde’s convolution identity for binomial
coefficients that ∆(σi σj ) = ∆(σi )∆(σj ). Now write i = i0 + i1 p and j = j0 + j1 p for some i1 , j1 ∈ N
and 0 ≤ i0 , j0 < p. Then


i+j  
∆(σ
)
+
∆(σ
)
·
(τ
⊗
τ
)
,
∆(σi σj ) = i+j
∆(σ
)
=
i+j
i+j−p
i+j
i
i
and


 

∆(σi )∆(σj ) = ∆(σi ) + ∆(σi−p ) · (τ ⊗ τ ) · ∆(σj ) + ∆(σj−p ) · (τ ⊗ τ )
= ∆(σi σj ) + ∆(σi σj−p) · (τ ⊗ τ ) + ∆(σi−p σj ) · (τ ⊗ τ )
h
i

i+j−p
i+j−p
)
+
+
= i+j
∆(σ
∆(σi+j−p ) · (τ ⊗ τ ).
i+j
i
i−p
i

It follows
from Pascal’s Identity
and from Lucas’s Theorem for binomial coefficients modulo p that
i+j 
i+j−p
i+j−p
≡
+
mod
p,
so this implies that ∆(σi σj ) = ∆(σi )∆(σj ).

i
i
i−p

Definition 3.1.2. For r, s ≥ 1, define k[Mr;s ] to be the Hopf subsuperalgebra of k[Mr ] generated
by τ , θ, and σi for 1 ≤ i < ps , and define Mr and Mr;s to be the affine k-supergroup schemes whose
coordinate Hopf superalgebras are k[Mr ] and k[Mr;s ], respectively.
Fix A ∈ csalgk . Specifying an element g ∈ Homsalg (k[Mr ], A) is equivalent to specifying the
images in A of the defining generators of k[Mr ]. Then by abuse of notation we will identify Mr (A)
with the set of all infinite sequences (τ, θ, σ1 , σ2 , . . .) such that τ ∈ A1 , θ ∈ A0 , and σi ∈ A0 for i ≥ 1,
and such that the elements of the sequence satisfy the defining relations of k[Mr ]. Similarly, the

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

11

elements of Mr;s (A) identify with sequences of the form (τ, θ, σ1 , . . . , σps −1 ). The group operation
on Mr (A) is then given by
(τ, θ, σ1 , σ2 , . . .) ∗ (τ ′ , θ ′ , σ1′ , σ2′ , . . .) = (τ + τ ′ , θ + θ ′ , σ1′′ , σ2′′ , . . .),
P
P
where σi′′ := u+v=i σu σv′ + u+v+p=i σu τ σv′ τ ′ , and the quotient homomorphism Mr (A) ։ Mr;s (A)
corresponding to the inclusion k[Mr;s ] ֒→ k[Mr ] is given by (τ, θ, σ1 , σ2 , . . .) 7→ (τ, θ, σ1 , . . . , σps −1 ).
Since τ τ ′ = −τ ′ τ , Mr is not abelian, nor is Mr;s except when s = 1.
Recall that the (purely even) additive supergroup scheme Ga = G+
a is the affine supergroup
scheme whose coordinate Hopf superalgebra k[Ga ] is the polynomial algebra k[θ] generated by
an even primitive element θ. The odd additive supergroup scheme G−
a is the affine supergroup
−
scheme whose coordinate Hopf superalgebra k[Ga ] is the exterior algebra Λ(τ ) generated by an
odd primitive element τ . Thus for A ∈ csalgk , one has Ga (A) = (A0 , +) and G−
a (A) = (A1 , +).
(3.1.2)

Remark 3.1.3. The following observations concerning Mr and Mr;s are immediate.

(1) The set θ i σj , τ θ i σj : 0 ≤ i < pr−1 , j ∈ N is a homogeneous basis for k[Mr ].
(2) The set θ i σj , τ θ i σj : 0 ≤ i < pr−1 , 0 ≤ j < ps is a homogeneous basis for k[Mr;s ].
(3) The Z2 -gradings on the Hopf superalgebras k[Mr ] and k[Mr;s ] lift to Z-gradings such that
deg(θ) = 2, deg(σi ) = 2ipr−1 , and deg(τ ) = pr .
(4) Let G be an algebraic k-supergroup scheme i.e., G is an affine k-supergroup scheme such
that k[G] is finitely generated over k. Then any homomorphism of k-supergroup schemes
ρ : Mr → G factors through Mr;s for s ≫ 0. Indeed, by the finite-generation of k[G], the
image of the comorphism ρ∗ : k[G] → k[Mr ] is contained in k[Mr;s ] for s ≫ 0.
(5) The function F ∗ : k[Mr ] → k[Mr+1 ] defined on generators by F ∗ (θ) = θ p , F ∗ (τ ) = τ , and
F ∗ (σi ) = σi for i ∈ N is a Hopf superalgebra homomorphism. (The assignment θ 7→ θ p
appears to be nonlinear, but this is only an optical illusion because the two θs are in different
rings.) The corresponding supergroup scheme homomorphism F : Mr+1 → Mr satisfies
F (τ, θ, σ1 , σ2 , . . .) = (τ, θ p , σ1 , σ2 , . . .)

(6)

(7)
(8)
(9)

for (τ, θ, σ1 , σ2 , . . .) ∈ Mr+1 (A) and A ∈ csalgk . Thus, ker(F ) identifies with Ga(1) , the
first Frobenius kernel of Ga . We call F the super Frobenius morphism on Mr . By abuse
of notation, we will write F ℓ : Mr+ℓ → Mr for the function whose comorphism k[Mr ] →
ℓ
k[Mr+ℓ ] is defined on generators by θ 7→ θ p , τ 7→ τ , and σi 7→ σi . Then ker(F ℓ ) ∼
= Ga(ℓ) .
The super Frobenius morphism F : Mr+1 → Mr induces for each s ≥ 1 a homomorphism
Mr+1;s → Mr;s , which by abuse of notation we also denote F . Then F is compatible in the
obvious sense with the quotient homomorphisms Mr;t ։ Mr;s for 1 ≤ s < t.
r
The natural inclusion k[Ga(r) ] ∼
= k[θ]/hθ p i ֒→ k[Mr ] is a Hopf superalgebra homomorphism.
Write q : Mr → Ga(r) , (τ, θ, σ1 , σ2 , . . .) 7→ θ, for the corresponding quotient homomorphism.
Then F : Mr+1 → Mr is related to the ordinary Frobenius morphism F : Ga(r+1) → Ga(r)
by F ◦ q = q ◦ F . The quotient map q : Mr → Ga(r) factors for each s ≥ 1 through Mr;s .
By abuse of notation we will also denote the induced quotient Mr;s ։ Ga(r) by q.
2
Similarly, the inclusion k[G−
a ] = k[τ ]/hτ i ֒→ k[Mr ] is a Hopf superalgebra homomorphism,
−
−
and hence gives rise to quotient homomorphisms q − : Mr ։ G−
a and q : Mr;s ։ Ga .
r
−
p
k[Mr;1 ] ∼
= Ga(r) × Ga .
= k[θ]/hθ i ⊗ Λ(τ ) as Hopf superalgebras, so Mr;1 ∼
r
The augmentation ideal Iε of k[Mr ] is locally nilpotent, since xp = 0 for all x ∈ Iε , but it
is not globally nilpotent, since for example σ1 σp · · · σpn 6= 0 for each n ∈ N. However, using

12

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

T
the explicit basis for k[Mr ] one can check that n≥1 (Iε )n = {0}. The augmentation ideal
of k[Mr;s ] is nilpotent, so Mr;s is an infinitesimal supergroup scheme of height r.
Given an affine k-supergroup scheme G, set
kG = k[G]# = Homk (k[G], k).
The bialgebra structure of k[G] induces via duality a k-superalgebra structure on kG. With this
superalgebra structure, we call kG the group algebra of G. If φ : G → H is a homomorphism of
affine k-supergroup schemes, then composition with the comorphism φ∗ : k[H] → k[G] induces an
algebra map kG → kH, which by abuse of notation we also call φ. If G is finite, then by duality
kG inherits a Hopf superalgebra structure from k[G], but in general the multiplication map on k[G]
does not induce a coproduct on kG.5
Proposition 3.1.4. Let r, s ≥ 1.
(1) As k-superalgebras,
p
p
p
kMr ∼
= k[[u0 , . . . , ur−1 , v]]/hu0 , . . . , ur−2 , ur−1 + v 2 i,

and

ps

p
p
p
kMr;s ∼
= k[u0 , . . . , ur−1 , v]/hu0 , . . . , ur−2 , ur−1 + v 2 , ur−1 i,

where ui = 0 for each i and v = 1. Furthermore, the inclusion k[Mr;s ] ֒→ k[Mr ] induces the
s
evident quotient map kMr ։ kMr;s with kernel generated by upr−1 .
Pr−1 ℓ
(2) Set γpr = upr−1 , and given 0 ≤ i < pr with p-adic decomposition i = ℓ=0
iℓ p , set
γi =

(u0 )i0 (u1 )i1 · · · (ur−1 )ir−1
.
(i0 !)(i1 !) · · · (ir−1 !)

Given j ∈ N, write j = apr + b for some a, b ∈ N with 0 ≤ b < pr , and set γj = γb · (γpr )a .
Then γj , v · γj : 0 ≤ j < pr+s−1 is a homogeneous basis for kMr;s .
(3) The coproduct ∆ on kMr;s satisfies
X
∆(γi ) =
γu ⊗ γv for 0 ≤ i < pr ,
u+v=i

∆(upr−1 )

upr−1

upr−1 ,

=
⊗1+1⊗
and ∆(v) = v ⊗ 1 + 1 ⊗ v.
(4) The homomorphism q : kMr → kGa(r) induced by the quotient q : Mr ։ Ga(r) identifies
with the canonical quotient map kMr ։ kMr /hvi. Similarly, the map q − : kMr → kG−
a
induced by q − : Mr ։ G−
identifies
with
the
canonical
map
kM
։
kM
/hu
,
.
.
.
,
u
i.
r
r
0
r−1
a
(5) The homomorphism F : kMr+1 → kMr induced by the super Frobenius morphism satisfies
F (v) = v, F (ui ) = ui−1 for 1 ≤ i ≤ r, and F (u0 ) = 0.
(6) The ‘polynomial subalgebra’ Pr of kMr ,
Pr = k[u0 , . . . , ur−1 , v]/hup0 , . . . , upr−2 , upr−1 + v 2 i,
is a Hopf superalgebra, with coproducts given by the same formulas as in part (3), and with
homogeneous basis {γj , v · γj : j ∈ N}. The maps q, q − , and F of parts (4) and (5) restrict
to Hopf superalgebra homomorphisms on Pr and Pr+1 , respectively.
5If G is not algebraic, i.e., if k[G] is not a finitely-generated k-superalgebra, then the algebra of distributions
Dist(G) need not be a Hopf superalgebra either, the first author’s unqualified assertion in [4, §4.2] notwithstanding.

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

13


Proof. Recall the distinguished homogeneous basis θ i σj , τ θ i σj : 0 ≤ i < pr−1 , j ∈ N for k[Mr ].
Restricting j to the range 0 ≤ j < ps , we get the distinguished homogeneous basis for k[Mr;s ]. For
i
0 ≤ i ≤ r − 1, define ui ∈ k[Mr ]# to be the functional that is linearly dual to the basis element θ p
r−1
= σ1 ), and define v ∈ k[Mr ]# to be the functional that is
(so in particular, ur−1 is dual to θ p
linearly dual to τ . By restriction, we also consider each ui and v as an element of k[Mr;s ]# . Now
Pr−2 ℓ
given an integer 0 ≤ i < pr−1 with p-adic decomposition i = ℓ=0
iℓ p , and given j ≥ 0, set
γ
ei+jpr−1 =

(u0 )i0 (u1 )i1 · · · (ur−2 )ir−2
· (ur−1 )j ∈ kMr .
(i0 !)(i1 !) · · · (ir−2 !)

Then one can check that the monomials γ
ei+jpr−1 and v · γ
ei+jpr−1 in kMr are linearly dual to θ i σj
i
#
and τ θ σj , respectively, and hence each φ ∈ k[Mr ] can be uniquely expressed as a formal infinite
ei+jpr−1 for 0 ≤ i < pr−1 and j ≥ 0. Similarly,
linear combination of the monomials γ
ei+jpr−1 and v · γ
it follows that the monomials γj and v · γj for 0 ≤ j < pr+s−1 form a basis for kMr;s . Thus, the
isomorphisms in part (1) are true at the level of k-superspaces. The algebras kMr and kMr;s are
commutative in the ordinary sense because k[Mr ] and k[Mr;s ] are cocommutative in the ordinary
sense, and the other indicated algebra relations in kMr and kMr;s are straightforward to verify.
For example,
(v 2 )(σp ) = (v ⊗ v) ◦ ∆(σp )
= (v ⊗ v)(τ ⊗ τ +

P

i+j=p σi

⊗ σj )

= (−1)v·τ v(τ ) ⊗ v(τ ) = −1,
and one can check that v 2 vanishes on all other distinguished basis elements for k[Mr ], so that
v 2 = −upr−1 . The statements regarding q and q − are then evident from the identifications of
k[Ga(r) ] and k[G−
a ] with the subalgebras of k[Mr ] generated by θ and τ , respectively, and the
description of the map F : kMr+1 → kMr is similarly evident from the definition of F ∗ in Remark
3.1.3(5). The assertions concerning coproducts are straightforward to verify from the multiplicative
structure in k[Mr ]. In particular the formula for ∆(upr−1 ) follows from the coproduct formula for

γpr−1 = ur−1 and from the fact that u0 , . . . , ur−2 are each p-nilpotent.
Remark 3.1.5.
(1) By Remark 3.1.3(3), the Z2 -grading on k[Mr ] lifts to a Z-grading, which makes k[Mr ] into
a graded Hopf algebra of finite type in the sense of Milnor and Moore [19]. Then Pr is
the graded dual of k[Mr ]. In particular, Pr inherits by duality the structure of a Hopf
superalgebra by [19, Proposition 4.8].
(2) The algebra of distributions Dist(Mr ) is defined by
Dist(Mr ) = {φ ∈ k[Mr ]# : φ(Iεn+1 ) for some n ≥ 0}.
Given an integer j ≥ 0, let s(j) denote the sum of the digits in the p-adic decomposition
of j. By the relation upr−1 + v 2 = 0 in kMr , we may assume that each power series in kMr
is written so that v never appears with an exponent greater than 1. Then a power series
f ∈ kMr belongs to Dist(Mr ) if and only if there exists an integer n(f ) ≥ 1 such that no
monomial involving ujr−1 with s(j) ≥ n(f ) appears in f .
P
i
Recall that a p-polynomial f = ti=0 ai T p ∈ k[T ] is inseparable if and only if a0 = 0. Then for
each inseparable p-polynomial f ∈ k[T ] and each η ∈ k, f (ur−1 ) + η · u0 is a primitive element of
the Hopf superalgebra Pr , and hence generates a Hopf ideal in Pr .

14

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Definition 3.1.6. Given an inseparable p-polynomial 0 6= f ∈ k[T ], η ∈ k, and r ≥ 1, set
kMr;f,η = Pr /hf (ur−1 ) + ηu0 i.
Then kMr;f,η inherits from Pr the structure of a (finite-dimensional) Hopf k-superalgebra. Define
Mr;f,η to be the finite k-supergroup scheme such that k[Mr;f,η ]# = kMr;f,η . For η = 0, set kMr;f =
kMr;f,0 and k[Mr;f ] = k[Mr;f,0 ], so that
kMr;f = Pr /hf (ur−1 )i.
ps

If s ≥ 1 and f = T , then kMr;f = kMr;s , and hence Mr;f = Mr;s .
P
i
Lemma 3.1.7. Let r ≥ 1, let 0 6= f = ti=1 ai T p ∈ k[T ] be an inseparable p-polynomial of degree
pt , and let η ∈ k. Then kMr;f,η ∼
= kMr;t as k-supercoalgebras, and hence k[Mr;f,η ] ∼
= k[Mr;t ] as
k-superalgebras. In particular, k[Mr;f,η ] is infinitesimal of height r.
t
Pt−1
pi
Proof. Since upr−1 = −(a−1
t ) · (ηu0 +
i=1 ai ur−1 ) in kMr;f,η , it follows that the set
n
o
ir−2 ir−1 j
ui00 · · · ur−2
ur−1 v : 0 ≤ iℓ < p for 0 ≤ ℓ ≤ r − 2; 0 ≤ ir−1 < pt ; 0 ≤ j ≤ 1

is a homogeneous basis for kMr;f,η . Since the set of monomials of this form is also a homogeneous
basis for kMr;t , and since the coalgebra structures on kMr;f,η and kMr;t are both inherited from
the coalgebra structure on Pr , it follows that kMr;f,η ∼
= kMr;t as supercoalgebras, and hence that
∼
k[Mr;f,η ] = k[Mr;t ] as k-superalgebras.

Remark 3.1.8. Retain the assumptions of Lemma 3.1.7. Assume that ai = 0 for i < s and as 6= 0.
(1) The super Frobenius morphism induces a Hopf superalgebra map F : kMr+1;f,η → kMr;f ,
and hence a supergroup homomorphism F : Mr+1;f,η → Mr;f . Taking η = 0, we get maps
F : kMr+1;f → kMr;f and F : Mr+1;f → Mr;f . Similarly, the map q − : Pr ։ kG−
a factors
through kMr;f,η .
s
(2) By the assumption that ai = 0 for i < s, one has hf (ur−1 )i ⊆ hupr−1 i as ideals in Pr ,
so there exists a canonical quotient homomorphism π : kMr;f ։ kMr;s . This quotient is
compatible with the super Frobenius morphism in the sense that π ◦ F = F ◦ π. Composing
π with the quotient map q : kMr;s ։ Ga(r) , one gets a quotient q : kMr;f ։ kGa(r) , and
hence a group homomorphism q : Mr;f ։ Ga(r) . Then as in Remark 3.1.3(6), one gets
q ◦ F = F ◦ q : Mr+1;f → Ga(r) . For η ∈ k, one gets a quotient q : Mr+1;f,η ։ Ga(r) by
composing the super Frobenius morphism F : Mr+1;f,η → Mr;f with q : Mr;f ։ Ga(r) .
(3) The quotient π : kMr;f ։ kMr;s corresponds to an injective Hopf superalgebra map π ∗ :
k[Mr;s ] ֒→ k[Mr;f ]; via the identification k[Mr;f ] = k[Mr;t ] of Lemma 3.1.7, this is just the
inclusion of algebras k[Mr;s ] ⊆ k[Mr;t ]. Thus, the coproducts in k[Mr;f ] of τ , θ, and σi
for 0 ≤ i < ps are given by the same formulas as in Lemma 3.1.1. For ps ≤ i < pt , the
coproduct in k[Mr;f ] of σi can be more complicated; cf. Lemma 3.1.9 below.
(4) Suppose η 6= 0. Then kMr+1;f,η ∼
= kMr;f p = Pr /h[f (ur−1 )]p i as superalgebras. Explicitly,
∼
the isomorphism φ : kMr+1;f,η → kMr;f p is given on generators by v 7→ v, ui 7→ ui−1 for
1 ≤ i ≤ r, and u0 7→ (−η −1 ) · f (ur−1 ). Then F ◦ φ−1 : kMr;f p → kMr;f identifies with
the canonical quotient map Pr /h[f (ur−1 )]p i ։ Pr /hf (ur−1 )i. Making the superalgebra
identifications k[Mr;f ] ∼
= k[Mr;t+1 ] as in Lemma 3.1.7, it follows that
= k[Mr;t ] and k[Mr;f p ] ∼
−1
∗
(F ◦φ ) : k[Mr;f ] ֒→ k[Mr;f p ] identifies with the subalgebra inclusion k[Mr;t ] ֒→ k[Mr;t+1 ].
The map F ◦ φ−1 is also compatible with the quotient q : kMr;f ։ kGa(r) in the sense that
q ◦ F ◦ φ−1 = q : kMr;f p ։ kGa(r) .

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

15

(5) Let A ∈ csalgk . Since k[Mr;f ] ∼
= k[Mr;t ], elements of Mr;f (A) identify with sequences
(τ, θ, σ1 , . . . , σpt −1 ) such that τ ∈ A1 , θ ∈ A0 , and σi ∈ A0 for 1 ≤ i < pt , and such that the
elements of the sequence satisfy the defining relations of k[Mr;t ]. The group multiplication
map in Mr;f (A) is in general no longer given by (3.1.2) (namely, the formula for σi′′ can
be more complicated if i ≥ ps ), though the quotient π : Mr;f (A) ։ Mr;s (A) is still given
by truncation, the map q : Mr;f (A) → Ga(r) (A) is still given by projection onto θ, and the
Frobenius morphism F : Mr+1;f (A) → Mr;f (A) is still given as in Remark 3.1.3(5).
P
t
pi ∈ k[T ] be an inseparable p-polynomial, and let η ∈ k.
Lemma 3.1.9. Let 0 6= f = T p + t−1
i=1 ai T
Pt
i
Set a0 = η and at = 1, so that kM1;f,η ∼
= k[u, v]/hup +v 2 , i=0 ai up i. Then under the identification
k[M1;f,η ] ∼
= k[M1;t ] of Lemma 3.1.7, the coproduct on k[M1;f,η ] satisfies ∆(τ ) = τ ⊗ 1 + 1 ⊗ τ and
X
X
∆(σℓ ) =
σi ⊗ σj +
(3.1.3)
σi τ ⊗ σj τ
i+j=ℓ

+

X

i+j+p=ℓ

(−ac ) · σi ⊗ σj +

0≤c<t
i+j≥pt
i+j+pc =ℓ+pt

+

X

X

(−ac ) · σi τ ⊗ σj τ

0≤c<t
i+j≥pt
i+j+p+pc =ℓ+pt

(ac ad ) · σi ⊗ σj +

0≤c,d<t
i+j≥pt
i+j+pc ≥2pt
i+j+pc +pd =ℓ+2pt

X

(ac ad ) · σi τ ⊗ σj τ

0≤c,d<t
i+j≥pt
i+j+pc ≥2pt
i+j+pc +pd +p=ℓ+2pt

for 0 ≤ ℓ < pt and t ≥ 2. If t = 1, then ∆(τ ) and ∆(σℓ ) are given by the same formulas as above,
except that ∆(σ1 ) includes the additional term (−a30 ) · σp−1 τ ⊗ σp−1 τ .


Proof. The sets uℓ , uℓ v : 0 ≤ ℓ < pt and σℓ , σℓ τ : 0 ≤ ℓ < pt are homogeneous bases for kM1;f,η
and k[M1;t ], respectively; we call these the standard homogeneous bases for kM1;f,η and k[M1;t ]. By
definition, k[M1;f,η ] is the unique (up to isomorphism) k-Hopf superalgebra such that k[M1;f,η ]# =
kM1;f,η . Then k[M1;f,η ] ∼
= k[M1;f,η ]## = (kM1;f,η )# . Now applying the identification k[M1;f,η ] ∼
=
#
k[M1;t ] of Lemma 3.1.7, and viewing the elements of k[M1;t ] as elements of (kM1;f,η ) , one has
σi (uj ) = δij , σi (uj v) = 0, (σi τ )(uj ) = 0, and (σi τ )(uj v) = −δij for 0 ≤ i, j < pt , where δij is the
usual Kronecker symbol. Furthermore, making the identifications
k[M1;f,η ] ⊗ k[M1;f,η ] ∼
= (kM1;f,η )# ⊗ (kM1;f,η )# ∼
= (kM1;f,η ⊗ kM1;f,η )# ,
the coproduct on k[M1;f,η ] identifies with the map ∆ : (kM1;f,η )# → (kM1;f,η ⊗ kM1;f,η )# such
that ∆(φ)(x ⊗ y) = φ(xy). Then to prove the formula for ∆(σℓ ), it suffices by duality to determine,
for 0 ≤ i, j < pt , the coefficient of uℓ in ui · uj = ui+j and in (ui v) · (uj v) = −ui+j+p when these
products are rewritten in terms of the standard homogeneous basis for kM1;f,η .
Fix 0 ≤ i, j < pt . We first consider the standard basis monomials uℓ that can occur in ui · uj .
(1) i + j < pt . Then ui · uj = ui+j is a standard basis monomial, so uℓ occurs in ui+j if and
only if ℓ = i + j, and if uℓ does occur, it does so with coefficient 1.
(2) i + j ≥ pt . Set m = (i + j) − pt . Then 0 ≤ m ≤ pt − 2, and
!
t−1
t−1
X
X
c
pc
m
i
j
pt
ac up +m .
· um = −
ac u
u ·u =u ·u = −
c=0

c=0

(a) If 0 ≤ c < t and ℓ = pc + m < pt , then we get a contribution of −ac · uℓ in ui · uj .

16

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

(b) Suppose 0 ≤ c < t and pc + m ≥ pt . Set nc = (pc + m) − pt . Then
!
t−1
t−1
X
X
d
nc
pd
pc +m
pt
nc
ad up +nc .
·u =−
ad u
u
=u ·u = −
d=0

d=0

Now 0 ≤ nc ≤ pc − 2, so for 0 ≤ d < t one has pd + nc ≤ pd + pc − 2 ≤ 2pt−1 − 2 < pt .
Then it follows for 0 ≤ d < t that we get a contribution in ui · uj of
(−ac ) · ((−ad ) · up

d +n

c

) = (ac ad ) · up

d +pc +(i+j)−2pt

.

Now we consider the standard basis monomials that appear when (ui v) · (uj v) = −ui+j+p is written
as a linear combination of standard basis elements.
(3) i + j + p < pt . Then (ui v) · (uj v) = −ui+j+p is a standard basis monomial.
(4) i + j + p ≥ pt . Set m = i + j + p − pt . Then 0 ≤ m ≤ pt + p − 2, and
!
t−1
t−1
X
X
c
c
t
m
p
m
i
j
p
ac up +m .
·u =
ac u
(u v) · (u v) = (−u ) · u =
c=0

c=0

(a) If 0 ≤ c < t and ℓ = pc + m < pt , then we get a contribution of ac · uℓ in (ui v) · (uj v).
(b) Suppose 0 ≤ c < t and pc + m ≥ pt . Set nc = pc + m − pt . Then as above,
u

pc +m

=−

t−1
X

ad up

d +n

c

.

d=0

Now 0 ≤ nc ≤ pc + p − 2, so for 0 ≤ d < t one has
pd + nc ≤ pd + pc + p − 2 ≤ 2pt−1 + (p − 2).
(i) t ≥ 2. Then 2pt−1 + (p − 2) < pt , so it follows for 0 ≤ d < t that we get a
contribution in (ui v) · (uj v) of
ac · ((−ad ) · up

d +n

c

) = −(ac ad ) · up

d +pc +p+(i+j)−2pt

.

(ii) t = 1. Then m = i+j, nc = n0 = m−(p−1), and pd +nc = p0 +n0 = m−(p−2).
Then pd + nc < p = pt except when i = j = p − 1, in which case pd + nc = p. So
for i = j = p − 1 we get a contribution in (up−1 v) · (up−1 v) of
(−a20 ) · up

d +n

c

= (−a20 ) · up = (a30 ) · u.

The previous calculations imply by duality the formula for ∆(σℓ ). (Note that σi τ ⊗ σj τ , viewed
as an element of (kM1;f,η ⊗ M1;f,η )# , evaluates to −1 on ui v ⊗ uj v due to the sign conventions of
super linear algebra.) Similarly, ∆(τ ) = τ ⊗ 1 + 1 ⊗ τ because the only products of standard basis
monomials in kM1;f,η that include v as a summand when rewritten in terms of the standard basis
are v · 1 and 1 · v.

3.2. Cohomology. Recall from [4, §5.1] that if G is an affine k-supergroup scheme, and if M is a
rational G-supermodule, then the cohomology group H• (G, M ) can be computed as the cohomology
of the Hochschild complex C • (G, M ) := M ⊗ k[G]⊗• . Given a cocycle z ∈ C n (G, M ), we will write
[z] to denote the cohomology class of z in Hn (G, M ). Recall also that the cohomology ring H• (G, k)
is a graded superalgebra in the sense of [7, §2.2], i.e., it admits both a Z-grading (the cohomological
degree) and a Z2 -grading (the internal superdegree, induced by the Z2 -grading on k[G]). Given
a homogeneous element a ∈ H• (G, k), we write deg(a) for the Z-degree of a, and write a for the

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

17

Z2 -degree of a. If G is finite, then it follows from [7, Corollary 2.3.6] that H• (G, k) is gradedcommutative superalgebra in the sense that if a, b ∈ H• (G, k) are both homogeneous, then
a · b = (−1)deg(a)·deg(b)+a·b b · a.
Proposition 3.2.1. Let r ≥ 1, let 0 6= f ∈ k[T ] be an inseparable p-polynomial, and let η ∈ k.
(1) As a k-superalgebra, H• (Mr;1 , k) is generated for 1 ≤ i ≤ r by the cohomology classes
i
hP
i−1
p−1 (p−1)!
pi−1 )j ⊗ (θ pi−1 )p−j ,
λi = [θ p ], and y = [τ ],
(θ
xi =
j=1 j!(p−j)!

where the bracketed expressions are interpreted as cocycles in the Hochschild complex for
Mr;1 , subject only to the condition that H• (Mr;1 , k) is graded-commutative in the sense
of [7, Definition 2.2.1]. In other words,
H• (Mr;1 , k) ∼
= k[x1 , . . . , xr , y] g⊗ Λ(λ1 , . . . , λr ),

where xi ∈ H2 (Mr;1 , k)0 , λi ∈ H1 (Mr;1 , k)0 , y ∈ H1 (Mr;1 , k)1 .
(2) The quotient map Mr ։ Mr;1 induces a surjective algebra homomorphism H• (Mr;1 , k) ։
H• (Mr , k) with kernel generated by xr − y 2 . In other words,
H• (Mr , k) ∼
= k[x1 , . . . , xr , y]/hxr − y 2 i g⊗ Λ(λ1 , . . . , λr ),
where xi , λi , and y are defined by the same formulas as in (1), interpreting the bracketed
expressions as cocycles in the Hochschild complex for Mr .
(3) Suppose s ≥ 2. Then the quotient map Mr ։ Mr;s induces a surjective algebra homomorphism H• (Mr;s , k) ։ H• (Mr , k) with kernel generated by the cohomology class
i
hP s
P
p −1
ws := −
u+v+p=ps σu τ ⊗ σv τ .
j=1 σj ⊗ σps −j +
Specifically,

H• (Mr;s , k) ∼
= k[x1 , . . . , xr , y, ws ]/hxr − y 2 i g⊗ Λ(λ1 , . . . , λr ),
where ws ∈ H2 (Mr;s , k)0 , and xi , λi , and y are defined by the same formulas as in (1),
interpreting the bracketed expressions as cocycles in the Hochschild complex for Mr;s .
Pt
pi ∈ k[T ] with 1 ≤ s ≤ t and a , a 6= 0. Then the inclusion
(4) Suppose f =
s t
i=s ai T
∗
π : k[Mr;s ] ֒→ k[Mr;f ] induces an isomorphism in cohomology H• (Mr;s , k) ∼
= H• (Mr;f , k).
(5) Suppose η 6= 0. Then the algebra isomorphism kMr+1;f,η ∼
= kMr;f p of Remark 3.1.8(4)
•
•
∼
induces an isomorphism in cohomology H (Mr+1;f,η , k) = H (Mr;f p , k).
2
(6) Suppose η 6= 0. Then the inclusion (q − )∗ : k[G−
a ] = k[τ ]/hτ i ֒→ k[M1;f,η ] induces an
∼ •
isomorphism in cohomology k[y] ∼
= H• (G−
a , k) = H (M1;f,η , k).
Proof. Fix r, s ≥ 1, and define Nr;s to be the closed subsupergroup scheme of Mr with
k[Nr;s ] = k[Mr ]/hτ, θ, σ1 , . . . , σps −1 i.
Then Mr /Nr;s = Mr;s . For i ∈ N, let σ
ei denote the image in k[Nr;s ] of the generator σips ∈ k[Mr ].
Then k[Nr;s ] is generated as a commutative algebra by the elements σ
ei for i ∈ N subject only to

σ
e
for
i,
j
∈
N.
In
particular,
the
set
{e
σ
:
i
∈ N} is a basis for k[Nr;s ].
the relation σ
ei σ
ej = i+j
i+j
i
i
Since τ is an element in the defining ideal of Nr;s , it follows that Nr;s is central, hence normal, in
Mr . Then as in [4, §5.1], we can consider the Lyndon–Hochschild–Serre spectral sequence
(3.2.1)

E2i,j = Hi (Mr /Nr;s , Hj (Nr;s , k)) ⇒ Hi+j (Mr , k).

18

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Since Nr;s is central in Mr , the action of Mr /Nr;s on the cohomology ring H• (Nr;s , k) is trivial, and
hence E2i,j ∼
= Hi (Mr /Nr;s , k) ⊗ Hj (Nr;s , k) = Hi (Mr;s , k) ⊗ Hj (Nr;s , k).
r
Observe that k[Mr;1 ] identifies with the tensor product of superalgebras k[θ]/hθ p i ⊗ Λ(τ ). Then
Mr;1 ∼
= Ga(r) × G−
a , and it follows from the Künneth isomorphism that
H• (Mr;1 , k) ∼
= H• (Ga(r) , k) g⊗ H• (G−
a , k).
Applying the explicit calculation of H• (Ga(r) , k) given in [18, I.4.20–I.4.27], and the explicit (clas•
•
sical) calculation of H• (G−
a , k) = H (Λ(τ ), k) in [23], it follows that H (Mr;1 , k) admits the explicit
description given in part (1) of the proposition.
Next, using the fact that {e
σi : i ∈ N} is a basis for k[Nr;s ], one can check that the Hochschild
complex C • (Nr;s , k) identifies with the dual of the bar construction of a one-variable polynomial
algebra, as described in [23]. Then by [23, Theorem 2.5], the cohomology ring H• (Nr;s , k) is an
exterior algebra generated by the cohomology class of the cocycle σ
e1 ∈ C 1 (Nr;s , k). In particular, Hj (Nr;s , k) = 0 for j ≥ 2, so E2i,j = 0 for j ≥ 2, and the only nonzero differential of the
spectral sequence (3.2.1) is the map d2 : E2•,1 → E2•+2,0 . Fixing basis elements 1 ∈ H0 (Nr;s , k)
and [e
σ1 ] ∈ H1 (Nr;s , k), we identify H0 (Nr;s , k) and H1 (Nr;s , k) with the field k, and hence identify
•,1
•+2,0 ∼
the differential with a linear map H• (Mr;s , k) ∼
= E2 → E2
= H•+2 (Mr;s , k). Then by the
•
derivation property of the differential, d2 acts on H (Mr;s , k) as multiplication by d2 ([e
σ1 ]), and
H• (Mr , k) = ker(d2 )/ im(d2 ).
The differential d2 : E20,1 → E22,0 is induced by the Hochschild differential ∂ on C • (Mr , k), and
s

pX
−1
X
∂(σps ) = − 
σj ⊗ σps −j +
σu τ ⊗ σv τ  .
j=1

u+v+p=ps

r−1

Since σj = j!1 (σ1 )j = j!1 (θ p )j for 1 ≤ j ≤ p − 1, and since (p − 1)! ≡ −1 mod p, we get in the case
s = 1 that d2 ([e
σ1 ]) = xr − y 2 . But xr − y 2 is not a zero divisor in H• (Mr;1 , k) by part (1) of the
proposition, so H• (Mr , k) ∼
= H• (Mr;1 , k)/hxr − y 2 i, proving (2). Now suppose s ≥ 2. By inspection,
the cocycle representatives described in part (2) for the generators of H• (Mr , k) all pull back to
cocycles in the Hochschild complex for Mr;s . Then the map in cohomology induced by the quotient
Mr ։ Mr;s is a surjection. Equivalently, the horizontal edge map of the spectral sequence (3.2.1)
•,1
is a surjection. This implies that E∞
= 0, and hence that the differential d2 is an injection. In
particular, d2 ([e
σ1 ]) is not a zero divisor in H• (Mr;s , k). Setting ws = d2 ([e
σ1 ]), (3) then follows.
Recall that, via the equivalence between rational G-supermodules and kG-supermodules, the
cohomology ring of a finite supergroup scheme G identifies with the cohomology ring of its group
ring kG [4, Remark 5.1.1]. Then (5) is immediate, and we can prove (4) by proving the equivalent
dual statement that the quotient map kMr;f ։ kMr;s induces an isomorphism in cohomology.
s
Indeed, let A be the Hopf subalgebra of kMr;f generated by the (primitive) element upr−1 . Then
the Hopf superalgebra quotient kMr;f //A identifies with kMr;s , and one has a Lyndon–Hochschild–
Serre spectral sequence
E2i,j = Hi (kMr;s , Hj (A, k)) ⇒ Hi+j (kMr;f , k).
t−s

Set g = as T + as+1 T p + · · · + at T p . Then g is a separable polynomial, i.e., the roots of g are
distinct in any algebraic closure of k, and A ∼
= k[x]/hg(x)i, so after scalar extension to a large
enough field, the algebra A splits as a direct product of fields. This implies that Hj (A, k) = 0 for
j > 0, and hence that the spectral sequence collapses at the E2 -page, yielding for each i ≥ 0 that
∼
the quotient map kMr;f ։ kMr;s induces an isomorphism Hi (kMr;s , k) → Hi (kMr;f , k).

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

19

The proof of (6) is essentially the same as that of (4), letting A instead be the Hopf subalgebra
of kM1;f,η generated by u0 , so that kM1;f,η //A ∼

= kG−
a , and setting g = f (T ) − ηT .
Pp−1
Remark 3.2.2. Interpreting the expression −[( j=1 σj ⊗ σp−j ) + τ ⊗ τ ] as defining an element
w1 ∈ H• (Mr;1 , k), one gets w1 = x1 − y 2 .
Retain the notations and conventions of Lemma 3.1.9. Let Iε denote the augmentation ideal of
k[M1;f,η ]. Then the powers of Iε define a decreasing filtration F • on k[M1;f,η ]:
k[M1;f,η ] = (Iε )0 ⊇ Iε ⊇ (Iε )2 ⊇ (Iε )3 ⊇ · · · .

P
ℓ
i
In particular, if j =
ℓ≥0 jℓ p is the p-adic decomposition of j, then σj ∈ (Iε ) if and only if
P
filtration on k[M1;f,η ] induces a decreasing filtration F • on
ℓ≥0 jℓ ≥ i; cf. (3.1.1). The decreasing
P
k[M1;f,η ]⊗2 with F i (k[M1;f,η ]⊗2 ) = i1 +i2 ≥i (Iε )i1 ⊗ (Iε )i2 . The following lemma will be applied in
the proof of Proposition 5.2.5.
Lemma 3.2.3. Retain the notations and conventions of the preceding paragraph. Let ∂ denote the
differential of the Hochschild complex C • (M1;f,η , k), so that −∂(σp ) = ∆(σp ) − (σp ⊗ 1 + 1 ⊗ σp ).
Then




p−1
p−1
X
X
−∂(σp ) ≡ 
σj ⊗ σp−j  + τ ⊗ τ +  (−a1 ) · σjpt−1 ⊗ σ(p−j)pt−1  mod F p+1 (k[M1;f,η ]⊗2 ).
j=1

j=1

Proof. The coproduct ∆(σp ) is described explicitly by the formula in Lemma 3.1.9. Then it suffices
to check that the only summands of ∆(σp ) that are not elements of F p+1 (k[M1;f,η ]⊗2 ) are σp ⊗ 1,
1 ⊗ σp , and the summands included in the statement of this lemma.
For example, suppose 0 ≤ i, j < pt are such that i + j ≥ pt and i + j + pc = p + pt for some
Pt−1 ℓ
Pt−1
ℓ
0 ≤ c < t. Let i =
iℓ p and j =
of i and j. If
ℓ=0
ℓ=0 jℓ p be the p-adic decompositions
Pt−1
Pt−1
0 ≤ ℓ < t, and hence ℓ=0 (iℓ + jℓ )pℓ is the p-adic
ℓ=0 (iℓ + jℓ ) < p, then iℓ + jℓ < p for each
Pt−1
decomposition of i + j. In particular, if ℓ=0 (iℓ + jℓ ) < p, then i + j < pt . But i + j ≥ pt by
P
assumption, so we must have t−1
ℓ=0 (iℓ + jℓ ) ≥ p. Now we consider several cases:
(1) t = 1. Then c = 0 and i + j + 1 = 2p. This is impossible, because 0 ≤ i, j < p.
(2) t ≥ 2. Then p + pt is the p-adic decomposition of i + j + pc . Using this observation, one
P
can check that the only way to get i + j + pc = p + pt with t−1
ℓ=0 (iℓ + jℓ ) = p, i.e., with
p+1
⊗2
σi ⊗ σj ∈
/F
(k[M1;f,η ] ), is to have c = 1 and i1 + j1 = p.

The preceding calculations imply that the only terms in the first summation in the second row of
(3.1.3) that are not elements of F p+1 (k[M1;f,η ]⊗2 ) are the terms included in the statement of this
lemma. We leave the remaining details of this proof to the reader.

Recall the (now classical) calculation of the cohomology ring for Ga(r) :
H• (Ga(r) , k) ∼
= k[x1 , . . . , xr ] g⊗ Λ(λ1 , . . . , Λr ),

with deg(xi ) = 2 and deg(λi ) = 1 for each i (for details, see [18, I.4]).
P
i
Lemma 3.2.4. Let r ≥ 1, and let f = ti=s ai T p ∈ k[T ] with 1 ≤ s ≤ t and as , at 6= 0. Then in
terms of the generators described in Proposition 3.2.1, and identifying H• (Mr;f , k) with H• (Mr;s , k)
via the isomorphism of Proposition 3.2.1(4):
(1) The maps in cohomology induced by the super Frobenius morphism,
F ∗ : H• (Mr , k) → H• (Mr+1 , k)

and

F ∗ : H• (Mr;f , k) → H• (Mr+1;f , k),

satisfy F ∗ (xi ) = xi+1 , F ∗ (λi ) = λi+1 , F ∗ (y) = y, and (in the second case) F ∗ (ws ) = ws .

20

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

(2) The maps in cohomology induced by the quotients q : Mr ։ Ga(r) and q : Mr;f ։ Ga(r) ,
q ∗ : H• (Ga(r) , k) → H• (Mr , k)

and

q ∗ : H• (Ga(r) , k) → H• (Mr;f , k),

map the generators for H• (Ga(r) , k) to the generators of the same names in H• (Mr , k)
and H• (Mr;f , k), respectively. In particular, q ∗ maps H• (Ga(r) , k) isomorphically onto the
subalgebra of H• (Mr , k) generated by x1 , . . . , xr , λ1 , . . . , λr .
(3) Let s ≥ 1. The map in cohomology π ∗ : H• (Mr;s , k) → H• (Mr;s+1 , k) induced by the
quotient π : Mr;s+1 ։ Mr;s satisfies y 7→ y, xi 7→ xi , and λi 7→ λi . For s = 1 one has
π ∗ (w1 ) = x1 − y 2 , while for s ≥ 2 one has π ∗ (ws ) = 0.
s

Proof. For f = T p , (1) and (2) are immediate from the explicit descriptions of the cohomology
ring generators in Proposition 3.2.1, and then for general f they then follow from the compatibility
conditions described in Remark 3.1.8(2). Next, the effect of π ∗ on y, xi , and λi is also evident
from the explicit descriptions of the generators in terms of cochain representatives, so we will focus
our remaining attention on computing π ∗ (ws ) = 0. The calculation π ∗ (w1 ) = x1 − y 2 follows from
Remark 3.2.2, so suppose s ≥ 2.
Recall from Remark 3.1.3(3) that k[Mr;s ] is a Z-graded Hopf superalgebra. Then the cohomology
ring H• (Mr;s , k) inherits an additional internal Z-grading, which we denote by deg. Then deg(y) =
pr , deg(λi ) = 2pi−1 , deg(xi ) = 2pi , and deg(ws ) = 2pr+s−1 . Now for s ≥ 2, one can check that the
subspace of H2 (Mr;s , k) of elements of internal degree 2pr+s−1 is one-dimensional spanned by ws ,
while the subspace of H2 (Mr;s+1 , k) of elements of internal degree 2pr+s−1 is 0. The homomorphism
π ∗ evidently preserves internal degrees, so π ∗ (ws ) = 0 for s ≥ 2.

3.3. Superschemes of multiparameter supergroups. Given an affine k-supergroup scheme
G ∈ sgrpk and a commutative k-superalgebra A ∈ csalgk , let G ⊗k A ∈ sgrpA denote the affine
A-supergroup scheme obtained from G via base change to A. That is, G ⊗k A is the A-supergroup
scheme with coordinate Hopf A-superalgebra A[G] := k[G] ⊗k A. Base change defines a functor
− ⊗k A : sgrpk → sgrpA from the category of affine k-supergroup schemes to the category of affine
A-supergroup schemes. If φ : G → G′ is a homomorphism of affine k-supergroup schemes, then
φ ⊗k A : G ⊗k A → G′ ⊗k A is the homomorphism of A-supergroup schemes with comorphism
defined by (φ ⊗k A)∗ := φ∗ ⊗k A : k[G′ ] ⊗k A → k[G] ⊗k A.
Definition 3.3.1. Given affine k-supergroup schemes G, G′ , define the k-superfunctor
Hom(G, G′ ) : csalgk → sets
by
Hom(G, G′ )(A) = HomGrp/A (G ⊗k A, G′ ⊗k A),
the set of A-supergroup scheme homomorphisms ρ : G ⊗k A → G′ ⊗k A.
By the anti-equivalence between A-supergroup schemes and commutative Hopf A-superalgebras,
an A-supergroup scheme homomorphism ρ : G ⊗k A → G′ ⊗k A is equivalent to the data of a Hopf
A-superalgebra homomorphism ρ∗ : A[G′ ] → A[G].
Lemma 3.3.2. Let r ≥ 1, and let A = A0 ∈ calgk be a purely even commutative k-superalgebra.
Then there exists a natural identification

Hom(Mr;1 , Mr;1 )(A) = (µ, a0 , . . . , ar−1 ) ∈ Ar+1 .

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

21

More generally, for s ≥ 2 there exists a natural inclusion
n
o
r
(µ, a0 , . . . , ar−1 , b) ∈ Ar+2 : µ2 = ap0 ⊆ Hom(Mr;s , Mr;s )(A),

i.e., the elements of the former set naturally identify with elements of the latter set, and if A is
reduced (i.e., if A has no nonzero nilpotent elements), then this inclusion is an equality.
Proof. Let s ≥ 1, and let φ : A[Mr;s ] → A[Mr;s ] be a Hopf A-superalgebra homomorphism. Since
φ is by definition an even map, and since A = A0 , we can write
φ(τ ) =

s −1
pr−1
X−1 pX

i=0

τ θ i σj · µij ∈ A[Mr;s ] = k[Mr;s ] ⊗k A

j=0

for some µij ∈ A. Since φ is a Hopf superalgebra homomorphism, φ(τ ) is also primitive, which
implies that µij = 0 unless i = j = 0. So φ(τ ) = τ · µ for some µ ∈ A. Similarly, φ must map θ
Pr−1 pi
θ · ai for some a0 , . . . , ar−1 ∈ A. Since
to an even primitive element in A[Mr;s ], so φ(θ) = i=0
A[Mr;1 ] is generated as an A-algebra by τ and θ, the scalars µ, a0 , . . . , ar−1 completely determine φ
if s = 1, and conversely one can check that any such choice of scalars defines a Hopf superalgebra
homomorphism φ : A[Mr;1 ] → A[Mr;1 ]. This completes the proof in the case s = 1.
Next suppose that s ≥ 2 and that r = 1. The Hopf superalgebra homomorphism φ : A[M1;s ] →
A[M1;s ] defines by duality a Hopf superalgebra homomorphism φ∗ : AM1;s → AM1;s between the
s
group algebras. Write AM1;s = kM1;s ⊗k A = A[u, v]/hup + v 2 , up i with u (resp. v) an even (resp.
odd) primitive element. As in the previous paragraph, φ∗ must map u and v to primitive elements
Ps−1 pi
of the same parity, so φ∗ (v) = v · µ and φ∗ (u) = i=0
u · ci for some scalars µ, c0 , . . . , cs−1 ∈ A.
p
2
The relation u + v = 0 implies that
!
!
s−2
s−1
X
X
i+1
i+1
up · cpi ,
up · cpi + v 2 · µ2 = up · (cp0 − µ2 ) +
0 = φ(u)p + φ(v)2 =
i=1

i=0

cp0
µ2

cpi

and hence that µ2 =
and
= 0 for 1 ≤ i ≤ s − 2. Conversely, if µ, c0 , . . . , cs−1 ∈ A are
any scalars such that
= cp0 and such that cpi = 0 for 1 ≤ i ≤ s − 2, then one can check that
Ps−1 pi
u · ci define a Hopf superalgebra homomorphism
the formulas φ∗ (v) = v · µ and φ∗ (u) = i=0
∗
φ : AM1;s → AM1;s . In the special case that ci = 0 for 1 ≤ i ≤ s − 2 (e.g., when A is reduced), set
s−1
a0 = c0 and b = cs−1 . Then φ∗ (v) = v · µ and φ∗ (u) = u · a0 + up · b, and the map φ : A[M1;s ] →
i
A[M1;s ] corresponding via duality to φ∗ satisfies the formulas φ(τ ) = τ · µ, φ(σpi ) = σpi · ap0 for
s−1

0 ≤ i ≤ s − 2, and φ(σps−1 ) = σps−1 · ap0
+ σ1 · b. This completes the proof in the case r = 1.
Now let r ≥ 2 and s ≥ 2 be arbitrary, and let φ : A[Mr;s ] → A[Mr;s ] be a Hopf superalgebra
Pr−1 pi
homomorphism. As in the first paragraph of the proof, we get φ(τ ) = τ · µ and φ(θ) = i=0
θ · ai
for some scalars µ, a0 , . . . , ar−1 ∈ A. Next, identify A[M1;s ] with the Hopf subalgebra of A[Mr;s ]
generated by τ and by σi for 1 ≤ i < ps . Under the hypothesis that A is reduced, we will show that
φ restricts to a Hopf superalgebra homomorphism φe : A[M1;s ] → A[M1;s ]. This will help us, via
the results of the second paragraph, to further describe φ. Since φ(τ ) = τ · µ ∈ A[M1;s ], it suffices
r−1
= σ1
to show for 1 ≤ i < ps that φ(σi ) ∈ A[M1;s ]. We argue by induction on i. First, since θ p
Pr−1 pi
pr−1
p
and (σ1 ) = 0, the relation φ(θ) = i=0 θ · ai implies that φ(σ1 ) = σ1 · a0 . Then the algebra
relations in A[Mr;s ] imply for 1 ≤ i < p that φ(σi ) ∈ A[M1;s ]. Now let 1 ≤ n < s, and suppose by
induction that φ(σi ) ∈ A[M1;s ] for all 1 ≤ i < pn . Since φ is a Hopf algebra homomorphism, then
∆ ◦ φ(σpn ) = (φ ⊗ φ) ◦ ∆(σpn )

22

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

= φ(σpn ) ⊗ 1 + 1 ⊗ φ(σpn ) +

n −1
pX

φ(σi ) ⊗ φ(σpn −i ) +

X

φ(σi τ ) ⊗ φ(σj τ ).

i+j+p=pn

i=1

Recall from Remark 3.1.3(3) that the algebra A[Mr;s ] is Z-graded, and the generators of A[M1;s ]
are concentrated in Z-degrees at least 2pr−1 . Since the coproduct on A[Mr;s ] is injective (and
preserves the Z-grading), this observation combined with the above formula for ∆ ◦ φ(σpn ) and
the induction hypothesis implies that any homogeneous summands of φ(σpn ) of Z-degree less than
Pr−2 pi
2pr−1 must be primitive. In other words, φ(σpn ) = ( i=0
θ · ci ) + z for some c0 , . . . , cr−2 ∈ A
and some element z in the augmentation ideal of A[M1;s ]. But then z p = 0 (cf. Remark 3.1.3(9)),
Pr−2 pi+1 p
· ci . Thus, if A is reduced, it must be the case that
and (σpn )p = 0, so 0 = φ(σpn )p = i=0
θ
c0 = · · · = cr−2 = 0, and hence that φ(σpn ) ∈ A[M1;s ]. Then the induction hypothesis and the
algebra relations in A[Mr;s ] imply that φ(σi ) ∈ A[M1;s ] for all 1 ≤ i < pn+1 . So by induction on n,
φ(σi ) ∈ A[M1;s ] for all 1 ≤ i < ps .
We have shown that if A is reduced, then φ restricts to a Hopf superalgebra homomorphism
i
φe : A[M1;s ] → A[M1;s ]. Then by the case r = 1, there exist a, b ∈ A such that φ(σpi ) = σpi · ap
s−1
+ σ1 · b. Since φ(τ ) = τ · µ, the case r = 1
for 0 ≤ i ≤ s − 2, and φ(σps−1 ) = σps−1 · ap
r−1

= σ1 and (σ1 )p = 0 imply that a = a0p .
also implies that µ2 = ap , while the relations θ p
Thus, if A is reduced and if φ : A[Mr;s ] → A[Mr;s ] is a Hopf superalgebra homomorphism, then
Pr−1 pi
r
there exist scalars µ, a0 , . . . , ar−1 , b ∈ A such that µ2 = ap0 , φ(τ ) = τ · µ, φ(θ) = i=0
θ · ai ,
pr+i−1
pr+s−2
φ(σpi ) = σpi · a0
for 0 ≤ i ≤ s − 2, and φ(σps−1 ) = σps−1 · a0
+ σ1 · b. Conversely, if A
is an arbitrary purely even commutative superalgebra, and if µ, a0 , . . . , ar−1 , b ∈ A are any scalars
r
such that µ2 = ap0 , then one can check that the preceding formulas define a Hopf superalgebra
homomorphism φ : A[Mr;s ] → A[Mr;s ].

r−1

Remark 3.3.3. Let A = A0 ∈ calgk be an arbitrary (not necessarily reduced) purely even commutative superalgebra, and let s ≥ 2. Implicit in the proof is an identification of sets

Hom(M1;s , M1;s )(A) = (µ, c0 , . . . , cs−1 ) ∈ As+1 : µ2 = cp0 and cpi = 0 for 1 ≤ i ≤ s − 2 ,

but for r ≥ 2 the set Hom(Mr;s , Mr;s )(A) appears to be strictly larger than the subset identified
in Lemma 3.3.2. Specifically, when constructing for r, s ≥ 2 a Hopf superalgebra homomorphism
Pr−1 pi
r
θ · bi for any choice of
φ : A[Mr;s ] → A[Mr;s ], it appears that φ(σp ) can equal σp · (a0 )p + i=0
scalars b0 , . . . , br−1 ∈ A, though the combinatorics of checking that this assignment works seem to
be sufficiently complicated that we have been deterred from completing the verification. On the
other hand, if k is an algebraically closed field, then Hom(Mr;s , Mr;s )(k) identifies as a set with the
cohomology variety |Mr;s |, i.e., the maximal ideal spectrum of the cohomology ring H• (Mr;s , k);
cf. [25, Lemma 1.10] and [26, Theorem 5.2]. The calculations of Lemma 3.3.2 are significantly
extended in our subsequent work [8].
Definition 3.3.4. For m, n ∈ N, r ≥ 1, define the k-superfunctor V r (GLm|n ) : csalgk → sets by
n
V r (GLm|n )(A) = (α0 , . . . , αr−1 , β) ∈ (Matm|n (A)0 )×r × Matm|n (A)1 :

[αi , αj ] = [αi , β] = 0 for all 0 ≤ i, j ≤ r − 1,

o
αpi = 0 for all 0 ≤ i ≤ r − 2, and αpr−1 + β 2 = 0 .

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

23

Given an inseparable p-polynomial 0 6= f (T ) ∈ k[T ] and given a scalar η ∈ k, let V r;f,η (GLm|n ) be
the subsuperfunctor of V r (GLm|n ) defined by

V r;f,η (GLm|n )(A) = (α0 , . . . , αr−1 , β) ∈ V r (GLm|n )(A) : f (αr−1 ) + ηα0 = 0 .

Finally, set V r;f (GLm|n ) = V r;f,0 (GLm|n ), and for s ≥ 1 set V r;s (GLm|n ) = V r;T ps (GLm|n ).
Proposition 3.3.5. Let m, n ∈ N, let r ≥ 1, let 0 6= f ∈ k[T ] be an inseparable p-polynomial, and
let η ∈ k. Then for each A ∈ csalgk , there exists a natural identification
Hom(Mr;f,η , GLm|n )(A) = V r;f,η (GLm|n )(A), and
n
o
s
Hom(Mr , GLm|n )(A) = (α0 , . . . , αr−1 , β) ∈ V r (GLm|n ) : αpr−1 = 0 for some s ≥ 1 .

Specifically, a tuple (α|β) := (α0 , . . . , αr−1 , β) ∈ V r;f,η (GLm|n )(A) corresponds to the unique homomorphism ρ(α|β) : Mr;f,η ⊗k A → GLm|n ⊗k A such that, under the induced action of the group algebra
AMr;f,η := k[Mr;f,η ] ⊗k A on Am|n , ui ∈ k[Mr;f,η ] acts via αi and v ∈ k[Mr;f,η ] acts via β.
Proof. Let G be a finite k-supergroup scheme, and let AG := kG ⊗k A be the group algebra of
G over A. Then to give a homomorphism of A-supergroup schemes ρ : G ⊗k A → GLm|n ⊗k A
is equivalent to specifying a rational G ⊗k A-supermodule structure on Am|n , which is in turn
equivalent to making Am|n into a left AG-supermodule; cf. [18, I.8.6]. Now the first identification
of the proposition is immediate from the structure of the group algebra kMr;f,η , with an element
(α0 , . . . , αr−1 , β) ∈ V r;f,η (GLm|n )(A) corresponding to the AMr;f,η -supermodule structure on Am|n
in which the algebra generators ui and v act via the matrices αi and β, respectively. Finally, since
GLm|n is an algebraic supergroup scheme, it follows as in Remark 3.1.3(4) that any A-supergroup
scheme homomorphism ρ : Mr ⊗k A → GLm|n ⊗k A factors through Mr;s ⊗k A for some s ≥ 1.
Then the second identification of the proposition follows from the first.

Theorem 3.3.6. Let r ≥ 1, let 0 6= f ∈ k[T ] be an inseparable p-polynomial, and let η ∈ k.
(1) Let m, n ∈ N. Then the k-superfunctor V r (GLm|n ) admits the structure of an affine superscheme of finite type over k.
(2) For each algebraic k-supergroup scheme G, the functor Hom(Mr;f,η , G) admits the structure
of an affine superscheme of finite type over k. Then the assignment G 7→ Hom(Mr;f,η , G)
is a covariant functor from the category of algebraic k-supergroup schemes to the category of
affine superschemes of finite type over k that takes closed embeddings to closed embeddings.
Proof. Recall from Section 2.2 that the functors Matm|n (−)0 and Matm|n (−)1 are closed subsuperschemes of Matm|n . The defining equations of V r (GLm|n ) are homogeneous polynomial equations on the entries of the component matrices, so V r (GLm|n ) is then a closed subsuperscheme of
(Matm|n )×(r+1) , and Hom(Mr;f,η , GLm|n ) identifies by Proposition 3.3.5 with the closed subsuperscheme defined by the additional homogeneous polynomial condition f (αr−1 ) + ηα0 = 0.
Let A = k[Hom(Mr;f,η , GLm|n )] be the coordinate superalgebra of Hom(Mr;f,η , GLm|n ), considered as a closed subsuperscheme of (Matm|n )×(r+1) . Then A is a quotient of k[Matm|n ]⊗(r+1) .
For 0 ≤ ℓ ≤ r, let Xij (ℓ) and Yij (ℓ) denote the copies of the coordinate functions Xij , Yij ∈
k[Matm|n ] that live in the (ℓ+1)-th tensor factor of k[Matm|n ]⊗(r+1) . Now define (α0 , . . . , αr−1 , β) ∈
Matm|n (A)×(r+1) such that the ij-entry of αℓ is the image in A of Xij (ℓ) + Yij (ℓ), and the ij-entry

24

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

of β is the image in A of Xij (r) + Yij (r).6 Then via the identification of Proposition 3.3.5,
(α|β) := (α0 , . . . , αr−1 , β) ∈ Hom(Mr;f,η , GLm|n )(A).
If B ∈ csalgk and if φ ∈ Homsalg (A, B), then φ(α|β) ∈ Hom(Mr;f,η , GLm|n )(B). Conversely,
each ρ ∈ Hom(Mr;f,η , GLm|n )(B) is of the form φ(α|β) for some φ ∈ Homsalg (A, B), namely, if ρ
corresponds to the tuple (α′ |β ′ ) ∈ V r;f,η (GLm|n )(B), then φ is the unique k-algebra homomorphism
that maps (α|β) to (α′ |β ′ ). Let ρ(α|β) : Mr;f,η ⊗k A → GLm|n ⊗k A be the homomorphism of Asupergroup schemes corresponding to the tuple (α|β) defined above; we call ρ(α|β) the universal
supergroup homomorphism from Mr;f,η to GLm|n .
Let G be an algebraic k-supergroup scheme. Since k[G] is finitely generated over k, there exists
a closed embedding G ֒→ GLm|n for some m, n ∈ N [29, Theorem 9.3.2]. Choose homogeneous elements F1 , . . . , FM ∈ k[GLm|n ] such that k[G] = k[GLm|n ]/hF1 , . . . , FM i. Each Fi defines a function
Fi : GLm|n (B) → B for each B ∈ csalgk . More precisely, if g ∈ GLm|n (B) = Homsalg (k[GLm|n ], B),
then Fi (g) := g(Fi ) ∈ B is homogeneous of the same parity as Fi . Now consider the identity map
idA[Mr;f,η ] as an element of (Mr;f,η ⊗k A)(A[Mr;f,η ]). Then
ρ(α|β) (idA[Mr;f,η ] ) ∈ GLm|n (A[Mr;f,η ]) ⊂ Matm|n (A[Mr;f,η ])0 ,
and ρ(α|β) (idA[Mr;f,η ] ) ∈ G(A[Mr;f,η ]) if and only if Fℓ (ρ(α|β) (idA[Mr;f,η ] )) = 0 for each 1 ≤ ℓ ≤ M .
P
i
Assume as in Remark 3.1.8(2) that f = ti=s ai T p with as , at 6= 0 and 1 ≤ s ≤ t. Then


X 

′
θ i σj ⊗ Fℓ,i,j + τ θ i σj ⊗ Fℓ,i,j
∈ k[Mr;f,η ] ⊗k A = A[Mr;f,η ]
Fℓ ρ(α|β) (idA[Mr;f,η ] ) =
0≤i<pr−1
0≤j<pt

′
∈ A. Denote by Ir;f,η (G) the homogeneous ideal in A
for some homogeneous elements Fℓ,i,j , Fℓ,i,j
′
generated by the Fℓ,i,j , Fℓ,i,j . Then it follows via naturality that Ir;f,η (G) defines Hom(Mr;f,η , G)
as a closed subsuperscheme of Hom(Mr;f,η , GLm|n ).
Next, let φ : G′ → G be a homomorphism of algebraic k-supergroup schemes. Composition with
φ defines a natural transformation of k-superfunctors

Hom(Mr;f,η , φ) : Hom(Mr;f,η , G′ ) → Hom(Mr;f,η , G).
More precisely, base change induces for each B ∈ csalgk a homomorphism φB : G′ ⊗k B → G ⊗k B,
and Hom(Mr;f,η , φ)(B) is then defined by ρ 7→ φB ◦ ρ. Now by Yoneda’s Lemma, φ corresponds
to a morphism of affine k-superschemes Hom(Mr;f,η , G′ ) → Hom(Mr;f,η , G). Finally, suppose
φ is a closed embedding. Then for each B ∈ csalgk , the induced set map Hom(Mr;f,η , φ)(B) is
an injection. As in the previous paragraph, assume that G is a closed subsupergroup scheme of
GLm|n . Then G′ is also closed in GLm|n , and Ir;f,η (G′ ) is defined in the same fashion as Ir;f,η (G).
Then Ir;f,η (G′ ) ⊇ Ir;f,η (G), and it follows that Ir;f,η (G′ ) defines the image of Hom(Mr;f,η , φ) in
Hom(Mr;f,η , G), and hence that Hom(Mr;f,η , φ) is a closed embedding.

Definition 3.3.7. Given an algebraic k-supergroup scheme G, let
Vr (GLm|n ) = [V r (GLm|n )]ev ,

and

Vr;f,η (G) = [Hom(Mr;f,η , G)]ev

be the underlying purely even subschemes of V r (GLm|n ) and Hom(Mr;f,η , G), respectively. Set
Vr;f (G) = Vr;f,0 (G), and for s ≥ 1 set Vr;s (G) = Vr;T ps (G).
6Given 0 ≤ ℓ ≤ r and given i and j, it is always the case that precisely one of X (ℓ) or Y (ℓ) has image equal to
ij
ij
0 in A, by the definition of Hom(Mr;f,η , GLm|n ) as a sub-superscheme of (Matm|n (−)0 )×r × Matm|n (−)1 .

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

25

By definition, Vr (GLm|n ) and Vr;f,η (GLm|n ) are closed subschemes of
(Matm|n (−)0 )×r × Matm|n (−)1 ;

(3.3.1)
cf. (2.4.1) and (2.4.2).

Definition 3.3.8 (Universal homomorphisms). Let r ≥ 1, let 0 6= f ∈ k[T ] be an inseparable
p-polynomial, and let η ∈ k. Let G be an algebraic k-supergroup scheme, and let G ֒→ GLm|n be
a closed embedding. Set A′ = k[Hom(Mr;f,η , GLm|n )], and let
ρ(α|β) : Mr;f,η ⊗k k[Hom(Mr;f,η , GLm|n )] → GLm|n ⊗k k[Hom(Mr;f,η , GLm|n )]
be the universal homomorphism from Mr;f,η to GLm|n as defined in the proof of Theorem 3.3.6.
(1) Set A′G = k[Hom(Mr;f,η , G)], and let u′ : Mr;f,η ⊗k A′G → GLm|n ⊗k A′G be the homomorphism of A′ -supergroup schemes obtained from ρ(α|β) via base-change along the quotient
map A′ ։ A′G . Then the image of u′ is contained in G ⊗k A′G . We call the induced map
u′G : Mr;f,η ⊗k A′G → G ⊗k A′G
the universal supergroup homomorphism from Mr;f,η to G. It is universal in the sense that if
B ∈ csalgk and ρ ∈ Hom(Mr;f,η , G)(B), then ρ = u′G ⊗φ B for a unique φ ∈ Homsalg (A′G , B),
and conversely u′G ⊗φ B ∈ Hom(Mr;f,η , G)(B) for each φ ∈ Homsalg (A′G , B).
(2) Set AG = k[Vr;f,η (G)], and let π : A′G → AG be the canonical quotient map whose kernel is
generated by the odd elements in A′G . Let
uG = (u′G ⊗π AG ) : Mr;f,η ⊗k AG → G ⊗k AG
be the homomorphism obtained from u′G via base change along π. We call u the universal
purely even supergroup homomorphism from Mr;f,η to G. It is universal in the sense that if
B ∈ calgk is a purely even commutative and if ρ ∈ Hom(Mr;f,η , G)(B), then ρ = uG ⊗φ B
for a unique φ ∈ Homsalg (AG , B), and conversely uG ⊗φ B ∈ Hom(Mr;f,η , G)(B) for each
φ ∈ Homsalg (AG , B).
Remark 3.3.9. Let G be an algebraic k-supergroup scheme. One can check via naturality that
the homomorphisms u′G and uG defined above correspond respectively to the identity elements
id ∈ Homsalg (k[Hom(Mr;f,η , G)], k[Hom(Mr;f,η , G)]) = Hom(Mr;f,η , G)(k[Hom(Mr;f,η , G)]),
id ∈ Homalg (k[Vr;f,η (G)], k[Vr;f,η (G)]) = Vr;f,η (G)(k[Vr;f,η (G)]) = Hom(Mr;f,η , G)(k[Vr;f,η (G)]).
r

3.4. Gradings. In this section set B = k[x, y]/hxp − y 2 i. We consider B as a purely even augmented k-superalgebra, with augmentation ε : B → k defined by ε(x) = ε(y) = 1. The assignments
x 7→ x ⊗ x and y 7→ y ⊗ y uniquely extend to a k-algebra homomorphism ∆B : B → B ⊗ B,
and hence Spec(B) admits the structure of a (unital, associative) monoid k-scheme. The following
lemma is analogous to the classical result that rational representations of the multiplicative group
Gm correspond to Z-graded vector spaces.
Lemma 3.4.1. The category of rational representations of the monoid k-scheme Spec(B) is natur
rally equivalent to the category non-negatively Z[ p2 ]-graded k-vector spaces. More generally, let X
be an affine k-superscheme admitting a right monoid action of the purely even k-scheme Spec(B).
r
r
Then k[X] admits a non-negative Z[ p2 ]-grading, which induces a Z[ p2 ]-grading on the purely even
quotient k[Xev ] = k[X]/hk[X]1 i.

26

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Proof. Let f : X×Spec(B) → X be the morphism defining the right monoid action of Spec(B) on X.
Considering B as a purely even commutative superalgebra, the comorphism f ∗ is a k-superalgebra
homomorphism
f ∗ : k[X] → k[X × Spec(B)] = k[X] ⊗ B.
 i i
The set x , x y : i ∈ N is a k-basis for B, so for each a ∈ k[X] one can write
X
f ∗ (a) =
[φi (a) ⊗ xi + ψi (a) ⊗ xi y]
i≥0

for some elements φi (a), ψi (a) ∈ k[X] of the same parity as a. Then the fact that f defines a
right monoid action of Spec(B) on X implies that (1k[X] ⊗ ∆B ) ⊗ f ∗ = (f ∗ ⊗ 1B ) ◦ f ∗ . Using this
identity and the fact that f ∗ is an k-superalgebra homomorphism, it follows that the functions
r
φi : k[X] → k[X] and ψi : k[X] → k[X] define projection maps onto the Z[ p2 ]-graded components
r
r
of k[X] of degrees i and i + p2 , respectively. Now to see that the Z[ p2 ]-grading on k[X] induces
r
a Z[ p2 ]-grading on k[Xev ], one can use the fact that the functions φi , ψi : k[X] → k[X] are even
r
linear maps, and hence k[X]1 is a Z[ p2 ]-homogeneous subspace of k[X].

Now fix r, s ≥ 1, and let G be an algebraic k-supergroup scheme. Composition of homomorphisms
defines a natural morphism of affine k-superschemes
(3.4.1)

Hom(Mr;s , G) × Hom(Mr;s , Mr;s ) → Hom(Mr;s , G).

Consider the purely even subscheme of Hom(Mr;s , Mr;s ) consisting for each A ∈ csalgk of those
morphisms ρ(µ,a) ∈ Hom(Mr;s , Mr;s )(A) such that the comorphism ρ∗(µ,a) : A[Mr;s ] → A[Mr;s ]
r−1

for some µ, a ∈ A0 with
satisfies ρ∗(µ,a) (τ ) = τ · µ, ρ∗(µ,a) (θ) = θ · a, and ρ∗(µ,a) (σi ) = σi · aip
r
2
p
a = µ ; cf. Lemma 3.3.2. One has ρ(µ,a) ◦ ρ(µ′ ,a′ ) = ρ(µµ′ ,aa′ ) , so this purely even subscheme
identifies with Spec(B). Then the right action of Hom(Mr;s , Mr;s ) restricts to a right monoid
action of Spec(B) on Hom(Mr;s , G).
Lemma 3.4.2. Let r, s ≥ 1, and let G be an algebraic k-supergroup scheme. Then the coordinate
r
superalgebra k[Hom(Mr;s , G)] is a Z[ p2 ]-graded connected k-algebra. Moreover, if G → G′ is a
homomorphism of algebraic k-supergroup schemes, then the induced superalgebra map
k[Hom(Mr;s , G)] → k[Hom(Mr;s , G′ )]
respects gradings.
r

Proof. The coordinate algebra k[Hom(Mr;s , G)] is Z[ p2 ]-graded by Lemma 3.4.1, and the algebra
map k[Hom(Mr;s , G)] → k[Hom(Mr;s , G′ )] then respects gradings by the naturality of (3.4.1). So
it remains only to show that k[Hom(Mr;s , G)] is connected, i.e., that the degree-0 component of
k[Hom(Mr;s , G)] is just the field k.
Let m, n ∈ N. As a superscheme, Hom(Mr;s , GLm|n ) is by construction a closed subsuperscheme
of Matm|n (−)×r
× Matm|n (−)1 , so k[Hom(Mr;s , GLm|n )] is a quotient of the k-superalgebra
0
A := k[Matm|n (−)0 ]⊗r ⊗ k[Matm|n (−)1 ].
r

The k-superalgebra A admits a Z[ p2 ]-grading in which the coordinate functions in the ℓ-th tensor
factor of k[Matm|n (−)0 ]⊗r are of graded degree pℓ and the coordinate functions in k[Matm|n (−)1 ]
r
are of graded degree p2 . Identifying Hom(Mr;s , GLm|n ) as in Proposition 3.3.5, the right monoid
action of Spec(B) on Hom(Mr;s , GLm|n ) corresponds to the map
(α0 , α1 , . . . , αr−1 , β) × (µ, a) 7→ (α0 · a, α1 · ap , . . . , αr−1 · ap

r−1

, β · µ).

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

27

r

From this it follows that the Z[ p2 ]-grading on k[Hom(Mr;s , GLm|n )] is precisely the grading inr
duced by the aforementioned Z[ p2 ]-grading on A. In particular, k[Hom(Mr;s , GLm|n )] is connected.
Now choosing a closed embedding G ֒→ GLm|n , we get a surjective superalgebra homomorphism
k[Hom(Mr;s , GLm|n )] ։ k[Hom(Mr;s , G)] that respects gradings, and hence k[Hom(Mr;s , G)] is
connected as well.

r

Corollary 3.4.3. Let G be an algebraic k-supergroup scheme. Then k[Vr;s (G)] is a Z[ p2 ]-graded
connected k-algebra. If G → G′ is a homomorphism of algebraic k-supergroup schemes, then the
corresponding algebra map k[Vr;s (G)] → k[Vr;s (G′ )] respects gradings.
4. The Yoneda algebra Ext•P (I (r) , I (r) )
4.1. Recollections on the cohomology of strict polynomial superfunctors. Let P = P k
be the category of strict polynomial superfunctors over k as defined in [5, §2.1]. In [5], the first
author studied for each r ≥ 1 the structure of Ext•P (I (r) , I (r) ), the extension algebra in P of the
r-th Frobenius twist of the identity functor I. The functor I (r) admits a direct sum decomposition,
I (r) = I 0 (r) ⊕ I 1 (r) , which gives rise to the matrix ring decomposition


(r) (r)
(r) (r)
•
•
Ext
(I
,
I
)
Ext
(I
,
I
)
P 0
P 1
0
0 
(4.1.1)
Ext•P (I (r) , I (r) ) = 
.
(r)
(r)
(r)
(r)
Ext•P (I 0 , I 1 ) Ext•P (I 1 , I 1 )
(r)
(r)
Define e0 ∈ HomP (I 0 (r) , I 0 (r) ) and eΠ
0 ∈ HomP (I 1 , I 1 ) to be the respective identity elements.
(r) (r)
•
, I ),
Then e0 and eΠ
0 are commuting orthogonal idempotents that sum to the identity in ExtP (I
•
(r) (r)
Π
and ExtP (I , I ) is generated as a k-algebra by e0 and e0 together with certain distinguished
(even superdegree) extension classes


(r−i)
2pi−1 (r) (r) 
 cr ∈ Extpr (I (r) , I (r) ),
ei
∈ ExtP (I 0 , I 0 )
1
0
P
for 1 ≤ i ≤ r, and
(4.1.2)
r
i−1
(r)
(r)
(r) (r)
(r−i) Π
 cΠ ∈ Extp (I , I ),
(I 1 , I 1 )
(ei
) ∈ Ext2p
r
0
1
P
P

which are unique up to nonzero scalar multiples. To completely specify the classes, i.e., to fix the
scalar multiples, it suffices to fix er and cr for each r ≥ 1, since then the remaining classes are
defined in terms of Frobenius twists and the action of the parity change functor Π.
Recall from [5, §3.3] that post-composition with Π induces for each F, G ∈ P a canonical identification Ext•P (F, G) = Ext•P (Π ◦ F, Π ◦ G), while pre-composition induces an even isomorphism
Ext•P (F, G) ∼
= Ext•P (F ◦ Π, G ◦ Π). Combining these two actions we get the conjugation action
F 7→ F Π := Π ◦ F ◦ Π on objects in P, and its induced action on extension groups. Since I Π = I
and (I 0 (r) )Π = I 1 (r) , conjugation by Π defines an automorphism of Ext•P (I (r) , I (r) ) that exchanges
the diagonal (resp., the anti-diagonal) components of the matrix ring (4.1.1).
Fix positive integers m and n. Then as discussed in [4, Corollary 5.2.3], there exists a May
spectral sequence converging to the cohomology of the Frobenius kernel GLm|n(1) of GLm|n :
(4.1.3)

E0i,j = Λjs (gl(m|n)# ) ⊗ S i/2 (gl(m|n)0# [2])(1) ⇒ Hi+j (GLm|n(1) , k),
E1i,j = Hj (gl(m|n), k) ⊗ S i/2 (gl(m|n)#
[2])(1) ⇒ Hi+j (GLm|n(1) , k).
0

Here the superscript i/2 means that the term is zero unless i is even. In particular, E1i,j = 0 for
Π
all odd i, so E1i,j = E2i,j . The restrictions of er + eΠ
r and cr + cr to GLm|n(1) (cf. Definition 5.1.3)
naturally give rise to homomorphisms of graded superalgebras
(4.1.4a)

#
r−1 (r)
(er + eΠ
]) → H• (GLm|n(1) , k),
r ) : S(gl(m|n)0 [2p

and

28

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

(4.1.4b)

# r (r)
(cr + cΠ
→ H• (GLm|n(1) , k).
r )|G : S(gl(m|n)1 [p ])

In the proof of [5, Theorem 5.5.1] (as corrected in [6]), the first author verified the following:
• Up to a nonzero scalar factor, (4.1.4a) is equal to the composition of the pr−1 -power map
[2])(1)
S(gl(m|n)0# [2pr−1 ])(r) → S(gl(m|n)#
0
•,0
with the horizontal edge map E1•,0 ։ E∞
֒→ H• (GLm|n(1) , k) of (4.1.3).
• Up to a nonzero scalar factor, the composition of (4.1.4b) with the vertical edge map
0,•
H• (GLm|n(1) , k) ։ E∞
֒→ E10,• = H• (gl(m|n), k)

of (4.1.3) is equal to the homomorphism of graded superalgebras induced by the composition
[pr ])(r) → S(gl(m|n)#
) ֒→ Λs (gl(m|n)# ),
S(gl(m|n)#
1
1
where the first arrow is the pr -power map and the second arrow is the natural inclusion.
By the strict polynomial superfunctor analogue of [16, Lemma 3.14], the aforementioned scalar
factors are independent of the particular values of m and n.
Convention 4.1.1. From now on we will assume for each r ≥ 1 that the extension classes er
and cr are fixed so as to ensure that the aforementioned scalar factors are both equal to 1. This
convention may differ from the convention chosen in [5, §4.4].
The following proposition is a reformulation of [5, Corollary 4.6.5]:
Proposition 4.1.2. Given an integer 0 ≤ j < pr with p-adic decomposition j =
er (j) =

(r−1) j0 (r−2) j1
) (e2
)

(e1

· · · (er )jr−1
(r) (r)
∈ Ext2j
P (I 0 , I 0 ).
(j0 !)(j1 !) · · · (jr−1 !)

Pr−1

i=0 ji p

i,

set

Π
For j ≥ pr , write j = b + apr with 0 ≤ b < pr . Set er (j) = er (b) · [(er )p ]a and eΠ
r (j) = [er (j)] .
Then:

(1)
(2)
(3)
(4)

{er (j) : j ∈ N} is a (purely even) basis for Ext•P (I 0 (r) , I 0 (r) ).
•
(r)
(r)
{e
P (I 1 , I 0 ).
 rΠ(j) · cr : j ∈ N} is a (purely even) basis for Ext
•
(r)
(r)
er (j) : j ∈ N is a (purely even) basis for ExtP (I 1 , I 1 ).
 Π
•
(r)
(r)
er (j) · cΠ
r : j ∈ N is a (purely even) basis for ExtP (I 0 , I 1 ).

Remark 4.1.3. It follows from the naturality of the May spectral sequence that, with the adoption
of Convention 4.1.1, the restriction homomorphism Ext•P (I (r) , I (r) ) → Ext•P (I (r) , I (r) ) induced by
restriction from P to P (see the end of [5, §2.1]) maps er to the class er defined in [25, Convention
3.4], and hence maps er (j) for 0 ≤ j < pr to the class er (j) defined in [25, Theorem 3.1].
4.2. Hopf superalgebra structure of Ext•P (I (r) , I (r) ). Recall the category bi-P of strict polynomial bisuperfunctors defined in [5, §2.4]. Given F, G ∈ P, the external tensor product F ⊠ G ∈
bi-P is defined on objects by (F ⊠ G)(V, W ) = F (V )⊗ G(W ). As discussed in [5, §3.4], the external
tensor product operation gives rise for each A, B, C, D ∈ P to an even bilinear map
m+n
n
Extm
P (A, B) ⊗ ExtP (C, D) → Extbi-P (A ⊠ C, B ⊠ D).

Then the same argument as for [25, Proposition 3.6] shows the following:

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

29

Lemma 4.2.1. Let F, G ∈ P. Then the external tensor product operation induces an even isomorphism of graded superalgebras
(4.2.1)

∼

⊠∗ : Ext•P (F, F ) g⊗ Ext•P (G, G) → Ext•bi-P (F ⊠ G, F ⊠ G),

where Ext•P (F, F ), Ext•P (G, G), and Ext•bi-P (F ⊠ G, F ⊠ G) are graded superalgebras via their
respective Yoneda composition products.
Define ∇ : P → bi-P by ∇(F ) = F ◦ (I ⊠ I). Then on objects, ∇(F ) is defined by
∇(F )(V, W ) = F (V ⊗ W ).
Since ∇ is exact, we again get, as in [25, §3], an induced map on extension groups
∇∗ : Ext•P (F, G) → Ext•bi-P (∇(F ), ∇(G)).
Lemma 4.2.2. There exists a natural identification ∇(I (r) ) = I (r) ⊠ I (r) .
Proof. Given V, W ∈ V, there is an obvious natural identification of vector superspaces
(V ⊗ W )(r) = V (r) ⊗ W (r) ,
so it suffices to check that this identification is compatible with the actions of the bisuperfunctors ∇(I (r) ) and I (r) ⊠ I (r) on morphisms. The compatibility can be checked via duality from a
commutative diagram of the type considered in [5, (2.7.1)].

Remark 4.2.3. The identification ∇(I (r) ) = I (r) ⊠ I (r) restricts to identifications
(r)

(r)

(r)

(r)

(r)

(r)

(r)

(r)

(r)

(r)

∇(I 0 ) = (I 0 ⊠ I 0 ) ⊕ (I 1 ⊠ I 1 ),

and

∇(I 1 ) = (I 0 ⊠ I 1 ) ⊕ (I 1 ⊠ I 0 ).
Lemma 4.2.4. Define ε : Ext•P (I (r) , I (r) ) → k to be the composite of projection onto cohomological
degree zero and evaluation on the vector space k,
ε : Ext•P (I (r) , I (r) ) → HomP (I (r) , I (r) ) → Homk (k(r) , k(r) ) ∼
= k.
Set εΠ = ε ◦ (−)Π . Then ε and εΠ both make Ext•P (I (r) , I (r) ) into an augmented superalgebra.
Proof. It is straightforward to verify that ε is homomorphism of graded superalgebras, and hence
that ε makes Ext•P (I (r) , I (r) ) into an augmented superalgebra. The claim for εΠ then follows

immediately, since conjugation by Π defines an even automorphism of Ext•P (I (r) , I (r) ).
Remark 4.2.5. Recall that e0 and eΠ
0 are commuting orthogonal idempotents that sum to the
(r) (r)
•
Π
identity in ExtP (I , I ). The augmentation map ε satisfies ε(e0 ) = 1 and ε(eΠ
0 ) = 0, while ε
Π
Π
Π
satisfies ε (e0 ) = 0 and ε (e0 ) = 1.
Proposition 4.2.6. Making the identification ∇(I (r) ) = I (r) ⊠ I (r) , the map ∆ defined by
∆ := (⊠∗ )−1 ◦ ∇∗ : Ext•P (I (r) , I (r) ) → Ext•bi-P (I (r) ⊠ I (r) , I (r) ⊠ I (r) )
∼

→ Ext•P (I (r) , I (r) ) g⊗ Ext•P (I (r) , I (r) )
is a homomorphism of graded superalgebras that, together with the augmentation map ε defined in
Lemma 4.2.4, provides Ext•P (I (r) , I (r) ) with the structure of a graded super-bialgebra. The coproduct
∆ is compatible with the conjugation action of Π in the sense that
(4.2.2)

[(−)Π ⊗ 1] ◦ ∆ = ∆ ◦ (−)Π = [1 ⊗ (−)Π ] ◦ ∆.

30

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

In particular,
∆ = [(−)Π ⊗ (−)Π ] ◦ ∆.

(4.2.3)

Finally, the (super)algebra homomorphism Ext•P (I (r) , I (r) ) → Ext•P (I (r) , I (r) ) defined by restriction
from P to P is a homomorphism of graded (super)bialgebras.
Proof. The proof that ∆ and ε make Ext•P (I (r) , I (r) ) into a graded super-bialgebra proceeds in
precisely the same fashion as the proof of the corresponding fact in [25, Proposition 3.7]. Next we
verify the equalities in (4.2.2). Recall that the parity change functor Π acts on objects in V by
reversing the Z2 -grading, and acts on morphisms by Π(φ) = φ, i.e., Π(φ) is equal to φ as a map
between the underlying vector spaces. Then one has canonical identifications in bi-P
Π ⊠ I = Π ◦ (I ⊠ I) = I ⊠ Π.
Using these identifications, one gets natural identifications
Ext•bi-P (Π ◦ ∇(I (r) ◦ Π), Π ◦ ∇(I (r) ◦ Π)) = Ext•bi-P (∇(I (r) ◦ Π), ∇(I (r) ◦ Π))
= Ext•bi-P (I (r) ◦ (Π ⊠ I), I (r) ◦ (Π ⊠ I))
= Ext•bi-P ((I (r) ◦ Π) ⊠ I (r) , (I (r) ◦ Π) ⊠ I (r) ).
One also has canonical identifications
Ext•P (I (r) ◦ Π, I (r) ◦ Π) = Ext•P (Π ◦ I (r) ◦ Π, Π ◦ I (r) ◦ Π) = Ext•P ((I (r) )Π , (I (r) )Π ).
Combining these identifications, the first equality in (4.2.2) follows, and the reasoning for the second
equality in (4.2.2) is entirely analogous. Now applying both equalities in (4.2.2), one gets
∆ = ∆ ◦ (−)Π ◦ (−)Π = [(−)Π ⊗ 1] ◦ ∆ ◦ (−)Π = [(−)Π ⊗ 1] ◦ [1 ⊗ (−)Π ] ◦ ∆,
establishing (4.2.3). Finally, restriction from P to P sends the operations ⊠, ∇, and ε to the
operations used in [25, 3.7] to define the coproduct and augmentation map on Ext•P (I (r) , I (r) ).
This implies the last assertion of the proposition.

Proposition 4.2.7. The coproduct ∆ on Ext•P (I (r) , I (r) ) satisfies the following:


P
Π
∆(er (ℓ)) = i+j=ℓ er (i) ⊗ er (j) + eΠ
if 0 ≤ ℓ < pr ,
r (i) ⊗ er (j) ,

 Π
P
Π
if 0 ≤ ℓ < pr ,
∆(eΠ
r (ℓ)) =
i+j=ℓ er (i) ⊗ er (j) + er (i) ⊗ er (j) ,
Π
Π
Π
∆(cr ) = cr ⊗ e0 + e0 ⊗ cr + cΠ
r ⊗ e0 + e0 ⊗ cr ,

∆(cΠ
r)

=

cΠ
r

⊗ e0 +

e0 ⊗ cΠ
r

+ cr ⊗

eΠ
0

+ eΠ
0

and

⊗ cr .

Proof. It suffices by (4.2.2) to verify the stated formulas for ∆(er (ℓ)) and ∆(cr ). First, it follows
from Remark 4.2.3 and the definition of the coproduct that ∆(er (ℓ)) is an element of
(r)

(r)

(r)

(r)

(r)

(r)

(r)

(r)

Ext•P (I 0 , I 0 )⊗2 ⊕ Ext•P (I 1 , I 1 )⊗2 ⊕ Ext•P (I 0 , I 1 )⊗2 ⊕ Ext•P (I 1 , I 0 )⊗2 .
Since the coproduct preserves the total cohomological degree, and since the third and fourth direct
summands of the previous expression are both nonzero only in total cohomological degrees at
(r) (r)
(r) (r)
least 2pr , it follows for 0 ≤ ℓ < pr that ∆(er (ℓ)) ∈ Ext•P (I 0 , I 0 )⊗2 ⊕ Ext•P (I 1 , I 1 )⊗2 . Next
consider the restriction map Ext•P (I (r) , I (r) ) → Ext•P (I (r) , I (r) ), which is a homomorphism of graded
superbialgebras by Proposition 4.2.6. As observed in the proof of [5, Theorem 4.7.1], the restriction
j
map induces isomorphisms ExtjP (I 0 (r) , I 0 (r) ) ∼
= ExtP (I (r) , I (r) ) for 0 ≤ j < 2pr . Then the formula

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

31

for ∆(er (ℓ)) follows from Remark 4.1.3, the formula stated in [25, Theorem 4.6] for the coproduct
in Ext•P (I (r) , I (r) ), and the identity (4.2.3).
By reasoning parallel to that for ∆(er (ℓ)), ∆(cr ) must be an element of the direct sum

 

(r) (r)
(r) (r)
(r) (r)
(r) (r)
Ext•P (I 1 , I 0 ) ⊗ Ext•P (I 0 , I 0 ) ⊕ Ext•P (I 0 , I 0 ) ⊗ Ext•P (I 1 , I 0 )

 

(r) (r)
(r) (r)
(r) (r)
(r) (r)
⊕ Ext•P (I 0 , I 1 ) ⊗ Ext•P (I 1 , I 1 ) ⊕ Ext•P (I 1 , I 1 ) ⊗ Ext•P (I 0 , I 1 ) .

Since ∆ preserves the total cohomological degree, ∆(cr ) must then be a linear combination of
Π
Π
Π
the monomials cr ⊗ e0 , e0 ⊗ cr , cΠ
r ⊗ e0 , and e0 ⊗ cr . Using (4.2.3) and the bialgebra axiom
(ε ⊗ 1) ◦ ∆ = 1 = (1 ⊗ ε) ◦ ∆, it follows that each monomial occurs with coefficient 1.

5. Characteristic classes arising from multiparameter supergroups
5.1. Definition of characteristic classes. The following lemma strengthens Remark A.1.8.
Lemma 5.1.1. Let A be a commutative k-superalgebra, and let d, m, n ∈ N. Evaluation on Am|n
defines an exact functor from P d,A to the category of rational GLm|n ⊗k A-supermodules.

Proof. Set V = Am|n . Evaluation on V defines an exact functor from P d,A to the category of
A-supermodules by the definition of exactness in P d,A , so it suffices to show that the image of the
evaluation functor is contained in the subcategory of rational GLm|n ⊗k A-supermodules.
Let T ∈ P d,A . Then T defines an even A-linear map
TV,V : HomΓd (V A ) (V, V ) = Γd HomA (V, V ) → HomA (T (V ), T (V ))
that is compatible with the composition of homomorphisms. For X, Y ∈ V A , one has a natural
even A-linear identification HomA (X, Y ) ∼
= Y ⊗A HomA (X, A) = Y ⊗A X # . Then
HomA (Γd HomA (V, V ), HomA (T (V ), T (V )) ∼
= (T (V ) ⊗A T (V )# ) ⊗A [Γd HomA (V, V )]#
∼
= (T (V ) ⊗A [Γd HomA (V, V )]# ) ⊗A T (V )#
∼
= HomA (T (V ), T (V ) ⊗A [Γd HomA (V, V )]# ).
Let TV denote the image of TV,V under this sequence of identifications. Then for each v ∈ T (V ),
P
we can write (in Sweedler’s notation) TV (v) = (v) v(0) ⊗A v(1) for some v(0) ∈ T (V ) and v(1) ∈
P
[Γd HomA (V, V )]# such that TV,V (γ)(v) = (−1)v·γ (v) v(0) · v(1) (γ) for each γ ∈ Γd HomA (V, V ).
Similarly, the composition map [Γd HomA (V, V )]⊗2 → Γd HomA (V, V ), γ ⊗ γ ′ → γ ◦ γ ′ , corresponds
by duality to an even A-linear map ∆ : [Γd HomA (V, V )]# → ([Γd HomA (V, V )]⊗2 )# such that
∆(f )(γ ⊗ γ ′ ) = f (γ ◦ γ ′ ). By (A.1.3) we identify the image of ∆ with ([Γd HomA (V, V )]# )⊗2 , and
P
write ∆(f ) = (f ) f(1) ⊗A f(2) for some f(1) , f(2) ∈ [Γd HomA (V, V )]# such that
P
f (γ ◦ γ ′ ) = ∆(f )(γ ⊗ γ ′ ) = (f ) (−1)γ·f(2) f(1) (γ) · f(2) (γ ′ ).
Now for γ, γ ′ ∈ Γd HomA (V, V ) = HomΓd (V A ) (V, V ), we get

TV,V (γ ◦ γ ′ )(v) = TV,V (γ) ◦ TV,V (γ ′ )(v)


′ P
′
= TV,V (γ) (−1)v·γ
(v) v(0) · v(1) (γ )
i
hP
′
v·γ ′ T
=
V,V (γ)(v(0) ) · v(1) (γ )
(v) (−1)
i
hP P
v·γ ′ +v(0) ·γ
(v
)
·
(v
)
(γ)
· v(1) (γ ′ ).
=
(−1)
(0)
(0)
(0)
(1)
(v)
(v(0) )

32

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Using the coproduct ∆, we also get
P
′
TV,V (γ ◦ γ ′ )(v) = (v) (−1)v·(γ+γ ) v(0) · v(1) (γ ◦ γ ′ )


P P
′
= (v) (v(1) ) (−1)v·(γ+γ )+γ·(v(1) )(2) v(0) · (v(1) )(1) (γ) · (v(1) )(2) (γ ′ ) .

Note that T (V ) ⊗A ([Γd HomA (V, V )]# )⊗2 identifies with HomA ([Γd HomA (V, V )]⊗2 , T (V )) via

v ⊗A (φ ⊗A ψ) : γ ⊗A γ ′ 7→ (−1)ψ·γ v · φ(γ) · ψ(γ ′ ) .
Viewed in this way as functions, we see from the two expressions for TV,V (γ ◦ γ ′ )(v) that
XX
XX



(v(0) )(0) ⊗ (v(0) )(1) ⊗ v(1) =
v(0) ⊗ (v(1) )(1) ⊗ (v(1) )(2) ,
(v) (v(0) )

(v) (v(1) )

and thus conclude that TV and ∆ make T (V ) into a right [Γd HomA (V, V )]# -supercomodule. Now
to finish the proof, observe that the duality isomorphism Γ# ∼
= S restricts to an isomorphism
[Γd HomA (V, V )]# ∼
= S d (HomA (V, V )# ). The symmetric superalgebra S(HomA (V, V )# ) identifies,
via the choice of a homogeneous basis for V , with the coordinate superalgebra A[Matm|n (−)0 ] of the
A-superfunctor Matm|n (−)0 . Moreover, under these identifications the coproduct ∆ corresponds to
the usual coproduct on A[Matm|n (−)0 ] that is induced by matrix multiplication in Matm|n . Finally,
since A[GLm|n ] is by definition a localization of A[Matm|n (−)0 ], S d (HomA (V, V )# ) identifies with a
subspace of A[GLm|n ]. Then TV defines an even A-linear map TV : T (V ) → T (V ) ⊗ A[GLm|n ]. 
Lemma 5.1.2. Let d, m, n ∈ N, and let S, T ∈ P d,k . Set V = Am|n , and denote GLm|n ⊗k A by
GL(V ). Let ρ : G → GL(V ) be a homomorphism of A-supergroup schemes. Then base-change to
A, evaluation on V , and restriction to G define an even A-linear map
−⊗ A

k
res(G,V ) : Ext•P (S, T ) −→
Ext•P A (SA , TA )

−→ Ext•GL(V ) (SA (V ), TA (V )) −→ Ext•G (SA (V ), TA (V )),
which we denote z 7→ z(G, V ). If S = T , then res(G,V ) is homomorphism of graded superalgebras.
Proof. This is an immediate consequence of Corollary A.2.8 and Lemma 5.1.1.



Definition 5.1.3 (Characteristic classes). Let er (j) and eΠ
r (j) be as defined in Proposition 4.1.2.
Let A ∈ csalgk . Now for V = Am|n and ρ : G → GL(V ) as in Lemma 5.1.2, define
m|0 (r)
er (j)(G, V ) ∈ Ext2j
) , (Am|0 )(r) ),
G ((A
2j
0|n (r)
eΠ
) , (A0|n )(r) ),
r (j)(G, V ) ∈ ExtG ((A

r

cr (G, V ) ∈ ExtpG ((A0|n )(r) , (Am|0 )(r) ),
r

p
m|0 (r)
) , (A0|n )(r) ),
cΠ
r (G, V ) ∈ ExtG ((A

Π
to be the images of er (j), cr , eΠ
r (j), and cr , respectively, under the restriction homomorphism
res(G,V ) of Lemma 5.1.2 (cf. Remark A.3.2 for the calculation of (I 0 (r) )A (V ) and (I 1 (r) )A (V )).

We now get the following direct analogue of [25, Proposition 3.2]:
Proposition 5.1.4. Let V, W ∈ V A be free A-supermodules equipped with rational representations
of an A-supergroup scheme G as in Lemma 5.1.2. Let z ∈ Ext•P (I (r) , I (r) ). Then:
(1) If φ : V → W is an even homomorphism of rational G-supermodules, then
φ(r) · z(G, V ) = z(G, W ) · φ(r) ∈ Ext•G (V (r) , W (r) ).

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

33

(2) Under the matrix ring decomposition
Ext•G ((V ⊕ W )(r) , (V ⊕ W )(r) ) =



Ext•G (V (r) , V (r) )




Ext•G (W (r) , V (r) )


Ext•G (V (r) , W (r) ) Ext•G (W (r) , W (r) )

arising from the identification (V ⊕ W )(r) = V (r) ⊕ W (r) , z(G, V ⊕ W ) = z(G, V )⊕ z(G, W ).
(3) If G is affine and if A′ is a commutative A-superalgebra, then z(G ⊗A A′ , VA′ ) is equal to
the image of z(G, V ) under the base change homomorphism of Corollary A.2.8.
Proof. We may assume that z is homogeneous of cohomological degree n. Since Ext•P (I (r) , I (r) ) is
a purely even algebra by the calculations of [5], z is automatically of even superdegree. Then as
in [5, §3.5], z may be interpreted as the equivalence class of an exact sequence in (P pr )ev :
0 → I (r) → T1 → · · · → Tn → I (r) → 0.
r

r

Given an even map φ : V → W , one then has φ⊗p ∈ Γp HomA (V, W ). Now interpreting (Ti )A (φ)
r

to be (Ti )A (φ⊗p ), the proof becomes a direct repetition of the proof of [25, Proposition 3.2].
Remark 5.1.5. Let m, n ∈ N, set V = Am|n , and let ρ : G → GL(V ) be a homomorphism of
A-supergroup schemes as in Lemma 5.1.2. Suppose that G is infinitesimal of height ≤ r, i.e.,
suppose the augmentation ideal IG of A[G] is nilpotent of degree ≤ pr . Then the comorphism
r
ρ∗ : A[GL(V )] → A[G] factors through the quotient A[GL(V )]/hf p : f ∈ IGL(V ) i, and hence the
image of ρ is contained in GL(V )(r) , the r-th Frobenius kernel of GL(V ). Next, since V is free over
A, so is HomA (V, V ), and hence the structure morphism
(r)

r

I V,V = (ϕr )# (HomA (V, V )) : Γp HomA (V, V ) → HomA (V (r) , V (r) )
admits an explicit description on generators as in [5, (2.7.2)]. In particular, fixing a homogeneous
r
basis for HomA (V, V ), and then fixing the corresponding basis for Γp HomA (V, V ) as in [5, (2.3.4)],
(r)
it follows that I V,V vanishes on all basis monomials except those of the form γpr (x) for x an even
basis element of HomA (V, V ). Using this observation, one can check that the evaluation functor of
Lemma 5.1.1 maps the Frobenius twist superfunctor I (r) ∈ P pr ,A to a rational GL(V )-supermodule
V (r) that restricts trivially to GL(V )(r) , and hence also restricts trivially along ρ to G.
Remark 5.1.6. Retain the assumptions and notations of the previous remark. Then as in [25,
Remark 3.3], we have algebra identifications
Ext•G (V (r) , V (r) ) = HomA (V (r) , V (r) ) ⊗A H• (G, A)
(5.1.1)

= HomA (V, V )(r) ⊗A H• (G, A)
= Matm|n (A)(r) ⊗A H• (G, A)

Moreover, Matm|n (A)(r) further identifies as an algebra with Matm|n (A): If A ∈ csalgk is purely
even, then the identification Matm|n (A)(r) = Matm|n (A) is defined for α ∈ Matm|n (A) by sending
α(r) = α ⊗ϕr 1 ∈ Matm|n (A) ⊗ϕr A to the matrix in Matm|n (A) obtained by raising the individual
matrix entries of α to the pr -th power; if A is not purely even, then the identification is induced by
a similar map, though with various ± signs involved based on the convention for the right action
of A on Matm|n (A); cf. Section 2.3. Similarly, there exists an identification
Matm|n (A) ⊗A H• (G, A) = Matm|n (H• (G, A))

34

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

involving various ± signs; cf. (2.3.2). Under the composite identification
Ext•G (V (r) , V (r) ) = Matm|n (H• (G, A)),
the Yoneda product in Ext•G (V (r) , V (r) ) corresponds to the matrix product in Matm|n (H• (G, A)).
Proposition 5.1.7. Let V, V ′ ∈ V A be free A-supermodules equipped with rational representations
ρ : G → GL(V ) and ρ′ : G′ → GL(V ′ ) of A-supergroup schemes G and G′ as in Lemma 5.1.2. Let
P
z ∈ ExtnP (I (r) , I (r) ), and let ∆(z) = (z) z(1) ⊗ z(2) be the coproduct of z as in Proposition 4.2.6.
Then the Künneth isomorphism gives rise to an identification
X
z(G × G′ , V ⊗A V ′ ) =
z(1) (G, V ) ⊗ z(2) (G′ , V ′ )
(z)

∈

M

Hi (G, EndA (V )(r) ) ⊗A Hj (G′ , EndA (V ′ )(r) )

i+j=n

= Hn (G × G′ , EndA (V ⊗A V ′ )(r) ).
Proof. The proof is a word-for-word repetition of the argument proving [25, Proposition 3.8].



5.2. Reduction lemmas for characteristic classes. For the rest of this section, fix an integer
P
i
r ≥ 1, an inseparable p-polynomial 0 6= f ∈ k[T ], and a scalar η ∈ k. Assume that f = ti=s ai T p
with 1 ≤ s ≤ t, as 6= 0, and at = 1.
Notation 5.2.1. Given A ∈ csalgk and (α|β) ∈ V r;f,η (GLm|n )(A), let V(α|β) denote the free Asupermodule Am|n , considered as a rational Mr;f,η ⊗k A-supermodule via the correspondence of
Proposition 3.3.5.
Set Gr;f = Ga(r) × · · · × Ga(2) × M1;f . If (α|β) ∈ V r;f (GLm|n )(A), then (α|β) also determines
a group homomorphism ρb(α|β) : Gr;f ⊗k A → GLm|n ⊗k A, or equivalently, an AGr;f -supermodule
structure on Am|n . The action of AGr;f on Am|n is described as follows: First, we make the
identification of algebras
AGr;f = (kGa(r) ⊗ kGa(r−1) ⊗ · · · ⊗ kGa(2) ⊗ kM1;f ) ⊗k A.
By Proposition 3.1.4(4), kGa(ℓ) is generated by the commuting elements u0 , . . . , uℓ−1 subject to the
relations up0 = · · · = upℓ−1 = 0. Then for 2 ≤ ℓ ≤ r, the tensor factor kGa(ℓ) acts on Am|n with
u0 ∈ kGa(ℓ) acting via the matrix αr−ℓ and with the remaining generators acting as zero. Finally,
the tensor factor kM1;f is generated by u and v subject to up + v 2 = 0 and f (u) = 0. Then u acts
via the matrix αr−1 , and v acts via the matrix β.
Notation 5.2.2. Given A ∈ csalgk and (α|β) ∈ V r;f (GLm|n )(A), let W(α|β) denote the free Asupermodule Am|n , considered as a rational Gr;f ⊗k A-supermodule as in the preceding paragraph.
Now given z ∈ Ext•P (I (r) , I (r) ) and W(α|β) as above, the characteristic class z(Gr;f ⊗k A, W(α|β) )
identifies with an element of
Matm|n (A)(r) ⊗A H• (Gr;f ⊗k A, A) = Matm|n (A)(r) ⊗A (H• (Gr;f , k) ⊗k A)
= Matm|n (A)(r) ⊗k H• (Gr;f , k).
As discussed in the first paragraph of Section 6.1, the subspace
H(Gr;f , k) := Hev (Gr;f , k)0 ⊕ Hodd (Gr;f , k)1
of H• (Gr;f , k) is a commutative k-algebra in the ordinary sense.

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

35

The next lemma is a direct analogue of [25, Lemma 4.3].
Lemma 5.2.3. Let P ∈ k[X0 , . . . , Xr−1 ] ⊗ H(Gr;f , k) and Q ∈ k[Y ] ⊗ H(Gr;f , k) be polynomials
with coefficients in the ring H(Gr;f , k). Given a purely even commutative algebra A ∈ calgk , and
given (α|β) = (α0 , . . . , αr−1 , β) ∈ V r;f (GLm|n )(A), let αi = ( α̇0i

0
α̈i )

and β = ( 0 β̇ ) be the block
β̈ 0

decompositions of αi and β as in (2.3.1). By abuse of notation, we identify α̇i and α̈i with ( α̇0i 00 )
and ( 00 α̈0i ), and similarly for β̇ and β̈. Now given 0 ≤ j < pr , suppose that the formulas
(r)

(r)

cr (Gr;f ⊗k A, W(α|β) ) = Q(β̇ (r) ),

(r)

(r)

(r)
cΠ
r (Gr;f ⊗k A, W(α|β) ) = Q(β̈ ),

er (j)(Gr;f ⊗k A, W(α|β) ) = P (α̇0 , . . . , α̇r−1 ),
eΠ
r (j)(Gr;f ⊗k A, W(α|β) ) = P (α̈0 , . . . , α̈r−1 ),

in Matm|n (A) ⊗ H• (Gr;f , k) hold in the following special cases:
(1) A = k, W(α|β) = kMr;f , and the left kMr;f -supermodule structure on W(α|β) defined by
(α|β) is the left action of kMr;f on itself (i.e., αi represents left multiplication by ui , and
β represents left multiplication by v).
(2) A = k, W(α|β) = Π(kMr;f ), and the left kMr;f -supermodule structure on W(α|β) defined by
(α|β) is the structure induced as in Remark A.1.5 by the left action of kMr;f on itself.
Then the formulas hold for any A ∈ calgk and any (α|β) ∈ V r;f (GLm|n )(A).
Proof. The argument is a direct generalization of the proof of [25, Lemma 4.3]. First, by hypothesis,
the formulas hold if A = k and if W(α|β) is one of the free rank-one kMr;f -supermodules kMr;f or
Π(kMr;f ). Then it follows from Proposition 5.1.4(3) that the formulas hold if A ∈ calgk is arbitrary
and W(α|β) is one of the free rank-one AMr;f -supermodules AMr;f or Π(AMr;f ). Next, Proposition
5.1.4(2) implies that the formulas hold whenever W(α|β) is a finite direct sum of copies of AMr;f
or Π(AMr;f ). Finally, any finitely-generated AMr;f -supermodule can be written as a quotient via
an even homomorphism of a direct sum of copies of AMr;f and Π(AMr;f ). If (α′ |β ′ ) is some other
tuple defining a representation of Gr;f ⊗k A, and if φ : V → W is a surjective even A-supermodule
homomorphism between the underlying spaces for (α|β) and (α′ |β ′ ) such that φ ◦ β = β ′ ◦ φ and
φ ◦ αi = α′i ◦ φ for each i, then because φ is even and A is purely even, one gets
φ ◦ β̇ = β̇ ′ ◦ φ,

φ ◦ α̇i = α̇′i ◦ φ,

φ ◦ β̈ = β̈ ′ ◦ φ,

φ ◦ α̈i = α̈′i ◦ φ.

Then one can finish the proof by arguing exactly as in [25, 4.3.2], replacing [25, Proposition 3.2(a)]
with Proposition 5.1.4(1).

The case r = 1 of Lemma 5.2.3 concerns characteristic classes for M1;f .
Lemma 5.2.4. The assertion of Lemma 5.2.3 also holds, via exactly the same line of reasoning,
if Gr;f is replaced by M1;f,η and W(α|β) is replaced by V(α|β) with (α|β) ∈ V 1;f,η (GLm|n )(A).
Proposition 5.2.5. Let (α|β) ∈ V 1;f (GLm|n )(k), and let α = ( α̇0 α̈0 ) be the block decomposition of α
P
−1 pr−1 X pℓ ∈ k[X], where by convention P (X) = 0
as in Lemma 5.2.3. Set Pf (X) = t−1
f
ℓ=1 (aℓ+1 as )
if t = 1, and aj = 0 for 1 ≤ j < s. Set w1 = x1 − y 2 as in Remark 3.2.2. Then under the
identification (5.1.1), and identifying H• (M1;f , k) with H• (M1;s , k) as in Proposition 3.2.1(4),
(5.2.1a)
(5.2.1b)
(5.2.1c)

r−1

+ Pf (α̇(r) ) ⊗ wsp

r−1

pr−1

+ Pf (α̈(r) ) ⊗ wsp

r−1

er (M1;f , V(α|β) ) = α̇(r) ⊗ x1p
(r)
eΠ
⊗ x1
r (M1;f , V(α|β) ) = α̈

,
,

and

r−1
er (j)(M1;f , V(α|β) ) = eΠ
.
r (j)(M1;f , V(α|β) ) = 0 for 0 < j < p

36

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Proof. Let g be the restricted Lie superalgebra generated by an even element u and an odd element
P
ℓ
v subject only to the relations u[p] + 12 [v, v] = 0 and tℓ=s aℓ u[p ] = 0. Then V (g) = kM1;f and
H• (V (g), k) = H• (M1;f , k). Now as in (4.1.3), there exists a May spectral sequence
E0i,j = Λjs (g# ) ⊗ S i/2 (g0# [2])(1) ⇒ Hi+j (M1;f , k),

(5.2.2)

[2])(1) ⇒ Hi+j (M1;f , k).
E1i,j = E2i,j = Hj (g, k) ⊗ S i/2 (g#
0

#(1)
0,1
2,0
In particular, E20,1 = H1 (g, k) ∼
identifies
= (g/[g, g])# , and the differential d2 : E2 → E2 ∼
= g0
(1)
[p]
with the transpose of the linear map g0 → g/[g, g] induced by the p-mapping x 7→ x on g0 .
This identification of the map d2 : E20,1 → E22,0 can be checked, for example, by using the explicit
construction of the May spectral sequence described in [4, §§3.4–3.5].
The naturality of the May spectral sequence implies the commutativity of the diagram below, in
which the first pair of horizontal arrows are the pr−1 -power maps, and the second pair of horizontal
arrows are the horizontal edge maps of the corresponding May spectral sequences:
#(r)

gl(m|n)0

// S pr−1 (gl(m|n)# )(1)
0

#(r)

(5.2.3)

Sp

ρ(α|β)


#(r)

g0

r−1

// H2pr−1 (GLm|n(1) , k)
ρ∗(α|β)

(ρ#
)(1)
(α|β)





// S pr−1 (g# )(1)
0

// H2pr−1 (M1;f , k),
#(r)

#(r)

#(r)

By Convention 4.1.1, the restriction of the top row to the subspaces glm and gln of gl(m|n)0
are the maps corresponding to er (GLm|n(1) , V(α|β) ) and eΠ
r (GLm|n(1) , V(α|β) ), respectively. Thus, to
describe the characteristic classes er (M1;f , V(α|β) ) and eΠ
r (M1;f , V(α|β) ), it suffices to describe the
images of these subspaces through the bottom row of the diagram.
Let {Xij } and {Yij } be the bases of coordinate functions that are dual to the standard matrix
i
unit bases of gl(m|n)0 and gl(m|n)1 , respectively. For 0 ≤ i ≤ t, set ui = u[p ] . Then the set
{v, u0 , . . . , ut−1 } is a homogeneous basis for g; let {v ∗ , u∗0 , . . . , u∗t−1 } be the dual basis. At the level
i
of Lie superalgebras, ρ(α|β) maps ui and v to the matrices αp and β, respectively. Then
(r)
 

t−1
(r)
#(r)
,
ρ(α|β) Xij = αij · u∗0 + (αp )ij · u∗1 + · · · + (αp )ij · u∗t−1
(r)

ℓ

ℓ

where (αp )ij denotes the ij-entry of the matrix αp . Then the image of Xij in S p
∗(1) pr−1

r

[αij ]p · (u0

)

r

∗(1) pr−1

+ [(αp )ij ]p · (u1

)

+ · · · + [(αp

t−1

r

∗(1)

)ij ]p · (ut−1 )p

r−1

r−1

(g#
)(1) is
0

.

Next, since [g, g] is spanned by u1 , the space E20,1 ∼
= (g/[g, g])# is spanned by v ∗ , u∗0 , and (if
t ≥ 3) u∗2 , . . . , u∗t−1 . Then by the description of the differential d2 : E20,1 → E22,0 given above, and
P
∗
∗
since ut = − t−1
ℓ=s aℓ uℓ by the assumption that at = 1, one has d2 (v ) = d2 (u0 ) = 0, and
∗(1)

∗(1)

d2 (u∗ℓ ) = uℓ−1 − aℓ · ut−1

∗(1)

∗(1)

for 2 ≤ ℓ ≤ t − 1.

So uℓ ≡ aℓ+1 · ut−1 mod im(d2 ) for 1 ≤ ℓ ≤ t − 2. Since at = 1, the previous congruence also
holds for ℓ = t − 1. Now recall that the horizontal edge map E2•,0 → H• (M1;f , k) factors through the
quotient E2•,0 / im(d2 ). Then by the multiplicativity of the May spectral sequence, it follows that
(r)
the image of Xij through the bottom row of (5.2.3) is the equal to the image under the horizontal
edge map E2•,0 → H• (M1;f , k) of

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

r

∗(1) pr−1

[αij ]p · (u0

)

+

t−1 

X
r−1
r
ℓ
∗(1) r−1
· (ut−1 )p
[(αp )ij ]p (aℓ+1 )p

37

ℓ=1

∗(1) pr−1

= [α(r) ]ij · (u0

)

∗(1)

+ Pf (α(r) )ij · (as · ut−1 )p

r−1

,

where [α(r) ]ij and Pf (α(r) )ij denote, respectively, the ij-entries of the matrices α(r) ∈ Matm|n (k)(r)
and Pf (α(r) ) ∈ Matm|n (k)(r) . It follows from the construction of the May spectral sequence given in
the proof of [4, Proposition 3.4.2], and from the explicit descriptions of the generators in Proposition
∗(1)
3.2.1, that the horizontal edge map E2•,0 → H• (M1;f , k) sends u0 to x1 ∈ H2 (M1;f , k). Then to
finish the proof of (5.2.1a) and (5.2.1b), it suffices to show for t ≥ 2 that the horizontal edge map
∗(1)
sends as · ut−1 ∈ E22,0 to ws ∈ H2 (M1;f , k).
The cohomology class ws is represented by the cochain
P
Pps −1
σj ⊗ σps −j + u+v+p=ps σu τ ⊗ σv τ ) ∈ k[M1;f ]⊗2 .
z := −( j=1

Suppose for the moment that s ≥ 2. Then


p−1
X

σjps−1 ⊗ σ(p−j)ps−1  mod F p+1 k[M1;f ]⊗2 ,
z ≡ −
j=1

where F • denotes the filtration of k[M1;f ]⊗2 discussed prior to Lemma 3.2.3. Next observe that, in
the notation of [4, (3.4.8)],
p−1
p−1
X
X
(p − 1)!
p−j
j
β(σps−1 ) :=
σjps−1 ⊗ σ(p−j)ps−1 .
=−
(σ s−1 ) ⊗ (σps−1 )
j!(p − j)! p
j=1

j=1

Since the image of σps−1 in Iε /(Iε )2 ∼
= Lie(M1;f )# is the dual basis vector u∗s−1 , this implies by the
construction of the May spectral sequence in [4, Proposition 3.4.2] (and the reindexing in [4, §3.6])
∗(1)
∗(1)
that the cochain z represents us−1 ∈ E12,0 , and hence the horizontal edge map sends us−1 to ws .
∗(1)

Then applying the congruence uℓ

∗(1)

≡ aℓ+1 · ut−1 mod im(d2 ) in the case ℓ = s − 1, it follows that

∗(1)

the horizontal edge map sends as · ut−1 to ws .
Now suppose that t ≥ 2 and s = 1. Let ∂ denote the differential on the Hochschild complex
C • (M1;f , k). Then by Lemma 3.2.3,




p−1
p−1
X
X

σjpt−1 ⊗ σ(p−j)pt−1  mod F p+1 k[M1;f ]⊗2 .
σj ⊗ σp−j + τ ⊗ τ  − a1 · 
−∂(σp ) ≡ 
j=1

j=1


Then in the notation of the previous paragraph, −∂(σp ) ≡ −z+ a1 · β(σpt−1 ) mod F p+1 k[M1;f ]⊗2 ,
or equivalently, a1 · β(σpt−1 ) ≡ z + ∂(σp ) mod F p+1 k[M1;f ]⊗2 . This implies by the construction of
the May spectral sequence that the horizontal edge map sends the cohomology class of a1 · β(σpt−1 )
∗(1)

to the cohomology class of z, i.e., sends a1 · ut−1 to x1 − y 2 .
Finally, for 0 < j < pr−1 , the triviality of er (j)(GLm|n(1) , V(α|β) ) and eΠ
r (j)(GLm|n(1) , V(α|β) ),
(j)(M
,
V
),
can
be
established by a direct
and hence the triviality of er (j)(M1;f , V(α|β) ) and eΠ
1;f
(α|β)
r
adaptation of the argument proving [25, Lemma 4.2(b)].


Proposition 5.2.6. Suppose 0 6= η ∈ k. Let A ∈ calgk be a purely even commutative k-algebra, let
(α|β) ∈ V 1;f,η (GLm|n )(A), and let α = ( α̇0 α̈0 ) be the block decomposition of α as in Lemma 5.2.3.

38

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

∼
Then under the identification (5.1.1), and identifying H• (M1;f,η , k) with H• (G−
a , k) = k[y] as in
Proposition 3.2.1(6),
er (M1;f,η , V(α|β) ) = α̇(r) ⊗ y 2p

r−1

(r)
eΠ
⊗ y 2p
r (M1;f,η , V(α|β) ) = α̈

r−1

,

and

r−1
er (j)(M1;f,η , V(α|β) ) = eΠ
.
r (j)(M1;f , V(α|β) ) = 0 for 0 < j < p

Proof. By Lemma 5.2.4 it suffices to assume that A = k. Then the proof is a modification of the
argument used to establish Proposition 5.2.5. Specifically, set a0 = η. Then kM1;f,η ∼
= V (g), where
g is the restricted Lie superalgebra generated by an even element u and an odd element v subject
P
ℓ
only to the relations u[p] + 21 [v, v] = 0 and tℓ=0 aℓ u[p ] = 0. Now the argument proceeds in precisely
the same manner as in the first three (and last) paragraphs of the proof of Proposition 5.2.5. In
P
∗(1)
∗
the fourth paragraph one now has ut = − t−1
ℓ=0 aℓ uℓ , so it follows that d2 (u0 ) = a0 · ut−1 . Since
∗(1)

a0 6= 0 by assumption, this implies that the image of ut−1 under the horizontal edge map is 0.
Then reasoning as in the fourth paragraph of the proof of Proposition 5.2.5, it suffices to show that
∗(1)
the horizontal edge map sends u0 ∈ E22,0 to the cohomology class y 2 ∈ H2 (M1;f,η , k). Explicitly,
∗(1)
by the construction of the May spectral sequence, u0 is represented by the cocycle
Pp−1
P
1
j
p−j =
⊗2
β(σ1 ) := p−1
j=1 σj ⊗ σp−j ∈ k[M1;f,η ] .
j=1 j!(p−j)! (σ1 ) ⊗ (σ1 )

Then by the same reasoning as in the second-to-last paragraph of the proof of Proposition 5.2.5,
a1 · β(σpt−1 ) ≡ −β(σ1 ) + τ ⊗ τ + ∂(σp ) mod F p+1 (k[M1;f,η ]⊗2 ).
∗(1)

∗(1)

Since β(σpt−1 ) is a cocycle representative for ut−1 , and since ut−1 maps to 0 in H• (M1;f,η , k), this
implies that β(σ1 ) and τ ⊗ τ represent the same cohomology class in H2 (M1;f,η , k), and hence that
∗(1)
the horizontal edge map sends u0 ∈ E22,0 to y 2 ∈ H2 (M1;f,η , k).

Pr−1 i
Remark 5.2.7. Let η ∈ k be arbitrary. Let 0 ≤ j < pr , and let j = i=0
ji p be the p-adic decomposition of j. Since er (ℓ)(M1;f,η , V(α|β) ) = 0 for 0 < ℓ < pr−1 , it follows that er (j)(M1;f,η , V(α|β) ) = 0
unless j ≡ 0 mod pr−1 , and similarly for eΠ
r (j)(M1;f,η , V(α|β) ).
Lemma 5.2.8. Let η ∈ k. Let A ∈ calgk be a purely even commutative k-superalgebra, let (α|β) ∈
V 1;f,η (GLm|n )(A), and let β = ( 0 β̇ ) be the block decomposition of β as in Lemma 5.2.3. Then
β̈ 0
under the identification (5.1.1), and under the identifications of Proposition 3.2.1(4) and (6),
cr (M1;f,η , V(α|β) ) = β̇ (r) ⊗ y p

r

and

r

(r)
cΠ
⊗ yp .
r (M1;f,η , V(α|β) ) = β̈

Proof. Retain the notational conventions of the two preceding proofs, so that kM1;f,η ∼
= V (g). By
Lemma 5.2.3, we may assume that A = k and that g is a restricted subalgebra of gl(m|n). Now
recall from [7, §5.2] that there exists a V (g)-free resolution (X(g), dt ) of the trivial V (g)-module k
such that, as graded superspaces,
(5.2.4)

#
HomV (g) (X(g), k) ∼
= Λs (g# ) ⊗ S(g0 [2])(1)

Then by [7, Lemma 5.2.4] and Convention 4.1.1, the homomorphism
# r (r)
→ H• (V (g), k)
(cr + cΠ
r ) : S(gl(m|n)1 [p ])

is equal to the composite homomorphism of graded superalgebras
S(gl(m|n)1# [pr ])(r) → S(g1# [pr ])(r) → H• (V (g), k),

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

39

where the first arrow is induced by restriction from gl(m|n) to g, and the second arrow is induced via
(5.2.4) by the pr -power map S(g1# [pr ])(r) → S(g1# ) and the inclusion S(g#
) ֒→ Λs (g# ). Restriction
1

from gl(m|n) to g sends the odd coordinate function Yij ∈ gl(m|n)#
to βij · v ∗ , and one can check
1
r
via the comparison results of [4, §3.5] that the cohomology class in H• (V (g), k) of (v ∗ )p identifies
r
r
r
with the cohomology class in H• (M1;f,η , k) of τ ⊗p ∈ k[M1;f,η ]⊗p , i.e., identifies with y p . Then
(r)
pr
pr

(cr + cΠ
r )(Yij ) = (βij ) · y , which implies the result.

Lemma 5.2.9. Let A ∈ calgk be a purely even commutative superalgebra. Then for any 0 < ℓ ≤ r,
any 0 ≤ j < pr , and any p-nilpotent matrix α = ( α̇0 α̈0 ) ∈ Matm|n (A)0 , one has in the notation
of [25, Theorem 1.13(4)],
pr−1 j

(r) s(j)

r−1
1
xjr0 xpj
r−1 · · · x1
⊗
,
(j0 !)(j1 !) · · · (jr−1 !)

(r) s(j)

r−1
1
xjr0 xpj
r−1 · · · x1
, and
⊗
(j0 !)(j1 !) · · · (jr−1 !)

er (j)(Ga(ℓ) ⊗k A, Vα ) = (α̇

)

pr−1 j

eΠ
r (j)(Ga(ℓ)

⊗k A, Vα ) = (α̈

)

cr (Ga(ℓ) ⊗k A, Vα ) = cΠ
r (Ga(ℓ) ⊗k A, Vα ) = 0,
Pr−1 i
Pr−1
where j = i=0
ji p is the p-adic expansion of j, s(j) = i=0
ji , and xi is interpreted to be 0 if
Π
i > ℓ. In particular, er (j)(Ga(ℓ) ⊗k A, Vα ) = er (j)(Ga(ℓ) ⊗k A, Vα ) = 0 unless j ≡ 0 mod pr−ℓ .
Proof. First observe that the block decomposition of α gives rise to the direct sum decomposition
Vα = Vα̇ ⊕ Vα̈ , where Vα̇ = Am|0 considered as a rational Ga(ℓ) -module via α̇, and Vα̈ = A0|n
considered as a rational Ga(ℓ) ⊗k A-module via α̈. Then Proposition 5.1.4(2) allows us to reduce to
the case where Vα is a homogeneous superspace. Thus, for the rest of the proof let us assume that
Vα is purely even and α = α̇; the details for the purely odd case are entirely analogous. First, since
Vα is purely even, one has I 1 (r) (Vα ) = 0, and hence eΠ
r (j)(Ga(ℓ) ⊗k A, Vα ) = cr (Ga(ℓ) ⊗k A, Vα ) =
cr (Ga(ℓ) ⊗k A, Vα ) = 0. Next, there exists a commutative diagram as follows:
(r)

(r)

Ext•P (I 0 , I 0 ) ⊗k A

∼

// Ext• ((I (r) )A , (I (r) )A )
PA
0
0
res

res ⊗1A



Ext•P (I (r) , I (r) ) ⊗k A

// Matm|0 (A) ⊗A H• (Ga(ℓ) ⊗k A, A)


∼

// Ext• (I (r) , I (r) )
PA A
A

// Mm (A) ⊗A H• (Ga(ℓ) ⊗k A, A).

The first vertical arrow is induced by restriction from the category P of strict polynomial superfunctors to the category P of ordinary strict polynomial functors (cf. [5, §2.1]), and the second
vertical arrows is the analogous restriction map from P A to PA . The first pair of horizontal arrows
are the base-change isomorphisms of Corollary A.2.8 and [25, Corollary 2.7], and the second pair
of horizontal arrows are the restriction maps of Lemma 5.1.2 and [25, Proposition 3.2]. The leftmost vertical arrow is an isomorphism in cohomological degrees less than 2pr , so the calculation of
er (j)(Ga(ℓ) ⊗k A, Vα ) now follows from [25, Theorem 4.7].

5.3. Calculation of characteristic classes. In this section again fix r ≥ 1, fix an inseparable
P
i
p-polynomial 0 6= f ∈ k[T ], and let η ∈ k. Again assume that f = ti=s ai T p with 1 ≤ s ≤ t,
as 6= 0, and at = 1, and set Gr;f = Ga(r) × · · · × Ga(2) × M1;f . Let A ∈ calgk be a purely even
commutative k-superalgebra, and let (α|β) ∈ Vr;f,η (GLm|n )(A). Our goal in this section is to finish
describing the characteristic classes for Mr;f,η corresponding to the representation V(α|β) introduced

40

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

at the beginning of the preceding section. For r = 1 and η 6= 0, the relevant calculations are already
given by Proposition 5.2.6 and Lemma 5.2.8.
Theorem 5.3.1. Let A ∈ calgk be a purely even commutative k-superalgebra, and let (α|β) ∈
V r;f (GLm|n )(A). Write the block decompositions of each αi and β as in Lemma 5.2.3. Let Pf (X) ∈
k[X] be as in Proposition 5.2.5, and set w1 = x1 − y 2 . Then for each 0 ≤ j < pr ,
(5.3.1a) er (j)(Gr;f ⊗k A, W(α|β) ) =


X
X
jr−1,r−1
(r)
(r)
(r)
(r)
(α̇0 )s(j0 ) · · · (α̇r−2 )s(jr−2 ) (α̇r−1 )c (Pf (α̇r−1 ))d
c
j0 +···+jr−1 =j
c,d≥0
j0 ,...,jr−1 ≥0 c+d=jr−1,r−1
i
ji ≡0 mod p
j

pj

pr−1 j

r−2

r−1

r−1

r−1 d

p
jr−2,r−2 p
jr−2,r−1
0,1
0,r−1
xr0,0 xr−1
· · · x1
x
x1
xp c wsp
⊗
⊗ ··· ⊗ 2
⊗ 1
(j0,0 !)(j0,1 !) · · · (j0,r−1 !)
(jr−2,r−2 !)(jr−2,r−1 !)
jr−1,r−1 !

!

,

!

,

(5.3.1b) eΠ
r (j)(Gr;f ⊗k A, W(α|β) ) =


X
X
jr−1,r−1
(r)
(r)
(r)
(r)
(α̈0 )s(j0 ) · · · (α̈r−2 )s(jr−2 ) (α̈r−1 )c (Pf (α̈r−1 ))d
c
j0 +···+jr−1 =j
c,d≥0
j0 ,...,jr−1 ≥0 c+d=jr−1,r−1
ji ≡0 mod pi
j

pj

pr−1 j

r−2

r−1

r−1

r−1 d

p
jr−2,r−2 p
jr−2,r−1
0,1
0,r−1
xr0,0 xr−1
· · · x1
x
x1
xp c wsp
⊗
⊗ ··· ⊗ 2
⊗ 1
(j0,0 !)(j0,1 !) · · · (j0,r−1 !)
(jr−2,r−2 !)(jr−2,r−1 !)
jr−1,r−1 !

(5.3.1c)

r

cr (Gr;f ⊗k A, W(α|β) ) = β̇ (r) ⊗ 1 ⊗ · · · ⊗ 1 ⊗ y p , and
r

(r)
cΠ
⊗ 1 ⊗ · · · ⊗ 1 ⊗ yp .
r (Gr;f ⊗k A, W(α|β) ) = β̈
Pr−1
Pr−1
where ji = ℓ=0
ji,ℓ pℓ is the p-adic decomposition of ji , and s(ji ) = ℓ=0
ji,ℓ .

(5.3.1d)

Proof. Given a superspace V and a ∈ {0, 1}, set Πa (V ) = V if a = 0, and set Πa (V ) = Π(V ) if
a = 1. Then by Lemma 5.2.3, it suffices to assume that:
• A = k;
• the underlying superspace of W(α|β) is


p
p
p
Πa (kMr;f ) ∼
= k[u0 ]/hu0 i ⊗ · · · ⊗ k[ur−2 ]/hur−2 i ⊗ Πa k[ur−1 , v]/hur−1 + v 2 , f (ur−1 )i ,

with either a = 0 or a = 1; and
• for 0 ≤ i ≤ r − 1, the matrix αi represents the left action of 1⊗i ⊗ ui ⊗ 1⊗(r−1−i) , and the
matrix β represents the left action of 1⊗(r−1) ⊗ v.
As in Lemma 3.1.7, a homogeneous basis for kMr;f is given by the set
n
o
ir−2 ir−1 j
ui00 · · · ur−2
ur−1 v : 0 ≤ iℓ < p for 0 ≤ ℓ ≤ r − 2; 0 ≤ ir−1 < pt ; 0 ≤ j ≤ 1 .

In particular, right multiplication by v defines an odd isomorphism (kMr;f )0 ≃ (kMr;f )1 . With
this identification, it immediately follows for each i that α̇i = α̈i .
For 0 ≤ i ≤ r − 2, let Vαi denote the space k[ui ]/hupi i considered as a kGa(r−i) -module such
that the generator u0 ∈ kGa(r−i) acts on k[ui ]/hupi i as left multiplication by ui , and such that
the remaining generators u1 , . . . , ur−i−1 ∈ kGa(r−i) act as 0. Similarly, let V(αr−1 |β) = Πa (kM1;f ),

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

41

considered as a kM1;f -supermodule as in Remark A.1.5 via the left action of kM1;f on itself. Let
z ∈ Ext•P (I (r) , I (r) ). Then by Proposition 5.1.7,
X
z(Gr;f , W(α|β) ) =
z(0) (Ga(r) , Vα0 ) ⊗ · · · ⊗ z(r−2) (Ga(2) , Vαr−2 ) ⊗ z(r−1) (M1;f , V(αr−1 |β) ),
P
where ∆r (z) =
z(0) ⊗· · ·⊗z(r−2) ⊗z(r−1) ∈ Ext•P (I (r) , I (r) )⊗r denotes the r-fold iterated coproduct
of z. Now as in the proof of [25, Corollary 4.8], we apply the explicit description of the coproduct
given in Proposition 4.2.7 to reduce to the calculations of Proposition 5.2.5 and Lemmas 5.2.8 and
r
5.2.9. For example, if 0 ≤ j < pr and if z = er (j) (resp., if z = eΠ
r (j)), then ∆ (z) can be written
as a sum of monomials z(1) ⊗ · · · ⊗ z(r) such that for each i either z(i) = er (ji ) or z(i) = eΠ
r (ji ), with
an even (resp. odd) number of the z(i) of the latter form, and j0 + · · · + jr−1 = j. For 0 ≤ i ≤ r − 2
the space Vαi is purely even, hence eΠ
r (ji )(Ga(i) , Vαr−i ) = 0 by Lemma 5.2.9. Then it follows that
er (j)(Gr;f , W(α|β) ) =
X
er (j0 )(Ga(r) , Vα0 ) ⊗ · · · ⊗ er (jr−2 )(Ga(2) , Vαr−2 ) ⊗ er (jr−1 )(M1;f , V(αr−1 |β) ),
j0 +···+jr−1 =j

and

eΠ
r (j)(Gr;f , W(α|β) ) =
X
er (j0 )(Ga(r) , Vα0 ) ⊗ · · · ⊗ er (jr−2 )(Ga(2) , Vαr−2 ) ⊗ eΠ
r (jr−1 )(M1;f , V(αr−1 |β) ).
j0 +···+jr−1 =j

Now applying Proposition 5.2.5 and Lemma 5.2.9, and the observation α̇i = α̈i , the formulas
(5.3.1a) and (5.3.1b) follow. Arguing similarly in the cases z = cr and z = cΠ
r , one gets
cr (Gr;f , W(α|β) ) = e0 (Ga(r) , Vα0 ) ⊗ · · · ⊗ e0 (Ga(2) , Vαr−2 ) ⊗ cr (M1;f , V(αr−1 |β) )
= 1 ⊗ · · · ⊗ 1 ⊗ cr (M1;f , V(αr−1 |β) ),

and

Π
cΠ
r (Gr;f , W(α|β) ) = e0 (Ga(r) , Vα0 ) ⊗ · · · ⊗ e0 (Ga(2) , Vαr−2 ) ⊗ cr (M1;f , V(αr−1 |β) )

= 1 ⊗ · · · ⊗ 1 ⊗ cΠ
r (M1;f , V(αr−1 |β) ),
so the formulas (5.3.1c) and (5.3.1d) then follow from Lemma 5.2.8.



Suppose (α|β) ∈ V r;f (GLm|n )(A). From the description of the homomorphism ρb(α|β) at the
beginning of Section 5.2, it follows that ρ(α|β) is the pullback of ρb(α|β) via the homomorphism
(5.3.2)

q × (q ◦ F ) × · · · × (q ◦ F r−2 ) × F r−1 : Mr;f → Ga(r) × Ga(r−1) × · · · × Ga(2) × M1;f .

Theorem 5.3.2. Let A ∈ calgk be a purely even commutative k-superalgebra, and let (α|β) ∈
V r;f (GLm|n )(A). Write the block decompositions of each αi and β as in Lemma 5.2.3. Let Pf (X) ∈
k[X] be as in Proposition 5.2.5, and set w1 = x1 − y 2 . Then for each 0 ≤ j < pr ,
(5.3.3a) er (j)(Mr;f ⊗k A, V(α|β) ) =

X
X
j0 +···+jr−1 =j
c,d≥0
j0 ,...,jr−1 ≥0 c+d=jr−1,r−1
ji ≡0 mod pi
j

pj


jr−1,r−1
(r)
(r)
(r)
(r)
(α̇0 )s(j0 ) · · · (α̇r−2 )s(jr−2 ) (α̇r−1 )c (Pf (α̇r−1 ))d
c
pr−1 j

pr−2 j

pr−1 j

r−1

r−1 d

0,1
0,r−1
r−2,r−2
xr0,0 xr−1
· · · x1
xr
xr−1 r−2,r−1 xrp c wsp
⊗
···
·
(j0,0 !)(j0,1 !) · · · (j0,r−1 !)
(jr−2,r−2 !)(jr−2,r−1 !)
jr−1,r−1 !

!

,

42

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

(5.3.3b) eΠ
r (j)(Mr;f ⊗k A, V(α|β) ) =


X
X
jr−1,r−1
(r)
(r)
(r)
(r)
(α̈0 )s(j0 ) · · · (α̈r−2 )s(jr−2 ) (α̈r−1 )c (Pf (α̈r−1 ))d
c
j0 +···+jr−1 =j
c,d≥0
j0 ,...,jr−1 ≥0 c+d=jr−1,r−1
ji ≡0 mod pi
j

pj

pr−1 j

pr−2 j

pr−1 j

r−1

r−1 d

0,1
0,r−1
r−2,r−2
xr0,0 xr−1
· · · x1
xr
xr−1 r−2,r−1 xrp c wsp
⊗
···
·
(j0,0 !)(j0,1 !) · · · (j0,r−1 !)
(jr−2,r−2 !)(jr−2,r−1 !)
jr−1,r−1 !

!

,

r

(5.3.3c)

cr (Mr;f ⊗k A, V(α|β) ) = β̇ (r) ⊗ y p , and

(5.3.3d)

(r)
cΠ
⊗ yp .
r (Mr;f ⊗k A, V(α|β) ) = β̈

r

where ji =

Pr−1

ℓ=0 ji,ℓ p

ℓ

is the p-adic decomposition of ji , and s(ji ) =

Pr−1

ℓ=0 ji,ℓ .

Proof. Applying the observation that V(α|β) is the pullback of W(α|β) via the homomorphism (5.3.2),
the result follows from Theorem 5.3.1 and Lemma 3.2.4.

Suppose η 6= 0 and (α|β) ∈ V r+1;f,η (GLm|n )(A). Then applying the algebra isomorphism
AMr+1;f,η ∼
= AMr;f p of Remark 3.1.8(4), the AMr+1;f,η -supermodule structure on Am|n defined by
(α|β) identifies with the AMr;f p -supermodule structure on Am|n defined by
(α+ |β) := (α1 , . . . , αr , β) ∈ V r;f p (GLm|n )(A).
Thus, at the level of group algebras, the homomorphism ρ(α|β) : Mr+1;f,η ⊗k A → GLm|n ⊗k A
admits the factorization
(5.3.4)

∼
=

(5.3.2)

ρb(α+ |β)

AMr+1;f,η −→ AMr;f p −→ AGr;f p −→ AGLm|n .

Corollary 5.3.3. Suppose 0 6= η ∈ k. Let A ∈ calgk be a purely even commutative k-superalgebra,
and let (α|β) := (α0 , . . . , αr−1 , αr , β) ∈ V r+1;f,η (GLm|n )(A). Then identifying H• (Mr+1;f,η , k) with
H• (Mr;f p , k) ∼
= H• (Mr;s+1 , k) as in Proposition 3.2.1(5), one has for 0 ≤ j < pr ,
(5.3.5a) er (j)(Mr+1;f,η ⊗k A, V(α|β) ) =


X
X
jr−1,r−1
(r)
(r)
(r) d
c
(α̇1 )s(j0 ) · · · (α̇r−1 )s(jr−2 ) (α̇(r)
r ) (Pf p (α̇r ))
c
j0 +···+jr−1 =j
c,d≥0
j0 ,...,jr−1 ≥0 c+d=jr−1,r−1
i
ji ≡0 mod p
j

pj

pr−1 j

pr−2 j

pr−1 j

r−1

r−1 d

p
0,1
0,r−1
r−2,r−2
xr0,0 xr−1
· · · x1
xr
xr−1 r−2,r−1 xrp c ws+1
⊗
···
·
(j0,0 !)(j0,1 !) · · · (j0,r−1 !)
(jr−2,r−2 !)(jr−2,r−1 !)
jr−1,r−1 !

!

,

!

,

(5.3.5b) eΠ
r (j)(Mr+1;f,η ⊗k A, V(α|β) ) =


X
X
jr−1,r−1
(r)
(r)
(r) d
c
(α̈1 )s(j0 ) · · · (α̈r−1 )s(jr−2 ) (α̈(r)
r ) (Pf p (α̈r ))
c
j0 +···+jr−1 =j
c,d≥0
j0 ,...,jr−1 ≥0 c+d=jr−1,r−1
i
ji ≡0 mod p
j

pj

pr−1 j

pr−2 j

pr−1 j

r−1

r−1 d

p
0,1
0,r−1
r−2,r−2
xr0,0 xr−1
· · · x1
xr
xr−1 r−2,r−1 xrp c ws+1
⊗
···
·
(j0,0 !)(j0,1 !) · · · (j0,r−1 !)
(jr−2,r−2 !)(jr−2,r−1 !)
jr−1,r−1 !

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

43

r

(5.3.5c)

cr (Mr+1;f,η ⊗k A, V(α|β) ) = β̇ (r) ⊗ y p , and

(5.3.5d)

(r)
cΠ
⊗ yp .
r (Mr+1;f,η ⊗k A, V(α|β) ) = β̈

where ji =

r

Pr−1

ℓ=0 ji,ℓ p

ℓ

is the p-adic decomposition of ji , and s(ji ) =

Pr−1

ℓ=0 ji,ℓ .

Proof. Applying the factorization (5.3.4), the calculation of the characteristic classes for Mr+1;f,η

follows immediately from the calculation for Mr;f p .
Corollary 5.3.4. In the conditions and notations of Theorem 5.3.2, the coefficients with which xjr
appears in er (j)(Mr;f ⊗k A, V(α|β) ) and eΠ
r (j)(Mr;f ⊗k A, V(α|β) ), respectively, are
(r)

(r)

(r)

(r)

(α̇0 )j0 (α̇1 )j1 · · · (α̇r−1 )jr−1
(j0 !)(j1 !) · · · (jr−1 !)

and

(r)

(r)

(α̈0 )j0 (α̈1 )j1 · · · (α̈r−1 )jr−1
,
(j0 !)(j1 !) · · · (jr−1 !)

Pr−1 i
where j = i=0
ji p is the p-adic decomposition of j. (In the case s = 1, we mean that we ignore the
fact that w1 = x1 − y 2 , and instead consider x1 , . . . , xr , w1 as commuting algebraically independent
ℓ−1
indeterminants.) In particular, taking 1 ≤ ℓ ≤ r and j = pℓ−1 , the coefficients with which xrp
(r−ℓ)
(r−ℓ) Π
(r)
(r)
appears in eℓ
(Mr;f ⊗k A, V(α|β) ) and (eℓ
) (Mr;f ⊗k A, V(α|β) ) are α̇ℓ−1 and α̈ℓ−1 , respectively.
Proof. In the notation of Theorem 5.3.2, one gets summands involving only xjr in (5.3.3a) and
(5.3.3b) if and only if ji = ji,i pi for each i (with 0 ≤ ji,i < p). This implies the result.

As a consequence of Theorem 5.3.2, we can also finally pin down the structure constants of the
extension algebra Ext•P (I (r) , I (r) ).
Theorem 5.3.5. Let r ≥ 1. Then under the assumption of Convention 4.1.1, Ext•P (I (r) , I (r) ) is
generated by the distinguished (purely even) extension classes (4.1.2) and the identity elements
(r)

(r)

e0 ∈ HomP (I 0 , I 0 )

and

(r)

(r)

eΠ
0 ∈ HomP (I 1 , I 1 )

subject only to the relations imposed by the matrix ring decomposition (4.1.1) and:
(1)
(2)
(3)
(4)

Π p
Π
(er )p = cr ◦ cΠ
r and (er ) = cr ◦ cr .
(r−i) Π p
(r−i) p
) ] = 0.
) = [(ei
For each 1 ≤ i < r, (ei
(r−i)
(r−i) Π
(r−i) Π
(r−i)
Π
For each 1 ≤ i ≤ r, ei
◦ cr = cr ◦ (ei
) and (ei
) ◦ cΠ
.
r = cr ◦ ei
(r−1)
(r−1) Π
Π
The subalgebra generated by e1
, . . . , er , (e1
) , . . . , er is commutative.

Proof. Up to a rescaling of the algebra generators, and modulo certain structure constants that
were determined to be either +1 or −1, these relations were established in [7, Theorem 5.1.1]. Now
to see that the above relations hold under the assumptions of Convention 4.1.1 (i.e., to show that
the undetermined constants are all equal to +1), it suffices to observe by Theorem 5.3.2 that the
stated relations hold upon restriction to the (Mr;f ⊗k A)-supermodule V(α|β) for each A ∈ calgk and
each (α|β) ∈ V r;f (GLm|n )(A). For example, since (α̇i )p = 0 for 0 ≤ i ≤ r − 2, the only summands
in (5.3.3a) that will contribute to [er (pr−1 )(Mr;f , V(α|β) )]p are those with j0 = · · · = jr−2 = 0 and
jr−1 = pr−1 (hence jr−1,r−1 = 1). Then
[er (Mr;f , V(α|β) )]p = [er (pr−1 )(Mr;f , V(α|β) )]p
(r)

= [α̇r−1 ⊗ xpr

r−1

(r)

+ Pf (α̇r−1 ) ⊗ wsp
r

(r)

r−1

]p

r

= (α̇pr−1 )(r) ⊗ xpr + Pf (α̇r−1 )p ⊗ wsp .

44

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Note that Pf (X)p =
(r)

Pt−1

−1 pr pℓ+1
ℓ=1 (aℓ+1 as ) X
r

Pf (α̇r−1 )p ⊗ wsp =

(

Pt

−1 pr pℓ
ℓ=2 (aℓ as ) X ,

so

r
r
(r)
⊗ wsp = 0 ⊗ wsp = 0
a−1
s · f (α̇r−1 )

−(α̇pr−1 )(r)

=

⊗

r
w1p

=

−(α̇pr−1 )(r)

⊗

(xp1

−

if s ≥ 2,
y 2p )

if s = 1.

r

On the other hand, since y p and β̈ (r) are both of odd superdegree,
r

r

(r)
cr (Mr;f , V(α|β) ) · cΠ
⊗ y p ) · (β̈ (r) ⊗ y p )
r (Mr;f , V(α|β) ) = (β̇
r

r

= −(β̇ (r) · β̈ (r) ) ⊗ (y p · y p )
r

= −(β̇ β̈)(r) ⊗ y 2p .
By assumption αpr−1 + β 2 = 0, so α̇pr−1 = −β̇ β̈, and hence −(β̇ β̈)(r) ⊗ y 2p = (α̇pr−1 )(r) ⊗ y 2p . Since
r
r
r
for s ≥ 2 one has y 2p = (y 2 )p = xpr , it follows that
r

r

[er (Mr;f , V(α|β) )]p = cr (Mr;f , V(α|β) ) · cΠ
r (Mr;f , V(α|β) ).
The other relations are verified in a similar fashion.



6. Geometric applications
In this section we apply the results of Section 5 to obtain information about the maximal ideal
spectrum of the cohomology ring H• (GLm|n(r) , k) of the r-th Frobenius kernel of GLm|n .
6.1. The homomorphism φ. As recalled at the beginning of Section 3.2, the cohomology ring
H• (G, k) of a finite k-supergroup scheme G is a graded-commutative superalgebra. In particular, if
a, b ∈ H• (G, k) are homogeneous with respect to both the cohomological Z-grading and the internal
Z2 -grading, then
a · b = (−1)deg(a)·deg(b)+a·b b · a.
This implies that the subspace
H(G, k) := Hev (G, k)0 ⊕ Hodd (G, k)1

(6.1.1)

of H• (G, k) is a commutative k-algebra in the ordinary sense, while the subspace
Hodd (G, k)0 ⊕ Hev (G, k)1
consists of nilpotent elements; cf. [7, Corollary 2.2.5]. Thus, there exists a canonical identification
between the maximal (resp. prime) ideal spectra of H• (G, k) and of H(G, k). As in [7, Definition
2.3.8], we define the cohomology variety |G| of G to be the maximal ideal spectrum of H(G, k):
|G| = Max (H(G, k)) = Max (H• (G, k)) .
By abuse of notation, we may also use the notation |G| to denote the k-scheme defined by the
commutative k-algebra H(G, k). (It should always be clear from the context whether we mean |G|
to mean the affine variety or the affine scheme defined by H(G, k).)
Fix integers m, n, r ≥ 1. As in [7, §5.1] and [5, §5.1], set
gm = Homk (km|0 , km|0 ),

g+1 = Homk (k0|n , km|0 ),

gn = Homk (k0|n , k0|n ),

g−1 = Homk (km|0 , k0|n ),

so that gl(m|n)0 = gm ⊕ gn , and gl(m|n)1 = g+1 ⊕ g−1 . Then as discussed in [7, §5.1] (cf. also [5,
§5.1]), the characteristic classes
(r−i)

(6.1.2a) ei

2p
(GLm|n(r) , km|n ) ∈ g(r)
m ⊗H

i−1

#(r)
(GLm|n(r) , k) ∼
, H2p
= Homk (gm

i−1

(GLm|n(r) , k)),

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS
(r−i) Π

2p
) (GLm|n(r) , km|n ) ∈ g(r)
n ⊗H

(6.1.2b) (ei

i−1

45

(GLm|n(r) , k)
i−1
∼
= Homk (gn#(r) , H2p (GLm|n(r) , k)),

for 1 ≤ i ≤ r, and
(6.1.2c)
(6.1.2d)

r
r
#(r)
(r)
cr (GLm|n(r) , km|n ) ∈ g+1 ⊗ Hp (GLm|n(r) , k) ∼
= Homk (g+1 , Hp (GLm|n(r) , k)), and
r
r
(r)
#(r)
m|n
cΠ
) ∈ g−1 ⊗ Hp (GLm|n(r) , k) ∼
= Homk (g−1 , Hp (GLm|n(r) , k)),
r (GLm|n(r) , k

extend multiplicatively to a homomorphism of graded superalgebras
!
r
O
#(r)
#(r)
i−1
S(gl(m|n)0 [2p ]) ⊗ S(gl(m|n)1 [pr ]) → H• (GLm|n(r) , k),
(6.1.3)
φ:
i=1

One of the main results of [5] was that H• (GLm|n(r) , k) is finite over the image of φ. Since φ
preserves both the Z-degree and the superdegree of elements, the image of φ is contained in the
subalgebra H(GLm|n(r) , k) of H• (GLm|n(r) , k).
Recall from Definition 3.3.7 that Vr (GLm|n ) is the underlying even subscheme of V r (GLm|n ).
Proposition 6.1.1. The homomorphism φ of (6.1.3) induces a homomorphism
φ : k[Vr (GLm|n )] → H(GLm|n(r) , k).
Proof. The domain of φ identifies with the coordinate algebra of
L

L
(r)
(r)
r
gl(m|n)
⊕ gl(m|n)1 = ( ri=1 gl(m|n)0 ) ⊕ gl(m|n)1 .
i=1
0

For 1 ≤ ℓ ≤ r, let Xij (ℓ) be the coordinate function that returns the ij-entry of the ℓ-th copy of
gl(m|n)0 , and let Yij be the coordinate function that returns the ij-entry of gl(m|n)1 . Then the set
{Xij (ℓ), Yij : 1 ≤ ℓ ≤ r} identifies with a set of algebra generators for the domain of φ; cf. (2.4.1–
2.4.2) and (3.3.1). Next by Remark 5.1.6, we may view the characteristic classes (6.1.2a–6.1.2d) as
elements of the matrix ring Matm|n (H• (GLm|n(r) , k)). Then by Remark 2.3.1, the nonzero entries



(r−ℓ)
m|n 

e
(GL
,
k
)


1 ≤ i, j ≤ m,
m|n(r)
ℓ



 φ(Xij (ℓ)),








m|n 
 φ(Xij (ℓ)),
 (e(r−ℓ) )Π (GL
m + 1 ≤ i, j ≤ m + n,
)
m|n(r) , k
ℓ
are
of


−φ(Yij ),
1 ≤ i ≤ m; m + 1 ≤ j ≤ m + n,



cr (GLm|n(r) , km|n )











φ(Yij ),
m + 1 ≤ i ≤ m + n; 1 ≤ j ≤ m.

cΠ (GL
, km|n )
m|n(r)

r

Now it follows from the relations in Theorem 5.3.5 that the defining relations of the scheme
Vr (GLm|n ) are contained in the kernel of φ, and hence that φ factors through k[Vr (GLm|n )]. For
example, the relation (er )p = cr ◦ cΠ
r implies for 1 ≤ i, j ≤ m that
X

φ(Xi,t1 (r)) · φ(Xt1 ,t2 (r)) · · · φ(Xtp−1 ,j (r)) =

n
X
[−φ(Yi,m+t )] · φ(Ym+t,j ),
t=1

1≤t1 ,...,tp−1 ≤m

and hence that the polynomial relation
X

1≤t1 ,...,tp−1 ≤m

Xi,t1 (r) · Xt1 ,t2 (r) · · · Xtp−1 ,j (r) = −

n
X
t=1

Yi,m+t · Ym+t,j

!

is an element of ker(φ). The other polynomial relations defining Vr (GLm|n ) are similarly verified
to be elements of ker(φ).


46

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

6.2. The homomorphism ψr;f,η . Let r ≥ 1, let 0 6= f ∈ k[T ] be an inseparable p-polynomial, and
let η ∈ k. Recall from Definition 3.3.7 that, given an algebraic k-supergroup scheme G, Vr;f,η (G)
denotes the underlying purely even subscheme of V r;f,η (G). Set AG = k[Vr;f,η (G)], the (purely
even) coordinate algebra of Vr;f,η (G). Then base change to AG defines a homomorphism of graded
superalgebras ι : H• (G, k) → H• (G, k) ⊗k AG = H• (G ⊗k AG , AG ), z 7→ z ⊗ 1. Next, the universal
purely even supergroup homomorphism uG : Mr;f,η ⊗k AG → G ⊗k AG of Definition 3.3.8 induces
a homomorphism of graded AG -superalgebras u∗G : H• (G ⊗k AG , AG ) → H• (Mr;f,η ⊗k AG , AG ).
Finally, recall the identification of H• (Mr;f,η , k) from Proposition 3.2.1. The map H• (Mr;f,η , k) → k
that sends the generators y and xr (resp. xr−1 if r ≥ 2 and η 6= 0) of H• (Mr;f,η , k) each to 1 but
that sends the other generators to 0 is an algebra homomorphism (though not a superalgebra
homomorphism). Extending scalars, one gets a homomorphism
ε : H• (Mr;f,η ⊗k AG , AG ) = H• (Mr;f,η , k) ⊗k AG → k ⊗k AG = AG .
Now define ψr;f,η : H(G, k) → AG to be the composite algebra homomorphism
(6.2.1)

u∗

ι

ε

G
ψr;f,η : H(G, k) −→ H• (G ⊗k AG , AG ) −→
H• (Mr;f,η ⊗k AG , AG ) −→ AG .

At the level of Hochschild complexes, the first arrow in (6.2.1) is induced by the base change map
k[G] → k[G] ⊗k AG = AG [G], z 7→ z ⊗ 1, and the second arrow is induced by the comorphism
u∗G : AG [G] → AG [Mr;f,η ], i.e., the map of coordinate algebras corresponding to uG .
Lemma 6.2.1. Let r ≥ 1, let 0 6= f ∈ k[T ] be an inseparable p-polynomial, and let η ∈ k. Let G
be an algebraic k-supergroup scheme. Then the homomorphism of commutative k-algebras
ψr;f,η : H(G, k) → k[Vr;f,η (G)],
is natural with respect to G.
Proof. Set ψ = ψr;f,η . Let φ : G′ → G be a homomorphism of algebraic k-supergroup schemes, let
φAG : G′ ⊗k AG → G ⊗k AG be the homomorphism of AG -supergroup schemes obtained from φ via
base change, and let φ∗ : k[Vr;f,η (G)] = AG → AG′ := k[Vr;f,η (G′ )] be the algebra homomorphism
induced by φ. Then φAG and φ∗ induce the composite map
(φA )∗

φ∗

G
H• (G′ ⊗k AG , AG ) −→ H• (G′ ⊗k AG′ , AG′ ),
H• (G ⊗k AG , AG ) −→

and using this composite map one can check commutativity of the diagram
H(G, k)

ι

// H• (G ⊗k AG , AG )

ι



u∗G

// H• (Mr;f,η ⊗k AG , AG )

φ∗



H(G′ , k)

// AG
φ∗

φ∗

// H• (G′ ⊗k AG′ , AG′ )

u∗G′



// H• (Mr;f,η ⊗k AG′ , AG′ )


// AG′ .

The commutativity of the diagram implies the naturality of ψ with respect to G.



The algebra H(G, k) is Z-graded via the cohomological grading, while for r, s ≥ 1, the algebra
r
k[Vr;s (G)] is Z[ p2 ]-graded by Corollary 3.4.3.
Proposition 6.2.2. Let r, s ≥ 1, and set ψr;s = ψr;T ps ,0 . Then
ψr;s : H(G, k) → k[Vr;s (G)]
is a homomorphism of graded k-algebras that multiplies degrees by

pr
2 .

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

47

Proof. Set ψ = ψr;s . Extending scalars if necessary, we may assume that the field k is algebraically
closed. Let z ∈ H(G, k) be of cohomological degree n (hence of Z2 -degree n). Then
X
(6.2.2)
(u∗G ◦ ι)(z) =
xi λj wu y v ⊗ fi,j,u,v (z) ∈ Hn (Mr;s , k) ⊗k AG
i,j,u,v

for some fi,j,u,v (z) ∈ AG . Here xi = xi11 · · · xirr , λj = λj11 · · · λjrr , and the indices run over all
P
nonnegative values such that 2u + v + rℓ=0 (2iℓ + jℓ ) = n. By imposing the additional restrictions
0 ≤ j1 , . . . , jr ≤ 1, and also 0 ≤ v ≤ 1 if s ≥ 2, the set xi λj wu y v becomes a basis for H• (Mr;s , k),
and fi,j,u,v (z) becomes a well-defined function of z. Then ψ(z) is the sum of the coefficients of the
terms of the form xirr y v with 2ir + v = n.
r
Now choose µ, a ∈ k such that µ2 = ap , and let φ = φ(µ,a) ∈ Vr;s (Mr;s )(k) = Hom(Mr;s , Mr;s )(k)
be the unique homomorphism whose comorphism φ∗ : k[Mr;s ] → k[Mr;s ] satisfies φ∗ (τ ) = τ · µ,
r−1+i
for i ≥ 0. Then it follows from the explicit description of the
φ∗ (θ) = θ · a, and φ∗ (σi ) = σi · ap
•
generators for H (Mr;s , k) that
X
(φ∗ ⊗ 1) ((u∗G ◦ ι)(z)) =
µv aη(i,j,u) xi λj wu y v ⊗ fi,j,u,v (z),
i,j,u,v

Pr

where η(i, j, u) := ps u + ℓ=1 (pℓ−1 jℓ + pℓ iℓ ). Next let φ ⊗k AG : Mr;s ⊗k AG → Mr;s ⊗k AG be
the homomorphism obtained from φ via base change to AG . Then by the universal property of uG ,
the composite homomorphism uG ◦ (φ ⊗k AG ) ∈ Hom(Mr;s , G)(AG ) can be written in the form
uG ⊗ϕ AG for some ϕ ∈ Homsalg (AG , AG ). Specifically, ϕ is the unique homomorphism such that
(
r
ai · z
if the Z[ p2 ]-degree of z is i and i ∈ N,
ϕ(z) =
r
r
ai µ · z if the Z[ p2 ]-degree of z is i + p2 and i ∈ N.
r

This description of ϕ can be checked first when G = GLm|n (cf. the description of the Z[ p2 ]-grading
on AGLm|n in the proof of Lemma 3.4.2), and can then be deduced for G arbitrary by choosing an
embedding G ֒→ GLm|n . Now the identity
(φ∗ ⊗ 1) ◦ u∗G ◦ ι = (uG ◦ (φ ⊗k AG ))∗ = (1 ⊗ ϕ) ◦ (u∗G ◦ ι)
implies that
X

µv aη(i,j,u) xi λj wu y v ⊗ fi,j,u,v (z) =

i,j,u,v

X

xi λj wu y v ⊗ ϕ (fi,j,u,v (z)) .

i,j,u,v

Since this identity holds for all the infinitely many different pairs µ, a ∈ k such that µ2 = ap
r
(infinitely many because k = k), we conclude that fi,j,u,v (z) is homogeneous of Z[ p2 ]-degree
P
r
r
v · p2 + η(i, j, u) = v · p2 + ps u + rℓ=1 (pℓ−1 jℓ + pℓ iℓ ).
In particular, if 2ir + v = n, then the coefficient of xirr y v in (6.2.2) is of degree n ·

pr
2 .

r



Theorem 6.2.3. Let r ≥ 1, let 0 6= f ∈ k[T ] be an inseparable p-polynomial, and let η ∈ k. Then
the composite homomorphism
φ

ψr;f,η

k[Vr (GLm|n )] −→ H(GLm|n(r) , k) −→ k[Vr;f,η (GLm|n )]
is equal to the composition of the r-th Frobenius morphism on k[Vr (GLm|n )], i.e., the algebra map
that sends the defining algebra generators to their pr -th powers, and the canonical quotient map

48

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

k[Vr (GLm|n )] ։ k[Vr;f,η (GLm|n )]. In particular, if k is perfect then ψr;f,η ◦ φ is surjective onto
pr -th powers. Letting
Ψr;f,η : Vr;f,η (GLm|n ) → GLm|n(r)

and

Φ : GLm|n(r) → Vr (GLm|n )

denote the morphisms of schemes induced by ψr;f,η and φ, respectively, the composite morphism
Ψr;f,η

Φ

Θr;f,η : Vr;f,η (GLm|n ) −→ GLm|n(r) −→ Vr (GLm|n )
is equal to the composite of the inclusion Vr;f,η (GLm|n ) ֒→ Vr (GLm|n ) and the r-th Frobenius twist
morphism on the scheme Vr (GLm|n ) (defined over the prime field Fp ).
Proof. Set G = GLm|n(r) , set A = k[Vr;f,η (G)], and let {Xij (ℓ), Yij : 1 ≤ ℓ ≤ r} be the coordinate
functions defined in the proof of Proposition 6.1.1. Then {Xij (ℓ), Yij : 1 ≤ ℓ ≤ r} identifies with
a set of algebra generators for A. Let uG : Mr;f,η ⊗k A → G ⊗k A be the universal purely even
supergroup homomorphism from Mr;f,η to G. Then uG = ρ(α|β) , where (α|β) ∈ V r;f,η (G)(A) =
Vr;f,η (G)(A) is the universal tuple defined in the second paragraph of the proof of Theorem 3.3.6.
More precisely, for 1 ≤ ℓ ≤ r the ij-entry of αℓ−1 is equal to the image in A of Xij (ℓ), and the
ij-entry of β is equal to the image in A of Yij .
Viewing the characteristic classes (6.1.2a–6.1.2d) as linear maps (cf. Remark 2.3.1), one has
(r−ℓ)

φ(Xij (ℓ)) = eℓ

(r−ℓ) Π

) (G, km|n )(Xij (ℓ)),

(G, km|n )(Xij (ℓ)) + (eℓ

m|n
and φ(Yij ) = cr (G, km|n )(Yij ) + cΠ
)(Yij )
r (G, k

by the definition of φ. Then
(r−ℓ)

(u∗G ◦ φ)(Xij (ℓ)) = eℓ
and

(r−ℓ) Π

(Mr;f,η ⊗k A, V(α|β) )(Xij (ℓ)) + (eℓ

) (Mr;f,η ⊗k A, V(α|β) )(Xij (ℓ)),

(u∗G ◦ φ)(Yij ) = cr (Mr;f,η ⊗k A, V(α|β) )(Yij ) + cΠ
r (Mr;f,η ⊗k A, V(α|β) )(Yij ).

Set ψ = ψr;f,η . First suppose η = 0. Then it follows that (ψ ◦ φ)(Xij (ℓ)) is equal to the sum
ℓ−1

of the ij-entries of the coefficients of xpr
in (5.3.3a) and (5.3.3b), and (ψ ◦ φ)(Yij ) is equal to
r
the sum of the ij-entries of the coefficients of y p in (5.3.3c) and (5.3.3d). More precisely, in the
case r = s = 1 we ignore the fact that w1 = x1 − y 2 and instead consider w1 as an algebraically
ℓ−1
independent indeterminate (as in Corollary 5.3.4) when calculating the coefficient of x1p ; this does
no harm because x1 − y 2 is in the kernel of the algebra homomorphism εA : H• (M1;1 ⊗k A, A) → A.
Now identifying Matm|n (A)(r) with Matm|n (A) as in Remark 5.1.6, one gets by Corollary 5.3.4 that
r
(ψ ◦ φ)(Xij (ℓ)) is equal to the image in A of Xij (ℓ)p , and (ψ ◦ φ)(Yij ) is equal to the image in A of
r
Yijp . The argument for the case η 6= 0 is entirely similar, using now the calculations of Proposition
5.2.6, Lemma 5.2.8, and Corollary 5.3.3 instead of Theorem 5.3.2.

Corollary 6.2.4. Suppose k is algebraically closed. Then the finite morphism of schemes
Φ : GLm|n(r) → Vr (GLm|n )
induces a surjective morphism of varieties Φ(k) : GLm|n(r) → Vr (GLm|n )(k). More precisely,
[
[
Vr (GLm|n )(k) =
im(Θr;f,η ) =
Vr;f,η (GLm|n )(k)
f,η

f,η

where the union is taken over all inseparable p-polynomials 0 6= f ∈ k[T ] and all η ∈ k (though it
suffices to consider only η = 0).

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

49

e := (e
e ∈ Vr (GLm|n )(k). Since k is algebraically closed, there exists
Proof. Let (e
α|β)
α0 , . . . , α
er−1 , β)
e is obtained from (α|β) by raising the
α|β)
(α|β) := (α0 , . . . , αr−1 , β) ∈ Vr (GLm|n )(k) such that (e
e
individual coordinate entries of each each matrix α0 , . . . , αr−1 , β to the pr -th power. Then (e
α|β)
is the image of (α|β) under the r-th Frobenius twist morphism on the scheme Vr (GLm|n ). Next,
since gl(m|n)0 is a finite-dimensional k-vector space, the matrix αr−1 ∈ gl(m|n)0 generates a finitedimensional restricted Lie subalgebra of gl(m|n)0 . Then there exist integers 1 ≤ s ≤ t such that
s
s+1
t
the matrices αpr−1 , αpr−1 , . . . , αpr−1 are linearly dependent, and hence there exists an inseparable
e
α|β)
p-polynomial 0 6= f ∈ k[T ] such that f (αr−1 ) = 0. Then (α|β) ∈ Vr;f (GLm|n )(k), and hence (e
is in the image of the composite morphism Θr;f (k) : Vr;f (GLm|n )(k) → Vr (GLm|n )(k).

Corollary 6.2.5. The kernel of φ : k[Vr (GLm|n )] → H(GLm|n , k) is nilpotent.

Proof. Extending scalars first if necessary, we may assume that k is algebraically closed. Let g ∈
ker(φ). Then (ψr;f ◦φ)(g) = 0 for all inseparable p-polynomials 0 6= f ∈ k[T ]. Since Vr (GLm|n )(k) =
S
f Vr;f (GLm|n )(k) by Corollary 6.2.4, this implies that g defines the zero function on the variety
Vr (GLm|n )(k), and hence that g is nilpotent as an element of k[Vr (GLm|n )].

Appendix A. Base change for strict polynomial superfunctors
In [5, §2] the first author defined the category P = P k of strict polynomial superfunctors over
a field k. (The general assumption of perfectness in [5] only served to simplify the discussion of
Frobenius twists in [5, §2.7].) As in [25, §2], the theory can be generalized to the context of more
general coefficient rings. This section of the paper can be viewed simultaneously as a ‘superization’
of [25, §2] and as a translation from the original treatment of strict polynomial functors given by
Friedlander and Suslin to the modern treatment following the exposition of Pirashvili [22].
Throughout Appendix A, let A be a commutative superring of characteristic p 6= 2. In this
section we will often denote the tensor product of A-supermodules simply by V ⊗ W instead of
V ⊗A W , except when confusion is likely. For a detailed treatment of the theory of commutative
superrings and their supermodules, we refer the reader to thesis of Westra [29].
A.1. Strict polynomial superfunctors over commutative superrings. Define V A to be the
full subcategory of smodA having as objects the A-supermodules that are finitely-generated and
projective in smodA = (smodA )ev . Thus, each object in V A is a direct summand of some finitelygenerated free A-supermodule Am|n , which admits a homogeneous basis e1 , . . . , em+n such that
ei = 0 if 1 ≤ i ≤ m and ei = 1 if m + 1 ≤ i ≤ m + n. The category V A is closed under tensor
products (over A) and under the operation of taking A-linear duals: V 7→ V # := HomA (V, A).
Now let V ∈ smodA and let n ∈ N. The symmetric group Sn acts on V ⊗n on the right via super
place permutations, making V ⊗n a right module for the group superalgebra ASn := ZSn ⊗Z A.
Set Γn (V ) = ΓnA (V ) = (V ⊗n )Sn . Then Γn : V 7→ Γn (V ) is an endofunctor on smodA . If V ∈ V A is
free, then Γn (V ) is free and admits a basis of the form described in [5, 2.3.6]. The functor Γn also
satisfies the following bi-functorial exponential formula for each U, V ∈ V A (cf. [5, §2.5]):
L
(A.1.1)
Γn (U ⊕ V ) ∼
= i+j=n Γi (U ) ⊗ Γj (V ).
The exponential formula can be verified first when U and V are free by working with bases of the
type described in [5, (2.3.4)], and can then be verified for U and V arbitrary via naturality. (In
fact, the exponential formula is an isomorphism of strict polynomial bisuperfunctors over A, but it
is enough for us to consider it as an isomorphism of bifunctors on the category smodA .)

50

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Let U, V ∈ smodA . Repeated application of the supertwist map defines an isomorphism (U ⊗n ) ⊗
(V ⊗n ) ∼
= (U ⊗ V )⊗n , which is an isomorphism of Sn -modules if we consider (U ⊗n ) ⊗ (V ⊗n ) as a
right Sn -module via the diagonal map Sn → Sn × Sn . Then it follows that Γn (U ) ⊗ Γn (V ) is
naturally an A-subsupermodule of Γn (U ⊗ V ). In particular, if φ : U ⊗ V → W is an even A-linear
map, then there is a naturally defined induced even A-linear map
(A.1.2)

Γn (φ) : Γn (U ) ⊗ Γn (V ) → Γn (W ).

Now define Γn (V A ) to be the category whose objects are the same as those of V A , whose sets of
morphisms are defined by HomΓn (V A ) (V, W ) := Γn (HomA (V, W )), and in which composition of
morphisms is induced as in (A.1.2) by the composition of linear maps in V A .
Remark A.1.1. If φ ∈ HomA (V, W )0 , then φ⊗n ∈ Γn HomA (V, W ). In particular, if X, Y ∈ V A
are free A-supermodules having V and W as direct summands, respectively, then the (even)
inclusion and projection maps defining V and W as summands of X and Y can be used to
show that HomΓn (V A ) (V, W ) is a direct summand of the free A-supermodule HomΓn (V A ) (X, Y ) =
Γn HomA (X, Y ). Thus, the category Γn (V A ) is enriched over V A .
Recall that the external tensor product φ ⊠ ψ : V ⊗ V ′ → W ⊗ W ′ of maps φ ∈ HomA (V, V ′ ) and
ψ ∈ HomA (W, W ′ ) is defined by (φ ⊠ ψ)(v ⊗ v ′ ) = (−1)v·ψ φ(v) ⊗ ψ(v ′ ). Composition of morphisms
in Γn (V A ) can then be interpreted via the following lemma:
Lemma A.1.2. The external tensor product operation induces for each V, W ∈ V A an isomorphism
Γn HomA (V, W ) ∼
= HomASn (V ⊗n , W ⊗n )
that is compatible with composition of morphisms in Γn (V A ).
Proof. First let V, W ∈ V A , and let X, Y ∈ smodA . Then the external tensor product operation
defines an isomorphism
(A.1.3)

∼

⊠ : HomA (V, W ) ⊗ HomA (X, Y ) → HomA (V ⊗ X, W ⊗ Y ).

The reader can check that (A.1.3) is an isomorphism by first verifying the case when V, W ∈ V A
are free, and then using naturality to deduce the case when V, W ∈ V A are arbitrary. Next, let
⊠n : HomA (V, W )⊗n → HomA (V ⊗n , W ⊗n ) be the isomorphism obtained inductively from (A.1.3).
The reader can check that ⊠n is Sn -equivariant, with Sn acting on HomA (V, W )⊗n on the right by
super place permutations, and acting on HomA (V ⊗n , W ⊗n ) on the right by (φ.σ)(z) = [φ(z.σ −1 )].σ.
Taking Sn -fixed points, the result follows.

Definition A.1.3 (Strict polynomial superfunctor). A homogeneous degree-n strict polynomial
superfunctor over A is an even A-linear functor T : Γn (V A ) → V A , i.e., it is a covariant functor T : Γn (V A ) → V A such that for each V, W ∈ V A , the function TV,W : Γn HomA (V, W ) →
HomA (T (V ), T (W )) is an even A-linear map. A homomorphism η : S → T of homogeneous
degree-n strict polynomial superfunctors consists for each V ∈ V A of an A-linear map η(V ) ∈
HomA (S(V ), T (V )) such that for each φ ∈ HomΓn (V A ) (V, W ),
η(W ) ◦ S(φ) = (−1)η·φ T (φ) ◦ η(V ).
We denote by P n,A the category whose objects are the homogeneous degree-n strict polynomial
superfunctors over A and whose morphisms are the homomorphisms between those functors, and
Q
we denote by P A the category n∈N P n,A of arbitrary strict polynomial superfunctors over A.

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

51

Example A.1.4 (The parity change functor Π). The parity change functor Π ∈ P 1,A acts on an
object V ∈ V A by reversing the Z2 -grading of V but leaving the right A-supermodule structure
of V unchanged. On morphisms, Π sends a map φ ∈ HomA (V, W ) to the same map between the
underlying right A-supermodules. Thus, if v π denotes the element v ∈ V considered as an element
of Π(V ), then the right action of a ∈ A is given by v π .a = (v.a)π , while the left action is given by
a.v π = (−1)a (a.v)π . The map v 7→ v π defines an odd isomorphism V ≃ Π(V ).
Remark A.1.5. If R is a not necessarily commutative superalgebra (e.g., R = kMr;s , which is
commutative in the ordinary sense but not in the sense of superalgebras), and if V is an R-supermodule, then we define the action of R on Π(V ) via the same sign conventions as in Example
A.1.4. Thus, if V is a right R-supermodule, then the actions of R on the underlying sets of V and
Π(V ) are the same, while if V is a left R-supermodule, the left action of R on Π(V ) is obtained by
twisting the action on V by the automorphism r 7→ (−1)r r of R.
Note that if V is an R-supermodule and v ∈ V is odd, then there exists a surjective even Rsupermodule homomorphism Π(R) ։ R.v, r π 7→ (−1)r r.v, where R.v denotes the R-submodule of
V generated by v. From this it immediately follows that any finitely-generated R-supermodule is
a quotient via an even R-supermodule homomorphism of a finite direct sum of copies of the free
rank-one R-supermodules R and Π(R).
Example A.1.6. Given F ∈ P n,A , the dual functor F # ∈ P n,A is defined on objects by F # (V ) =
F (V # )# . There is a natural identification F ∼
= F ## , and the assignment F 7→ F # defines a (super)
anti-equivalence on P n,A . For more details, see [5, §2.2].
Example A.1.7. The symmetric, exterior, divided, and alternating power functors defined in [5,
§2.3] admit immediate generalizations to P n,A , which we denote by S n = S nA , Λn = ΛnA , Γn = ΓnA ,
and An = AnA , respectively. If X is one of these functors, and if V ∈ V A is free, then X(V ) is
free as well, with a basis of the form described in [5, §2.3]. Each of these functors also satisfies
an exponential formula of the form (A.1.1). The reader can check that the duality isomorphisms
S∼
= Γ# and Λ ∼
= A# of [5, §2.6] also generalize to the context of strict polynomial superfunctors
over A; the duality isomorphisms can be checked first when V ∈ V A is free by using bases, and
then for V ∈ V A arbitrary by using functoriality.
Remark A.1.8. Given V ∈ smodA , write GL(V ) for the group of even A-linear automorphisms of
V . Now let T ∈ P n,A and V ∈ V A . If g ∈ GL(V ) ⊂ HomA (V, V )0 , then g⊗n ∈ Γn HomA (V, V ), and
hence TV,V (g⊗n ) is an invertible element in HomA (T (V ), T (V )). Thus, T (V ) is naturally equipped
with the structure of a GL(V )-supermodule.
The category P A is not abelian, though the underlying even subcategory (P A )ev , having the
same objects but only the even homomorphisms as morphisms, is an exact category in the sense
of Quillen, with the admissible short exact sequences 0 → T ′ → T → T ′′ → 0 being those that are
exact when evaluated on any V ∈ V A . Now for V ∈ V A , set Γn,V = Γn HomA (V, −). It follows
from Remark A.1.1 that Γn,V ∈ P n,A . By Yoneda’s Lemma, there exists for each T ∈ P n,A a
natural isomorphism HomP A (Γn,V , T ) ∼
= T (V ). This implies that Γn,V is projective in (P n,A )ev .
Proposition A.1.9. Let T ∈ P n,A , and set V = An|n . Then for all W ∈ V A , the canonical map
Γn (HomA (V, W )) ⊗ T (V ) → T (W )
induced by the function TV,W : Γn HomA (V, W ) → HomA (T (V ), T (W )) and by evaluation on T (V )
is a surjection. In particular, Γn,V ⊕ (Π ◦ Γn,V ) is a projective generator in (P n,A )ev .

52

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Proof. It suffices by [28, Proposition A.1] (or rather, by its evident generalization to a supercommutative coefficient ring) to show for each X, Y ∈ V A that composition of morphisms in Γn (V A )
induces a surjective map
(A.1.4)

HomΓn (V A ) (V, Y ) ⊗ HomΓn (V A ) (X, V ) → HomΓn (V A ) (X, Y ).

This can be checked first when X, Y ∈ V A are free by arguing as in the proof of [27, Lemma 2.3]
or [2, Theorem 4.2] using bases. From that case, the result can then be deduced using naturality
when X, Y ∈ V A are arbitrary.

By virtue of the preceding proposition, the exact category (P A )ev has enough projectives. This
means that we can do homological algebra in P A , and can define the extension groups Ext•P A (T, T ′ )
for each T, T ′ ∈ P A ; cf. [5, §3.2].
A.2. Base change. Let A′ be a commutative A-superalgebra. Given V ∈ smodA , write VA′ for the
A′ -supermodule V ⊗A A′ obtained via base change from V . Base change is left adjoint to the forgetful
functor from A′ -supermodules to A-supermodules, i.e., if W ′ ∈ smodA′ , then there is a canonical
identification HomA (V, W ′ ) = HomA′ (VA′ , W ′ ). In particular, HomA′ (A′ , A′ ) = HomA (A, A′ ) ∼
= A′ .
Now for V, W ∈ V A , define
(A.2.1)

νA′ : HomA (V, W ) ⊗A A′ → HomA (V, W ⊗A A′ ) = HomA′ (VA′ , WA′ )
′

by νA′ (φ ⊗ a′ )(v) = (−1)a ·v φ(v) ⊗ a′ . Identifying A′ with HomA (A, A′ ) as a left A-supermodule,
(A.2.1) is an isomorphism by (A.1.3). More generally, base change induces an isomorphism
(A.2.2)

HomΓn (V A ) (V, W )A′ ∼
= HomΓn (V A′ ) (VA′ , WA′ )

that is compatible with the composition of morphisms. To see this, first observe that if V ∈ V A ,
then ΓnA (V )A′ ∼
= ΓnA′ (VA′ ); this can be verified first when V is free by using bases as in [5, 2.3.6],
and then for arbitrary V by using the exponential property of Γn . Next, another application of
(A.1.3) shows for W ∈ V A that HomA (V, W ) ∼
= W ⊗A HomA (V, A) = W ⊗A V # , and hence that
HomA (V, W ) ∈ V A whenever V, W ∈ V A . Together these observations imply (A.2.2). From now
on we will identify the two sides of (A.2.1) and (A.2.2), respectively.
Now given V ′ ∈ V A′ , define V A (V ′ ) to be the category whose objects consist of all pairs (V, φ)
such that V ∈ V A and φ ∈ HomΓn (V A′ ) (VA′ , V ′ )0 , and whose morphisms are defined by

HomV A (V ′ ) ((V1 , φ1 ), (V2 , φ2 )) = ψ ∈ [HomΓn (V A ) (V1 , V2 )]A′ : φ2 ◦ ψ = φ1 .

Note that each morphism ψ : (V1 , φ1 ) → (V2 , φ2 ) must be even because φ1 and φ2 are both even by
definition. The category V A (V ′ ) forms a directed system, since for any pair (V1 , φ1 ) and (V2 , φ2 )
of objects in V A (V ′ ), there exist morphisms from the pair into (V1 ⊕ V2 , φ1 ⊕ φ2 ), where φ1 ⊕ φ2 is
defined as follows: The direct sum decomposition (V1 ⊕ V2 )A′ = (V1 )A′ ⊕ (V2 )A′ and the exponential
property for ΓnA′ give rise to a direct sum decomposition
M
HomΓi (V ′ ) ((V1 )A′ , V ′ ) ⊗ HomΓj (V ′ ) ((V2 )A′ , V ′ ).
HomΓn (V A′ ) ((V1 ⊕ V2 )A′ , V ′ ) ∼
=
A

A

i+j=n

Then φ1 ⊕ φ2 ∈ HomΓn (V A′ ) ((V1 ⊕ V2 )A′ , V ′ ) is the evident function induced by φ1 and φ2 that
vanishes on all summands except i = n and i = 0. Now the morphism (V1 , φ1 ) → (V1 ⊕ V2 , φ1 ⊕ φ2 )
is simply (ι⊗n
1 )A′ , where ι1 : V1 → V1 ⊕ V2 is the inclusion, and similarly for (V2 , φ2 ).
If T ∈ P n,A , then (TV1 ,V2 )A′ := TV1 ,V2 ⊗A A′ defines an even A′ -linear map
(TV1 ,V2 )A′ : [HomΓn (V A ) (V1 , V2 )]A′ → [HomA (T (V1 ), T (V2 ))]A′ = HomA′ (T (V1 )A′ , T (V2 )A′ ).

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

53

Then the assignment (V, φ) 7→ T (V )A′ gives rise to a functor V A (V ′ ) → smodA′ , which we denote
by T (−)A′ . In fact, T (−)A′ has image in the underlying even subcategory smodA′ of smodA′ , since
all homomorphisms in V A (V ′ ) are even. This ensures that the direct limit
TA′ (V ′ ) :=

(A.2.3)

lim
−→

T (V )A′

(V,φ)∈V A (V ′ )

is an A′ -supermodule. Concretely, TA′ (V ′ ) identifies with the quotient
M

T (V )A′
z − [(TV1 ,V2 )A′ (ψ)(z)] : z ∈ T (V1 )A′ , ψ ∈ HomV A (V ′ ) ((V1 , φ1 ), (V2 , φ2 )) ,
(A.2.4)
(V,φ)

where the direct sum is taken over all objects (V, φ) ∈ V A (V ′ ). In particular, since each morphism
in V A (V ′ ) is even, the submodule of relations is generated by the relations with z homogeneous,
and hence is a subsupermodule of the direct sum.
Remark A.2.1. If V ∈ V A , then (V, 1VA′ ) is a final object in V A (VA′ ), hence TA′ (VA′ ) = T (V )A′ .
Remark A.2.2. Let W ′ ∈ V A′ , and let θ ∈ HomA′ (V ′ , W ′ )0 . Then θ ⊗n ∈ HomΓn (V A′ ) (V ′ , W ′ ),
and the assignment (V, φ) 7→ (V, θ ⊗n ◦ φ) evidently defines a functor θ : V A (V ′ ) → V A (W ′ ).
Passing to the directed system of A-supermodules [T (V )A′ ](V,φ)∈V A (V ′ ) , the functor θ induces an
even A′ -supermodule homomorphism TA′ (θ) : TA′ (V ′ ) → TA′ (W ′ ). In terms of the direct sum in
(A.2.4), the map TA′ (θ) is induced by sending the summand T (V )A′ corresponding to (V, φ) ∈
V A (V ′ ) identically onto the summand T (V )A′ corresponding to (V, θ ⊗n ◦ φ) ∈ V A (W ′ ). From this
description it immediately follows that TA′ defines a functor TA′ : (V A′ )ev → smodA′ .
Now let X ′ ∈ V A′ be a free A′ -supermodule having V ′ as a direct summand, and let ι : V ′ ֒→ X ′
and π : X ′ ։ V ′ be the corresponding even inclusion and projection maps. Then TA′ (π) ◦ TA′ (ι) =
1TA′ (V ′ ) , and hence TA′ (V ′ ) is direct summand of TA′ (X ′ ). Since X ′ is free, X ′ = XA′ for some free
A-supermodule X ∈ V A . Then TA′ (X ′ ) = TA′ (XA′ ) = T (X)A′ by Remark A.2.1. In particular,
since base change takes objects in V A to objects in V A′ , we can conclude that TA′ (V ′ ) ∈ V A′ , and
hence that TA′ defines a functor TA′ : (V A′ )ev → (V A′ )ev .
Proposition A.2.3. Let A′ be a commutative A-superalgebra, let T ∈ P n,A , and let TA′ be as
defined in (A.2.3). Then TA′ admits the structure of a homogeneous degree-n strict polynomial
superfunctor over A′ . With this structure, the base change functor P n,A → P n,A′ , T 7→ TA′ , is left
adjoint to the restriction functor P n,A′ → P n,A : T ′ 7→ T ′ (− ⊗A A′ ).
Proof. We observed in Remark A.2.2 that TA′ (V ′ ) ∈ V A′ for each V ′ ∈ V A′ , so it suffices to exhibit
the appropriate strict polynomial structure on TA′ . Let V ′ , W ′ ∈ V A′ , and choose free supermodules
X ′ , Y ′ ∈ V A′ having V ′ and W ′ as direct summands, respectively. Write X ′ = XA′ and Y ′ = YA′
for some free A-supermodules X, Y ∈ V A . Then as in Remarks A.1.1 and A.2.2, the various even
inclusion and projection maps defining V ′ and W ′ as summands of X ′ and Y ′ can be used to define
the first and last arrows in the following composition of even A′ -supermodule homomorphisms:
(A.2.5)

HomΓn (V A′ ) (V ′ , W ′ ) → HomΓn (V A′ ) (X ′ , Y ′ )
= HomΓn (V A ) (X, Y )A′

(TX,Y )A′

−→

HomA (T (X), T (Y ))A′

= HomA′ (TA′ (X ′ ), TA′ (Y ′ )) → HomA′ (TA′ (V ′ ), TA′ (W ′ )).
We will take (A.2.5) to be the definition of the structure morphism (TA′ )V ′ ,W ′ , once we show that
it is independent of the particular choices involving X ′ and Y ′ , and that is is compatible with the
composition of morphisms in Γn (V A′ ).

54

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

Suppose U ′ , Z ′ ∈ V A′ are some other free modules having V ′ and W ′ as direct summands, and let
U, Z ∈ V A be A-forms for U ′ and Z ′ . Write X ′ = V ′ ⊕X ′′ and U ′ = V ′ ⊕U ′′ for some U ′′ , X ′′ ∈ V A′ ,
and then define the map αU ′ ,X ′ ∈ HomA′ (U ′ , X ′ ) to be the identity on V ′ and zero on U ′′ . Let
βY ′ ,Z ′ ∈ HomA (Y ′ , Z ′ ) be defined analogously. Since HomA′ (U ′ , X ′ ) = HomA (U, X)A′ , αU ′ ,X ′ can
be expressed as an A′ -linear combination of elements of HomA (U, X), which by abuse of notation
we will denote (αU,X )A′ . Similarly, we can write βY ′ ,Z ′ in the form (βY,Z )A′ . Now using these
maps, one can construct a two-row commutative diagram whose top row is the sequence of maps
in (A.2.5), whose bottom row is the corresponding sequence constructed using U ′ and Z ′ instead of
X ′ and Y ′ , and whose outermost vertical maps are the identity maps. Then by the commutativity
of the diagram, (TA′ )V ′ ,W ′ is well-defined. The compatibility between composition of morphisms
and the base change isomorphism (A.2.2) also allows one to show that TA′ (φ) ◦ TA′ (φ′ ) = TA′ (φ ◦ φ′ )
whenever φ and φ′ are composable morphisms in Γn (V A′ ). Thus, TA′ admits the structure of a
degree-n strict polynomial superfunctor over A′ .
To verify the last assertion of the proposition, let T ′ ∈ P n,A′ and let η ′ ∈ HomP A′ (TA′ , T ′ ). Then
for each V ∈ V A one gets the corresponding map η ′ (VA′ ) : TA′ (VA′ ) → T ′ (VA′ ). But TA′ (VA′ ) =
T (V )A′ by Remark A.2.1, so
η ′ (VA′ ) ∈ HomA′ (T (A)A′ , T ′ (VA′ )) = HomA (T (V ), T ′ (VA′ )).
Then the fact that η ′ was a homomorphism in P n,A′ implies that the family of induced maps
η(V ) : T (V ) → T ′ (VA′ ) defines a homomorphism η : T → T ′ (− ⊗A A′ ) in P A .
Conversely, let η ∈ HomP A (T, T ′ (− ⊗A A′ )), and let V ′ ∈ V A′ . Then for each object (V, φ) in
the category V A (V ′ ) we get the composite A-supermodule homomorphism
η(V )

T ′ (φ)

T (V ) −→ T ′ (VA′ ) −→ T ′ (V ′ ),
and hence an A′ -supermodule homomorphism η ′ (V ) : T (V )A′ → T ′ (V ′ ). Varying over all (V, φ), it
follows that the η ′ (V ) induce a unique A′ -supermodule homomorphism η ′ (V ′ ) : TA′ (V ′ ) → T ′ (V ′ ).
The reader can then check that the family of maps η ′ (V ′ ) for V ′ ∈ V A′ defines a homomorphism
η ′ : TA′ → T ′ in P A′ . The two constructions η ′ 7→ η and η 7→ η ′ described in this paragraph and the
preceding are mutually inverse to each other, so this proves the last assertion of the proposition. 
An immediate consequence of base change being left adjoint to restriction is:
Corollary A.2.4. Let T ∈ P n,A . If T (−) ⊗A A′ ∼
= T ′ (− ⊗A A′ ) as strict polynomial superfunctors
′
′
in P n,A for some T ∈ P n,A′ , then TA′ ∼
=T .
Remark A.2.5. The notation T 7→ TA′ for the base change operation is potentially ambiguous
when it is applied to one of the classical exponential superfunctors S, Λ, Γ, or A, since we sometimes
used the subscript A to emphasize the ambient coefficient superring. However, each of these
functors is defined over the prime ring of A (i.e., over Z or Fp for some prime p, depending on
the characteristic of A), and then one can use Corollary A.2.4 to check that the functor over A
identifies with the base change of the corresponding functor over the prime ring.
Remark A.2.6. The proposition defines the base change TA′ ∈ P n,A′ of a homogenous strict
polynomial superfunctor T ∈ P n,A . The base change of a non-homogeneous strict polynomial
L
Q
superfunctor T = n∈N T n ∈ n∈N P n,A = P A is then defined componentwise.
Proposition A.2.7. Let A′ be a commutative superalgebra. The base change functor P n,A → P n,A′
that sends T to TA′ is exact and maps projectives in (P n,A )ev to projectives in (P n,A′ )ev . For each

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

55

S, T ∈ P n,A , base change induces an isomorphism
HomP A (S, T ) ⊗A A′ ∼
= HomP A′ (SA′ , TA′ ).
Proof. The proof is essentially the same as the proof of [25, Proposition 2.6].



Corollary A.2.8. For any S, T ∈ P A , there exists a canonical homomorphism
Ext•P A (S, T ) ⊗A A′ → Ext•P A′ (SA′ , TA′ ),
which is an isomorphism if A′ is flat over A.
A.3. Frobenius twists. Now suppose A is a commutative superalgebra of characteristic p ≥ 3.
Since A is commutative, the Frobenius (i.e., p-th power) map ϕ : A → A satisfies ϕ(a0 +a1 ) = ap0 for
a0 ∈ A0 and a1 ∈ A1 . It follows that ϕ is an Fp -superalgebra homomorphism. Now for V ∈ smodA
and r ∈ N, set V (r) = V ⊗ϕr A, the base change of V with respect to the r-th iterate of ϕ. Given
v ∈ V , write v (r) for the element v ⊗ϕr 1 of V ⊗ϕr A. Thus, if V ∈ V A is free with homogeneous
(r)
(r)
basis v1 , . . . , vn , then V (r) is free with basis v1 , . . . , vn . Since the assignment I (r) : V 7→ V (r)
is clearly additive, this implies that I (r) defines a functor I (r) : V A → V A , which satisfies the
following properties for V, W ∈ V A :
• (V ⊗A W )(r) = V (r) ⊗A W (r) ,
• HomA (V, W )(r) ∼
= HomA (V (r) , W (r) ), and
(r)
#
(r)
∼
• (V ) = (V )# .
∼

Explicitly, the isomorphism Φ : HomA (V, W )(r) → HomA (V (r) , W (r) ) is defined by Φ(φ(r) )(v (r) ) =
r
φ(v)(r) . Then taking W = A, and identifying A(r) with A via the map a ⊗ϕr a′ 7→ ap a′ , the
r
∼
isomorphism Θ : (V # )(r) → (V (r) )# = HomA (V (r) , A) is defined by Θ(φ(r) )(v (r) ) = [φ(v)]p .
L
Recall from Example A.1.7 the symmetric superalgebra functor S = n∈N S n ∈ P A . Then for
each V ∈ V, S(V ) is a commutative A-superalgebra, and the function ϕr (V ) : S(V )(r) → S(V )
r
defined by s ⊗ϕr a 7→ sp · a is an even A-linear map. Via the duality isomorphism Γ ∼
= S # , the
family of maps ϕr (V ) for V ∈ V A corresponds to a family of even A-linear maps
(ϕr )# (V ) : Γ(V ) → Γ(V )(r) for V ∈ V A .
Then I (r) admits the structure of a homogeneous degree-pr strict polynomial superfunctor over A,
with the action of I (r) on morphisms defined by
(r)

r

(A.3.1) I V,W := (ϕr )# (HomA (V, W )) : Γp HomA (V, W ) → HomA (V, W )(r) = HomA (V (r) , W (r) )
Since for each V ∈ V A the map ϕr (V ) has its image in the subalgebra S(V0 ) of S(V ), it follows for
each V, W ∈ V A that (A.3.1) has its image in the even subspace HomA (V (r) , W (r) )0 . If V ∈ V A is
free, then ϕr (V ) admits an explicit description on the generators of Γ(V ) as in [5, (2.7.2)].
Remark A.3.1 (Purely even superrings). Suppose A is a purely even commutative Fp -superalgebra,
i.e., a commutative Fp -algebra in the usual sense. Then the decomposition V = V0 ⊕ V1 of an Asupermodule V into its even and odd subspaces is also an A-module direct sum decomposition of
V . The decomposition V = V0 ⊕ V1 is not functorial (for example, the projection V 7→ V0 is not
compatible with the composition of odd isomorphisms V ≃ Π(V ) ≃ V ), and hence does not lift to
a direct sum decomposition of the identity functor I ∈ P 1,A . On the other hand, since for r ≥ 1
the map (A.3.1) has its image in the subspace
(r)

(r)

(r)

(r)

HomA (V (r) , W (r) )0 = HomA (V0 , W0 ) ⊕ HomA (V1 , W1 ),

56

CHRISTOPHER M. DRUPIESKI AND JONATHAN R. KUJAWA

it follows that the Frobenius twist I (r) ∈ P pr ,A admits a direct sum decomposition
(r)

(r)

I (r) = I 0 ⊕ I 1

such that I 0 (r) (V ) = V0 (r) and I 1 (r) (V ) = V1 (r) for each V ∈ V A . Additionally, the functors I 0 (r) ,
I 1 (r) , and Π are related by the identity I 1 (r) = Π ◦ I 0 (r) ◦ Π. When it is necessary to emphasize
the particular base ring, we will denote I 0 (r) and I 1 (r) by I 0,A (r) and I 1,A (r) , respectively.
Remark A.3.2 (Base change of Frobenius twists). Let A ∈ csalgk , and let (I 0,k (r) )A ∈ P pr ,A be
the functor obtained from I 0,k (r) ∈ P pr ,k via base change to A. Then
(r)

(r)

(r)

(I 0,k )A (Am|n ) = (I 0,k )A (km|n ⊗k A) = I 0,k (km|n ) ⊗k A = (km|0 )(r) ⊗k A,
r

and (Am|0 )(r) = (km|0 ⊗k A)(r) identifies with (km|0 )(r) ⊗k A via (v ⊗ a)(r) 7→ v (r) ⊗ ap . Then
(I 0,k (r) )A (Am|n ) = (Am|0 )(r) ,

and similarly,

(I 1,k (r) )A (Am|n ) = (A0|n )(r) .

Now for A purely even, one can use Corollary A.2.4 to check that (I 0,k (r) )A identifies with I 0,A (r) ,
and similarly to check that (I 1,k (r) )A identifies with I 1,A (r) .
References
1. G. S. Avrunin and L. L. Scott, Quillen stratification for modules, Invent. Math. 66 (1982), no. 2, 277–286.
2. J. Axtell, Spin polynomial functors and representations of Schur superalgebras , Represent. Theory 17 (2013),
584–609.
3. J. F. Carlson, The varieties and the cohomology ring of a module, J. Algebra 85 (1983), no. 1, 104–143.
4. C. M. Drupieski, Cohomological finite generation for restricted Lie superalgebras and finite supergroup schemes ,
Represent. Theory 17 (2013), 469–507.
5.
, Cohomological finite generation for finite supergroup schemes, Adv. Math. 288 (2016), 1360–1432.
6.
, Corrigendum to “Cohomological finite generation for finite supergroup schemes” [Adv. Math. 288 (2016) 1360–1432] ,
Adv. Math. 311 (2017), 935–937.
7. C. M. Drupieski and J. R. Kujawa, On support varieties for Lie superalgebras and finite supergroup schemes,
preprint, 2016, arXiv:1601.04565.
8.
, On the cohomological spectrum and support varieties for infinitesimal unipotent supergroup schemes,
preprint, 2017, arXiv:1712.05434.
9. E. M. Friedlander, Support varieties for rational representations , Compos. Math. 151 (2015), no. 4, 765–792.
10.
, Filtrations, 1-parameter subgroups, and rational injectivity, Adv. Math. 323 (2018), 84–113.
11. E. M. Friedlander and B. J. Parshall, Cohomology of Lie algebras and algebraic groups, Amer. J. Math. 108
(1986), no. 1, 235–253 (1986).
, Support varieties for restricted Lie algebras, Invent. Math. 86 (1986), no. 3, 553–562.
12.
13.
, Geometry of p-unipotent Lie algebras, J. Algebra 109 (1987), no. 1, 25–45.
14. E. M. Friedlander and J. Pevtsova, Representation-theoretic support spaces for finite group schemes, Amer. J.
Math. 127 (2005), no. 2, 379–420.
15.
, Π-supports for modules for finite group schemes , Duke Math. J. 139 (2007), no. 2, 317–368.
16. E. M. Friedlander and A. Suslin, Cohomology of finite group schemes over a field , Invent. Math. 127 (1997),
no. 2, 209–270.
17. W. D. Hardesty, D. K. Nakano, and P. Sobaje, On the existence of mock injective modules for algebraic groups ,
Bull. Lond. Math. Soc. 49 (2017), no. 5, 806–817.
18. J. C. Jantzen, Representations of algebraic groups, second ed., Mathematical Surveys and Monographs, vol. 107,
American Mathematical Society, Providence, RI, 2003.
19. J. W. Milnor and J. C. Moore, On the structure of Hopf algebras, Ann. of Math. (2) 81 (1965), 211–264.
20. D. K. Nakano and J. H. Palmieri, Support varieties for the Steenrod algebra, Math. Z. 227 (1998), no. 4, 663–684.
21. J. H. Palmieri, A note on the cohomology of finite-dimensional cocommutative Hopf algebras , J. Algebra 188
(1997), no. 1, 203–215.

GRADED ANALOGUES OF ONE-PARAMETER SUBGROUPS

57

22. T. Pirashvili, Introduction to functor homology, Rational representations, the Steenrod algebra and functor homology, Panor. Synthèses, vol. 16, Soc. Math. France, Paris, 2003, pp. 1–26.
23. S. B. Priddy, Koszul resolutions, Trans. Amer. Math. Soc. 152 (1970), 39–60.
24. D. Quillen, The spectrum of an equivariant cohomology ring. I, II, Ann. of Math. (2) 94 (1971), 549–572; ibid.
(2) 94 (1971), 573–602.
25. A. Suslin, E. M. Friedlander, and C. P. Bendel, Infinitesimal 1-parameter subgroups and cohomology , J. Amer.
Math. Soc. 10 (1997), no. 3, 693–728.
26.
, Support varieties for infinitesimal group schemes , J. Amer. Math. Soc. 10 (1997), no. 3, 729–759.
27. A. Touzé, Cohomology of classical algebraic groups from the functorial viewpoint , Adv. Math. 225 (2010), no. 1,
33–68.
, Ringel duality and derivatives of non-additive functors , J. Pure Appl. Algebra 217 (2013), no. 9, 1642–
28.
1673.
29. D. B. Westra, Superrings and supergroups , Ph.D. thesis, Universitat Wien, October 2009.
30. C. Wilkerson, The cohomology algebras of finite-dimensional Hopf algebras, Trans. Amer. Math. Soc. 264 (1981),
no. 1, 137–150.
Department of Mathematical Sciences, DePaul University, Chicago, IL 60614, USA
E-mail address: c.drupieski@depaul.edu
Department of Mathematics, University of Oklahoma, Norman, OK 73019, USA
E-mail address: kujawa@math.ou.edu

