Decomposition of tensor products involving a Steinberg module

arXiv:1606.06080v3 [math.RT] 8 Feb 2018

Tobias Kildetoft∗
Uppsala University
tobias.kildetoft@gmail.com
February 9, 2018

2010 Mathematics Subject Classification. Primary 20G05; Secondary 20C33.
Abstract
We study the decomposition of tensor products between a Steinberg module and a costandard
module, both as a module for the algebraic group G and when restricted to either a Frobenius
kernel Gr or a finite Chevalley group G(Fq ). In all three cases, we give formulas reducing this
to standard character data for G.
Along the way, we use a bilinear form on the characters of finite dimensional G-modules to
give formulas for the dimension of homomorphism spaces between certain G-modules when restricted to either Gr or G(Fq ). Further, this form allows us to give a new proof of the reciprocity
between tilting modules and simple modules for G which has slightly weaker assumptions than
earlier such proofs. Finally, we prove that in a suitable formulation, this reciprocity is equivalent
to Donkin’s tilting conjecture.
Keywords: Algebraic groups, Frobenius kernels, finite Chevalley groups, tilting modules.

1

Introduction

Let G be a semisimple, connected, simply connected algebraic group scheme over an algebraically
closed field k of characteristic p > 0. When studying representations of G, a natural starting point
are the costandard modules ∇(λ) = indG
B (λ) where B is a Borel subgroup and λ is a dominant
weight. These modules have characters given by Weyl’s character formula and simple socles L(λ)
which exhaust the simple G-modules.
A series of costandard modules of special interest are the Steinberg modules Str = ∇((pr − 1)ρ)
where ρ is the Weyl weight. These are simple and self-dual.
In this paper we will study modules of the form Str ⊗∇(λ), in particular questions of how
these decompose into indecomposable summands. Under certain conditions on λ these are tilting,
meaning that both the module and its dual have filtrations with subfactors isomorphic to costandard modules (i.e. they both have good filtrations). Thus, the module can be written as a direct
sum of indecomposable tilting modules T (ν) for suitable weights ν. Further, in many cases, the
decomposition is completely determined by the socle of the module, and we produce formulas for
multiplicities in this socle which only rely on standard character data for G.
∗

Supported in part by QGM (Centre for Quantum Geometry of Moduli Spaces) funded by the Danish National
Research Foundation and in part by Knut and Alice Wallenbergs Foundation

1

It will turn out to be convenient to also study modules of the more general form T ((pr − 1)ρ +
µ)⊗∇(λ) for some dominant weight µ, since this allows for induction on r in certain cases. Similarly
to the above, these are also tilting under the same conditions on λ, and if we further put some
restrictions on µ the decomposition is again determined by the socle.
The motivation for studying specifically modules of the form Str ⊗∇(λ) is that the characters
of these are known, so if one can determine the decomposition, there is a hope that one might also
obtain information about the characters of the indecomposable summands. As mentioned, these
summands will in some cases be indecomposable tilting modules, and the characters of these are
still not very well understood outside type A, where they have been shown to be given in terms of
the p-canonical basis in [RW15] where a general conjecture for their characters is also proposed.
The main way we are able to reduce these question to standard character data for G is to show
that certain tensor products involved have good filtrations, extending previous work by Andersen,
Nakano and the author. Once this is shown, we can apply a result of Donkin which relates the
number of times a costandard module occurs in a good filtration to the dimensions of suitable
spaces of homomorphism of G-modules.
Since we are working in positive characteristic, there is a Frobenius map F : G → G, and both
the kernel Gr and fixed points G(Fq ) of the r’th iterate of this are of great interest. The first is
called the r’th Frobenius kernel and the second is a finite Chevalley group which can be identified
with the points of G over the field with q = pr elements, hence the notation.
We also study the restriction of the above mentioned tensor products to these subgroups. In
both cases, the restriction is projective and injective and thus the problem once again becomes to
describe socles and hence dimensions of certain homomorphism spaces for these subgroups.
More generally, we will provide formulas for the dimension of the space of homomorphisms
between a tilting module for G of the form T ((pr − 1)ρ + λ) and any finite dimensional G-module,
when these are seen as modules for either Gr or G(Fq ). The highest weight of the tilting module is
such that the restriction of this module is injective for either Gr or G(Fq ).
A key tool in providing these formulas comes from the use of a suitable bilinear form on the
characters of finite dimensional G-modules. Analyzing more closely this form also allows us to give
a new proof of the reciprocity between tilting modules and simple modules for G, which has slightly
weaker assumptions than previous such proofs. Further, we also show that in a suitable reformulation, this reciprocity is equivalent to Donkin’s tilting conjecture.
The results of this paper are formulated for a semisimple, connected, simply connected algebraic
group. The reasons for working in this more restrictive setup, rather than an arbitrary connected
reductive group, are the following two properties:
The group being semisimple ensures that simple modules with distinct r-restricted highest
weights remain non-isomorphic on restriction to the r’th Frobenius kernel. In particular, no nontrivial 1-dimensional G-module is trivial as a module for the Frobenius kernel.
The group being simply connected implies that the set of r-restricted weights contains a full
set of representatives of the characters of the maximal torus modulo pr . Consequently, any dominant weight λ can be written as λ0 + pr λ1 for a dominant weight λ1 and an r-restricted weight
λ0 . Further, this also means that any simple module for a Frobenius kernel is the restriction of a
G-module with restricted highest weight.
In order to extend the results of this paper to an arbitrary connected reductive group, we can
use the construction in [Jan03, II.1.18] to write the group as a quotient of the form (H × T )/Z
2

where H is connected and semisimple, T is a torus and Z is a central subgroup of the product.
The semisimple group H above might not be simply connected, so to remedy this, we may need
to further pass to a cover of H, as described in the final paragraph of [Jan03, II.1.17].

Acknowledgements
The present paper originated in my PhD dissertation, but the results have been expanded significantly in generality, in part due to many helpful suggestions from Anton Cox and Stephen Donkin
who served as external examiners. Their help is gratefully acknowledged.
I would also like to thank my advisor Henning Haahr Andersen for his help throughout writing
both the dissertation and this paper.
Finally, I would like to thank the anonymous referee for providing a detailed list of corrections
as well as some very helpful suggestions.

2

Notation and Preliminaries

In this section we will introduce the notation used throughout the paper as well as some results
that will be used extensively.

2.1

List of notation

From now on we fix the following notation. For further details on algebraic groups and their Frobenius kernels, we refer to [Jan03], which for the most part uses the same notation, with the main
difference being that we use ∇(λ) and ∆(λ) instead of H 0 (λ) and V (λ). For further details on finite
Chevalley groups, we refer to [Hum06].
Note that throughout this paper, the term G-module will mean rational G-module.
• k is an algebraically closed field of characteristic p > 0.
• G is a semisimple, connected, simply connected algebraic group scheme over k, defined over
Fp .
• T ≤ G is a maximal split torus.
• X = X(T ) is the group of characters of T .
• R is the associated root system.
• S is a fixed basis of R.
• R+ is the set of positive roots corresponding to S.
• α∨ is the coroot associated to α ∈ R.
• hβ, α∨ i is the natural pairing normalized such that hα, α∨ i = 2 for all α ∈ S.
• α0 is the highest short root of R+ .
P
• ρ = 21 α∈R+ α is the Weyl weight.
3

• h = hρ, α0∨ i + 1 is the Coxeter number of R.
• X+ = {λ ∈ X | hλ, α∨ i ≥ 0 for all α ∈ R+ } is the set of dominant weights.
• Xr = {λ ∈ X+ | hλ, α∨ i < pr for all α ∈ S} is the set of r-restricted weights for some integer
r ≥ 1.
• Γr = {λ ∈ X+ | hλ, α0∨ i < pr (p − h + 1)}.
• ≤ is the partial order on X defined by λ ≤ µ iff µ − λ is a non-negative integral linear
combination of positive roots.
• B ≤ G is the Borel subgroup containing T corresponding to the negative roots.
• W is the Weyl group of R.
• w0 ∈ W is the longest element.
• λ∗ = −w0 (λ) is the dual weight of a weight λ ∈ X.
• ∇(λ) = indG
B (λ) is the costandard module of highest weight λ for λ ∈ X+ .
• L(λ) = socG ∇(λ) is the simple module with highest weight λ ∈ X+ .
• ∆(λ) = ∇(λ∗ )∗ is the Weyl (or standard) module with highest weight λ ∈ X+ .
• T (λ) is the indecomposable tilting module with highest weight λ.
• Str = ∇((pr − 1)ρ) = L((pr − 1)ρ) ∼
= ∆((pr − 1)ρ) is the r’th Steinberg module.
• Mλ = {m ∈ M | t.m = λ(t)m for all t ∈ T } is the λ-weight space of the G-module M for
λ ∈ X.
• Z[X] is the integral group ring of X with basis e(λ), λ ∈ X such that e(λ)e(µ) = e(λ + µ).
• Z[X]W is the set of W -fixed points of Z[X].
P
• [M ] = λ∈X dim(Mλ )e(λ) ∈ Z[X]W is the character of the finite dimensional G-module M .
• F : G → G is the Frobenius morphism which arises from the map k → k given by x 7→ xp .
• M (r) is the G-module which as an additive group is the same as the G-module M , but with
G-action composed with F r .
• Gr = ker F r is the r’th Frobenius kernel.
• Qr (λ) is the injective hull (= projective cover) of L(λ) as a Gr -module for λ ∈ Xr .
• q = pr is a fixed power of p.
r

