Introduction
For a (group) scheme over a field k of characteristic
$p>0$
, its “perfection” is defined as the inverse limit over the Frobenius homomorphism. In this paper, we study the perfection of group schemes and their representation theory. We place particular emphasis on reductive groups. We obtain an intrinsic characterisation (“perfectly reductive groups”) and give a classification in terms of root data “with p inverted”. We also give a highest weight classification of simple modules for perfectly reductive groups, establish the block decomposition, and make a first step towards the study of multiplicity questions. Finally, we prove that perfectly reductive groups and the classifying spaces of compact Lie groups localised away from p are classified by the same data. This result is the “perfect analogue” of the fact that reductive groups over algebraically closed fields and compact Lie groups are both classified by root data.
The motivations for the current work were three-fold and came from several directions. Before describing the structure of this paper in more detail, we outline these motivations and possible future directions.
Perfect representability
Sometimes functors on rings in characteristic p are only well-behaved on perfect algebras (that is, algebras for which the Frobenius homomorphism is an isomorphism). A prominent example is the functor of Witt vectors and its relatives. An important observation (see, for instance, [Reference Bhatt and ScholzeBS, Reference Boyarchenko and DrinfeldBD, Reference ZhuZh]) is that if a functor on the category of perfect commutative k-algebras can be represented by a scheme, it determines the scheme “up to perfection”. An example of such a setting is the Witt vector affine Grassmannian, which plays a prominent role in recent advances in the Langlands program.
It is important that passage to the perfection gives an isomorphism of étale topoi. In particular, constructions built via étale sheaves (like étale cohomology, or categories of perverse sheaves in the étale topology) are insensitive to passage to the perfection. This fact plays an important role in [Reference ZhuZh], where a mixed characteristic analogue of the geometric Satake equivalence is obtained. Similarly, it plays an important role in [Reference Boyarchenko and DrinfeldBD], where the “Serre dual” of a unipotent group is shown to be the perfection of a unipotent group, and its character sheaves are studied.
By the above, also the étale homotopy type of a (simplicial) scheme only depends on its perfection. In [Reference FriedlanderFr], Friedlander used this homotopy type to construct interesting maps between topological localisations of classifying spaces of compact Lie groups, based on (exceptional) isogenies in positive characteristic. This is one of the main results we rely on to establish our bijection between perfectly reductive groups and localised classifying spaces.
Fractal representation theory
For a (reduced) group scheme defined over
$\mathbb {F}_p$
, the Frobenius twist realises its category of representations as a full subcategory of itself. This self-similarity induces a fractal-like structure. For example, Figure 1 shows a classic picture of the non-zero weight spaces of simple modules for
$SL_2$
in characteristic
$3$
. (For the reader unfamiliar with this picture, it may be helpful to note that it simply depicts the (non)-vanishing behaviour of Pascal’s triangle modulo p; see, for instance, [Reference WilliamsonWi, §1].) This picture is fractal-like, but not genuinely fractal: one can “zoom out” but one cannot “zoom in” indefinitely since the Frobenius homomorphism is not an isomorphism. By passing to the perfection, one gets a genuine fractal. One goal (not realised in the current paper) is to use this fractal structure to say something about important open questions in representation theory like dimensions and characters of simple modules.
Characters of simple modules for
$SL_2$
in characteristic
$p = 3$
.
Much of the difficulty in the representation theory of reductive groups in characteristic p remains after perfecting. We do observe two interesting simplifications. Firstly, the complexities of the block decomposition disappear after passage to the perfection (see Theorem 5.1.5). Secondly, perfect representation theory appears to provide the correct setting for the generic cohomology results of [Reference Cline, Parshall, Scott and van der KallenCPSV]: for a perfectly reductive group, extensions computed inside algebraic representations agree with extensions computed as abstract groups (see Theorem 5.2.2). (That perfect group schemes provide the correct setting for generic cohomology was suggested by Donkin in the early 1980s and proved by Wang [Reference WangW].)
Tensor categories in characteristic p
Over fields of characteristic zero, a famous theorem of Deligne classifies those tensor categories which admit a fibre functor to super vector spaces as precisely those of moderate growth [Reference DeligneD]. It is a fascinating open problem to find an analogue of this theorem in characteristic p, with many potential applications to modular representation theory. Recently, this problem was solved in [Reference Coulembier, Etingof and OstrikCEO] for tensor categories with exact Frobenius functor. An important technical tool was a limit procedure in [Reference Coulembier, Etingof and OstrikCEO, §6] which, by restriction to representation (tensor) categories of affine group schemes, generalises perfection of group schemes. Remarkably, the “perfection” of a Frobenius exact tensor category of moderate growth essentially returns the representation category of a perfect group scheme. In other words, up to perfection, all Frobenius exact tensor categories of moderate growth arise from (perfect) group schemes. We consider this as further evidence for their importance.
Structure of the paper
Motivated by the above considerations, we initiate a systematic study of perfecting group schemes. The paper is organised as follows:
In Section 1, we investigate the purely combinatorial problem of describing root data over the ring
$\mathbb {Z}[1/p]$
, for later use in our classification results. In Section 2, we derive some general results on perfect schemes. In Section 3, we start studying the perfections of group schemes. We study perfect subgroups of perfect groups and their quotients. We also obtain criteria for when two group schemes perfect to isomorphic groups and derive some results on the perfections of the additive and multiplicative groups. In Section 4, we classify perfectly reductive groups by their
$\mathbb {Z}[1/p]$
-root data. In Section 5, we study the representation theory of perfectly reductive groups. We classify simple modules and realise them as socles of induced modules from Borel subgroups. Then we show that the block decomposition simplifies considerably compared to the non-perfect case; in fact, blocks are governed by the root lattice. We also show that extension groups for the perfected groups are given in terms of generic cohomology in the sense of [Reference Cline, Parshall, Scott and van der KallenCPSV]. This actually implies that extensions in the category of (rational) representations over the perfected reductive group can be computed in the category of representations of the abstract group of
$\overline {\mathbb {F}}_p$
-points. In Section 6, we prove that
$\mathbb {Z}[1/p]$
-root data also classify the localisations away from p of the classifying spaces of compact connected Lie groups. Finally, in Section 7, we present some explicit computations for extension groups, decomposition multiplicities and line bundle cohomology for perfected
$SL_2$
. We also make explicit the fractal behaviour of perfected representation theory for
$SL_2$
.
1 Root data over rings
For the entire section, we assume that D is a principal ideal domain of characteristic
$0$
. By a D-lattice, we understand a finitely generated free D-module. Because D is a PID, we could replace “free” by “projective”, so our definition agrees with standard terminology (e.g. in [Reference Curtis and ReinerCR]). For a lattice V, we have the dual lattice
$V^\ast :=\mathrm {Hom}_D(V,D)$
.
1.1 Reflection groups and root data
We follow the definition of root data of, for instance, [Reference GrodalGr].
Definition 1.1.1.
-
(0) A reflection
$\sigma \in \mathrm {Aut}_D(V)$
, for a D-lattice V, is a non-trivial automorphism that fixes every element of a submodule
$V'\subset V$
for which
$V/V'$
is free of rank 1. -
(1) A
$\mathbf {D}$
-reflection group is a pair
$(W,V)$
, where V is a D-lattice and
$W<\mathrm {Aut}_D(V)$
is a subgroup generated by reflections. We say
$(W,V)$
is finite if W is a finite group. -
(2) A
$\mathbf {D}$
-root datum is a triple
$(W,V,\{P_\sigma \})$
, where
$(W,V)$
is a finite D-reflection group and
$\{P_\sigma \}$
is a collection of rank one submodules of V, indexed by the set
$\{\sigma \}$
of reflections in W, satisfying-
(a)
$\mathrm {im}(1-\sigma )\subset P_\sigma $
and -
(b)
$w(P_\sigma )=P_{w\sigma w^{-1}}$
for all
$w\in W$
.
-
An isomorphism of D-reflection groups
$(W,V)\xrightarrow {\sim }(W',V')$
is an isomorphism
$\varphi :V\to V'$
with
$W'=\varphi W\varphi ^{-1}$
. An isomorphism of D-root data
$(W,V,\{P_\sigma \})\xrightarrow {\sim }(W',V',\{P^{\prime }_\sigma \})$
is such an isomorphism
$\varphi :V\to V'$
satisfying additionally
$\varphi (P_\sigma ) = P^{\prime }_{\varphi \sigma \varphi ^{-1}}$
for each reflection
$\sigma \in W$
.
1.1.2
A
$\mathbb {Z}$
-reflection group
$(W,V)$
yields a D-reflection group
$D\otimes (W,V):= (W,D\otimes V)$
via extension of scalars. Similarly, for a root datum
$(W,V,\{P_\sigma \})$
over
$\mathbb {Z}$
, we have the D-root datum
$D\otimes (W,V,\{P_\sigma \}):=(W,D\otimes V,\{DP_\sigma \})$
.
Lemma 1.1.3. If there exists an embedding
$D\hookrightarrow \mathbb {Q}$
, then every D-root datum is the extension of scalars of a
$\mathbb {Z}$
-root datum.
Proof. Let
$(W,V)$
be a D-reflection group. Starting from a
$\mathbb {Z}$
-lattice in V and acting on it with W shows there exists a finitely generated
$\mathbb {Z} W $
-submodule
$V^0\subset V$
with
$D\otimes _{\mathbb {Z}}V^0\to V$
an isomorphism; see [Reference Curtis and ReinerCR, Corollary 23.14]. For a D-root datum
$(W,V,\{P_\sigma \})$
, we can then take the
$\mathbb {Z}$
-root datum
$(W,V^0,\{P^0_{\sigma }\})$
, with
$P^0_{\sigma }:=P_{\sigma }{\cap } V^0$
.
-
(1) Lemma 1.1.3 does not imply that root data over
$D\subset \mathbb {Q}$
are “the same” as root data over
$\mathbb {Z}$
; see Example 1.4.2. -
(2) The condition
$D\subset \mathbb {Q}$
is necessary in Lemma 1.1.3, as one observes by considering dihedral groups as real reflection groups on
$\mathbb {R}^2$
, or the complex reflection groups generated by a root of unity acting by multiplication on
$\mathbb {C}$
.
We will use the following direct computations several times.
Lemma 1.1.5. Consider a D-lattice V.
-
(1) For a fixed
${\phi }\in V^{\ast }$
and
$\kappa _{1},\kappa _{2}\in V$
with
$\phi (\kappa _{1})=2=\phi (\kappa _{2})$
, we have the reflections
$s_{i}:{\lambda }{\mapsto }{\lambda }- \phi (\lambda )\kappa _{i}$
of order
$2$
on V. Then
$$ \begin{align*}(s_1s_2)^{j} (\kappa_{1})=\kappa_1+2j(\kappa_1-\kappa_2 ),\qquad\text{for all } j\in\mathbb{N}.\end{align*} $$
-
(2) For a fixed
$\kappa \in V$
and
$\phi _{1},\phi _{2}\in V^{\ast }$
with
$\phi _{1}(\kappa )=2=\phi _{2}(\kappa )$
, we have the reflections
$s_i:{\lambda }{\mapsto }{\lambda }- \phi _{i}(\lambda ){\kappa }$
of order
$2$
on V. Then, for all
$\lambda \in V$
,
$$ \begin{align*}(s_1s_2)^j (\lambda)=\lambda+j(\phi_2(\lambda)-\phi_1(\lambda))\kappa,\qquad\text{for all } j\in\mathbb{N}.\end{align*} $$
Lemma 1.1.6. Consider a prime p and two
$\mathbb {Z}$
-root data
$(W,V,\{P_{\sigma }\})$
and
$(W^{\prime },V^{\prime },\{P_{\sigma ^{\prime }}^{\prime }\})$
. Assume there exists an isomorphism
$\varphi :\mathbb {Z}[1/p]\otimes (W,V)\xrightarrow {\sim }\mathbb {Z}[1/p]\otimes (W^{\prime },V^{\prime })$
of
$\mathbb {Z}[1/p]$
-reflection groups.
-
(1) If
$p=2$
, then
$\varphi $
is actually an isomorphism of
$\mathbb {Z}[1/p]$
-root data. -
(2) If
$p>2$
and if the further extension along
$\mathbb {Z}[1/p]\to \mathbb {Z}_2=\varprojlim \mathbb {Z}/{2^n}$
of
$\varphi $
induces an isomorphism of
$\mathbb {Z}_2$
-root data, then
$\varphi $
is an isomorphism of
$\mathbb {Z}[1/p]$
-root data.
Proof. It is well-known and easy to show that for
$\mathbb {Z}$
-root data, we either have
$$ \begin{align}P_\sigma=\mathrm{im}(1-\sigma)\quad\text{or}\quad \mathrm{im}(1-\sigma)=2P_\sigma. \end{align} $$
Hence, the additional condition in the definition of an isomorphism of
$\mathbb {Z}[1/2]$
-root data is trivially satisfied.
Now assume
$p>2$
. In this case, (1.1) shows that in
$\mathbb {Z}[1/p]\otimes V^{\prime }$
, we have either
$\varphi (P_{\sigma })=P^{\prime }_{\varphi {\sigma } \varphi ^{-1}}$
,
$\varphi (P_{\sigma })=2P^{\prime }_{\varphi \sigma \varphi ^{-1}}$
, or
$2\varphi (P_\sigma )=P^{\prime }_{\varphi \sigma \varphi ^{-1}}$
. By assumption, after extension to scalars to
$\mathbb {Z}_2$
, only the first option is possible. As
$2$
is not invertible in
$\mathbb {Z}_2$
, this means that also over
$\mathbb {Z}[1/p]$
, only the first option was possible.
1.2 Real-type root data
The following definition is closer to the classical definition of (reduced) root data.
Definition 1.2.1. A real-type
$\mathrm {D}$
-root datum is a quadruple
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^\vee )$
, where
$\mathbf {X}$
and
$\mathbf {Y}$
are D-lattices with subsets
$\mathbf {R}\subset \mathbf {X}$
and
$\mathbf {R}^\vee \subset \mathbf {Y}$
, together with
-
(a) a perfect bilinear pairing
$\langle {\cdot },{\cdot }\rangle : \mathbf {X}\times \mathbf {Y}\to D$
; -
(b) a bijection
$\mathbf {R}\to \mathbf {R}^\vee $
,
${\beta }{\mapsto } \beta ^\vee $
;
such that
-
(1) We have
$\langle \alpha ,\alpha ^{\vee }\rangle =2$
for all
$\alpha \in \mathbf {R}$
. -
(2) If
$\alpha ^{\vee }\in \mathbf {R}^{\vee }$
and
$a\in D$
, then
$a\alpha ^{\vee }\in \mathbf {R}^\vee $
if and only if
$a\in D^\times $
. -
(3) There are only finitely many
$D^\times $
-orbits in
$\mathbf {R}^\vee $
. -
(4) For each
$\alpha \in \mathbf {R}$
, the reflection
$s_{\alpha }:{\lambda }\mapsto {\lambda }-\langle {\alpha }, {\lambda }{\rangle } \alpha ^{\vee }$
in
$\mathrm {Aut}_{D}(\mathbf {Y})$
preserves
$\mathbf {R}^\vee $
. -
(4’) For each
$\alpha \in \mathbf {R}$
, the reflection
$s_{\alpha }:{\lambda }\mapsto {\lambda }-\langle {\lambda },\alpha ^{\vee }\rangle {\alpha }$
in
$\mathrm {Aut}_{D}(\mathbf {X})$
preserves
$\mathbf {R}$
.
Note that
$\langle s_{\alpha }(\lambda ),s_{\alpha }(\mu )\rangle =\langle {\lambda },\mu \rangle $
, for
$\lambda \in \mathbf {X}$
and
$\mu \in \mathbf {Y}$
, with
$s_{\alpha }$
as defined in (4) and (4’).
To a real-type root datum
$(X,R,Y,R^{\vee })$
over
$\mathbb {Z}$
, we can define a real-type D-root datum
$(D\otimes X,D^\times R,D\otimes Y,D^\times R^{\vee })$
, with obvious bilinear pairing and bijection
$D^\times R\to D^\times R^\vee $
given by
$a{\lambda }\mapsto a^{-1}{\lambda }^{\vee }$
.
Remark 1.2.2. For
$D=\mathbb {Z}$
, Definition 1.2.1 is equivalent to the definition of a “donnée radicielle réduite” in [Reference DemazureDe, §3.6]. We will show below in Lemma 1.2.5 that a real-type D-root datum
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^\vee )$
also satisfies the following:
-
(2’) If
$\alpha \in \mathbf {R}$
and
$a\in D$
, then
$a\alpha \in \mathbf {R}$
if and only if
$a\in D^\times $
. -
(3’) There are only finitely many
$D^\times $
-orbits in
$\mathbf {R}$
.
In particular, the definition of real-type root data is closed under duality.
Example 1.2.3. Consider a D-root datum
$(W,V,\{P_\sigma \})$
. Take a reflection
$\sigma \in W$
and a generator
$v\in P_\sigma $
. By condition 1.1.1(2)(a), there exists (a unique)
$\beta \in V^\ast $
such that
$$ \begin{align}\sigma(\lambda)\;=\; \lambda-\beta(\lambda) v,\quad\text{for all } \lambda\in V.\end{align} $$
We then define
$\mathbf {R}^\vee \subset V$
as the set of generators of the submodules
$\{P_{\sigma }\}$
and
$\mathbf {R}\subset V^{\ast }$
as the set of elements
$\beta $
constructed by the above procedure. If we denote by
$S\subset W$
the set of reflections, then this procedure yields a surjective partially defined function
$$ \begin{align} S\times \mathbf{R}^\vee\; \rightharpoonup \; \mathbf{R},\quad (\sigma, v)\mapsto \beta. \end{align} $$
Theorem 1.2.4. Assume that for the D-root datum
$(W,V,\{P_\sigma \})$
, every reflection in W has order
$2$
. Then (1.3) restricts to a bijection
$\mathbf {R}^\vee \to \mathbf {R}$
. The quadruple
$(V^\ast , \mathbf {R},V,\mathbf {R}^\vee )$
, equipped with inverse bijection
$\mathbf {R}\to \mathbf {R}^\vee $
and evaluation pairing
$V^\ast \times V\to D$
, is a real-type D-root datum.
Proof. The assumption
$\sigma ^2=1$
in (1.2) shows that
$\beta (v)=2$
, for every pair
$(v,\beta )$
we associate to a reflection in W via the procedure in 1.2.3. First, we observe that this procedure yields a well-defined function
$\mathbf {R}^\vee \to \mathbf {R}$
, namely that
$\beta $
only depends on v and not on
$\sigma $
. This is indeed the case since a given
$v\in V$
cannot be a generator in both
$P_{\sigma _1}$
and
$P_{\sigma _2}$
for two distinct reflections
$\sigma _{1},\sigma _{2}\in W$
, which follows from finiteness of W, Lemma 1.1.5(2) and the fact that D is of characteristic 0. By definition of
$\mathbf {R}$
, the function
$\mathbf {R}^\vee \to \mathbf {R}$
is surjective. Next, we prove that this function is injective, and hence a bijection. Assume, therefore, that for two generators
$v_1\in P_{\sigma _1}$
and
$v_2\in P_{\sigma _2}$
, we obtain the same
$\beta \in V^\ast $
. By finiteness of W and Lemma 1.1.5(1), we find
$v_1=v_2$
.
By the above paragraph, 1.2.1(1) is satisfied. To establish 1.2.1(2), it suffices to show that we cannot have non-trivial inclusions
$P_{\sigma _1}\subset P_{\sigma _2}$
. We can extend scalars along
$D\hookrightarrow K$
, with K the field of fractions. Now
$\sigma _1\sigma _2$
acts as the identity on
$KP_{\sigma _1}=KP_{\sigma _2}$
, but also as the identity on
$KV/KP_{\sigma _1}$
. Since it has finite order and char
$K=0$
, we find
$\sigma _1\sigma _2=1$
. Property 1.2.1(3) follows immediately from the fact that W is finite. Property 1.2.1(4) is an immediate consequence of 1.1.1(2)(b).
By letting
$w\in W$
act on
$V^\ast $
by
$w(f)=f\circ w^{-1}$
, we also have a reflection group
$(W,V^\ast )$
. We can define
$Q_\sigma :=D\beta \subset V^\ast $
, for each reflection
$\sigma \in W$
with
$\beta $
as in (1.2), since
$Q_\sigma $
does not depend on our choice of generator
$v\in P_\sigma $
. It follows immediately that
$(W,V^\ast , \{Q_\sigma \})$
is a D-root datum. That 1.2.1(4’) is satisfied follows by applying the proof for (4) to
$(W,V^\ast , \{Q_\sigma \})$
.
We conclude this section with some technical results needed later.
Lemma 1.2.5. Consider a real-type D-root datum
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^\vee )$
. For
$\beta \in \mathbf {R}$
and
$b\in D$
, we have
$b\beta \in \mathbf {R}$
if and only if
$b\in D^\times $
and then
$(b\beta )^\vee =b^{-1}\beta ^\vee $
. In particular,
$s_{b\beta }=s_\beta $
and conditions (2’) and (3’) in 1.2.2 hold.
Proof. Assume first that
$b\in D^\times $
. We need to prove that
$(\sigma , b^{-1}\beta ^\vee )\mapsto b\beta $
in (1.3), for
$\sigma :\lambda \mapsto \lambda -\beta (\lambda )\beta ^\vee $
, which is clearly true.
Conversely, assume that
$\beta _1:=b\beta \in \mathbf {R}$
, for some
$b\in D$
, and set
$\lambda :=b\beta _1^\vee -\beta ^\vee \in \mathbf {Y}$
. Lemma 1.1.5(1) for
$\phi =\langle \beta ,-\rangle $
and
$\kappa _1=b\beta _1^\vee $
,
$\kappa _2=\beta ^\vee $
implies
$$ \begin{align*}b\,(s_{\beta_1}s_\beta)^j(\beta_1^\vee)\;=\;b\beta_1^\vee+2j\lambda,\quad\text{for all } j\in\mathbb{N}.\end{align*} $$
Conditions 1.2.1(3) and (4) thus imply
$\lambda =0$
. Finally, 1.2.1(2) then implies b is a unit.
Lemma 1.2.6. Consider a real-type D-root datum
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^\vee )$
. If, for
$\alpha ,\beta ,\gamma \in \mathbf {R}$
, we have
$s_\beta (\alpha ^\vee )=\gamma ^\vee $
, then
$s_\beta s_\alpha s_\beta =s_\gamma $
and
$s_\beta (\alpha )=\gamma $
.
Proof. A direct calculation shows that, for every
$\lambda \in \mathbf {Y}$
,
$$ \begin{align} s_\beta s_\alpha s_\beta(\lambda)\;=\; \lambda-\langle s_\beta(\alpha),\lambda\rangle s_\beta(\alpha^\vee). \end{align} $$
Set
$\gamma _1= s_\beta (\alpha )\in \mathbf {R}$
. Then we can apply Lemma 1.1.5(1) to
$\phi =\langle {\gamma }_{1},-\rangle $
and
$\kappa _{1}={\gamma }_{1}^{\vee }$
,
$\kappa _{2} ={\gamma }^{\vee }$
(so
$s_{1}=s_{\gamma _{1}}$
and
$s_{2}=s_{\beta } s_{\alpha } s_{\beta }$
). By 1.2.1(3) and (4), it thus follows that
${\gamma }_{1}={\gamma }$
.
1.3 Real reflection groups
1.3.1 Hypotheses
Consider a finite-dimensional real vector space V (without fixed inner product/Euclidean structure), a reflection group
$W<\mathrm {Aut}_{\mathbb {R}}(V)$
, in the sense of Definition 1.1.1(1), and a fixed finite generating set T of reflections in W such that
-
• The map from T to the set of hyperplanes in V,
$s\mapsto H_s:=\ker (1-s)$
, is injective. -
• We have
$wTw^{-1}\subset T$
for all
$w \in W$
.
Theorem 1.3.2. Under the assumptions in 1.3.1, W is a finite group.
Remark 1.3.3. If a real reflection group
$(W,V)$
is finite, by Weyl’s unitary trick, we can assume it is Euclidean (meaning there is an inner product on V for which each reflection in W is orthogonal).
The remainder of this section is devoted to the proof.
1.3.4
All topological references consider the Euclidean topology on V. Consider
$$ \begin{align*}\mathcal{H}=\cup_{t\in T}H_t\,\subset\, V\end{align*} $$
and refer to the connected components of the complement of
$\mathcal {H}$
in V as chambers. We say that
$H_t$
is a wall of a chamber A if the intersection of
$\overline {A_0}$
and
$H_t$
cannot be contained in a codimension 2 hyperplane. Fix one such chamber
$A_0$
. Denote by
$S\subset T$
the set of reflections s for which
$H_s$
is a wall of
$A_0$
. Our assumptions in 1.3.1 imply that W acts on the (finite) set of chambers.
Lemma 1.3.5. The set S is a set of generators for W.
Proof. Denote by
$W_S\subset W$
the subgroup generated by
$S\subset T$
. We need to show that
$W_S=W$
, or equivalently,
$T\subset W_S$
.
First, we show that every
$W_S$
-orbit in V intersects
$\overline {A_0}$
. By continuity, it suffices to show that every
$W_S$
-orbit in
$V\backslash \mathcal {H}$
intersects
$A_0$
. For
$v\in V\backslash \mathcal {H}$
, there exists a sequence
$A_0,A_1,\cdots , A_l$
of distinct chambers where
$v\in A_l$
, and for each
$0\le i<l$
, there is
$t_i\in T$
such that
$H_{t_i}$
is a wall of
$\overline {A_i}$
and of
$\overline {A_{i+1}}$
.
If
$l=0$
, there is nothing to prove, so assume
$l>0$
. Then
$t_0(A_1)=A_0$
, and by assumption,
$t_0\in S$
. Now
$A_0, A_1'=t_0(A_2),A_2'=t_0(A_3),\cdots A_{l-1}'= t_0(A_l)$
forms a chain of distinct chambers as before and
$t_0(v)\in A^{\prime }_{l-1}$
. We can thus perform induction on l to deduce the claim.
Now take an arbitrary
$t\in T$
and let A be a chamber which has
$H_t$
as a wall. By the above, we know there exists
$w\in W_S$
with
$A=w(A_0)$
. This implies that
$$ \begin{align*}H_t\;=\; w(H_s)\;=\;H_{wsw^{-1}}.\end{align*} $$
By the first hypothesis in 1.3.1, this shows that
$t=wsw^{-1}\in W_S$
.
Precisely as in [Reference BourbakiBo, V.§3.2 Theorem 1], we then find the following consequence.
Corollary 1.3.6. The pair
$(W,S)$
is a Coxeter system.
Proof of Theorem 1.3.2.
The reflections in the Coxeter group
$(W,S)$
are by definition the elements of the set
$\cup _{w\in W} wSw^{-1}$
, which by assumption is included in T and hence finite. By [Reference Björner and BrentiBB, Corollary 1.4.5], any Coxeter group
$(W,S)$
with finitely many reflections is finite.
1.4 Equivalence of definitions
Theorem 1.4.1. If there exists an embedding
$D\hookrightarrow \mathbb {R}$
, then the map in Theorem 1.2.4 is a bijection between the sets of isomorphism classes of D-root data and real-type D-root data.
Proof. Since we have
$D\subset \mathbb {R}$
, the only roots of unity in D are
$\pm 1$
, and it follows that every reflection of finite order must have order two. Hence, the map in Theorem 1.2.4 is defined on every D-root datum.
To each real-type D-root datum
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^{\vee })$
we will now associate a D-root datum, in a way which is easily seen to be the inverse of the above map. Define the D-reflection group
$W<\mathrm {Aut}_{D}(\mathbf {Y})$
generated by
$\{s_{\alpha }\,|\, \alpha \in \mathbf {R}\}$
. To a reflection
$s_{\gamma }$
,
${\gamma }\in \mathbf {R}$
, we associate the corresponding rank one submodule
$D{\gamma }^{\vee }\subset \mathbf {Y}$
.
We show that W is finite by considering the corresponding real reflection group acting on
$\mathbf {Y}\otimes _{D}\mathbb {R}$
. By Lemma 1.2.5, W is generated by a finite (see 1.2.1(2)) set of reflections
$\{s_{\alpha }\,|\, \alpha \in \mathbf {R}\}$
, such that the reflecting hyperplane
$\ker (1-s_{\alpha })=\ker \langle \alpha ,- \rangle $
determines
$s_{\alpha }$
. Moreover, we claim that for each
$\alpha \in \mathbf {R}$
and
$w\in W$
, we have
$ws_{\alpha } w^{-1}= s_{\gamma }$
for some
${\gamma }\in \mathbf {R}$
. Clearly, it suffices to consider the case
$w=s_{\beta }$
, which is Lemma 1.2.6. We can now apply Theorem 1.3.2.
Now it follows that the triple
$(W,\mathbf {Y},\{D\gamma ^{\vee }\})$
is a D-root datum. Indeed, by Remark 1.3.3 and [Reference HumphreysHu, Proposition 1.14], every reflection in W is equal to
$s_\gamma $
for some
$\gamma \in \mathbf {R}$
, and property (a) in 1.1.1(2) is automatic, while (b) follows from Lemma 1.2.6.
Clearly, the bijection in Theorem 1.4.1 exchanges the two notions of extensions of scalars of root data. We conclude this section with some examples of root data which become isomorphic after extension of scalars.
Example 1.4.2.
-
(1) The root datum of
$SO_{2n+1}$
becomes isomorphic to its dual (the root datum of
$Sp_{2n}$
) after extension of scalars to D if and only if
$2$
is invertible in D. -
(2) The root datum of
$SL_n$
becomes isomorphic to its dual (the root datum of
$PGL_n$
) after extension of scalars to D if and only if n is invertible in D.
1.5 Isogenies
We fix a prime p and define isogenies of
$\mathbb {Z}[1/p]$
-root data. We will work with real-type root data, but we refer to them simply as root data (this is justified by Theorem 1.4.1).
Definition 1.5.1. An isogeny
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^{\vee })\to (\mathbf {X}_1,\mathbf {R}_1,\mathbf {Y}_1,\mathbf {R}_1^{\vee })$
of
$\mathbb {Z}[1/p]$
-root data is an injective morphism
$\varphi :\mathbf {X}\hookrightarrow \mathbf {X}_1$
of
$\mathbb {Z}[1/p]$
-modules such that
-
(1) the induced
$\varphi ^{\vee }:\mathbf {Y}_1\to \mathbf {Y}$
is also injective; -
(2)
$\varphi $
restricts to a bijection
$\mathbf {R}\to \mathbf {R}_1$
; -
(3)
$\varphi ^{\vee }(\varphi (\alpha )^{\vee })=\alpha ^{\vee }$
, for all
$\alpha \in \mathbf {R}$
.
Example 1.5.2. An isogeny of
$\mathbb {Z}$
-root data, with respect to some prime p, is defined in [Reference SteinbergSt, §1]. It follows immediately that the induction to
$\mathbb {Z}[1/p]$
of such an isogeny yields an isogeny of
$\mathbb {Z}[1/p]$
-root data. Note that Definition 1.5.1 is simpler than the definition in [Reference SteinbergSt, §1], as the powers of p present in [Reference SteinbergSt, §1] are subsumed by (2), since multiplication by p is invertible on
$\mathbb {Z}[1/p]$
-root data.
Conversely, if for
$\mathbb {Z}$
-root data
$RD_1$
and
$RD_2$
, there exists an isogeny
$\varphi :\mathbb {Z}[1/p]\otimes RD_{1}\to \mathbb {Z}[1/p]\otimes RD_{2}$
, then for some
$l\in \mathbb {N}$
, the map
$p^j\varphi $
restricts to an isogeny
$RD_1\to RD_2$
in the sense of [Reference SteinbergSt] for all
$j\ge l$
.
2 Perfection of schemes
Fix a prime p.
2.1 Notation
We recall some basic set-up of algebraic geometry; see, for instance, [Reference Demazure and GabrielDG].
Fix a field k. Denote by
$\mathsf {Alg}_k$
the category of commutative k-algebras. We consider the categories (where the first two “inclusions” are fully-faithful embeddings)
$$ \begin{align}\mathsf{Alg}_k^{\mathrm{op}}\;\subset\; \mathsf{Sch}_k\;\subset\; \mathsf{Fais}_k\;\subset\; \mathsf{Fun}_k.\end{align} $$
Here,
$\mathsf {Sch}_k$
is the category of k-schemes, and
$\mathsf {Fun}_k$
is the category of functors
$\mathsf {Alg}_k\to \mathsf {Set}$
. The category
$\mathsf {Fais}_k$
stands for the full subcategory of such functors which are sheaves for the fpqc topology. In other words, a functor F is in
$\mathsf {Fais}_k$
if and only if
$$ \begin{align*}F(A)\to F(B)\rightrightarrows F(B\otimes_AB)\end{align*} $$
is an equaliser for every faithfully flat A-algebra B, and F commutes with finite products. When k is clear, we will usually leave out the subscript in the above categories.
The inclusion
$I:\mathsf {Fais}\hookrightarrow \mathsf {Fun}$
has a left adjoint
$$ \begin{align*}S:\mathsf{Fun}\to\mathsf{Fais}\end{align*} $$
which commutes with finite limits (as well as all colimits).
By a subgroup of an affine group scheme G, we understand a closed subscheme which inherits a group structure, or in other words, an affine group scheme represented by a quotient of the Hopf algebra representing G.
2.2 Perfection functors
2.2.1 Frobenius morphisms
For a commutative
$\mathbb {F}_p$
-algebra A, we have the p-th power algebra morphism
$$ \begin{align*}\mathrm{Fr}=\mathrm{Fr}_A:\,A\to A, \;\; a\mapsto a^p.\end{align*} $$
For an
$\mathbb {F}_p$
-scheme
$\mathfrak {X}$
, we have the morphism
$\mathrm {Fr}: \mathfrak {X}\to \mathfrak {X}$
, which is the identity on the underlying topological space and given by the p-th power map on the sheaf of algebras. For
$F\in \mathsf {Fun}_{\mathbb {F}_p}$
, we define the Frobenius morphism
$F\to F$
as the natural transformation given by letting F act on the p-th power morphism. Concretely, the evaluation of the natural transformation at an arbitrary
$A\in \mathsf {Alg}_{\mathbb {F}_p}$
is
$$ \begin{align*}F(A)\xrightarrow{F(\mathrm{Fr}_A)} F(A).\end{align*} $$
These Frobenius morphisms are compatible with the inclusions (2.1).
For an object F of
$\mathsf {Fun}_{\mathbb {F}_p}$
or
$\mathsf {Alg}_{\mathbb {F}_p}$
, the notation
$\varinjlim F$
or
$\varprojlim F$
will always be used for the direct or inverse limit along the Frobenius morphism. For example, for an
$\mathbb {F}_p$
-algebra A, the algebra
$A_{\mathrm {perf}}:=\varinjlim A$
is the direct limit of the system
$$ \begin{align*}A\xrightarrow{a\mapsto a^p}A\xrightarrow{a\mapsto a^p}A\xrightarrow{a\mapsto a^{p}}A\to\cdots.\end{align*} $$
For
$F\in \mathsf {Fun}_{\mathbb {F}_p}$
, it follows directly that
$$ \begin{align*}(\varprojlim F)(A)=F(\varprojlim A)\quad\text{and}\quad (\varinjlim F)(A)=F(\varinjlim A).\end{align*} $$
An
$\mathbb {F}_p$
-scheme (or an algebra or functor) is called perfect if the Frobenius map is an isomorphism; see [Reference Bhatt and ScholzeBS, Definition 3.1].
Lemma 2.2.2. The endofunctor of
$\mathsf {Fun}_{\mathbb {F}_p}$
$$ \begin{align*}F\mapsto F_{\mathrm{perf}}:=\varprojlim F\end{align*} $$
restricts to endofunctors of
$\mathsf {Fais}$
and
$\mathsf {Sch}$
. Moreover, for
$A\in \mathsf {Alg}_{\mathbb {F}_p}$
, we have
$(\mathrm {Spec} A)_{\mathrm {perf}}=\mathrm {Spec} (A_{\mathrm {perf}})$
.
Proof. It is a standard property that limits exist in a Grothendieck topos and can be computed in the presheaf category, which shows that perfection restricts to
$\mathsf {Fais}$
. The remaining properties follow from the explicit realisation in Example 2.2.3 below.
Example 2.2.3. For an
$\mathbb {F}_p$
-algebra A, set
$(X,\mathcal {O})=\mathrm {Spec} A$
. Using the basis of distinguished open subsets, it follows easily that
$\mathrm {Spec} (A_{\mathrm {perf}})=(X,\mathcal {O}')$
, with
$\mathcal {O}'$
the sheafification of the presheaf
$U\mapsto \mathcal {O}(U)_{\mathrm {perf}}$
.
It then follows that for an arbitrary
$\mathbb {F}_p$
-scheme
$\mathfrak {X}=(X,\mathcal {O})$
, the scheme
$\mathfrak {X}_{\mathrm {perf}}$
can be realised as
$(X,\mathcal {O}')$
with
$\mathcal {O}'$
the sheafification of the presheaf
$U\mapsto \mathcal {O}(U)_{\mathrm {perf}}$
.
Remark 2.2.4. In 2.2.3, is essential to take
$\mathcal {O}'$
as the direct limit of
$\mathcal {O}$
in the category of sheaves (as opposed to presheaves). For example,
-
(1) For an infinite family of
$\mathbb {F}_p$
-algebras
$A_i$
, consider the (non-affine) scheme
$(X,\mathcal {O})=\sqcup _i\mathrm {Spec} A_i$
. Then, for general
$A_i$
, we have, by the sheaf axioms and Lemma 2.2.2,
$$ \begin{align*}\Gamma(X,\mathcal{O}^{\prime})\;=\;\prod_i (A_i)_{\mathrm{perf}}\;\not=\; \Gamma(X,\mathcal{O})_{\mathrm{perf}}=\left(\prod_i A_i\right)_{\mathrm{perf}}.\end{align*} $$
-
(2) Also for non-noetherian affine schemes, this phenomenon occurs. Consider
$A=\mathbb {F}_p[x_i\,|\,i\in \mathbb {N}]/(x_ix_j, i\not =j)$
. Let
$U_i$
be the distinguished open corresponding to
$x_i$
. The (disjoint) union
$U=\cup _i U_i$
is the complement of the origin and, as in (1), we find
$\mathcal {O}(U)_{\mathrm {perf}}\not =\mathcal {O}'(U)$
.
Remark 2.2.5. For
$\mathbb {F}_p$
-algebras
$A,B$
, we have
$$ \begin{align*}\mathsf{Alg}(A_{\mathrm{perf}},B)\cong \varprojlim \mathsf{Alg}(A, B)\cong\mathsf{Alg}(A,\varprojlim B).\end{align*} $$
In particular, if B is perfect, we have
$\mathsf {Alg}(A_{\mathrm {perf}},B)\cong \mathsf {Alg}(A,B)$
.
Lemma 2.2.6. Let
$\mathfrak {X}$
be an
$\mathbb {F}_p$
-scheme.
-
(1) We have
$\dim \mathfrak {X}=\dim \mathfrak {X}_{\mathrm {perf}}$
, and
$\mathfrak {X}_{\mathrm {perf}}$
is quasi-compact (resp. connected) if and only if
$\mathfrak {X}$
is quasi-compact (resp. connected). -
(2) Any radical ideal I in a perfect
$\mathbb {F}_p$
-algebra A satisfies
$I^2=I$
. -
(3) If
$\mathfrak {X}$
is perfect, for
$x\in \mathfrak {X}$
, we have
$T_{\mathfrak {X},x}=0$
. -
(4) Perfect schemes are reduced. Moreover,
$-_{\mathrm {perf}}$
sends
$\mathfrak {X}_{\mathrm {red}}\to \mathfrak {X}$
to an isomorphism.
Proof. Part (1) follows immediately from the fact that the underlying topological spaces of
$\mathfrak {X}$
and
$\mathfrak {X}_{\mathrm {perf}}$
are the same; see Example 2.2.3. Part (2) is obvious. By (2), it is clear that the Zariski cotangent space is zero, which proves (3). Alternatively, for (3), let A be a perfect
$\mathbb {F}_p$
-algebra and
$\kappa $
a field. Every algebra morphism
$A\to \kappa [\epsilon ]/(\epsilon ^{2})$
factors through
${\kappa }{\hookrightarrow }{\kappa }[\epsilon ]/(\epsilon ^{2})$
. Applying this to
$\mathrm {Spec} (\kappa (x)[\epsilon ]/(\epsilon ^{2}))\to \mathfrak {X}$
shows the claim. Part (4) is immediate.
2.3 Relative version
Fix a perfect field k of characteristic p for the remainder of the section.
2.3.1
For a fixed
$\mathbb {F}_p$
-scheme
$\mathfrak {T}$
, perfection naturally yields a functor from the category of
$\mathfrak {T}$
-schemes to the category of
$\mathfrak {T}_{\mathrm {perf}}$
-schemes. Using the canonical morphism
$\mathfrak {T}_{\mathrm {perf}}\to \mathfrak {T}$
, we can also interpret perfection as an endofunctor of the category of
$\mathfrak {T}$
-schemes. We will take the latter point of view for
$\mathfrak {T}=\mathrm {Spec} k$
(in which case
$\mathfrak {T}_{\mathrm {perf}}\to \mathfrak {T}$
is an isomorphism), and we will henceforth interpret the perfection functor as an endofunctor of
$\mathsf {Sch}_k$
.
2.3.2
Sometimes it will be beneficial to consider an alternative realisation of the perfection of k-schemes, in which the morphisms in the chain of which we take the limit are morphisms of k-schemes. For a k-scheme
$\mathfrak {X}$
, let
$\mathfrak {X}^{(1)}$
denote the extension of scalars of
$\mathfrak {X}$
along the Frobenius automorphism
$k\to k$
. The morphism
$\mathrm {Fr}:\mathfrak {X}\to \mathfrak {X}$
over
$\mathbb {F}_p$
from 2.2.1 then lifts to a morphism
$\mathrm {Fr}:\mathfrak {X}\to \mathfrak {X}^{(1)}$
of k-schemes. For instance, for a k-algebra A, this corresponds to the morphism
$$ \begin{align}A^{(1)}\to A,\quad {\lambda}\otimes a\mapsto {\lambda}\,a^{p},\end{align} $$
with
$A^{(1)}=k\otimes A$
the extension of scalars along the Frobenius automorphism of k.
By taking iterates of the Frobenius automorphism and its inverse (k is perfect), we define
$\mathfrak {X}^{(i)}$
for
$i\in \mathbb {Z}$
. Then we have (over k)
$$ \begin{align*}\mathfrak{X}_{\mathrm{perf}}\,\cong\,\varprojlim_{i\to\infty}\mathfrak{X}^{(-i)}.\end{align*} $$
The advantage of the approach in this subsection is that it extends to
$\mathsf {Fun}_k$
by setting
$$ \begin{align*}F_{\mathrm{perf}}(A):=\varprojlim_{i\to\infty} F(A^{(i)}).\end{align*} $$
By construction, perfection commutes with limits – for instance, products – in
$\mathsf {Fun}_k$
.
Proposition 2.3.3. Consider a morphism f in
$\mathsf {Fais}_k$
.
-
(1) If f is an epimorphism in
$\mathsf {Fais}_k$
, then so is
$f_{\mathrm {perf}}$
. -
(2) If f is an monomorphism in
$\mathsf {Fais}_k$
, then so is
$f_{\mathrm {perf}}$
.
Proof. For part (1), we can use the criterion from [Reference Demazure and GabrielDG, Corollaire 2.8] to describe that f is an epimorphism, which carries over to
$f_{\mathrm {perf}}$
by [Reference Bhatt and ScholzeBS, Lemma 3.4(xii)]. Part (2) is a generality for limits of monomorphisms.
It is obvious that
$\mathfrak {X}\mapsto \mathfrak {X}_{\mathrm {perf}}$
loses a lot of information. For instance,
$$ \begin{align*}(\mathfrak{X}_{\mathrm{perf}})_{\mathrm{perf}}\cong \mathfrak{X}_{\mathrm{perf}}\cong (\mathfrak{X}_{\mathrm{red}})_{\mathrm{perf}}.\end{align*} $$
A more subtle example is given below.
Example 2.3.4. Assume
$p>2$
. Consider the algebra
$A=k[x,y]/(y^p-x^2)$
with injective algebra morphism
$A\hookrightarrow k[z]$
, given by
$x\mapsto z^{p}$
,
$y\mapsto z^{2}$
. Then
$\mathfrak {X}:=\mathrm {Spec} A$
is reduced, but perfection sends
$\mathbb {A}^1_{k}\to \mathfrak {X}$
to an isomorphism.
2.4 Perfect finite type
Recall that
$\mathfrak {X}\in \mathsf {Sch}_{k}$
is of finite type (over k) if the underlying topological space is quasi-compact, and for every
$x\in \mathfrak {X}$
, there exists an affine open neighbourhood isomorphic to the spectrum of a finitely generated k-algebra.
Lemma 2.4.1. For a perfect commutative k-algebra A, the following conditions are equivalent:
-
(a) There is a finite subset
$S\subset A$
such that the set
$$ \begin{align*}S'=\{x\in A\,|\, x^{p^n}\in S\text{ for some } n\in\mathbb{N}\}\end{align*} $$
generates A as a k-algebra;
-
(b) There exists a finitely generated k-algebra
$A_0$
with
$A\cong (A_0)_{\mathrm {perf}}$
.
If the conditions are satisfied, we say that A is perfectly finitely generated.
Proof. Exercise.
Proposition 2.4.2. For a perfect k-scheme
$\mathfrak {X}$
, the following are equivalent:
-
(a)
$\mathfrak {X}$
is quasi-compact, and for every
$x\in \mathfrak {X}$
, there exists an affine open neighbourhood corresponding to a perfectly finitely generated k-algebra; -
(b) There exists a scheme
$\mathfrak {Y}$
of finite type over k with
$\mathfrak {X}\cong \mathfrak {Y}_{\mathrm {perf}}$
.
If the conditions are satisfied, we say that
$\mathfrak {X}$
is of perfect finite type (over k).
Proof. Clearly, (b) implies (a). That (a) implies (b) is proved in [Reference Bhatt and ScholzeBS, Proposition 3.13].
2.5 Perfection of line bundle cohomology and quotients
All schemes and functors are assumed to be over k.
Lemma 2.5.1. Let
$\mathfrak {X}$
be a quasi-compact separated scheme over k and
$\mathcal {L}$
a line bundle on
$\mathfrak {X}$
. For the pullback
$p^\ast \mathcal {L}$
along
$p:\mathfrak {X}_{\mathrm {perf}}\to \mathfrak {X}$
and
$i\in \mathbb {N}$
, we have
$$ \begin{align*}H^i(\mathfrak{X}_{\mathrm{perf}},p^{\ast} \mathcal{L})\;\cong\; \varinjlim_j H^i(\mathfrak{X},\mathcal{L}^{\otimes p^{j}}),\end{align*} $$
where the transition maps are induced from
$\mathcal {L}^{\otimes p^j}\to \mathcal {L}^{\otimes p^{j+1}}$
,
$f\mapsto f^{\otimes p}$
.
Proof. Since
$\mathfrak {X}$
is quasi-compact, we can take a finite cover
$\mathbb {U}$
by affine opens and, since
$\mathfrak {X}$
is separated, intersections of these opens are again affine. Moreover, the cohomology groups
$H^i(\mathfrak {X},-)$
are canonically isomorphic to the Čech cohomology groups
$\check {H}^i(\mathbb {U},-)$
. It follows that
$H^i(\mathfrak {X},-)$
commutes with direct limits.
Now, for a line bundle, we have (as sheaves on the underlying topological space of
$\mathfrak {X}_{\mathrm {perf}}$
or
$\mathfrak {X}$
) isomorphisms
$$ \begin{align*}p^{\ast} \mathcal{L}\;\cong\; (\varinjlim \mathcal{O}_{\mathfrak{X}})\otimes_{\mathcal{O}_{\mathfrak{X}}}\mathcal{L}\;\cong\; \varinjlim \mathcal{L}^{\otimes p^j},\end{align*} $$
which follow easily from Remark 2.5.2 below.
The conclusion follows from the combination of the two paragraphs.
Remark 2.5.2. In case
$\mathfrak {X}=\mathrm {Spec} A$
for a commutative k-algebra A, Lemma 2.5.1 simply states that
$$ \begin{align*}A_{\mathrm{perf}}\otimes_A\mathcal{L}\;\cong\; \varinjlim \mathcal{L}^{\otimes p^j},\end{align*} $$
for every invertible A-module
$\mathcal {L}$
. To prove this isomorphism, we only need to observe that the morphism
$$ \begin{align*}A\otimes_A \mathcal{L}\;\to\;\mathcal{L}^{\otimes p},\quad a\otimes v\mapsto a v^{\otimes p},\end{align*} $$
where the first module is the extension of scalars of
$\mathcal {L}$
along the p-th power map, is an isomorphism. Indeed, the morphism commutes with localisation and is obviously an isomorphism when A is local.
2.5.3
For
$X\in \mathsf {Fais}$
and G a group object in
$\mathsf {Fais}$
acting on X (on the right), we consider the corresponding co-equalisers in
$\mathsf {Fun}$
and
$\mathsf {Fais}$
of
$X\times G\rightrightarrows X$
and denote them by
$X/_0G$
and
$X/_1 G$
. In particular,
$X/_1G=S(X/_0G)$
, for the sheafification functor
$S:\mathsf {Fun}\to \mathsf {Fais}$
.
It follows from the definitions that
$G_{\mathrm {perf}}$
is again a group object and acts on
$X_{\mathrm {perf}}$
. We create the following commutative diagram in
$\mathsf {Fun}$
:
The vertical arrows are induced from the adjunction
$S\dashv I$
(either directly or via the action of the perfection functor). The left horizontal arrow is the defining one for the co-equaliser. The remaining two arrows are uniquely defined from the co-equaliser properties applied to the perfection of the morphisms
$X/_1G\leftarrow X\rightarrow X/_0G$
.
Theorem 2.5.4. Assume that the action of G on X is free. Then the morphism from (2.3)
$$ \begin{align*}X_{\mathrm{perf}} /_1 G_{\mathrm{perf}}\;\to\; (X/_1 G)_{\mathrm{perf}}\end{align*} $$
in
$\mathsf {Fais}_k$
is an isomorphism.
Proof. By Proposition 2.3.3(1), the composite morphism (from top left to bottom right) in (2.3) is an epimorphism in
$\mathsf {Fais}$
. In particular, the lower horizontal arrow is an epimorphism. Since isomorphisms in Grothendiek topoi are precisely morphisms which are both monomorphisms and epimorphisms, it now suffices to show this arrow is also a monomorphism.
Since sheafification sends monomorphisms to monomorphisms, it actually suffices to show that
$X_{\mathrm {perf}}/_0G_{\mathrm {perf}}\to (X/_1G)_{\mathrm {perf}}$
is a monomorphism in
$\mathsf {Fun}$
. Using the assumption that the action is free, we can prove that
$X_{\mathrm {perf}}/_0G_{\mathrm {perf}}\to (X/_0G)_{\mathrm {perf}}$
and
$(X/_0G)_{\mathrm {perf}}\to (X/_1G)_{\mathrm {perf}}$
are monomorphisms.
Indeed, the first case follows from the fact that for an inverse system of sets
$X_i$
with free actions of groups
$G_i$
,
$$ \begin{align*}\varprojlim X_i/\varprojlim G_i\;\to\;\varprojlim (X_i/G_i)\end{align*} $$
is injective. By Proposition 2.3.3(2), for the second morphism, it suffices to demonstrate that
$X/_0 G\to X/_1G$
is a monomorphism. This is equivalent to the claim that the presheaf
$X/_0 G$
is separated for the fpqc topology, meaning that
$$ \begin{align*}X(A)/G(A)\;\to \; X(B)/G(B)\end{align*} $$
is an injection for every faithfully flat A-algebra B (and the same for finite products of algebras). This is easily verified for free actions; see, for instance, [Reference JantzenJa, §I.5.5].
3 Perfection of group schemes
Let k be a perfect field of characteristic
$p>0$
. All schemes are assumed to be over k.
3.1 Perfection
For an affine group scheme G over k, clearly
$G_{\mathrm {perf}}$
is again an affine group scheme over k. Note also that, since k is perfect,
$G_{\mathrm {red}}$
is a subgroup of G.
3.1.1 The group
$p^{\mathbb {Z}}$
We denote by
$p^{\mathbb {Z}}<\mathbb {Z}[1/p]^{\times }$
the group of powers of p, an infinite cyclic group. Let G be an affine group scheme over k, which can be defined over
$\mathbb {F}_p$
. Then we can choose an isomorphism
$\phi :G^{(1)}\xrightarrow {\sim } G$
, which yields an automorphism
$$ \begin{align*}\Phi=\phi_{\mathrm{perf}}\circ \mathrm{Fr}:\;G_{\mathrm{perf}}\;\xrightarrow{\sim}\; G_{\mathrm{perf}}^{(1)}\;\xrightarrow{\sim}\; G_{\mathrm{perf}},\end{align*} $$
and a corresponding group homomorphism
$p^{\mathbb {Z}}\to \mathrm {Aut}(G_{\mathrm {perf}})$
,
$p\mapsto \Phi $
. Examples are given in 3.4.5.
Lemma 3.1.2. For a perfect group scheme G, we have
$\mathrm {Lie} G=0$
and
$\mathrm {Dist}G=k$
.
Proof. This is an immediate consequence of Lemma 2.2.6(2) and (3).
Theorem 3.1.3. Let
$\mathbf {G}$
be a perfect affine group scheme over k. The following are equivalent:
-
(a) The scheme
$\mathbf {G}$
is of perfect finite type (i.e.
$k[\mathbf {G}]$
is perfectly finitely generated); -
(b) The group scheme
$\mathbf {G}$
is a subgroup of
$GL(V)_{\mathrm {perf}}$
for a finite-dimensional vector space V; -
(c) There exists an affine group scheme G of finite type with
$\mathbf {G}\cong G_{\mathrm {perf}}$
; -
(d) There exists a reduced affine group scheme G of finite type with
$\mathbf {G}\cong G_{\mathrm {perf}}$
.
Proof. Clearly, (d) implies (c). Any affine group scheme G of finite type is a subgroup of some
$GL(V)$
; see, for example, [Reference Deligne and MilneDM, Corollary 2.5]. It follows immediately that
$G_{\mathrm {perf}}<GL(V)_{\mathrm {perf}}$
, so (c) implies (b). That (b) implies (a) follows by the observation that
$k[\mathbf {G}]$
is a quotient of the perfectly finitely generated algebra
$\varinjlim k[GL(V)]$
.
Finally, we prove that (a) implies (d). Let S be a finite set which perfectly generates
$k[\mathbf {G}]$
as in Lemma 2.4.1(a). It is possible to replace S by a finite set
$S_1\supset S$
such that the subalgebra that is generated (in the ordinary, non-perfect sense) by
$S_1$
is actually a Hopf subalgebra of
$k[\mathbf {G}]$
; see [Reference AbeAb, Lemma 3.4.5]. Let G be the corresponding affine group scheme. By construction
$G_{\mathrm {perf}}\cong \mathbf {G}$
and, since
$k[G]$
is a subalgebra of
$k[\mathbf {G}]$
, it follows that G is reduced.
Lemma 3.1.4. Let
$\mathbf {G}$
be a perfect affine group scheme and H an affine group scheme. Then
$H_{\mathrm {perf}}\to H$
induces an isomorphism
$$ \begin{align*}\mathrm{Hom}(\mathbf{G}, H_{\mathrm{perf}})\;\xrightarrow{\sim}\;\mathrm{Hom}(\mathbf{G},H),\end{align*} $$
with inverse given by perfection. Moreover, if H is of finite type and G an affine group scheme, then
$$ \begin{align*}\mathrm{Hom}(G_{\mathrm{perf}}, H_{\mathrm{perf}})\;\xrightarrow{\sim}\;\varinjlim\mathrm{Hom}(G^{(-i)},H).\end{align*} $$
Proof. This is an immediate application of Remark 2.2.5, or the fact that the perfection functor on
$\mathbb {F}_p$
-schemes is right adjoint to the inclusion functor for perfect schemes.
3.1.5
For a subgroup H of an affine group scheme G, we denote by
$G/H$
, when it exists, the equaliser of
$G\times H\rightrightarrows G$
in
$\mathsf {Sch}_k$
.
Recall from [Reference Demazure and GabrielDG, III, §3 Théorème 5.4] that for G of finite type, the quotient
$G/_1H$
in
$\mathsf {Fais}_k$
is a scheme and of finite type over k, and so in particular is equal to
$G/H$
.
Theorem 3.1.6.
-
(1) For every perfect subgroup
$\mathbf {H}$
of an affine group scheme
$\mathbf {G}$
of perfect finite type, the quotient
$\mathbf {G}/\mathbf {H}$
exists, is of perfect finite type and is isomorphic to
$\mathbf {G}/_1\mathbf {H}$
. -
(2) For an affine group scheme G, every perfect subgroup of
$G_{\mathrm {perf}}$
is the perfection of a subgroup of G. More precisely, every perfect (normal) subgroup of
$G_{\mathrm {perf}}$
is the perfection of a reduced (normal) subgroup of
$G_{\mathrm {red}}<G$
. -
(3) For an affine group scheme G of finite type with subgroup H, the quotient
$G_{\mathrm {perf}}/H_{\mathrm {perf}}$
exists and is isomorphic to
$(G/H)_{\mathrm {perf}}$
and
$G_{\mathrm {perf}}/_1H_{\mathrm {perf}}$
.
Proof. We will freely use the results from [Reference Demazure and GabrielDG] recalled above. Part (1) is then an immediate consequence of parts (2) and (3).
Now we prove part (2). Take a perfect subgroup
$\mathbf {H}<G_{\mathrm {perf}}$
. We have a commutative square, where
$\hookrightarrow $
denotes the inclusion of a subgroup and
$\twoheadrightarrow $
denotes a faithfully flat homomorphism
where L is just defined to be the image of the composite diagonal homomorphism. By Lemma 3.1.4, perfecting the lower path in the square yields homomorphisms
$\mathbf {H}\twoheadrightarrow L_{\mathrm {perf}}\hookrightarrow G_{\mathrm {perf}}$
which compose to the original inclusion
$\mathbf {H}\to G_{\mathrm {perf}}$
. Clearly,
$\mathbf {H}\twoheadrightarrow L_{\mathrm {perf}}$
must be an isomorphism. If
$\mathbf {H}$
is a normal subgroup, it follows easily that so is
$L<G_{\mathrm {red}}$
.
Part (3) is an application of Theorem 2.5.4.
Remark 3.1.7. A perfect group scheme can have non-perfect subgroups; for instance,
$$ \begin{align*}\mu_{p^{\infty}}:=\varprojlim \mu_{p^i},\quad i.e. \;\;k[\mu_{p^{\infty}}]=k[x^{1/p^{\infty}}]/(x-1)\end{align*} $$
is a subgroup of
$(\mathbb {G}_m)_{\mathrm {perf}}$
. Here, we use the convention
$$ \begin{align*}k[x^{1/p^{\infty}}]\;=\; k[x,x^{1/p},x^{1/p^2},\cdots]=\cup_{i} k[x^{1/p^{i}}].\end{align*} $$
Moreover,
$(\mathbb {G}_m)_{\mathrm {perf}}/\mu _{p^{\infty }}\cong \mathbb {G}_m$
.
For our purposes, it is most convenient to define short exact sequences of affine group schemes as those sequences
$N\to G\to Q$
in which
$G\to Q$
is faithfully flat and N is the kernel of the latter morphism.
Lemma 3.1.8. The perfection functor acting on a short exact sequence of affine group schemes
$$ \begin{align*}1\to N\to G\to Q\to 1\end{align*} $$
yields a short exact sequence
$$ \begin{align*}1\to N_{\mathrm{perf}}\to G_{\mathrm{perf}}\to Q_{\mathrm{perf}}\to 1.\end{align*} $$
Proof. Faithful flatness is preserved by perfection; see [Reference Bhatt and ScholzeBS, Lemma 3.4]. Taking inverse limits of affine group schemes always respects kernels.
Corollary 3.1.9. A reduced affine group scheme G is solvable if and only if
$G_{\mathrm {perf}}$
is solvable.
Proof. Lemma 3.1.8 shows that for any solvable affine group scheme, its perfection is again solvable. However, assume that
$G_{\mathrm {perf}}$
is solvable and G reduced. Applying Theorem 3.1.6(2) iteratively allows us to construct a finite chain of reduced normal subgroups such that the perfection of the quotients are abelian. A reduced affine group scheme with abelian perfection is clearly abelian itself.
3.2 Isomorphic perfections
We gather some examples and results about affine group schemes with isomorphic perfections.
Example 3.2.1.
-
(1) Let G be a finite group scheme (i.e.
$k[G]$
is finite dimensional). We have
$G_{\mathrm {perf}}\cong G_{\mathrm {red}}$
, and so, in particular, G is infinitesimal if and only if
$G_{\mathrm {perf}}$
is trivial. -
(2) Reduced affine group schemes can also become isomorphic after perfection. For instance, if q is a power of p, then
$(SL_q)_{\mathrm {perf}}\cong (PGL_q)_{\mathrm {perf}}$
. This is an example of Lemma 3.2.2 below, or follows from 4.2.3 below and Example 1.4.2. Moreover, the latter results also show that, conversely,
$(SL_n)_{\mathrm {perf}}\cong (PGL_n)_{\mathrm {perf}}$
implies that n must be a power of p. -
(3) As follows from Remark 2.2.5, a necessary condition for affine group schemes
$G,H$
to have isomorphic perfections is that there exists an isomorphism
$G(k)\cong H(k)$
as abstract groups.
Recall that an isogeny is a faithfully flat homomorphism of affine group schemes with finite kernel N. An isogeny is infinitesimal if N is infinitesimal. An isogeny
$G\to Q$
between reduced and connected affine group schemes is purely inseparable if the induced morphism
$k(Q)\to k(G)$
between the fields of fractions is a purely inseparable field extension.
Lemma 3.2.2. For an isogeny
$q:G\to Q$
, the following conditions are equivalent:
-
(a) q is infinitesimal;
-
(b) The perfection of q is an isomorphism.
Moreover, if
$G,Q$
are reduced and connected, the above properties are equivalent to
-
(c) q is purely inseparable.
Proof. The equivalence between (a) and (b) is an immediate application of Example 3.2.1(1) and Lemma 3.1.8.
Condition (b) implies that for every
$a\in k[G]$
, there is
$i\in \mathbb {N}$
such that
$a^{p^i}$
is in the image of
$k[Q]\to k[G]$
, from which (c) follows immediately. Conversely, that (c) implies (b) follows similarly, by exploiting the equality
$$ \begin{align*} k[Q]\;=\;k(Q)\cap k[G],\qquad\text{inside } k(G).\end{align*} $$
To prove the displayed equality (of which the inclusion is obvious), we consider one
$f\in k(G)$
which belongs to
$k(Q)\subset k[G]$
. By viewing G as the inverse limit of quotient group schemes of finite type
$\varprojlim G_{\alpha }$
(which induces
$Q\cong \varprojlim Q_{\alpha }$
), we can easily reduce to the case where G and Q are of finite type, by taking
$\alpha $
for which
$f\in k[G_{\alpha }]\subset k[G]$
as well as
$f\in k(Q_{\alpha })\subset k(G_{\alpha })$
.
Assume thus that G is of finite type and consider the span S of
$\{g(f)\,|\, g\in G(k)\}$
. This is the
$G(k)$
-subrepresentation of the rational left regular representation
$k[G]$
; in particular, S is finite dimensional. Clearly, the action of
$G(k)$
on f factors through the canonical action of
$Q(k)$
on
$k(Q)$
, and by our finite type assumption, we have
$G(k)\twoheadrightarrow Q(k)$
. Hence, the elements
$h\in k[Q]$
for which
$hS\subset k[Q]$
form a non-zero (by finite dimensionality of S)
$Q(k)$
-invariant ideal
$I<k[Q]$
, and hence,
$I=k[Q]$
. So
$f\in S\subset k[Q]$
, as desired.
Note that an alternative argument considers the purely inseparable isogeny
${G\to G/(\ker q)^0}$
, which is also étale and therefore an isomorphism.
Proposition 3.2.3. The following conditions are equivalent on two reduced affine group schemes
$G,H$
of finite type.
-
(a)
$G_{\mathrm {perf}}\cong H_{\mathrm {perf}}$
; -
(b) There exists
$j\in \mathbb {N}$
and an infinitesimal isogeny
$G\to H^{(j)}$
; -
(c) There are
$i,j\in \mathbb {N}$
and homomorphims
$\phi : G\to H^{(j)}$
,
$\psi : H\to G^{(i)}$
for which the following triangles are commutative:
Proof. That (b) implies (a) is a special case of Lemma 3.2.2.
Now we prove that (c) implies (b). The kernel of the Frobenius homomorphism is infinitesimal; hence, the left diagram shows that the kernel of
$\phi $
is infinitesimal. Since we assume that G and H are reduced, the Frobenius homomorphism is faithfully flat. The right diagram thus proves that
$\phi $
is faithfully flat.
Applying Lemma 3.1.4 to the isomorphism in (a) yields morphisms
$\phi : G^{(-j)}\to H$
and
$\psi : H^{(-i)}\to G$
. Expressing that these induce mutually inverse homomorphisms on the perfected groups then states that there exists
$l\in \mathbb {N}$
such that the composition
$$ \begin{align*}H^{(-i-j-l)} \xrightarrow{\mathrm{Fr}^{l}} H^{(-i-j)}\xrightarrow{\psi^{(-j)} }G^{(-j)}\xrightarrow{\phi} H\end{align*} $$
is
$\mathrm {Fr}^{i+j+l}$
. Since
$\mathrm {Fr}^l$
is faithfully flat, we arrive precisely at the conditions in (c), so (a) implies (c).
3.3 Tannakian point of view
For an affine group scheme G, we denote by
$\mathsf {Rep} G$
its category of (rational) representations which are finite dimensional over k. Its category of all representations will be denoted by
$\mathsf {Rep}^\infty G\cong \mathrm {Ind}\mathsf {Rep} G$
.
3.3.1
Let us interpret
$G_{\mathrm {perf}}$
as
$\varprojlim G^{(-i)}$
as in 2.3.2. We refer to [Reference Coulembier, Etingof and OstrikCEO, §6] for an overview of the notion of the direct limit of (tensor) categories. In particular, we have
$$ \begin{align}\mathsf{Rep} (G_{\mathrm{perf}})\;\cong\;\varinjlim \mathsf{Rep} G^{(-i)},\end{align} $$
where the k-linear (exact) tensor functors in the chain are given by the pullback along
$G^{(-i-1)}\to G^{(-i)}$
. These functors fit into commutative diagrams:
The non-horizontal arrows are only k-linear up to twist. By definition,
$V\to V\otimes k[G]^{(-1)}$
comes from
$k[G]\to k[G]^{(-1)}$
in (2.2). The downwards arrow is given by applying
$-^{(1)}$
to both vector space and co-action. Note that we can equivalently realise the G-representation
$V^{(1)}$
from the bottom right in (3.2) as the subquotient of
$\otimes ^p V$
given by the image of
$\Gamma ^pV\to S^p V$
. This gives a more palatable definition of the Frobenius twist from the Tannakian point of view.
Diagram (3.2) allows us to realise
$\mathsf {Rep} G_{\mathrm {perf}}$
alternatively as
$$ \begin{align}\mathsf{Rep} (G_{\mathrm{perf}})\;\cong\;\varinjlim \mathsf{Rep} G, \end{align} $$
in the sprit of interpretation 2.3.1. Compared to (3.1), we no longer have to work with twists of G, but we do have the drawback that the the defining functors are not k-linear.
3.3.2 Notation
For
$M\in \mathsf {Rep} G$
, we denote by
$M[i]$
the object of
$\varinjlim \mathsf {Rep} G$
where M is placed in the i-th copy of
$\mathsf {Rep} G$
in the chain, and we use the same notation for the corresponding object in
$\mathsf {Rep}(G_{\mathrm {perf}})$
, via (3.3). Note that every object in
$\mathsf {Rep} (G_{\mathrm {perf}})$
is of this form, and furthermore,
$M[i]\cong M^{(1)}[i+1]$
.
Lemma 3.3.3. [Reference Coulembier, Etingof and OstrikCEO, Remark 6.5] Let G be an affine group scheme over k.
-
(1) G is reduced if and only if
$-^{(1)}: \mathsf {Rep} G\to \mathsf {Rep} G$
is full. -
(2) G is perfect if and only if
$-^{(1)}: \mathsf {Rep} G\to \mathsf {Rep} G$
is an equivalence.
Proof. If G is reduced, the p-th power map is injective on
$k[G]$
, and the fullness in (1) follows. However, if
$-^{(1)}$
is not full, then (by applying adjunction) there is a G-representation V with a vector
$v\in V$
which is not G-invariant, but for which
$1\otimes v\in V^{(1)}$
is G-invariant. Looking at the
$k[G]$
coaction then provides a non-zero
$f\in k[G]$
with
$f^p=0$
.
Via diagram (3.2), the functor is an equivalence if and only if
$G^{(-1)}\to G$
is an isomorphism, which is equivalent to G being perfect.
Remark 3.3.4. As for any direct limit of abelian categories, for objects
$M[i],N[i]\in \mathsf {Rep}(G_{\mathrm {perf}})$
, using notation from 3.3.2, we have
$$ \begin{align*}\varinjlim_{j}\mathrm{Ext}^l_{G}(M^{(j)}, N^{(j)})\cong \mathrm{Ext}^l_{G_{\mathrm{perf}}}(M[i],N[i]).\end{align*} $$
3.4 Additive, multiplicative and unipotent groups
For convenience, we let k be algebraically closed in this section.
3.4.1
To lighten expressions, we introduce the following notation:
$$ \begin{align*}\mathbf{G}_a:=(\mathbb{G}_a)_{\mathrm{perf}}\quad\text{and}\quad \mathbf{G}_m:=(\mathbb{G}_m)_{\mathrm{perf}}\end{align*} $$
for the perfection of the additive and multiplicative group of k.
Proposition 3.4.2. Assume that k is algebraically closed.
-
(1) Let
$\mathbf {G}$
be a connected affine group scheme of perfect finite type and of dimension
$1$
; then either
$\mathbf {G}\cong \mathbf {G}_a$
or
$\mathbf {G}\cong \mathbf {G}_m$
. -
(2) Let G be a reduced affine group scheme of finite type with
$G_{\mathrm {perf}}\cong \mathbf {G}_a$
(resp.
$G_{\mathrm {perf}}\cong \mathbf {G}_m$
); then
$G\cong \mathbb {G}_a$
(resp.
$G\cong \mathbb {G}_{m}$
).
Proof. By [Reference SpringerSp, Theorem 3.4.9], for any connected reduced affine group scheme G of finite type and of dimension
$1$
, we must have
$G\cong \mathbb {G}_a$
or
$G\cong \mathbb {G}_m$
. This implies part (2), by Lemma 2.2.6(1). Part (1) follows similarly, using characterisation 3.1.3(d).
By a torus we mean an affine group scheme isomorphic to
$\mathbb {G}_m^{\times n}$
for some
$n\in \mathbb {N}$
. Similarly, perfect tori are the affine group schemes isomorphic to
$\mathbf {G}_m^{\times n}$
for some
$n\in \mathbb {N}$
.
Lemma 3.4.3. For a connected reduced affine group scheme G of finite type, the following are equivalent:
-
(a) G is a torus;
-
(b)
$G_{\mathrm {perf}}$
is a perfect torus.
Proof. Clearly, (a) implies (b). However, (b) implies that G is connected and, since
$$ \begin{align*}\mathsf{Rep} G\to \mathsf{Rep} G_{\mathrm{perf}}\end{align*} $$
is exact and fully faithful, see Lemma 3.3.3(1), it follows that
$\mathsf {Rep} G$
is semisimple and pointed (every simple representation has dimension one). That G is a torus then follows from [Reference SpringerSp, 3.2.3 and 3.2.7(ii)].
Recall that an affine group scheme
$ G$
is unipotent if and only if every representation has an invariant vector (equivalently every simple object in
$\mathsf {Rep} G$
is trivial).
Lemma 3.4.4. For an affine group scheme G over k,
$G_{\mathrm {perf}}$
is unipotent if and only if
$G_{\mathrm {red}}$
is unipotent.
Proof. By equivalence (3.1), if G (or
$G_{\mathrm {red}}$
) is unipotent, then so is
$G_{\mathrm {perf}}$
. However, if
$G_{\mathrm {perf}}$
is unipotent, then the fully faithful exact functor from
$\mathsf {Rep} G_{\mathrm {red}}$
to
$\mathsf {Rep} G_{\mathrm {perf}}$
shows that also
$G_{\mathrm {red}}$
is unipotent.
3.4.5
We have a ring isomorphism
$$ \begin{align} \mathbb{Z}[1/p]\;\xrightarrow{\sim}\;\mathrm{End}(\mathbf{G}_m),\qquad a\mapsto \{{\boldsymbol{\lambda}}\mapsto {\boldsymbol{\lambda}}^a\},\end{align} $$
where
${\boldsymbol {\lambda }}$
stands for an element of
$\mathbf {G}_m(A)=\varprojlim A^{\times }$
for a commutative k-algebra A. The restriction to
$p^{\mathbb {Z}}\hookrightarrow \mathrm {Aut}(\mathbf {G}_m)$
is the homomorphism from 3.1.1.
For
$\mathbb {G}_a$
, the latter homomorphism extends to an isomorphism
$$ \begin{align} k^\times \rtimes p^{\mathbb{Z}} \;\xrightarrow{\sim}\; \mathrm{Aut}(\mathbf{G}_a),\qquad (\kappa, n)\mapsto \{ \theta^{n}_{\kappa}: {\boldsymbol{\lambda}}\mapsto \kappa{\boldsymbol{\lambda}}^n\}. \end{align} $$
3.4.6
For a perfect affine group scheme
$\mathbf {G}$
, Lemma 3.1.4 shows that characters of
$\mathbf {G}$
correspond to homomorphisms
$\mathbf {G}\to \mathbf {G}_m$
. As the latter formulation carries more structure, we define
$$ \begin{align*}\mathbf{X}(\mathbf{G})\,:=\, \mathrm{Hom}(\mathbf{G},\mathbf{G}_m)\,\cong\, \mathrm{Hom}(\mathbf{G},\mathbb{G}_m)=X(\mathbf{G}).\end{align*} $$
This is a
$\mathbb {Z}[1/p]$
-module via (3.4). Consequently, we will define cocharacters of
$\mathbf {G}$
to be the
$\mathbb {Z}[1/p]$
-module
$$ \begin{align*}\mathbf{Y}(\mathbf{G}):=\mathrm{Hom}(\mathbf{G}_m,\mathbf{G}).\end{align*} $$
We have the obvious bilinear pairing
$$ \begin{align}\mathbf{X}(\mathbf{G})\times\mathbf{Y}(\mathbf{G})\to\mathbb{Z}[1/p].\end{align} $$
It is non-degenerate if
$\mathbf {G}$
is a perfect torus.
3.5 Induction
3.5.1
For a homomorphism
$f:H\to G$
of affine group schemes, we will sometimes abbreviate
$f_\ast :=\mathrm {Ind}^{G}_H$
and
$f^\ast :=\mathrm {Res}^G_H$
. This gives an adjoint pair
$f^\ast \dashv f_\ast $
of functors between
$\mathsf {Rep}^\infty G$
and
$\mathsf {Rep}^\infty H$
.
3.5.2
For a commutative square of group homomorphisms
the adjunction morphisms yield a natural transformation
$$ \begin{align*}\xi:b^\ast g_\ast\;\Rightarrow\; f_\ast a^\ast.\end{align*} $$
In particular, for
$M\in \mathsf {Rep}^\infty A$
, the morphism
$\xi _M$
is zero if and only if the composite
$$ \begin{align*}g^\ast g_\ast M\;\to\; M\;\to\; a_\ast a^\ast M\end{align*} $$
is zero.
3.5.3
Now we consider two affine group schemes of the form
$A=\varprojlim A_i$
and
$B=\varprojlim B_i$
for inverse systems of affine group schemes
$(A_i\,|\, i\in \mathbb {N})$
and
$(B_i\,|\, i\in \mathbb {N})$
. We label the homomorphisms
$p_i: A\to A_i$
,
$q_i: B\to B_i$
and
$a_{[i,j]}:A_{i}\to A_j$
for
$i>j$
. Assume also given homomorphisms
$A_i\to B_i$
, leading to
$A\to B$
.
Proposition 3.5.4.
-
(1) For
$M_i\in \mathsf {Rep}^\infty A_i$
and morphisms
$a^\ast _{[i+1,i]}M_i\to M_{i+1}$
, the evaluations at
$M_i$
of the natural transformations in 3.5.2 lead to an isomorphism
$$ \begin{align*}\varinjlim q_i^\ast \mathrm{Ind}^{B_i}_{A_i}M_i\;\xrightarrow{\sim}\; \mathrm{Ind}^B_A\varinjlim p_i^\ast M_i.\end{align*} $$
-
(2) For
$M\in \mathsf {Rep}^\infty A_j$
and
$n\in \mathbb {N}$
, we have a canonical isomorphism
$$ \begin{align*}\varinjlim q_i^\ast ( R^n\mathrm{Ind}^{B_i}_{A_i}(a_{[i,j]}^\ast M))\;\xrightarrow{\sim}\; R^n\mathrm{Ind}^B_A (p_j^\ast M).\end{align*} $$
Proof. The right-hand side in part (1) is given by the A-invariants in the vector space
$$ \begin{align*}\varinjlim (M_i\otimes k[B_i]).\end{align*} $$
Since direct limits commute with co-equalisers, this is isomorphic to the direct limit of
$A_i$
-invariants in the above spaces. This proves part (1).
Note that the case
$n=0$
in part (2) is the special case of part (1) where we set
$M_i:=a^\ast _{[i,j]}M$
. We can prove the analogue of part (1) for derived functors, which similarly specialises to part (2), as follows. For a chain
$\{M_i\}$
as in part (1), we consider injective hulls in
$\mathsf {Rep}^\infty A_i$
, yielding short exact sequences
$$ \begin{align*}0\to M_i\to I_i\to Q_i\to 0.\end{align*} $$
The defining property of injective modules gives a chain map from the action of
$a_{[i+1,i]}^\ast $
on the above sequence and the corresponding sequence for
$i+1$
. In particular, this makes
$\{I_i\}$
and
$\{Q_i\}$
into chains of representations as in part (1), and we have a short exact sequence
$$ \begin{align*}0\to \varinjlim p_i^\ast M_i\to\varinjlim p_i^\ast I_i\to\varinjlim p_i^\ast Q_i\to 0\end{align*} $$
in
$\mathsf {Rep}^\infty A$
. The claim now follows by induction on n, using long exact sequences in homology if we observe that
$I:=\varinjlim p_i^\ast I_i$
is injective in
$\mathsf {Rep}^\infty A$
. Exactness of
$$ \begin{align*}\mathrm{Hom}_A(-,I):\;\mathsf{Rep} A\to\mathrm{Vec}^\infty\end{align*} $$
follows from the observation
$\mathsf {Rep} A\cong \varinjlim \mathsf {Rep} A_i$
. The latter exactness is sufficient to conclude that I is injective. Indeed, we can consider an injective hull
$I\subset I'$
and an intermediate module
$I\subset I"\subset I'$
for which
$I"/I$
is finite dimensional. Now we must have
$I"\cong I\oplus I"/I$
(apply
$\mathrm {Hom}(-,I)$
to a finite submodule of
$I"$
which still surjects onto
$I"/I$
), which violates
$\mathrm {soc} I =\mathrm {soc} I'$
unless
$I"=I$
.
Corollary 3.5.5. Let G be an affine group scheme with subgroup H. Set
$\mathbf {G}=H_{\mathrm {perf}}$
, set
$\mathbf {H}=H_{\mathrm {perf}}$
and take
$n\in \mathbb {N}$
. For
$M\in \mathsf {Rep} H$
such that
$R^n\mathrm {Ind}^{G}_{H}M^{(i)}$
is finite dimensional for each
$i\in \mathbb {N}$
. For each
$j\in \mathbb {N}$
, we have an isomorphism
$$ \begin{align*}\varinjlim_{i\ge j} \left(R^n \mathrm{Ind}^{G}_{H}(M^{(i-j)})[i]\right)\;\xrightarrow{\sim}\; R^n \mathrm{Ind}^{\mathbf{G}}_{\mathbf{H}}(M[j]),\end{align*} $$
with notation as in 3.3.2.
Proof. We start by applying Proposition 3.5.4(2), using the interpretation
$G_{\mathrm {perf}}=\varprojlim G^{(-i)}$
, applied to
$M^{(-j)}\in \mathsf {Rep} H^{(-j)}$
. By assumption, all the representations appearing in the direct limit in 3.5.4(2) are finite dimensional. After passing from (3.1) to (3.3), this allows us to use the notation from 3.3.2 to rewrite the isomorphism in the desired form.
Remark 3.5.6.
-
(1) For group schemes of finite type, we can prove Corollary 3.5.5 alternatively using Theorem 3.1.6(3) and (a generalisation from line bundles to general quasi-coherent sheaves with identical proof of) Lemma 2.5.1.
-
(2) Assume that M is one-dimensional, and
$ \mathrm {Ind}^G_{H}(M^{(j)})\not =0$
for all j. It follows from 3.5.2 that the morphisms in the directed system for the left-hand side in Corollary 3.5.5 for
$n=0$
are all non-zero.
4 Perfectly reductive groups
In this section, we assume that k is algebraically closed of characteristic
$p>0$
.
4.1 Definition
Recall that a reductive group over k is a connected reduced (smooth) affine group scheme of finite type which has no non-trivial normal reduced unipotent subgroup.
Theorem 4.1.1.
-
(1) For an affine group scheme
$\mathbf {G}$
, the following are equivalent:-
(a)
$\mathbf {G}$
is a connected affine group scheme of perfect finite type and has no non-trivial perfect normal unipotent subgroups; -
(b)
$\mathbf {G}\cong G_{\mathrm {perf}}$
for a reductive group G; -
(c)
$\mathbf {G}$
is an affine group scheme of perfect finite type and, whenever
$\mathbf {G}\cong H_{\mathrm {perf}}$
for a reduced affine group scheme of finite type H, then H must be reductive.
If these conditions are satisfied, we call
$\mathbf {G}$
perfectly reductive. -
-
(2) For every connected affine group scheme of perfect finite type
$\mathbf {H}$
, there exists a short exact sequence of perfect affine group schemes where
$$ \begin{align*}1\to \mathbf{U}\to \mathbf{H}\to \mathbf{Q}\to 1,\end{align*} $$
$\mathbf {U}$
is unipotent and
$\mathbf {Q}$
is perfectly reductive.
Proof. First we show that 1(b) implies 1(a). Set
$\mathbf {G}=G_{\mathrm {perf}}$
for a reductive group G. Let
$\mathbf {U}\lhd \mathbf {G}$
be a perfect normal unipotent subgroup. Then by Theorem 3.1.6(2), there exists a reduced normal subgroup
$U\lhd G$
with
$U_{\mathrm {perf}}=\mathbf {U}$
. By Lemma 3.4.4, U is unipotent, so U is trivial. Consequently,
$\mathbf {U}$
is trivial.
That 1(c) implies 1(b) follows from Theorem 3.1.3.
For
$\mathbf {H}$
as in (2), we know that
$\mathbf {H}=H_{\mathrm {perf}}$
for a connected reduced affine group scheme of finite type H by Theorem 3.1.3. By taking the perfection of the short exact sequence corresponding to the unipotent radical
$R_uH\lhd H$
(see [Reference MilneMi, §6.4.6]), we get a short exact sequence as desired in (2) (provided we define, for now, perfectly reductive groups as the perfections of reductive groups), with
$\mathbf {U}:=(R_uH)_{\mathrm {perf}}$
, by Lemma 3.1.8.
Since
$R_uH$
is reduced,
$\mathbf {U}$
is trivial if and only if
$R_uH$
is trivial, which shows that 1(a) implies 1(c).
Remark 4.1.2. In addition to Theorem 4.1.1(2), we can also observe that every affine group scheme of perfect finite type
$\mathbf {G}$
admits a short exact sequence
$\mathbf {H}\to \mathbf {G}\to Q$
where Q is a finite abstract group and
$\mathbf {H}$
is a connected affine group scheme of perfect finite type. This follows from perfecting the classical theory; see [Reference MilneMi, §2.g].
4.1.3
A perfect Borel subgroup
$\mathbf {B}$
of a perfectly reductive group is a maximal solvable perfect subgroup. For a reductive group G, every perfect Borel subgroup of
$G_{\mathrm {perf}}$
is the perfection of a Borel subgroup of G by Theorem 3.1.6(2) and Corollary 3.1.9. In particular, every two perfect Borel subgroups are conjugate.
Similarly, by Theorem 3.1.6(2) and Lemma 3.4.3, every maximal perfect torus
$\mathbf {T}$
in
$G_{\mathrm {perf}}$
is the perfection of a maximal torus
$T<G$
, and so maximal perfect tori are unique up to conjugation.
We henceforth use freely that every such choice
$\mathbf {T}<\mathbf {B} < G_{\mathrm {perf}}$
, for a reductive group G, can be obtained as the perfection of a corresponding choice
$T<B<G$
of Borel subgroup and maximal torus in G.
4.2 Classification
We freely use the equivalence between D-root data and real-type D-root data for
$D=\mathbb {Z}$
and
$D=\mathbb {Z}[1/p]$
from Theorem 1.4.1.
Theorem 4.2.1. There is a canonical bijection between the set of isomorphism classes of perfectly reductive groups over k and the set of isomorphism classes of
$\mathbb {Z}[1/p]$
-root data.
Remark 4.2.2.
-
(1) As in the classical case, this theorem can be extended to cover isogenies. We do this in 4.3 below.
-
(2) Theorem 4.2.1 implies in particular that for two reductive groups to have isomorphic perfections, they must have Weyl groups that are isomorphic as Coxeter groups. Slightly more restrictive, they must have the same Dynkin diagram, except that we can have perfected isomorphisms between types B and C when
$p=2$
.
4.2.3 Idea of the proof
We will prove that, when characterising a reductive group in terms of its root datum, two reductive groups become isomorphic after perfection if and only if their root data become isomorphic after extension of scalars to
$\mathbb {Z}[1/p]$
.
More explicitly, denote by
$D\text {-}\mathcal {R}\mathcal {D}$
the set of isomorphism classes of D-root data. Furthermore, we let
$\mathcal {R}e\mathcal {G}r$
, resp.
$\mathcal {P}e\mathcal {R}e\mathcal {G}r$
, denote the set of isomorphism classes of reductive groups, resp. perfectly reductive groups, over k. We can exploit the classical bijection between
$\mathbb {Z}\text {-}\mathcal {R}\mathcal {D}$
and
$\mathcal {R}e\mathcal {G}r$
(see, for instance, [Reference DemazureDe]) and include it in the following (commutative) diagram:
The upper surjection is given by the definition in 4.1.1(1)(b) of perfectly reductive groups. The lower surjection comes from Lemma 1.1.3. To prove Theorem 4.2.1, it suffices to show the dashed arrows in (4.1) exist. This is established in the following two propositions.
Proposition 4.2.4. If the root data of two reductive groups
$G_1,G_2$
extend to isomorphic root data over
$\mathbb {Z}[1/p]$
, then
$(G_1)_{\mathrm {perf}}$
and
$(G_2)_{\mathrm {perf}}$
are isomorphic. In particular, the upwards dashed arrow in (4.1) exists.
Proof. Let
$(X_i,R_i,Y_i,R^\vee _i)$
, with
$i\in \{1,2\}$
, denote the root datum of
$G_i$
. Consider an isomorphism of root data given by
$\psi :\mathbb {Z}[1/p]\otimes X_1 \xrightarrow {\sim }\mathbb {Z}[1/p]\otimes X_2$
. Replacing
$\psi $
by
$p^l\psi $
if necessary (as is allowed by Lemma 1.2.5), we can assume that
$\psi $
restricts to an embedding
$X_1\hookrightarrow X_2$
. Furthermore, we get a bijection
$R_1\to R_2$
, by associating to
$\alpha \in R_1$
the unique element
$\alpha ^{\prime }\in R_2$
for which
$\psi (\alpha )=p^j\alpha ^{\prime }$
for some
$j\in \mathbb {Z}$
. Again, after replacing
$\psi $
by
$p^l\psi $
if necessary, we can assume
$j\in \mathbb {N}$
. Now it follows quickly that this
$X_1\hookrightarrow X_2$
satisfies the requirements to apply [Reference SteinbergSt, Theorem 1.5], which yields an isogeny
$G_1\to G_2$
.
We can apply the same procedure to
$\psi ^{-1}$
to obtain an isogeny
$G_2\to G_1$
. As we might need to replace
$\psi ^{-1}$
again by a composition with multiplication by a power of p, our two isogenies will not necessarily be induced by mutually inverse maps
$X_1\leftrightarrow X_2$
, but by maps which compose to
$p^l$
times the identity for some
$l\in \mathbb {N}$
. Uniqueness of isogenies in [Reference SteinbergSt, Theorem 1.5] then states that composition of the isogenies between
$G_1$
and
$G_2$
yields morphisms
$\phi ^l\circ \mathrm {Fr}^l$
, for isomorphisms
$\phi : G_i^{(1)}\to G_i$
as in 3.1.1 (up to possible composition with inner automorphisms). That
$(G_1)_{\mathrm {perf}}$
and
$(G_2)_{\mathrm {perf}}$
are isomorphic now follows from Proposition 3.2.3.
Establishing the existence of the downwards dashed arrow will take more work. Note that an alternative proof of this fact will be given in Section 6. As that proof moves via topology, it seems preferable to have this direct algebraic proof too. The following lemma can be proved by looking at the Hopf algebra morphisms.
Lemma 4.2.5. Consider a reduced affine group scheme H with a homomorphism
$\phi : H^{(-i)}\to \mathbb {G}_m$
, such that the diagram
can be completed with dashed arrow to a commutative square. Then
$\phi $
factors through
$\mathrm {Fr}^i:H^{(-i)}\to H$
.
Definition 4.2.6. Let
$\mathbf {G}$
be a perfectly reductive group with maximal perfect torus
$\mathbf {T}$
. An rt-pair is a pair
$(x,\alpha )$
of a subgroup inclusion
$x:\mathbf {G}_a\to \mathbf {G}$
and
$\alpha \in \mathbf {X}$
(i.e.
$\alpha :\mathbf {T}\to \mathbf {G}_m$
), for which the following square is commutative:
If we apply this definition to ordinary reductive groups (we replace every perfect group in (4.2) by its finite type analogue), we get precisely the pairs of inclusions of root subgroups and their corresponding root. Since root subgroups are unique, the inclusion of the root subgroup is unique up to scalar in
$k^\times \cong \mathrm {Aut}(\mathbb {G}_a)$
.
Lemma 4.2.7. Let
$\mathbf {G}$
be a perfectly reductive group with maximal perfect torus
$\mathbf {T}$
.
-
(1) The group
$k^\times \rtimes p^{\mathbb {Z}}$
acts on the set of rt-pairs as
$$ \begin{align*}(x,\alpha)\;\stackrel{(\kappa,n)}{\longmapsto}\; (x\circ( \theta^n_{\kappa})^{-1},\ n\alpha),\qquad\text{for all } (\kappa,n)\in k^\times\rtimes p^{\mathbb{Z}}.\end{align*} $$
(See 3.4.5 for the definition of
$\theta ^n_{\kappa }$
and 3.4.6 for the action of
$n\in \mathbb {Z}[1/p]$
on
$\mathbf {X}$
.) -
(2) If for one
$\alpha :\mathbf {T}\to \mathbf {G}_m$
we have two rt-pairs
$(x,\alpha )$
and
$(z,\alpha )$
, then
$z=x\circ \theta ^1_\kappa $
for some
$\kappa \in k^\times $
. -
(3) Consider a reductive group G with
$G_{\mathrm {perf}}\cong \mathbf {G}$
, with maximal torus T which perfects to
$\mathbf {T}$
. Consider an rt-pair
$(x,\alpha )$
for which x is the perfection of some
$x_0:\mathbb {G}_a\hookrightarrow G$
; then
$\alpha $
is the perfection of a root homomorphism
$T\to \mathbb {G}_m$
and
$x_0$
is an inclusion of the corresponding root subgroup. -
(4) For every rt-pair
$(x,\alpha )$
, there exists
$n\in p^{\mathbb {Z}}$
such that
$x\circ \theta _1^n$
is the perfection of the inclusion of a root subgroup
$\mathbb {G}_a\hookrightarrow G$
and
$n^{-1}\alpha $
is the perfection of the corresponding root homomorphism
$T\to \mathbb {G}_m$
.
Proof. Part (1) follows from a direct calculation.
For part (3), the homomorphism
$\alpha :\mathbf {T}\to \mathbf {G}_m$
is induced from
$T^{(-i)}\to \mathbb {G}_m$
for some
$i\in \mathbb {N}$
, as in Lemma 3.1.4. We find a diagram
which “perfects” to diagram (4.2). More precisely, after perfecting the above diagram and removing the automorphism which is the perfection of
$\mathrm {Fr}^i\times \mathrm {id}$
, we recover (4.2). In particular, we find that the above diagram is commutative. It now follows from Lemma 4.2.5 that
$\alpha $
comes from
$\alpha _0:T\to \mathbb {G}_m$
, and it follows immediately that
$\alpha _0$
is a root.
Now we prove part (4). By Theorem 3.1.6(2) and Proposition 3.4.2(2), there exists a group monomorphism
$\mathbb {G}_a\hookrightarrow G$
which perfects to
$x\circ \phi ^{n}_\kappa $
for some
$n\in p^{\mathbb {Z}}$
,
$\kappa \in k^\times $
. By identifying
$k^\times $
with
$\mathrm {Aut}(\mathbb {G}_a)$
, we might as well take
$\kappa =1$
. The claim about
$\alpha $
now follows from parts (1) and (3).
Finally, we prove part (2). Since roots of reductive groups cannot be multiples of one another, part (4) implies that there is
$n\in p^{\mathbb {Z}}$
for which both
$x\circ \theta _1^n$
and
$z\circ \theta _1^n$
are the perfections of inclusions of the same root subgroup. Those inclusions must be the same, up to a scalar in
$k^\times \cong \mathrm {Aut}(\mathbb {G}_a)$
, from which the claim follows.
Proposition 4.2.8. Consider a reductive group G corresponding to a root datum
$RD$
. One can extract
$\mathbb {Z}[1/p]\otimes RD$
from the group
$G_{\mathrm {perf}}$
. In particular, the downwards dashed arrow in (4.1) exists.
Proof. We construct a
$\mathbb {Z}[1/p]$
-root datum
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^\vee )$
from
$\mathbf {G}:=G_{\mathrm {perf}}$
. It will follow from the construction that
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^\vee )$
is isomorphic to
$\mathbb {Z}[1/p]\otimes RD$
.
First, we let
$\mathbf {T}$
be a maximal perfect torus in
$\mathbf {G}$
. Recall
$\mathbf {T}$
is the perfection of a maximal torus
$T<G$
(and hence unique up to conjugation). We choose such a T. We set
$\mathbf {X}=\mathbf {X}(\mathbf {T})$
and
$\mathbf {Y}=\mathbf {Y}(\mathbf {T})$
, with (non-degenerate) pairing (3.6). We denote the root datum of G corresponding to T by
$(X,R,Y,R^\vee )\cong RD$
.
Following Lemma 3.1.4, we find
$$ \begin{align}\mathbb{Z}[1/p]\otimes X=\mathbb{Z}[1/p]\otimes\mathrm{Hom}(T,\mathbb{G}_m))\xrightarrow{\sim}\varinjlim\mathrm{Hom}(T^{(-i)},\mathbb{G}_m))\xrightarrow{\sim}\mathrm{Hom}(\mathbf{T},\mathbf{G}_m)=\mathbf{X}.\end{align} $$
We define
$\mathbf {R}\subset \mathbf {X}$
as the set of
$\alpha $
for which there exists an rt-pair
$(x,\alpha )$
. It follows from Lemma 4.2.7(1) and (4) that
$\mathbf {R}\subset p^{\mathbb {Z}}R$
, under
$R\subset X\subset \mathbf {X}$
from (4.3). That
$R\subset \mathbf {R}$
, so
$p^{\mathbb {Z}}R\subset \mathbf {R}$
by Lemma 4.2.7(1), follows from perfecting the root homomorphisms into G. In conclusion,
$\mathbf {R}=p^{\mathbb {Z}}R$
.
Having defined
$(\mathbf {X},\mathbf {R},\mathbf {Y})$
, we now define the injection
$-^{\vee }:\mathbf {R}\to \mathbf {Y}$
completing the root datum. Choose
$\alpha \in R\subset \mathbf {R}$
. Denote by
$\mathbf {H}$
the minimal perfect subgroup of
$\mathbf {G}$
which contains the images of the two morphisms
$\mathbf {G}_a\to \mathbf {G}$
corresponding to
$\alpha ,-\alpha $
. That the images only depend on
$\alpha ,-\alpha $
follows from Lemma 4.2.7(2). That there exists such a minimal
$\mathbf {H}<\mathbf {G}$
follows from the noetherian property of G and Theorem 3.1.6(2). The latter also shows that
$\mathbf {H}$
must be isomorphic to
$(SL_2)_{\mathrm {perf}}$
or
$(PGL_2)_{\mathrm {perf}}$
and that
$\mathbf {T}\cap \mathbf {H}$
is a (maximal) torus in
$\mathbf {H}$
. We use this to define
$\mathbf {G}_m\to \mathbf {T}$
, determined up to
$\mathrm {Aut}(\mathbf {G}_m)=\mathbb {Z}[1/p]^{\times }$
, either as the inclusion of this maximal torus of
$(SL_2)_{\mathrm {perf}}$
or by similarly restricting the homomorphism
$(SL_2)_{\mathrm {perf}}\twoheadrightarrow (PGL_2)_{\mathrm {perf}}\hookrightarrow \mathbf {G}$
. Finally, we can then define
$\alpha ^\vee :\mathbf {G}_m\to \mathbf {T}$
as the unique such morphism for which composition with
$\alpha :\mathbf {T}\to \mathbf {G}_m$
yields
$2\in \mathrm {End}(\mathbf {G}_m)$
. By construction,
$\alpha ^\vee $
is defined independently of G but clearly corresponds to the direct definition via
$\mathbf {G}=G_{\mathrm {perf}}$
. For
$p^i\alpha $
, we set
$(p^i\alpha )^\vee =p^{-i}\alpha ^\vee $
, which extends the definition to
$\mathbf {R}=p^{\mathbb {Z}}R$
.
4.3 Isogenies
We establish a connection between isogenies of perfectly reductive groups and our notion of isogenies of
$\mathbb {Z}[1/p]$
-root data from Section 1.5.
Theorem 4.3.1. Consider two perfectly reductive groups
$\mathbf {G}_1$
and
$\mathbf {G}$
with perfect maximal tori
$\mathbf {T}_1,\mathbf {T}$
and the corresponding
$\mathbb {Z}[1/p]$
-root data
$(\mathbf {X}_1,\mathbf {R}_1,\mathbf {Y}_1,\mathbf {R}^\vee _1)$
and
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^\vee )$
. There is a bijection between the sets of
-
(a) Isogenies
$(\mathbf {X},\mathbf {R},\mathbf {Y},\mathbf {R}^\vee )\to (\mathbf {X}_1,\mathbf {R}_1,\mathbf {Y}_1,\mathbf {R}^\vee _1)$
; -
(b) Equivalence classes of isogenies
$\mathbf {G}_1\to \mathbf {G}$
which send
$\mathbf {T}_1$
to
$\mathbf {T}$
, where two isogenies are equivalent if one is obtained from the other by composition with an inner automorphism affected by an element of
$\mathbf {T}_1(k)=T_1(k)$
.
Proof. Let
$G,G_1$
denote reductive groups which perfect to
$\mathbf {G},\mathbf {G}_1$
, with maximal tori
$T,T_1$
which perfect to
$\mathbf {T},\mathbf {T}_1$
, and denote their root data by
$(X,R,Y,R^\vee )$
and
$ (X_1,R_1,Y_1,R^\vee _1)$
.
We will prove both sets (a) and (b) are in bijection with the set of
-
(c) Equivalence classes of pairs
$(\theta ,i)$
of an isogeny
$\theta :(X,R,Y,R^\vee )\to (X_1,R_1,Y_1,R^\vee _1)$
(in the sense of [Reference SteinbergSt, §1]) and
$i\in \mathbb {Z}$
, where the equivalence relation is generated by
$(\theta ,i)\sim (p\theta ,i-1)$
.
That sending a pair
$(\theta ,i)$
to the extension of scalars along
$\mathbb {Z}\to \mathbb {Z}[1/p]$
of
$p^i\theta $
yields a bijection between (c) and (a) can be easily derived from Remark 1.5.2.
An isogeny
$\mathbf {G}_1\to \mathbf {G}$
yields a faithfully flat morphism
$G^{(-i)}_1\to G$
for high enough i, via Lemma 3.1.4. Its kernel is an affine group scheme of finite type which perfects to a finite group scheme. It must therefore be a finite group scheme and
$G^{(-i)}_1\to G$
is an isogeny. This principle allows us to establish a bijection between the set of isogenies
$\mathbf {G}_1\to \mathbf {G}$
and the set of equivalence classes of isogenies
$G_1^{(-i)}\to G$
, with equivalence generated by the condition that
$\phi :G_1^{(-i)}\to G$
be equivalent to
$\phi \circ \mathrm {Fr}: G_1^{(-i-1)}\to G$
.
The above connection between isogenies
$\mathbf {G}_1\to \mathbf {G}$
and equivalence classes of isogenies
$G_1\to G$
allows us to use the classical Isogeny Theorem [Reference SteinbergSt, 1.5] to establish the bijection between (b) and (c).
5 Perfected representation theory
Let k be an algebraically closed field of characteristic p.
5.1 Simple and induced modules and block structure
Let
$\mathbf {G}$
be a perfectly reductive group,
$\mathbf {B}$
a perfect Borel subgroup and
$\mathbf {T} <\mathbf {B}$
a maximal perfect torus. We consider the set
$\mathbf {R}^+\subset \mathbf {R}$
of positive roots, which are the ones for which the corresponding
$\mathbf {G}_a\to \mathbf {G}$
does not land in
$\mathbf {B}$
(i.e. we let
$\mathbf {B}$
be the negative Borel).
We set
$\mathbf {X}=\mathbf {X}(\mathbf {T})$
and
$\mathbf {X}_+\subset \mathbf {X}$
the subset of
${\boldsymbol {\lambda }}\in \mathbf {X}$
which satisfy
$\langle {\boldsymbol {\lambda }},\alpha ^\vee \rangle \ge 0$
for all
$\alpha \in \mathbf {R}^+$
. We have a canonical bijection
$\{{\boldsymbol {\lambda }}\mapsto k_{{\boldsymbol {\lambda }}}\}$
between
$\mathbf {X}$
and the set of isomorphism classes of simple
$\mathbf {B}$
-representations (which are all one-dimensional).
Theorem 5.1.1.
-
(1) The representation
$$ \begin{align*}{\boldsymbol{\nabla}}({\boldsymbol{\lambda}}):=\mathrm{Ind}^{\mathbf{G}}_{\mathbf{B}}k_{\boldsymbol{\lambda}}\;\in\;\mathsf{Rep}^{\infty}\mathbf{G}\end{align*} $$
is zero if
${\boldsymbol {\lambda }}\not \in \mathbf {X}_+$
. If
${\boldsymbol {\lambda }}\in \mathbf {X}_+$
, it has simple socle, which we denote by
$\mathbf {L}({\boldsymbol {\lambda }})$
. -
(2) The above association
${\boldsymbol {\lambda }}\mapsto \mathbf {L}({\boldsymbol {\lambda }})$
is a bijection between
$\mathbf {X}_+$
and the set of isomorphism classes of simple representations in
$\mathsf {Rep} \mathbf {G}$
.
Proof. We choose a reductive group G with
$G_{\mathrm {perf}}\cong \mathbf {G}$
and maximal torus and Borel subgroup
$T< B< G$
which perfect to
$\mathbf {T}$
and
$\mathbf {B}$
. We will use the notation in 3.3.2. By equivalence (3.3), every simple object in
$\mathsf {Rep} \mathbf {G}$
is of the form
$L(\mu )[i]$
for some
$\mu \in X_+$
and
$i\in \mathbb {N}$
. Since
$L(\mu )^{(1)}\cong L(p\mu )$
(see [Reference JantzenJa, II.3]), we can define unambiguously the simple object
$\tilde {L}(p^{-i}\mu ):=L(\mu )[i]$
for
$i\in \mathbb {N}$
and
$\mu \in X_+$
. This clearly gives a bijection between
$\mathbf {X}_+$
and the set of isomorphism classes of simple objects in
$\mathsf {Rep} \mathbf {G}$
.
By Corollary 3.5.5, we have
$$ \begin{align}{\boldsymbol{\nabla}}({\boldsymbol{\lambda}})\;\cong\;\varinjlim \nabla(p^i{\boldsymbol{\lambda}})[i],\end{align} $$
where the chain of which we take the limit starts at i where
$p^i{\boldsymbol {\lambda }}\in X\subset \mathbf {X}$
. It follows now from [Reference JantzenJa, II.2] that
${\boldsymbol {\nabla }}({\boldsymbol {\lambda }})=0$
whenever
${\boldsymbol {\lambda }}\not \in \mathbf {X}_+$
.
Now consider
${\boldsymbol {\lambda }}\in \mathbf {X}_+$
. The morphisms in the direct system for (5.1) are not zero by Remark 3.5.6(2). Hence, the defining morphisms
$\nabla (p^i{\boldsymbol {\lambda }})^{(1)}\to \nabla (p^{i+1}{\boldsymbol {\lambda }})$
are unique (up to scalar) and injective since
$\nabla (p^i{\boldsymbol {\lambda }})^{(1)}$
has socle
$L(p^{i+1}{\boldsymbol {\lambda }})$
by Remark 5.1.4 below and
$\nabla (p^{i+1}{\boldsymbol {\lambda }})$
is the injective hull of this socle in a Serre subcategory containing
$\nabla (p^i{\boldsymbol {\lambda }})^{(1)}$
. In particular, for
${\boldsymbol {\lambda }},\boldsymbol {\mu }\in \mathbf {X}_+$
, we have
$$ \begin{align*}\mathrm{Hom}_{\mathbf{G}}(\tilde{L}(\boldsymbol{\mu}), {\boldsymbol{\nabla}}({\boldsymbol{\lambda}}))\cong\varinjlim \mathrm{Hom}_{G}(L(p^i\boldsymbol{\mu}),\nabla(p^i{\boldsymbol{\lambda}}))\cong k\delta_{{\boldsymbol{\lambda}},\boldsymbol{\mu}}.\end{align*} $$
We can therefore identify
$\tilde {L}(\boldsymbol {\mu })$
with the socle of
${\boldsymbol {\nabla }}(\boldsymbol {\mu })$
.
Remark 5.1.2.
-
(1) We can alternatively construct the modules
${\boldsymbol {\nabla }}({\boldsymbol {\lambda }})$
as the global sections of line bundles on
$\mathbf {G}/\mathbf {B}\cong (G/B)_{\mathrm {perf}}$
. -
(2) It follows, for instance, from the proof of Theorem 5.1.1 that
$$ \begin{align*}[{\boldsymbol{\nabla}}({\boldsymbol{\lambda}}):\mathbf{L}(\boldsymbol{\mu})]=[{\boldsymbol{\nabla}}(p^j{\boldsymbol{\lambda}}):\mathbf{L}(p^j\boldsymbol{\mu})],\qquad\text{for all }\; {\boldsymbol{\lambda}},\boldsymbol{\mu}\in \mathbf{X}_+\text{ and }j\in\mathbb{Z}.\end{align*} $$
In fact, the proof even shows that
(5.2)
$$ \begin{align} [{\boldsymbol{\nabla}}({\boldsymbol{\lambda}}):\mathbf{L}(\boldsymbol{\mu})]\;=\;\lim_{m \to \infty} [\nabla(p^m\lambda):L(p^m\mu)]. \end{align} $$
The sequence on the right-hand side in equation (5.2) is monotone increasing, and one can ask when it is bounded. For G of rank
$1$
, it is clearly bounded, but the following rank 2 example was communicated to us by Stephen Donkin.
Example 5.1.3 (Donkin).
Set
$p=2$
and let E be a 4-dimensional space with symplectic form, so that E is the natural representation of
$Sp(E)\simeq Sp_{4}$
. Let
$\lambda $
be such that
$E\simeq L(\lambda )$
. Then
$$ \begin{align*}[\nabla(2^m\lambda):L(0)]\;=\; 2^{m-1}+1,\quad\text{so}\quad [{\boldsymbol{\nabla}}({\boldsymbol{\lambda}}):\mathbf{L}({\mathbf 0})]\;=\;\infty .\end{align*} $$
Indeed, more generally,
$\nabla (m\lambda )$
is the symmetric power
$S^mE$
, and by [Reference Erdmann and KovácsEK, Lemma 4.6], we have
$$ \begin{align*} [S^{2m}E:L(0)]&=[(S^{m-2}E)^{(1)}:L(0)]+[(S^mE)^{(1)}:L(0)]+[\wedge^2E\otimes (S^{m-1}E)^{(1)}:L(0)]\\&=[S^{m-2}E:L(0)]+[S^mE:L(0)]+2[S^{m-1}E:L(0)], \end{align*} $$
where we used that
$[\wedge ^2E]=2[L(0)]+[L(\omega )]$
, with
$\omega $
the second fundamental weight, so that
$[L(\omega )\otimes M^{(1)}:L(0)]=0$
for all representations M. It follows by induction on m that
$$ \begin{align*}[S^{2m}E:L(0)]\;=\;m+1.\end{align*} $$
Remark 5.1.4. Let G be a reductive group. The canonical morphism
$$ \begin{align*}\mathrm{Ext}^\ast_{G}(M,N)\to \mathrm{Ext}^\ast_{G}(M^{(1)},N^{(1)})\end{align*} $$
is injective. This is proved in [Reference JantzenJa, II.10.14] if
$(p-1)\rho \in X$
(e.g.
$p\not =2$
).
If
$\rho \not \in X$
, we can extend
$X\subset X'\subset \mathbb {Q}\otimes X$
by taking the lattice maximal
$X'$
for which
$\langle -,\alpha ^\vee \rangle $
still takes values in
$\mathbb {Z}$
for every
$\alpha ^\vee \in R^\vee $
. In particular,
$\rho \in X'$
. Taking the appropriate
$Y'\subset Y$
yields a new root datum
$(X',R,Y', R^\vee )$
corresponding to a reductive group
$G'$
. By [Reference SteinbergSt, Theorem 1.5], there is an isogeny
$G'\to G$
. The claim then reduces to the previous case via an obvious commutative square.
As in any category of finite dimensional modules over a coalgebra over a field, the blocks in
$\mathsf {Rep}\mathbf {G}$
are determined by the first extensions between simple objects; see [Reference JantzenJa, §ii.7.1].
Theorem 5.1.5. For
${\boldsymbol {\lambda }},\boldsymbol {\mu }\in \mathbf {X}^+$
, the simple representations
$\mathbf {L}({\boldsymbol {\lambda }})$
and
$\mathbf {L}(\boldsymbol {\mu })$
are in the same block of
$\mathsf {Rep}\mathbf {G}$
if and only if
${\boldsymbol {\lambda }}-\boldsymbol {\mu }\in \mathbb {Z}[1/p]\mathbf {R}=\mathbb {Z}\mathbf {R}$
.
Proof. We resume the notation and conventions from the proof of Theorem 5.1.1. By Remarks 3.3.4 and 5.1.4,
$\mathbf {L}({\boldsymbol {\lambda }})$
and
$\mathbf {L}(\boldsymbol {\mu })$
are in the same block if and only if there exists
$j\in \mathbb {N}$
for which
$p^j{\boldsymbol {\lambda }},p^j\boldsymbol {\mu }\in X$
and
$L(p^j{\boldsymbol {\lambda }})$
and
$L(p^j\boldsymbol {\mu })$
are in the same block of
$\mathsf {Rep} G$
.
Assume first that
$\mathbf {L}({\boldsymbol {\lambda }})$
and
$\mathbf {L}(\boldsymbol {\mu })$
are in the same block. By the above,
$p^j{\boldsymbol {\lambda }}-p^j\boldsymbol {\mu }\in \mathbb {Z} R$
for some j, from which
${\boldsymbol {\lambda }}-\boldsymbol {\mu }\in \mathbb {Z}[1/p]R= \mathbb {Z}[1/p]\mathbf {R}$
follows.
Now assume that
${\boldsymbol {\lambda }}-\boldsymbol {\mu }\in \mathbb {Z}[1/p]\mathbf {R}$
. Then there exists
$j\in \mathbb {N}$
such that
-
(i)
$p^j{\boldsymbol {\lambda }},p^j\boldsymbol {\mu }\in X$
, -
(ii)
$p^j{\boldsymbol {\lambda }}-p^j\boldsymbol {\mu }\in p\mathbb {Z} R$
, -
(iii)
$\langle \alpha ^\vee ,p^j{\boldsymbol {\lambda }}+\rho \rangle \not \in p\mathbb {Z}$
for some
$\alpha \in R$
.
Indeed, for (iii), it suffices to take
$\alpha $
simple and j such that
$p^j{\boldsymbol {\lambda }}\in pX$
.
From (ii), it follows that
$p^j{\boldsymbol {\lambda }}$
and
$p^j\boldsymbol {\mu }$
are in the same (
$\rho $
-shifted) orbit of
$p\mathbb {Z} R\rtimes W$
, so by (iii) and [Reference JantzenJa, II.7.2(2)],
$L(p^j{\boldsymbol {\lambda }})$
and
$L(p^j\boldsymbol {\mu })$
are in the same block of
$\mathsf {Rep} G$
from which the conclusion follows.
Remark 5.1.6. Theorem 5.1.5 can be explained by the observation that the orbits of the affine Weyl group
$W\ltimes p\mathbb {Z} R$
on X describe most of the block decomposition in
$\mathsf {Rep} G$
, and the orbits of
$ W\ltimes p\mathbb {Z}[1/p]R$
on
$\mathbf {X}$
coincide with those of
$\mathbb {Z}[1/p]R$
.
5.1.7
Let n be the length of the longest element
$w_0$
of the Weyl group (i.e. the dimension of
$\mathbf {G}/\mathbf {B}$
). We also set
$$ \begin{align*}\mathbf{X}_{++}\;=\;\{{\boldsymbol{\lambda}}\in \mathbf{X}\,|\, \langle {\boldsymbol{\lambda}},\alpha^\vee\rangle>0\text{ for all } \alpha\in \mathbf{R}^+\}\subset\mathbf{X}_+.\end{align*} $$
Another class of
$\mathbf {G}$
-representations which seems of interest is
$$ \begin{align*}\mathbf{W}({\boldsymbol{\lambda}})\;:=\; R^n\mathrm{Ind}^{\mathbf{G}}_{\mathbf{B}} k_{w_0({\boldsymbol{\lambda}})}\;\cong\;\varinjlim_i \Delta(p^i{\boldsymbol{\lambda}} -2\rho)[i],\quad{\boldsymbol{\lambda}}\in\mathbf{X}_{++}\end{align*} $$
where the isomorphism is an instance of Corollary 3.5.5, using [Reference JantzenJa, II.5.11, Remark (1)].
Note that we do not use the notation
${\boldsymbol \Delta }({\boldsymbol {\lambda }})$
for the module
$\mathbf {W}({\boldsymbol {\lambda }})$
, as the former would more logically be reserved for a pro-object dual to the ind-object
${\boldsymbol {\nabla }}({\boldsymbol {\lambda }})$
.
5.2 Generic cohomology
In this section, we show how the result from [Reference Cline, Parshall, Scott and van der KallenCPSV] can be formulated very elegantly in terms of perfected groups. We also refer to [Reference Bendel, Nakano and PillenBNP] for a more modern treatment of generic cohomology with sharper bounds.
5.2.1
Let G be an affine group scheme over k, which is the extension of scalars of an affine group scheme over
$\mathbb {F}_p$
, which we also denote by G. Set
$\mathbb {F}=\overline {\mathbb {F}_p}$
. We can consider the forgetful functor from rational G-representations to representations over k of the abstract group
$G(\mathbb {F})$
(for instance, using the homomorphism
$G(\mathbb {F})\to G(k)$
), which induces comparison morphisms
$$ \begin{align*}\mathrm{Ext}^i_{G}(M,N)\;\to\; \mathrm{Ext}^i_{k G(\mathbb{F})}(M,N).\end{align*} $$
Theorem 5.2.2. Let
$\mathbf {G}$
be a perfectly reductive group; then the morphism
$$ \begin{align*}\mathrm{Ext}^i_{\mathbf{G}}(M,N)\;\to\; \mathrm{Ext}^i_{k \mathbf{G}(\mathbb{F})}(M,N)\end{align*} $$
is an isomorphism for all
$M,N\in \mathsf {Rep} \mathbf {G}$
and
$i\in \mathbb {N}$
.
We start the proof by pointing out a technical generality.
Remark 5.2.3. Consider a chain of finite abstract groups
$\{H_n\,|\,n\in \mathbb {N}\}$
and set
$H=\varinjlim H_n$
. For two finite dimensional H-representations
$M,N$
, the canonical morphism
$$ \begin{align*}\mathrm{Ext}^i_{kH}(M,N)\;\to\; \varprojlim \mathrm{Ext}^i_{kH_n}(M,N)\end{align*} $$
is an isomorphism. Indeed, using group cohomology,
$\mathrm {Ext}^i_{kH}(M,N)$
is the cohomology of the inverse limit of chain complexes with cohomology
$\mathrm {Ext}^i_{kH_n}(M,N)$
. Since all vector spaces involved are finite-dimensional, the Mittag-Leffler property leads to the conclusion.
Proof of Theorem 5.2.2.
Let G be a reductive group with perfection
$\mathbf {G}$
and recall that
$\mathbf {G}(\mathbb {F})=G(\mathbb {F})$
and
$\mathsf {Rep} \mathbf {G}\cong \varinjlim \mathsf {Rep} G$
. Without loss of generality, we assume that
$M, N$
factor over the natural map
$\mathbf {G} \to G$
. By Remark 3.3.4, we have
$$ \begin{align*}\mathrm{Ext}^i_{\mathbf{G}}(M,N)\;\cong\; \varinjlim_{a}\mathrm{Ext}^i_{G}(M^{(a)},N^{(a)}).\end{align*} $$
It is proved in [Reference Cline, Parshall, Scott and van der KallenCPSV] that the directed system in the above limit stabilises, and moreover, for fixed
$M,N$
, for large enough a and q, all morphisms
$$ \begin{align*}\mathrm{Ext}^i_{G}(M^{(a)},N^{(a)})\to \mathrm{Ext}^i_{kG(\mathbb{F}_q)}(M^{(a)},N^{(a)})\end{align*} $$
are isomorphisms. Note that
$G(\mathbb {F}_q)$
, being a finite abstract group, is perfect in the group scheme sense. Hence, for large enough q, we find the composite isomorphism
$$ \begin{align*}\varinjlim_{a}\mathrm{Ext}^i_{G}(M^{(a)},N^{(a)})\;\xrightarrow{\sim}\; \varinjlim_{a}\mathrm{Ext}^i_{k G(\mathbb{F}_q)}(M^{(a)},N^{(a)})\;\xleftarrow{\sim}\;\mathrm{Ext}^i_{k G(\mathbb{F}_q)}(M,N).\end{align*} $$
Hence, also the inverse system in
$$ \begin{align*}\varprojlim \mathrm{Ext}^i_{k G(\mathbb{F}_{p^n})}(M,N)\;\cong\; \mathrm{Ext}^i_{kG(\mathbb{F})}(M,N)\end{align*} $$
stabilises, and we find the isomorphism in the theorem.
Strictly speaking, [Reference Cline, Parshall, Scott and van der KallenCPSV] only deals with semisimple groups. However, for a general reductive group G, we have a short exact sequence
$N\to G\to G/N$
with
$G/N$
semisimple and N a torus. Since both N and
$N(\mathbb {F}_q)\cong C_{q-1}^{\times r}$
have semisimple representation theory over k, the result extends easily – for instance, via a collapsing Hochschild-Serre spectral sequence.
Remark 5.2.4. The comparison morphism in Theorem 5.2.2 is not always an isomorphism for arbitrary perfect groups; for instance,
$$ \begin{align*}\mathrm{Ext}^1_{\mathbf{G}_a}(k,k)\;\to\; \mathrm{Ext}^1_{k \mathbb{F}^+}(k,k)\end{align*} $$
is the canonical inclusion
$$ \begin{align*}k\mathbb{Z}\;\hookrightarrow\; k\hat{\mathbb{Z}}\cong k\mathrm{Gal}(\mathbb{F}:\mathbb{F}_p)\;\hookrightarrow\; \varprojlim k \mathrm{Gal}(\mathbb{F}_q:\mathbb{F}_p),\end{align*} $$
where we used Remark 5.2.3 and the linear isomorphism (with
$\iota :\mathbb {F}_q\hookrightarrow k$
)
$$ \begin{align*}k \mathrm{Gal}(\mathbb{F}_q:\mathbb{F}_p)\xrightarrow{\theta\mapsto \iota\circ \theta} \mathrm{Hom}(\mathbb{F}_q^+,k^+)\cong H^1(\mathbb{F}_q^+,k).\end{align*} $$
Question 5.2.5. The formulation of Theorem 5.2.2 suggests the question of whether the monomorphism (by Theorem 5.2.2)
$$ \begin{align*}\mathrm{Ext}^i_{\mathbf{G}}(M,N)\;\to\; \mathrm{Ext}^i_{k \mathbf{G}(k)}(M,N)\end{align*} $$
is also an isomorphism. This is equivalent to the question of whether the epimorphism
$$ \begin{align} \mathrm{Ext}^i_{kG(k)}(M,N)\;\to\; \mathrm{Ext}^i_{k G(\mathbb{F})}(M,N) \end{align} $$
is an isomorphism for all
$M,N\in \mathsf {Rep} G$
and
$i\in \mathbb {N}$
. Note that (5.3) does not involve any perfection.
Example 5.2.6. The question in 5.2.5 has an affirmative answer for
$G=\mathbb {G}_m$
. Consider the short exact sequence
$$ \begin{align*}1\to \mathbb{G}_m(\mathbb{F})\to \mathbb{G}_m(k) \to Q\to 1.\end{align*} $$
By the Lyndon-Hochschild-Serre spectral sequence, showing (5.3) is an isomorphism can be quickly reduced to showing the group cohomology
$H^i(Q,k)$
is zero for
$i>0$
. Now the group structure on Q extends (uniquely) to a
$\mathbb {Q}$
-vector space (since
$\mathbb {G}_m(\mathbb {F})< \mathbb {G}_m(k)$
is the group of roots of unity and k is algebraically closed), so we only need to show
$H^i(\mathbb {Q},k)=0$
for
$i>0$
. The case
$i=1$
is obvious. One can compute directly that
$H_i(\mathbb {Q},-)=0$
for
$i>1$
(or via
$B\mathbb {Q}$
; see [Reference SullivanSu, (10) on p42]). Hence,
$H^i(\mathbb {Q},-)=0$
for
$i>2$
. Finally,
$$ \begin{align*}H^2(\mathbb{Q},k)\;\cong\;\mathrm{Ext}^1_{\mathbb{Z}}(\mathbb{Q},k)\end{align*} $$
must be an abelian group admitting both the structure of a
$\mathbb {Q}$
-vector space as well as a k-vector space; hence, it is zero.
We conclude with an example showing that (5.3) being an isomorphism is also something which should not be expected to hold outside of reductive groups.
Example 5.2.7. If instead of a reductive group, we consider
$G=\mathbb {G}_a$
, as well as
$i=1$
,
$M=N=k$
in (5.3), we obtain the morphism between spaces of group homomorphisms
$$ \begin{align*}\mathrm{End}(k^+)\to\mathrm{Hom}(\mathbb{F}^+,k^+),\end{align*} $$
induced by restriction along
$\mathbb {F}\hookrightarrow k$
. This is not a bijection as soon as
$\mathbb {F}\not =k$
.
6 Localisation of classifying spaces
Fix a prime p.
6.1 Main result
Following [Reference SullivanSu], by a simple space we mean a connected topological space having the homotopy type of a CW complex and abelian fundamental group which acts trivially on the homotopy and homology of the universal covering space. Let F be a connected topological group of homotopy type of a CW complex (below we will consider more specifically complex Lie groups). Then its classifying space
$BF$
is a simple space (note that
$\pi _1(BF)=\pi _0(F)$
is trivial). Following [Reference SullivanSu, Chapter 2], to each simple space X we can associate a (simple) space
$X_{\frac {1}{p}}$
, the localisation of X away from p. Note that loc. cit.
$X_{\frac {1}{p}}$
is denoted by
$X_{\ell }$
where
$\ell $
is the set of all primes different from p.
Theorem 6.1.1. Let
$G, H$
be split (connected) reductive groups over
$\mathbb {Z}$
. The following are equivalent:
-
(a) The perfections of
$G_k$
and
$H_k$
are isomorphic for
$k=\overline {\mathbb {F}}_p$
; -
(b) The localisations
$BG(\mathbb {C})_{\frac {1}{p}}$
and
$BH(\mathbb {C})_{\frac {1}{p}}$
are homotopy equivalent; -
(c) The root data of G and H become isomorphic after extension to
$\mathbb {Z}[1/p]$
.
Proof of
$(c)\Leftrightarrow (a)\Rightarrow (b)$
.
The equivalence of (a) and (c) is already established in 4.2.3.
Assume that the perfections of
$G_k$
and
$H_k$
are isomorphic. By Proposition 3.2.3, after replacing
$H_k$
with an (isomorphic) Frobenius twisted version, there is an infinitesimal isogeny
$G_k\to H_k$
. By Lemma 3.2.2, this isogeny is purely inseparable. It then follows from [Reference FriedlanderFr, Theorem 1.6] that
$BG(\mathbb {C})_{\frac {1}{p}}$
and
$BH(\mathbb {C})_{\frac {1}{p}}$
are homotopy equivalent.
The rest of this chapter is devoted to the proof of
$(b)\Rightarrow (c)$
.
6.2 Some useful facts
-
(a) For a complex reductive group F and a maximal compact subgroup
$K< F$
(the corresponding compact connected Lie group), the homomorphism
$K\to F$
is a homotopy equivalence, and hence,
$BK\simeq BF$
. We will therefore henceforth replace
$BF$
by
$BK$
. -
(b) For a simple space X, the defining map
$X\to X_{\frac {1}{p}}$
(see [Reference SullivanSu, Chapter 2]) induces an isomorphism
$$ \begin{align*}H_\ast(X;\mathbb{Z})\otimes\mathbb{Z}[1/p]\xrightarrow{\sim}H_\ast(X_{\frac{1}{p}};\mathbb{Z}).\end{align*} $$
-
(c) For a commutative ring D in which p is invertible, by (b) and the universal coefficient theorem, we have a natural isomorphism
$H^\ast (X_{\frac {1}{p}};D)\cong H^\ast (X;D)$
. In particular, a map
$X_{\frac {1}{p}}\to Y_{\frac {1}{p}}$
induces a graded algebra morphism
$H^\ast (Y;D)\to H^\ast (X;D)$
. -
(d) For a flat morphism
$A\to B$
of commutative algebras and a topological space X for which
$H_i(X;\mathbb {Z})$
are all finitely generated,
$H^\ast (X;A)\otimes _AB\to H^\ast (X;B)$
is an isomorphism. -
(e) For a torus
$T\cong (S^1)^{\times r}$
,
$H^\ast (BT;\mathbb {Z})$
is a polynomial ring with r generators in degree
$2$
. Consequently, for any commutative ring R,
$H^\ast (BT;R)\cong H^\ast (BT;\mathbb {Z})\otimes R$
is a polynomial ring and we have a bijection between R-linear morphisms
$\theta :H^2(BT';R)\to H^2(BT;R)$
and graded R-algebra morphisms
$\widetilde {\theta }:H^\ast (BT';R)\to H^\ast (BT;R)$
. -
(f) For a compact connected Lie group G, with maximal torus T, and a commutative ring R, consider canonical isomorphisms
The Weyl group W thus acts R-linearly on
$$ \begin{align*}R\otimes X(T)\cong R\otimes H^1(T;\mathbb{Z})\cong R\otimes H^2(BT;\mathbb{Z})\cong H^2(BT;R).\end{align*} $$
$H^2(BT,R)$
. Moreover, the image of
$$ \begin{align*}H^\ast(BG;R)\to H^\ast(BT;R)\end{align*} $$
takes values in the algebra of W-invariants; see [Reference BorelBor, §27].
-
(g) For a prime q and a connected CW complex Y, we denote by
$Y_{\hat {q}}$
the profinite completion at q of Y; see [Reference SullivanSu, Chapter 3]. If
$q\not =p$
, then the universality of
$X\to X_{\frac {1}{p}}$
in the definition in [Reference SullivanSu, Chapter 2] shows that the latter map induces a homotopy equivalence
$X_{\hat {q}}\simeq (X_{\frac {1}{p}})_{\hat {q}}$
. -
(h) For G a compact connected Lie group,
$BG$
satisfies the requirement in (c) (i.e. the homology groups
$H_i(BG;\mathbb {Z})$
are finitely generated). One can observe this, for instance, via induction on i using the Serre fibration
$G\to EG\to BG$
. Note that
$EG$
is contractible,
$BG$
is simply connected and G is a finite cell complex. The Leray-Serre spectral sequence thus implies that the trivial group can be obtained, starting from
$H_i(BG;\mathbb {Z})$
by a finite iteration of taking kernels of morphisms to finitely generated groups (subquotients of
$H_a(BG;H_b(G))$
, with
$a<i$
). Consequently,
$H_i(BG;\mathbb {Z})$
must also be finitely generated.
6.3 Some results of Adams and Mahmud
We reformulate some results of Adams and Mahmud in the form we will need.
Theorem 6.3.1 (Adams - Mahmud).
Let G and
$G'$
be two compact connected Lie groups, with maximal tori
$T,T'$
and Weyl groups
$W,W'$
.
-
(1) For a map
$f: (BG)_{\frac {1}{p}}\to (BG')_{\frac {1}{p}}$
, there exists a
$\mathbb {Z}[1/p]$
-linear morphism
$$ \begin{align*}\theta: H^2(BT';\mathbb{Z}[1/p])\to H^2(BT;\mathbb{Z}[1/p])\end{align*} $$
yielding a commutative diagram of graded algebra homomorphisms
where the upper horizontal arrow is induced from f as in (c) and
$\widetilde {\theta }$
is as in (e).
Moreover, for every
$w\in W$
, there exists
$x\in W'$
with
$w\theta =\theta x$
. -
(2) Let D be an integral domain of characteristic zero and consider two D-linear morphisms
$$ \begin{align*}\theta_1,\theta_2:\;H^2(BT';D)\to H^2(BT;D)\end{align*} $$
for which the following composite is equal:
Then there exists
$x\in W'$
such that
$\theta _2=\theta _1x$
.
Proof. For the first statement of part (1), consider the morphism
$H^\ast (BG';\mathbb {Q})\to H^\ast (BG;\mathbb {Q})$
obtained from f via (c), or equivalently, via (d) from the map displayed in part (1). Then [Reference Adams and MahmudAM, Theorem 1.5(a)] implies the existence of a morphism
$H^2(BT';\mathbb {Q})\to H^2(BT;\mathbb {Q})$
yielding the commutative diagram in part (1) with
$\mathbb {Z}[1/p]$
replaced by
$\mathbb {Q}$
. That the latter is induced from a morphism
$H^2(BT';\mathbb {Z}[1/p])\to H^2(BT;\mathbb {Z}[1/p])$
follows from [Reference Adams and MahmudAM, Theorem 1.5(b)] and the discussion after [Reference Adams and MahmudAM, Lemma 1.2]. That the diagram over
$\mathbb {Z}[1/p]$
is commutative follows from faithful flatness of
$\mathbb {Z}[1/p]\to \mathbb {Q}$
.
The case
$D=\mathbb {Q}$
of part (2) is a reformulation of [Reference Adams and MahmudAM, Theorem 1.7]. The proof loc. cit. works for any field of characteristic zero. The case of integral domains follows from extension of scalars to the field of fractions, using (d).
The second statement of part (1) now follows from part (2) and fact (f), by using
$\theta _1=\theta $
and
$\theta _2=w\theta $
.
Corollary 6.3.2. With notation as in Theorem 6.3.1, assume that f is a homotopy equivalence. Then the morphism
$$ \begin{align*}t:\mathbb{Z}[1/p]\otimes X(T')\;\to\;\mathbb{Z}[1/p]\otimes X(T),\end{align*} $$
obtained from
$\theta $
via the isomorphisms in (f), induces an isomorphism of
$\mathbb {Z}[1/p]$
-reflection groups
$(W',\mathbb {Z}[1/p]\otimes X(T'))\to (W,\mathbb {Z}[1/p]\otimes X(T))$
.
6.4 Conclusion of the proof of Theorem 6.1.1
Proof of
$(b)\Rightarrow (c)$
.
Assume first that
$p=2$
. Then the result follows from Corollary 6.3.2 and Lemma 1.1.6(1). Similarly, for
$p>2$
, by Lemma 1.1.6(2) it is sufficient to prove that the extension of scalars along
$\mathbb {Z}[1/p]\to \mathbb {Z}_2$
of t yields an isomorphism of
$\mathbb {Z}_2$
-root data. This allows us to resort to the established theory of
$2$
-compact groups; see [Reference Andersen and GrodalAG].
Starting from a homotopy equivalence f as in Theorem 6.3.1, we have our
$\theta $
from 6.3.1(1) which induces the isomorphism of reflection groups in Corollary 6.3.2, and using (g), we have a homotopy equivalence
$f_{\widehat {2}}$
. We consider the diagram
Now
$(BT)_{\widehat {2}}\to (BG)_{\widehat {2}}$
is a maximal torus of the 2-compact group
$(BG)_{\widehat {2}}$
, in the sense of [Reference GrodalGr, Theorem 2.2]. By uniqueness of such maximal tori, see loc. cit., there exists a homotopy equivalence corresponding to the dashed arrow in the above diagram so that the diagram is commutative up to homotopy.
By [Reference SullivanSu, Theorem 3.9], this induces
$$ \begin{align*}\phi: H^2(BT';\mathbb{Z}_2)\to H^2(BT;\mathbb{Z}_2),\end{align*} $$
yielding a commutative diagram
By uniqueness in Theorem 6.3.1(2) applied to
$D=\mathbb {Z}_2$
, we may assume that
$\phi $
is actually induced from
$\theta $
by extension of scalars
$\mathbb {Z}[1/p]\to \mathbb {Z}_2$
. Finally, the
$\mathbb {Z}_2$
-root data of the 2-compact group
$(BG)_{\widehat {2}}$
, as defined in [Reference Andersen and GrodalAG], is obtained from the map
$BT_{\widehat {2}}\to BG_{\widehat {2}}$
and by construction yields the extension of scalars along
$\mathbb {Z}_2$
of the classical root datum of G. The homotopy equivalence
$(BG)_{\widehat {2}}\simeq (BG')_{\widehat {2}}$
with commutative diagram therefore indeed implies that our isomorphism of
$\mathbb {Z}[1/p]$
-reflection groups extends to an isomorphism of
$\mathbb {Z}_2$
-root data.
7 Perfected
$SL_2$
Let k be an algebraically closed field of characteristic p. For
$\lambda $
in
$\mathbb {N}$
or
$\mathbb {N}[1/p]:=\mathbb {Z}[1/p]\cap \mathbb {R}_{\ge 0}$
, we consider its p-adic expansion
$\lambda =\sum _i\lambda _ip^i$
with
$0\le \lambda _i<p$
.
7.1 Fractal
7.1.1
For
$i,j\in \mathbb {N}$
, denote by
$\binom {i}{j}_0$
the zero coefficient of the p-adic expansion of the binomial coefficient. By convention,
$\binom {i}{j}_0=0$
if
$j>i$
. For
$i,j\in \mathbb {N}[1/p]$
, we set
$$ \begin{align*}\binom{i}{j}_0\;:=\; \binom{p^li}{p^lj}_0\;\in\;\{0,1,\cdots,p-1\},\end{align*} $$
for some
$l\in \mathbb {N}$
for which
$p^li,p^lj\in \mathbb {N}$
. By Lucas’ theorem, this definition does not depend on the choice of l.
7.1.2
We can describe the weight spaces in simple
$(SL_2)_{\mathrm {perf}}$
-modules by
$$ \begin{align*}\dim_k\mathbf{L}(n)_{n-2j}\;=\;\begin{cases} 1&\text{if}\quad \binom{n}{j}_0\not=0\\ 0&\text{if}\quad \binom{n}{j}_0=0, \end{cases}\end{align*} $$
for
$n,j\in \mathbb {N}[1/p]$
. In particular, the set
$$ \begin{align*}F:=\{(n,i)\,|\,\dim_k\mathbf{L}(n)_i\not=0\}\subset\mathbb{Z}[1/p]^{2}\subset\mathbb{R}^2\end{align*} $$
is a fractal. Concretely,
$(a,b)\in F$
if and only if
$(p^la,p^lb)\in F$
for all
$l\in \mathbb {Z}$
.
The integer points of the fractal F for
$p=3$
are displayed in Figure 1.
7.2 First extensions
In this section and the next, we will apply the short exact sequence
$$ \begin{align}\nabla(\kappa)^{(1)}\hookrightarrow \nabla(p\kappa)\twoheadrightarrow \nabla(\kappa-1)^{(1)}\otimes L(p-2),\quad\kappa\in\mathbb{N}=X_+ \end{align} $$
(see [Reference ParkerPa, equation (3)]), as well as the isomorphism
$$ \begin{align}\nabla(p\kappa -1)\cong \nabla(\kappa-1)^{(1)}\otimes L(p-1),\quad\kappa\in\mathbb{Z}_{>0}.\end{align} $$
Proposition 7.2.1. For
${\boldsymbol {\lambda }},\boldsymbol {\mu }\in \mathbf {X}_+=\mathbb {N}[1/p]$
, we have
$$ \begin{align*}\dim\mathrm{Ext}^1(\mathbf{L}({\boldsymbol{\lambda}}),{\boldsymbol{\nabla}}(\boldsymbol{\mu}))\;=\;\begin{cases}1&\text{if there is } i\in\mathbb{Z} \text{ with } \lambda_i+\mu_i=p-2 \text{ and }\\ &{\boldsymbol{\lambda}}-p^i\lambda_i=\boldsymbol{\mu}-p^i\mu_i+p^{i+1},\\ 0&\text{otherwise,} \end{cases}\end{align*} $$
and
$$ \begin{align*}\dim\mathrm{Ext}^1(\mathbf{L}({\boldsymbol{\lambda}}),\mathbf{L}(\boldsymbol{\mu}))\;=\;\begin{cases}1&\text{if there is } i\in\mathbb{Z} \text{ with } \lambda_i+\mu_i=p-2,\\ & |\lambda_{i+1}-\mu_{i+1}|=1 \text{ and }\lambda_j=\mu_j\text{ for } j\not\in\{i,i+1\},\\ 0&\text{otherwise.} \end{cases}\end{align*} $$
Proof. Recall from equation (5.1) that
${\boldsymbol {\nabla }}({\boldsymbol {\lambda }})$
is a direct limit of pullbacks to
$G_{\mathrm {perf}}$
of costandard G-modules. Since
$\mathrm {Ext}^1(\mathbf {L}({\boldsymbol {\lambda }}),-)$
commutes with direct limits in the second argument, we can use Remark 3.3.4 to conclude
$$ \begin{align*}\mathrm{Ext}^1(\mathbf{L}({\boldsymbol{\lambda}}),{\boldsymbol{\nabla}}(\boldsymbol{\mu}))=\varinjlim \mathrm{Ext}^1(L(p^l{\boldsymbol{\lambda}}),\nabla(p^l\boldsymbol{\mu})).\end{align*} $$
The transition maps are given by the composite
$$ \begin{align*}\mathrm{Ext}^1(L(p^l{\boldsymbol{\lambda}}),\nabla(p^l\boldsymbol{\mu}))\;\to\; \mathrm{Ext}^1(L(p^l{\boldsymbol{\lambda}})^{(1)},\nabla(p^l\boldsymbol{\mu})^{(1)})\to \mathrm{Ext}^1(L(p^{l+1}{\boldsymbol{\lambda}}),\nabla(p^{l+1}\boldsymbol{\mu})).\end{align*} $$
Here, the first map is given by the action of the Frobenius twist, so it is injective by Remark 5.1.4. The second map comes from the inclusion
$\nabla (p^l\boldsymbol {\mu })^{(1)}\hookrightarrow \nabla (p^{l+1}\boldsymbol {\mu })$
. From the description of the cokernel of the inclusion in (7.1), it follows that the second map is also injective for
$p>2$
. For
$p=2$
, the second map need not be injective, but one shows easily that the composite is still injective.
Assume
$p>2$
. The case
$p=2$
can be proved similarly. It follows quickly from [Reference ParkerPa, Corollary 6.2] that for
$0\le i<p$
,
$$ \begin{align*}\mathrm{Ext}^1(L(pa+i),\nabla(pb+i))\cong\mathrm{Ext}^1(L(a),\nabla(b)),\end{align*} $$
while for
$0\le i<p-1$
,
$$ \begin{align*}\dim\mathrm{Ext}^1(L(pa+p-2-i),\nabla(pb+i))=\delta_{b+1,a}.\end{align*} $$
Together with the block decomposition, this allows us, by iteration, to calculate the first set of extensions.
It follows from Remark 3.3.4 that
$$ \begin{align*}\mathrm{Ext}^1(\mathbf{L}({\boldsymbol{\lambda}}),\mathbf{L}(\boldsymbol{\mu}))=\varinjlim \mathrm{Ext}^1(L(p^l{\boldsymbol{\lambda}}),L(p^l\boldsymbol{\mu})),\end{align*} $$
where the transition maps are injective by Remark 5.1.4.
Assume
$p>2$
. The case
$p=2$
can be proved similarly. By [Reference ParkerPa, Theorem 4.3], we have for
$0\le i<p$
,
$$ \begin{align}\mathrm{Ext}^1(L(pa+i),L(pb+i))\cong\mathrm{Ext}^1(L(a),L(b)),\end{align} $$
while for
$0\le i<p-1$
$$ \begin{align*}\mathrm{Ext}^1(L(pa+i),L(pb+p-2-i))\cong\mathrm{Hom}(L(a),L(b)\otimes L(1)).\end{align*} $$
However, we have
$$ \begin{align*}\dim\mathrm{Hom}(L(a),L(b)\otimes L(1))=\begin{cases} 1&\text{if } b_0=0 \text{ and } a=b+1\\ 1&\text{if } 0<b_0<p-1 \text{ and } a=b\pm1\\ 1&\text{if } b_0=p-1 \text{ and } a=b-1\\ 0&\text{otherwise.} \end{cases} \end{align*} $$
The cases
$b_0<p-1$
follow immediately from the Steinberg tensor product theorem. If
$b_0=p-1$
, we know by parity that the space is zero unless
$a_0<p-1$
, in which case we can use symmetry between a and b to reduce to the already known cases.
Remark 7.2.2. Equation (7.3) shows that
$\mathsf {Rep} SL_2\to \mathsf {Rep} (SL_2)_{\mathrm {perf}}$
yields isomorphisms on first extensions between simple objects for
$p>2$
. This is not true for
$p=2$
.
7.3 Costandard modules
We describe the multiplicities of the simple modules in
${\boldsymbol {\nabla }}({\boldsymbol {\lambda }})$
. By Remark 5.1.2(2), it is sufficient to consider
${\boldsymbol {\lambda }}\in \mathbb {N}$
(with the case
${\boldsymbol {\lambda }}=0$
trivial).
Proposition 7.3.1. For
$\lambda \in \mathbb {Z}_{>0}$
, consider the finite sets
$$ \begin{align*}E^0(\lambda):=\{\nu\in\mathbb{N}\,|\, [\nabla(\lambda):L(\nu)]\not=0\}\quad\text{and}\quad E^\infty(\lambda):=\{\nu\in\mathbb{Z}_{>0}\,|\, [\nabla(\lambda-1):L(\nu-1)]\not=0\}.\end{align*} $$
Then, for all
$\boldsymbol {\mu }\in \mathbb {N}[1/p]$
, we have
$$ \begin{align*}[{\boldsymbol{\nabla}}(\lambda):\mathbf{L}(\boldsymbol{\mu})]\;=\; \begin{cases} 1&\text{ if } \boldsymbol{\mu}\in E^0(\lambda)\\ 1&\text{ if } \boldsymbol{\mu}=\nu-\frac{2}{p^i} \text{ with } \nu\in E^\infty(\lambda) \text{ and } i>0\\ 0&\text{ otherwise.} \end{cases}\end{align*} $$
More precisely,
${\boldsymbol {\nabla }}(\lambda )$
has a filtration
$0=M_0\subset M_1\subset M_2\subset \cdots $
with
$\cup _iM_i={\boldsymbol {\nabla }}(\lambda )$
and
$$ \begin{align*}M_1=\nabla(\lambda)[0]\quad\text{and}\quad M_{i+1}/M_i\cong \left( \nabla(\lambda-1)^{(i)}\otimes L(p^i-2)\right)[i],\quad\text{for } i>0.\end{align*} $$
Proof. Recall from the proof of Theorem 5.1.1 that
${\boldsymbol {\nabla }}(\lambda )=\varinjlim \nabla (p^i\lambda )[i]$
, where every morphism in the chain is injective. The corresponding filtration is the desired one. Indeed, the subquotients are given by the cokernel in (7.1) for
$\kappa =p^i\lambda $
on which we can apply iteratively (7.2) and the Steinberg tensor product theorem.
Example 7.3.2. Combining Propositions 7.2.1 and 7.3.1 shows the following:
-
(1) Consider
$0<\lambda <p$
. Then the socle filtration of
${\boldsymbol {\nabla }}(\lambda )$
is given by
$\mathrm {soc} {\boldsymbol {\nabla }}(\lambda )=\mathbf {L}(\lambda )$
and
$$ \begin{align*}\mathrm{soc}^i{\boldsymbol{\nabla}}(\lambda)=\mathbf{L}(\lambda-\frac{2}{p^i}),\quad i>0.\end{align*} $$
-
(2) The socle filtration of
${\boldsymbol {\nabla }}(2p-1)$
is given by
$\mathrm {soc}{\boldsymbol {\nabla }}(2p-1)=\mathbf {L}(2p-1)$
,
$\mathrm {soc}^1{\boldsymbol {\nabla }}(2p-1)=\mathbf {L}(2p-1-2/p)$
and
$$ \begin{align*}\mathrm{soc}^{i+1}{\boldsymbol{\nabla}}(2p-1)\cong \mathbf{L}(2p-1-\frac{2}{p^{i+1}})\oplus \mathbf{L}(1-\frac{2}{p^{i}}), \quad i>0.\end{align*} $$
Remark 7.3.3. We can explicitly realise
${\boldsymbol {\nabla }}({\boldsymbol {\lambda }})$
as the space of “degree
${\boldsymbol {\lambda }}$
” elements in
$k[x^{1/p^\infty },y^{1/p^\infty }]$
– that is, the span of
$\{x^{\boldsymbol {\mu }}y^{\boldsymbol {\nu }}\,|\,\boldsymbol {\mu },\boldsymbol {\nu }\in \mathbb {N}[1/p], \; \boldsymbol {\mu }+\boldsymbol {\nu }={\boldsymbol {\lambda }}\}$
.
7.4 Line bundle cohomology
We consider the representations
$\mathbf {W}({\boldsymbol {\lambda }})$
,
${\boldsymbol {\lambda }}\in \mathbb {N}[1/p]\backslash \{0\}=\mathbf {X}_{++}$
, from 5.1.7.
Proposition 7.4.1. Recall the finite sets
$E^0,E^\infty $
from Proposition 7.3.1. For
$\lambda \in \mathbb {Z}_{>0}$
and
$\boldsymbol {\mu }\in \mathbb {N}[1/p]$
, we have
$$ \begin{align*}[\mathbf{W}(\lambda):\mathbf{L}(\boldsymbol{\mu})]\;=\; \begin{cases} 1&\text{ if } \boldsymbol{\mu}\in E^0(\lambda-2),\ (with\ E^0(-1):=\varnothing)\\ 1&\text{ if } \boldsymbol{\mu}=\nu-\frac{2}{p^i} \text{ with } \nu\in E^\infty(\lambda) \text{ and } i>0\\ 0&\text{ otherwise.} \end{cases}\end{align*} $$
More precisely,
$\mathbf {W}(\lambda )$
has a filtration
$0=M_0\subset M_1\subset M_2\subset \cdots $
with
$\cup _iM_i=\mathbf {W}(\lambda )$
and (with convention
$\Delta (-1)=0$
)
$$ \begin{align*}M_1=\Delta(\lambda-2)[0]\quad\text{and}\quad M_{i+1}/M_i\cong \left( \Delta(\lambda-1)^{(i)}\otimes L(p^i-2)\right)[i],\quad\text{for } i>0.\end{align*} $$
Proof. Using Čech cohomology (see proof of Lemma 2.5.1), it follows easily that the morphisms in the directed system in 5.1.7 are injective. The result then follows as in the proof of Proposition 7.3.1, by now using [Reference ParkerPa, (3)] for
$i=p-2$
.
Remark 7.4.2. It follows that in the Grothendieck group of
$\mathsf {Rep} (SL_2)_{\mathrm {perf}}$
, we have
$$ \begin{align*}[{\boldsymbol{\nabla}}(\lambda)]-[\mathbf{W}(\lambda)]\;=\;[\Delta(\lambda)[0]]-[\Delta(\lambda-2)[0]].\end{align*} $$
Example 7.4.3. We have a short exact sequence
$$ \begin{align*}0\to \mathbf{L}(1)\to {\boldsymbol{\nabla}}(1)\to \mathbf{W}(1)\to 0.\end{align*} $$
For
$1<\lambda <p-1$
, we have
$$ \begin{align*}{\boldsymbol{\nabla}}(\lambda)/\mathbf{L}(\lambda)\;\cong\;\mathbf{W}(\lambda)/\mathbf{L}(\lambda-2).\end{align*} $$
Acknowledgements
The research was partly supported by ARC project DP210100251. The authors thank Brian Conrad for useful discussions, Pavel Etingof for help with Example 5.2.6, Anthony Henderson for suggesting to include isogenies of perfectly reductive groups and Steve Donkin for providing Example 5.1.3 and pointing out [Reference WangW].
Competing interest
None.
Open access
