On mod p local-global compatibility for unramified GL3
by
John Enns
A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Department of Mathematics University of Toronto
c Copyright 2018 by John Enns Abstract
On mod p local-global compatibility for unramified GL3
John Enns Doctor of Philosophy Department of Mathematics University of Toronto 2018
Let F/F + be a CM number field and w|p a place of F lying over a place of F + that splits in F .
Ifr ¯ : GF → GLn(Fp) is a global Galois representation automorphic with respect to a definite + 0 unitary group over F then there is a naturally associated GLn(Fw)-representation H (¯r) over
0 Fp constructed using mod p automorphic forms, and it is hoped that H (¯r) will correspond to r¯| under a conjectural mod p local Langlands correspondence. The goal of the thesis is to GFw study how to recover the data ofr ¯| from H0(¯r) in certain cases. GFw
Assume that Fw is unramified and n = 3. Under certain technical hypotheses onr ¯, we give an explicit recipe to find all the data ofr ¯| inside the GL (F )-action on H0(¯r) when GFw 3 w r¯| is maximally nonsplit, Fontaine-Laffaille, generic, and has a unique Serre weight. This GFw generalizes work of Herzig, Le and Morra [HLM17] who found analogous results when Fw = Qp as well as work of Breuil and Diamond [BD14] in the case of unramified GL2.
ii For Cathleen
iii Acknowledgements
I want to thank my advisor Florian for suggesting this problem and for his advice since the beginning stages of this work. I am grateful for having had the opportunity to learn about some deep and difficult areas of math under his supervision. I also thank him for helpful comments on an earlier version of this thesis. It would not have been possible for me to complete graduate school without the support of my family. Thank you Mom, Dad, William, and Noah. It’s been hard being away from home. Finally, to Cathleen: I can’t begin to describe the positive impact you’ve had on my life. Thank you for your unconditional love and support. This thesis is dedicated to you.
iv Contents
Acknowledgements ...... iv Table of contents ...... v
0 Introduction 1 0.1 Notation and conventions ...... 9
1 Integral p-adic Hodge theory 11 1.1 The local mod p Galois representation ...... 11 1.2 Fontaine-Laffaille modules and invariants ...... 12 1.2.1 Fontaine-Laffaille invariants ...... 14 1.3 Summary of categories used ...... 17
1.4 Lattices inside potentially semistable GK0 -representations ...... 18 1.4.1 Filtered isocrystals with monodromy and descent data ...... 18 1.4.2 Strongly divisible modules ...... 19 1.4.3 Breuil modules ...... 23 1.5 Kisin modules and ϕ-modules ...... 25 1.5.1 Etale´ ϕ-modules ...... 25 1.5.2 Kisin modules with descent data ...... 28 1.5.3 Kisin modules of Hodge type µ ...... 31 1.6 Shape computations ...... 33 1.7 Main results ...... 41
2 Modular representation theory of GL3 48 2.1 Representations of reductive groups ...... 49 2.2 Restriction of algebraic representations to finite subgroups ...... 50 2.3 Summary of main results ...... 55 2.4 Weyl modules and the distribution algebra ...... 59 2.5 Proof of Theorem 2.3.2 ...... 64 Proof of Theorem 2.3.2(1) ...... 64 Proof of Theorem 2.3.2(2) and (3), part I ...... 80 Proof of Theorem 2.3.2(3), part 2 ...... 85 2.6 Characteristic 0 principal series ...... 89
v 3 Mod p local-global compatibility 96 3.1 Definite unitary groups ...... 96 3.2 p-adic, mod p and classical automorphic forms ...... 97 3.3 Galois representations and local-global compatibility ...... 99 3.4 Serre weights and modularity ...... 101 3.5 Main result ...... 102 3.6 Freeness over the Hecke algebra ...... 105
Bibliography 109
vi Chapter 0
Introduction
This thesis is about relationships between automorphic forms and Galois representations. Specif- ically, it is motivated by the search for a mod p local Langlands correspondence, and how such a correspondence might be realized inside the cohomology of arithmetic manifolds attached to reductive groups over number fields. The words “local-global compatibility” in the title refer to this possibility. We begin by illustrating an example of local-global compatibility in the classical Langlands program, following [Bre12]. Let ` be a prime and K a finite extension of Q` with absolute Galois group GK and Weil group WK . The classical local Langlands correspondence for GLn posits the existence of a unique family of bijections
∼ recn,p :{irreducible admissible smooth representations of GLn(K) over Qp}/ = ∼ → {rank n Frobenius-semisimple Weil-Deligne representations of K over Qp}/ = (0.0.1) for each n characterized by the list of conditions found in the introduction to [HT01], in par- ticular compatibility with local class field theory. When ` 6= p, Grothendieck’s `-adic mon- odromy theorem gives an equivalence of categories between continuous Galois representations
GK → GLn(Qp) and bounded Weil-Deligne representations of K over Qp. Via recn,p this allows us to attach an irreducible admissible Qp-representation of GLn(K) to any continuous p-adic representation of GK after Frobenius semisimplifying. We say that a local-global compatibility occurs in any situation where a purely local corre- spondence, such as (0.0.1), arises in connection with a correspondence between global objects, typically the cohomology of a Shimura variety or more generally an arithmetic quotient of a locally symmetric space attached to a reductive group over a number field. For example, the cohomology of modular curves, which are Shimura varieties attached to the reductive group
GL2/Q, exhibits local-global compatibility. We use this example to explain the idea. Let A denote the ring of ad`elesof Q. Associated with any sufficiently small open compact ∞ subgroup U ≤ GL2(A ) there is an algebraic curve Y (U) (the classical modular curve of level U)
1 Chapter 0. Introduction 2
∞ defined over Q whose space of complex points is isomorphic to GL2(Q)\(C − R) × GL2(A )/U. We may consider the p-adic ´etalecohomology1 H1(Y (U) , ), which is a finite-dimensional Q Qp Qp-vector space with a continuous action of GQ. As U varies, there are corresponding maps between the curves Y (U) and it makes sense to consider all levels U at once by defining 1 1 ∞ H = lim H (Y (U)¯ , ). This space has a natural smooth action of GL ( ) commut- −→U Q Qp 2 A ing with its GQ-action. One possible strong statement of classical local-global compatibility is the following. Suppose that r : GQ → GL2(Qp) is a continuous global Galois representation such that Hom (r, H1) 6= 0 (this assumption means that r is the p-adic representation asso- GQ ciated with a classical weight 2 modular newform by the construction of Deligne). Then as a ∞ 2 GL2(A )-representation, we have O Hom (r, H1) =∼ π ⊗ 0 rec (r| ) (0.0.2) GQ p 2,p G` `6=p
Here G` is a decomposition group for the prime ` inside GQ and πp denotes a certain smooth representation of GL2(Qp) over Qp that we will return to in a moment. The key point here is that we observe each local Langlands correspondence occurring inside the cohomology of the tower of Shimura varieties (Y (U))U for each prime not equal to p. But as one sees in (0.0.2), something different happens when ` = p, that is, when the field of coefficients and the local Galois representation are both p-adic. In fact there is a recipe for constructing πp from r|Gp , but the procedure loses a great deal of information. In other words, it is not possible to reconstruct r|Gp from πp. This is because there can exist no analogue to (0.0.1) that attaches smooth representations of GLn(K) to continuous p-adic representations of
GK when ` = p in any way that doesn’t lose information. The issue is that since the topologies of GK and Qp are compatible, there is a much richer supply of local Galois representations, but on the other hand smooth representations ignore the topology of the coefficient field by definition. The problem of how to recover the local Galois representation at p in (0.0.2) is one possible starting point for the p-adic (and mod p) Langlands correspondences. In order to get a p-adic local Langlands correspondence the idea is to replace smooth rep- resentations of GLn(K) with something that sees the p-adic topology, namely Banach space representations of GLn(K) over (a finite subextension of) Qp. The attempt to prove results in this direction has been a point of heavy research activity for some time, and the only cases that have been settled are n = 1 (which is as usual a consequence of local class field theory) and n = 2,K = Qp. See [Bre10] for an overview. Indeed, it is now known that there is a func- torial link between categories of unitary Banach representations of GL2(Qp) and continuous p-adic representations of GQp inducing a bijection between irreducible objects on both sides (see [CDPs14] for a precise statement). Analogues of these statements for n > 2 or K 6= Qp are highly sought after.
1Technically one should have parabolic cohomology in (0.0.2). See [Eme06] for more precise statements. 2Again, we actually need to use the “Tate normalization” of (0.0.1) here, and we refer to [Eme06] for the precise version. Chapter 0. Introduction 3
In [Eme11], Emerton proved the p-adic analogue of (0.0.2). Of course, one cannot use simply the p-adic ´etalecohomology exactly as above since we just saw this doesn’t work. Emerton has instead introduced a theory of p-adically completed cohomology where H1 is replaced by a kind 1 of completion Hb that is not a smooth representation of GL2(Qp), but a Banach representation. Then the analogue of (0.0.2) holds. See the introduction to [Eme11] for the precise statement, or below for the mod p version. Since Banach representations admit a canonical notion of reduction mod p (by reducing their unit ball), it is hoped that in addition to a p-adic correspondence there will also be a mod p local Langlands correspondence compatible with reducing lattices mod p on the Galois side. Precisely, the original hope for the mod p local Langlands correspondence was the existence of a map
∼ {continuous representations GK → GLn(Fp)}/ = ∼ ,→ {admissible representations of GLn(K) over Fp}/ = . (0.0.3) which we denoteρ ¯ 7→ Πp(¯ρ) compatible with the (conjectural) p-adic local Langlands corre- spondence and hopefully with the mod p cohomology of Shimura varieties. In fact, the evidence we currently have suggests that a 1-1 correspondence of this form may be too much to ask in general, and that we should instead look for a family of representations Πp(¯ρ). As with the p-adic case, the existence of a 1-1 correspondence is known in the case of
GL2(Qp) (it is actually easier than the p-adic result and was known before), and the analogue of (0.0.2) holds as a corollary to Emerton’s p-adic result. We will actually state a weaker version, since it is analogous to the situation considered in this thesis. Fix an open compact subgroup p ∞,p U ≤ GL2(A ) (a tame level). Consider the mod p ´etalecohomology of the modular curve 1 p 1 p with infinite level at p: H¯ (U ) := lim H (Y (UpU ) , p) where Up runs over compact open −→Up Q F subgroups of GL2(Qp). By its construction this object has a smooth action of GL2(Qp) com- muting with its GQ-action. Suppose thatr ¯ : GQ → GL2(Fp) is a continuous irreducible modular representation satisfying some technical assumptions. Then as a smooth Fp-representation of GL2(Qp) we have p Hom (¯r, H¯ 1(U p)) =∼ Π (¯r| )d(U ) (0.0.4) GQ p Gp p where d(U ) ∈ N is some multiplicity and Πp is the previously established mod p local Langlands correspondence for GL2(Qp) [Eme11]. The reason that no mod p (or p-adic) local Langlands correspondence has yet been es- tablished for groups other than GL2(Qp) is that the mod p representation theory of any other group appears to be infinitely more difficult than for GL2(Qp). For example, there are infinitely many irreducible admissible Fp-representations of GL2(K) for any field K 6= Qp with a fixed central character (whereas for GL2(Qp) there are only finitely many). Breuil and Paˇsk¯unas in [BP12] made a detailed study of smooth Fp-representations of GL2(Qpf ). Their results made Chapter 0. Introduction 4
it clear that one could not expect a 1-1 correspondence in (0.0.3) for GL2(Qpf ) if f > 1, and in light of this the same is expected for any group other than GL2(Qp). The main problem in the classification of irreducible smooth Fp-representations of GLn(K) is in understanding the supersingular representations (which are analogous to the supercuspidals in the characteristic 0 case). Despite recent advances in classifying the irreducible admissible representations of
GLn(K) (and even more general reductive groups) in terms of supersingular representations ([AHHV17]), the classification of the supersingular representations themselves does not appear to be forthcoming. Since none of these difficulties appear on the Galois side of (0.0.3) (it is easy to classify representations GK → GLn(Fp) for any p-adic field K), these discoveries have caused some uncertainty about the nature of the conjectural mod p local Langlands correspondence. Nev- ertheless, we expect some kind of local-global compatibility and it has been the viewpoint of a number of papers (and is the viewpoint of this thesis) that the shape of the hypothetical Πp(¯ρ) for groups other than GL2(Qp) might be studied via analogues of the globally defined space Hom (¯r, H¯ 1(U p)). In particular, one would like to determine whether (an analogue of) this GQ space depends only on the local Galois representationr ¯|Gp . Unfortunately this seems to be too much to ask right now, given how poorly smooth mod p representations are understood.
This work
This thesis studies local-global compatibility for the group GL3(Qpf ). It is customary in the burgeoning literature of the area to use the global set-up of a definite unitary group G defined over a totally imaginary CM field F/F +. This is because the associated arithmetic manifolds are 0-dimensional and hence admit cohomology only in degree 0, which allows for numerous simplifications. On the other hand, one knows how to attach Galois representations to automor- phic representations of G satisfying (classical) local-global compatibility and the Taylor-Wiles patching machinery is well-developed in this context. So these groups form the simplest possible global set-up in which to test local conjectures. We now describe our results. Let F be a number field which is a quadratic extension of a totally real field F + such that p is unramified in F + and each place of F + above p splits in + F . Fix a definite unitary group G defined over F that becomes isomorphic to GL3 over F and choose places w|v of F/F + unramified of degree f over p. We begin with an irreducible automorphic global Galois representationr ¯ : GF → GL3(Fp). Here automorphic means thatr ¯ is the reduction mod p of a p-adic Galois representation attached to an automorphic representation of G. We also assume thatr ¯ satisfies some technical hypotheses needed for the Taylor-Wiles v ∞,v method. Let U ≤ G(AF + ) be a fixed well-chosen compact open subgroup which is in particular unramified at all places of F + inert in F , and consider
H0(U v, ) := lim H0(U U v, ), Fp −→ v Fp Uv Chapter 0. Introduction 5
+ 0 where Uv runs over compact open subgroups of G(Fv ) and H (U, Fp) denotes the 0th coho- 3 + ∞ 0 v mology of the (finite) arithmetic quotient G(F )\G(AF + )/U. By its construction H (U , Fp) + ∼ has a smooth admissible action of G(Fv ) = GL3(Fw) = GL3(Qpf ). There is also a commuting + action of a Hecke algebra T consisting of Hecke operators at all places of F not dividing p that split in F . Let mr¯ denote the maximal ideal of T corresponding tor ¯ via the Satake isomor- phism. Since there is no Galois action on the cohomology group we have chosen, the natural analogue of ther ¯-isotypic subspace that was considered in (0.0.4) above is the mr¯-torsion sub- 0 v space H (U , Fp)[mr¯]. This is a smooth admissible Fp-representation of GL3(Fw), nonzero by the assumption of automorphy. By analogy with the local-global compatibility for GL2(Qp) in (0.0.4) we expect this representation to be a number of copies of Π (¯r| ), where the number p GFw of copies depends only on U v. 0 v In particular, one might optimistically hope that the smooth GL3(Fw)-representation H (U , Fp)[mr¯] depends only on the local Galois representationr ¯| . Unfortunately, this is out of reach at GFw the moment. We are instead concerned with whether the passage fromr ¯| to H0(U v, )[m ] GFw Fp r¯ loses information. Our main result (Theorem 3.5.6 + Theorem 3.6.1) is that it does not. A somewhat vague version of this result is Theorem 0.0.5 below; see Chapter 3 for the precise version. Unfamiliar terminology will be described in the following paragraphs.
Theorem 0.0.5. In the above setting, let r¯| be upper-triangular and maximally nonsplit. GFw Assume that it is Fontaine-Laffaille and sufficiently generic, and has a single modular Serre weight. Then it is possible to recover the data of the local Galois representation r¯| : G → GFw Qpf 0 v GL3(Fp) from the GL3(Qpf )-action on H (U , Fp)[mr¯] via an explicit recipe.
In order to explain the meaning of the hypotheses in the theorem we need some additional background. Let us begin with the concept of a Serre weight of a representationr ¯. If K is any p-adic field, a Serre weight of K is defined to be an (isomorphism class of an) irreducible
Fp-representation of GLn(OK ). All Serre weights factor through GLn(k) where k is the residue field of K, so there are finitely many of them. Going back to the setting of (0.0.3), we see that if the correspondence Πp exists, then associated withρ ¯ there should be the set of Serre weights given by the set of irreducible constituents of the GLn(OK )-socle of Πp(¯ρ) (if Πp(¯ρ) is a family, this socle should be constant throughout). In the global setting described above, the Serre weights ofr ¯| should therefore arise as GFw 0 v the irreducible constituents of the GL3(OFw )-socle of H (U , Fp)[mr¯], so we define the set of modular Serre weights ofr ¯ to be this set and call it W (¯r| ) even though a priori it depends GFw on all ofr ¯ (technically, one should take into account all places above p when defining this set but we ignore this point in the Introduction; see Definition 3.4.2). Conjectures about the modular Serre weights of an automorphic Galois representation have played an important role in the development of the mod p Langlands program, since the GLn(OK )-socle is the most accessible piece of Π (¯ρ). In particular, whenr ¯| is semisimple, [Her09] gave a conjectural p GFw
3Technically we take coefficients in a certain local system V 0, but this is irrelevant for the Introduction. Chapter 0. Introduction 6 set W ?(¯r| ) of regular weights, this time truly depending only onr ¯| , and in fact only GFw GFw on the restriction to inertia, that should coincide with the set of regular weights in W (¯r| ). GFw Here regularity is a genericity condition. Ifr ¯| is sufficiently generic then it is known that GFw all weights occurring in W (¯r| ) are regular ([Enn17]) so this point is not so important for us. GFw We also refer to [GHS] for an overview of various sets of Serre weights that can be attached to a local mod p Galois representation. There has been a great deal of progress on comparing the sets W (¯r| ) and W ?(¯r| ) GFw GFw in the setting of definite unitary groups ([EGH13, LLHL17]) whenr ¯| is semisimple. On GFw the other hand, whenr ¯| is not semisimple, the conjecture of [Her09] does not apply and GFw there isn’t yet a concrete way to predict the set of modular weights. Nevertheless, one expects ? ss W (¯r|G ) ⊆ W (¯r| ) in all cases and that there will be a geometric interpretation of how the Fw GFw weight set behaves ([GHS], Section 6). Moreover, forthcoming work of Le, Le Hung, Levin and Morra [LLHLM] should give the complete picture on the modular Serre weights in the setting considered in this paper. Going back to the statement of Theorem 0.0.5, it is expected that whenr ¯| is semisimple GFw the data ofr ¯| may be read off from its (still conjectural) set of modular Serre weights, that IFw 0 v is, off from the GL3(OFw )-socle of H (U , Fp)[mr¯], and it should be possible to extend this to r¯| by considering the natural action of Hecke operators on this socle. But whenr ¯| is GFw GFw not semisimple, the GL (O )-socle will not contain all of the data ofr ¯| . For example, we 3 Fw GFw assume thatr ¯| is upper-triangular and maximally nonsplit, which is to say GFw
ψ2 ∗ ∗ r¯| ∼ ψ ∗ (0.0.6) GFw 1 ψ0
× 1 for some characters ψi : GFw → Fp where the two off-diagonal Ext classes are nonzero. Then one expects to see the data of the diagonal characters ψ2, ψ1, ψ0 in the GL3(OFw )-socle of 0 v H (U , Fp)[mr¯] with its Hecke action, but this socle cannot contain the data of the extension classes. So the question to answer in Theorem 0.0.5 is how to recover these Ext1 classes from 0 v the GL3(Fw)-action on H (U , Fp)[mr¯]. To do so is then to investigate the structure of the cohomology representation H0(U v, )[m ] (hence Π(¯r| )) beyond its GL (O )-socle. Fp r¯ GFw 3 Fw The remaining hypotheses in Theorem 0.0.5 are there to simplify the question. The strongest of them is the assumption thatr ¯| is Fontaine-Laffaille. This condition is crucial for our GFw method since we use Fontaine-Laffaille theory to normalize the extension classes; see the strategy of proof below. The hypothesis of genericity is a condition on the inertial weights ofr ¯| GFw (Definition 1.1.2) and is critical in the sense that were it absent nearly everything in the proof would go wrong, but not so important in the sense that for a fixed degree of genericity the “proportion” of local mod p Galois representations that are generic approaches 1 as p → ∞. But also note that the assumption of genericity does imply a lower bound on p. Finally, it was first observed (almost, up to a shadow weight, and for f = 1) in [HLM17] that Chapter 0. Introduction 7 most upper-triangular maximally nonsplit Galois representations had a unique modular Serre weight (see Remark 3.5.5). This is confirmed for all f, based on discussions with the authors of the forthcoming [LLHLM], so the final assumption in Theorem 0.0.5 again represents the most generic case. We should add that technically we make a stronger hypothesis in specifying the precise Serre weight that occurs, but in some cases we can prove that this stronger hypothesis is actually equivalent. See Remark 3.5.4.
Strategy of proof
We now briefly explain the explicit recipe in Theorem 0.0.5. The case f = 1 was done by Herzig, Le and Morra in [HLM17], and our strategy follows theirs. The first step is local - using Fontaine- × Laffaille theory we define parameters FLτ ∈ Fp which, along with the diagonal characters in (0.0.6) determine the isomorphism class ofr ¯| (Definition 1.2.14). These Fontaine-Laffaille GFw parameters are indexed by a collection of inertial types τ (principal series types). 0 For each type τ, we define explicit group algebra operators Sτ ,Sτ ∈ Fp[GL3(kw)] and our main result (Theorem 3.5.6) shows (roughly) that there is an equality of injective operators
0 Sτ Π = κτ FLτ Sτ (0.0.7)
0 v × between explicit Iwahori eigenspaces of H (U , Fp)[mr¯] where κτ is an explicit constant in Fp , and Π ∈ GL3(Fw) is a normalizer of the Iwahori subgroup. 0 v The main idea of the proof is to relate the mod p cohomology H (U , Fp)[mr¯] directly to spaces of classical automorphic forms on G in characteristic 0, which is easy since cohomology occurs only in degree 0. It is known how to attach Galois representations to automorphic rep- resentations of G (Theorem 3.3.1) satisfying classical local-global compatibility (0.0.1) linking 0 the local Galois and automorphic representations. We study how lifts of the operators Sτ ,Sτ behave in characteristic 0, where we can relate the local Galois and automorphic sides, and then study how both sides reduce mod p. The automorphic representations which contribute to the Iwahori eigenspaces in question are principal series at w by design, and their Galois representations at w are potentially crystalline lifts ofr ¯| of parallel Hodge type µ = (2, 1, 0) and inertial type τ. Accordingly, the first GFw chapter of the thesis studies potentially crystalline lifts ofr ¯| using p-adic Hodge theory. GFw The main result (Theorem 1.7.1) relates the Fontaine-Laffaille invariants ofr ¯| with certain GFw Frobenius eigenvalues on the weakly admissible modules associated with the lifts. We make use of the recent work of [LLHLM18a] giving explicit descriptions of potentially crystalline deformation rings of Hodge type µ. The subject of Chapter 2 is the local automorphic side. The results in characteristic 0 are easier compared to the Galois side (Section 2.6), but the most technical part of this thesis is to show the injectivity of the operators in (0.0.7). This boils down to a statement about 0 nonvanishing of Sτ and Sτ on certain quotients of principal series representations for the finite Chapter 0. Introduction 8
group GL3(kw). The proof of this result (Theorem 2.3.2) is inspired by [LLHLM18b] - by embedding the principal series into an algebraic representation of Qf−1 GL , we may use j=0 3/Fp Lie theory and known results about the structure of Weyl modules to do explicit computations that show nonvanishing. We remark that one technical improvement in this thesis to previous work consists of using nonsplit algebraic groups, which makes the aforementioned computations feasible. We also spend some time in this chapter generalizing a result of Pillen about restricting algebraic representations to finite subgroups to the nonsplit case (Section 2.2), although we don’t end up needing this. The proof of (0.0.7) in Chapter 3 uses a certain assumption about freeness over a Hecke algebra. We conclude the thesis by showing that this hypothesis is satisfied when U v is well- chosen andr ¯ satisfies some technical conditions using Taylor-Wiles patching and the Diamond- Fujiwara method (Theorem 3.6.1). The proof of this result is a very mild generalization of the analogous result in [HLM17]; in fact it is easier in our case because of the assumption about a single Serre weight. We remark that on both the Galois and automorphic sides, the particular choice of types τ is very important and it is not yet clear why these types work whereas others don’t.
Relation to previous work
As mentioned above, the f = 1 case is due to [HLM17]. They work in a similar setting to us, but without the assumption of a single Serre weight. It would be possible to study the Serre weights ofr ¯| when f > 1 using generalizations of their methods, and in fact we use our GFw group operators to prove a mild result on the Serre weights ofr ¯| in our main result Theorem GFw 3.5.6, but we avoided a more serious investigation because the Serre weights ofr ¯ are the subject of the forthcoming [LLHLM]. Our method follows that of [HLM17], except we use the new technology of [LLHLM18a] on 0 the Galois side, and our technique for dealing with the operators Sτ ,Sτ on the local automorphic side is new. When f = 1, our operators contain those considered in [HLM17] (see Remark 2.3.9). Similar operators also appeared in work of Breuil and Diamond [BD14] for the group
GL2(Qpf ). It may be interesting to note that some of our operators (the ones used to recover the Fontaine-Laffaille invariants corresponding to the 2-dimensional subquotients ofr ¯| ) have GFw a strong affinity with theirs, though the context is different and there is no obvious relation between the two settings. The case of GL ( ) whenr ¯| is wildly ramified with a 2-dimensional irreducible subquo- 3 Qp GFw tient was studied by similar means in [LMP16]. Finally, [HLM17] has recently been generalized in a different direction to GLn(Qp) by Park and Qian in [PQ17], who again use a similar method. Chapter 0. Introduction 9
0.1 Notation and conventions
If L is any field, GL denotes the absolute Galois group Gal(L/L) with respect to a fixed choice of algebraic closure L. If L is a p-adic field then WL ≤ GL denotes the Weil group of L and ∞ IL ≤ WL the inertia group. We write AL for the ring of ad`elesof L and AL for the ring of finite ad`eles.
Throughout the thesis, K0 denotes an unramified p-adic field of residue degree f ≥ 1, and k its residue field. We write q = pf . The symbol E denotes a p-adic field serving as the coefficient
field. It is always assumed to be finite over Qp but large enough to contain the image of all embeddings HomQp (K0, Qp). The residue field of E is called F. Let K = K0(π) be the Galois totally ramified extension of K0 of degree e := q −1 generated e by (any) eth root π of −p. Write E(u) = u + p ∈ K0[u] for the minimal polynomial of π. With × this choice of π there is associated a fundamental character ωK0,π : GK0 → k (of niveau f) sending g to g(π)/π mod p. Its restriction to IK0 does not depend on the choice of π or even of the uniformizer −p, so we denote it by simply ω . It is equal to Art−1| mod p, where K0 K0 IK0 Art : K× → Gab denotes the reciprocity map of local class field theory normalized in such a 0 K0 way that it takes uniformizers to geometric Frobenius automorphisms. 1/p We make a fixed choice of field embedding τ0 : k ,→ F, and define inductively τj+1 = τj . × We then define the character ωj : GK0 → F to be τj ◦ωK0,π. The notation is cyclic, so ωf = ω0. We will generally prefer to use ωf instead of ω0. Note that with this choice of ordering for our field embeddings, we have f−1 Pf−1 j Y aj j=0 af−j p ωj = ωf j=0
Pf−1 j for any integers aj ∈ Z. We will often consider p-adic expansions of the form j=0 af−jp ; the coefficients are always considered to be indexed modulo f. In order to simplify notation, all sums without any explicit limits written go from 0 to f − 1.
We often consider modules M over rings like k⊗Fp F. Recall that since F is sufficiently large, ∼ Qf−1 k ⊗ = as an -algebra. Letting j ∈ k ⊗ denote the idempotent corresponding to Fp F j=0 F F Fp F Qf−1 j j the jth factor, we have M = j=0 M where M = jM is the submodule {m ∈ M | (α⊗β)m = (1⊗τj(α)β ∀α ∈ k, β ∈ F}. It will often be the case that M is equipped with a φ⊗1-semilinear map ϕM : M → M, where φ denotes the absolute Frobenius of k (we also use φ for the induced j j+1 Frobenius of W (k)). We may therefore view ϕM as a collection of F-linear maps M → M . We often do this without comment, including in variants of this situation with rings other than k ⊗Fp F. ¯ p Fix a choice of elements (pn)n≥0 in K obeying pn+1 = pn and p0 = −p. Given this and ¯ e the choice of π already made, there exist unique elements (πn)n≥0 in K such that πn = pn, p πn+1 = πn, and π0 = π. We write (K0)∞ = K0((pn)n≥0) and K∞ = K((πn)n≥0). Observe that restriction defines a canonical isomorphism Gal(K∞/(K0)∞) = Gal(K/K0) =: ∆, via which we × consider ωK0,π as a character Gal(K∞/(K0)∞) → k . Chapter 0. Introduction 10
An inertial type is a representation τ : IK0 → GLn(E) with open kernel that extends to WK0 . A tamely ramified inertial type factors as a sum of fundamental characters ω : I → O×; enf K0 E we say that τ is a principal series type if it is tamely ramified of niveau f, which is to say Ln−1 Ai τ = i=0 ωef for Ai ∈ Z. Equivalently, τ factors through ∆. × The convention on Hodge-Tate weights is that the cyclotomic character : GQp → Qp has Hodge-Tate weight {1}. We write ω for the cyclotomic character mod p. Since K0 is unramified, ∼ we may canonically identify Hom(K0,E) = Hom(k, F). Let HTj denote the set of Hodge-Tate weights of a representation of GK0 with respect to embedding τj. Then our convention means × that a character ψ : GK0 → E is Hodge-Tate with HTj(ψ) = {aj} iff ψ agrees with the aj character Qf−1 τ ◦ Art−1 : I → E× on an open neighbourhood of the identity in I , j=0 j K0 K0 K0 f−1 for aj ∈ Z. We will be interested in representations having Hodge type µ := (2, 1, 0)j=0 . × The notation nrλ stands for the unramified character GK0 → F taking any geometric × Frobenius to λ ∈ F . The symbol δ∗ is the Kronecker delta ∈ {0, 1}. When dealing with the algebraic group GL3 we always identify its Weyl group with S3 the group of permutations of {0, 1, 2} and we embed S3 inside GL3 by identifying ς ∈ S3 with the matrix whose (i, j)-th entry is δi=ς(j). Then we have
−1 ςDiag(d0, d1, d2)ς = Diag(dς−1(0), dς−1(1), dς−1(2)).
We write T3 and B3 for the standard diagonal torus and upper-triangular Borel in GL3, re- ∗ 3 spectively. We identify the character group X (T3) with Z in the usual way and define η = (1, 0, −1). If v is a weight vector in some algebraic representation, we write wt(v) for its weight. If M is a module then soc(M) and rad(M) denote the socle and radical of M, respectively. The socle series of M is defined by setting soci(M) = soc M/ soci−1(M) inductively, where soc1(M) = soc(M). The cosocle of M is cosoc(M) = M/ rad(M). We often draw lattices to indicate the submodule structure of a module. It is understood that these are Alperin diagrams [Alp80] with the socle at the bottom and the cosocle at the top. If J ⊆ {0, . . . , f − 1} we define ∂J “the boundary of J” to be
∂J = {j | (j ∈ J and j + 1 ∈/ J) or (j∈ / J and j + 1 ∈ J)}.
Note that |∂J| is always even. We write J c for the complement {0, . . . , f − 1}\ J. All other notation will be introduced in the body of the thesis. Chapter 1
Integral p-adic Hodge theory
In this chapter we carry out the calculations on the local Galois side. We begin by specifying our assumptions about the local mod p Galois representation, which throughout the chapter is calledρ ¯ rather thanr ¯ , and defining the Fontaine-Laffaille invariants mentioned in the GFw Introduction. This comprises Sections 1.1 and 1.2. The main result of this chapter, Theorem 1.7.1, shows how to recover these invariants as the reduction mod p of Frobenius eigenvalues on the weakly admissible filtered ϕ-module associated to certain well-chosen potentially crystalline lifts ofρ ¯. In order to establish this result we make use of various categories of integral p-adic Hodge theoretic data that describe lattices inside potentially crystalline representations, so as to make the link between characteristic 0 and p. Our argument blends the approach of [HLM17] using strongly divisible modules with the theory developed in [LLHLM18a], using Kisin modules and the notion of shape. Thus we spend some time explaining the relationships between the categories used in the two approaches in Sections 1.3-1.5, starting with an overview of the argument in Section 1.3. The main calculations and results are then concentrated in Sections 1.6 and 1.7.
1.1 The local mod p Galois representation
This section establishes our basic assumptions and notation concerning the local mod p Galois representation.
Letρ ¯ : GK0 → GL3(F) be continuous. We assume that it is maximally nonsplit, meaning that it is uniserial and the graded pieces of its socle filtration are 1-dimensional. Then it may be expressed as
Pf−1 2 j j=0 (af−j +1)p ωf nrµ2 ∗21 ∗ Pf−1(a1 +1)pj ρ¯ ∼ j=0 f−j (1.1.1) ωf nrµ1 ∗10 Pf−1 0 j j=0 (af−j +1)p ωf nrµ0
11 Chapter 1. Integral p-adic Hodge theory 12
i × where aj ∈ Z, µi ∈ F , and the extension classes ∗21 and ∗10 are nonzero. An essential assumption that will be made throughout this thesis is thatρ ¯ is Fontaine-Laffaille and δ-generic:
Definition 1.1.2. Let δ ≥ 0 be an integer. Letρ ¯ : GK0 → GL3(F) be a continuous maximally nonsplit representation as in (1.1.1). We say thatρ ¯ satisfies (FLδ), or alternativelyρ ¯ ∈ (FLδ), i if we can choose the aj so that
2 1 1 0 2 0 aj − aj , aj − aj , aj − aj ∈ [δ, p − 1 − δ] (1.1.3) for each 0 ≤ j ≤ f − 1.
Definition 1.1.4. Letρ ¯ ∈ (FLδ) where δ ≥ 1. For a presentation ofρ ¯ as in Definition 1.1.2, Pf−1 0 j 0 −A00 we define A00 = j=0 (af−j − 1)p and setρ ¯ :=ρ ¯ ⊗ ωf . This depends only onρ ¯.
0 Remark 1.1.5. The notation is chosen becauseρ ¯ ∈ (FLδ) guarantees thatρ ¯ is in the essential image of the Fontaine-Laffaille functor if δ ≥ 3. See Proposition 1.2.7 below.
1.2 Fontaine-Laffaille modules and invariants
In this section we first recall relevant facts about certain categories of Fontaine-Laffaille modules and their relations with Galois representations. Then we define the Fontaine-Laffaille invariants of a Galois representationρ ¯ ∈ (FL3).
[0,p−2] Definition 1.2.1. The category FLfr (OE) consists of finite free W (k) ⊗Zp OE-modules M having the following structures:
i • a decreasing filtration Fil (M) by W (k)⊗Zp OE-submodules, each a W (k)-direct summand of M, such that Fil0(M) = M and Filp−1(M) = 0;
i • φ-semilinear and OE-linear Frobenius maps ϕi : Fil (M) → M obeying ϕi|Fili+1(M) = Pp−2 i pϕi+1 and i=0 ϕi(Fil (M)) = M. [0,p−2] Morphisms in FLfr (OE) are defined to be W (k) ⊗Zp OE-linear maps compatible with the filtrations and Frobenii. [0,p−2] The category FL (F) consists of finite free k ⊗Fp F-modules M having the analogous structures: a filtration Fili(M) obeying Fil0(M) = M and Filp−1(M) = 0 and Frobenius maps i Pp−2 i ϕi : Fil (M) → M obeying ϕi|Fili+1(M) = 0 and M = i=0 ϕi(Fil (M)). [0,p−2] [0,p−2] There is an obvious functor − ⊗ F : FLfr (OE) → FL (F). There are functors from these categories of Fontaine-Laffaille modules to categories of Galois representations making use of a period ring Acris, which is a W (k¯)-algebra admitting a decreas- 0 1 ing filtration by ideals Acris = Fil (Acris) ⊇ Fil (Acris) ⊇ · · · , a φW (k¯)-semilinear ring endomor- i phism ϕ, and a continuous GK0 -action preserving Fil (Acris) and commuting with ϕ. For 0 ≤ i i i i i ≤ p − 2 we have ϕ(Fil (Acris)) ⊆ p Acris so we may define ϕi = ϕ/p : Fil (Acris) → Acris. See Chapter 1. Integral p-adic Hodge theory 13
∗ [0,p−2] [Hat18] for more details. We define contravariant functors T : FL (OE) → Rep (OE), cris fr GK0 where the latter denotes the category of finite free OE-modules with continuous GK0 -action, by
∗ • Tcris(M) = HomW (k),ϕ•,Fil (M,Acris) and T ∗ : FL[0,p−2]( ) → Rep ( ) by cris F GK0 F
∗ • Tcris(M) = HomW (k),ϕ•,Fil (M,Acris/p).
[0,p−2] [0,p−2] Qf−1 j An object M in FLfr (OE) or FL (F) decomposes as a product M = j=0 M , where j j M = εjM as explained in the Notation section. Each M inherits a filtration by OE- submodules or F-submodules and we define the set of Fontaine-Laffaille weights of M with i j respect to j to be the multiset of integers FLj(M) = {i : gr (M ) 6= 0} where i is counted with i j i j multiplicity equal to rkOE gr (M ) or dimF gr (M ), respectively. We remark that in the case i j of OE-coefficients, it is not hard to see from the definitions that gr M is finite free over OE, so this definition makes sense. Moreover, clearly FLj(M) = FLj(M ⊗ F). We say that M is of regular weight if FLj(M) is multiplicity-free for each j.
[0,p−2] [0,p−2] Proposition 1.2.2. 1. The categories FLfr (OE) and FL (F) are abelian. The func- ∗ [0,p−2] ∗ tors Tcris are exact and fully faithful and for M ∈ FLfr (OE) we have Tcris(M ⊗ F) = T ∗ (M)⊗ . Moreover, the functors T ∗ preserve rank in the sense that rk M = cris F cris W (k)⊗Zp OE rk T ∗ (M) for M ∈ FL[0,p−2](O ) and rk M = dim T ∗ (M) for M ∈ FL[0,p−2]( ). OE cris fr E k⊗Fp F F cris F
∗ [0,p−2] 2. Tcris defines an anti-equivalence of categories between FLfr (OE) and the category
of GK0 -stable OE-lattices inside crystalline E-representations of GK0 whose Hodge-Tate weights are all in [0, p − 2]. If M corresponds to a lattice in the crystalline representation
ρ, then for τ : K0 → E,
HTτ (ρ) = FLτ (M).
3. The essential image of T ∗ : FL[0,p−2]( ) → Rep ( ) is closed under taking subquo- cris F GK0 F tients.
[0,p−2] a j 4. If each aj ∈ [0, p − 2] let M ∈ FL (F) denote a rank 1 object such that gr j (M ) 6= 0. P a pj Then T ∗ (M)| = ω j f−j . cris IK0 f
Proof. These facts are well-known but aren’t easily available in the form stated above in the literature. For a source that treats OE- and F-coefficients as we do in slightly more generality, see Section 2.2 of [GL14] and the references therein. The first three claims above may be deduced by following the proof of Theorem 2.2.1 of loc. cit.. We remark that the concurrence of Hodge-Tate weights with Fontaine-Laffaille weights uses our chosen normalization HT() = +1; otherwise they would differ by a minus sign. For the fourth claim, see for example [FL82], Section 5. Chapter 1. Integral p-adic Hodge theory 14
We make some general definitions concerning the representation of ϕ• via matrices.
[0,p−2] Definition 1.2.3. Let M be an object of FL (F) of rank n. A basis e of M is equivalent j j j j to a choice of F-basis e = (e0, . . . , en−1) = εje for each M . We say that e is adapted to the filtration if for each 0 ≤ j ≤ f − 1 we have
k j X j Fil (M ) = Fei i≥ik for some integers 0 ≤ i0 ≤ · · · ≤ ip−2 ≤ n − 1.
Lemma 1.2.4. There always exists a basis adapted to the filtration. If M is of regular weight then an adapted basis e is unique up to a transformation of the form ej 7→ ejLj where Lj ∈
Bn(F) is lower-triangular. Proof. This is clear.
Definition 1.2.5. Let e be a basis adapted to the filtration and assume M is of regular weight. We define [ϕ ]j to be the matrix such that ϕ (ej ) = ej+1 · [ϕ ]j for k such that grk(M j) 6= 0. M e k ik M e j j Then [ϕM ]e ∈ GLn(F) and for L ∈ Bn(F) we have
j j+1−1 j j [ϕM ]eL = L · [ϕM ]e · π(L ) (1.2.6)
where π : Bn(F) → Tn(F) is the natural projection.
[0,p−2] If M is of regular weight then the isomorphism class of M ∈ FL (F) is completely j determined by the sets FLj(M) and matrices [ϕM ]e for 0 ≤ j ≤ f − 1.
1.2.1 Fontaine-Laffaille invariants
We now use the results of the previous section to define invariants forρ ¯ ∈ (FL3).
j Proposition 1.2.7. Assume that ρ¯ ∈ (FL3) and define ai as in (1.1.1). Up to isomorphism [0,p−2] ∗ ∼ 0 0 0 0 0 there exists a unique object M of FL (F) such that Tcris(M) = ρ¯ . Let 0 =ρ ¯3 ⊂ ρ¯2 ⊂ ρ¯1 ⊂ ρ¯ denote the socle filtration of ρ¯0. Then M has a unique filtration by subobjects
0 ⊂ M0 ⊂ M1 ⊂ M2 = M
∗ ∼ 0 0 1 such that Tcris(Mi) = ρ¯ /ρ¯i+1 for 0 ≤ i ≤ 2 and the corresponding elements of Ext (M1/M0,M0) 1 and Ext (M2/M1,M1,M0) are nonzero.
0 0 Proof. Becauseρ ¯ ∈ (FL3) the hypotheses of [GG12] Lemma 3.1.5 are satisfied forρ ¯ . Henceρ ¯ 2 0 1 0 has an ordinary crystalline lift with Hodge-Tate weights HTj = {aj − aj + 2, aj − aj + 2, 2}. 2 0 As aj − aj + 2 ≤ p − 2 it follows from Proposition 1.2.2(2) that this lift is in the essential image ∗ 0 of Tcris and by (1) thatρ ¯ is too. The other statements now follow from full faithfulness and ∗ exactness of Tcris and the fact thatρ ¯ is nonsplit. Chapter 1. Integral p-adic Hodge theory 15
j Corollary 1.2.8. There exists a basis e adapted to the filtration on M such that each [ϕM ]e is upper-triangular. This basis is unique up to a transformation of the form ej 7→ ejDj where j D ∈ T3(F). We have αj xj yj j [ϕM ]e = βj zj (1.2.9) γj
× where αj, βj, γj ∈ F and xj, yj, zj ∈ F, and there exist j0 and j1 such that xj0 6= 0 and zj1 6= 0.
Proof. Continue with notation as in Proposition 1.2.7. We in particular have FLj(Mi) = Pf−1 ai pj i 0 ∗ ∼ j=0 f−j {2, . . . , aj − aj + 2} and Tcris(Mi/Mi−1) = ωf nrµi for 0 ≤ i ≤ 2. Define e by letting i 0 j j j j j aj −aj +2 j e = (e0, e1, e2) where ei is a basis of the 1-dimensional space Fil (Mi ). Then e is a basis k k j j j of M adapted to the filtration since Fil (M)∩Mi = Fil (Mi), and we have Mi = Fe0 +···+Fei j so clearly [ϕM ]e is upper-triangular. That it has the form in (1.2.9) follows from Proposition 1.2.2(4) and nonsplitness. Conversely any basis f of M adapted to the filtration whose Frobenius matrices are upper triangular defines a filtration by subobjects 0 ⊂ N0 ⊂ N1 ⊂ N2 = M. There is a unique such j j j j filtration, so f = e B for B ∈ B3(F) . On the other hand, f and e are both adapted to the j j j j j j filtration so by Lemma 1.2.4 f = e L for L ∈ B3(F). Hence B = L is diagonal.
Remark 1.2.10. The reason we have normalizedρ ¯0 so that its Fontaine-Laffaille weights start at 2 rather than 0 is for technical reasons which become clear in (1.6.9) below.
Definition 1.2.11. We refer to a basis of M as in Corollary 1.2.8 as a framed basis.
We use framed bases to define our Fontaine-Laffaille invariants forρ ¯. However, for our × invariants to be well-defined elements of F , we require some extra hypotheses.
Definition 1.2.12. Suppose thatρ ¯ satisfies (FLδ) with δ ≥ 3, and pick a framed basis e of M ∗ so (1.2.9) holds. We say thatρ ¯ satisfies (FLδ) if
xj, zj 6= 0
∗∗ for each 0 ≤ j ≤ f − 1. We say thatρ ¯ satisfies (FLδ ) if
xj, zj, yj, yjβj − xjzj 6= 0 for each 0 ≤ j ≤ f − 1.
Remark 1.2.13. 1. It is easy to see using 1.2.6 that these conditions do not depend on the choice of the framed basis e.
∗∗ 2. It is clear that most representationsρ ¯ satisfying (FLδ) will satisfy (FLδ ), so making this assumption is not very restrictive. Chapter 1. Integral p-adic Hodge theory 16
∗∗ 3. In our global argument in Chapter 3, we will show that whenρ ¯ ∈ (FLδ) with δ ≥ 15, (FLδ ) is a consequence of the more basic Assumption (SW) that the global Galois representation has a unique Serre weight. See Definition 3.5.3, Theorem 3.5.6 and Remark 3.5.5 for the precise statements and discussion.
∗∗ Definition 1.2.14. Assume thatρ ¯ ∈ (FLδ ) and pick a framed basis of M as in (1.2.9). Let S ⊆ {0, . . . , f − 1} be any subset. We define quantities
Y Y Y −1 Y XS = αj · βj · xj · xj j∈S j+1∈/S j∈S,j+1∈/S j∈ /S,j+1∈S Y Y Y −1 Y ZS = βj · γj · zj · zj j∈S j+1∈/S j∈S,j+1∈/S j∈ /S,j+1∈S Y Y yjβj − xjzj YS = βj · yj j∈ /S j∈S
× lying in F . It is not hard to show using the uniqueness in Corollary 1.2.8 that XS,ZS,YS do not depend on the choice of framed basis e for any S. We call them the Fontaine-Laffaille invariants of ρ¯.
j Together with the set of inertial exponents ai ofρ ¯, these invariants (over)determine the isomorphism class ofρ ¯. However, we will only be able to recover some of them. The next lemma shows that they are still enough to determineρ ¯.
Lemma 1.2.15. The isomorphism class of ρ¯ is determined uniquely by the inertial exponents j 0≤j≤f−1 (ai )0≤i≤2 together with the collection of invariants XT ,ZT for any T ⊆ {0, . . . , f − 1} and YS where S is of the form
S = {j | (j ∈ ∂J and j + 1 ∈/ K) or (j∈ / ∂J and j + 1 ∈ K)} for some J, K ⊆ {0, . . . , f − 1} obeying J ⊆ K with K 6= ∅.
Proof. By making a diagonal change of basis we may assume that αj, βj, γj = 1 for 0 ≤ j ≤ f −2 and x0 = z0 = 1. Then X{0,...,f−1} = αf−1, Z{0,...,f−1} = βf−1 and Z∅ = γf−1. For 1 ≤ k ≤ f −2 −1 −1 we have X{1,...,k} = βf−1xk and X{1,...,f−1} = αf−1βf−1xf−1. From this and a similar argument using Z{1,...,k} we see that we may recover all αj, βj, γj, xj, zj from the invariants XT and ZT . It follows that knowing the Y is equivalent to knowing all products Q yj βj −xj zj . If we take S j∈S yj J = K = {j0} then S = {j0} (consider f = 1 and f ≥ 2 separately). So we can recover each individual yj βj −xj zj , and hence each y . Finally, we have already remarked earlier that the aj yj j i as well as the αj, βj, γj, xj, yj, zj constitute all the data of M and hence ofρ ¯. Chapter 1. Integral p-adic Hodge theory 17
1.3 Summary of categories used
Our calculations make use of a number of categories of p-adic Hodge theoretic data. Figure 1.3.1 below depicts these categories and their interrelations.
µ,τ −1 −⊗F µ,τ −1 Y (OE) / Y ( ) _ _ F incl incl [0,r],dd Θh [0,r],dd −⊗F [0,r],dd S.D.Mod (OE)0 o ∼ Y (OE) / Y (F) V ^
´et −⊗F ´et ϕModK0 (OE) / ϕModK0 (F) ` M V ∗ o V ∗ o
(−)0 −⊗F RepG (OE) / RepG ( ) (K0)∞ (K0)∞ F F O O res res
K-sst −⊗E K-sst −⊗F [0,p−2] Rep (E)o Rep (OE) / RepG ( ) o FL ( ) GK0 GK0 K0 F T ∗ F O O O cris ∗ ∗ ∗ Tst Tst Tst
dd S0 [0,r],dd S [0,r],dd Mod(ϕ, N) (E) o S.D.Mod (OE) / BrMod (F) Figure 1.3.1: Categories of p-adic Hodge theoretic data and functors between them. Hooked arrows denotes fully faithful functors and tildes denote (anti)equivalences of categories. The diagram is organized so that the ring of coefficients changes from E to OE to F as one moves from left to right, and so the bottom two rows relate to representations of GK0 and the top four rows relate to representations of G(K0)∞ . All descent data (dd) is from K to K0.
We explain a few of these categories now: RepG ( ) (resp. RepG ( )) means contin- K0 F (K0)∞ F K-sst uous representations of GK0 (resp. G(K ) ) on finite-dimensional -vector spaces, Rep (E) 0 ∞ F GK0 denotes continuous representations of GK0 on finite dimensional E-vector spaces becoming K-sst semistable when restricted to GK , and Rep (OE) is the category of GK0 -stable OE lattices GK0 inside them. Finally RepG (OE) is the category of continuous representations of G(K ) (K0)∞ 0 ∞ on finite free OE-modules. The remaining categories and functors will be defined in Sections 1.4 and 1.5. We give a brief overview of the argument that establishes the main result Theorem 1.7.1. The goal is to relate data (Frobenius eigenvalues) in the weakly admissible module in Mod(ϕ, N)dd(E) associated with a potentially crystalline lift ρ ofρ ¯ becoming crystalline over K and having Hodge f−1 type µ = (2, 1, 0)j=0 and (a certain) inertial type τ. This lift corresponds to a strongly divisible module M ∈ S.D.Mod[0,2],dd. It follows from Theorem 1.5.13 that the corresponding object M [0,2],dd µ,τ −1 in Y (OE) lies in the subcategory Y (OE). Equivalence classes of Kisin modules in µ,τ −1 Y (F) are classified in [LLHLM18a] by their shape. Accordingly we need to compute the shape of M ⊗ F. This is achieved in Section 1.6 using the Breuil module S(M) and the functor Chapter 1. Integral p-adic Hodge theory 18
M. Once the shape of M ⊗ F is known, there is also a canonical form of M determined in [LLHLM18a]. Using this, the desired result is obtained by tracing through the diagram back dd [0,p−2] to Mod(ϕ, N) (E) as well as in the other direction to FL (F) using the functor F. We remark that in many cases we actually use variants of the functors in Figure 1.3.1 having the opposite covariance, in order to most easily use existing results.
1.4 Lattices inside potentially semistable GK0 -representations
In this section we recall three categories that describe potentially semistable representations of GK0 , the integral lattices in these representations, and their reductions mod p respectively. These are the categories of weakly admissible filtered isocrystals with monodromy, of strongly divisible modules, and of Breuil modules, all with descent data and coefficients. Much of this material is taken from [EGH13], to which we refer the reader for more details.
1.4.1 Filtered isocrystals with monodromy and descent data
0 Let L be a finite extension of Qp with maximal unramified subextension L0. Let L be a 0 subextension of L/Qp such that L/L is Galois. Definition 1.4.1. A filtered isocrystal with monodromy, descent data from L to L0, and E- 0 coefficients, alternatively referred to as a filtered (ϕ, N, L/L ,E)-module, is a finite free L0 ⊗Qp E-module D together with
• a φ ⊗ 1-semilinear bijection ϕD : D → D;
• a nilpotent L0 ⊗Qp E-linear endomorphism N obeying Nϕ = pϕN;
i • an exhausted and separated decreasing filtration (Fil DL)i∈Z on DL by L⊗Qp E-submodules;
0 • a L0-semilinear and E-linear action of Gal(L/L ) commuting with ϕ and N and preserving
the filtration on DL. We denote this category by Mod(ϕ, N, L/L0,E). An object D is called weakly admissible if the underlying (ϕ, N, L/L, Qp)-module is weakly admissible. The corresponding abelian category of weakly admissible objects is denoted Modw.a.(ϕ, N, L/L0,E).
L-sst Let Rep (E) denote the category of continuous E-representations of G 0 that become GL0 L semistable upon restriction to GL. We refer the reader to Section 3.1 of [EGH13] for details about the antiequivalence of abelian tensor categories RepL−st(E) −→∼ Modw.a.(ϕ, N, L/L0,E) GL0 defined by 0 D∗,L (ρ) = Hom (ρ, B ) st GL0 st ∗,L0 and its inverse functor Tst . For an integer r we also define a covariant version of this equiva- lence by L0,r ∗,L0 ∨ r ∼ ∗,L0 ∨ Dst (ρ) = Dst (ρ ⊗ ) = Dst (ρ) (r) (1.4.2) Chapter 1. Integral p-adic Hodge theory 19
Here we are referring to the duality D 7→ D∨ and Tate twist D 7→ D(r) on the category 0 ∨ Mod(ϕ, N, L/L ,E), which are defined as follows. We set D = HomL0 (D,L0) with Frobenius −1 ∨ ϕD (f) = FrobL0 ◦f ◦ ϕD , the natural induced monodromy and filtration, and Galois action g · f = g ◦ f ◦ g−1 for g ∈ Gal(L/L0), f ∈ D∨. The Tate twist D(r) is just D with the same r i i−r monodromy operator and Galois action but ϕD(r) = p ϕD and Fil (D(r)L) = Fil (DL). For all this and the isomorphism in (1.4.2), see for example Section 8.3 of [BC]1. Remark 1.4.3. Here and throughout this section, we use the notation of [HLM17] rather than ∗,L0 L0 that of [EGH13]. For example, the functor Dst above is denoted Dst in [EGH13]. The same ∗ is true of the functors Tst used below. 0 0 We will only be interested in the niveau 1 tamely ramified case L = K, L = K0, Gal(L/L ) = ∆. In this case, since ϕj : Dj → Dj+1 is an E[∆]-linear isomorphism, there exists a principal Ln−1 Ai j j j j j series type τ = i=0 ωef such that D has an E-basis e = (e0, . . . , en−1) with ∆ acting on ei Ai by ωef . Definition 1.4.4. In the above situation we say that D is of type τ and that e is a framed basis. Given a choice of framed basis e (and its concomitant implicit ordering of τ) we define j j j+1 j Mate(ϕ) ∈ GLn(E) to be the matrix such that ϕ(e ) = e · Mate(ϕ) .
Lemma 1.4.5. If D has a framed basis e of type τ then D∨(r) has a framed basis e∨ of type τ −1 such that j r t −1 Mate∨ (ϕD∨ ) = p · Mate(ϕD) .
Proof. This follows easily from the description of the dual and Tate twist above.
1.4.2 Strongly divisible modules
Let L and L0 be as in the previous subsection and assume from now on that L/L0 is tamely ramified with ramification index e(L/L0). Let e denote the absolute ramification index of L and write ` for the residue field of L. Choose a uniformizer π of L such that πe(L/L0) ∈ L0 (which can be done since the ramification is tame) and let E(u) ∈ L0[u] denote its minimal polynomial. 0 For g ∈ Gal(L/L ) write g(π) = hgπ where hg ∈ W (`). We define the Breuil ring S as in ie Section 3.1 of [EGH13]. It is the p-adic completion of W (`)[u, u /i!]i≥1, or more concretely the
W (`)-subalgebra of L0[[u]] given by
( ∞ ie ) X u S = wi wi → 0 in W (`) . i! i=0
It is W (`)-flat and we can give it the following structures: the unique continuous φ-semilinear p ie ipe map ϕS taking u to u and u /i! to u /i!, a W (`)-linear monodromy map NS which for us will i be irrelevant, and a decreasing filtration by ideals (depending on the choice of π) {Fil (S)}i≥0
1Note the definition of the Tate twist given in Definition 8.3.1 is backwards if we want it to commute with contravariant functors as stated there. Chapter 1. Integral p-adic Hodge theory 20 where Fili(S) is defined to be the closure of the ideal generated by E(u)j/j! for all j ≥ i (it is easy to check that E(u)j/j! does in fact lie in S). If i ≤ p − 1 then ϕ(Fili(S)) ⊆ piS and we i i i × write ϕi for ϕ/p : Fil (S) → S. For 0 ≤ i ≤ p − 2 we define ci = ϕr(E(u) ) ∈ S . It is easy to 0 check that ci ≡ 1 mod p. There is an action of Gal(L/L ) by continuous ring automorphisms ui i ui gˆ defined byg ˆ(w bi/ec! ) = g(w)hg bi/ec! for any i ≥ 0 and w ∈ W (`). It is helpful to observe that 1 p S is not noetherian but it is local, with maximal ideal mS = (p, Fil (S)) = (p, u, Fil (S)) and residue field `. We will also use that S/ Filp(S) is p-torsion free below. i 0 We write SOE for S ⊗Zp OE. The data of ϕ, ϕi,N, Fil and the action of Gal(L/L ) all extend OE-linearly to this ring.
[0,r],dd Definition 1.4.6. Fix an integer 0 ≤ h ≤ p − 2. The category S.D.Mod (OE) of strongly 0 divisible modules of height ≤ r with OE-coefficients and descent data from L to L is defined on page 13 of [EGH13]. In particular an object M is a finite free SOE -module together with a submodule Mr, a SOE -semilinear Frobenius map ϕ : M → M, an SOE -linear monodromy map N : M → M, and a semilinear action of Gal(L/L0) that commutes with ϕ and N and preserves
Mr. Moreover, M must obey
r • Mr ⊇ (Fil (S))M;
• Mr ∩ jM = jMr for each ideal j ≤ OE;
r • ϕ(Mr) is contained in p M and generates it over SOE ;
• axioms involving N, which for us are irrelevant.
[0,r],dd The category S.D.Mod (OE)0 of quasi-strongly divisible modules of height ≤ r with OE- coefficients and descent data from L to L0 is defined as above but we forget all data involving the monodromy operator N (thus the axioms above constitute its complete definition). We write M 7→ M0 for the natural forgetful functor. r If M is a (quasi-)strongly divisible module, we write ϕr for ϕ/p : Mr → M.
There is a covariant functor T ∗ :S.D.Mod[0,r],dd(O ) → Rep (O ) defined as T ∗ (M) = st E GL0 E st ˆ ˆ HomS,(−)r,ϕ,N (M, Ast) for a certain period ring Ast defined in [EGH13] and [Bre99]. This [0,r],dd functor induces an equivalence of categories between S.D.Mod (OE) and the category of
GL0 -stable OE-lattices inside potentially semistable E-representations of GL0 which become semistable when restricted to GL and have Hodge-Tate weights in [0, r] (Proposition 3.1.4, L0,r ∗,L0 ∨ r [EGH13]). We will use the contravariant version Tst (M) := Tst (M) ⊗ , which clearly has the same property. 0 We now specialize to our tamely ramified niveau 1 case L = K, L = K0, π = −p. There is Q j j ie ∧ j an O -algebra decomposition S = S where S = εjS = O [u, u /i!] , so ϕ : S → E OE j E i≥1 SOE j+1 uie uipe j S is the OE-linear map taking bi/ec! to bi/ec! . Each S is a local OE-algebra, with maximal 1 j ideal mSj = ($E, Fil (S )) and residue field F. Accordingly given a (quasi-)strongly divisible Q j Q j j j+1 module M we write M = j M , Mr = j Mr and ϕr : Mr → Mr . Chapter 1. Integral p-adic Hodge theory 21
Ln−1 Ai Definition 1.4.7. Let τ = i=0 ωef be a principal series type. We say that a (quasi-)strongly divisible module M is of type τ if it is of rank n and there exist Sj-bases ej of Mj such that ∆ j Ai acts on ei via ωef for 0 ≤ i ≤ n − 1 and 0 ≤ j ≤ f − 1. We refer to any basis with this property as a framed basis of M.
Ln−1 Ai Lemma 1.4.8. Let τ = i=0 ωef be a principal series type and let M be a (quasi-)strongly divisible module. The following are equivalent:
1. M has type τ;
j ∼ 2. M /mSj = τ¯ as an F[∆]-module for each 0 ≤ j ≤ f − 1;
j j j j 3. for each 0 ≤ j ≤ f − 1 there exists a tuple f = (f0 , . . . , fn−1) of elements of Mr which j p j j j j Ai generate Mr/(Fil (S ))M over S such that ∆ acts on fi by ωef .
j j p j j Proof. It is obvious that (1) implies (2), so assume that (2) holds. Set N = Mr/(Fil (S ))M . j p j This is a submodule of M / Fil (S ), hence is free over OE. By the second axiom in Def- ep j j p j inition 1.4.6, we have an inclusion of F[u]/(u )-modules N /p ,→ M /(p, Fil (S )). Since uerMj/(p, Filp(Sj)) ⊆ Nj/p, Lemme 2.2.1.1 (which is stated for e = 1 but generalizes easily) of [Bre98] applies and we obtain
j j j+1 dimF N /(p, u) = dimF M /mSj = dimF M /mSj+1 .
But ϕr induces an F[∆]-linear surjection
j j+1 N /(p, u) M /mSj+1 , (1.4.9)
j which must therefore be an isomorphism. Now N /u is a free OE[∆]-module whose reduction mod p isτ ¯ for each 0 ≤ j ≤ f − 1. It follows immediately that Nj/u = τ. Moreover, as uNj is j an OE[∆]-submodule of N such that the corresponding quotient is free over OE, and p - |∆|, it j j follows that uN has an OE[∆]-complement in N . Finally by Nakayama’s lemma we see that there exists a generating set of Nj of the desired form. Applying the complement argument again, we deduce the existence of a set f j as in (3). Finally, assume (3). We run the argument above backwards: from the isomorphism (1.4.9) j j p j we get M /mSj =τ ¯ for each 0 ≤ j ≤ f − 1, hence M /(u, Fil (S )) = τ. Now apply the same argument about a complement and Nakayama’s lemma to see that Mj has a generating set ej j Ai j j such that ∆ acts on ei by ωef . As M is free it follows that e is a basis as in (1).
The next corollary to the proof will be used later.
j j j Lemma 1.4.10. Let M be a strongly divisible module of rank n. A tuple f = (f0 , . . . , fn−1) ⊂ j j p j j j j+1 j+1 Mr generates Mr/(Fil (S ))M iff ϕr(f ) is an S -basis of M . Chapter 1. Integral p-adic Hodge theory 22
Proof. We use the notation of the proof of the previous lemma. By Nakayama’s lemma the j j+1 j+1 j j isomorphism (1.4.9) shows that ϕr(f ) is an S -basis of M iff f is an F-basis of N /(p, u). But by Nakayama’s lemma again this is equivalent to being a generating set of Nj.
[0,h],dd Definition 1.4.11. Let M be an object of S.D.Mod (OE)0 of type τ. Let e be a framed K/K0 basis. Then there exists a tuple f as in Lemma 1.4.8(3). We refer to any such tuple as a framed j p j j system of generators of Mr/(Fil (S ))M . We also refer to the pair (e, f) as simply a framed j j system of generators of M. We define Mate,f (Mr) to be the matrix in Matn(S ) such that
j j j f = e · Mate,f (Mr)
j j+1 and Mate,f (ϕr) to be the matrix in GLn(S ) such that
j j+1 j ϕr(f ) = e · Mate,f (ϕr) .
j j Remark 1.4.12. In fact, we always have Mate,f (Mr) ∈ GLn(S [1/p]). To see this, note that by definition we have
j+1 j j j e · Mate,f (ϕr) = ϕr(e · Mate,f (Mr) ) j r j = ϕ(e ) · p ϕ Mat (Mr) SOE e,f
j j+1 j j j+1 j Writing ϕ(e ) = e B for some B ∈ Matn(S ) we deduce that ϕ Mat (Mr) ∈ SOE e,f j+1 j GLn(S ). The claim now follows from the fact that S is local. We now explain the relationship between strongly divisible modules and filtered isocrystals.
Let s0 : S[1/p] → K0 denote the Galois and Frobenius equivariant map taking u 7→ 0. Following [EGH13] we define a functor
[0,r],dd w.a. S0 :S.D.Mod (OE) → Mod (ϕ, N, K/K0,E)
by setting S0(M) = D where D = M[1/p] ⊗S[1/p],s0 K0 with ϕD and the Gal(K/K0)-action defined as the semilinear extensions of the corresponding structures on M, ND defined as the linear extension of NM, and the filtration on DK defined via the recipe in the proof of Proposition 3.1.4 of [EGH13]. See loc. cit. for more details. It is also shown in the proof in ∗ ∗ question that Tst(M) is naturally a GK0 -stable OE-lattice in Tst(D). Hence we have a natural isomorphism of functors ∗ ∼ ∗ Tst(S0(M)) = Tst(M) ⊗OE E. (1.4.13)
Lemma 1.4.14. Suppose that ρ is a GK0 -stable OE-lattice inside a potentially semistable repre- sentation of GK0 having Hodge-Tate weights inside [0, r] that becomes semistable when restricted −1 ∗ to GK . Let M be a strongly divisible module of type τ such that Tst(M) = ρ and let (e, f) be K0,r 0 a framed system of generators of M. Then Dst (ρ) is of type τ and has a framed basis e such Chapter 1. Integral p-adic Hodge theory 23 that −1 j j j Mate0 (ϕ) = s0 Mate,f (ϕr) · s0 Mate,f (Mr) (1.4.15)
Proof. Let D = S0(M) and let e0 = e ⊗ 1 ∈ D. Then e0 is clearly a basis of D, which we see is −1 j j of type τ by the definition of the Galois action on D. The equation ϕr e Mate,f (Mr) ) = j+1 j j j j+1 r j e · Mate,f (ϕr) becomes ϕD(e1) · s0 Mate,f (Mr) = e1 p Mate,f (ϕr) in D. By Remark 1.4.12, this implies that
−1 j r t j t M j Mate1 (ϕ) = p · s0 Mate,f (ϕr) · s0 Mate,f ( r) .
K0,r ∼ ∨ Note that Dst (ρ) = D (r) by (1.4.13). The result now follows from Lemma 1.4.5 by taking 0 ∨ e to be the basis of D (r) obtained from e1 there.
1.4.3 Breuil modules
Let L, π and L0 be as at the beginning of Section 1.4.2. In this section we recall aspects of the theory of Breuil modules, which are (in some sense) the reductions mod p of the strongly divisible modules in the previous section, and are used to describe the mod p reductions of stable lattices inside potentially semistable Galois representations. The relevant mod p version of the Breuil ring is S := S/(p, Filp(S)) = `[u]/(uep), having 0 the Frobenius ϕS, monodromy, filtration and Gal(L/L )-action induced from S. We also write
SF = S ⊗Fp F, with all structures extended F-linearly.
[0,r],dd Definition 1.4.16. Let 0 ≤ r ≤ p−2. The category BrMod (F) of Breuil modules of height 0 ≤ r with F-coefficients and descent data from L to L is defined on pages 17-18 of [EGH13]. In particular an object is a finite free S -module M with a submodule Mr, a ϕ -semilinear F SF map ϕr : Mr → M, a SF-linear monodromy map N : M → M, and a SF-semilinear action of 0 Gal(L/L ) that commutes with ϕr and N and preserves Mr. Moreover, the following axioms must hold:
er • Mr ⊇ u M;
• the image of ϕr generates M over SF;
• other conditions on N, which we don’t need.
[0,r],dd p If M is in S.D.Mod (OE) then M := M/($E, Fil (SOE )) has a natural structure of an [0,r],dd object of BrMod (F) by defining Mr to be the image of Mr and giving it the naturally induced monodromy and Galois action. By the second axiom in Definition 1.4.6, ϕr : Mr → M [0,r],dd induces a well-defined map (ϕr)M : Mr → M. This defines a functor S :S.D.Mod (OE) → [0,r],dd BrMod (F). ∗ [0,r],dd 0 In [EGH13], Section 3.2 there is defined a functor Tst : BrMod (F) → RepF(GL ) by ∗ ˆ Tst(M) = HomBrMod(M, A) for the period ring Ab = Abst ⊗S S. Lemma 3.2.2 op. cit. shows that Chapter 1. Integral p-adic Hodge theory 24
Tst is faithful, rank-preserving and compatible with strongly divisible modules in the sense that [0,r],dd for any M in S.D.Mod (OE) we have a natural isomorphism
∗ ∼ ∗ Tst(S(M)) = Tst(M) ⊗OE F. (1.4.17)
r ∗ ∨ r In fact we will use the variant of this functor defined by Tst(M) = Tst(M) ⊗ ω , for the sole reason that certain results in [HLM17] we wish to quote are stated using this version. We recall [0,r],dd that there is a duality theory for the category BrMod (F) which is to say there is a functor ∗ ∗∗ ∼ r ∼ ∗ ∗ M 7→ M obeying M = M and Tst(M) = Tst(M ). This result is due to Caruso [Car08]; see [EGH13] Definition 3.2.8 for an explicit definition. 0 We once again restrict to the case L = K, L = K0 and π = −p, and make some brief remarks and definitions analogous to those made in the previous subsection. We have natural Q j Q j decompositions SF = j S and M = j M as before.
Ln−1 Ai Definition 1.4.18. Let τ = i=0 ωef be a principal series type. We say that a Breuil module [0,r],dd j j j M in BrModL/L0 (F) is of type τ if it is of rank n and there exist S bases e of M such that j Ai ∆ acts on ei by ωf for 0 ≤ i ≤ n − 1 and 0 ≤ j ≤ f − 1. We refer to any basis with this property as a framed basis of M.
Ln−1 Ai [0,r],dd Lemma 1.4.19. Let τ = i=0 ωef be a principal series type and M an object of BrModL/L0 (F). The following are equivalent:
1. M has type τ;
j ∼ 2. M /u = τ¯ as an F[∆]-module for each 0 ≤ j ≤ f − 1;
j j j j j 3. for each 0 ≤ j ≤ f − 1 there exists a set of S -generators f = (f0 , . . . , fn−1) of Mr such j Ai that ∆ acts on fi by ωf .
Proof. This is entirely analogous to Lemma 1.4.8, but easier.
[0,r],dd Definition 1.4.20. Let M be an object of BrMod (F) of type τ. Let e be a framed basis. Then there exists a tuple f as in Lemma 1.4.19(3). We refer to any such tuple as a framed j j j j+1 system of generators of Mr. We define Mate,f (Mr) ∈ Matn(S ) and Mate,f (ϕr) ∈ GLn(S ) exactly as in Definition 1.4.11.
We close this section with a lemma about change of basis in Breuil modules. It is a slight generalization of Lemma 2.2.8 of [HLM17].
Lemma 1.4.21. Let M be an object in BrMod[0,r],dd( ) of type τ, and let e, f be a framed K/K0 F j j basis and system of generators respectively. Suppose that there are matrices V ∈ Matn(S ) j j and B ∈ GLn(S ) such that
j−1 j j j (r+1)e Mate,f (ϕr) V ≡ Mate,f (Mr) B mod u . Chapter 1. Integral p-adic Hodge theory 25 for each 0 ≤ j ≤ f − 1. Then there exists a framed basis e0j and framed system of generators 0j j j j f of type τ such that Mate0,f 0 (Mr) = V and Mate0,f 0 (ϕr) = ϕ (B ). SF
j e(r+1) j j Proof. The proof is the same as Lemma 2.2.8 of [HLM17]. We have Mate,f (Mr) + u M B = Mat (ϕ )j−1V j for some M j ∈ Mat (S¯j) because Bj is invertible. Then f j := ej(Mat (M )j+ e,f r n 1 e,f r j j ue(r+1)M j) is a framed system of generators of M . As f j = f j + ue(something in M ) we see r 1 r j j 0j j j−1 0j 0j j j j that Mate,f (ϕr) = Mate,f (ϕr) . Now set e = e Mate,f (ϕr) and f = e V = f B . 1 1 j 0j j Since B is invertible, f is also a framed system of generators for Mr. We finally compute
0j j j j+1 j j 0j+1 j ϕ (f ) = ϕ (f )ϕ ¯(B ) = e Mat (ϕ ) ϕ ¯(B ) = e ϕ ¯(B ) r r 1 S e,f r S S which proves the claim.
1.5 Kisin modules and ϕ-modules
The theory in the preceding section dealt with potentially semistable representations having Hodge-Tate weights in the range [0, r]. The lifts ofρ ¯ arising from automorphic representations in Chapter 3 are more specialized: they are potentially crystalline with parallel Hodge-Tate weights (2, 1, 0). In order to capitalize on this fact it is convenient to use the results in [LLHLM18a] which deals with this exact situation. Since the work in question uses the theory of Kisin modules, we begin with a review of the relevant definitions and the closely related ϕ-modules.
Unlike the categories of the previous section, these categories describe representations of G(K0)∞ .
1.5.1 Etale´ ϕ-modules
Let L/Qp be an arbitrary extension with residue field `, and $L a uniformizer. Make a choice p of elements ($n)n≥0 in L such that $n+1 = $n and $0 = $L, and set L∞ = L(($n)n≥0). In this situation (and more general situations) the theory of norm fields associates with L∞ an
“imperfect norm field” that is (noncanonically) isomorphic to `((uL)) together with a Cohen ring OEL ⊂ W (Frac(R))[1/p] that can be used to describe representations of GL∞ , constructed as follows. Let R = lim O /p where the transition maps are the Frobenius. Write $ = ←− L ($n)n≥0 ∈ R and let [$] ∈ W (R) denote the Teichm¨ullerlift. Define SL = W (`)[[uL]] where uL is a variable and embed S ,→ W (R) by identifying uL with [$]. Let OE,L denote the p-adic completion of S[1/uL], so OE,L is a discrete valuation ring with residue field `((uL)). Concretely, ( ∞ ) X i OE,L = wiuL wi ∈ W (`), lim wi = 0 . i→−∞ i=−∞
Let EL denote its field of fractions. Then the inclusion SL ,→ W (R) extends to an inclusion un EL ,→ W (Frac(R))[1/p]. Let EL ⊂ W (Frac(R))[1/p] denote the maximal unramified extension of EL contained in W (Frac(R))[1/p] and let OEun,L ⊂ W (Frac(R)) denote its ring of integers. Chapter 1. Integral p-adic Hodge theory 26
As Frac(R) is algebraically closed the residue field OEun,L/pOEun,L is a separable closure of `((u )). Write O for the p-adic completion of O and Eun for its field of fractions. L Edun,L Edun,L dL un Finally, write SL = OEun,L ∩W (R) ⊂ W (Frac(R)). The ring W (Frac(R)) has a natural action of G . The induced action of G preserves O . L L∞ Edun,L p We endow SL with the φ-semilinear Frobenius map taking uL to uL. This extends uniquely all the way to O un . Let R be a complete local noetherian OE-algebra (for example, R = OE EdL or R = ). Then we extend this Frobenius map R-linearly to O un ⊗ R. F EdL b Zp
Definition 1.5.1. The category of ϕ-modules with coefficients in R is denoted ϕ ModL(R) and consists of finite free OE,L⊗b Zp R-modules M equipped with a φ⊗1-semilinear map ϕM : M → M. We say that M is ´etale if the image of ϕ generates M (equivalently, the linearization of ϕ is an et isomorphism) and write ϕ ModL (R) for the full subcategory of ´etaleobjects. It is abelian. The point of these constructions is that we obtain an exact antiequivalence of abelian tensor categories [Fon90]
ϕ Modet(R) → Rep (R) L GL∞ ∗ M 7→ V (M) := HomO ,ϕ(M, O un ) L E,L EdL where Rep (R) denote the category of p-adically continuous representations of G on finite GL∞ L∞ free R-modules. This construction is also compatible with base change OE → F. In certain cases of interest to us it is possible to add descent data to the above construction. 0 0 m Following [CDM14], let L be a subfield of L such that L = L ($L) where $L0 = $L is a uniformizer of L0, for some integer m prime to p. We also assume that L0 contains a primitive 0 0 m mth root of 1 so that L/L is Galois. Choose ($n)n≥0 as before and set $n = $n . Then we 0 may perform all the constructions above with uL0 = [$ ], identifying SL0 and OE,L0 with the m W (`)-subalgebras of SL and OE,L generated by uL0 = uL . Define a W (`)-semilinear action 0 0 of Gal(L∞/L∞) = Gal(L/L ) on OE,L such that g(uL) = ω$L (g)uL, so the fixed subring is 0 × 0 OE,L (here ω$L is the character Gal(L/L ) → W (`) such that g($L) = ω$L (g)$L which is well defined because we assumed L0 contains the mth roots of 1). This leads to the following definition. Definition 1.5.2. A ϕ-module with descent data from L to L0 and coefficients in R is an 0 object M of ϕ ModL(R) with an OE,L-semilinear action of Gal(L/L ) that commutes with the
Frobenius ϕM . It is ´etale if the underlying object of ϕ ModL(R) is. We denote the resulting et,dd category by ϕ ModL/L0 (R). There is an exact antiequivalence of abelian tensor categories
et,dd ϕ Mod 0 (R) → RepG 0 (R) L/L L∞ M 7→ V ∗ (M) := Hom (M, O ) dd OE,L,ϕ Edun,L0 Chapter 1. Integral p-adic Hodge theory 27
−1 0 where we define the action of GL∞ on the Hom group by g(f) = g ◦ f ◦ g¯ , where bar denotes 0 projection to Gal(L∞/L∞). Moreover the diagram
∗ ´et,dd Vdd ϕ Mod 0 (R) / RepG 0 (R) L/L L∞ O 7 V ∗ L0 ´et ϕ ModL0 (R) where the vertical arrow is the base change M 7→ M ⊗ O is a commutative diagram of OE,L0 E,L equivalences of categories. One sees that the vertical arrow is an equivalence with inverse given 0 0 ∗ by taking Gal(L/L )-invariants using Galois descent (valid since p - | Gal(L/L )|) and that Vdd is an equivalence by arguing as in Lemma A.2.6 of [HLM17]. See also Section 2.1.3 of [CDM14]. 0 Now that we are done with generalities we specialize to the case L = K, L = K0, $L0 = −p e and $L = π, so m = e. We use the notation u = uK and v = uK0 = u . As before, given M ∈ ϕ Mod (R) (resp. ϕ Moddd (R)) of rank n we decompose M = Qf−1 M j and write K0 K/K0 j=0 j j+1 j j+1 j Mate(ϕM ) for the matrix in GLn(R ) such that ϕ(e ) = e · Mate(ϕM ) , where e is a basis (resp. framed basis) of M. Here the notion of framed basis with respect to a principal series type has the obvious definition. [0,p−2] et We now explain the functor F : FL (F) → ϕ ModK0 (F) in Figure 1.3.1. We define F exactly as it appears in Appendix A.1 of [HLM17]. The next lemma describes its key properties.
Lemma 1.5.3. 1. F is fully faithful.
[0,p−2] 2. Let M ∈ FL (F) be of rank n, having regular Fontaine-Laffaille weights FLj(M) = j j j {m0 < m1 < ··· < mn−1}. If e0 is any basis of M adapted to the filtration then F(M) has a basis e such that
j+1 j+1 j j+1 m0 mn−1 j ϕF(M)(e ) = e · Diag(v , . . . , v ) Mate0 (ϕM )
3. The diagram et RepG o ∗ ϕ ModK ( ) (K0)∞ V 0 F O O res F
Rep ( ) FL[0,p−2]( ) GK F o ∗ F 0 Tcris commutes up to equivalence.
Proof. The fact that F is fully faithful is proved during its construction in Appendix A.1 of [HLM17]. The second part is a mild generalization of Lemma 2.2.7 op. cit. and is proved in exactly the same way. The third statement is shown in the proof of Lemma 2.2.8 op. cit.. Chapter 1. Integral p-adic Hodge theory 28
1.5.2 Kisin modules with descent data
The theory of Kisin modules is a refinement of that of ϕ-modules used to study integral struc- tures in G(K0)∞ -representations. We will use the variant involving descent data developed in 0 [LLHLM18a, CL18]. In this section we specialize to the case L = K, L = K0. Let R be a Ln−1 Ai complete local noetherian OE-algebra. We also fix a principal series type τ = i=0 ωef . Definition 1.5.4. A Kisin module with height in [0, r] with coefficients in R and descent data from K to K0 is a finite free S⊗b Zp R-module M together with a ϕS ⊗ 1-semilinear Frobenius map ϕ : M → M such that the cokernel of the linearization ϕ∗M → M is killed by E(u)r, and also a semilinear action of ∆ that commutes with ϕ. We refer to any such basis as a framed basis of M. These objects form a category Y [0,r],dd(R). j j j Ai If for each 0 ≤ j ≤ f − 1 there exists a basis e of M such that ∆ acts on ei by ωef ⊗ R then we say that M is of type τ. The full subcategory of objects of type τ is denoted Y [0,r],τ (R).
Exactly as in Lemma 1.4.8, saying that M is of type τ is equivalent to asking that M j/u =∼
τ ⊗OE R as R[∆]-modules for each 0 ≤ j ≤ f − 1. j Definition 1.5.5. If e is a framed basis of M then Mate(ϕ) is the matrix in Matn(R[[u]]) such j j+1 j that ϕ(e ) = e · Mate(ϕ) for 0 ≤ j ≤ f − 1.
[0,r],dd ´et,dd ∗ There is a functor Y (R) → ϕ Mod (R) taking M to M ⊗S O . We write T for K/K0 Eb,K0 dd [0,r],dd ∗ ∆=1 the resulting functor Y (R) → RepG (R) obtained by composing with V ((−) ). (K0)∞ We now explain the connection between Kisin modules and quasi-strongly divisible modules with descent data. In [Car08] it is shown that there is an equivalence of categories Θr : [0,r] ∼ [0,r] Y (Zp) −→ S.D.Mod (Zp)0 where the notation means the categories analogous to the ones we have defined but with Zp-coefficients and no descent data. We now update this result to include this extra data. Following [Car08] we define a functor
[0,r],dd [0,r],dd Θr : Y (OE) →S.D.Mod (OE)0
M 7→Θr(M) := S ⊗ϕS ,S M
ϕ where the notation means we take the tensor product along the map S ,→ S −−→S S. The extra structures on M = Θr(M) are given by setting
r Mr = {x ∈ M : (1 ⊗ ϕM )(x) ∈ Fil (S) ⊗S M ⊆ S ⊗S M} where we note that 1 ⊗ ϕM defines an S-linear map M → S ⊗S M. We let (ϕM)r : Mr → M be the composition 1⊗ϕM r (ϕS )r⊗1 Mr −−−−→ Fil (S) ⊗S M −−−−−→ M.
1 r We define ϕM(x) = r (ϕM)r(E(u) x). Finally the ∆-action on M is the obvious S-semilinear c1 [0,r],dd one. It is easy to check that M is an object of S.D.Mod (OE)0 (see [Car08]). Chapter 1. Integral p-adic Hodge theory 29
Proposition 1.5.6. Let 0 ≤ r ≤ p − 2. The functor Θr defined above is an equivalence of categories.
Proof. In the case OE = Zp and trivial descent data this is Theorem 2.2.1 of [Car08]. We simply verify that it continues to hold more generally. Given M with OE-coefficients, by the result of [0,r] ∼ Caruso we know there exists a Kisin module M ∈ Y (Zp) such that Θr(M) = M, and since Θr induces a bijection between the Zp-endomorphism rings of M and M, it follows that M has an OE-action compatible with its other structures. The only non-formal thing is to verify that ˆ M is free over S⊗Zp OE. To do this we use a trick from Lemma 1.2.5 of [Kis09]: note that if M has rank d over S ⊗ OE then since W (k) ⊗S M = W (k) ⊗φ,S M and φ ⊗ 1 is an automorphism of W (k) ⊗ OE it follows that W (k) ⊗S M = M/uM is free of rank d over W (k) ⊗ OE (where we view W (k) as an S- and S-module via u 7→ 0). By Nakayama’s lemma we can find a surjection d (S ⊗ OE) M. The left hand side is free of rank dk over S, where k = rankZp OE. But we also have rankS M = rankS M = dk. Hence the map is an isomorphism. This shows that Θr is essentially surjective between the categories with OE-coefficients. The proof of full faithfulness is formal. [0,r] We now add descent data. Note, for example, that if M ∈ Y (OE) then for g ∈ ∆ we can (g) [0,r] define M = S ⊗g,S M with Frobenius ϕS ⊗ ϕM , and this is again an object of Y (OE). To say that M has a descent datum is equivalent to asking that there exist morphismsg ˆ : (g) [0,r] ˆ(g) M → M in Y (OE) for each g ∈ ∆ obeying the cocycle relations ghc =g ˆ ◦ h (note M (gh) = (M (h))(g)). Similar remarks are true on the strongly divisible module side, and one (g) ∼ (g) checks that Θr(M ) = Θr(M) . It is now formal to show that Θr induces an equivalence of categories when descent data is taken into account.
[0,r],τ Corollary 1.5.7. Let M be an object of Y (OE) and let M = Θr(M). If ˆe is a framed j basis of M then M has a framed system of generators (e, f) of type τ such that Mate,f (Mr) j j j−1 j r is the unique matrix V in Matn(OE[[u]]) ⊆ Matn(S ) obeying Matˆe(ϕ) V = E(u) · id, and j Mate(ϕr) = cr · id.
j j r Proof. Let us abbreviate Matˆe(ϕM ) = A . Since E(u) M ⊆ him(ϕM )i it follows that there j j j j j r j j−1 exists a matrix V ∈ Matn(OE[[u]]) such that A V = V A = E(u) · id. Set e = 1 ⊗ ˆe ∈ j j−1 j j j j j j−1 S ⊗ϕS ,S M = M and define f = e V . Then a calculation shows that (1 ⊗ ϕM )(f ) = r j+1 j j j r j+1 j+1 E(u) e , so f lies in Mr. Moreover it follows that ϕr(f ) = (ϕS)r(E(u) )e = cre . From Lemma 1.4.10 we see that (e, f) is a system of generators, and it is easy to check from the definitions that it is framed. This proves the claim. Chapter 1. Integral p-adic Hodge theory 30
Lemma 1.5.8. The diagram of functors
[0,r],dd [0,r],dd S.D.Mod (OE)0 o Y (OE) O Θr ∆=1 (−)0 −⊗O Eb,K0 [0,r],dd et S.D.Mod (OE) ϕ ModK0 (OE)
T ∗ V ∗ st K0 res RepG (OE) / RepG (OE) K0 (K0)∞ commutes up to equivalence.
[0,r],dd [0,r],dd Proof. Let M be an object of S.D.Mod (OE) and M in Y (OE). The result can be K/K0 extracted from the literature as follows: by Lemma 3.3.4 of [CL09] that there is a natural bijection un HomS,ϕ(M, S ) = HomS,ϕ(Θr(M),Acris) and from (3.1.5) in the same paper that
∗ HomS,ϕ(M0,Acris) = Tst(M).
un The result now follows from Corollary 2.1.4 of [Kis06] which says that HomS,ϕ(M, S ) = ∗ Tdd(M) and the fact that Θr is an equivalence of categories. Note that the references above do not deal with descent data or coefficients exactly as we do, but it doesn’t matter because the functors are the same.
[0,r],dd [0,r],dd We now define the functor M : BrMod (F) → Y (F) appearing in Figure 1.3.1.
A closely related functor is defined in Appendix A.1 [HLM17], where it is called M k((u)) and et,dd [0,r],dd takes values in the category ϕ Mod (F). Since M k((u)) factors through Y (F) by its [0,r],dd definition, we let M be M k((u)) but having target ϕ (F).
∗ Lemma 1.5.9. 1. If M is of type τ with framed system of generators (e, f) then M(M ) has a basis e0 of type τ −1 such that
−1 0j 0j+1 t j+1 j ϕ(e ) = e · Mate,f (Mr) Mate,f (ϕr) .
2. The diagram
RepG ( ) / RepG ( ) K0 F (K0)∞ F O O ∗ ∗ Tst Tdd
[0,r],dd M [0,r],dd BrMod (F) / Y (F) commutes up to equivalence. Chapter 1. Integral p-adic Hodge theory 31
Proof. The proof of the first claim is a mild generalization of the proof of Lemma 2.2.6, [HLM17]. The second follows from Lemma A.2.7 op. cit..
1.5.3 Kisin modules of Hodge type µ
Let τ be a principal series type and µ ∈ ([0, r])Hom(K0,E) a p-adic Hodge type. In [CL18], inspired by the theory of local Shimura varieties, the authors construct subcategories Y µ,τ (R) ⊆ Y [0,r],τ (R) consisting of Kisin modules of height ≤ r and of type τ which morally speaking are supposed to correspond to Galois representations of Hodge type µ. Unfortunately the construction of these categories is somewhat abstruse and to recall details would take us astray. So in this section we will only explain why these categories are useful for us and recall the results we need. On the other hand, when R is OE-flat and reduced one can show a posteriori that conditions for membership in Y µ,τ (R) are fairly concrete. See for example [LLHLM18a] Proposition 4.18. f−1 We will specialize to the case n = 3 and µ = (2, 1, 0)j=0 . In [LLHLM18a], under the assump- tion that τ is 3-generic (Definition 1.5.10 below), the authors manage to give a classification µ,τ µ,τ of points of Y (F) in terms of an associated datum called the shape of an object of Y (F), which we recall below. They also compute the universal framed deformation of a Kisin module of a given shape and give a necessary and sufficient monodromy criterion for the associated
G(K0)∞ -representation to come from a potentially crystalline GK0 -representation. The utility of this for us is that these constructions are all explicit and we can make use of the “canonical forms” in the tables of [LLHLM18a]. In order to go further we now recall some basic definitions and notation from [LLHLM18a].
L2 Ai Pf−1 i j Definition 1.5.10. Let τ = i=0 ωef be a principal series type where Ai = − j=0 bf−jp i for some bj ∈ [0, p − 1] (note the minus sign). We say that τ is δ-generic if
i i0 bj − bj ∈ [δ, p − 1 − δ] mod p − 1
f−1 for each 0 ≤ i 6= i0 ≤ 2 and 0 ≤ j ≤ f − 1. Write bi = P bi pj so that bi ≡ pj0 bi (j0) j=0 f−j+j0 (j0) (0) i mod e and Ai = −b(0) by definition. i If τ is 1-generic (which implies that the bj are unique) we define the orientation of τ to be f−1 f the element (sj)j=0 ∈ S3 such that
sj (0) sj (1) sj (2) bj+1 > bj+1 > bj+1 .
sj (0) sj (1) sj (2) This is equivalent to asking that b(j) > b(j) > b(j) . Definition 1.5.11. Let M be an object of Y [0,2],τ (R) of type τ with eigenbasis e. We define j e associated matrices Ae ∈ GL3(R[[v]]) (where v = u ) for 0 ≤ j ≤ f − 1 by the formula
sj+1(i) sj+1(i) j −b(j+1) −1 j b(j+1) Ae = Diagi(u )sj+1 Mate(ϕ) sj+1Diagi(u ) Chapter 1. Integral p-adic Hodge theory 32
Remark 1.5.12. It is easy to check that this matrix does actually lie in GL3(R[[v]]) by the defini- tion of the orientation. The purpose of this definition is simply that the tables of [LLHLM18a] j are given in terms of the matrices Ae.
We now explain the notion of the shape of a Kisin module. Let I(F) ≤ GL3(F[[v]]) denote the subgroup of matrices that are upper-triangular mod v, and let Wf = NGL3 (T3)(F((v)))/T3(F[[v]]) a b c denote the extended affine Weyl group of GL3 which is equal to the group of matrices Diag(v , v , v )ς for ς ∈ S3. Bruhat-Tits theory gives a double coset decomposition
G GL3(F((v))) = I(F)weI(F). we∈Wf
[0,2],τ f−1 f j Following [LLHLM18a], we say that M ∈ Y (F) has shape (wej)j=0 ∈ Wf if the matrix Ae of Definition 1.5.11 lies in I(F)wejI(F) for 0 ≤ j ≤ f − 1 for any choice of framed basis e.
If τ is 3-generic andρ ¯ : GK0 → GL3(F) is continuous then the proof of Theorem 3.2 in [0,2],τ ∗ ∼ [LLHLM18a] shows that if there exists M ∈ Y ( ) such that T (M) = ρ¯|G then M is F dd (K0)∞ f−1 unique up to isomorphism. This allows us to define the shape of the pair w(¯ρ, τ) = (wj(¯ρ, τ))j=0 to be the shape of M. The next theorem collects the main results from [LLHLM18a] that we need.
Theorem 1.5.13. Suppose that ρ is a GK0 -stable OE-lattice inside an n-dimensional potentially f−1 crystalline E-representation having inertial type τ and Hodge type µ = (2, 1, 0)j=0 . If M is a [0,2],dd ∗ ∼ strongly divisible module in S.D.Mod (OE) such that Tst(M) = ρ then there exists M in µ,τ −1 ∼ Y (OE) of rank n such that Θr(M) = M0. [0,2],τ −1 ∗ ∼ In particular there exists M ∈ Y ( ) such that T (M) = ρ¯|G so if τ is 3-generic F dd (K0)∞ the shape w(¯ρ, τ −1) is defined. j Moreover M has a framed basis e such that Ae is given by the matrix in the final column and −1 row corresponding to shape wj(¯ρ, τ ) ∈ Wf of Table 5 of [LLHLM18a], subject to the conditions j j there. In particular Ae = Ae mod $E must be the matrix given in the first column of the table. Finally, the monodromy condition in the first column of Table 7 loc. cit. holds on the entries j of Ae.
Proof. The first paragraph follows from the uniqueness in the proof of Proposition 5.17 of
[CL18], the fact that Θ2 is an equivalence of categories, and Lemma 1.5.8. The second paragraph j follows immediately (see also [CL18] Corollary 5.18). The statement about Ae follows from µ,τ −1 the computation of the universal framed deformation of M to Y (R) for R flat over OE in Theorem 4.17 of [LLHLM18a]. The final statement regarding monodromy follows from Theorem 5.1 and Theorem 5.6 of [LLHLM18a] (see also the definition of the “monodromy condition” in Definition 5.7. Table 6 presents one of the equations coming from this monodromy condition; the monodromy condition in Table 7 is a consequence of the vanishing of the expression in Table 6). Chapter 1. Integral p-adic Hodge theory 33
Remark 1.5.14. Table 7 in [LLHLM18a] only contains results for some of the possible shapes. However, all the shapes we compute in Section 1.6 belong to this table.
1.6 Shape computations
i Letρ ¯ : GK0 → GL3(F) be a Galois representation satisfying (FLδ) and choose aj as in Definition 1.1.2. For the remainder of the thesis we will interested in the principal series types τ of Definition 1.6.1 whose choice is explained later in Remark 2.3.7. The goal in this section is to compute the shapes w(¯ρ, τ −1). The strategy is to use Breuil modules following a method simlar to that of [HLM17].
f−1 f Definition 1.6.1. Let σ = (σj)j=0 ∈ S3 and K ⊆ {0, . . . , f − 1}. We define a principal series L2 Ai type τ = τ(σ, K) by setting τ = i=0 ωef where
f−1 −1 X σf−k(i) −1 k Ai := af−k + δf−k+1∈/K (1 − σf−k+1(i)) p . k=0
The main result of this section is the computation of w(¯ρ, τ −1) in the next proposition.
Proposition 1.6.2. Let ρ¯ : GK0 → GL3(F) be a Galois representation satisfying (FLδ) with
δ ≥ 5. Assume that ρ¯ is the reduction mod p of a GK0 -stable OE-lattice inside a potentially f−1 crystalline E-representation of inertial type τ = τ(σ, K) and parallel Hodge type (2, 1, 0)j=0 (so the shape w(¯ρ, τ −1) is defined according to Theorem 1.5.13). Let M be a Fontaine-Laffaille [0,p−2] ∗ module in FL (F) such that Tcris(M) =ρ ¯ and define xj, yj, zj ∈ F as in Corollary 1.2.8.
∗∗ 1. If ρ¯ satisfies (FLδ ) then −1 w0v if j + 2 ∈ K wj(¯ρ, τ ) = Diag(v2, v, 1) if j + 2 ∈/ K.
id j ∈ J 2. Assume that K = ∅ and σj = for some J ⊆ {0, . . . , f − 1}. Then (01) j∈ / J
2 −1 sβDiag(v , v, 1) if j + 1 ∈ ∂J and xj+1 = 0 wj(¯ρ, τ ) = Diag(v2, v, 1) else. Chapter 1. Integral p-adic Hodge theory 34
id j ∈ J 3. Assume that K = ∅ and σj = for some J ⊆ {0, . . . , f − 1}. Then (12) j∈ / J
2 −1 sαDiag(v , v, 1) if j + 1 ∈ ∂J and zj+1 = 0 wj(¯ρ, τ ) = Diag(v2, v, 1) else.
∗ id j ∈ J 4. Assume that ρ¯ satisfies (FLδ), that σj = for some J ⊆ {0, . . . , f − 1} and (02) j∈ / J that ∂J ⊆ K − 1. Then w0v if j + 1 ∈ ∂J −1 sαsβv if j + 1 ∈/ ∂J, j + 2 ∈ K and yj+1 = 0 wj(¯ρ, τ ) = s s v if j + 1 ∈/ ∂J, j + 2 ∈ K and y β − x z = 0 β α j+1 j+1 j+1 j+1 Diag(v2, v, 1) if j + 2 ∈/ K.
Proof. Write ρ for the stable OE-lattice in the statement of the proposition and let M ∈ [0,2],dd K0,2 ∼ S.D.Mod (OE) be a strongly divisible module of type τ such that Tst (M) = ρ. Then K0,2 ∼ setting M = S(M) we have Tst (M) = ρ¯ by (1.4.17). We refer to [HLM17] Section 2.3 for definitions concerning the notion of Breuil submodule. The key fact we want to use is Proposi- tion 2.3.5 loc. cit., which implies that sinceρ ¯ is upper-triangular, we may find a filtration 0 ⊂ P (ai +1)pj M ⊂ M ⊂ M = M by Breuil submodules such that T K0,2(M /M )| = ω j f−j 2 1 0 st i i+1 IK0 f for 0 ≤ i ≤ 2 (the notion of a quotient of Breuil submodules is explained in the reference cited).
[0,2],dd Since Mi/Mi+1 is in particular a rank 1 object of BrMod (F), the classification of rank j j 1 Breuil modules in Lemma 3.3.2 of [EGH13] together with the inclusion Mi /u ,→ M /u and j Lemma 1.4.19 imply that there exist for each 0 ≤ j ≤ f − 1 and 0 ≤ i ≤ 2 integers ri ∈ [0, 2e] j j rj j j j j j and ψj(i) ∈ {0, 1, 2} such that (Mi /Mi+1)2 = u i (Mi /Mi+1), and Mi /Mi+1 has a S -basis A ψj (i) upon which ∆ acts by ωf , and we have
j j ri ≡ p Aψj+1(i) − Aψj (i) mod e (1.6.3) and X 1 X (ai + 1)pj ≡ A + rjpf−j mod e. (1.6.4) f−j ψ0(i) e i j j
Observe that despite the notation, ψj is not a priori a permutation. We now exploit these two Chapter 1. Integral p-adic Hodge theory 35 congruences. Observe that by (1.6.3) we may write
−1 −1 j j X σf−k+j (ψj+1(i)) σf−k+j (ψj (i)) ri = δi e + af−k+j − af−k+j k −1 −1 k + δf−k+j+1∈/K (σf−k+j+1(ψj(i)) − σf−k+j+1(ψj+1(i))) p (1.6.5)
j where δi ∈ [0, 2]. A rather unpleasant computation now shows that
−1 1 X X σ (ψf−j (i)) A + rjpf−j = a f−j + δ (1 − σ−1 (ψ (i))) pj ψ0(i) e i f−j f−j+1∈/K f−j+1 f−j j j X j f−j + δi p . j
Hence by (1.6.4) we obtain
−1 X i j X σf−j (ψf−j (i)) f−j −1 j (af−j + 1)p ≡ af−j + δi + δf−j+1∈/K (1 − σf−j+1(ψf−j(i)) p mod e. j j
By 3-genericity we deduce that ψj = σj for each 0 ≤ j ≤ f − 1, and also 1 if j + 1 ∈ K δj = i −1 σj+1σj(i) if j + 1 ∈/ K.
At this point we pause to introduce some new notation. For 0 ≤ i, i0 ≤ 2 define
−1 −1 0 j X σf−k+j (σj+1(i)) σf−k+j (σj (i )) k −1 0 −1 k dii0 = af−k+j −af−k+j )p +δf−k+j+1∈/K (σf−k+j+1(σj(i ))−σf−k+j+1(σj+1(i)) p k and
−1 −1 0 j X σf−k+j (σj (i)) σf−k+j (σj (i )) k −1 0 −1 0 k bii0 = af−k+j −af−k+j )p +δf−k+j+1∈/K (σf−k+j+1(σj(i ))−σf−k+j+1(σj(i )) p . k
h j i j j h j i j j 0 0 Then one checks that p (Aσj+1(i) − Aσj (i )) = uii0 e+dii0 and p (Aσj (i) − Aσj (i )) = vii0 e+bii0 , where we define −1 0 j 0 if σj+1σj(i ) ≤ i u 0 = ii −1 0 1 if σj+1σj(i ) > i and −1 0 −1 j 0 if σj+1σj(i ) ≤ σj+1σj(i) v 0 = ii −1 0 −1 1 if σj+1σj(i ) > σj+1σj(i). Chapter 1. Integral p-adic Hodge theory 36
Note that in this new notation (1.6.5) becomes
j j j ri = δi e + dii.
A A A j j j j j σj (0) σj (1) σj (2) j We deduce that M has a basis e = (e0, e1, e2) of type ωf ⊕ ωf ⊕ ωf and M2 A A A j j j j σj+1(0) σj+1(1) σj+1(2) has a system of generators f = (f0 , f1 , f2 ) of type ωf ⊕ ωf ⊕ ωf such that
δj e+dj u 0 00 j j j j j j Mat (M ) = eu01+d01 δ1e+d11 e,f 2 x01u u j euj +dj j euj +dj δj e+dj x02u 02 02 x12u 12 12 u 2 22 and j+1 α00 j j+1 evj+1+bj+1 j+1 Mat (ϕ ) = 01 01 e,f 2 α01 u α11 j+1 evj+1+bj+1 j+1 evj+1+bj+1 j+1 α02 u 02 02 α12 u 12 12 α22
j j+1 e ep j+1 e ep × j j+1 where xii0 , αii0 ∈ F[u ]/(u ) and αii ∈ (F[u ]/(u )) (because ϕ2(M2) generates M ). This concludes the preliminary analysis of the structure of M. We next do a base change to refine these matrices. j j For the next claim, note that δi0 − uii0 ∈ [0, 1] if i 6= 2. j e(δj −uj ) i0 ii0 j Claim 1.6.6. We may assume that xii0 ∈ F + Fu and that Mate,f (ϕ2) is diagonal with j+1 × entries αii ∈ F for each 0 ≤ j ≤ f − 1.
Proof. Set δj e+dj u 0 00 j 0j j j j j V = eu01+d01 δ1e+d11 x01u u 0j euj +dj 0j euj +dj δj e+dj x02u 02 02 x12u 12 12 u 2 22 and j α00 Bj = j j . β01 α11 j j j β02 β12 α22
0j j e ep j−1 j j j where xii0 , βii0 ∈ F[u ]/(u ) are unknowns. The equation Mate,f (ϕ2) V = Mate,f (M2) B reduces to the equations
j δj e+dj euj +dj j e(δj +vj −uj ) j 0j j j 1. β01u 1 11 = u 01 01 [α01u 0 01 01 + α11x01 − α00x01]
j δj e+dj euj +dj j e(δj +vj −uj ) j 0j j j 2. β12u 2 22 = u 12 12 [α12u 1 12 12 + α22x12 − α11x12]
j δj +dj euj +dj j e(δj +vj −uj ) j 0j e(vj +uj −uj ) j 0j j j j j euj +dj 3. β02u 2 22 = u 02 02 [α02u 0 02 02 +α12x01u 12 01 02 +α22x02−α00x02]−β01x12u 12 12 .
j j j 0 j j j using that bii0 + dki − dki0 = 0 for any 0 ≤ i, i , k ≤ 2. One checks easily that δi + vii0 − uii0 ≥ 0 Chapter 1. Integral p-adic Hodge theory 37
0 j j j 0 for i 6= i and v12 + u01 − u02 ≥ 0 so these equations make sense. For i < i define
j j cii0 = di0i0 − dii0 −1 0 −1 −1 X σf−k+j (σj+1(i )) σf−k+j (σj+1(i)) = af−k+j − af−k+j k −1 −1 0 k + δf−k+j+1∈/K (σf−k+j+1σj+1(i) − σf−k+j+1σj+1(i )) p .
This lies in (0, e). j 0j e(δj −uj ) Since α11 is a unit we can pick x01 ∈ F+Fu 1 01 so that the expression in square brackets j j e(1+δ1−u ) j e−c e ep in the first equation is divisible by u 01 . Then we can choose β01 ∈ u 01 F[u ]/(u ) 0j e(δj −uj ) j e−cj e ep satisfying the equation. Similarly we can pick x12 ∈ F + Fu 2 12 and β12 ∈ u 12 F[u ]/(u ) j e−c01 ˜j j j j satisfying the second equation. Write β01 = u β01. As d12 −c01 −d02 = 0 the third equation becomes
j j j j j j j j j j j δ2+d22 eu02+d02 j e(δ0+v02−u02) j 0j e(v12+u01−u02) β02u = u [α02u +α12x01u j j j 0j j j ˜j j e(1+u12−u02) + α22x02 − α00x02 − β01x12u ].
j 0j e(δj −uj ) Since α22 is a unit we can pick x02 ∈ F + Fu 2 02 so that the expression in square brackets e(1+δj −uj ) j e−cj e ep is divisible by u 2 02 . Then we can pick β02 ∈ u 02 F[u ]/(u ) satisfying the equation. Now note that for i < i0 we have
j i0 i −1 0 −1 p(e − cii0 ) = e(p − 1 − aj+1+aj+1 + δj+2∈/K (σj+2σj+1(i ) − σj+2σj+1(i))) −1 0 −1 X σf−k+j+1σj+1(i ) σf−k+j+1σj+1(i) + p − 1 − af−k+j+1 + af−k+j+1 k −1 0 −1 k + δf−k+j+2∈/K (σf−k+j+2σj+1(i ) − σf−k+j+2σj+1(i)) p .
j × 3e This is ≥ 3e by 5-genericity. Thus ϕ j (B ) is diagonal with entries in modulo u . Thus S F performing the change of basis in Lemma 1.4.21 allows us to reset all notation and assume j (δj −uj )e j+1 j+1 j+1 i0 ii0 j 3e from the beginning that xii0 ∈ F + Fu and A ≡ Diag(α00 , α11 , α22 ) mod u j+1 × where αii ∈ F . We now perform a second change of basis. This time let
δj e+dj u 0 00 αj j j j j j j 00 eu01+d01 δ1e+d11 V = j x01u u α11 αj j j j αj j j j j j 00 eu02+d02 11 eu12+d12 δ2e+d22 j x02u j x12u u α22 α22 and j j j j B = Diag(α00, α11, α22).
j−1 j j j 3e Then clearly we have Mate,f (ϕ2) V ≡ Mate,f (M2) B mod u and making the change of basis in Lemma 1.4.21 proves the claim. Chapter 1. Integral p-adic Hodge theory 38
j j e(δj −uj ) j i0 ii0 Claim 1.6.7. Building on Claim 1.6.6 we can in fact take xii0 = yii0 u with yii0 ∈ F obeying j × y01 ∈ F xj j × y ∈ F yj 02 (1.6.8) j × j y12 ∈ F z j j j × y02 − y01y12 ∈ F (yjβj − xjzj)
∗ ∗ ∼ 0 Proof. Let M denote the twist of M(M ) such that V (M) = ρ¯ |G . It follows from (K0)∞ j A00−A0 A00−A1 A00−A2 j Lemma 1.5.9 that M, has a basis e of type ωf ⊕ ωf ⊕ ωf such that ϕM (e ) = 0 ∆=1 j j+1 t j+1 t j −1 −1 0j j [p (Ai−A00)] e σj+2( V )( A ) σj+1. Hence M := M has a basis e = e Diagi(u ) such that
0j 0j+1 −[pj+1(A −A )] t j+1 t j −1 −1 p[pj (A −A )] 0 i 00 i 00 ϕM (e ) = e · Diagi(u )σj+2( V )( A ) σj+1Diagi(u ) −[pj+1(A −A )] 0j+1 σj+2(i) 00 = e · σj+2Diagi(u ) j+1 −1 δj+1e+dj+1 j+1 −1 j+1 euj+1+dj+1 j+1 −1 j+1 euj+1+dj+1 (α00 ) u 0 00 (α11 ) x01 u 01 01 (α22 ) x02 u 02 02 j+1 j+1 j+1 j+1 j+1 j+1 j+1 · −1 δ1 e+d11 −1 eu12 +d12 (α11 ) u (α22 ) x12 u j+1 −1 δj+1e+dj+1 (α22 ) u 2 22 p[pj (A −A )] σj+1(i) 00 −1 · Diagi(u )σj+1
Now using the fact that
j j+1 j+1 p[p (Aσ (i0) − A00)]+d 0 − [p (Aσ (i) − A00)] j+1 ii j+2 (1.6.9) i0 0 −1 0 = e(aj+1 − aj+1 + 1 + δj+2∈/K (1 − σj+2σj+1(i )))
j+1 −1 as well as the fact that δi + 1 + δj+2∈/K (1 − σj+2σj+1(i)) = 2 for each 0 ≤ i ≤ 2 the equation above becomes
j+1 uj+1−δj+1 j+1 uj+1−δj+1 1 x01 v 01 1 x02 v 02 2 0j 0j+1 j+1 j+1 j+1 j+1 −1 ai −a0 +2 −1 ϕ 0 (e ) = e ·σ u12 −δ2 Diag (α ) v j+1 j+1 σ . M j+2 1 x12 v i ii j+1 1
Making the change of basis
j uj −δj j uj −δj 1 x01v 01 1 x02v 02 2 00j 0j j j j e = e σ u12−δ2 j+1 1 x12v 1 Chapter 1. Integral p-adic Hodge theory 39 we get
j uj −δj j uj −δj 1 φ(x01v 01 1 ) φ(x02v 02 2 ) 00j 00j+1 j+1 −1 ai −a0 +2 j j j ϕ 0 (e ) = e · Diag (α ) v j+1 j+1 u12−δ2 . M i ii 1 φ(x12v ) 1
j j uj −δj ii0 i0 −p Note by Claim 1.6.6 gii0 := φ(xii0 v ) lies in Fv + F. On the other hand, we know from j Lemma 1.5.3 that there must exist matrices X ∈ GL3(F((v))) for 0 ≤ j ≤ f − 1 such that
j+1 −1 2 j+1 −1 j 2 j+1 −1 j 2 (α00 ) v (α00 ) g01v (α00 ) g02v j+1 1 0 j+1 j 1 0 −1 aj+1−aj+1+2 −1 aj+1−aj+1+2 j (α11 ) v (α11 ) g12v φ(X ) 2 0 j+1 −1 aj+1−aj+1+2 (α22 ) v (1.6.10) αjv2 xjv2 yjv2 1 0 1 0 j+1 j aj+1−aj+1+2 j aj+1−aj+1+2 = X β v z v . a2 −a0 +2 γjv j+1 j+1
j j We now show that (1.6.10) implies X ∈ T3(F) and gii0 ∈ F. This is enough to prove Claim j j j j 1.6.7. Write X = (fii0 )0≤i,i0≤2 for fii0 ∈ F((v)). First one shows that X is upper-triangular. For example, from the bottom left entry of (1.6.10) we obtain the equations
−1 2 0 j+1 j+1 aj+1−aj+1 j f20 = α22 αj v φ(f20)
j which imply each f20 = 0 by looking at the first nonzero term of positive degree and the term of lowest degree. Once it has been shown that Xj is upper-triangular, it is easy to see that × its diagonal coefficients lie in F by looking at the diagonal entries of (1.6.10). Finally the claim will then follow from arguments like that in Example 1.6.11 by considering the remaining entries of (1.6.10).
Example 1.6.11. Let us show that if fj ∈ F((v)) for 0 ≤ j ≤ f − 1 obey the equations −d −p × fj+1 = v j [cjφ(fj) + ζjv + θj] for some dj ∈ [2, p − 2], cj ∈ F and ζj, θj ∈ F then each fj, ζj, θj = 0.
If f0 has terms of positive degree and the minimal such degree is n0 > 0, then the minimal positive degree term of fj is nj defined recursively by nj+1 = pnj − dj. But then the equation n0 = nf is impossible since each dj ≤ p − 2. This shows that each fj contains terms of nonpositive degree only. If the smallest term of f0 is of degree m0 ≤ −2, then the smallest term of fj will be of degree mj where mj+1 = pmj − dj. But again the equation m0 = mf is −1 impossible. This implies that each fj ∈ Fv + F. But since dj ≥ 2 it is now easy to see that this implies ζj, θj, fj = 0.
From Claim 1.6.7 we conclude that in the original Breuil module M with e, f as before we Chapter 1. Integral p-adic Hodge theory 40 actually have
δj e+dj u 0 00 j j j j j j j j+1 j+1 j+1 Mat (M ) = δ1e+d01 δ1e+d11 and Mat (ϕ ) = Diag(α , α , α ) e,f 2 y01u u e,f 2 00 11 22 j δj e+dj j δj e+dj δj e+dj y02u 2 02 y12u 2 12 u 2 22
j ∗ [0,2],τ −1 where yii0 ∈ F satisfy (1.6.8). Define M = M(M ) ∈ Y . It follows from Lemma 1.5.9 that M has a framed basis e of type τ −1 such that
j+1 −1 δj+1e+dj+1 j+1 −1 j+1 δj+1e+dj+1 j+1 −1 j+1 δj+1e+dj+1 (α00 ) u 0 00 (α11 ) y01 u 1 01 (α22 ) y02 u 2 02 j j+1 j+1 j+1 j+1 j+1 j+1 j+1 j+1 −1 ϕ(e ) = e ·σ −1 δ1 e+d11 −1 δ2 e+d12 σ . j+2 (α11 ) u (α22 ) y12 u j+1 j+1 −1 δj+1e+dj+1 (α22 ) u 2 22
j i −1 In the notation of Definition 1.5.10 we have bi = aj + δj+1∈/K (1 − σj+1(i)) and it is easy to j see that the orientation is sj = σj+1w0. (Technically, we defined bi ∈ [0, p − 1] following i [LLHLM18a] but this doesn’t matter because we can shift each aj by the same multiple of p − 1 to achieve this.) Applying Definition 1.5.11 we compute
σj+2(i) σj+1(i) j −b(j+1) j b(j+1) −1 Ae = w0Diagi u Mate(ϕM ) Diagi u σj+1σj+2w0
0 j+1 σj+2(i) σj+1(i ) and using the definition dii0 = b(j+1) − b(j+1) this becomes
j+1 j+1 −1 δ0 (α22 ) v j j+1 −1 j+1 j+1 −1 j+1 −1 A = w δ1 σ σ w . e (α22 ) y12 (α11 ) 0 v j+1 j+2 0 j+1 −1 j+1 j+1 −1 j+1 j+1 −1 δj+1 (α22 ) y02 (α11 ) y01 (α00 ) v 2
If j + 2 ∈ K then the diagonal matrix is constant = v. If j + 2 ∈/ K then this is equal to
j+1 −1 2 (α22 ) v j+1 −1 j+1 j+1 −1 w σ−1 σ w . (α22 ) y12 (α11 ) 0 j+1 j+2 0 v j+1 −1 j+1 j+1 −1 j+1 j+1 −1 (α22 ) y02 (α11 ) y01 (α00 ) 1
∗ ∼ ∗ ∗ ∼ K0,2 ∼ Since Tdd(M) = Tst(M ) = Tst (M) = ρ¯ using Lemma 1.5.9(2), the four statements of Proposition 1.6.2 now follow from (1.6.8) and the cases in Lemma 1.6.12. This completes the proof of Proposition 1.6.2.
The next lemma was used above. Its proof is an elementary computation.
a Lemma 1.6.12. Let A = u b w0ςw0 ∈ GL3(F) where ς ∈ S3. Write [·] for the image t w c in the double coset space B3(F)\ GL3(F)/B3(F). Chapter 1. Integral p-adic Hodge theory 41
1. If uw − bt, u, w, t 6= 0 then [A] = [w0] for any ς. If ς = w0 then the same is always true.
2. Assume that ς = id and u, w 6= 0. If t = 0 then [A] = [sαsβ]. If uw − bt = 0 then
[A] = [sβsα].
a 2 Now let B = u b w0ςw0Diag(v , v, 1) ∈ GL3(F((v))) where ς ∈ S3 and a, b, c, u, w, t ∈ t w c F. Write [·] for the image in the double coset space I(F)\ GL3(F((v)))/I(F).
1. We have [B] = [Diag(v2, v, 1)] in any of the following cases:
• ς = id,
• ς = sα and w 6= 0,
• ς = sβ and u 6= 0, • ς is arbitrary and u, w, t, uw − bt 6= 0.
2 2. If ς = sα and w = 0 then [B] = [sβDiag(v , v, 1)]. If ς = sβ and u = 0 then [B] = 2 sα[Diag(v , v, 1)].
1.7 Main results
Letρ ¯ : GK0 → GL3(F) be a continuous representation satisfying (FLδ) and let τ = τ(σ, K) denote an inertial types from Definition 1.6.1. In this section we show our main results relating K0,2 the Fontaine-Laffaille invariants of Section 1.2 to Frobenius eigenvalues of Dst (ρ) for poten- tially crystalline lifts ρ of Hodge type µ and inertial type τ. Given the shape computations of the previous section, the proofs of these results are simply a matter of combining the tables of [LLHLM18a] with the calculations of Sections 1.4-1.5.
∗∗ Theorem 1.7.1. Assume ρ¯ ∈ (FLδ ) with δ ≥ 5 and let ρ be a potentially crystalline of ρ¯ of Hodge type µ and inertial type τ = τ(σ, K). In particular the invariants of Definition 1.2.14 K0,2 f make sense. Write D = Dst (ρ) and let λi ∈ E denote the eigenvalue of ϕD on the isotypic A ∆=ω i component D ef .
1. Assume that id j ∈ J σj = (1.7.2) (02) j∈ / J
for some J ⊆ {0, . . . , f − 1}. Then
f −1 |S| p λ1 = (−1) YS Chapter 1. Integral p-adic Hodge theory 42
where S = {j | (j ∈ ∂J and j + 1 ∈/ K) or (j∈ / ∂J and j + 1 ∈ K)} . (1.7.3)
2. Assume that id j ∈ J σj = (1.7.4) (01) j∈ / J
for some J ⊆ {0, . . . , f − 1} and K = ∅. Then
1 2f−|J| −1 f−|J|+ |∂J| p λ1 = (−1) 2 XJc .
3. Assume that id j ∈ J σj = (1.7.5) (12) j∈ / J
for some J ⊆ {0, . . . , f − 1} and K = ∅. Then
1 f−|J| −1 |J|+ |∂J| p λ2 = (−1) 2 ZJc .
Notation 1.7.6. For any of the types τ appearing in this theorem, we define mτ ∈ Z, iτ ∈ × {0, 1, 2} and FLτ ∈ F so that the conclusion of the theorem in each case is that
−1 pmτ λ = FL . iτ τ
Proof. We will do the calculation at first without any assumptions on σ or K. Let M be a −1 ∗ ∼ strongly divisible module of type τ such that Tst(M) = ρ. By Theorem 1.5.13 there exists µ,τ −1 ∼ M ∈ Y (OE) such that Θ2(M) = M0. By Proposition 1.6.2, we know that M has a framed j basis e such that Ae is given by the final column of Table 5 in [LLHLM18a] in row w0v if j + 2 ∈ K and Diag(v2, v, 1) if j + 2 ∈/ K. That is
• if j + 2 ∈ K we have
j j j ∗j −1 j e ∗j e ∗j c00 c00c21(c20) c02 + (u + p)c02 u c¯02 Aj = e ∗j e j ; A¯j = e ∗j e j e 0 (u + p)c11 (u + p)c12 e u c¯11 u c¯12 e ∗j e j j e 0j e ∗j e j e 0j u c20 u c21 c22 + (u + p)c22 u c¯20 u c¯21 u c¯22 (1.7.7) j ∗j × for cii0 ∈ OE, cii0 ∈ OE subject to all condition coming from the requirement that the j j j j j ∗j reduction mod $E of Ae be the matrix Ae given, as well as the equations c00c22 = −pc02c20 j 0j ∗j ∗j ∗j ∗j j j and c00c22 − c02c20 = −pc02c20. In particular ordp(c00), ordp(c22) > 0. Chapter 1. Integral p-adic Hodge theory 43
• if j + 2 ∈/ K we have
e 2 ∗j 2e¯∗j (u + p) b00 0 0 u b00 0 0 Aj = e e j e ∗j ; A¯j = 2e¯j e¯∗j (1.7.8) e u (u + p)b10 (u + p)b11 0 e u b21 u b11 0 e j e 0j e j ∗j 2e¯0j e¯j ¯∗j u (b20 + (u + p)b20) u b21 b22 u b20 u b21 b22
j ∗,j × for bii0 ∈ OE, bii0 ∈ OE subject to all equations coming from the requirement that the j j reduction mod $E of Ae is the matrix Ae given. Note that we have applied the monodromy ¯j equation b20 = 0 in accordance with Theorem 1.5.13.
According to Definition 1.5.11 and Corollary 1.5.7, M has a framed system of generators (e, f) j such that Mate,f (ϕ2) = c2 · id and
sj (i) E(u)2 sj (i) j −b(j) j−1 adj b(j) −1 Mate,f (M2) = sjDiagi u j−1 (A ) Diagi u sj det(Ae )
−1 i σj (i) −1 where sj = σj+1w0 and bj = aj + δj+1∈/K (1 − σj+1(i)) is the notation of Section 1.5, and adj denotes the adjugate matrix. By Lemma 1.4.14, D has a framed basis e0 of type τ such that
j −1 j Mate0 (ϕD) = s0(c2) · s0 Mate,f (M2) .
[Note the conflict between two uses of s0 here.] One easily computes that the right hand side of this formula is −cj−1 2 −1 −1 00 p p s0(c2) · σ Diag ∗(j−1) ∗(j−1) , ∗(j−1) , j−1 σj+1 j + 1 ∈ K j+1 c c c c 02 20 11 00 (1.7.9) 2 s (c )−1 · σ−1 Diag −p , p , −1 σ j + 1 ∈/ K. 0 2 j+1 ∗(j−1) ∗(j−1) ∗(j−1) j+1 b22 b11 b00
In particular we now easily calculate that
−f f Q ∗(j−1) −1 Q ∗(j−1) −1 • if (1.7.2) holds then λ1 = s0(c2) p j+1∈K (c11 ) j+1∈/K (b11 )
−f 2f−|J| f−|J| Q ∗j −1 Q ∗j −1 • if (1.7.4) holds and K = ∅ then λ1 = s0(c2) p (−1) j+1∈J (b11) j+1∈/J (b22)
−f f−|J| |J| Q ∗j −1 Q ∗j −1 • if (1.7.5) holds and K = ∅ then λ2 = s0(c2) p (−1) j+1∈J (b00) j+1∈/J (b11) .
The next step is to compute the Fontaine-Laffaille module ofρ ¯0 in terms of these matrix j j j j entries. Write Ae = F D where F ∈ GL3(F) and ue j + 2 ∈ K Dj := Diag(u2e, ue, 1) j + 2 ∈/ K.
∆=1 b0 b1 b2 Letting e also denote the framed basis of M, a basis of M is given by e0j := ejDiag(u (j) , u (j) , u (j) ) Chapter 1. Integral p-adic Hodge theory 44 with respect to which we calculate
0j 0j+1 j −1 e(ai +1) −1 0 j+1 ϕM (e ) = e · sj+1F w0σj+2σj+1Diag(u )σj+1 in a manner similar to the computations surrounding (1.6.9). With respect to the basis e00j = 0j j−1 −1 e sjF sj sj−1w0 we have
j e(1+ai ) j−1 −1 00 0 j+1 Mate (ϕM ) = Diagi(u )w0F w0σj+1σj. (1.7.10)
∗ ∼ Let M0 denote the Fontaine-Laffaille module such that Tcris(M0) = ρ¯. By the full faithfulness of F, Lemma 1.5.3(2) and (1.7.10) we deduce that M0 has a basis e0 adapted to the filtration j j−1 −1 such that Mate0 (ϕ) = w0F w0σj+1σj. By Lemma 1.2.4 and (1.2.5) there exists a unique j j j j−1 −1 lower-unipotent matrix L with coefficients in F such that Fe := L w0F w0σj+1σj is the upper-triangular matrix of Corollary 1.2.9. Table 1.7.11 computes Fej+1.
Table 1.7.11: The Fontaine-Laffaille matrix of Corollary 1.2.8 forρ ¯. −1 j+1 j+1 σj+2σj+1 Fe if j + 2 ∈ K Fe if j + 2 ∈/ K 0j j ∗j c¯22 c¯21 c¯20 ∗j j 0j j j j ∗j ¯b ¯b ¯b ∗j c¯ c¯ −c¯ c¯ 22 21 20 c¯ − 12 21 12 20 ∗j j id 11 c¯0j c¯j ¯b ¯b 22 22 11 10 ∗j ∗j ∗j ∗j c¯02c¯11c¯20 ¯b ∗j 0j j j 00 c¯11c¯22−c¯21c¯12 0j ∗j j j ∗j 0j c¯22 c¯20 c¯21 ¯b ¯b ¯b ∗j j j j 21 22 20 −c¯ c¯ c¯ c¯ ∗j ∗j 0j ∗j 20 12 ∗j 12 21 −¯b ¯b j ¯b ¯b (01) 0j c¯11 − 0j 22 11 ¯b − 20 11 c¯22 c¯22 ¯bj 10 ¯bj −c¯∗j c¯∗j 21 21 02 11 ¯∗j j b00 c¯12 j 0j ∗j c¯ c¯ c¯ ¯∗j ¯0j ¯j 21 22 20 b22 b20 b21 c¯∗j c¯0j −c¯∗j c¯∗j c¯j − 11 22 11 20 ¯bj ¯b∗j (12) 12 c¯j c¯j 10 11 21 21 ¯∗j¯∗j −c¯∗j c¯∗j c¯∗j −b11b00 02 11 20 ¯j ∗j 0j j j b10 c¯11c¯22−c¯21c¯12 0j ∗j j ∗j 0j j ¯b ¯b ¯b c¯20 c¯22 c¯21 20 22 21 −¯bj ¯b∗j ¯bj ¯bj j ∗j 10 22 ¯∗j 10 21 (012) c¯12 c¯11 ¯0j b11 − ¯0j ∗j ∗j b20 b20 −c¯02c¯11 −¯b∗j¯b∗j j 00 11 c¯12 ¯j b10 j ∗j 0j ¯j ¯0j ¯∗j c¯ c¯ c¯ b21 b20 b22 21 20 22 ∗j 0j ∗j ∗j ∗j ∗j 0j ∗j ¯b ¯b −¯b ¯b −c¯ c¯ j c¯ c¯ ¯j 11 20 11 22 (021) 11 20 c¯ − 22 11 b10 − ¯j ¯j c¯j 12 c¯j b21 b21 21 21 ¯∗j¯∗j¯∗j j −b00b11b22 c¯02 ¯ ¯0j ¯j ¯j b11b20−b10b21 ¯j ¯j ¯∗j ∗j j 0j b20 b21 b22 c¯ c¯ c¯ j j j ∗j 20 21 22 ∗j ¯b ¯b −¯b ¯b ∗j j ¯b − 10 21 10 22 (02) c¯ c¯ 11 ¯b0j ¯b0j 11 12 20 20 ∗j ¯∗j¯∗j¯∗j c¯ b00b11b22 02 ¯j ¯j ¯0j ¯∗j b21b10−b20b11
From the matrices in this table it is possible to compute the Fontaine-Laffaille invariants ofρ ¯ Chapter 1. Integral p-adic Hodge theory 45 directly. We obtain
f−|S| Q ∗j Q ¯∗j • if (1.7.2) holds then defining S as in (1.7.3) we have YS = (−1) j+2∈K c¯11 j+2∈/K b11.
1 |∂J| Q ¯∗j Q ¯∗j • if (1.7.4) holds and K = ∅ then XJc = (−1) 2 j+2∈J b11 j+2∈/J b22.
1 |∂J| Q ¯∗j Q ¯∗j • if (1.7.5) holds and K = ∅ then ZJc = (−1) 2 j+2∈J b00 j+2∈/J b11.
By comparing these items with the Frobenius eigenvalues computed just after (1.7.9) we com- plete the proof of Theorem 1.7.1.
Proposition 1.7.12. Assume ρ¯ ∈ (FLδ) with δ ≥ 5 and let ρ be a potentially crystalline lift of K0,2 ρ¯ of Hodge type µ and inertial type τ = τ(σ, K). Write D = Dst (ρ) and let λi ∈ E denote Ai f ∆=ωef the eigenvalue of ϕD on the isotypic component D .
1. Assume that (1.7.4) holds and K = ∅. Then
X X X ordp(λ1) = f + 1 + 1 + j j∈ /J j∈J j∈∂J j+1∈/J j+1∈/J xj =0 xj 6=0
where j ∈ (0, 1).
2. Assume that (1.7.5) holds and K = ∅. Then
X X X ordp(λ2) = 1 + 1 + j j∈ /J j∈J j∈∂J j+1∈/J j+1∈/J zj =0 zj 6=0
where j ∈ (0, 1).
∗ 3. Assume that ρ¯ ∈ (FLδ) and (1.7.2) holds and ∂J ⊆ K − 1. Then
X X 0 ordp(λ1) = f + j − j j∈ /∂J j∈ /∂J j+1∈K j+1∈K yj =0 yj βj −xj zj =0
0 where j, j ∈ (0, 1).
Proof. The method of proof is the same as the previous theorem, the difference being that the vanishing of the various Fontaine-Laffaille parameters implies that w(¯ρ, τ) will take dif- ferent values according to Proposition 1.6.2. We will show part 3 only, since the others are similar. Choose M and M as in the proof of Theorem 1.7.1. By Proposition 1.6.2(4) and the j corresponding column of Table 5 in [LLHLM18a] we can choose e and Ae such that
j • If j + 1 ∈ ∂J then Ae is exactly as in (1.7.7). Chapter 1. Integral p-adic Hodge theory 46
j • If j + 2 ∈/ K then Ae is exactly as in (1.7.8).
• If j + 1 ∈/ ∂J and yj+1 = 0 then
j j ∗j −1 j j e ∗j e ∗j c20c01(c21) c01 c02 + (u + p)c02 0 0 u c¯02 Aj = e ∗j j j e 0j ; A¯j = e ∗j e 0j e u c10 c11 c12 + (u + p)c12 e u c¯10 0 u c¯12 e j e ∗j j j ∗j −1 e 0j e ∗j e 0j u c20 u c21 c20c12(c10) + (u + p)c22 0 u c¯21 u c¯22
j j ∗j ∗j j j j j ∗j j 0j j ∗j ∗j satisfying the equations c11c20 = −pc10c21, c01c12 = c11c02, and c21c02 − c22c01 = pc21c02. j In particular ordp(c20) ∈ (0, 1).
• If j + 1 ∈/ ∂J and yj+1βj+1 − xj+1zj+1 = 0 then
j ∗j −1 j j e ∗j j e ∗j c00 (c20) c00c21 + (u + p)c01 c02 0 u c¯01 0 Aj = e 0j e ∗j ; A¯j = e ∗j 0 (u + p)c11 (u + p)c12 0 0 u c¯12 e ∗j e j j e 0j e ∗j e j e 0j u c20 u c21 c22 + (u + p)c22 u c¯20 u c¯21 u c¯22
j j ∗j j 0j j 0j 0j j ∗j ∗j ∗j ∗j satisfying the equations c00c22 = −pc20c02 and c11c00c22 − c11c02c20 = pc12c01c20. In 0j particular ordp(c11) ∈ (0, 1).
Exactly as in (1.7.9) we compute the Frobenius on D as
j s0(c2) · Mate(ϕD) =
( −c j−1) 2 t −1 00 p p t · σ Diag ∗(j−1) ∗(j−1) , ∗(j−1) , ( σj+1 j ∈ ∂J j+1 c c c c j−1) 02 20 11 00 2 ·tσ−1 Diag −p , p , −1 tσ j + 1 ∈/ K j+1 ∗(j−1) ∗(j−1) ∗(j−1) j+1 b22 b11 b00 ∗(j−1) −pc cj−1 −pcj−1 pcj−1 t −1 10 02 20 12 t · σ Diag ∗(j−1) , ∗(j−1) ∗(j−1) , ∗(j−1) σj+1 j∈ / ∂J, j + 1 ∈ K and yj = 0 j+1 cj−1cj−1c c c cj−1c 12 20 02 10 21 02 10 0(j−1) −pcj−1c pcj−1 ·tσ−1Diag 02 11 , p , 22 tσ j∈ / ∂J, j + 1 ∈ K and y β − x z = 0. j j−1 ∗(j−1) ∗(j−1) 0(j−1) j−1 ∗(j−1) j+1 j j j j c22 c01 c12 c11 c02 c20
This proves part 3 of the proposition.
Corollary 1.7.13. Let ρ¯ and ρ be as in the previous proposition. If there exists j0 such that xj0 = 0 then it is possible to choose J as in (1.7.4) and K = ∅ so that ordp(λ1) > 2f − |J|. If there exists j0 such that zj0 = 0 then it is possible to choose J as in (1.7.5) and K = ∅ so that ∗ ordp(λ2) > f −|J|. If ρ¯ ∈ (FLδ) and there exists j0 such that either yj0 = 0 or yj0 βj0 −xj0 zj0 = 0 then it is possible to choose J as in (1.7.2) and J ⊆ K so that ordp(λ1) 6= f.
Proof. If there exists j0 such that xj0 = 0, then sinceρ ¯ is nonsplit there must exist j1 such that xj1 6= 0. Choose J so that ∂J = {j0, j1} and j1 ∈ J. Then from Proposition 1.7.12(1) c we obtain ordp(λ1) = f + |J | + j0 > 2f − |J| and the claim follows. The proof of the second statement is similar using Proposition 1.7.12(2). Chapter 1. Integral p-adic Hodge theory 47
∗ Ifρ ¯ ∈ (FLδ) then pick J = ∅ so ∂J = ∅. If there exists j0 such that either yj0 = 0 or yj0 βj0 − xj0 zj0 = 0, define K = {j0 + 1}. Then we deduce the claim from Proposition 1.7.12(3). Chapter 2
Modular representation theory of GL3
In this chapter we are mainly interested in modular representations of the finite group GLn(Fq) when n = 3. Representations of these groups behave differently depending on the characteristic ` of the coefficient field. When ` 6= p (referred to as the cross-characteristic case), they are closely related to the characteristic 0 theory and studied by way of Deligne-Lusztig characters. This case is better understood than the alternative ` = p, which is called the defining characteristic case and which is the topic of this chapter. In this case the theory is closely tied to the representation theory of the algebraic group GLn, since we can view GLn(Fq) as the set of fixed points under the Frobenius morphism of the algebraic group. For example, one of the possible classifications of irreducible Fp-representations of GLn(Fq) (Proposition 2.2.1 below) makes use of this connection. The main result of this chapter is a statement about the nonvanishing of certain group algebra operators on mod p principal series representations of GL3(Fq) (Theorem 2.3.2). The proof makes heavy use of representations of algebraic groups. Accordingly we begin in Section 2.1 with an overview of some background on the representation theory of reductive algebraic groups (fairly general ones, despite the title of this chapter). Then in Section 2.2 we generalize a result first due to Pillen [Pil97] about restricting algebraic representations of reductive groups to finite subgroups. Although this result turned out to not be necessary for the remainder of the chapter (see Remark 2.5.8), it is closely related to the method of proof of our main result. For this reason, and because it may be of independent interest, we decided to leave it in. Section 2.3 we state the main result Theorem 2.3.2 of this chapter. Since the proof is long and technical, we also include in this section an overview of the strategy. In Section 2.4, we review the necessary background material and then proceed with the proof in Section 2.5. The final section is in a somewhat different vein than the others. In it we study how lifts of the group algebra operators to characteristic 0 behave on smooth principal series representations of GL(Qpf ).
48 Chapter 2. Modular representation theory of GL3 49
Throughout this section let Fp be an algebraic closure of the prime field Fp, and fix a choice of embedding ωf : Fq ,→ Fp via which we consider Fq as a subfield of Fp. When we speak of a representations V of an algebraic group G defined over Fp, we in particular envision V as an Fp-module with an action of G(Fp). A choice of Fq-structure via ωf on G then induces an action of G(Fq) on V .
2.1 Representations of reductive groups
In this section we recall some important facts about representations of split reductive groups. All references in this section are to [Jan03] unless otherwise noted. Let G be a reductive group defined and split over a field k, which for the moment is arbitrary. In fact all such groups arise via base change from Z. Let T ⊆ G be a k-split maximal torus. This choice determines a root datum (X(T ),R,Y (T ),R∨, h , i) where R ⊂ X(T ) is the set of roots together with a Weyl group W acting on X(T ). Choose a positive system R+ ⊂ R with associated simple roots S. This determines a Borel subgroup B = TU (whose roots are R+, note this is opposite the convention of [Jan03]). The irreducible G-modules may be classified in terms of T and R+: let X(T )+ = {λ ∈ X(T ): hλ, α∨i ≥ 0 ∀α ∈ R+} be the set of dominant weights with respect to R+. The isomorphism classes of irreducible G-modules are in bijection with X(T )+. We write L(λ) for the module corresponding to λ ∈ X(T )+. It is uniquely determined among the irreducible modules by the fact that it has a (unique up to scalar) weight λ vector killed by U (II.2.7). We call a vector with this property (in any G-module) a highest weight vector of weight λ. For any λ ∈ X(T )+ there exists a G-module V (λ) universal for the property that it is generated by a highest weight vector of weight λ (II.2.13). Hence L(λ) = cosoc(V (λ)). It is called a Weyl module of highest weight λ. Its character (as a T -module) is given by the well-known Weyl character formula involving ρ ∈ X(T )⊗Z Q which is defined to be half the sum of the positive roots (II.5.10). We define the dot action of W on X(T ) by w · λ = w(λ + ρ) − ρ. If char(k) = 0 then V (λ) = L(λ) is irreducible. Now suppose that k is a perfect field of characteristic p. Since G arises via base change from Z, it also arises via base change from Fp and hence has a Frobenius morphism F : G → G. n This gives rise to the Frobenius kernels Gn := ker(F ) ≤ G. We get a restriction functor
Rep(G) → Rep(Gn); G-modules are often studied this way. We also get a notion of Frobenius twist: if V is a G-module then V [n] denotes the twist of V by F n. An important result is + Steinberg’s factorization theorem (II.3.16), which says that if λ ∈ Xn(T ) and µ ∈ X(T ) then n ∼ [n] + L(λ + p µ) = L(λ) ⊗ L(µ) . Here, for any positive integer n we define Xn(T ) = {λ ∈ X(T ) : hλ, α∨i < pn ∀α ∈ S}. In particular by induction we have
n n X j ∼ O [j] L λjp = L(λj) j=0 j=0 Chapter 2. Modular representation theory of GL3 50
for λ1, . . . , λn ∈ X1(T ).
The irreducible GnT -modules are in bijection with X(T ) (II.9.6). For λ ∈ X(T ) we write ∼ Lbn(λ) for the associated irreducible. If λ ∈ Xn(T ) then L(λ)|GnT = Lbn(λ)(loc. cit.). We n remark that if Xn(T ) is a system of representatives for X(T )/p X(T ) (which is the case below) then for µ ∈ X(T )+ and λ ∈ X(T )
∼ n L(µ)|GnT = Lbn(λ) ⇒ µ − λ ∈ p X(T ). (2.1.1)
n + [n] To see this, write µ = µ0 + p µ1 with µ0 ∈ Xn(T ), µ1 ∈ X(T ) . Note that L(µ1) |GnT = L pnν, so by Steinberg’s factorization theorem and II.9.6(f) we have ν∈L(µ1)
∼ M n L(µ)|GnT = Lbn(µ0 + p ν)
ν∈L(µ1) and (2.1.1) follows.
We write Qbn(λ) for the injective hull of Lbn(λ) in the category of GnT -representations. If p ≥ 2h − 2, where h is the Coxeter number of G (defined below) and λ ∈ Xn(T ) then Qb(λ) has a unique G-module structure, which in fact makes it the injective hull of L(λ) in the full subcategory of pn-bounded G-modules (this term is also defined below). In particular socG(Qb(λ)) = L(λ). See II.11.11 for these results. Many results in the representation theory of G make use of the geometry of the system of facets and alcoves in X(T ) under the dot action of the p-affine Weyl group Wp := pR o W . An alcove is a set of the form
∨ + {λ ∈ X(T ):(nα − 1)p < hλ + ρ, α i < nαp ∀α ∈ R } for some collection of integers (nα)α∈R+ . The closure of any alcove (i.e. replace the < by ≤ in the definition) is a fundamental domain for the action of Wp on X(T ) and Wp permutes the alcoves simply transitively (II.6.1(5)). Any two weights in the same Wp-orbit are said to 1 be linked. The linkage principle (II.6.17) says that if ExtG(L(µ),L(λ)) 6= 0 then λ and µ are linked. Since it is also true that irreducible modules exhibit no self-extensions (II.2.12(1)), it 1 follows that ExtG(L(µ),L(λ)) = 0 for any µ, λ lying in the same alcove.
2.2 Restriction of algebraic representations to finite subgroups
The goal of this section is to prove a theorem about restricting algebraic representations of a reductive group G to a finite subgroup Γ (Proposition 2.2.2), generalizing work of Pillen /Fp ([Pil97], Lemma 3.1) who showed it in the split case. Since the main result of this section won’t be used in the sequel, the reader won’t lose anything by skipping its proof. However, we do use some of the preparatory material in this section later on. The reason for our interest in this problem is best illustrated by referring to the summary of proof of the main result in Chapter 2. Modular representation theory of GL3 51
Section 2.3. There we make use of the device of embedding a representation of Γ = GL3(Fq) into a representation of the algebraic group G = Qf−1 GL . Now it is clear that Γ can be j=0 3/Fp thought of as the set of fixed points of the Frobenius morphism Frobf on GL coming from 3/Fp the standard Fq-structure on the latter. In this case, when the finite subgroup is the fixed points of a Frobenius morphism coming from an Fq-structure on G with respect to which G is split, Pillen’s theorem applies. But for technical reasons, we really do want to embed Γ into the product group G which involves thinking of Γ as the set of fixed points for the Frobenius coming from the nonsplit Fp-structure on G given by ResFq/Fp (GL3). In fact the ideas in Pillen’s proof work in this generality and the differences are largely technical, but there are some small modifications to his argument. Moreover Pillen only considers the case of G semisimple and simply connected, so at the same time we extend the result to the case when G is reductive with simply connected derived subgroup. We remark that [LLHLM18b] also extends Pillen’s original result to the case of split GL3/Fq via a different method. Again in this section all references are to [Jan03] unless otherwise noted. For the remainder of the section let G be a connected reductive algebraic group defined 0 + and split over Fp such that the derived group G is simply connected. Let T,R,R , S, W be 0 0 as in Section 2.1. Then T1 := T ∩ G is a split maximal torus of G . The restriction map 0 X(T ) → X(T1) is surjective and identifies the roots R and the Weyl groups W of G and G . It will be denoted by a bar: µ 7→ µ¯. Its kernel is X0(T ) = {µ ∈ X(T ): hµ, α∨i = 0 ∀α ∈ W 0 0 R} = X(T ) . Since G is simply connected, for any simple root α ∈ S there exists ωα ∈ X(T ) 0 ∨ satisfying hωα, β i = δα,β for all β ∈ S. This element is any choice of lift of the fundamental 0 0 0 P 0 weight ωα for G , and is therefore unique up to an element of X (T ). Define ρ = α∈S ωα. We define the dot action of the extended p-affine Weyl group Wfp := pX(T ) o W on X(T ) by 0 0 0 w · µ = w(µ + ρ ) − ρ . Note that this is independent of the choice of lifts ωα. Ff−1 ∨ Decompose R = j=0 Rj into irreducible components, and let α0,j denote the longest ∨ ∨ positive coroot of Rj. Then λ ≤ µ in X(T ) implies hλ, α0,ji ≤ hµ, α0,ji for each j and for + ∨ ∨ + λ ∈ X(T ) := {λ ∈ X(T ) | hλ, α i ≥ 0 ∀α ∈ S} we have hλ, α0,ji ≥ 0. Moreover if λ ∈ X(T ) ∨ ∨ + Pf−1 ∨ 0 then hλ, α i ≤ max0≤j≤f−1hλ, α0,ji for each α ∈ R , and j=0 hλ, α0,ji = 0 iff λ ∈ X (T ). Let 0 ∨ + h = max{hρ , α i + 1 | α ∈ R } be the maximum among the Coxeter numbers of the Rj. For Qf−1 example, in the case G = j=0 GLn, h = n. We say that a weight λ ∈ X(T ) is δ-deep in its alcove, or just is δ-deep, if hλ + ρ0, α∨i ∈ [δ, p − δ] mod p for all α ∈ R+.A G-module is said to be δ-deep if the highest weights of all of its irreducible factors are δ-deep. We call a G-module pn-bounded if all the highest weights ∨ n of its irreducible factors µ satisfy hµ, α0,ji < 2p (h − 1) for each 0 ≤ j ≤ f − 1. This implies that G is pn-bounded in the sense of [Jan03] p.333. 0 + n Since G is semisimple and simply connected, each λ ∈ X(T ) may be written as µ0 + p µ1 + where µ0 ∈ Xn(T ) and µ1 ∈ X(T ) (II.3.15, Remark (2)). In particular (2.1.1) holds. Let π be a finite-order automorphism of the based root datum of G given by the choice of + ∨ R . Since it preserves h , i and the set of (simple) roots by definition, it permutes the α0,j and Chapter 2. Modular representation theory of GL3 52
0 0 0 0 preserves X (T ). It moreover permutes the ωα and preserves ρ , both up to elements of X (T ), and hence preserves the dot action. It permutes W , and preserves ≤. If we fix a pinning (xα)α∈R of G as in II.1.2, then by Theorem II.1.15 it follows that π may be lifted to an automorphism −1 of (G, B, T, xα) over Fp such that, using π for both maps, we have π(λ) = λ ◦ π |T . It necessarily commutes with the Frobenius endomorphism of G, since Frobn ◦π and π ◦ Frobn induce the same map Uα → Uπ(α) and by II.1.3(10). Identifying G with its Fp-points, we let n n F F = Frob ◦π = π◦Frob and set Γn = G . This is a finite group, which is the set of Fpn -points of a form of G defined over Fpn (see Proposition 1.4.27 in [GM]). In fact the map taking π to this form induces a bijection between conjugacy classes of finite-order automorphisms of the based root datum and forms of G defined over Fpn . This is seen using the Galois cohomology classification of forms of G. Any G-module becomes a Γn-module by restriction. The next result is Proposition 1.3 of the Appendix in [Her09].
Proposition 2.2.1. If λ ∈ Xn(T ) then L(λ) restricts to an irreducible representation of Γn ∼ 0 0 n 0 and L(λ)|Γn = L(λ )|Γn iff λ − λ ∈ (p − π)X (T ). All irreducible Fp-representations of Γn arise this way.
We write F (λ) = L(λ)|Γn and let Un(λ) be the injective hull of F (λ) in the category of Fp[Γn]- modules. The main result of this section is the next proposition.
Proposition 2.2.2. Assume that h ≥ 2 and let δ ∈ (0, p − h) be an integer. Let V be a G- ∨ n module such that each irreducible constituent L(µ) of V obeys max0≤j≤f−1hµ, α0,ji < δp . If V is (δ + h − 1)-deep, soci (V ) = soci (V ) for all i ≥ 1. G Γn The proof of this proposition closely follows the proof of Lemma 3.1 of [Pil97], which is the case where G is semisimple and π = id. However, since the proof therein references multiple sources and because there are some small but nontrivial modifications to be made as well as a small gap to be filled, we have opted to present the complete argument. The first part of the next result is often known as the “translation principle” or the “tensor product theorem”.
Proposition 2.2.3. Suppose that λ ∈ X(T )+ lies in the interior of a p-alcove and that ν ∈ X(T )+ is small enough so that λ + ν0 lies in the same alcove as λ for all weights ν0 of L(ν). Then M 0 L(λ) ⊗ L(ν) = dim(L(ν)ν0 ) · L(λ + ν ). ν0∈L(ν)
Moreover if λ ∈ Xn(T ) then
M 0 Qbn(λ) ⊗ L(ν) = dim(L(ν)ν0 ) · Qbn(λ + ν ) ν0∈L(ν) as GnT -modules, and if p ≥ 2h − 2 then also as G-modules. Chapter 2. Modular representation theory of GL3 53
Proof. The first isomorphism is well-known in this generality: see [Hum06] Proposition 6.4.
The second isomorphism of GnT -modules follows exactly as in [Pil93], Lemma 5.1. In order to upgrade it to an isomorphism of G-modules, we proceed as follows: the right hand side is injective in the full subcategory of pn-bounded G-modules. The G-socle of the right-hand side is L 0 ν0∈L(v) dim(L(ν)ν0 )·L(λ+ν ) and this injects into the left hand side by the first isomorphism. n Since Qbn(λ) ⊗ L(ν) is p -bounded (II.11.11), injectivity gives an inclusion of G-modules from the right-hand side to the left; by comparing dimensions it must be an isomorphism.
We start with the easier inclusion, whose proof is essentially the same as Lemma 2.3 of [Pil97].
Lemma 2.2.4. Let V be a G-module and δ ≥ 1 an integer such that each irreducible constituent L(µ) of V obeys hµ, α∨ i < δpn for each 0 ≤ j ≤ f −1. If V is δ-deep then soci (V ) ⊆ soci (V ) 0,j G Γn for all i ≥ 1.
Proof. Since the hypotheses on V are preserved under taking quotients, it suffices to show that socG(V ) is completely reducible as a Γn-module. The G-socle of V is a direct sum of modules n ∼ [n] + L(µ0 + p µ1) = L(µ0) ⊗ L(µ1) where µ0 ∈ Xn(T ) and µ1 ∈ X(T ) . As a Γn-module this is isomorphic to L(µ0) ⊗ L(π(µ1)). Since V is δ-deep, µ0 has distance ≥ δ from any alcove wall ∨ + and by assumption we must have hµ1, α i < δ for all α ∈ R . Since π preserves the positive ∨ + roots, it follows that hπ(µ1), α i < δ for all α ∈ R . Now Proposition 2.2.3 implies that
L(µ0) ⊗ L(π(µ1)) is a direct sum of irreducible algebraic representations with highest weights in the same alcove as that of µ0. In particular they are in Xn(T ). Therefore L(µ0) ⊗ L(π(µ1)) is a semisimple Γn-representation by Proposition 2.2.1.
Proposition 2.2.5. Let λ ∈ Xn(T ). Let p be an odd prime. Assume that p ≥ 2h − 2 so that Qbn(λ) has a unique G-module structure. If λ is δ-deep in its alcove, where 1 ≤ δ := 0 ∨ max0≤j≤f−1hρ , α0,ji = h − 1 then Qbn(λ)|Γn = Un(λ).
Proof. By [Jan81], 2.10, Un(λ) occurs with multiplicity 1 inside Qbn(λ) and it is enough to n 0 show that if µ ∈ Xn(T ) is such that µ − λ∈ / (p − π)X (T ) then we have [L(µ) ⊗ L(π(ν)) : n + n L(p ν + λ)]G = 0 for all ν ∈ X(T ) . If this was nonzero we would have p ν + λ ≤ µ + π(ν), n ∨ hence (p − π)ν ≤ µ − λ. Choose j such that hν, α0,ji is maximal. Then
n ∨ n ∨ ∨ n 0 ∨ (p − 1)hν, α0,ji ≤ h(p − π)ν, α0,ji ≤ hµ − λ, α0,ji < (p − 1)hρ , α0,ji
∨ where the last inequality is because µ, λ ∈ Xn(T ) and λ is 1-deep in its alcove. Thus maxjhν, α0,ji < δ. It follows that hπν, α∨i ∈ [0, δ) for each α ∈ R+. n n Now if [L(µ) ⊗ L(π(ν)) : L(p ν + λ)]G 6= 0 then [L(µ) ⊗ L(π(ν)) : p ν ⊗ L(λ)]GnT 6= 0. Since Qbn(λ) is the projective envelope of L(λ) in the category of GnT -modules (II.11.5(3)), we get a n nonzero map Qbn(λ) → L(µ − p ν) ⊗ L(πν). Therefore
∨ n HomGnT (Qbn(λ) ⊗ L(πν) ,L(µ − p ν)) 6= 0. Chapter 2. Modular representation theory of GL3 54
Since λ is δ-deep, we get by the translation principle
0 n HomGnT (Qbn(λ + ν ),L(µ − p ν)) 6= 0 for some weight ν0 ∈ L(πν)∨. By (2.1.1) this implies that µ and λ + ν0 differ by an element n 0 n 0 of p X(T ). But since µ, λ + ν ∈ Xn(T ), they actually differ by an element of p X (T ), say µ = λ+ν0 +pnz. It follows that pnν +λ ≤ µ+πν = λ+ν0 +πν +pnz, hence (pn −π)ν ≤ ν0 +pnz. Picking j as before we have
n ∨ 0 n ∨ 0 ∨ ∨ ∨ (p − 1)hν, α0,ji ≤ hν + p z, α0,ji = hν , α0,ji ≤ h−w0πν, α0,ji ≤ hν, α0,ji.
∨ 0 Since p 6= 2 it follows that hν, α0,ji = 0 which implies by the choice of j that ν ∈ X (T ). But then L(µ) ⊗ L(π(ν)) = L(µ + πν) so we obtain λ + pnν = µ + πν, hence µ − λ ∈ (pn − π)X0(T ), which is a contradiction.
Now we prove Proposition 2.2.2. Note since V is (h − 1)-deep, we automatically have p ≥ 2h − 2.
Proof. Since the hypotheses on V are preserved under taking quotients, we just need to show L n that the socles coincide. Assume that socG(V ) = L(λ0 + p λ1) where each λ0 ∈ Xn(T ) + n n n and λ1 ∈ X(T ) . Note that L(λ0 + p λ1) = L(λ0) ⊗ L(p λ1) ,→ Qbn(λ0) ⊗ L(p λ1). The L n first step is to show that the embedding socG(V ) ,→ N := Qbn(λ0) ⊗ L(p λ1) extends to all n of V . It is enough to show that for each composition factor L(µ) = L(µ0 + p µ1) of V that 1 n ExtG(L(µ), Qbn(λ0) ⊗ L(p λ1)) = 0 because of the exact sequence 1 V · · · → HomG(V,N) → HomG(socG V,N) → ExtG ,N = 0. socG V
n Since the Qbn(·) are injective Gn-modules, so are the Qbn(λ0) ⊗ L(p λ1) by I.3.10(c) and one n has for µ = µ0 + p µ1 that
1 n 1 [n] [n] ExtG(L(µ), Qbn(λ0) ⊗ L(p λ1)) = ExtG(L(µ1) , Hom(L(µ0), Qbn(λ0) ⊗ L(λ1) ))
[n] [n] since this is a general property of Ext. Since Gn acts trivially on L(µ1) we have HomG(L(µ1) , −) = Gn HomG/Gn (L(µ1), (−) ) so passing this equality to the derived functors we obtain that the above is equal to
Ext1 (L(µ )[n], Hom (L(µ ), Q (λ ) ⊗ L(λ )[n])) G/Gn 1 Gn 0 bn 0 1 = Ext1 (L(µ )[n], Hom (L(µ ), Q (λ )) ⊗ L(λ )[n]). G/Gn 1 Gn 0 bn 0 1
Now since socGn (Qbn(λ0)) = L(λ0)|Gn , if HomGn (L(µ0), Qbn(λ0)) is nonzero we must have n n 0 µ0 −λ0 = p ν ∈ p X (T ). Then the Hom space is 1-dimensional by II.3.10(3). Since it contains Chapter 2. Modular representation theory of GL3 55
HomG(L(µ0), Qbn(λ0)), which is nonzero, the two must be equal and hence HomGn (L(µ0), Qbn(λ0)) is the trivial G-module. So in this case the Ext space reduces to Ext1 (L(µ )[n],L(λ )[n]) = G/Gn 1 1 1 ∨ ∨ ExtG(L(µ1),L(λ1)). The boundedness condition on V implies that hλ1, α i, hµ1, α i ∈ [0, δ) + for all α ∈ R . Since δ < p − h both λ1 and µ1 lie in the lowest alcove and hence this space of extensions is 0 as desired. L We know from Proposition 2.2.4 that the Γn-socle contains the G-socle of V . Since L(λ0)⊗ n L n L(p λ1) = socG V ⊆ socG N ⊆ socΓn N, if we can show that L(λ0) ⊗ L(p λ1) is equal to the
Γn-socle of N then we will be done because socΓn V sits between socG V and socΓn N. Therefore n n we just need to show that the Γn-socle of Qbn(λ0) ⊗ L(p λ1) is equal to L(λ0) ⊗ L(p λ1). n ∨ As a Γn-module, Qbn(λ0) ⊗ L(p λ1) is equal to Qbn(λ0) ⊗ L(π(λ1)). We have hπ(λ1), α i ∈ + [0, δ) for all α ∈ R , and the deepness on V implies that λ0 is (δ + h − 1)-deep. It follows by the translation principle that as a G-module we have
M 0 Qbn(λ0) ⊗ L(π(λ1)) = dim(L(πλ1)ν0 ) · Qbn(λ0 + ν ). 0 ν ∈L(πλ1)
0 All the weights λ0 + ν are still (h − 1)-deep. By Proposition 2.2.5, restricting this to Γn we get
M 0 dim(L(πλ1)ν0 ) · Un(λ0 + ν ) 0 ν ∈L(πλ1)
L 0 which has Γ -socle equal to 0 dim(L(πλ ) 0 ) · L(λ + ν ). By the translation principle, n ν ∈L(πλ1) 1 ν 0 this is the restriction to Γn of L(λ0) ⊗ L(πλ1) which is the same as the restriction to Γn of n L(λ0) ⊗ L(p λ1). This proves the claim.
2.3 Summary of main results
Qf−1 From now on we specialize the notation of the previous section to the case where G = j=0 GL3 and T and B are the standard diagonal torus and upper-triangular Borel respectively. We 3 f f−1 3 identify X(T ) with (Z ) and L(λ) with j=0 L(λj), adopting the convention that when λj ∈ Z , L(λj) refers to the irreducible representation of the jth factor GL3 of highest weight λj. Let f−1 f−1 π : G → G be the left shift automorphism (gj)j=0 7→ (gj+1)j=0 . The map
f f−1 g 7→ (Frob (ωf (g)), Frob (ωf (g)),..., Frob(ωf (g))) (2.3.1)
∼ is an isomorphism GL3(Fq) −→ Γ1 and we let F (λ) denote the irreducible representation of GL3(Fq) coming from Proposition 2.2.1 via this isomorphism. Thus F (λ) is characterized by the P λi pj N2 j f−j fact that it has a B3(Fq)-invariant vector on which T3(Fq) acts by the character i=0 ωf . 2 1 0 f−1 3 f Let (aj , aj , aj )j=0 ∈ (Z+) be a tuple of integers satisfying (1.1.3). Throughout this chapter Chapter 2. Modular representation theory of GL3 56 and the next, we are interested in a particular Serre weight
0 1 2 f−1 F0 := F ((−aj − 1, −aj , −aj + 1)j=0 ).
The next theorem is the main result of this chapter. It is easy to see that for any distinct × characters χi : Fq → Fp the space of B3(Fq)-invariant vectors upon which T3(Fq) acts by GL3(Fq) χ0 ⊗χ1 ⊗χ2 in the principal series representation π = Ind (χ0 ⊗χ1 ⊗χ2) is 1-dimensional. B3(Fq) We refer to any nonzero element of this subspace (somewhat abusively) as a highest weight vector of π.
f Theorem 2.3.2. For σ ∈ S3 and K ⊆ {0, . . . , f − 1} define a principal series type τ = L2 Ai i τ(σ, K) = i=0 ωef as in Definition 1.6.1. Assume that the integers aj satisfy (1.1.3) with 0 δ ≥ 15. In each case below, we define operators Sτ ,Sτ ∈ Fp[GL3(Fq)].
1. Assume that id if j ∈ J σj = (2.3.3) (02) if j∈ / J
for some J ⊆ {0, . . . , f − 1} and that J ⊆ K and K 6= ∅. Define
σ−1 (2) P f−j 0 j X (p−a +a −δf−j+1∈/K )p Sτ = ωf (x) j f−j f−j x,y,z∈Fq 1 x y 1 P (p−a2 +a1 )pj j f−j f−j · ωf (z) 1 z 1 1 1
and
P 1 0 j 0 X j (p−af−j +af−j )p Sτ = ωf (x) x,y,z∈Fq σ−1 (0) 1 x y 1 P (p−a2 +a f−j −δ )pj j f−j f−j f−j+1∈/K · ωf (z) 1 z 1 . 1 1
Let π = IndGL3(Fq) ω−A1 ⊗ ω−A0 ⊗ ω−A2 and π0 = IndGL3(Fq) ω−A0 ⊗ ω−A2 ⊗ ω−A1 B3(Fq) f f f B3(Fq) f f f and write v, v0 for their highest weight vectors respectively.
0 0 0 Then Sτ v and Sτ v are nonzero in the unique quotients of π and π with socle F0, respec- tively.
2. Assume that id if j ∈ J σj = (2.3.4) (01) if j∈ / J Chapter 2. Modular representation theory of GL3 57
and that K = ∅. Define
1 x y 1 X P (p−a1 +a0 )pj f−j∈J f−j f−j Sτ = ωf (x) 1 1 x,y∈Fq 1 1
and 1 x 1 X P (p−a1 +a0 )pj 0 f−j∈ /J f−j f−j Sτ = ωf (x) 1 1 . x∈Fq 1 1 Write π = IndGL3(Fq) ω−A0 ⊗ ω−A2 ⊗ ω−A1 and π0 = IndGL3(Fq) ω−A1 ⊗ ω−A0 ⊗ ω−A2 . B3(Fq) f f f B3(Fq) f f f 0 0 0 Then the images of Sτ v and Sτ v are nonzero in the unique quotient of π and π with socle F0 respectively.
3. Assume that id if j ∈ J σj = (2.3.5) (12) if j∈ / J
and that K = ∅. Define
1 y 1 X P (p−a2 +a1 )pj f−j∈ /J f−j fj Sτ = ωf (z) 1 z 1 . y,z∈Fq 1 1
and 1 1 X P (p−a2 +a1 )pj 0 f−j∈J f−j f−j Sτ = ωf (z) 1 z 1 . z∈Fq 1 1 Let π = IndGL3(Fq) ω−A2 ⊗ ω−A0 ⊗ ω−A1 and π0 = IndGL3(Fq) ω−A0 ⊗ ω−A1 ⊗ ω−A2 B3(Fq) f f f B3(Fq) f f f 0 0 0 with highest weight vectors v, v , respectively. Then Sτ v and Sτ v are nonzero in the 0 unique quotients of π and π with socle F0, respectively.
Notation 2.3.6. In each of the cases considered in this theorem, we define ς = ς(τ) ∈ S3 to −A −A −A be the permutation such that π = IndGL3(Fq) ω ς(0) ⊗ ω ς(1) ⊗ ω ς(2) . B3(Fq) f f f
Remark 2.3.7. It is not obvious that F0 is actually an irreducible constituent of any of these principal series, but it may be deduced from either [GHS], Proposition 10.1.7, or the results of
[LLHLM18b] on the submodule structure of principal series for GL3(Fq). However, we don’t need these results because it also follows from the proof of the theorem. In fact, the choice of types τ in Definition 1.6.1 was motivated by the fact that the princi- GL3(Fq) A0 A1 A2 pal series representations Ind ω ⊗ ω ⊗ ω are the only ones containing F0 as a B3(Fq) f f f Jordan-H¨olderfactor, as can be checked using [GHS] Proposition 10.1.7. Chapter 2. Modular representation theory of GL3 58
j Remark 2.3.8. If the integers ai satisfy (1.1.3) when δ ≥ 15, then Theorem 1.3.1 of [LLHLM18b] implies that for any of the principal series representations π, π0 in Theorem 2.3.2 all Jordan-
H¨olderconstituents occur with multiplicity 1. In particular, given that F0 is constituent, there exists a unique quotient with irreducible socle F0. 0 Remark 2.3.9. Taking f = 1, τ as in (1.7.2) and K = {0}, the operators Sτ and Sτ recover the operators denoted S and S0 in [HLM17]. Remark 2.3.10. While we have been working with algebraically closed coefficients, the irre- ducible representations F (λ) may all be defined over Fp so the Theorem is equally valid over a finite subfield F ⊆ Fp containing the image of ωf . The method of proof of this theorem is to embed π and π0 into well-chosen Weyl modules f−1 0 V = j=0 V (λj) for G, and then interpret the action of the operators Sτ and Sτ by way of the distribution algebra of G. Since the structure of Weyl modules for GL3 is known in the cases we need, this allows us to do explicit computations to prove nonvanishing of the group algebra operators. This technique was inspired by [Pil97] and [LLHLM18b], which both embed principal series representations into algebraic representations, the latter deducing the entire submodule structure of (sufficiently generic) principal series representations of GL3(Fq).
However, [LLHLM18b] embed principal series into Weyl modules for split GL3/Fq . Using the product group G with the nonsplit Fp-structure above allows for simplifications to their set- up and in particular makes the kind of computations we want to do feasible. Our method of computation was also inspired by [Irv86], which determines the submodule structure of certain
Weyl modules for SL3. We need the following general lemmas.
Lemma 2.3.11. Let G1 and G2 be split reductive groups over a field k. If Li is a simple module for Gi (i = 1, 2), then L1 L2 is a simple module for G1 × G2. Moreover, every simple module for G1 × G2 is of this form for unique L1,L2.
Proof. If N ⊆ L1 L2 is a G1 × G2-submodule, then picking a k-basis of L2, we have N ⊆ ∼ n L1 L2 = L1 as a G1-module. The image of N under this isomorphism must be a sub-direct n sum of L1 by [Jan03] II.2.8, so we must have N = L1 W for some k-subspace W ⊆ L2. If φ⊗1 φ : L1 → k is any nonzero linear functional, then the image of N ⊆ L1 L2 −−→ L2 is W . On the other hand, this map is G2-equivariant. It follows that W is a G2-submodule of L2 and hence W = L2. This proves that L1 L2 is simple. If Ti ⊂ Gi are split maximal tori then T1 ×T2 is a split maximal torus of G1 ×G2. Identifying + + + X(T1 ×T2) = X(T1) ×X(T2) for some choice of positive roots, it is clear that L(λ1)L(λ2) has highest weight (λ1, λ2), so the other statements follow.
Corollary 2.3.12. In the situation of the previous Lemma let Mi be a finite dimensional Gi- module, and for simplicity assume that the Jordan-H¨olderconstituents of Mi all occur with multiplicity 1 (i = 1, 2). Then the Jordan-H¨olderconstituents of M1 M2 are exactly the Chapter 2. Modular representation theory of GL3 59
L1 L2 where Li is a constituent of Mi each occurring with multiplicity 1, and the submodule lattice of M1 M2 is the product lattice of the submodule lattices of M1 and M2.
Proof. The first claim about the Jordan-H¨olderconstituents is easy to prove by induction on the length of M1 and M2, using the Lemma (which is the length 1 case). For the second, it now suffices to show that for each constituent L1 L2, if Qi denotes the unique quotient of Mi having socle Li, then Q1 Q2 is the unique quotient of M1 M2 having socle L1 L2. It is clear that Q1 Q2 is a quotient of M1 M2 having L1 L2 in its socle, so it suffices to 0 0 0 prove that the socle is irreducible. But if L1 L2 ,→ Q1 Q2 for some irreducibles Li, then 0n m considering the G1 module structure on both sides we obtain L1 ,→ Q1 for some m, n ≥ 1, 0 0 which implies L1 = L1. Similarly L2 = L2 and we are done.
2.4 Weyl modules and the distribution algebra
In this section we recall facts about Weyl modules for the algebraic group GL and their 3/Fp 0 Z-forms. Let G0 = GL3/Z, and let G0 = SL3/Z be the derived subgroup. We consider the standard diagonal torus T3 and upper-triangular Borel B3 in G0, with root system R. Identify 3 X(T3) with Z , and let α = (1, −1, 0) and β = (0, 1, −1) denote the simple positive roots and + γ = (1, 0, −1) the nonsimple positive root. For δ ∈ R write sδ for the corresponding reflection 0 in the Weyl group and let w0 = sαsβsα denote the longest element. For each δ ∈ R let Uδ ≤ G0 ∼ denote the standard root subgroup; we fix a pinning (xδ : Ga/Z −→ Uδ)δ∈R as in [Jan03] II.1.2 such that xδ(1) is a matrix having all entries equal to 0 or 1. This choice gives rise to raising and lowering operators X±α,X±β,X±γ and weight operators Hα,Hβ,Hγ = Hα + Hβ inside the 0 distribution algebra U := Dist(G0). We refer to [Jan03] for the definition of the distribution algebra. By [Jan03] II.1.12, U is the Z-subalgebra of the universal enveloping C-algebra of 0 (n) n Lie(G0) generated by elements X±δ := X±δ/n! and Hα,m,Hβ,m with n, m ∈ N, δ ∈ {α, β, γ}, Hδ where Hδ,m := m . It is free over Z with basis given by
(nα) (nγ ) (nβ ) (n−α) (n−γ ) (n−β ) Xα Xγ Xβ Hα,mα Hβ,mβ X−α X−γ X−β
+ (nδ) + for n±δ, mδ ≥ 0. We let U denote the subalgebra of U generated by Xδ with δ ∈ R , nδ ≥ 1 − + 0 and similarly for U with δ ∈ −R . Moreover we have Dist((G ) ) = U ⊗ p. 0 Fp Z F + By definition we have [Xδ,X−δ] = Hδ for δ ∈ R . With our choice of pinning, we also have for example
[Xβ,X−γ] = X−α and [X−β,X−α] = X−γ. (2.4.1)
The following elementary lemma applies to U and therefore also to U by noting that X Fp δ1 and Xδ2 commute whenever δ1 + δ2 is not a root and nonzero. We will use it heavily in the calculations of Section 2.5.
Lemma 2.4.2. Let A be a ring of characteristic 0. For x ∈ A, write x(n) = xn/n!. If a, b ∈ A Chapter 2. Modular representation theory of GL3 60 and [a, b] = γ, where = ±1 and γ commutes with a and b, then for all m, n ≥ 1 we have
min(m,n) X a(m)b(n) = `b(n−`)a(m−`)γ(`). `=0
Proof. By induction.
Any G0-module (resp. (G0) -module) has the structure of a U-module (resp. U -module) Fp Fp + by restriction. If V is a G0-module and λ a weight, then for δ ∈ R , Hδ,m acts by the scalar hλ,δ∨i (n) m on Vλ. Moreover, X±δ maps Vλ → Vλ±nδ. The same is true over Fp. This implies the next lemma.
Lemma 2.4.3. If V is a G0- or (G0) -module and v ∈ V is a weight vector, then Fp
(n) (n) ∨ (n−1) XδX−δ v = X−δ Xδv + [hwt(v), δ i − (n − 1)]X−δ v for any δ ∈ R+.
Proof. By induction using the above remarks.
The formula in the next lemma may be thought of as a Taylor expansion.
Lemma 2.4.4. If V is a (G0) -module and v ∈ V then for δ ∈ R and u ∈ p we have Fp F
X i (i) xδ(u)v = u Xδ v. i≥0
Proof. This is II.1.19(6) in [Jan03].
Remark 2.4.5. In the formula above, 00 is interpreted as 1. This plays a role below. 3 Next we recall some facts about Weyl modules. If λ ∈ Z is a dominant weight let V (λ)Z denote the integral Weyl module for G0 of highest weight λ, defined in [Jan03] II.8.2, and set
V (λ) := V (λ)Z ⊗ Fp. Briefly, V (λ)Z is defined to be the finitely generated Z-module generated by Dist(G0)v where v is a highest weight vector inside the Weyl module of GL3/Q of highest weight λ. This is G0-stable and it is well known (loc. cit.) that V (λ) is then the Weyl module of highest weight λ for (G0) defined by the same symbol in Section 2.1. We note that V (λ)| 0 Fp G0 0 is equal to the corresponding Weyl module for G0. This is important because some of the references below only work with semisimple groups and this fact allows us to extend results from SL3 to GL3. For example there is a similar construction of the weight λ integral Weyl 0 module for G0 in Section 27 of [Hum72]. The submodule structure of V (λ) is completely known for small λ (at least when λ lies in the interior of a p-alcove, which is the only case we need). In order to express it, we use Humphreys’ labelling A-J of the 10 lowest dominant p-alcoves
[Hum06] of (G0) . In order to be explicit, we list the interiors of these alcoves in the table below. Fp Chapter 2. Modular representation theory of GL3 61
λ ∈ A B C D E F G H I J hλ + η, α∨i ∈ (0, p) (0, p) (0, p) (p, 2p) (0, p) (p, 2p) (p, 2p) (0, p) (2p, 3p) (p, 2p) hλ + η, β∨i ∈ (0, p) (0, p) (p, 2p) (0, p) (p, 2p) (0, p) (p, 2p) (2p, 3p) (0, p) (p, 2p) hλ + η, γ∨i ∈ (0, p) (p, 2p) (p, 2p) (p, 2p) (2p, 3p) (2p, 3p) (2p, 3p) (2p, 3p) (2p, 3p) (3p, 4p)
Proposition 2.4.6. Suppose that p ≥ 5. Let λ be a weight in the interior of one the alcoves A-J. The submodule structure of V (λ) is given by the diagram: GJ
E F H C G D I
C A D E F
BA
H F
E C A D D B
ABBA For example, if λ ∈ G then the submodule structure is given by the top left diagram, where each alcove label corresponds to the unique irreducible representation L(µ) with µ lying in that alcove and linked to λ. The cases I,E,C not pictured are symmetric to H,F,D, respectively. If λ ∈ A then V (λ) = L(λ) is already irreducible.
Proof. This proposition is taken directly from [BDM15], Section 4. Note in that paper they
work with SL3. Alternatively, it is possible to re-derive these structures using direct calculations as in Lemma 2.4.13 below.
Remark 2.4.7. In the previous proposition, the alcove J is far enough from the boundary of the
dominant region to exhibit Jantzen’s generic decomposition pattern [Jan77b] for GL3. We now make some further remarks on the structure of V (λ) as a U -module, with special Fp attention to the case when λ lies in alcove G or J, since these are the cases that figure in the proofs of Section 2.5. The next definition is taken from [Jan77a].
Definition 2.4.8. A primitive element in a (G0) -module is a nonzero weight vector killed Fp (n) + by Xδ for all δ ∈ R and n ≥ 1.
For example, a highest weight vector inside Weyl module is a primitive element. Chapter 2. Modular representation theory of GL3 62
Lemma 2.4.9. A primitive element in a (G0) -module generates a quotient of V (λ). Fp
(n) + Proof. This follows from the universal property of Weyl modules, since Xδ v = 0 for all δ ∈ R and n ≥ 1 implies v is U-invariant by Lemma 2.4.4.
Lemma 2.4.10. Let λ be a dominant weight and let J denote the left ideal of (U) generated λ Fp (n) hλ,α∨i hλ,β∨i + (mα) (mβ ) by Xδ , Hα,n − n ·1 and Hβ,n − n ·1 for δ ∈ R and n ≥ 1, as well as X−α ,X−β ∨ ∨ ∼ for all mα ≥ hλ, α i + 1 and m ≥ hλ, β i + 1. Then V (λ) = (U) /J as a (U) -module. β Fp λ Fp Proof. This follows from Satz 2 of [Jan77a], which is the analogous result for the integral Weyl module V (λ)Z.
Lemma 2.4.11. Let v be a highest weight vector of V (λ) for some dominant weight λ. If ∨ (c) (b) ∨ (a) (c) (b) b + c ≥ hλ, γ i + 1 then X−γX−βv = 0. Similarly if a + c ≥ hλ, γ i + 1 then X−αX−γX−βv = 0 for any b ≥ 0.
Proof. This follows from the well-known fact that all weights of V (λ) satisfy w0λ ≤ µ ≤ λ; one checks easily that the stated inequalities imply that the respective vectors are of weights outside this allowed range.
Lemma 2.4.12. Let λ be a dominant weight and let ξ = λ−rα−sβ where 0 ≤ r ≤ hλ, α∨i and (r−i) (i) (s−i) ∨ 0 ≤ s. A basis of the V (λ)ξ is given by the elements X−α X−γX−β v for max(0, s−hλ, β i) ≤ i ≤ min(r, s), where v is a highest weight vector in V (λ). In particular these elements are nonzero. [Note: if r < s − hλ, β∨i then there are no integers i satisfying this inequality and the conclusion in this case is that V (λ)ξ = 0.]
(r−i) (i) (s−i) Proof. It is clear that V (λ)ξ is spanned by the vectors X−α X−γX−β v for 0 ≤ i ≤ min(r, s). But this vector is 0 by Lemma 2.4.10 if s − i ≥ hλ, β∨i + 1. Then one checks by cases using ∨ the Kostant multiplicity formula that dim(V (λ)ξ) = min(r, s) − max(0, s − hλ, β i) + 1, and the result follows.
Lemma 2.4.13. Let v denote a highest weight vector in V (λ).
(hλ,β∨i−p+1) (hλ,α∨i−p+1) (hλ,γ∨i−2p+2) (hλ,β∨i−p+1) 1. If λ ∈ G then vF = X−β v, vE = X−α v, vC = X−α X−β v (hλ,γ∨i−2p+2) (hλ,α∨i−p+1) and vD = X−β X−α v are primitive and generate the unique submodule of V (λ) having irreducible cosocle with highest weight in alcove F,E,C,D, respectively.
(hλ,β∨i−p+1) (hλ,α∨i−p+1) 2. If λ ∈ J then vI = X−β v and vH = X−α v are primitive and generate the unique submodule of V (λ) having irreducible cosocle with highest weight in alcove I and H respectively.
Proof. That these elements are primitive is shown via direct calculation. Once this is known, by Lemma 2.4.9 we know they must generate a quotient of the Weyl module of the appropriate weight and the other claims follow by examining the structures in Proposition 2.4.6. We include Chapter 2. Modular representation theory of GL3 63
two calculations as an example. Suppose λ ∈ G. First note vF 6= 0 by Lemma 2.4.12. Since (n) Xα commutes with X−β, is it immediate that Xα vF = 0 for all n ≥ 1. And using Lemma (hλ,β∨i−p+1) (hλ,β∨i−p) (n) 2.4.3 we compute XβvF = X−β Xβv + pX−β v = 0. This proves Xβ vF = 0 for all n < p; for n ≥ p it follows from weight considerations. Since Xγ = [Xα,Xβ] this is enough to prove vF primitive and hence the submodule generated by vF is a quotient of a Weyl module in alcove F. Using this, together with Lemma 2.4.12 again, we deduce that vC 6= 0, and then similar calculations prove that vC is primitive.
Corollary 2.4.14. If λ ∈ G then the submodules of V (λ) having irreducible cosocle C, D, E, and F respectively are themselves Weyl modules. If λ ∈ J then the same is true of A, H, I.
Proof. This follows from Lemma 2.4.9, Lemma 2.4.13 and Proposition 2.4.6.
Finally in the remainder of this section we collect some important results allowing us to completely describe the U -module structure of the irreducible algebraic representations L(λ), Fp 3 where λ ∈ Z is a dominant weight. In any case, L(λ) = cosoc V (λ) so Lemmas 2.4.10 and 2.4.11 apply. But we can say more. As we know from Section 2.1, L(λ) decomposes via the Steinberg tensor product theorem.
It is easy to check directly from the definitions that the Frobenius endomorphism of (G0) Fp induces an p-algebra endomorphism Frob∗ of U taking F Fp
(n/p) (n) Xδ p|n Xδ 7→ (2.4.15) 0 p - n for δ ∈ R. Moreover, if L0 and L1 are U-modules then by definition of the Hopf algebra structure on U, U acts on L0 ⊗ L1 via the formula
n (n) X (n−`) (`) Xδ (v0 ⊗ v1) = (Xδ v0) ⊗ (Xδ v1) (2.4.16) `=0 for vi ∈ Li. Given these statements we are reduced to understanding the U -module structure of L(λ) Fp for λ ∈ X1(T3). In this case there is a result due to Nanhua Xi [Xi96] giving a complete description of L(λ). In order to state it, we first define a certain monomial in U− . Fp
− Definition 2.4.17. Given λ ∈ X1(T3) we define its Xi monomial to be the element of U given Fp by ∨ ∨ ∨ (hθ,β i) (hsβ θ,α i) (hsαsβ θ,β i) Ξ(λ) = X−β X−α X−β where θ = (p − 1)η − λ. An equivalent expression for it is:
∨ ∨ ∨ (hθ,α i) (hsαθ,β i) (hsβ sαθ,α i) Ξ(λ) = X−α X−β X−α . Chapter 2. Modular representation theory of GL3 64
Unless otherwise stated, we use the first expression in our calculations.
− (n) + Let (U )1 denote the subalgebra of U generated by X for 0 ≤ n ≤ p − 1 and δ ∈ R . In Fp Fp −δ fact Ξ(λ) lies in (U−) ([Xi96] Theorem 6.5(i)) but we don’t need this. F 1
Proposition 2.4.18. Let λ ∈ X1(T3) and let v ∈ L(λ) be a highest weight vector. For u ∈ − (U )1 we have uv = 0 in L(λ) iff u · Ξ(λ) = 0 in U . Fp Fp Proof. This follows from Theorem 6.7(i) in [Xi96], if we observe that the intersection with − 0 (U )1 of the ideal there denoted Iλ is precisely Fp
− n = {u ∈ (U )1 | u · Ξ(λ) = 0}. Fp
− To see this, consider the map (U )1 → L(λ) sending u to uv, which is surjective because L(λ) Fp − 0 is an irreducible representation of the Frobenius kernel of (G0) . Its kernel is (U )1 ∩ Iλ, Fp Fp which contains n. On the other hand, Theorem 6.7(iii) of loc. cit. says that dim(L(λ)) = − dim(U )1 − dim(n), which proves the claim. Fp
2.5 Proof of Theorem 2.3.2
We now present the proof of Theorem 2.3.2 following the approach explained in Section 2.3. Throughout the computations in this section we often use without comment in addition to the lemmas of the previous section the following elementary observations about U : Fp
(c) (b) (a) • X−γ commutes with X and X−α in U so X commutes with X and X in U for −β −γ −β −α Fp any a, b, c ≥ 0;
(n) (m) n+m (n+m) n m n+m • X∗ X∗ = n X∗ is 0 if b p c + b p c < b p c;
(ap+n) (ap) (n) • as a corollary to the previous point, if 0 ≤ n < p then X∗ = X∗ X∗ for any a ≥ 0 ap+n since ap ≡ 1 mod p;