• G(Fq ) = GF is the fixed points of F r in G, which is a finite Chevalley group.
• Pr (λ) is the projective cover (= injective hull) of L(λ) as a G(Fq )-module for λ ∈ Xr .
• [M : L(λ)]G is the composition multiplicity of the simple G-module L(λ) in the G-module M .
• [M : ∇(λ)]∇ is the multiplicity of ∇(λ) in a good filtration of the G-module M (see Theorem
2.2.3).
4

2.2

Preliminary results

The results in this section will be used several times in this paper. We have included a full statement
of these together with references to the original source as well as (whenever possible) a reference
to either [Jan03] or [Hum06] for convenience.
The following theorem is known as Steinberg’s tensor product theorem. It will be used extensively in this paper, and will therefore just be referenced as such.
Theorem 2.2.1 ([Ste63, Theorem 1.1],[Jan03, Proposition II.3.16]). Let λ ∈ X+ and write λ =
λ0 + pr λ1 with λ0 ∈ Xr .
Then L(λ) ∼
= L(λ0 ) ⊗ L(λ1 )(r) .
Similarly to Steinberg’s tensor product theorem, the following will be used several times, and
will be referred to as the Andersen–Haboush tensor product theorem, due to it being discovered
independently by Andersen and Haboush.
Theorem 2.2.2 ([And80, Theorem 2.5], [Hab80, Theorem 2.1], [Jan03, Proposition II.3.19]). For
each λ ∈ X+ there is an isomorphism of G-modules
∇((pr − 1)ρ + pr λ) ∼
= Str ⊗∇(λ)(r) .
Recall that a good filtration of a G-module M is a filtration with each subfactor isomorphic to
∇(λ) for some λ ∈ X+ (see [Jan03, II.4]). If M has a good filtration then we denote by [M : ∇(λ)]∇
the number of subfactors isomorphic to ∇(λ) in this good filtration of M . This is well-defined by
the following.
Theorem 2.2.3 ([Don81, Corollary 1.3],[Jan03, Proposition II.4.16]). Let M be a G-module. If M
admits a good filtration, then for each λ ∈ X+ , the number of factors in the filtration isomorphic
to ∇(λ) is equal to dim HomG (∆(λ), M ).
Theorem 2.2.4 ([Mat90, Theorem 1],[Jan03, Proposition II.4.19]). Let V and V 0 be G-modules
admitting good filtrations. Then V ⊗ V 0 also admits a good filtration.
The following result is well-known and will be used without further comment in the remainder
of this paper.
Theorem 2.2.5 ([Hum76, Proposition 10.1],[Jan03, Proposition II.10.2]). Str is both projective
and injective as a Gr -module.
The following result will be referred to as the classification of tilting modules in this paper.
Theorem 2.2.6 ([Don93, Theorem 1.1],[Jan03, Proposition E.6]). For any λ ∈ X+ there is a
unique (up to isomorphism) indecomposable tilting module T (λ) with dim(T (λ)λ ) = 1 and such that
for all µ ∈ X we have T (λ)µ 6= 0 =⇒ µ ≤ λ.
If Q is a finite dimensional
tilting module, then there are uniquely determined natural numbers
L
n(ν) such that Q ∼
n(ν)T
(ν).
= ν∈X+
Proposition 2.2.7 ([Jan03, Remark to E.6]). Let λ ∈ X+ . Then T (λ)∗ ∼
= T (λ∗ ) and whenever Q
∼
is tilting and L is simple we have HomG (L, Q) = HomG (Q, L).
Similarly to Steinberg’s tensor product theorem, the following describes certain tilting modules
as tensor products. We will refer to this as Donkin’s tensor product theorem.
5

Proposition 2.2.8 ([Don93, Proposition 2.1],[Jan03, Lemma E.9]). Let µ = (pr − 1)ρ + λ with
λ ∈ Xr and let ν ∈ X+ . Then T (µ) ⊗ T (ν)(r) is tilting, and if T (µ) is indecomposable as a Gr module, then T (µ) ⊗ T (ν)(r) ∼
= T (µ + pr ν).
The condition that T (µ) is indecomposable as a Gr -module when µ is as in the above proposition
is in fact conjectured to always hold (see [Don93, Conjecture 2.2]) and is known as Donkin’s tilting
conjecture. It is known to hold if p ≥ 2h − 2.
Remark 2.2.9. With a few exceptions, whenever a result in this paper includes the condition
p ≥ 2h − 2 this can be removed if one assumes Donkin’s tilting conjecture. We will make sure to
note whenever this is not the case.
Theorem 2.2.10 ([Jan03, E.9]). If λ ∈ Xr and T ((pr − 1)ρ + λ) is indecomposable as a Gr -module,
then
socG (T ((pr − 1)ρ + λ)) = socGr (T ((pr − 1)ρ + λ)) = L((pr − 1)ρ − λ∗ ).
In particular, this holds for all λ ∈ Xr if p ≥ 2h − 2.
Proposition 2.2.11 ([Don93, Proposition 2.4],[Jan03, Lemma E.8]). If λ ∈ X+ then T (λ) is
injective as a Gr -module if and only if hλ, α∨ i ≥ pr − 1 for all α ∈ S.
Similarly to the above, we have the following for G(Fq )-modules. It follows for example from
the above by applying [Dru13, Theorem 2.3].
Proposition 2.2.12. T ((pr −1)ρ+λ) is injective and projective as a G(Fq )-module for any λ ∈ X+ .
The following two results give conditions on a G-module M which guarantee that Str ⊗M has
a good filtration.
Theorem 2.2.13 ([KN15, Theorem 4.3.2]). Assume that p ≥ h and let λ ∈ Γr . Then Str ⊗L(λ)
has a good filtration.
Proposition 2.2.14 ([And01, Proposition 4.4]). Let M and N be G-modules such that both Str ⊗M
and Str ⊗N have good filtrations. Then Str ⊗(M ⊗ N ) also has a good filtration.

3

Good filtrations on tensor products

In this section, we gather various results showing that certain tensor products have good filtrations.

3.1

Tensoring with tilting modules

Theorem 3.1.1. Let M be a G-module such that Str ⊗M has a good filtration and let λ ∈ X+ .
Then T ((pr − 1)ρ + λ) ⊗ M has a good filtration.
Proof. Since Str ⊗T (λ) is tilting by Theorem 2.2.4 we see that it has T ((pr − 1)ρ + λ) as a direct
summand by the classification of tilting modules. Thus T ((pr − 1)ρ + λ) ⊗ M is a direct summand
of Str ⊗T (λ) ⊗ M which has a good filtration by Proposition 2.2.14. Since direct summands of
modules with good filtrations themselves have good filtrations, this finishes the proof.
A useful consequence of the above is the following.
6

Corollary 3.1.2. Let λ, µ, ν ∈ X+ and let M be a G-module such that Str ⊗M has a good filtration.
Then
dim HomG (T ((pr − 1)ρ + λ), M ⊗ ∇(ν) ⊗ ∇(µ)(r) ) = [T ((pr − 1)ρ + λ∗ ) ⊗ ∇(µ)(r) ⊗ M : ∇(ν ∗ )]∇
and
ExtiG (T ((pr − 1)ρ + λ), M ⊗ ∇(ν) ⊗ ∇(µ)(r) ) = 0
for all i ≥ 1.
Proof. Rewrite
ExtiG (T ((pr − 1)ρ + λ), M ⊗ ∇(ν) ⊗ ∇(µ)(r) ) ∼
= ExtiG (∆(ν ∗ ), T ((pr − 1)ρ + λ∗ ) ⊗ ∇(µ)(r) ⊗ M )
and note that by Proposition 2.2.14 and the Andersen–Haboush tensor product theorem Str ⊗∇(µ)(r) ⊗
M has a good filtration, so the claim now follows from Theorem 3.1.1 together with Theorem
2.2.3.

3.2

Weights in Γr

Recall that we define Γr = {λ ∈ X+ | hλ, α0∨ i < pr (p − h + 1)} and note that if λ ∈ Γr and µ ≤ λ
for some µ ∈ X+ then µ ∈ Γr . Similarly, λ ∈ Γr ⇔ λ∗ ∈ Γr .
Note also that if p < h then Γr = ∅ and if p ≥ 2h − 2 then Xr ⊆ Γr .
We can now reformulate [Jan03, Corollary II.5.6] to the statement that whenever λ ∈ Γ0 then
∇(λ) is simple.
Lemma 3.2.1. If λ ∈ Γr and λ = λ0 + pu λ1 with λ0 ∈ Xu for some u ≤ r then λ1 ∈ Γr−u .
In particular, if u = r then λ1 ∈ Γ0 and ∇(λ1 ) is simple.
Proof. This follows straight from the definition (the last claim follows from the above observation).
Proposition 3.2.2. If λ ∈ Γr and µ ∈ X+ then T ((pr −1)ρ+µ)⊗∇(λ) and T ((pr −1)ρ+µ)⊗∆(λ)
are tilting.
Proof. By Theorem 3.1.1 it suffices to show that Str ⊗∆(λ) has a good filtration. But since λ ∈ Γr ,
whenever L(ν) is a composition factor of ∆(λ) we also have ν ∈ Γr and thus Str ⊗L(ν) has a good
filtration by Theorem 2.2.13 which finishes the proof.
Corollary 3.2.3. If λ ∈ Γr and µ ∈ X+ then there is an isomorphism
T ((pr − 1)ρ + µ) ⊗ ∇(λ) ∼
= T ((pr − 1)ρ + µ) ⊗ ∆(λ).
Proof. By Proposition 3.2.2 both T ((pr − 1)ρ + µ) ⊗ ∇(λ) and T ((pr − 1)ρ + µ) ⊗ ∆(λ) are tilting,
and they have the same characters since ∇(λ) and ∆(λ) do. Hence they are isomorphic by the
classification of tilting modules.

7

4

Tilting- and socle-numbers

The main goal of this section is to study the decomposition of modules of the form Str ⊗∇(λ), but
for purposes of later induction arguments, we will from the beginning study a more general class
of modules, namely those of the form T ((pr − 1)ρ + µ) ⊗ ∇(λ).
By Proposition 3.2.2 and Theorem 2.2.4, whenever µ ∈ X+ and λ ∈ Γr we can write
M
T ((pr − 1)ρ + µ) ⊗ ∇(λ) =
trλ,µ (ν)T (ν)
ν∈X+

for suitable natural numbers trλ,µ (ν). We will be referring to these numbers as the tilting-numbers.
In particular, Str ⊗∇(λ) is tilting whenever λ ∈ Γr so we can write
M
trλ (ν)T (ν)
Str ⊗∇(λ) =
ν∈X+

where trλ (ν) = trλ,0 (ν).
As we will see, the above decomposition is in fact (mostly) determined by the socle of the
module, so for λ, µ ∈ X+ we define natural numbers sλ,µ (ν) by
socG (T ((pr − 1)ρ + µ) ⊗ ∇(λ)) =

M

srλ,µ (ν)L(ν).

ν∈X+

We will be referring to these numbers as the socle-numbers, and similarly to above we set srλ (ν) =
srλ,0 (ν).
Note that if G is either SL2 or SL3 then the decomposition of the module Str ⊗∇(λ) for λ ∈ Γr
can be computed using the results of [DH05], [BDM11] and [BDM15] by using that Str ⊗L(ν) is
tilting for each composition factor L(ν) of ∇(λ) and that the standard character data for these
groups is known.

4.1

Comparing tilting- and socle-numbers

For any natural number r define a map wr : X+ → X+ by
wr (λ) = (pr − 1)ρ − λ∗0 + pr λ1
where λ = λ0 + pr λ1 with λ0 ∈ Xr . Note that wr is not linear, but we do have the following.
Lemma 4.1.1.

1. wr2 = id.

2. wr (Xr ) = Xr .
3. If λ = λ0 + pu λ1 with λ0 ∈ Xu and r > u then
wr (λ) = wu (λ0 ) + pu wr−u (λ1 ).
4. If λ = λ0 + pλ1 + · · · + pr−1 λr−1 with all λi ∈ X1 then
wr (λ) = w1 (λ0 ) + pw1 (λ1 ) + · · · + pr−1 w1 (λr−1 ).
8

Proof. 1. and 2. are clear from the definition.
For 3. write λ1 = λ00 + pr−u λ01 with λ00 ∈ Xr−u and note that then λ = (λ0 + pu λ00 ) + pr λ01 with
λ0 + pu λ00 ∈ Xr so we get
wr (λ) = (pr − 1)ρ − (λ0 + pu λ00 )∗ + pr λ01
r−u u 0
= (pu − 1)ρ + pu (pr−u − 1)ρ − λ∗0 − pu λ0∗
p λ1
0 +p

= wu (λ0 ) + pu wr−u (λ1 )
as claimed.
4. follows directly from 3. by induction.
We would like to be able to compare the srλ,µ and trλ,µ (which we can regard as functions
X+ → Z+ ). For that purpose we need the following which slightly extends Theorem 2.2.10.
Lemma 4.1.2. Assume that p ≥ 2h − 2 and let λ ∈ Γr . Then socG (T ((pr − 1)ρ + λ)) = L(wr (λ)).
Proof. Write λ = λ0 + pr λ1 with λ0 ∈ Xr . Then by Donkin’s tensor product theorem we have
T ((pr − 1)ρ + λ) ∼
= T ((pr − 1)ρ + λ0 ) ⊗ T (λ1 )(r) .
Now we get by Theorem 2.2.10 that socGr (T ((pr − 1)ρ + λ0 )) = L((pr − 1)ρ − λ∗0 ), so for
µ = µ0 + pr µ1 ∈ X+ with µ0 ∈ Xr we get, by Steinberg’s tensor product theorem,
HomG (L(µ), T ((pr − 1)ρ + λ))
∼
= HomG/Gr (L(µ1 )(r) , HomGr (L(µ0 ), T ((pr − 1)ρ + λ0 )) ⊗ T (λ1 )(r) )
(
HomG (L(µ1 ), T (λ1 )) if µ0 = (pr − 1)ρ − λ∗0
∼
=
0
else
so we just need to show that socG (T (λ1 )) = L(λ1 ). In fact, we claim that T (λ1 ) is simple, which
clearly suffices.
To see this, we note that by Lemma 3.2.1 since λ ∈ Γr , ∇(λ1 ) is simple, and hence also that
T (λ1 ) is simple, being the unique indecomposable tilting module of highest weight λ1 .
Thus we have shown that socG (T ((pr − 1)ρ + λ)) = L((pr − 1)ρ − λ∗0 + pr λ1 ) = L(wr (λ)) as was
the claim.
The way to apply the above lemma is given in the following.
Proposition 4.1.3. If λ, µ, ν ∈ X+ with λ + µ ∈ Γr and trλ,µ (ν) 6= 0 then ν = (pr − 1)ρ + ν 0 with
ν 0 ∈ Γr .
Proof. Since T ((pr − 1)ρ + µ) ⊗ ∇(λ) is injective as a Gr -module by Theorem 2.2.11, the same must
be true for T (ν) since this is a direct summand of T ((pr − 1)ρ + µ) ⊗ ∇(λ) by assumption. Now it
follows by Proposition 2.2.11 that ν = (pr − 1)ρ + ν 0 for some ν 0 ∈ X+ .
Since ν must be a weight of T ((pr − 1)ρ + µ) ⊗ ∇(λ) we must have ν ≤ (pr − 1)ρ + µ + λ, and
hence we get ν 0 ≤ λ + µ, which implies the claim.
Combining the above results, we get the following.
9

Corollary 4.1.4. Assume that p ≥ 2h − 2. Then for any λ, µ, ν ∈ X+ with λ + µ ∈ Γr we have
srλ,µ (ν) = trλ,µ ((pr − 1)ρ + wr (ν)).
Proof. This follows directly from combining Lemma 4.1.2 and Proposition 4.1.3 (recall that we have
wr (wr (ν)) = ν by Lemma 4.1.1).
We also get the following weaker result when we remove the assumption that p ≥ 2h − 2.
Corollary 4.1.5. Let λ, µ, ν ∈ X+ with λ + µ ∈ Γr . Then srλ,µ (ν) ≥ trλ,µ ((pr − 1)ρ + wr (ν)).
Proof. Since L(ν) ⊆ socG T ((pr − 1)ρ + wr (ν)), this follows similarly to the above.
The following gives a condition under which the conclusion of Proposition 4.1.3 can be strengthened. This will be useful for reducing certain calculations to the r = 1 case later.
Proposition 4.1.6. If λ, µ, ν ∈ X+ with hλ + µ, α0∨ i < pr and trλ,µ (ν) 6= 0 then ν = (pr − 1)ρ + ν 0
with ν 0 ∈ Xr .
Proof. By the same arguments as in the proof of Proposition 4.1.3 we see that ν = ((pr − 1)ρ + ν 0
hλ+µ,α∨
0i
< 1 so we
with ν 0 ≤ λ + µ. In particular, if ν 0 = ν0 + pr ν1 with ν0 ∈ Xr then hν1 , α0∨ i ≤
pr
0
must have ν1 = 0 and thus ν ∈ Xr as claimed.
We have now seen that instead of computing the tλ,µ we can compute the sλ,µ , at least when
p ≥ 2h − 2. The following will prove very useful for this purpose.
Theorem 4.1.7. Assume that p ≥ 2h − 2 and let µ, λ, ν ∈ X+ with λ + µ ∈ Γr and srλ,µ (ν) 6= 0.
Then T ((pr − 1)ρ + γ) ⊗ L(ν) and T ((pr − 1)ρ + γ) ⊗ L(ν ∗ ) are tilting for any γ ∈ X+ .
Proof. By Theorem 3.1.1 it suffices to show that Str ⊗L(ν) and Str ⊗L(ν ∗ ) are tilting.
By Corollary 4.1.4 and Proposition 4.1.3 we see that ν = wr (σ) for some dominant weight σ with
σ ∈ Γr . So if we write σ = σ0 +pr σ1 with σ0 ∈ Xr we have ν = ν0 +pr ν1 with ν0 = (pr −1)ρ−σ0∗ ∈ Xr
and ν1 = σ1 . In particular, we have ν1 ∈ Γ0 and hence L(ν1 ) ∼
= ∇(ν1 ) ∼
= T (ν1 ) by Lemma 3.2.1.
By Steinberg’s tensor product theorem we now have
L(ν) ∼
= L(ν0 ) ⊗ L(ν1 )(r) ∼
= L(ν0 ) ⊗ T (ν1 )(r)
so the claims follow by combining Theorem 2.2.13, Proposition 2.2.14 and the Andersen–Haboush
tensor product theorem.

4.2

Duality

Proposition 4.2.1. If λ ∈ Γr and and µ, ν ∈ X+ then srλ,µ (ν) = srλ∗ ,µ∗ (ν ∗ ) and trλ,µ (ν) = trλ∗ ,µ∗ (ν ∗ ).
Proof. We apply Proposition 2.2.7 and Proposition 3.2.2 to get
srλ,µ (ν) = dim HomG (L(ν), T ((pr − 1)ρ + µ) ⊗ ∇(λ)) = dim HomG (T ((pr − 1)ρ + µ) ⊗ ∇(λ), L(ν))
= dim HomG (L(ν ∗ ), T ((pr − 1)ρ + µ∗ ) ⊗ ∆(λ∗ ))
and then apply Corollary 3.2.3 to see that this equals
dim HomG (L(ν ∗ ), T ((pr − 1)ρ + µ∗ ) ⊗ ∇(λ∗ )) = srλ∗ ,µ∗ (ν ∗ ).
The second claim also follows from Corollary 3.2.3 since any T (ν) will occur in some tilting
module M the same number of times as T (ν)∗ ∼
= T (ν ∗ ) will occur in M ∗ .
10

4.3

Computing socle-numbers

In order to determine necessary conditions on ν ∈ X+ to have srλ,µ (ν) 6= 0 for some given λ, µ ∈ X+
we can make use of the following.
Note that while this only provides an inequality, it requires a lot fewer assumptions that many
of the similar results we will obtain here, and for the µ = 0 case, all the characters involved are
already known.
Proposition 4.3.1. Let λ, µ, ν ∈ X+ . Then we have
srλ,µ (ν) ≤ [T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ) : ∇(λ∗ )]∇ .
In particular,
srλ (ν) ≤ [Str ⊗∇(ν ∗ ) : ∇(λ∗ )]∇ .
Proof. We have
srλ,µ (ν) = dim HomG (L(ν), T ((pr − 1)ρ + µ) ⊗ ∇(λ)) = dim HomG (∆(λ∗ ), T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ))
and the inclusion L(ν ∗ ) ,→ ∇(ν ∗ ) gives the inequality
dim HomG (∆(λ∗ ), T ((pr − 1)ρ + µ) ⊗ L(ν ∗ )) ≤ dim HomG (∆(λ∗ ), T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ))
and by Theorem 2.2.3 we have
dim HomG (∆(λ∗ ), T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ )) = [T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ) : ∇(λ∗ )]∇
since T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ) has a good filtration by Theorem 2.2.4. This proves the claim.
The following reduces the computation of socle-numbers to standard character data for G under
suitable conditions.
Theorem 4.3.2. Assume that p ≥ 2h − 2 and let ν = ν0 + pr ν1 ∈ X+ with ν0 ∈ Xr such that
srλ,µ (ν) 6= 0 for some λ, µ ∈ X+ with λ + µ ∈ Γr . Then we have
1. srλ,µ (ν) = [T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ) : ∇(λ∗ )]∇ .
2. If further µ ∈ Xr then srλ,µ (ν) = [T ((pr − 1)ρ + µ + pr ν1∗ ) ⊗ L(ν0∗ ) : ∇(λ∗ )]∇ .
3. srλ (ν) = [∇((pr − 1)ρ + pr ν1∗ ) ⊗ L(ν0∗ ) : ∇(λ∗ )]∇ .
Proof. If p ≥ 2h − 2 and srλ,µ (ν) 6= 0 then T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ) has a good filtration by Theorem
4.1.7, and we have
[T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ) : ∇(λ∗ )]∇ = dim HomG (∆(λ∗ ), T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ))
= dim HomG (L(ν), T ((pr − 1)ρ + µ) ⊗ ∇(λ))
by Theorem 2.2.3, so the first claim follows.
For the second claim, we use that by Steinberg’s tensor product theorem we have L(ν ∗ ) ∼
=
L(ν0∗ ) ⊗ L(ν1∗ )(r) , and from Proposition 4.1.3 together with Corollary 4.1.4 we see that ν1∗ ∈ Γ0
and hence we get L(ν1∗ ) ∼
= ∇(ν1∗ ) by Lemma 3.2.1 which also implies that L(ν1∗ ) ∼
= T (ν1∗ ). Applying
Donkin’s tensor product theorem we thus have T ((pr − 1)ρ + µ) ⊗ L(ν1∗ )(r) ∼
= T ((pr − 1)ρ + µ + pr ν1∗ ),
r
∗
r
r
∗
∗
∼
so T ((p − 1)ρ + µ) ⊗ L(ν ) = T ((p − 1)ρ + µ + p ν1 ) ⊗ L(ν0 ) which gives the claim.
The final claim follows similarly to above by applying the Andersen–Haboush tensor product
theorem.
11

Corollary 4.3.3. Assume that p ≥ 2h − 2, λ, µ ∈ X+ with λ + µ ∈ Γr and let ν ∈ X+ with
srλ,µ (ν) 6= 0. Write
X
[∇(ν ∗ )] = [L(ν ∗ )] +
aψ [L(ψ)].
ψ∈X+ , ψ6=ν ∗

Then
srλ,µ (ν) = [T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ) : ∇(λ∗ )]∇ −

X

aψ srλ,µ (ψ ∗ ).

ψ∈X+

In particular,
srλ (ν) = [Str ⊗∇(ν ∗ ) : ∇(λ∗ )]∇ −

X

aψ srλ (ψ ∗ ),

ψ∈X+

and if aψ 6= 0 implies that

srλ,µ (ψ ∗ )

= 0 then

srλ,µ (ν)

= [T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ) : ∇(λ∗ )]∇ .

Proof. First, we claim that Str ⊗L(ψ) has a good filtration whenever aψ 6= 0.
To see this, note that for such ψ we have ψ ≤ ν ∗ , and then the claim is clear from the proof of
Theorem 4.1.7.
By Theorem 4.3.2 we see that srλ,µ (ν) = [T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ) : ∇(λ∗ )]∇ , and this is
completely determined by the character of T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ). Thus we have
X
aψ [T ((pr − 1)ρ + µ) ⊗ L(ψ) : ∇(λ∗ )]∇ .
srλ,µ (ν) = [T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ) : ∇(λ∗ )]∇ −
ψ∈X+

Now we apply Theorem 4.3.2 again to see that whenever aψ 6= 0 we have srλ,µ (ψ ∗ ) = [T ((pr −
1)ρ + µ) ⊗ L(ψ) : ∇(λ∗ )]∇ , which finishes the proof.
In the above, most of the assumptions were there to ensure that T ((pr − 1)ρ + µ) ⊗ L(ν ∗ )
had a good filtration. We can therefore also formulate the following which has somewhat different
assumptions.
Theorem 4.3.4. Let λ, µ ∈ X+ and ν ∈ Γr . Then
srλ,µ (ν) = [T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ) : ∇(λ∗ )]∇ .
In particular, if ν = ν0 + pr ν1 with ν0 ∈ Xr then
srλ (ν) = [∇((pr − 1)ρ + pr ν1∗ ) ⊗ L(ν0∗ ) : ∇(λ∗ )]∇ .
Proof. By Theorem 2.2.13 and Theorem 3.1.1 T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ) has a good filtration, so by
Theorem 2.2.3 we get
srλ,µ (ν) = dim HomG (L(ν), T ((pr − 1)ρ + µ) ⊗ ∇(λ))
= dim HomG (∆(λ∗ ), T ((pr − 1)ρ + µ) ⊗ L(ν ∗ )) = [T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ) : ∇(λ∗ )]∇
as claimed.
The second claim follows by applying the Andersen–Haboush tensor product theorem.
And we also get a similar corollary.

12

Corollary 4.3.5. Let λ, µ ∈ X+ and ν ∈ Γr . Write
X

[∇(ν ∗ )] = [L(ν ∗ )] +

ψ∈X+

aψ [L(ψ)].

, ψ6=ν ∗

Then
srλ,µ (ν) = [T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ) : ∇(λ∗ )]∇ −

X

aψ srλ,µ (ψ ∗ ).

ψ∈X+

In particular,
srλ (ν) = [Str ⊗∇(ν ∗ ) : ∇(λ∗ )]∇ −

X

aψ srλ (ψ ∗ ),

ψ∈X+

and if aψ 6= 0 implies that

srλ,µ (ψ ∗ )

= 0 then

srλ,µ (ν)

= [T ((pr − 1)ρ + µ) ⊗ ∇(ν ∗ ) : ∇(λ∗ )]∇ .

Proof. Since T ((pr − 1)ρ + µ) ⊗ L(ν ∗ ) has a good filtration by Theorem 2.2.13 and Theorem 3.1.1
this follows in the same way as Corollary 4.3.3.

4.4

Inductive formulas

In this section, we will give ways to relate trλ to tuλ0 for suitable λ0 and u ≤ r, in some cases reducing
everything to the r = 1 case.
Note that the condition that ∇(λ) ∼
= ∇(λ0 ) ⊗ ∇(λ1 )(u) in the following is a very strong assumption, but that it at least holds if either λ0 = (pu − 1)ρ or if all of ∇(λ), ∇(λ0 ) and ∇(λ1 ) are simple
(the first follows by the Andersen–Haboush tensor product theorem and the second by Steinberg’s
tensor product theorem).
Proposition 4.4.1. Assume that p ≥ 2h − 2, let λ ∈ Γr and write λ = λ0 + pu λ1 with λ0 ∈ Xu
for some u ≤ r. Assume that ∇(λ) ∼
= ∇(λ0 ) ⊗ ∇(λ1 )(u) . Then for any ν = ν0 + pu ν1 ∈ X+ with
u
ν0 ∈ (p − 1)ρ + Xu we have
X X
r−u
tuλ0 (ν0 + pu σ)tr−u
trλ (ν) =
− 1)ρ + µ)tr−u
σ,µ (ν1 ).
λ1 ((p
σ∈Γ0 µ∈Γr−u
(u)
Proof. Since Str ∼
= Stu ⊗ Str−u by Steinberg’s tensor product theorem we can write

Str ⊗∇(λ) ∼
= (Stu ⊗∇(λ0 )) ⊗ (Str−u ⊗∇(λ1 ))(u)

∼
=


M

(u)



tuλ0 (γ)T (γ) ⊗ 

γ∈X+

M


tr−u
λ1 (ψ)T (ψ)

ψ∈X+

and for each γ with tuλ0 (γ) 6= 0 we can write γ = (pu − 1)ρ + γ00 + pu σ with γ00 ∈ Xu and σ ∈ Γ0
by Proposition 4.1.3 and Lemma 3.2.1. Set γ0 = (pu − 1)ρ + γ00 so T (γ) ∼
= T (γ0 ) ⊗ T (σ)(u) ∼
=
(u)
∼
T (γ0 ) ⊗ ∇(σ) by Donkin’s tensor product theorem (since σ ∈ Γ0 so T (σ) ∼
L(σ)
∇(σ)).
We
=
=
can then rearrange the above to get


M
M M
(u)
tuλ0 (γ0 + pu σ)tr−u
λ1 (ψ) T (γ0 ) ⊗ (T (ψ) ⊗ ∇(σ))
γ0 ∈(pu −1)ρ+Xu σ∈Γ0 ψ∈X+

13

r−u − 1)ρ + µ with µ ∈ Γ
and similarly to above, whenever tr−u
r−u so
λ1 (ψ) 6= 0 we can write ψ = (p
we can rewrite further by expanding the tensor product T (ψ) ⊗ ∇(σ) = T ((pr−u − 1)ρ + µ) ⊗ ∇(σ)


M
M M M
r−u
r−u
(u)
((p
−
1)ρ
+
µ)t
(ϕ)
T
(γ
)
⊗
T
(ϕ)
tuλ0 (γ0 + pu σ)tr−u
0
σ,µ
λ1
γ0 ∈(pu −1)ρ+Xu σ∈Γ0 µ∈Γr−u ϕ∈X+

∼
=

M

M M

M

r−u
u
− 1)ρ + µ)tr−u
tuλ0 (γ0 + pu σ)tr−u
σ,µ (ϕ)T (γ0 + p ϕ)
λ1 ((p

γ0 ∈(pu −1)ρ+Xu σ∈Γ0 µ∈Γr−u ϕ∈X+

from which the claim follows by fixing γ0 = ν0 and ϕ = ν1 .
Corollary 4.4.2. Assume that p ≥ 2h−2, let λ ∈ Γr and write λ = λ0 +pu λ1 with λ0 ∈ Xu for some
u ≤ r. Assume that ∇(λ) ∼
= ∇(λ0 ) ⊗ ∇(λ1 )(u) and further that tuλ0 (ν) 6= 0 =⇒ ν ∈ (pu − 1)ρ + Xu .
Then for any ν ∈ X+ with trλ (ν) 6= 0 we can write ν = ν0 + pu ν1 with ν0 ∈ (pu − 1)ρ + Xu and
ν1 ∈ (pr−u − 1)ρ + X+ and for such ν we have trλ (ν) = tuλ0 (ν0 )tr−u
λ1 (ν1 ).
(u)
Proof. Since Str ∼
= Stu ⊗ Str−u by Steinberg’s tensor product theorem we can write

Str ⊗∇(λ) ∼
= (Stu ⊗∇(λ0 )) ⊗ (Str−u ⊗∇(λ1 ))(u)

∼
=


M

(u)



tuλ0 (γ)T (γ) ⊗ 

γ∈X+

M


tr−u
λ1 (ψ)T (ψ)

ψ∈X+

and since by assumption each γ with tuλ0 (γ) 6= 0 can be written as γ = (pu − 1)ρ + γ0 with γ0 ∈ Xu
we can apply Donkin’s tensor product theorem to get that this is isomorphic to
M
u
tuλ0 (γ)tr−u
λ1 (ψ)T (γ + p ψ)
γ∈X+ ,ψ∈X+

which immediately gives the claim.

4.5

Bounding from below

The results in the previous section had a very strong requirement on the weight λ. In this section
we will remove this requirement at the cost of changing the equalities to inequalities.
Lemma 4.5.1. Let M be a G-module satisfying the following for some λ ∈ X+ .
• λ is maximal with Mλ 6= 0.
• dim(Mλ ) = 1.
• socG (M ) = L(λ).
Then there is an injective homomorphism M ,→ ∇(λ).
Proof. By Frobenius reciprocity we have HomG (M, ∇(λ)) ∼
= HomB (M, λ) 6= 0 since M has a
filtration as a B-module with λ as the top factor, due to the assumption of λ being maximal. The
image of such a non-zero homomorphism must include socG (∇(λ)) = L(λ) and thus Mλ is not in
the kernel. But then the assumptions show that the socle of M intersects the kernel trivially, and
hence that the homomorphism is injective as claimed.
14

Proposition 4.5.2. Let λ = λ0 + pr λ1 ∈ X+ with λ0 ∈ Xr . Then there is an injective homomorphism ∇(λ0 ) ⊗ ∇(λ1 )(r) ,→ ∇(λ).
Proof. By Lemma 4.5.1 it suffices to show that socG (∇(λ0 ) ⊗ ∇(λ1 )(r) ) = L(λ) since the other
requirements are clearly satisfied.
To show this we use that socGr ∇(λ0 ) = L(λ0 ) since λ0 ∈ Xr (see [Jan03, II.3.16]) and then
consider for any µ = µ0 + pr µ1 ∈ X+ with µ0 ∈ Xr
HomG (L(µ), ∇(λ0 ) ⊗ ∇(λ1 )(r) )
∼
= HomG/Gr (L(µ1 )

(r)

(r)

, HomGr (L(µ0 ), ∇(λ0 )) ⊗ ∇(λ1 )

(
k
)∼
=
0

if µ = λ
else

which completes the proof.
Proposition 4.5.3. Assume that p ≥ 2h − 2 and let λ ∈ Γr with λ = λ0 + pu λ1 for some λ0 ∈ Xu .
Then for any ν = ν0 + pu ν1 ∈ X+ with ν0 ∈ (pu − 1)ρ + Xu we have
X X
r−u
r−u
u
trλ (ν) ≥
tuλ0 (ν0 + pu σ)tr−u
− 1)ρ + µ)tr−u
σ,µ (ν1 ) ≥ tλ0 (ν0 )tλ1 (ν1 ).
λ1 ((p
σ∈Γ0 µ∈Γr−u

Proof. By Proposition 4.5.2 we have an inclusion
(u)
(u)
Stu ⊗∇(λ0 )⊗(Str−u ⊗∇(λ))(u) ∼
= Stu ⊗ Str−u ⊗∇(λ0 )⊗∇(λ1 )(u) ,→ Stu ⊗ Str−u ⊗∇(λ) ∼
= Str ⊗∇(λ).

We claim that this inclusions splits: Indeed, the inclusion is obtained by tensoring the inclusion
∇(λ0 ) ⊗ ∇(λ1 )(u) ,→ ∇(λ) with Str , and since the highest weights occurring in all of the modules
belong to Γr , the resulting short exact sequence consists of tilting modules by Theorem 2.2.13
and hence splits. Hence, for any µ ∈ X+ , T (µ) occurs at least as many times in Str ⊗∇(λ) as in
Stu ⊗∇(λ0 ) ⊗ (Str−u ⊗∇(λ1 ))(u) . But by definition we have

 
(u)
M
M

Stu ⊗∇(λ0 ) ⊗ (Str−u ⊗∇(λ1 ))(u) ∼
tuλ0 (µ)T (µ) ⊗ 
tr−u
=
λ1 (γ)T (γ)
µ∈X+

γ∈X+

and the first inequality follows in the same way as in the proof of Proposition 4.4.1, while the second
follows by only considering the summands in the first factor with µ ∈ Xu .
We can also get part of the above without the assumption on p.
Proposition 4.5.4. Let λ ∈ Γr with λ = λ0 +pu λ1 for some λ0 ∈ Xu . Then for any ν = ν0 +pu ν1 ∈
X+ with ν0 ∈ (pu − 1)ρ + Xu we have trλ (ν) ≥ tuλ0 (ν0 )tr−u
λ1 (ν1 ).
Proof. This follows in the same way as Proposition 4.5.3 by using that T ((pu − 1)ρ + µ + pu γ) is a
direct summand of T ((pu − 1)ρ + µ) ⊗ T (γ)(u) for any µ ∈ Xr and any γ ∈ X+ .

5

Reciprocity between tilting modules and simple modules

In this section we will give a new proof of the reciprocity between simple modules and those tilting
modules which are injective as Gr -modules. Previous proofs of this result ([Jan80, Satz 5.9], [RW15,
Proposition 1.13]) have required that p ≥ 2h − 2, without this being replaceable by Donkin’s tilting
conjecture. The present proof almost does this, but it does introduce a new assumption which we
show cannot be avoided.
15

5.1

A bilinear form

Let M and N be finite dimensional G-modules. By [Jan03, Remark to Lemma II.5.8] the set of
[∇(λ)] with λ ∈ X+ is a Z-basis of Z[X]W , so we can write
X
aλ [∇(λ)]
[M ⊗ N ∗ ] =
λ∈X+

for suitable integers aλ . We define a pairing of finite dimensional G-modules by
JM, N K = a0
with a0 as in the above sum, which defines a bilinear form on Z[X]W . It has the following basic
properties:
Proposition 5.1.1. Let M, N, V be finite dimensional G-modules.
1. J·, ·K is symmetric.

2. If M ⊗ N ∗ has a good filtration then JM, N K = [M ⊗ N ∗ : ∇(0)]∇ = dim HomG (N, M ).

3. If M has a good filtration then JM, ∇(λ)K = [M : ∇(λ)]∇ .
4. The set {[∇(λ)] | λ ∈ X+ } is an orthonormal basis of Z[X]W with respect to J·, ·K.
5. J·, ·K is non-degenerate.

6. JM ⊗ V, N K = JM, N ⊗ V ∗ K.
7. JM, N K = JM ∗ , N ∗ K.

Proof.
1. follows from the factP
that ∇(0) is self-dual together with the fact that if we write [M ] =
P
∗
∗
λ∈X+ aλ [∇(λ)] then [M ] =
λ∈X+ aλ [∇(λ )].
2. Follows directly from the definition together with Theorem 2.2.3.
3. follows from 2. together with Theorem 2.2.3 by noting that
JM, ∇(λ)K = JM, ∆(λ)K = [M ⊗ ∇(λ∗ ) : ∇(0)]∇
= dim HomG (∆(0), M ⊗ ∇(λ∗ )) = dim HomG (∆(λ), M ) = [M : ∇(λ)]∇ .
4. follows directly from 3. and 5. follows directly from 4.
6. follows directly from the definition and 7. is clear from 6. together with 1.
Note that since the fourth property listed above uniquely characterizes the form, we see that it
agrees with the form defined by Donkin in [Don93, p. 49], which also satisfies this property. That
this is the case is due to the fact that either form is uniquely determined by the characters of the
modules involved, so we can freely exchange any ∇(λ) by ∆(λ), and applying [Jan03, Proposition
II.4.16] shows that when we apply the form defined by Donkin to a pair (∆(λ), ∇(µ)) we get
precisely δλ,µ .
This identifies the form with the Euler characteristic, which may in some cases make the following results seem more natural.

16

5.2

Computing the form

In order to prove the reciprocity between tilting modules and simple modules, we will note that
by Proposition
5.1.1 for any λ, µ ∈ X+ we have [T (λ) : ∇(µ)]∇ = JT (λ), ∇(µ)K and if we write
P
[∇(µ)] = ν∈X+ bν [L(ν)] then
JT (λ), ∇(µ)K =

X
ν∈X+

bν JT (λ), L(ν)K

so we need to be able to compute these JT (λ), L(ν)K for suitable λ, ν ∈ X+ .
The relevant highest weights for the tilting modules in question will all be of the form (pr −1)ρ+µ
b = 2(pr −1)ρ−λ∗ for λ ∈ Xr which is
for some µ ∈ X+ , so for convenience we will adopt the notation λ
b
b = L(λ).
chosen such that if we assume that T (λ) is indecomposable as a Gr -module then socG T (λ)
b depends on r even though this is not apparent in the notation, but since we will not be
Note that λ
varying r in this section, it should not cause any problems (in the notation previously introduced,
b = (pr − 1)ρ + wr (λ) but this would be more cumbersome).
this could also be written as λ
We start with a few lemmas.
b is indecomposable as a Gr -module
Lemma 5.2.1. Let λ, ν ∈ Xr , σ, µ ∈ X+ and assume that T (λ)
and that Str ⊗L(ν) has a good filtration. Then
(
b + pr σ), L(ν) ⊗ ∆(µ)(r) K = [T (σ) : ∇(µ)]∇ if ν = λ .
JT (λ
0
else
Proof. By Proposition 2.2.14 and the Andersen–Haboush tensor product theorem we see that
Str ⊗L(ν ∗ ) ⊗ ∇(µ∗ )(r) has a good filtration, so by Theorem 3.1.1 we can apply Proposition 5.1.1(2)
and Donkin’s tensor product theorem to get
b + pr σ), L(ν) ⊗ ∆(µ)(r) K = dim HomG (L(ν) ⊗ ∆(µ)(r) , T (λ)
b ⊗ T (σ)(r) )
JT (λ
b ⊗ T (σ)(r) )
= dim HomG/Gr (∆(µ)(r) , HomGr (L(ν), T (λ))
(
dim HomG (∆(µ), T (σ)) if ν = λ
=
0
else
b is indecomposable as a Gr -module and thus
where the last equality uses the assumption that T (λ)
has socle equal to L(λ). The claim now follows from Theorem 2.2.3.
Remark 5.2.2. We have attempted to make the assumptions in the above lemma as well as in
the remaining result in this section as weak as possible, but it is worth noting that the conditions
requiring certain tilting modules to be indecomposable as Gr -modules as well as the ones requiring
certain tensor products between a Steinberg module and a simple module to have a good filtration
can be replaced by Donkin’s tilting conjecture, since this also implies that Str ⊗L(µ) has a good
filtration for all µ ∈ Xr by [KN15, Theorem 9.4.1].
b is indecomposable as a Gr -module
Lemma 5.2.3. Let λ, ν ∈ Xr , σ, µ ∈ X+ and assume that T (λ)
and that Str ⊗L(ν) has a good filtration. If ν 6= λ then
b + pr σ), L(ν + pr µ)K = 0.
JT (λ
17

Proof. Assume that ν 6= λ and assume for the purposes of induction that for all γ ∈ X+ with γ < µ
b + pr σ), L(ν + pr γ)K = 0. Write
we have JT (λ
X
[∆(µ)] = [L(µ)] +
bγ [L(γ)].
γ∈X+ , γ<µ

Then by Steinberg’s tensor product theorem
b + pr σ), L(ν + pr µ)K = JT (λ
b + pr σ), L(ν) ⊗ ∆(µ)(r) K −
JT (λ

X
γ∈X+ , γ<µ

b + pr σ), L(ν + pr γ)K
bγ JT (λ

but whenever bγ 6= 0 we have γ < µ so by assumption the sum is 0. Also, by Lemma 5.2.1 the first
b L(ν + pr µ)K = 0 by induction, where the base case follows from
term is 0, so this shows that JT (λ),
Lemma 5.2.1.
In the following lemma, we need to assume that σ is not strongly linked to µ. For more information on strong linkage, we refer to [Jan03, II.6].
b is indecomposable as a Gr -module
Lemma 5.2.4. Let λ, ν ∈ Xr , σ, µ ∈ X+ and assume that T (λ)
and that Str ⊗L(ν) has a good filtration. Assume further that ∇(σ) is simple. Let µ ∈ X+ and
b + pr σ), L(ν + pr µ)K = 0.
assume that σ is not strongly linked to µ. Then JT (λ
Proof. Write
X

[∆(µ)] = [L(µ)] +

bγ [L(γ)].

γ∈X+ , γ<µ

By Steinberg’s tensor product theorem we have
b + pr σ), L(ν + pr µ)K = JT (λ
b + pr σ), L(ν) ⊗ ∆(µ)(r) K −
JT (λ

X
γ∈X+ , γ<µ

b + pr σ), L(ν + pr γ)K
bγ JT (λ

and σ is not strongly linked to any γ with bγ 6= 0 since these γ are all strongly linked to µ. But now
we can assume by induction that all terms in the sum are 0, so it remains to show that the first term
is 0. By Lemma 5.2.1 this is either 0 or [T (σ) : ∇(µ)]∇ , and the latter equals [∇(σ) : ∇(µ)]∇ = 0
since ∇(σ) was assumed to be simple and σ was not strongly linked to µ (so in particular, we have
σ 6= µ).
b is indecomposable as a Gr -module
Theorem 5.2.5. Let λ, ν ∈ Xr , σ, µ ∈ X+ and assume that T (λ)
and ∇(σ) is simple. Assume further that Str ⊗L(ν) has a good filtration and that either ∇(µ) is
simple or σ is not strongly linked to µ.
Then
(
r
r
r
r
b + p σ), L(ν + p µ)K = 1 if ν + p µ = λ + p σ .
JT (λ
0 else
b + pr σ), L(ν + pr µ)K 6= 0 then by Lemma 5.2.3 and Lemma 5.2.4 we have ν = λ and
Proof. If JT (λ
σ is strongly linked to µ and thus by assumption we must have that ∇(µ) is simple. But since we
also have that T (σ) ∼
= ∇(σ) the claim now follows from Lemma 5.2.1.
We also include the following which exchanges the conditions on σ for stronger conditions on µ.

18

b is indecomposable as a Gr Proposition 5.2.6. Let λ, ν ∈ Xr , σ, µ ∈ X+ and assume that T (λ)
module and that Str ⊗L(ν) has a good filtration. Assume further that whenever ψ ∈ X+ with ψ ≤ µ
then ψ 6≤ σ. Then
b + pr σ), L(ν + pr µ)K = 0.
JT (λ
Proof. Since the condition on µ is inherited by any γ with γ ≤ µ, this follows in the same way as
Lemma 5.2.4.

5.3

Reciprocity

We can now prove the reciprocity between tilting modules and simple modules. Note that the result
is in particular applicable whenever λ + pr σ ∈ Γr and µ ∈ Γr , as long as we assume Donkin’s tilting
conjecture (so if p ≥ 2h − 2 it includes [Jan80, Satz 5.9] and [RW15, Proposition 1.13]). Also, as
mentioned earlier, if we assume Donkin’s tilting conjecture then the conditions on λ and ν0 will be
automatic, whereas the condition on ν1 will not (as will be seen in a later example).
b is indecomposable as a Gr Corollary 5.3.1. Let λ ∈ Xr and σ, µ ∈ X+ and assume that T (λ)
module and ∇(σ) is simple. Assume further that whenever L(ν0 + pr ν1 ) is a composition factor of
∇(µ) with ν0 ∈ Xr then Str ⊗L(ν0 ) has a good filtration and if ∇(ν1 ) is not simple then σ is not
strongly linked to ν1 . Then
b + pr σ) : ∇(µ)]∇ = [∇(µ) : L(λ + pr σ)]G .
[T (λ
b + pr σ) : ∇(µ)]∇ = JT (λ
b + pr σ), ∇(µ)K the claim
Proof. Since by Proposition 5.1.1(3) we have [T (λ
follows from Theorem 5.2.5 and Lemma 5.2.1.

5.4

A counterexample

We would like to be able to get rid of the requirement on the composition factors of ∇(µ) in
Corollary 5.3.1, or at least lessen them to requiring that µ ∈ Xr , but this is unfortunately not
possible as we will now show.
b is indecomposable as a
Proposition 5.4.1. Assume that p ≥ h. Let λ ∈ Xr and assume that T (λ)
Gr -module and that Str ⊗L(λ) has a good filtration. Then
b L(λ + pr (p − h + 1)α0 )K = −1.
JT (λ),

Proof. First observe that by the Jantzen sum formula ([Jan03, Proposition II.8.19]) we have [∆((p−
h + 1)α0 )] = [L((p − h + 1)α0 )] + [L(0)] so by Steinberg’s tensor product theorem we have [L(λ +
pr (p − h + 1)α0 )] = [L(λ) ⊗ ∆((p − h + 1)α0 )(r) ] − [L(λ)].
The claim now follows from Lemma 5.2.1 and Theorem 5.2.5.
Example 5.4.2. Let G = SL5 and p = 5. Let µ = (2, 3, 3, 2) (we will write all weights in terms
of the fundamental weights so (a1 , a2 , a3 , a4 ) = a1 ω1 + a2 ω2 + a3 ω3 + a4 ω4 or in other words, if we
label the simple roots α1 , α2 , α3 , α4 going from one end of the Dynkin diagram to the other, this is
the unique weight λ such that hλ, αi∨ i = ai for i = 1, 2, 3, 4). Then L(p(p − h + 1)α0 ) = L(5, 0, 0, 5)
is a composition factor of ∇(µ) with multiplicity 1 (as can be checked by applying the Jantzen
sum formula) and thus by Proposition 5.4.1 and arguing as above (with the same assumptions as
previously) we have
[T (b
0) : ∇(µ)]∇ = [∇(µ) : L(0)]G − 1
which is not equal to [∇(µ) : L(0)]G .
19

b was indecomposThroughout this section we have had result needing the assumption that T (λ)
able as a Gr -module for some λ ∈ Xr . This condition is in fact also necessary if we are to obtain
results like these. We will postpone the proof of this to later, as it will require us to know more
about the dimension of homomorphism spaces for Gr .

6

Restriction to a Frobenius kernel

In this section, we will consider the restrictions of T ((pr − 1)ρ + λ) and Str ⊗∇(λ) to Gr .

6.1

Relating Hom-spaces for Gr and G

We will need the following result which follows from the discussion in [BNP+ 12, 5.1].
Theorem 6.1.1. Let M and N be finite dimensional G-modules. There exists a finite dimensional
G-module QrM,N such that.
• HomGr (M, N ) ∼
= HomG (M, N ⊗ QrM,N ).
• QrM,N has a filtration with factors of the form ∇(λ)(r) , each occurring with multiplicity either
0 or dim ∇(λ).
• If ∇(λ)(r) does not occur in QrM,N then HomG (M, N ⊗ ∇(λ)(r) ) = 0.
Note that while the module QrM,N above is not uniquely determined by the given conditions,
this will not be a problem, as we will only need it to compute certain Hom-spaces.

6.2

Dimension of Hom-spaces for Gr

Using Theorem 6.1.1, we can determine the dimension of the space of homomorphisms between
certain tilting modules and costandard modules as Gr -modules.
Theorem 6.2.1. Let λ, ν ∈ X+ . Then
dim HomGr (T ((pr − 1)ρ + λ), ∇(ν)) =

X

dim(∇(µ))[T ((pr − 1)ρ + λ∗ ) ⊗ ∇(µ)(r) : ∇(ν ∗ )]∇ .

µ∈X+

In particular,
dim HomGr (Str , ∇(ν)) =

X

dim(∇(µ))[∇((pr − 1)ρ + pr µ) : ∇(ν ∗ )]∇

µ∈X+

=

X
µ∈X+

(
dim(∇(µ))
dim(∇(µ))[∇(ν) : ∇((p − 1)ρ + p µ)]∇ =
0
r

r

if ν = (pr − 1)ρ + pr µ
.
else

Proof. By Theorem 6.1.1 there is a finite dimensional G-module Q = QrT ((pr −1)ρ+λ),∇(ν) such that
HomGr (T ((pr − 1)ρ + λ), ∇(ν)) ∼
= HomG (T ((pr − 1)ρ + λ), ∇(ν) ⊗ Q).
We first note that by Corollary 3.1.2 for all i ≥ 1 and all µ ∈ X+ we have ExtiG (T ((pr − 1)ρ +
λ), ∇(ν) ⊗ ∇(µ)(r) ) = 0.

20

This means that since Q has a filtration with factors of the form ∇(µ)(r) by Theorem 6.1.1 we
get
dim HomGr (T ((pr − 1)ρ + λ), ∇(ν)) = dim HomG (T ((pr − 1)ρ + λ), ∇(ν) ⊗ Q)
X
=
dim(∇(µ)) dim HomG (T ((pr − 1)ρ + λ), ∇(ν) ⊗ ∇(µ)(r) )
µ∈X+

where we can sum over all µ ∈ X+ by the third property of Q listed in Theorem 6.1.1.
The first claim now follows from Corollary 3.1.2 while the first equality of the second claim
follows from this by applying the Andersen–Haboush tensor product theorem, the second follows
by similar arguments after changing the summation to be over µ∗ instead of µ, and the final equality
is clear.
Using the bilinear form introduced earlier, we can extend this to be valid for any finite dimensional G-module.
Theorem 6.2.2. Let λ ∈ X+ and M be a finite dimensional G-module. Then
X
dim HomGr (T ((pr − 1)ρ + λ), M ) =
dim(∇(µ))JT ((pr − 1)ρ + λ) ⊗ ∇(µ)(r) , M K.
µ∈X+

In particular,
dim HomGr (Str , M ) =

X
µ∈X+

dim(∇(µ))J∇((pr − 1)ρ + pr µ), M K.

Proof. Since T ((pr − 1)ρ + λ) is projective as a Gr -module, the map M 7→ dim HomGr (T ((pr −
1)ρ + λ), M ) defines a linear P
map from Z[X]W to Z.
Similarly, the map M 7→ µ∈X+ dim(∇(µ))JT ((pr − 1)ρ + λ∗ ) ⊗ ∇(µ)(r) , M ∗ K is linear.
By Theorem 6.2.1 and Proposition 5.1.1 these maps agree on ∇(ν) for all ν ∈ X+ , since ∇(ν ∗ )
and ∇(ν)∗ have the same character. But then they agree on all finite dimensional G-modules by
[Jan03, Remark to Lemma II.5.8], and the first claim follows by using Proposition 5.1.1(7) and
changing the summation to be over µ∗ .
The second claim follows by applying the Andersen–Haboush tensor product theorem.

6.3

Relation to Donkin’s tilting conjecture

We can now prove that in a suitable formulation, the reciprocity between tilting modules and simple
modules in fact implies Donkin’s tilting conjecture.
For another recent result with the same conclusion, see [Sob16, Theorem 4.3.1].
Theorem 6.3.1. Let λ ∈ Xr and assume that for ν ∈ Xr and µ ∈ X+ we have
(
b L(ν) ⊗ ∆(µ)(r) K = 1 if ν = λ and µ = 0 .
JT (λ),
0 else
b is indecomposable as a Gr -module.
Then T (λ)

21

Proof. By Theorem 6.2.2 and Proposition 5.1.1(7) the assumptions imply that for ν ∈ Xr we have
(
1 if ν = λ
b
dim HomGr (T (λ), L(ν)) =
0 else
which gives the claim.
Corollary 6.3.2. The following are equivalent.
1. Donkin’s tilting conjecture.
b L(ν) ⊗ ∆(µ)(r) K = δν,λ δµ,0 for all λ, ν ∈ Xr and all µ ∈ X+ .
2. JT (λ),

Proof. This is the combination of Lemma 5.2.1 and Theorem 6.3.1.

6.4

Decomposition of Str ⊗∇(λ) for Gr

Since Str ⊗∇(λ) is injective as a Gr -module, for any λ ∈ X+ we can write
M
Str ⊗∇(λ) ∼
drλ (ν)Qr (ν)
=
ν∈Xr

where drλ (ν) = dim Hom(L(ν), Str ⊗∇(λ)).
We can then compute the drλ using the previous results, giving a formula in terms of standard
character data for G.
Proposition 6.4.1. For any λ ∈ X+ and any ν ∈ Xr we have
X
dim(∇(µ))J∇((pr − 1)ρ + pr µ), L(ν ∗ ) ⊗ ∇(λ)K.
drλ (ν) =
µ∈X+

Proof. This follows straight from Theorem 6.2.2.

7

Restriction to a finite Chevalley group

In this section, we consider what happens when T ((pr − 1)ρ + λ) and Str ⊗∇(λ) are restricted to
the finite Chevalley group G(Fq ). Recall that q = pr .

7.1

Relating Hom-spaces for G(Fq ) and G

We will need the following result which follows directly from the proof of [BNP+ 12, Theorem 3.2.1].
Theorem 7.1.1. Let M and N be finite dimensional G-modules. There exists a finite dimensional
r
G-module GM,N
such that
• HomG(F ) (M, N ) ∼
= HomG (M, N ⊗ G r ).
q

M,N

r
• GM,N
has a filtration with factors of the form ∇(λ∗ )⊗∇(λ)(r) , each occurring with multiplicity
at most 1.
r
• If ∇(λ∗ ) ⊗ ∇(λ)(r) does not occur in GM,N
then HomG (M, N ⊗ ∇(λ∗ ) ⊗ ∇(λ)(r) ) = 0.
r
Note that while the module GM,N
is not uniquely determined by the conditions in the above
theorem, this will not be a problem here as we will only be using it for computing various Homspaces.

22

7.2

Dimensions of Hom-spaces for G(Fq )

The λ = 0 case of the following is a special case of [WW11, Proposition 2.5] (whose proof is due to
C. Pillen). The proof is very similar, using some of the previous results from this paper to make it
applicable to λ 6= 0.
Theorem 7.2.1. Let λ, ν ∈ X+ . Then
dim HomG(Fq ) (T ((pr − 1)ρ + λ), ∇(ν)) =

X

[T ((pr − 1)ρ + λ∗ ) ⊗ ∇(µ)(r) ⊗ ∇(ν) : ∇(µ)]∇ .

µ∈X+

In particular,
dim HomG(Fq ) (Str , ∇(ν)) =

X

[∇((pr − 1)ρ + pr µ) ⊗ ∇(ν) : ∇(µ)]∇

µ∈X+

=

X

[∇(µ) ⊗ ∇(ν) : ∇((pr − 1)ρ + pr µ)]∇ .

µ∈X+

Proof. By Theorem 7.1.1 there is a finite dimensional G-module G = GTr ((pr −1)ρ+λ),∇(ν) such that
HomG(Fq ) (T ((pr − 1)ρ + λ), ∇(ν)) ∼
= HomG (T ((pr − 1)ρ + λ), ∇(ν) ⊗ G).
First we claim that for all i ≥ 1 and all µ ∈ X+ we have ExtiG (T ((pr − 1)ρ + λ), ∇(ν) ⊗ ∇(µ∗ ) ⊗
∇(µ)(r) ) = 0. This follows from Corollary 3.1.2 since Str ⊗∇(ν) has a good filtration by Theorem
2.2.4.
This means that since G has a filtration with factors of the form ∇(µ∗ ) ⊗ ∇(µ)(r) by Theorem
7.1.1 we have
dim HomG(Fq ) (T ((pr − 1)ρ + λ), ∇(ν)) = dim HomG (T ((pr − 1)ρ + λ), ∇(ν) ⊗ G)
=

X

dim HomG (T ((pr − 1)ρ + λ), ∇(ν) ⊗ ∇(µ∗ ) ⊗ ∇(µ)(r) )

µ∈X+

where we can sum over all µ ∈ X+ due to the third property of G listed in Theorem 7.1.1. The first
claim now follows directly from Corollary 3.1.2.
The first equality of the second claim follows by applying the Andersen–Haboush tensor product
theorem, while the second follows by a similar argument to the above once the summation is changed
to be over µ∗ rather than µ.
Using the bilinear form introduced previously, we can in fact extend the above result to hold for
all finite dimensional G-modules, rather than just ∇(ν). It is interesting to compare the λ = 0 case
to [Hum06, Theorem 6.9] which is essentially the same formula, but with characters of costandard
modules replaced by characters of simple modules.
It is also interesting to compare the below result to [Hum06, Theorem 10.11]. When λ ∈ Xr is
such that T ((pr − 1)ρ) + λ) is indecomposable as a Gr -module and M = L(γ) for some γ ∈ Xr ,
the formulas will give the same results, once the weights have been relabeled suitably. And in fact,
the formulas producing the same results for all weights is equivalent to T ((pr − 1)ρ + λ) being
indecomposable as a Gr -module.

23

Theorem 7.2.2. Let M be a finite dimensional G-module and λ ∈ X+ . Then
X
dim HomG(Fq ) (T ((pr − 1)ρ + λ), M ) =
JT ((pr − 1)ρ + λ∗ ) ⊗ ∇(µ)(r) ⊗ M, ∇(µ)K
µ∈X+

=

X
µ∈X+

JT ((pr − 1)ρ + λ) ⊗ ∇(µ)(r) ⊗ ∇(µ∗ ), M K.

In particular,
dim HomG(Fq ) (Str , M ) =

X
µ∈X+

=

X
µ∈X+

J∇((pr − 1)ρ + pr µ) ⊗ M, ∇(µ)K

J∇(µ) ⊗ M, ∇((pr − 1)ρ + pr µ)K.

Proof. Since T ((pr −1)ρ+λ) is projective as a G(Fq )-module, the map M 7→ dim HomG(Fq ) (T ((pr −
W
1)ρ + λ), M ) defines a Z-linear
P map from rZ[X] to Z.
Similarly, the map M 7→ µ∈X+ JT ((p − 1)ρ + λ∗ ) ⊗ ∇(µ)(r) ⊗ M, ∇(µ)K is Z-linear.
By Theorem 7.2.1 together with Proposition 5.1.1(3) the above two Z-linear maps agree on
∇(ν) for all ν ∈ X+ and since these form a Z-basis of Z[X]W by [Jan03, Remark to Lemma II.5.8],
the maps must agree on all finite dimensional G-modules, which yields the first claim.
The second equality follows by applying Proposition 5.1.1.

7.3

Decomposition of Str ⊗∇(λ) for G(Fq )

Since Str ⊗∇(λ) is projective as a G(Fq )-module, we can write
M
Str ⊗∇(λ) ∼
prλ (ν)Pr (ν)
=
ν∈Xr

where prλ (ν) = dim HomG(Fq ) (L(ν), Str ⊗∇(λ)).
Using the previous results, we can then give a formula for the prλ (ν) in terms of standard
character data for G.
Corollary 7.3.1. Let λ ∈ X+ and ν ∈ Xr . Then
X
prλ (ν) =
J∇(µ) ⊗ ∇(λ) ⊗ L(ν ∗ ), ∇((pr − 1)ρ + pr µ)K.
µ∈X+

Proof. This follows directly from Theorem 7.2.2.

References
[And80]

Henning Haahr Andersen. The Frobenius morphism on the cohomology of homogeneous
vector bundles on G/B. Ann. of Math. (2), 112(1):113–121, 1980.

[And01]

Henning Haahr Andersen.
244(2):664–683, 2001.

p-filtrations and the Steinberg module.

24

J. Algebra,

[BDM11] C. Bowman, S. R. Doty, and S. Martin. Decomposition of tensor products of modular
irreducible representations for SL3 . Int. Electron. J. Algebra, 9:177–219, 2011. With an
appendix by C. M. Ringel.
[BDM15] C. Bowman, S. R. Doty, and S. Martin. Decomposition of tensor products of modular
irreducible representations for SL3 : the p ≥ 5 case. Int. Electron. J. Algebra, 17:105–138,
2015.
[BNP+ 12] Christopher P. Bendel, Daniel K. Nakano, Brian J. Parshall, Cornelius Pillen, Leonard L.
Scott, and David I. Stewart. Bounding extensions for finite groups and Frobenius kernels.
arXiv:1208.6333 [math.RT], 2012.
[DH05]

Stephen Doty and Anne Henke. Decomposition of tensor products of modular irreducibles for SL2 . Q. J. Math., 56(2):189–207, 2005.

[Don81]

Stephen Donkin. A filtration for rational modules. Math. Z., 177(1):1–8, 1981.

[Don93]

Stephen Donkin. On tilting modules for algebraic groups. Math. Z., 212(1):39–60, 1993.

[Dru13]

Christopher M. Drupieski. On projective modules for Frobenius kernels and finite
Chevalley groups. Bull. Lond. Math. Soc., 45(4):715–720, 2013.

[Hab80]

W. J. Haboush. A short proof of the Kempf vanishing theorem. Invent. Math., 56(2):109–
112, 1980.

[Hum76]

James E. Humphreys. Ordinary and modular representations of Chevalley groups. Lecture Notes in Mathematics, Vol. 528. Springer-Verlag, Berlin-New York, 1976.

[Hum06]

James E. Humphreys. Modular representations of finite groups of Lie type, volume
326 of London Mathematical Society Lecture Note Series. Cambridge University Press,
Cambridge, 2006.

[Jan80]

Jens C. Jantzen. Darstellungen halbeinfacher Gruppen und ihrer Frobenius-Kerne. J.
Reine Angew. Math., 317:157–199, 1980.

[Jan03]

Jens Carsten Jantzen. Representations of algebraic groups, volume 107 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, second
edition, 2003.

[KN15]

Tobias Kildetoft and Daniel K. Nakano.
modules. J. Algebra, 423:702–725, 2015.

[Mat90]

Olivier Mathieu. Filtrations of G-modules. Ann. Sci. École Norm. Sup. (4), 23(4):625–
644, 1990.

[RW15]

Simon Riche and Geordie Williamson.
arXiv:1512.08296 [math.RT], 2015.

[Sob16]

Paul Sobaje. Varieties of Gr -summands in rational G-modules.
[math.RT], 2016.

25

On good (p, r)-filtrations for rational G-

Tilting modules and the p-canonical basis.
arXiv:1605.06330

[Ste63]

Robert Steinberg. Representations of algebraic groups. Nagoya Math. J., 22:33–56,
1963.

[WW11]

Jinkui Wan and Weiqiang Wang. The GLn (q)-module structure of the symmetric algebra
around the Steinberg module. Adv. Math., 227(4):1562–1584, 2011.

26

