On the modularity of elliptic curves over : Wild -adic exercises

By Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor

Abstract

We complete the proof that every elliptic curve over the rational numbers is modular.

Introduction

In this paper, building on work of Wiles Reference Wi and of Taylor and Wiles Reference TW, we will prove the following two theorems (see §2.2).

Theorem A.

If is an elliptic curve, then is modular.

Theorem B.

If is an irreducible continuous representation with cyclotomic determinant, then is modular.

We will first remind the reader of the content of these results and then briefly outline the method of proof.

If is a positive integer, then we let denote the subgroup of consisting of matrices that modulo are of the form

The quotient of the upper half plane by , acting by fractional linear transformations, is the complex manifold associated to an affine algebraic curve . This curve has a natural model , which for is a fine moduli scheme for elliptic curves with a point of exact order . We will let denote the smooth projective curve which contains as a dense Zariski open subset.

Recall that a cusp form of weight and level is a holomorphic function on the upper half complex plane such that

for all matrices

and all , we have ;

and is bounded on .

The space of cusp forms of weight and level is a finite-dimensional complex vector space. If , then it has an expansion

and we define the -series of to be

For each prime there is a linear operator on defined by

for any

with and . The operators for can be simultaneously diagonalised on the space and a simultaneous eigenvector is called an eigenform. If is an eigenform, then the corresponding eigenvalues, , are algebraic integers and we have .

Let be a place of the algebraic closure of in above a rational prime and let denote the algebraic closure of thought of as a algebra via . If is an eigenform, then there is a unique continuous irreducible representation

such that for any prime , is unramified at and . The existence of is due to Shimura if Reference Sh2, to Deligne if Reference De and to Deligne and Serre if Reference DS. Its irreducibility is due to Ribet if Reference Ri and to Deligne and Serre if Reference DS. Moreover is odd in the sense that of complex conjugation is . Also, is potentially semi-stable at in the sense of Fontaine. We can choose a conjugate of which is valued in , and reducing modulo the maximal ideal and semi-simplifying yields a continuous representation

which, up to isomorphism, does not depend on the choice of conjugate of .

Now suppose that is a continuous representation which is unramified outside finitely many primes and for which the restriction of to a decomposition group at is potentially semi-stable in the sense of Fontaine. To we can associate both a pair of Hodge-Tate numbers and a Weil-Deligne representation of the Weil group of . We define the conductor of to be the product over of the conductor of and of the conductor of the Weil-Deligne representation associated to . We define the weight of to be plus the absolute difference of the two Hodge-Tate numbers of . It is known by work of Carayol and others that the following two conditions are equivalent:

for some eigenform and some place ;

for some eigenform of level and weight and some place .

When these equivalent conditions are met we call modular. It is conjectured by Fontaine and Mazur that if is a continuous irreducible representation which satisfies

is unramified outside finitely many primes,

is potentially semi-stable with its smaller Hodge-Tate number ,

and, in the case where both Hodge-Tate numbers are zero, is odd,

then is modular Reference FM.

Next consider a continuous irreducible representation . Serre Reference Se2 defines the conductor and weight of . We call modular if for some eigenform and some place . We call strongly modular if moreover we may take to have weight and level . It is known from work of Mazur, Ribet, Carayol, Gross, Coleman, Voloch and others that for , is strongly modular if and only if it is modular (see Reference Di1). Serre has conjectured that all odd, irreducible are strongly modular Reference Se2.

Now consider an elliptic curve . Let (resp. ) denote the representation of on the -adic Tate module (resp. the -torsion) of . Let denote the conductor of . It is known that the following conditions are equivalent:

(1)

The -function of equals the -function for some eigenform .

(2)

The -function of equals the -function for some eigenform of weight and level .

(3)

For some prime , the representation is modular.

(4)

For all primes , the representation is modular.

(5)

There is a non-constant holomorphic map for some positive integer .

(6)

There is a non-constant morphism which is defined over .

The implications (2) (1), (4) (3) and (6) (5) are tautological. The implication (1) (4) follows from the characterisation of in terms of . The implication (3) (2) follows from a theorem of Carayol Reference Ca1. The implication (2) (6) follows from a construction of Shimura Reference Sh2 and a theorem of Faltings Reference Fa. The implication (5) (3) seems to have been first noticed by Mazur Reference Maz. When these equivalent conditions are satisfied we call modular.

It has become a standard conjecture that all elliptic curves over are modular, although at the time this conjecture was first suggested the equivalence of the conditions above may not have been clear. Taniyama made a suggestion along the lines (1) as one of a series of problems collected at the Tokyo-Nikko conference in September 1955. However his formulation did not make clear whether should be a modular form or some more general automorphic form. He also suggested that constructions as in (5) and (6) might help attack this problem at least for some elliptic curves. In private conversations with a number of mathematicians (including Weil) in the early 1960’s, Shimura suggested that assertions along the lines of (5) and (6) might be true (see Reference Sh3 and the commentary on [1967a] in Reference We2). The first time such a suggestion appears in print is Weil’s comment in Reference We1 that assertions along the lines of (5) and (6) follow from the main result of that paper, a construction of Shimura and from certain “reasonable suppositions” and “natural assumptions”. That assertion (1) is true for CM elliptic curves follows at once from work of Hecke and Deuring. Shimura Reference Sh1 went on to check assertion (5) for these curves.

Our approach to Theorem A is an extension of the methods of Wiles Reference Wi and of Taylor and Wiles Reference TW. We divide the proof into three cases.

(1)

If is irreducible, we show that is modular.

(2)

If is reducible, but is absolutely irreducible, we show that is modular.

(3)

If is reducible and is absolutely reducible, then we show that is isogenous to an elliptic curve with -invariant , , or and so (from tables of modular elliptic curves of low conductor) is modular.

In each of cases (1) and (2) there are two steps. First we prove that is modular and then that is modular. In case (1) this first step is our Theorem B and in case (2) it is a celebrated theorem of Langlands and Tunnell Reference L, Reference T. In fact, in both cases obtains semi-stable reduction over a tame extension of and the deduction of the modularity of from that of was carried out in Reference CDT by an extension of the methods of Reference Wi and Reference TW. In the third case we have to analyse the rational points on some modular curves of small level. This we did, with Elkies’ help, in Reference CDT.

It thus only remained to prove Theorem B. Let be as in that theorem. Twisting by a quadratic character, we may assume that falls into one of the following cases (see §2.2):

(1)

is unramified at .

(2)

has order .

(3)

has order .

(4)

has order and has conductor .

(5)

has order .

(6)

is induced from a character such that and

where we use the Artin map (normalised to take uniformisers to arithmetic Frobenius) to identify with a character of .

We will refer to these as the and cases respectively.

Using the technique of Minkowski and Klein (i.e. the observation that the moduli space of elliptic curves with full level structure has genus ; see for example Reference Kl), Hilbert irreducibility and some local computations of Manoharmayum Reference Man, we find an elliptic curve with the following properties (see §2.2):

,

is surjective onto ,

and

(1)

in the case, either or

and is peu ramifié;

(2)

in the case,

(3)

in the case, ;

(4)

in the case,

and is très ramifié;

(5)

in the case,

and is très ramifié;

(6)

in the case,

is non-split over and is très ramifié.

(We are using the terms très ramifié and peu ramifié in the sense of Serre Reference Se2. We are also letting denote the cyclotomic character and the second fundamental character , i.e.

We will often use the equality without further remark.) We emphasise that for a general elliptic curve over with , the representation does not have the above form, rather we are placing a significant restriction on .

In each case our strategy is to prove that is modular and so deduce that is modular. Again we use the Langlands-Tunnell theorem to see that is modular and then an analogue of the arguments of Reference Wi and Reference TW to conclude that is modular. This was carried out in Reference Di2 in the cases and , and in Reference CDT in the case . (In these cases the particular form of is not important.) This leaves the cases , and , which are complicated by the fact that now only obtains good reduction over a wild extension of . In these cases our argument relies essentially on the particular form we have obtained for (depending on ). We do not believe that our methods for deducing the modularity of from that of would work without this key simplification. It seems to be a piece of undeserved good fortune that for each possibility for we can find a choice for for which our methods work.

Following Wiles, to deduce the modularity of from that of , we consider certain universal deformations of and identify them with certain modular deformations which we realise over certain Hecke algebras. The key problem is to find the right local condition to impose on these deformations at the prime . As in Reference CDT we require that the deformations lie in the closure of the characteristic zero points which are potentially Barsotti-Tate (i.e. come from a -divisible group over the ring of integers of a finite extension of ) and for which the associated representation of the Weil group (see for example Appendix B of Reference CDT) is of some specified form. That one can find suitable conditions on the representation of the Weil group at for the arguments of Reference TW to work seems to be a rare phenomenon in the wild case. It is here we make essential use of the fact that we need only treat our specific pairs .

Our arguments follow closely the arguments of Reference CDT. There are two main new features. Firstly, in the case, we are forced to specify the restriction of our representation of the Weil group completely, rather than simply its restriction to the inertia group as we have done in the past. Secondly, in the key computation of the local deformation rings, we now make use of a new description (due to Breuil) of finite flat group schemes over the ring of integers of any -adic field in terms of certain (semi-)linear algebra data (see Reference Br2 and the summary Reference Br1). This description enables us to make these computations. As the persistent reader will soon discover they are lengthy and delicate, particularly in the case . It seems miraculous to us that these long computations with finite flat group schemes in §7, §8 and §9 give answers completely in accord with predictions made from much shorter computations with the local Langlands correspondence and the modular representation theory of in §3. We see no direct connection, but cannot help thinking that some such connection should exist.

Notation

In this paper denotes a rational prime. In §1.1, §4.1, §4.2 and §4.3 it is arbitrary. In the rest of §1 and in §5 we only assume it is odd. In the rest of the paper we only consider .

If is a field we let denote a separable closure, the maximal subextension of which is abelian over and the Galois group . If is a -adic field (i.e. a finite extension of ) and a (possibly infinite) Galois extension, then we let denote the inertia subgroup of . We also let denote , denote the arithmetic Frobenius element and denote the Weil group of , i.e. the dense subgroup of consisting of elements which map to an integer power of . We will normalise the Artin map of local class field theory so that uniformisers and arithmetic Frobenius elements correspond. (We apologise for this convention, which now seems to us a bad choice. However we feel it is important to stay consistent with Reference CDT.) We let denote the ring of integers of , the maximal ideal of and the residue field . We write simply for , for and for . We also let denote the unique unramified degree extension of in . If is any perfect field of characteristic we also use to denote the -power automorphism of and its canonical lift to the Witt vectors .

We write for the -adic cyclotomic character and sometimes for the reduction of modulo . We write for the second fundamental character , i.e.

We also use and to denote the Teichmuller lifts of and .

We let denote the trivial character of a group. We will denote by the dual of a vector space .

If is a homomorphism of rings and if is an -scheme, then we sometimes write for the pullback of by . We adopt this notation so that . Similarly if is a morphism of schemes over we will sometimes write for the pullback of by .

By finite flat group scheme we always mean commutative finite flat group scheme. If is a field of characteristic with fixed algebraic closure we use without comment the canonical identification of finite flat -group schemes with finite discrete -modules, and we will say that such objects correspond. If is a Dedekind domain with field of fractions of characteristic , then by a model of a finite flat -group scheme we mean a finite locally free -group scheme and an isomorphism . As in Proposition 2.2.2 of Reference Ra the isomorphism classes of models for form a lattice ( if there exists a map of finite flat group schemes compatible with and ) and we can talk about the inf and sup of two such models. If is also local we call the model local-local if its special fibre is local-local. When the ring is understood we sometimes simply refer to , or even just , as an integral model of .

We use Serre’s terminology peu ramifié and très ramifié; see Reference Se2.

1. Types

1.1. Types of local deformations

By an -type we mean an equivalence class of two-dimensional representations

over which have open kernel and which can be extended to a representation of . By an extended -type we shall simply mean an equivalence class of two-dimensional representations

over with open kernel.

Suppose that is an -type and that is a finite extension of in . Recall from Reference CDT that a continuous representation of on a two-dimensional -vector space is said to be of type if

(1)

is Barsotti-Tate over for any finite extension of such that is trivial;

(2)

the restriction of to is in ;

(3)

the character has finite order prime to .

(For the definition of “Barsotti-Tate” and of the representation associated to a potentially Barsotti-Tate representation, see §1.1 and Appendix B of Reference CDT.) Similarly if is an extended -type, then we say that is of extended type if

(1)

is Barsotti-Tate over for any finite extension of such that is trivial;

(2)

is equivalent to ;

(3)

the character has finite order prime to .

Note that no representation can have extended type unless is of the form where has finite order prime to and where is unramified and takes an arithmetic Frobenius element to ; see Appendix B of Reference CDT. (Using Theorem 1.4 of Reference Br2, one can show that for odd one obtains equivalent definitions of “type and “extended type if one weakens the first assumption to simply require that is potentially Barsotti-Tate.)

Now fix a finite extension of in over which (resp. ) is rational. Let denote the integers of and let denote the residue field of . Let

be a continuous representation of on a two-dimensional -vector space and suppose that . One then has a universal deformation ring for (see, for instance, Appendix A of Reference CDT).

We say that a prime ideal of is of type (resp. of extended type ) if there exist a finite extension of in and an -algebra homomorphism with kernel such that the pushforward of the universal deformation of over to is of type (resp. of extended type ).

Let be an -type and an irreducible extended -type. If there do not exist any prime ideals of type (resp. of extended type ), we define (resp. ). Otherwise, define (resp. ) to be the quotient of by the intersection of all of type (resp. of extended type ). We will sometimes write (resp. ) for (resp. ). We say that a deformation of is weakly of type (resp. weakly of extended type ) if the associated local -algebra map factors through the quotient (resp. ). We say that (resp. ) is weakly acceptable for if either (resp. ) or there is a surjective local -algebra map (resp. ). We say that (resp. ) is acceptable for if (resp. ) and if there is a surjective local -algebra map (resp. ).

If is a finite extension of in with valuation ring and residue field , then (resp. ) is naturally isomorphic to (resp. ). Thus (weak) acceptability depends only on (resp. ) and , and not on the choice of . Moreover (resp. ) is acceptable for if and only if (resp. ) is acceptable for .

Although it is of no importance for the sequel, we make the following conjecture, part of which we already conjectured as Conjecture 1.2.1 of Reference CDT.

Conjecture 1.1.1.

Suppose that is an -type and an absolutely irreducible extended -type. A deformation of to the ring of integers of a finite extension in is weakly of type (resp. weakly of extended -type ) if and only if is of type (resp. of extended type ).

If is a tamely ramified -type, then we expect that it is frequently the case that is acceptable for residual representations , as in Conjectures 1.2.2 and 1.2.3 of Reference CDT. On the other hand if (resp. ) is a wildly ramified -type (resp. wildly ramified extended -type), then we expect that it is rather rare that (resp. ) is acceptable for a residual representation . In this paper we will be concerned with a few wild cases for the prime which do turn out to be acceptable.

1.2. Types for admissible representations

From now on we assume that is odd. If is a finite extension of we will identify with via the Artin map. Let denote the subgroup of consisting of elements with upper triangular reduction. Also let denote the normaliser of in . Thus is generated by and by

If is an -type, set if is reducible and if is irreducible. If is an extended -type with irreducible, set . In this subsection we will associate to an -type an irreducible representation of over with open kernel, and to an extended -type with irreducible an irreducible representation of over with open kernel. We need to consider several cases, which we treat one at a time.

First suppose that where each is a character of . Let denote the conductor of . If , then set

where denotes the Steinberg representation of . Now suppose that . Let denote the induction from to of the character of which sends

This is irreducible and does not depend on the ordering of and .

For the next case, let denote the unramified quadratic extension of and the non-trivial automorphism of over . Suppose that is the restriction to of the induction from to of a character of with . Let denote the conductor of , so that . Choose a character of such that has conductor . If we set

where is the irreducible representation of defined on page 532 of Reference CDT.

To define for we will identify with the automorphisms of the -module . If is even, then we let denote the induction from to of the character of , where, for and ,

If is odd, then we let denote the induction from to of , where is the -dimensional irreducible representation of such that is the direct sum of the characters

for and , where runs over the non-trivial characters of .

Now suppose is an extended type such that is irreducible. There is a ramified quadratic extension and a character of such that the induction from to of is (see §2.6 of Reference G). Let denote the non-trivial field automorphism of over and also let denote the maximal ideal of the ring of integers of . Let denote the conductor of , so is even and . We may choose a character of such that has conductor . We will identify with the automorphisms of the vector space . We will also identify with the stabiliser of the pair of lattices . We define to be the induction from to of the character of , where

with and , where is a character of defined as follows. Let be a character of with kernel . Choose such that for we have

We impose the following conditions which determine :

is a character of ;

is non-trivial;

and

where is a uniformiser in .

Finally if is an irreducible -type, choose an extended -type which restricts to on and set .

We remark that these definitions are independent of any choices (see Reference G).

Recall that by the local Langlands conjecture we can associate to an irreducible admissible representation of a two-dimensional representation of . (See §4.1 of Reference CDT for the normalisation we use.)

Lemma 1.2.1.

Suppose that is an -type and that is an extended -type with irreducible. Suppose also that is an infinite-dimensional irreducible admissible representation of over . Then:

(1)

and are irreducible.

(2)

If (resp. ), then

(resp.

(3)

If (resp. ), then

(resp.

Proof.

The case that extends to a reducible representation of follows from the standard theory of principal series representations for . The case that is reducible but does not extend to a reducible representation of follows from Theorem 3.7 of Reference G. The case of follows from Theorem 4.6 of Reference G.

Thus, suppose that is an irreducible -type and that is an extension of to an extended -type. If denotes the unramified quadratic character of , then and so we deduce that

Thus is irreducible. It follows that is irreducible. The second and third part of the lemma for follow similarly.

1.3. Reduction of types for admissible representations

We begin by reviewing some irreducible representations of , and . Let denote the standard representation of over . If and if , then we let . We may think of as a continuous representation of over . These representations are irreducible, mutually non-isomorphic and exhaust the irreducible continuous representations of over .

If we let denote the character of over determined by

These representations are irreducible, mutually non-isomorphic, and exhaust the irreducible continuous representations of over .

If , and , then we let denote the representation of over obtained by inducing the character of which restricts to on and which sends to . If and , then we let denote the character of over which restricts to on and which sends to . These representations are irreducible, mutually non-isomorphic and exhaust the irreducible, finite-dimensional, continuous representations of over .

We will say that a reducible -type (resp. irreducible -type, resp. extended -type with irreducible restriction to ) admits an irreducible representation of (resp. , resp. ) over , if (resp. , resp. ) contains an invariant -lattice and if is a Jordan-Hölder constituent of . We will say that (resp. , resp. ) simply admits if is a Jordan-Hölder constituent of of multiplicity one.

For each of the -representations of , and just defined, we wish to define notions of “admittance” and “simple admittance” with respect to a continuous representation . Let be a fixed continuous representation .

The representation admits if either

or

which in addition we require to be peu-ramifié in the case . (Note that admits if and only if the Serre weight (see Reference Se2) of is .)

The representation simply admits if admits .

The representation admits if either

where and , or

or

(Note that admits if and only if some irreducible constituent of admits .)

The representation with simply admits if either

or

The representation simply admits if

is très ramifié.

The representation with admits if either or admits and if equals the central character of . (Note that in this case .)

The representation with simply admits if equals the central character of and either

or

The representation admits if

admits ,

equals the central character of ,

and, if

is très ramifié, then

where is unramified and sends Frobenius to .

(Note that .)

The representation simply admits if admits .

We remark that the definition of admits the Cartier dual of might look more natural to the reader. We are forced to adopt this version of the definition by some unfortunate choices of normalisations in Reference CDT.

We say that a reducible -type (resp. irreducible -type , resp. extended -type with irreducible) admits a continuous representation if (resp. , resp. ) admits an irreducible representation of (resp. , resp. ) over which in turn admits . We say that (resp. , resp. ) simply admits if

(resp. , resp. ) admits a unique irreducible representation of (resp. , resp. ) over which admits ,

(resp. , resp. ) simply admits ,

and simply admits .

Note that the concept of “simply admits” is strictly stronger than the concept “admits”.

The starting point for this work was the following conjecture, of which a few examples will be verified in §2.1.

Conjecture 1.3.1.

Let be a finite subfield of , a continuous representation, an -type and an extended -type with irreducible restriction to . Suppose that and are tamely ramified, that the centraliser of the image of is and that the image of is not contained in the centre of .

(1)

(resp. ) admits if and only if (resp. ), i.e. if and only if there is a finite extension of in and a continuous representation which reduces to and has type (resp. has extended type ).

(2)

(resp. ) simply admits if and only if (resp. ) is acceptable for .

We remark that to check if or simply admits is a relatively straightforward computation. On the other hand to show that or is acceptable for is at present a non-trivial undertaking. (The reader who doubts us might like to compare §3 with §4, §5, §6, §7, §8 and §9. All the latter sections are devoted to verifying some very special cases of this conjecture.)

1.4. The main theorems

With these definitions, we can state our two main theorems. The proofs very closely parallel the proof of Theorem 7.1.1 of Reference CDT.

Theorem 1.4.1.

Let be an odd prime, a finite extension of in and the residue field of . Let

be an odd continuous representation ramified at only finitely many primes. Assume that its reduction

is absolutely irreducible after restriction to and is modular. Further, suppose that

has centraliser ,

is potentially Barsotti-Tate with -type ,

admits ,

and is weakly acceptable for .

Then is modular.

Proof.

Note that the existence of shows that is acceptable for . Now the proof is verbatim the proof of Theorem 7.1.1 of Reference CDT (see §1.3, §1.4, §3, §4, §5 and §6 of that paper, and the corrigendum at the end of this paper), with the following exceptions.

On page 539 one should take , and .

In the proof of Lemma 5.1.1 one must use Lemma 1.2.1 of this paper, in addition to the results recalled in §4 of Reference CDT.

On page 546 replace “Setting ...” to the end of the first paragraph by the following. (Again the key component of this argument is very similar to the main idea of Reference Kh.)

“Set ; where if and otherwise; where if and otherwise; and . Then satisfies the hypotheses of Theorem 6.1.1. Furthermore

as a -module, where is the module for defined by the action of on . Therefore is in the support of .

We now drop the special assumption on made in the last paragraph. Twisting we see that if is an irreducible representation of over admitting , then

Moreover if is irreducible and if is an irreducible representation of over which admits , then we see using the definition of admits and Lemmas 3.1.1 and 6.1.2 of Reference CDT that

It follows from the definition of admits and Lemma 6.1.2 of Reference CDT that is in the support of , so is non-zero. Using the fact that Lemma 5.1.1 holds with replacing and replacing and the discussion on page 541 we conclude that is non-empty.”

Theorem 1.4.2.

Let be an odd prime, a finite extension of in and the residue field of . Let

be an odd continuous representation ramified at only finitely many primes. Assume that its reduction

is absolutely irreducible after restriction to and is modular. Further, suppose that

has centraliser ,

is potentially Barsotti-Tate with extended -type ,

admits ,

and is weakly acceptable for .

Then is modular.

Proof.

The existence of shows that is in fact acceptable for . Again the proof now follows very closely that of Theorem 7.1.1 of Reference CDT. In this case we have to make the following changes. All references are to Reference CDT unless otherwise indicated.

On page 539 one should take , and . One should also define to be the group generated by and and to be the extension of to which restricts to on .

In the statement of Lemma 5.1.1 one should replace by .

In the proof of Lemma 5.1.1 one must use Lemma 1.2.1 above in addition to the results recalled in §4 of Reference CDT.

Because is acceptable for , we know that of a Frobenius lift is for some root of unity . Thus, for some . Hence, factors through the finite group , where .

In §5.3 choose so that it is invariant for the action of . Also, in the definition of replace by .

In the proof of Lemma 5.3.1 replace by and by .

Note that acts naturally on and . In Lemma 6.1.3 we should replace the group by and the group by .

Replace §6.2 with the proof of the required extension of Proposition 5.4.1 given below.

On page 547 the isomorphism

on line 6 is -linear. In the next line one should not only localise at but restrict to the kernel of . Because on we see that the natural map

is an isomorphism, and so the map

is also an isomorphism.

On page 547 the groups and should be replaced by their maximal subgroups on which .

On page 549 one should also define (resp. ) to be the group generated by (resp. ) and . Similarly define to be .

In Lemma 6.4.1 replace by , by and by . In the proof of Lemma 6.4.1 also replace (resp. ) by (resp. ) and (resp. ) by (resp. ).

On line 20 of page 550 should be chosen as a model of . This is possible because has finite index in , because in turn for some . One should also set . On line 25, we must replace by .

In the proof of Lemma 6.4.2, one must replace by and by .

In line 2 of the proof of Lemma 6.4.3, to see that is a direct summand of as an -module, one needs to note that is a direct summand of , because on .

On line 12 of page 551 replace by .

Proof of extension of Proposition 5.4.1 of Reference CDT.

Let .

First suppose that admits with and that admits . As in the proof of Theorem 1.4.1 (especially §6.2 of Reference CDT as modified above), we have

On the other hand

Thus, using the definition of “admits” and Lemma 6.1.2 of Reference CDT, we see that

so .

Next suppose that admits which in turn admits . Assume that is irreducible or peu ramifié. By twisting we may reduce to the case . As in the proof of Theorem 1.4.1 (especially §6.2 of Reference CDT as modified above), we have

Thus

where is the Teichmüller lift of . Using the embedding

we deduce that

and so

Thus, using the definition of “admits” and Lemma 6.1.2 of Reference CDT, we see that

and so .

Finally suppose that admits which in turn admits , and that is reducible and très ramifié. By twisting we may reduce to the case . Note that . As in the proof of Theorem 1.4.1 (especially §6.2 of Reference CDT as modified above), we have

Suppose that is a cuspidal automorphic representation which contributes to , so is a cuspidal automorphic representation of such that is the lowest discrete series with trivial infinitesimal character, is a lift of of type , and hence of type , and . As has order prime to , we see that acts on by the Teichmüller lift of . As has a -fixed vector but no -fixed vector, we see that on . On the other hand, the eigenvalue of on reduces to . Thus, acts on by the Teichmüller lift of , so acts on by the Teichmüller lift of . We deduce that

Using the definition of “admits” and Lemma 6.1.2 of Reference CDT, we see that

so .

2. Examples and applications

2.1. Examples

Now we will specialise to the case . Fix an element with but . The following definitions, which concern isomorphism classes of -dimensional representations into , do not depend on this choice. We will consider the following -types. (These are in fact, up to twist, a complete list of the wildly ramified types which can arise from elliptic curves over , or, in the case of conductor 243, the extended types. We will not need this fact. Rather the justification for studying these particular types can be found in §2.2. More detailed information about the fixed fields of these types can be found in §6.)

corresponds to the order homomorphism

determined by

corresponds to the order homomorphism

determined by

is the unique -type such that corresponds to the order homomorphism

determined by

is the unique -type such that corresponds to the order homomorphism

determined by

For , we will also consider the unique extended -types whose restrictions to correspond to the homomorphisms

determined by

Subsequent sections of this paper will be devoted to checking the following special cases of Conjecture 1.3.1.

Lemma 2.1.1.

Suppose that and

is très ramifié. Both and simply admit .

Theorem 2.1.2.

Suppose that and

is très ramifié. Both and are weakly acceptable for .

Lemma 2.1.3.

Suppose that and

is très ramifié. Both and simply admit .

Theorem 2.1.4.

Suppose that and

is très ramifié. Both and are weakly acceptable for .

Lemma 2.1.5.

Let . Suppose that and

is très ramifié. The extended -type simply admits .

Theorem 2.1.6.

Let . Suppose that and

is très ramifié. Then is weakly acceptable for .

We remark that in Theorems 2.1.2, 2.1.4 and 2.1.6 we could replace “weakly acceptable” by “acceptable”. This can be shown by using elliptic curves to construct explicit liftings of the desired type. For Theorems 2.1.2 and 2.1.4 the results of Reference Man suffice for this. For Theorem 2.1.6 a slightly more refined analysis along the lines of §2.3 is required.

We also remark that it was Lemmas 2.1.1, 2.1.3, 2.1.5 and Conjecture 1.3.1 which originally suggested to us that we try to prove Theorems 2.1.2, 2.1.4 and 2.1.6.

2.2. Applications

Conditional on the results stated in §2.1, which we will prove below, we prove the following results.

Theorem 2.2.1.

Any continuous absolutely irreducible representation with cyclotomic determinant is modular.

Proof.

Choose an element with but . (The following classification will be independent of the choice of .) Then up to equivalence and twisting by a quadratic character, one of the following possibilities can be attained.

(1)

is tamely ramified at .

(2)

is given by the character

determined by

where .

(3)

is given by the character

determined by

(4)

is given by the character

determined by

(5)

is given by the character

determined by

(6)

is given by the character

determined by

where .

To see that one of these cases can be attained, use the following facts, all of which are easy to verify.

A subgroup of with a non-trivial normal subgroup of -power order is, up to conjugation, contained in the normaliser of .

The intersection of with the normaliser of in is generated by and an element such that and .

If , , and , then .

In each case, we may choose an elliptic curve such that the representation of on is isomorphic to and such that the representation of on has the following form (where we use the same numbering as above).

(1)

We place no restriction on .

(2)

The restriction of to has the form

and is très ramifié. (Use Theorem 5.3.2 of Reference Man.)

(3)

The restriction of to has the form

and is très ramifié. (Use Theorem 5.3.2 of Reference Man.)

(4)

The restriction of to has the form

and is très ramifié. (Use §5.4 of Reference Man.)

(5)

The restriction of to has the form

and is très ramifié. (Use §5.4 of Reference Man.)

(6)

has the form

is très ramifié and remains indecomposable when restricted to the splitting field of . (Use Corollary 2.3.2 below.)

In each case choose such an and fix an isomorphism , such that the Weil pairing on corresponds to the standard alternating pairing on , following the conventions in §1 of Reference SBT. The pair defines a -rational point on the smooth curve denoted in Reference SBT. We can find a -adic open set containing such that if defines a point in , then as -modules.

Using Ekedahl’s version of the Hilbert Irreducibility Theorem (see Theorem 1.3 of Reference E) and the argument of §1 of Reference SBT we may find an elliptic curve and an -module isomorphism of with such that (see also §2 of Reference Man)

under , the standard alternating pairing on and the Weil pairing on agree;

the representation of on is surjective onto ;

and defines a point of .

Corresponding to the six types of considered above, Proposition B.4.2 of Reference CDT ensures that the representation of on the -adic Tate module of is

(1)

either, up to quadratic twist, ordinary in the sense of Wiles Reference Wi or potentially Barsotti-Tate of some tamely ramified type;

(2)

potentially Barsotti-Tate of type ;

(3)

potentially Barsotti-Tate of type ;

(4)

potentially Barsotti-Tate of type ;

(5)

potentially Barsotti-Tate of type ;

(6)

potentially Barsotti-Tate of extended type .

In the first case, is modular by Theorem 7.2.1 of Reference CDT. In the other cases we will simply write for the type/extended type. We see that has centraliser and the results of §2.1 show that admits and that is weakly acceptable for . Moreover is absolutely irreducible and, by the Langlands-Tunnell theorem (see Reference Wi), modular. Thus by Theorems 1.4.1 and 1.4.2 we see that is modular. We deduce that is modular, so is modular.

Combining this theorem with Theorem 7.2.4 of Reference CDT we immediately obtain the following corollary.

Theorem 2.2.2.

Every elliptic curve defined over the rational numbers is modular.

2.3. An extension of a result of Manoharmayum

The following facts follow at once from Reference Man, particularly the classification given just before Theorem 5.4.2 of that paper. Consider elliptic curves over with minimal Weierstrass equation , where

so has the form and is très ramifié. This leaves three possibilities for the equivalence class of . Fix in with but . The action of on is via a representation of the form

for some and some . All nine possibilities for the pair satisfying these conditions can arise for some such choice of and .

Lemma 2.3.1.

With the above notation and assumptions, we have .

Proof.

Let , where and

is a totally ramified abelian extension of of degree 6, with uniformiser . The change of coordinates , shows that has good reduction over , and the reduction is isomorphic to

The arithmetic Frobenius of therefore has trace 3 on . Since

we conclude that

so .

Twisting by quadratic characters we immediately deduce the following corollary.

Corollary 2.3.2.

Let have the form

and be très ramifié. Let have cyclotomic determinant and restriction to given by a character

determined by

for some . There is an elliptic curve , with and . In particular, the action of on factors through a finite group and so has potentially good reduction.

3. Admittance

In this section we will check Lemmas 2.1.1, 2.1.3 and 2.1.5. We freely use the terminology introduced in §1.2 and §1.3.

3.1. The case of

In this case is the induction from to of a character of order . Its reduction modulo a prime above has the same Jordan-Hölder constituents as the reduction modulo of . Using Brauer characters, we see that the reduction modulo of has Jordan-Hölder constituents , and . Thus, admits , , and , the latter two simply. Lemma 2.1.1 follows in this case.

3.2. The case of

Let denote the subgroup of consisting of matrices

with and , so is the induction from to of a character of order . Upon reduction modulo a prime above this will have the same Jordan-Hölder constituents as the reduction modulo of . If denotes the non-trivial character of and a character of of order , then this latter induction splits up as the sum of the representations of denoted , and in §3.1 of Reference CDT. By Lemma 3.1.1 of Reference CDT we see that admits , and , the latter two simply. Lemma 2.1.1 follows in this case.

3.3. The case of

Let denote the subgroup of consisting of matrices

with and . Then is the induction from to of a character of order . Upon reduction modulo a prime above this will have the same Jordan-Hölder constituents as the reduction modulo of . Thus, simply admits and . Lemma 2.1.3 follows.

3.4. The case of

Let be the character of as in (Equation 2.1.1). Let be a character of with kernel and which sends to . If we have

We deduce that if is the character used to define in §1.2, then .

Let denote the subgroup of consisting of matrices

with and . Let be the group generated by (see (Equation 1.2.1)) and , so is the representation of induced from a character of which sends to and has order when restricted to . Thus, the Jordan-Hölder constituents of the reduction of modulo a prime above are the same as the Jordan-Hölder constituents of the reduction modulo of .

Let denote the subgroup of consisting of matrices

with . Let be the group generated by and , and let denote the character of which sends to . We have

where is a non-trivial character of . The reduction modulo a prime above of this (-dimensional) representation has the same Jordan-Hölder constituents as the reduction modulo of . Thus, admits , , and , the latter two simply. Lemma 2.1.5 follows.

4. New deformation problems

In this section we begin the proof of Theorems 2.1.2, 2.1.4 and 2.1.6. One could approach this directly by using the results of Reference Br2 to attempt to describe (resp. ). At least one of the authors of this paper (Taylor) thinks that such an approach holds out more promise of attacking the non-acceptable case, and another author (Breuil) has indeed made several computations along these lines. However in the present case it seems to be easier to proceed less directly.

To this end we will use ad hoc arguments to define deformation problems, which will be represented by -algebras such that

,

and the map (resp. ) factors through .

An important advantage of this approach is that to calculate one need only work in the category of finite flat group schemes killed by a prime. Breuil modules (see §5) for finite flat group schemes killed by an odd prime are significantly simpler than the general case (of prime power torsion). This is particularly true when we also use descent data. On the other hand, to suitably define the new deformation problems is rather delicate. That is what we will do in this section.

4.1. Some generalities on group schemes

In this section, and in §4.2, will again be an arbitrary rational prime. Moreover will denote a complete discrete valuation ring with fraction field of characteristic zero and perfect residue field of characteristic . We will let denote a finite group of continuous automorphisms of and we will let denote the subfield of consisting of elements fixed by . Thus will be finite and Galois with group . In our applications of these results it suffices to consider the case where is a finite extension of (although we will occasionally pass to the completion of the maximal unramified extension of ).

Lemma 4.1.1.

Let be a finite flat -group scheme. Scheme theoretic closure gives a bijection between subgroup schemes of and finite flat closed subgroup schemes of .

(See for instance §1.1 of Reference Co.)

Lemma 4.1.2.

Let and be finite flat group schemes over which have local-local closed fibre. Suppose that and are the only finite flat -group schemes with local-local closed fibre which have generic fibres and respectively. Suppose also that we have an exact sequence of finite flat -group schemes

Then is the unique finite flat -group scheme with local-local closed fibre and with generic fibre .

Proof.

Let and denote the maximal and minimal local-local models for . The proof that these exist follows the proof of Proposition 2.2.2 of Reference Ra and uses the fact that the Cartier dual of a local-local finite flat group scheme is local-local. We must show that the canonical map is an isomorphism. The scheme-theoretic closure of in must be isomorphic to (by uniqueness), so we have closed immersions extending . Similarly must be isomorphic to . This gives a commutative diagram with exact rows:

The vertical maps and induce isomorphisms on the generic fibre and hence are isomorphisms. This is because some power of them is the identity on the generic fibre and hence is the identity. Working in the abelian category of fppf abelian sheaves over , the middle map must also be an isomorphism.

When has -power order, we will let denote the classical (contravariant) Dieudonné module of . It is a -module equipped with a Frobenius operator and a Verschiebung operator . We have and for all , and .

If is a finite flat -group scheme, then by descent data for over we mean a collection of group scheme isomorphisms over

for such that for all we have

Note that this is not descent data in the sense of Grothendieck, since might be ramified. However, is étale, so by étale descent we obtain a finite flat group scheme over together with an isomorphism

compatible with descent data. We also obtain a natural left action of on the Dieudonné module , semi-linear with respect to the -module structure and commuting with and . We refer to the pair as an -group scheme with descent data relative to . One defines morphisms of such objects to be morphisms of -group schemes which commute with the descent data. By a closed finite flat subgroup scheme with descent data we mean a closed finite flat subgroup scheme such that the descent data on the ambient scheme takes the subscheme to itself. Quotients by such subobjects are defined in the obvious way. Thus we obtain an additive category with a notion of short exact sequence. Suppose that is a finite flat -group scheme. By a model with descent data (or simply model) for over we shall mean a triple , where is an -group scheme with descent data relative to and where . Sometimes we will suppress from the notation. It is easy to check that isomorphism classes of models admitting descent data for over form a sublattice of the lattice of models for over . The following lemma follows without difficulty from Lemma 4.1.1.

Lemma 4.1.3.

Let be a finite Galois extension as above, and let be a finite flat -group scheme with descent data relative to . Base change from to , followed by scheme theoretic closure, gives a bijection between subgroup schemes of and closed finite flat subgroup schemes with descent data in .

We let denote the category of finite flat group schemes over and the category of finite flat group schemes over with descent data over . Let denote the (non-commutative) -algebra generated by elements , and for satisfying

for all ;

and for all ;

;

for all and ;

and for all .

If is a two-sided ideal in , we will let denote the full subcategory of consisting of objects such that annihilates . If is an object of and if is a closed finite flat subgroup scheme with descent data, then and are again objects of .

Lemma 4.1.4.

For a two-sided ideal of the ring , choose objects and in so that . Let denote the base change of this -group scheme to , so has canonical descent data relative to . Then the and of and in the lattice of integral models for are stable under the descent data on and with this descent data are objects of .

Proof.

By uniqueness of the inf and sup, they are stable under the descent data on the generic fibre. It follows from Raynaud’s construction of the inf and sup (Proposition 2.2.2 of Reference Ra) in terms of subgroup schemes and quotients of that the sup and inf are objects of .

Corollary 4.1.5.

Let be a two-sided ideal of the ring . Let

be an exact sequence of finite flat group schemes over . Let and be objects of such that and . Suppose that for all objects of with , the filtration on induced by the filtration on has subobject isomorphic to and quotient isomorphic to (without any assumed compatibility with (Equation 4.1.1. Then there is at most one model for in .

Proof.

By Lemma 4.1.4, it suffices to prove that if and are two such models with a morphism between them, then the morphism between them must be an isomorphism. In such a case we have a commutative diagram with exact rows:

The vertical maps and induce isomorphisms on the generic fibre and hence are isomorphisms. This is because some power of them is the identity on the generic fibre and hence is the identity. Working in the abelian category of fppf abelian sheaves over , the middle map must also be an isomorphism.

4.2. Filtrations

We keep the notation and assumptions of the previous section. Let be a finite non-empty set of objects of . (Note the in the subscript , which denotes the two-sided ideal generated by and .) Suppose that

(in particular, the objects in are non-zero and pairwise non-isomorphic). By a -filtration on a finite flat -group scheme we mean an increasing filtration such that for all the graded piece is isomorphic to for a (unique) . The following lemma is proved by the standard Jordan-Hölder argument.

Lemma 4.2.1.

If is a finite flat -group scheme which admits a -filtration and if is a quotient or subobject of which admits a -filtration, then any -filtration of can be extended to a -filtration of . In addition, all -filtrations of have the same length and the same set of successive quotients (with multiplicities).

We say that an object of is weakly filtered by if there is some increasing filtration of by closed subobjects such that for all , the graded piece

is isomorphic to an element of . We say that an object of is strongly filtered by if is weakly filtered by and if for every -filtration of the corresponding filtration of satisfies

is isomorphic to an element of for all . The following lemma follows at once from the definitions and from Lemma 4.2.1.

Lemma 4.2.2.
(1)

If and are objects of which are weakly filtered by , then is also weakly filtered by .

(2)

Let and be objects of with a closed subobject or quotient of . Suppose that is strongly filtered by and that admits a -filtration. Then is strongly filtered by .

If any object of which is weakly filtered by is strongly filtered by , then we will let denote the full subcategory of consisting of objects which are weakly (and therefore strongly) filtered by .

Lemma 4.2.3.

Suppose that any object of which is weakly filtered by is strongly filtered by . Let be a finite flat -group scheme. If and are two objects of with isomorphisms

for , then there is a unique isomorphism

such that on the generic fibre .

Proof.

It follows from Raynaud’s construction of sup and inf that the sup and inf of and are again objects of . Thus we may suppose that there exists a map such that on the generic fibre . We will argue by induction on the rank of that is an isomorphism.

If is isomorphic to an element of , then the result follows by our assumption on .

If is not isomorphic to an element of , then choose an exact sequence

where and are weakly filtered by . Let denote the closed subobject of corresponding to and define . Then we have a commutative diagram with exact rows

compatible with descent data, where the central vertical arrow is and where by inductive hypothesis the outside vertical arrows are isomorphisms. Working in the abelian category of fppf abelian sheaves over , we see that is an isomorphism.

The following lemma and its corollary give criteria for the equivalence of the notions of being weakly filtered by and of being strongly filtered by .

Lemma 4.2.4.

Fix and as above. Suppose that for any pair of (possibly equal) elements and in , the natural map

is injective. Then any object of which is weakly filtered by is also strongly filtered by .

Proof.

For brevity, we say “weakly/strongly filtered” rather than “weakly/strongly filtered by since the data is fixed for the entire proof. Also, we omit the specification of descent data from the notation, but it should not be forgotten.

Suppose is weakly filtered. In order to prove that is strongly filtered, we argue by induction on the length of a -filtration of , this length being well-defined by Lemma 4.2.1. The case of length is clear. Otherwise, by the definition of being weakly filtered, there is a short exact sequence of finite flat -group schemes (with descent data relative to )

with and weakly filtered (and hence, by inductive hypothesis, strongly filtered). Let be any closed subgroup scheme of (with compatible descent data relative to ) such that for some and such that admits a -filtration. We need to prove (in the category of finite flat group schemes with descent data relative to ) that

,

and is weakly filtered.

If the composite map

is zero, then as closed subgroup schemes of (with descent data) and likewise , so we are done. The interesting case is when the composite map is non-zero. The map is then non-zero and therefore must be a closed immersion by the assumption (Equation 4.2.1) on and a devissage with respect to a -filtration of . We conclude that the map of generic fibre étale group schemes is a closed immersion.

Taking scheme-theoretic closures, we obtain a closed subgroup scheme (with unique compatible descent data over ) fitting into a commutative diagram of group schemes with descent data

in which the lower row is short exact, the vertical maps are closed immersions and the top map induces an isomorphism on generic fibres. By Lemma 4.2.1 we may extend to a -filtration on and so, because is strongly filtered by induction, we may extend to a -filtration. In particular is isomorphic to an object in and is strongly filtered.

Pulling back the short exact sequence

by , we get a diagram

in which the row is a short exact sequence of fppf abelian sheaves and all of the terms are finite flat group schemes (for the middle, this follows from the flatness of ). Thus, this bottom row is a short exact sequence of finite flat group schemes (with descent data). As , the sequence

is split. In particular and hence are killed by . By the hypothesis of the lemma

is also split, i.e. we have an isomorphism

such that corresponds to injection to the first factor of and corresponds to projection onto the second factor. By our hypotheses on we can find a morphism extending

Then our closed immersion factors as

As is a closed immersion, must be a closed immersion and hence an isomorphism. Thus is isomorphic to an object in .

Now we turn to the proof that is weakly filtered. Since is an isomorphism, it is clear that the natural map

is an isomorphism, and hence that

is a closed immersion. Thus, the finite flat group scheme makes sense and the natural map

is an isomorphism (as one sees by using the universal properties of quotients to construct an inverse map). We therefore arrive at a short exact sequence

(compatible with descent data). Since is strongly filtered, as we noted above, and , it follows that is weakly filtered.

Corollary 4.2.5.

Fix and as above. Suppose that is a singleton. Suppose also that we have a short exact sequence

in , where for any (possibly equal)

and the natural map

is injective. Then any object of which is weakly filtered by is also strongly filtered by .

Proof.

As is weakly filtered by , it is weakly filtered by , and so by Lemma 4.2.4 is strongly filtered by . Any -filtration of extends to a -filtration of , which in turn gives rise to a -filtration of . By the injectivity of (Equation 4.2.2) we see that this yields a -filtration of that induces to our chosen -filtration of .

4.3. Generalities on deformation theory

Again in this section denotes an arbitrary rational prime. We let denote a finite extension of , the ring of integers , the maximal ideal of and its residue field. Note that has a different meaning from the previous two sections. Let be a two-dimensional -vector space and a continuous representation. Suppose that the centraliser of in is . Let denote a continuous character such that . Let denote the full subcategory of the category of finite length (discrete) -modules with a continuous -linear action of consisting of objects which admit a finite filtration so that each successive quotient is isomorphic to . Because , it follows from the usual Jordan-Hölder argument that is an abelian category.

Let be a full subcategory of stable under isomorphisms and which is closed under finite products, -subobjects and -quotients, and which contains . We will consider the following set-valued functors on the category of complete noetherian local -algebras with finite residue field .

is the set of conjugacy classes of continuous representations such that is conjugate to .

is the set of conjugacy classes of continuous representations such that is conjugate to and .

is the set of conjugacy classes of continuous representations such that is conjugate to and such that for each open ideal the action makes into an object of .

is the set of conjugacy classes of continuous representations such that is conjugate to , such that , and such that for each open ideal the action makes into an object of .

Each of these deformation problems is representable by objects which we will denote , , and , respectively.

Recall that the following sets are in natural (-linear) bijection with each other.

.

The set of deformations of to .

.

.

These bijections give rise to an isomorphism

as well as bijections between

,

the set of deformations of to which make into an object of ,

, i.e. in the category of discrete -modules which are also objects of ,

the subgroup corresponding to .

We will set , so that we get an isomorphism

4.4. Reduction steps for Theorem 2.1.2

We now begin the proof of Theorem 2.1.2. Making an unramified twist we may suppose that has the form

We may also suppose that .

Let denote a totally ramified cubic Galois extension of . Let denote the unique cubic extension of such that is Galois but not abelian, and let denote a cubic subfield of , so is unramified.

Let denote the full subcategory consisting of -modules for which there exists a finite flat -group scheme with descent data for such that as a -module. By Lemma 4.1.3 we see that is closed under finite products, subobjects and quotients. Using Tate’s theorem on the uniqueness of extensions of -divisible groups from to (Theorem 4 of Reference T), we see that the map factors through . Thus, Theorem 2.1.2 follows from the following result which we will prove in §7.

Theorem 4.4.1.

.

4.5. Reduction steps for Theorem 2.1.4

We now begin the proof of Theorem 2.1.4. Making an unramified twist, we may suppose that has the form

We may also suppose that .

Let denote the degree abelian extension of with norm subgroup in topologically generated by , and . Note that is Galois. We have an isomorphism

Let be the unique element of order . (In later applications this will be the square of an element of order in .) We also let denote the fixed field of a Frobenius lift of order , so is totally ramified.

We will let denote the two-sided ideal of generated by

,

and .

Let denote the full subcategory of consisting of objects for which we can find an object of such that as a -module. By Lemma 4.1.3, we see that is closed under finite products, subobjects and quotients.

Now choose a finite extension and continuous map of rings such that the corresponding representation is of type . Let be the corresponding -divisible group over . By Tate’s theorem (Theorem 4 of Reference T), the base change of to has a unique extension to a -divisible group over . By the uniqueness of this extension, it is also equipped with descent data relative to and with an action of , compatible with the canonical structure on the generic fibre.

Let correspond to . We will use the notation of Appendix B of Reference CDT (in particular and ), except that we will write and in place of and . Then

,

, but not , is a scalar,

and .

Thus . Hence on we have

,

and .

We conclude that on we have

,

,

and so .

In particular annihilates and for all the map factors through . Hence, the map factors through and Theorem 2.1.4 follows from the following result which we will prove in §8.

Theorem 4.5.1.

.

4.6. Reduction steps for Theorem 2.1.6

We now begin the proof of Theorem 2.1.6. We may suppose that .

Let denote the degree abelian extension of with norms the subgroup of topologically generated by , , and , where is the unique lift of to with . Note that is Galois. We identify

where corresponds to and has order , corresponds to and has order , and corresponds to and has order . We also let denote the fixed field of , so is totally ramified.

We will let denote the two-sided ideal of generated by

,

,

and .

We remark that the ideal is unchanged if we change our choice of .

In §9 we will prove the following result (and explain the unusual looking notation).

Theorem 4.6.1.

There are objects , , and in the category with the following properties.

(1)

For , , and we have as -modules.

(2)

For , , and there is a short exact sequence in ,

such that and have order and for all (possibly equal) the natural map

is injective.

(3)

If is a finite field extension and if is an object of with an action of such that is isomorphic to , then for some , , or the object of is weakly filtered by .

(4)

For , and we have on , while on .

Note that for all (possibly equal), we must have

For , , and , we let denote the full subcategory of consisting of objects which are isomorphic to for some object of . By Lemma 4.2.2, Corollary 4.2.5 and Theorem 4.6.1 we see that is closed under finite products, -subobjects and -quotients. In §9 we will also prove the following two results.

Theorem 4.6.2.

For , , and we have

Theorem 4.6.3.

For , and and for any there exists a continuous representation

such that

,

for some object of we have

(where denotes the two-sided ideal of generated by and ),

and .

(We are not asserting that and are independent of the choice of , though in fact we believe that is independent of this choice.)

From these results we can easily draw the following consequence.

Corollary 4.6.4.

For , and we have

Proof.

By Theorems 4.6.2 and 4.6.3 we see that and that if is an Artinian quotient of corresponding to a (necessarily unique; see Lemma 4.2.3) object of , then on .

Now suppose is any Artinian quotient of which corresponds to an object of the category . Let and consider the exact sequences

and

By Lemma 4.2.3, we have exact sequences

and

in such that the composite

is multiplication by . In particular we have exact sequences

and

such that the composite

is multiplication by . As on we see that and factor through maps , i.e. we can write and for some endomorphisms and of . Thus equals zero on and so . We conclude that , so that and .

Thus

We now modify the argument in §4.4. Choose a finite extension and continuous map of rings such that the corresponding representation is of extended type . Let be the corresponding -divisible group over . By Tate’s theorem (Theorem 4 of Reference T) has a unique extension to a -divisible group over . By the uniqueness of this extension, comes equipped with descent data relative to and with an action of , compatible with the canonical structure on the generic fibre.

Let correspond to . We will use the notation of Appendix B of Reference CDT (in particular and ), except that we will write and in place of and . Then

,

,

and .

Thus on we have

,

,

and .

We conclude that on we have

,

,

and .

Hence also

,

and .

In particular annihilates .

Thus is an object of such that corresponds to . By Theorem 4.6.1 we see that is weakly filtered by for some , , or . We will prove . By Theorem 4.6.1 and Lemma 4.2.4, is strongly filtered by . As is filtered by , using Theorem 4.6.1, we see that is weakly filtered by . For all we have

so for all the object is also weakly and hence strongly filtered by for the same . Thus, for all , the map factors through . By Corollary 4.6.4 we see that , so the map factors through and Theorem 2.1.6 follows from Theorem 4.6.2.

4.7. Some Galois cohomology

In this section we will begin the proofs of Theorems 4.4.1, 4.5.1 and 4.6.2. We will let denote one of the categories , or . We will let in the cases and otherwise. In all cases

is très ramifié.

The maps and induce a commutative diagram with exact rows and columns:

We will let denote the composite map

and (resp. ) the induced mapping

(resp.

We will also let (resp. ) denote the induced mapping

(resp.

If we reinterpret our -groups as cohomology groups and use the isomorphism , our diagram becomes:

Fix a basis of so that takes the form

Then any extension of by in characteristic may be represented by a matrix

where the cocycle

represents the class of this extension in . Moreover

,

if , then and ,

and if and only if .

In particular we have on .

We have an exact sequence

where the first map sends

and the second map sends

Thus we get an exact sequence

and so we may identify with . We also have an exact sequence

which gives rise to an exact sequence

If we identify with , then the latter map is identified with .

Lemma 4.7.1.

The sequence

is exact.

Proof.

The key point is that is très ramifié (compare with Proposition 6.1 of Reference Di1). It suffices to show that the composite

is injective. Suppose that maps to zero in ; then by Tate duality is annihilated by the image of the map coming from the short exact sequence

Cartier dual to (Equation 4.7.1). As is très ramifié we see that the image of

is not contained in . Thus

must be zero (see Proposition 3 of §1 of Chapter XIV of Reference Se1).

Corollary 4.7.2.

The maps

and

have the same kernel and this has dimension over .

Theorems 4.4.1, 4.5.1 and 4.6.2 now follow from the following results, which we will prove later. One advantage of these new formulations is that, with one exception, they refer only to and make no mention of the determinant or , concepts which we found tricky to translate into the language of integral models.

Theorem 4.7.3.
(1)

is the zero map.

(2)

is the zero map.

(3)

is the zero map.

Theorem 4.7.4.
(1)

is the zero map.

(2)

is the zero map.

Theorem 4.7.5.

Suppose that and , , or .

(1)

is the zero map.

(2)

Either or is the zero map.

The deduction of Theorems 4.4.1, 4.5.1 and 4.6.2 from these results is immediate.

5. Breuil modules

In this section we recall some results from Reference Br2 (see also the summary Reference Br1) and give some slight extensions of them. Three of the authors apologise to the fourth for the title of this section, but they find that the term “Breuil module” is much more convenient than “filtered -module”.

Throughout this section, will be an odd rational prime and will be a complete discrete valuation ring with fraction field of characteristic zero and perfect residue field of characteristic .

5.1. Basic properties of Breuil modules

We will fix a choice of uniformiser of and let

be the Eisenstein polynomial which is the minimal polynomial of over the fraction field of , so is a polynomial with unit constant term (and degree at most ). The power map on is denoted , and we define

It is very important to keep in mind that these definitions, as well as many of the definitions below, depend on the choice of the uniformiser .

The category of -torsion Breuil modules (or -torsion Breuil modules over ”, or simply “Breuil modules” or “Breuil modules over ”) is defined to be the category of triples , where

is a finite free -module,

is a -submodule of containing ,

is -semi-linear and has image whose -span is all of .

(A morphism is a morphism of -modules such that and on .) We define the rank of to be the rank of over . Breuil modules form an additive category (not abelian in general) in the obvious manner and this category does not depend on the choice of . It is denoted or . The induced -semi-linear map of -vector spaces

is bijective (because it is onto and ). In particular, a map of Breuil modules

is an isomorphism if and only if the map on underlying -modules is an isomorphism.

Lemma 5.1.1.

Suppose that

is a complex of Breuil modules. The following are equivalent.

(1)

The underlying sequence of -modules is exact.

(2)

The underlying sequence of -modules is exact as is the sequence

(3)

The complex of vector spaces

is exact.

Proof.

The second statement clearly implies the first. The first implies the third as Breuil modules are free over . It remains to show that the third condition implies the second. Using Nakayama’s lemma and the freeness of Breuil modules we see that

is an exact sequence of -modules. Using the bijectivity of , we see that the natural map

is surjective modulo and therefore is surjective. It remains to check that the inclusion of -modules is an equality. Since is compatible with via the inclusions , and also via the maps and , it is obvious that and that . Since contains , which in turn contains , we see that is a Breuil module! Then defined via the identity map on is a map of Breuil modules which is an isomorphism on underlying -modules, so it must be an isomorphism of Breuil modules. This forces .

When the equivalent conditions of this lemma are met we call the sequence of Breuil modules

exact.

For any Breuil module , we define the Frobenius endomorphism by

where is defined as in (Equation 5.1.1). Note that this depends on our choice of uniformiser.

We let denote the unique continuous -linear derivation satisfying , i.e. . This operator “extends” to any Breuil module. More precisely, we have the following lemma.

Lemma 5.1.2.

Let be an object of . There is a unique additive operator (the monodromy operator) satisfying the following three conditions:

(1)

, , ,

(2)

on ,

(3)

.

Moreover, any morphism of Breuil modules automatically commutes with .

Proof.

Let’s start with unicity. Recall we have an isomorphism (Reference Br2, 2.1.2.1). Suppose there are two operators and satisfying (1), (2) and (3) above, so is -linear and satisfies and . Thus,

so . Iterating so , and so on. As , we get . For the existence, let on

and note satisfies . Call a derivation of any additive operator satisfying this relation and define successive derivations of by the formula

for . Note that is well defined by the following observations.

and imply that .

If , then (see (1) of Lemma 2.1.2.1 of Reference Br1) and so and .

As , we have , so for . This satisfies (1), (2) and (3).

The reason for introducing Breuil modules (and putting the factor in the definition of ) is the following theorem.

Theorem 5.1.3.
(1)

Given the choice of uniformiser for there is a contravariant functor from finite flat -group schemes which are killed by to and a quasi-inverse functor .

(2)

If is a finite flat -group scheme killed by , then has rank if and only if has rank .

(3)

If is a finite flat -group scheme killed by , then there is a canonical -linear isomorphism

Under this identification, corresponds to and corresponds to the composite

(4)

If

is a diagram of finite flat group schemes over which are killed by and if

is the corresponding diagram of Breuil modules, then the diagram of finite flat group schemes is a short exact sequence if and only if the diagram of Breuil modules is a short exact sequence.

Proof.

See §2.1.1, Proposition 2.1.2.2, Theorem 3.3.7, Theorem 4.2.1.6 and the proof of Theorem 3.3.5 of Reference Br2. In 3.3.5 of Reference Br2 it is shown that can be -linearly identified with the crystalline Dieudonné module of . In 4.2.14 of Reference BBM the crystalline Dieudonné module of is identified with . The equivalence of the two notions of exactness can be deduced from the compatibility of with Dieudonné theory, from Lemma 5.1.1, and from the fact that a complex of finite flat group schemes over is exact if and only if its special fibre is exact (see for example Proposition 1.1 of Reference deJ).

5.2. Examples

For an integer and for , define a Breuil module by

,

,

.

It is easy to check that is well defined (and uniquely determined by the given conditions). We will refer to as the standard generator of and write for . The following lemma is easy to check.

Lemma 5.2.1.
(1)

Any Breuil module of rank over is isomorphic to some .

(2)

There is a non-zero morphism if and only if , and . All such morphisms are then of the form , where .

(3)

The modules and are isomorphic if and only if and , or equivalently if and only if there are non-zero morphisms and .

(4)

If we order the by setting if there is a non-zero morphism , then the set of isomorphism classes of ’s as runs over models of a fixed finite flat -group scheme of order is well ordered.

(5)

On we have , so .

(6)

is étale (resp. multiplicative) if and only if (resp. ).

(7)

and .

(8)

The Cartier dual of is .

Proof.

The first three parts are easy computations. For the fourth part note that two finite flat group schemes and of order over have isomorphic generic fibres if and only if there is a non-zero morphism or . The fifth part is another easy computation and the sixth part follows on computing the Dieudonné module using Theorem 5.1.3.

By 3.1.2 of Reference Br2 we see that the affine -algebra of the group scheme attached to is

where is a lift of to . This has constant generic fibre if and only if is an power. This occurs if and only if and is an power. Thus corresponds to the étale group scheme over .

Next, we show that the group scheme corresponding to the Breuil module is isomorphic to . By using the relation between Breuil modules and Dieudonné modules (see Theorem 5.1.3) we see that the Dieudonné module of the closed fibre of is isomorphic to the Dieudonné module of the closed fibre of . This forces , since we may consider Cartier duals and observe that a finite flat -group scheme is étale if and only if its special fibre is étale, and then §18.5.15 of book IV of Reference EGA may be used.

This establishes the seventh part. The final part follows from parts four and seven.

Now suppose that are integers and choose and . We can define an extension class

in by

,

,

and ,

the standard generator of maps to ,

maps to and maps to the standard generator in .

The following lemma is also easy to check.

Lemma 5.2.2.
(1)

Any extension of by in is isomorphic to for some .

(2)

Two such extensions and are isomorphic as extension classes if and only if

for some , in which case one such isomorphism fixes and sends to .

We remark that is required so that . We will write for .

We will also need some slight extensions of these results to allow for coefficients. To this end let be a finite extension linearly disjoint from and write for the field . For an integer and for , define a Breuil module, , with an action of by

,

,

.

We will let denote the automorphism of , which is the identity on and which raises elements of to the power. The following lemma is easy to check.

Lemma 5.2.3.
(1)

Any Breuil module with an action of which is free of rank over is isomorphic to some .

(2)

There is a non-zero morphism if and only if , and for some . All such morphisms are then of the form , where and .

(3)

The modules and are isomorphic if and only if and .

(4)

On we have and so .

(5)

is étale (resp. multiplicative) if and only if (resp. ).

Now choose integers, and . We define an extension class

in with an action of by

,

,

and ,

the standard generator of maps to ,

maps to and to the standard generators in .

Then the following lemma is easy to check.

Lemma 5.2.4.
(1)

Any extension of by in with a compatible action of is isomorphic to for some .

(2)

Two such extensions and are isomorphic (as extensions) if and only if

for some , in which case one such isomorphism fixes and sends to .

We will write and for and respectively.

5.3. Relationship to syntomic sheaves

Let us first recall some of the notations of Reference Br1 and Reference Br2. Let be the small -adic formal syntomic site over , the -adic completion of , , and for any :

where is viewed over via the thickening . It turns out is the sheaf of -modules on associated to the presheaf (cf. the proof of Lemma 2.3.2 in Reference Br2):

Here, the subscript means we twist by the power of the Frobenius when sending to and the exponent means we take the divided power envelope with respect to the kernel of the canonical map:

where is a local lifting of , these divided powers being required to be compatible with the usual divided powers (i.e. we take the divided power envelope relative to the usual divided power structure on the maximal ideal of ). Note that the latter map induces a canonical surjection of sheaves of -modules on :

where . We denote by the kernel of this surjection. For any , let be the unique lifting of Frobenius such that and . The sheaf is equipped with the crystalline Frobenius , which is also induced by the map on the above presheaf (Equation 5.3.1). (Here on is Frobenius on and takes to .) Since divides , we get for all , so we can define an -linear by the usual “flatness” trick (see §2.3 of Reference Br2). Let be the unique -linear derivation such that and . Finally define:

to be the unique -linear morphism of sheaves which on the presheaf (Equation 5.3.1) is given by . Note that , so on .

Let be a finite flat group scheme over , which is killed by . Viewing as a formal scheme over , it is an object in . Viewing it as a sheaf of groups on , its associated Breuil module is defined as:

(1)

,

(2)

in ,

(3)

is induced by ,

where the -module structures are induced by the compatible actions on and (see §3.2 and §2.1.2.2 of Reference Br2). Here is the surjection that sends to , to for and to for .

We record for future reference the following straightforward observation.

Lemma 5.3.1.

If we denote by (resp. , ) the coproduct (resp. the two projections)

then for any sheaf of commutative groups on we have:

The operator on induces an operator on , hence on .

Lemma 5.3.2.

The above operator on coincides with the operator defined in Lemma 5.1.2.

Proof.

By unicity in Lemma 5.1.2, we only have to prove that satisfies , since the other conditions are automatically satisfied. It’s enough to prove that for any . But on because it is so on . Thus one also has on , hence on . This implies since is free over .

5.4. Base change

In this section we will examine the relationship of the functor with two instances of base change. First we consider unramified base change.

Let be a perfect field of characteristic which is an extension of and . Choose as uniformiser in . If , let and define:

As in the proof of 2.3.2 of Reference Br2, we have that is the sheaf on associated to the presheaf:

Define as but with instead of . There is a canonical isomorphism of sheaves:

coming from the obvious isomorphism:

and one easily sees it induces an isomorphism . Moreover, we have the following obvious lemma.

Lemma 5.4.1.

The diagram of sheaves on :

is commutative.

Using the identification from §5.3, Lemma 5.3.1 and Lemma 5.4.1 (for ), together with obvious functorialities, we obtain after tensoring by the following corollary.

Corollary 5.4.2.

Let be a finite flat group scheme over , which is killed by . Let be an extension of fields with perfect and let , a uniformiser for . Then there is a canonical isomorphism in the category

compatible with composites of such residue field extensions.

We will now turn to the case of base change by a continuous automorphism . For any , let and , where and act on through their action on . Choose such that . Notice that . Define by .

Lemma 5.4.3.

There is a unique element such that, if is defined by , one has .

Proof.

One has to solve in :

(where the two sides clearly belong to ). As , there is a unique such that , so we have

For any object of , define by the following formula:

where is as in Lemma 5.1.2.

For any , let and define:

Then is the sheaf on associated to the presheaf:

Let be the unique ring isomorphism such that

for , . There is a canonical isomorphism of sheaves:

coming from the obvious -semi-linear isomorphism:

and one easily sees it induces an isomorphism .

Define as in Lemma 5.4.3 and define:

to be the unique morphism of sheaves which is induced by on the presheaf (Equation 5.3.1) (see §5.3 and note that this is well defined). Since , we can define .

Lemma 5.4.4.

The diagram of sheaves on

is commutative. Moreover we have on

where is defined as in §5.3.

Proof.

By working modulo , i.e. with and , and looking on the above presheaves, the proof is completely straightforward.

Let be a finite flat group scheme over which is killed by . Note that thanks to Lemma 5.3.2 and the formula for in Lemma 5.4.4, the operator induced by the map is precisely the operator denoted earlier in this section (see (Equation 5.4.1)). Using this, together with Lemma 5.3.1, Lemma 5.4.4 (for ) and obvious functorialities, we obtain, after tensoring by , the following corollary.

Corollary 5.4.5.

Let be a continuous automorphism.

(1)

Let be a finite flat group scheme over , which is killed by . Then there is a canonical isomorphism in the category

(2)

If is a morphism of finite flat -group schemes killed by and is the corresponding morphism in , then also commutes with the and there is a commutative diagram in

(3)

If are two continuous automorphisms of and if we choose the unique such that on , then on

one has .

Corollary 5.4.6.

Let be a finite flat group scheme over , which is killed by . To give a morphism of schemes such that the diagram of schemes

is commutative and the induced morphism is a morphism of group schemes over , is equivalent to giving an additive map such that both of the following hold:

(1)

For all and , .

(2)

and with as in Lemma 5.4.3 and as in Lemma 5.1.2.

Proof.

Note that the last condition is equivalent to . The first two conditions are equivalent to giving a morphism in , which is equivalent to the last two by Corollary 5.4.5.

Finally we make some computations that concern the dependence of the above compatibilities on the choice of . Let be an element of and define, for any in , the additive map via

where is as in Lemma 5.1.2. Using , we extend to all of by the formula:

for . If , one checks that:

so is well defined. Moreover, it is clear that . Let

be the unique isomorphism of sheaves coming from the semi-linear isomorphism of presheaves:

(see Equation 5.3.1).

Let be a finite flat group scheme over killed by and recall that

Lemma 5.4.7.

The operator on is induced by the operator on .

Proof.

One can check that the operator on satisfies , where is defined as in §5.3 and is the usual expansion of in , which makes sense because of the assumption that and because of the divided powers . After tensoring with , we get on which clearly implies the two ’s are the same.

Let and choose for some (see the start of §5.1 for the definition of ). Recall from Corollary 5.4.5 that we have a canonical isomorphism .

Lemma 5.4.8.

The map is the composite , where the first map is the one in Corollary 5.4.5 and the second comes from the obvious isomorphism . In other words, once has been chosen, is the map corresponding to the identity under the equivalence of Corollary 5.4.6.

The proof is straightforward by looking at the usual presheaves and using Lemma 5.4.7. We remark that is not necessarily the identity even though is. However, with , is the identity.

5.5. Reformulation

In this section, we will reformulate Corollary 5.4.6.

Lemma 5.5.1.

There is a unique element such that if is defined by , one has .

Proof.

One has to solve in :

As , there is a unique such that . Applying to (cf. the proof of Lemma 5.4.3), we get . We must solve:

Lemma 5.5.2.

There is a unique such that if , then . Similarly, there is a unique such that if , then . Moreover, and .

Proof.

Since is a derivation, so is for any . One has to solve and , which amounts to:

where is as in the proof of Lemma 5.4.3. The commutation relations with the Frobenius follow from , , , , and the fact is bijective on .

We also denote by and the corresponding derivations on . For any object of , define by the formula

where is as in Lemma 5.1.2, and we recall that we defined in (Equation 5.4.1). One checks that (see (Equation 5.1.1)). Note that we also have , , , in .

Lemma 5.5.3.

Let be an object of then there is a unique operator satisfying the following three conditions:

(1)

, , ,

(2)

, , where if ,

(3)

.

The same statement holds for , and .

Proof.

The proof is the same as for Lemma 5.1.2, using the fact we still have isomorphisms

(resp. with replacing ).

Lemma 5.5.4.

For an object of , and , where , are as in Lemma 5.5.3, , as in Lemma 5.5.2 and as in Lemma 5.1.2.

Proof.

By unicity of , one has to check satisfies the three conditions of Lemma 5.5.3. The first and last are obvious. Note that so , which implies on ( is as in Lemma 5.5.3). One computes:

But the equality in (from Lemma 5.5.2) yields

We thus get , hence condition (2). For , the proof is completely similar.

Lemma 5.5.5.

Let be an object of and an additive map such that for all and , and . If , then . Similarly, if , then .

Proof.

We prove the first case, the other one being the same. As in the proof of Lemma 5.1.2, we define , ,..., with for large enough, using . It is enough to show for all . Suppose and let and . Then

so by linearity. One easily checks by a similar computation that , hence the result follows by induction.

Lemma 5.5.6.

Let be an object of and an additive map such that for all and , and . Then the following two conditions are equivalent:

(1)

,

(2)

and .

Proof.

One has to show is equivalent to . We prove (1) (2), the other case being the same. On , we have , because , as in the proof of Lemma 5.5.4. By Lemmas 5.5.4 and 5.5.5, we have . Thus we get from (1), using ,

Playing the same game over with the relation , which is easily checked to hold in , we again end up with in . But we also have in the equality:

Thus in , so relation (2) holds.

We can now derive the variant of Corollary 5.4.6 which we will use.

Corollary 5.5.7.

Let be a finite flat -group scheme killed by . Let be a continuous automorphism, choose such that and define by . To give a morphism of schemes such that the diagram of schemes

is commutative and the induced morphism is an morphism of group schemes over , is equivalent to giving an additive map such that both of the following hold:

(1)

For all and , .

(2)

and , with as in Lemma 5.5.1 and as in Lemma 5.1.2.

Moreover, is an isomorphism if and only if is. Assume these are isomorphisms. Choose such that on , i.e. . Then the map that corresponds to is equal to . Also, if , are two automorphisms of and if we choose as above, then corresponds to provided we choose such that .

Proof.

The equivalence is clear thanks to Corollary 5.4.6 and Lemma 5.5.6. The fact that corresponds to is automatic using Corollary 5.4.5 and the functor . Applying this to and , we see that corresponds to . But by Lemma 5.4.8, corresponds to with defined by in . We see that and that is the identity on . Thus on .

5.6. Descent data

Assume now that is endowed with a continuous left faithful action of a finite group . Then becomes the Galois group of the fraction field of over some subfield. For each , choose so that , with the one condition that . Recall from Lemma 5.5.1 that this uniquely determines elements such that

Moreover, for any pair , , there is obviously a unique such that

If is an object of , then we will denote by the unique -linear map such that for we have

, where is as in Lemma 5.1.2,

and

(See §5.4 where we denoted by .)

Suppose that is a finite flat -group scheme. Recall that by descent data on for we mean isomorphisms of finite flat group schemes

for , such that

for all . Equivalently we may think of as a map of schemes over which induces an isomorphism of group schemes . In this picture the compatibility condition simply becomes

Theorem 5.6.1.

Suppose that is a finite flat -group scheme killed by . Fix as above for all .

(1)

To give descent data on relative to is equivalent to giving additive bijections for all so that takes into and:

for , ,

on ,

and .

(2)

The above equivalence is functorial in and is compatible with classical Dieudonné theory in the following sense: if the action on corresponds to descent data on , then the -semi-linear map induced on the contravariant Dieudonné module and the -semi-linear map induced on are compatible via the isomorphism of Theorem 5.1.3.

Proof.

Part (1) is a consequence of Corollary 5.5.7, Lemma 5.4.8 and the choice . The functoriality in (2) follows from Corollary 5.4.5, and the last statement there comes from , the functoriality of the isomorphism in Theorem 5.1.3 and the reduction modulo of Corollary 5.4.5.

Suppose that . Then we may take for all . With this choice we see that , and for all . In this case to give bijections as in the lemma is equivalent to giving an -semi-linear -action on which commutes with and and preserves . Thus is a Breuil module over from which we can recover by tensoring with over . In other words, étale descent for group schemes translates in the obvious manner for Breuil modules if we choose to be -invariant.

To build an action of on using Theorem 5.6.1, the conditions are not very convenient to check in practice since there are too many of them. It is useful to have the following variant. Choose and a group surjection , where is the free group on generators . The group still acts on (via its quotient ) and for each , choose elements such that . This determines isomorphisms on and and, by composition, isomorphisms for all . Note that if , then for some . For such , denote by the unique -vector space endomorphism of any object of such that for we have

on the image of ,

and

where is as in Lemma 5.1.2. (See §5.4, where we denoted by .) Let be a subset of such that is the smallest normal subgroup of containing .

Corollary 5.6.2.

With the above notation, to give descent data on for is equivalent to giving additive bijections for so that takes into and:

for , ,

on ,

if , where , , and for , and if we define , then .

Proof.

Straightforward from Corollary 5.5.7 and Lemma 5.4.8.

We define a category of Breuil modules with descent data for in the obvious way. This category is additive but not necessarily abelian. We call a complex in exact if the underlying complex in is exact. In the natural way, we extend to a functor from to .

5.7. More examples

In this section we will determine the possible descent data on a rank one Breuil module. Let be as in §5.6.

Lemma 5.7.1.

Suppose that is a finite flat -group scheme of order and that its generic fibre admits descent data over . Then there is unique descent data on over extending any choice of descent data on over . If and if satisfies , then

where denotes the unique root of in with constant term .

We remark that since by consideration of the geometric generic fibre, the choice of isomorphism does not matter.

Proof.

We first claim two such finite flat group schemes and have isomorphic generic fibres if and only if there is a non-zero morphism or . By Lemma 5.2.1 we see that if is a finite flat -group scheme, then the lattice of models for over is well ordered. Suppose all the integral models are . For , any isomorphism must then induce isomorphisms for all . The first part of the lemma follows.

Let , so is a free -module of rank 1 with the usual basis element . The submodule is spanned by and . From Theorem 5.2.1, we have , which implies that

For , . Clearly

is a bijection if and only if for some unit . Evaluating on the element , we get

in . Thus,

for some unit .

Since Breuil module descent data always induces a -linear action of the inertia group on the -vector space and in this case , the action of the element of -power order on must be trivial. Thus .

6. Some local fields

In order to apply the methods of §5, we need some more explicit information about the fields introduced in §4. In this section we will collect this essentially elementary information. In each case we will give an explicit description of the Galois group . This is needed to carry out the delicate Breuil module calculations in subsequent sections. We will also specify a uniformiser of and partially calculate the following polynomials and power series (depending on our choice of ).

, a polynomial of degree at most such that has minimal polynomial over .

.

For , the unique polynomial of degree at most such that .

In some cases power series and as in §5.6.

6.1. The case of

Recall that corresponds to the order homomorphism

is determined by

where and but . Recall also that is any totally ramified cubic Galois extension of . We may take , where is a root of . One may check that the other roots of are and , so is generated by one element , which sends to and satisfies . Also, is a uniformiser for , so

,

,

.

6.2. The case of

Recall that corresponds to the order homomorphism

determined by

where and but . Recall also that is the unique cubic extension such that is Galois but not abelian and that is any cubic subfield. We may take and , where is a root of . The other roots of are and . Thus, is generated by two elements and defined by

,

,

,

and .

We have and , and is a uniformiser for . Thus

,

,

,

.

6.3. The case of

Recall that is the unique -type such that corresponds to the order homomorphism

determined by

where and but . Recall also that is the degree abelian extension of with norm subgroup in topologically generated by , and . We also let denote the unique element of of order and we let denote the fixed field of some Frobenius lift of order .

We claim that , where is a root of and a root of . To verify this, set . We must check that is abelian and that contains , , and . To see that is abelian, note that if is one root of , then the other roots are and (where for definiteness we choose ). Note that and .

Note that is generated by three commuting elements , and of respective orders , and . They may be defined by

, and ;

, and ;

, and .

Choose an element . Then . As we may alter our choice of so that . As we see that , so . We will rename as and suppose it chosen so that . Thus, is generated by elements , and satisfying

,

,

,

and .

The element is the unique element of of order and hence coincides with our previous definition. The element is a Frobenius lift of order and so we may take to be its fixed field, i.e. , where is a uniformiser for . (We are not asserting that equals the element denoted in §4.) One can check that

Note also that projects isomorphically to the quotient of by the wild inertia subgroup.

We conclude

,

,

,

,

,

for .

6.4. The case of

Recall that is the unique -type such that corresponds to the order homomorphism

determined by

where and but . Recall also that is the degree abelian extension of with norm subgroup in topologically generated by , and . We also let denote the unique element of of order and we let denote the fixed field of some Frobenius lift of order .

We claim that where is a root of and a root of . To verify this, set . Then is abelian and so we must check that contains , and . But note that we have the identities , and .

Note that is generated by three commuting elements , and of respective orders , and . They may be defined by

, and ;

, and ;

, and .

Choose an element , so . As , we may alter our choice of so that . As we see that , so . We will rename as and suppose it chosen so that . Thus, is generated by elements , and satisfying

,

,

,

and .

The element is the unique element of of order and hence coincides with our previous definition. The element is a Frobenius lift of order and so we may take to be its fixed field, i.e. , where is a uniformiser for . (We are not asserting that equals the element denoted in §4.) One can check that

Note also that lifts tame inertia.

We conclude

,

,

,

,

,

for .

6.5. The case of

Here and we will let denote the unique lifting of to with . Recall that is the unique extended -type whose restrictions to correspond to the homomorphism

determined by

where and but . Recall also that is the degree abelian extension of with norms the subgroup of topologically generated by , , and . We let , and denote the elements of which correspond respectively to , and .

We claim that , where is a root of and a root of . To verify this, set , so is abelian and we must check that contains , , , and . But note that , and

Note that is an element of of order , but also has order , and is an element of of order . Thus,

, and ;

and ;

and .

Moreover is a norm from , because has norm , so

.

The determination of is more delicate. Let be a root of , so , where is a root of . Thus is unramified and

The norms from to are generated by and . The norms from to are generated by , , , and . The norms from to are generated by , , , and . Thus

corresponds to . As has norm to the product of and , we conclude that fixes . Thus . In other words

.

Choose an element . Then . As we may alter our choice of so that . As we see that and so . We will rename as and suppose it chosen so that . Thus, is generated by elements , and satisfying

,

,

,

and .

The element is a Frobenius lift and it has fixed field , where is a uniformiser for . One can check that

We conclude

,

,

,

,

,

,

for ,

, .

7. Proof of Theorem 4.4.1

In this section we will keep the notation of §4.4 and either §6.1 or §6.2 (depending on whether we are working with or ). We will set in the case of . We will write for and for . If (resp. ) is a finite flat -group scheme (resp. Breuil module over ) we will write (resp. ) for the unramified base change to .

7.1. Rank one calculations

We recall from Lemma 5.2.1 that the only -models for are and , and the only -models for are and . In each case, by Lemma 5.7.1, the base change to admits unique descent data over compatible with the canonical descent data on the generic fibre of (resp. ) over . We will refer to this descent data as the standard descent data on these finite flat group schemes.

7.2. Rank two calculations

Lemma 7.2.1.

The group of extensions of by over is parametrised by . The Breuil module corresponding to is free of rank two over with a basis such that

,

, ,

, .

The standard descent data on and extends uniquely to descent data on . The corresponding representations are of the form

and are peu ramifié. Any such peu-ramifié extension arises for a suitable choice of .

Proof.

The classification of extensions of Breuil modules follows from Lemma 5.2.2. Next, we compute on . (We will not in fact need the result of this computation of , but the calculation is given here as a representative sample of calculations needed later in more complicated settings.) By the last part of Lemma 5.2.1, and for some divisible by . In we compute

so

Using the defining properties of , we compute in

since and the Frobenius-semi-linear must kill . Thus,

To see existence and uniqueness of the descent data on compatible with the standard descent data on and we will work on the side of finite flat group schemes. Because is the unique extension of by with generic fibre (by Lemma 4.1.2), uniqueness reduces to the corresponding questions on the generic fibre, which follows from the injectivity of

For existence it suffices to exhibit a continuous representation of the form

which is peu ramifié but not split, with restriction to corresponding to a local-local finite flat -group scheme . By Theorem 5.3.2 of Reference Man we can find an elliptic curve such that furnishes the desired example. This also proves the final two assertions of the lemma.

Lemma 7.2.2.

Suppose that is a totally ramified abelian cubic extension of and suppose that is a local-local finite flat -group scheme killed by such that is an extension of by . Then for some finite flat -group scheme .

Proof.

As in the proof of the last lemma we see that for some . As the only action of on a one-dimensional -vector space is trivial, we see that each such gives a class in which is invariant by . But

and so the lemma follows.

Lemma 7.2.3.

The group of extensions of by over is isomorphic to the group of linear polynomials in . The Breuil module corresponding to is free of rank two over with a basis such that

,

, .

Each admits unique descent data compatible with the standard descent data on and . As vary over the corresponding descent to of the generic fibre of runs over all extensions of by . The corresponding representation of is peu ramifié if and only if .

Proof.

The classification of extensions of Breuil modules follows from Lemma 5.2.2. The uniqueness of the descent data on follows from Lemma 4.1.2 and the injectivity of as in the proof of Lemma 7.2.1. Note that Frobenius vanishes on the Dieudonné module of if and only if . Thus the lemma will follow if for each -torsion extension of by over which is très ramifié, we can find a finite flat -group scheme such that

the generic fibre of is isomorphic to ,

the closed fibre of is local-local,

and Frobenius is not identically zero on .

The splitting field of contains a cube root of for some , where the three choices of correspond to the three choices of très ramifié . The calculations in §5.3 of Reference Man give explicit additive reduction elliptic curves and over with , where acquires good supersingular reduction over the non-Galois cubic ramified extension

with , and acquires good supersingular reduction over the abelian cubic ramified extension of with norm group generated by . The appropriate are provided by the -torsion on the Néron models of or over .

Corollary 7.2.4.

Suppose that is a finite flat -group scheme and that is descent data on such that corresponds to . Then

for some with .

Proof.

From the connected-étale exact sequence and its dual we see that must be local-local. The corollary now follows from Lemma 7.2.3 and the discussion of §7.1.

Lemma 7.2.5.

The group of extensions of by over is isomorphic to the group of linear polynomials in . The Breuil module corresponding to is free of rank two over with a basis such that

,

, .

This extension splits over an unramified extension if and only if . If is non-abelian, then any descent data on compatible with the standard descent data on satisfies

where

Proof.

The classification of extensions of Breuil modules follows from Lemma 5.2.2. The computation of which of these split over an unramified extension follows from Lemma 5.2.2 and Corollary 5.4.2.

Now suppose that is non-abelian. By Lemma 5.7.1, the only issue is to compute . Since , by evaluating the congruence

on and comparing constant terms of the coefficients of on both sides we get

in , where we have used the equality (see §6.2).

In other words is a root of . Since , we must have for some . Since and are forced by the identity , we see that for the same . The identity

then implies , so .

Lemma 7.2.6.

The group of extensions of by over is isomorphic to the group of quadratic polynomials vanishing at , , in . The Breuil module corresponding to is free of rank two over with a basis such that

,

, .

This extension splits over an unramified extension if and only if . If is non-abelian, then any descent data on compatible with the standard descent data on satisfies

where

The sign in will be very important in §7.4. The proof of this lemma is essentially the same as that of Lemma 7.2.5, but we repeat it anyway.

Proof.

The classification of extensions of Breuil modules follows from Lemma 5.2.2. The computation of which of these split over an unramified extension follows from Lemma 5.2.2 and Corollary 5.4.2.

Now suppose that is non-abelian. By Lemma 5.7.1, the only issue is to compute . Since , by evaluating the congruence

on and comparing constant terms of the coefficients of on both sides we get

in , where we have used the equality (see §6.2).

In other words is a root of . Since , we must have for some . Since and are forced by the identity , we see that for the same . The identity

then implies , so .

7.3. Rank three calculations

Lemma 7.3.1.

Suppose that is a finite flat group scheme over which is killed by . Suppose that there is a filtration by closed finite flat subgroup schemes such that , and . Suppose finally that descends to in such a way that it is a très ramifié extension of by . Then

compatibly with the extension class structure.

Proof.

Let and . Using Lemmas 7.2.1 and 7.2.3 we see that we can write

,

for with and with . It suffices to show . Since we must have , we see that

The Breuil module is spanned as a -module by and , so by Lemma 7.2.1 must divide . As we must have , as desired.

Combining this with Lemma 7.2.1 and the injectivity of we get the following corollary, which is also the first part of Theorem 4.7.3.

Corollary 7.3.2.

The natural map

is zero.

7.4. Conclusion of the proof of Theorem 4.4.1

Consider first the case of . We still have to explain why

is zero. Suppose does not map to zero in .

By our hypothesis on we may choose a totally ramified abelian cubic extension such that restricts to zero under the natural map . Then the image of under the natural map is the image of some under the natural map . The element parametrises a finite flat -group scheme which is an extension of by and which is a subquotient of the restriction to of the extension of by itself parametrised by . It follows that has a finite flat model (see Lemma 4.1.1) and the special fibre of must be local-local (if , then the extension of by itself parametrised by splits over and this is clear, while if we would otherwise get a contradiction from the connected-étale sequence). By Lemma 7.2.2, we may therefore lift to . Using the commutative diagram

and noting that the right-hand vertical map is injective we conclude that

is in the image of , a contradiction with the hypothesis that even the image of in is non-zero.

Now consider the case which is non-abelian over . We must show that

is zero.

An element gives rise to a finite flat -group scheme killed by and descent data for on , such that corresponds to the extension of by itself classified by . Let denote the Breuil module for and let . According to Lemmas 7.2.1, 7.2.3, 7.2.5, 7.2.6 and 7.3.1 we see that we can write

with

where is some polynomial and where with (as is très ramifié). By Lemma 7.2.6 what we must show is that .

Note that in by §6.2. By Lemmas 5.7.1 and 7.2.1, the action is determined by

where and and are as in Lemmas 7.2.6 and 7.2.5 respectively.

Due to the requirement , we must have

and this element is obviously equal to

We now try to express this as a linear combination of the generators of listed in (Equation 7.4.1), while working modulo . Using that in and , we arrive at the expression

where

in . In particular, and . The condition can be reformulated as

Since , we have to have . But a direct calculation using and the definition of gives

so the non-vanishing of forces

Lemmas 7.2.6 and 7.2.5 give us the values

Thus , and so . This completes the proof of Theorem 4.7.3 and hence of Theorem 4.4.1.

8. Proof of Theorem 4.5.1

In this section we will keep the notation of §4.5 and either §6.3 or §6.4 (depending on whether we are working with or ). We will set in the case of (so that ). Note the signs. We will write for , for and for . If (resp. ) is a finite flat -group scheme (resp. Breuil module over ) we will write (resp. ) for the base change to .

8.1. Rank one calculations

We remark that with our choice of polynomials in §6.3 and §6.4, any object in has an action of (via and , the action of being -semi-linear). Also, since and commute, and , we see that must commute with by Corollary 5.6.2.

We recall from Lemma 5.2.1 that the only models for over are for with , and the only models for over are for with . In each case, the base change to admits unique descent data over such that descent of the generic fibre to is (resp. ). (See Lemma 5.7.1.) We will write (resp. ) for the corresponding pair (resp. ). We will also let (resp. ) denote the corresponding object of . In particular, for or , the underlying -module has the form with the standard generator, though we write rather than if is understood.

We have the following useful lemma.

Lemma 8.1.1.

Let be an even integer. The descent data on is determined by

and the descent data on is determined by

In particular, on if and only if on if and only if , or .

Proof.

Certainly . We have already seen in Lemma 5.7.1 that descent data must exist in each case, so our task is to compute the unique units so that

corresponds to generic fibre descent data for the mod 3 cyclotomic or trivial character on . The case of follows from Lemma 5.7.1.

From the condition

we get , so

The non-zero morphisms are given by and the non-zero morphisms are given by . Thus, it suffices to check that on and on . In both cases we have shown that and so we only need to check that on and . That is, we have to show that the -group scheme maps and arising from the canonical generic fibre descent data induce the identity on the special fibres. This is easy.

Lemma 8.1.2.

Let be an object of corresponding to a finite flat group scheme and let be descent data on relative to . Assume that can be filtered so that each graded piece is isomorphic to or and so that the corresponding filtration of in has successive quotients of the form with and . Then on and there exists a basis of over so that for all

,

is an eigenvector of the -linear map on ,

lies in the part of the filtration of which surjects onto and this surjection sends onto the standard basis vector of over .

Proof.

Since acts linearly on and , the action of must be semi-simple. The eigenvalues of are all equal to , so necessarily on .

We now argue by induction on the number of Jordan-Hölder factors in the generic fibre, the case of length 1 being clear. Thus, we can assume we have a short exact sequence in ,

so the lemma is known for . We just have to find mapping onto the standard basis vector in such that is an eigenvector of . Since is a surjective map of -vector spaces which is compatible with the semi-simple -linear endomorphism on each side, we can find mapping onto with an eigenvector of , say . Since

the element maps to and is an an eigenvector for . Also, is -invariant and commutes with , so .

8.2. Models for

Proposition 8.2.1.

There exists a unique object of such that corresponds to . If we set , then is an extension of by in . Moreover Frobenius is not identically zero on .

Proof.

Let be an object of such that corresponds to , and set . As in the discussion following Theorem 5.6.1, we have canonically for a Breuil module over , with acting as . By Lemma 8.1.1, there is a short exact sequence of Breuil modules over ,

with and this is compatible with descent data after base change to in the sense that we obtain an exact sequence

compatible with descent data. Because is très ramifié, it follows that is non-split, so the sequence

is non-split.

We first show that we must have . Since is self-dual, in order to prove we may use Cartier duality (and Lemma 5.2.1) in order to reduce to the case where . We will first rule out cases with and then the case .

By Lemmas 8.1.1 and 8.1.2, we can write

for some so that

and

Recall from Lemma 5.2.2 that the “parameter” gives an isomorphism of abstract groups

It is easy to see that

if and only if and , or equivalently

This says exactly that

for any with a non-zero term appearing in .

If this would force , yet contains all multiples of , so

is split, a contradiction.

When or we see that , yet

so the choice of may be changed in order to arrange that

(though making this change of basis of may destroy the “diagonal” form of ). Since

is non-split, necessarily , so by rescaling it can be assumed that . Then (by Theorem 5.1.3) and

This forces . In particular, is ruled out.

For , a splitting of the generic fibre is induced by the Breuil module map

defined by

where satisfies (i.e. , and a constant can even be added to this if ). But must be non-split, so this rules out .

The remaining case with is . In this case contains all multiples of . But we have for all such that a non-zero term appears in , so again (at the expense of possibly making the -action non-diagonal) we may assume

for some . Writing , the commutativity of and amounts to , so for some . The condition forces , so still has diagonal action. This analysis shows that the map of -vector spaces

has at most a 2-dimensional image. If , then the Breuil module map

defined by

gives a splitting of the corresponding representation of . Thus the image of

is at most one dimensional and, because is non-split, the pair corresponding to a model of satisfies .

At this point, we treat the cases separately. Consider first the case . We must have

where lies in because commutes with . Evaluating on and using our knowledge of , we arrive at

which is impossible for with because .

Now let us turn to the case , still in the case . In this case is injective and so by (Equation 8.2.2) we see that the image of

is at most one dimensional. Thus to exclude the case and , it suffices to show that this image contains the peu ramifié line (as is très ramifié). By Proposition 5.2.1 of Reference Man, there is an elliptic curve which has supersingular reduction over , with a non-split, peu ramifié extension of by . The representation is non-split (again because is injective in the case). Let be the Breuil module corresponding to the 3-torsion on the Néron model of , so admits descent data via the universal property of Néron models. The filtration of induces a short exact sequence in

for some even with . The Néron model of has local-local 3-torsion, and the induced local-local integral models and of the diagonal characters and must be the unique local-local models (uniqueness follows from Corollary 1.5.1 of Reference Ra). Moreover, Corollary 1.5.1 of Reference Ra makes it clear that base change to takes the order group schemes and to the integral models that lie in the middle of the well-ordered sets of integral models of and . It follows that , so the map

indeed hits the peu ramifié line.

We next exclude the case . As a first step, we check that there is at most one possibility for the underlying Breuil module (ignoring the extension class structure) if . We can write

for some necessarily non-zero with

and

The combined conditions and on are equivalent to

Since contains and all multiples of , we may change (at the expense of possibly losing the diagonal form for ) so that for some . Since is necessarily non-zero, we may rescale to get , so there is indeed at most one possibility for the underlying Breuil module when .

Again we treat the cases separately. Consider first the case . We have seen above that there is an extension of by in corresponding to a non-split, peu ramifié extension of by . Pulling back by a non-zero map

in given by , we get an extension of by in corresponding to a non-split, peu ramifié extension of by . The underlying Breuil module of must be isomorphic to for our uniquely determined (with ). By the injectivity of in the case, we conclude that cannot admit descent data giving rise to a très ramifié element in . This rules out the case and .

Now turn to the case and . We will show that with the Breuil module constructed above (with ), the Breuil module does not admit descent data relative to (with , without loss of generality). One checks that , so

We must have

for some . As usual, since and must commute, we have . The condition is equivalent to

which amounts to

so

As , we have

on . Evaluating this identity on gives

so is a cube. Thus, for some .

Since , we compute

so

and

in . This is absurd. This rules out all possibilities for aside from . Uniqueness now follows from Corollary 4.1.5.

From Theorem 5.4.2 of Reference Man and Proposition B.4.2 of Reference CDT we see that there is an elliptic curve such that and has type . Let denote the Néron model of over . By the Néron property of we see that has descent data over . As in §4.5 we see that annihilates the Dieudonné module of . Thus in and it follows that Frobenius is non-zero on .

8.3. Completion of the proof of Theorem 4.5.1

Lemma 8.3.1.

Let be the unique object of such that corresponds to . Set . The natural map of groups

using pushout by and pullback by , is zero.

Proof.

Let represent a class in and let be its image in . By Lemma 5.2.2, with and

with . Also,

and

for some .

The properties and on amount to

so . If , then , so on . From this we readily see that is split in , as desired.

Now assume ; we will deduce a contradiction. Consider the rank three Breuil module with descent data

where . Then has an ordered basis with respect to which

for some and defined modulo (see Equation 8.2.1). Since our base field has absolute ramification degree , contains

From the list of generators of , it is not difficult to check that in the above expression for , must divide the coefficient of . Thus .

We must have . Since , has basis and

Since for satisfies

it follows immediately that , which (using Theorem 5.1.3) contradicts Proposition 8.2.1.

Corollary 8.3.2.

The natural map

is zero.

Theorem 4.7.4, and hence Theorem 4.4.1, now follow from the first case of the following lemma. We include the second case to simplify the proof.

Lemma 8.3.3.

The maps of groups

have images inside the line of extension classes that split over an unramified extension of .

Proof.

Since

is injective and induces an isomorphism between the subgroups of unramified classes, it suffices to check that

have images consisting of elements split over an unramified extension of . By Cartier duality it suffices to consider only the second map.

Consider a representative of an element in . Lemma 5.2.2 ensures that we can write

for some with and

We have

for some , and the condition is equivalent to

so . The Breuil module extension class over (ignoring descent data) therefore only depends on the parameter . We then have a splitting determined by

where satisfies .

9. Proof of Theorems 4.6.1, 4.6.2 and 4.6.3

In this section we will keep the notation of §4.6 and §6.5. We will write for , for and for . If (resp. ) is a finite flat -group scheme (resp. Breuil module over ) we will write (resp. ) for the base change to .

9.1. Rank one calculations

We remark that with our choice of polynomials in §6.5, any object in has an action of via and . (The action of is -semi-linear.) Since and commute and we see that must commute with (see Corollary 5.6.2).

By Lemma 5.2.1, the only models for over are for with , and the only models for over are for with . Lemma 5.7.1 ensures that the base changes to admit unique descent data over such that descent of the generic fibre to is (resp. ). We will write (resp. ) for the corresponding pair (resp. ). We will also let (resp. ) denote the corresponding object of .

We have the following useful lemmas, for which the proofs are identical to the proofs of Lemmas 8.1.1 and 8.1.2.

Lemma 9.1.1.

Let be an even integer. The descent data on is determined by

and the descent data on is determined by

In particular, on if and only if on if and only if , or .

Lemma 9.1.2.

Let be an object of corresponding to a finite flat group scheme and let be descent data on over . Assume that can be filtered so that each graded piece is isomorphic to or and so that the corresponding filtration of in has successive quotients of the form with and . Then on and there exists a basis of over so that for all

,

is an eigenvector of the -linear map on ,

lies in the part of the filtration of which surjects onto and this surjection sends onto the standard basis vector of over .

9.2. Models for

Recall that we are assuming that has the très ramifié form

and is not split over . We will let denote the full subcategory of consisting of objects for which the ideal acts trivially on .

Proposition 9.2.1.

Suppose that is an object of such that is an extension of by . Then we have an exact sequence

with , , or . Moreover we can write with , where has an -basis with the standard basis element of and mapping to the standard basis element of . More precisely we have the following exhaustive list of extension class possibilities, all of which are well defined. denotes the monodromy operator described in Lemma 5.1.2.)

(1)

: The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

(so with

The pairs with are the ones which generically split over . In all cases .

(2)

: The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

(so with

The pairs with are the ones which generically split over . In all cases . These cases are Cartier dual to the cases above.

(3)

: The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

(so with

The pairs with are the ones which generically split over . In all cases .

(4)

: The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

(it is easily checked that and and

In particular, if and only if .

In the first three cases, the peu ramifié condition on a class in is equivalent to the vanishing of . In the fourth case it is equivalent to the vanishing of .

Proof.

By Lemma 9.1.1 we have an exact sequence

with . As usual

In the cases and as in the proof of Proposition 8.2.1 we may take . We will show that in the case we also have . Following the proof of Proposition 8.2.1 we may suppose that . Without loss of generality we can take and look for a contradiction. Again following the proof of Proposition 8.2.1 and using

we find that . Also

for some , which must actually lie in (using, as usual, the fact that and commute). Thus

The inverse linear maps on have matrices

with respect to the basis , so that . Thus . On the other hand evaluating on and comparing coefficients of gives , a contradiction.

Thus if any case arises, the underlying Breuil module must be a split extension

(so ), with

We also have

for some . Since , we have on . Evaluating this on and comparing coefficients of gives . This forces if . If it forces for some . We will show . Indeed, evaluating the congruence

on gives

so that . On the other hand the congruence

gives

in , so . Thus and for as well. Thus for , and the Breuil module with descent data is split, so is split, a contradiction.

This rules out the possibilities , and . Using Cartier duality we can also rule out and . We are left with the four possible pairs as asserted in the proposition and must determine which possibilities arise in each case.

Next consider the case . Using the same analysis as in the case in Proposition 8.2.1, we find that the possibilities for the Breuil module are the ones in the statement of the proposition (and is easy to check), though we only know that

for some . The conditions

are equivalent to

The solutions to this are for . Replacing by preserves our standardized form but makes :

The wild descent data must have the form

for some . The conditions

(recall ) are equivalent to

whose solutions are

for some . Since , we have

so

Using Lemma 5.2.2 and Corollary 5.6.2, we see that all of these possibilities are well defined. We also see that annihilates . It is straightforward to check that generic splitting over (which is equivalent to generic splitting over ) is equivalent to , and that such splitting is compatible with descent data (i.e. descends to ) if and only if . For dimension reasons, the map on ’s is therefore an isomorphism.

Now consider the case . Here we have

for some , with

and

In order that

it is necessary and sufficient that

But is spanned by , , , , and all multiples of , so we may suppose

for some , at the expense of possibly losing the diagonal form of .

The monodromy operator satisfies

Since the wild descent data must take the form

for some , we compute

where

Thus, in order that , it is necessary and sufficient that satisfies

Using (Equation 9.2.1) and , this amounts to

However, , so

when evaluated on . This gives

Since is a cube modulo , by (Equation 9.2.3) we must have , and so . Thus, and commute modulo when evaluated on , so we get

and is a cube modulo .

On the other hand, with , we see from (Equation 9.2.3) that

Because is a cube modulo , we get the slight improvement

Combining this with the vanishing of , we deduce from (Equation 9.2.2) that , so by (Equation 9.2.4)

This forces , so . Thus, and commute on , so

in . Using this becomes (via (Equation 9.2.2))

so

for some . As before, we get .

Now we “diagonalise” . Since we have

for some , the conditions

are equivalent to

which is to say

for some . Replacing by then puts us in a setting with . Thus all extensions have the form asserted in the proposition. It is easy to check that in each case annihilates .

Pushout by the non-zero map in induced by takes our (2,6) examples to our (2,10) examples (compatibly with the labelling of parameters as in the statement of the proposition). Thus all possibilities for do occur and we get an isomorphism of ’s as asserted. Moreover, generic splitting over (which is equivalent to generic splitting over ) is equivalent to , and such splitting is compatible with descent data (i.e. descends to ) if and only if .

Using Cartier duality and the case , we see that in the case the map of ’s is an isomorphism. It is easy to check that the objects in our asserted list of possibilities for are well defined and that pullback by the non-zero map induced by takes these to our examples (compatibly with the labelling of parameters ).

Finally, we turn to the case . Choosing a basis with respect to which has a diagonal action, the conditions

are equivalent to

Since consists of multiples of , we may change to get

for some , with

for some . Feeding this into (Equation 9.2.5) we get , so for some . Replacing by returns us to the setting with “diagonal” -action and preserves the standardizations we have made so far.

It is easy to compute (and we know ). The “wild” descent data is

for some . Using the congruence for in §6.5, the identity

on amounts to the condition

whose solutions are

for some . The identity

implies . Thus

Thus annihilates if and only if .

By Lemma 5.2.2 and Corollary 5.6.2, it is easy to see that all of these objects are well defined. The kernel of

consists of pairs , where generic splittings are induced by any of the (non-zero) Breuil module maps

defined by

with . Thus, the pairs corresponding to the which are split over (or equivalently, split over ) are exactly those for which . The map

is therefore injective, because the splitting given above respects descent data if and only if .

It remains to establish which of the given extensions of Breuil modules correspond to peu ramifié extensions of by over . We noted above that the maps among the ’s in the (2,6), (6,10), (2,10) cases induced by pushout/pullback along are compatible with the parametrisation by pairs . With a little more care, one checks that the maps

induced by send the pair in the middle to the pair on either end (to construct the necessary commutative diagrams of short exact sequences in the two cases, use the maps

respectively). This reduces us to checking the case.

By Corollary 2.3.2, the two très ramifié extensions, and , of by which are non-split over arise from elliptic curves, and , over for which is potentially Barsotti-Tate with extended type (see §6.5). Let denote the -torsion in the Néron model of over . From the universal property of Néron models we see that inherits descent data over . By the same argument used at the end of §4.6 we see that is an object of . Moreover we see that on . Since all non- cases above have , by the parts of Proposition 9.2.1 which we have already proved we see that is an extension of by and correspond to a pair with (since ) and (by our analysis of (Equation 9.2.6), since is non-split over ). Hence and must correspond in some order to the lines and in .

As a non-split peu ramifié extension of by remains non-split over , we see that the peu ramifié line in

cannot correspond to . By the above analysis it cannot correspond to or . Thus it must correspond to the remaining line .

The properties of in the cases listed in Proposition 9.2.1 make it clear that the case there is “different”. We will see further manifestations of this difference later.

9.3. Further rank two calculations

Lemma 9.3.1.

For , and we have

Proof.

The (6,10) case follows from the (2,6) case by Cartier duality. Thus, we assume , . Let be such an extension. By Lemma 8.1.2, arises from a Breuil module over of the form

with

and

where .

The combined conditions

are equivalent to

Treating the cases and separately, we conclude from Lemma 5.2.2 that we may change so that when and when . As a result of this change, we only have

However, with when and when , the condition

forces , so that in fact after all.

When , so is split in (compatibly with on ), and it is easy to check (using ) that the “wild” descent data must also be diagonal, so we have the desired splitting in .

It remains to consider the case with . It is easy to compute

The wild descent data must have the form

with .

It is straightforward to check that , and then the condition

on gives

The unique solution to this is

Thus , while . This forces . With we obviously have only the split extension class.

Lemma 9.3.2.

The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

where

and the descent data is

Proof.

The proof is identical to the proof of the case in Proposition 9.2.1, except is everywhere replaced by and when we study splitting we give the descent data for the trivial mod character (which amounts to using rather than ).

Lemma 9.3.3.

For , the maps

and

are injective and have image consisting of the -dimensional space of classes which split over an unramified extension of .

Proof.

The cases follow from the cases using Cartier duality. Thus we suppose . We treat only the case of , the case being exactly the same except that replaces everywhere.

Let represent an element in . Lemma 8.1.2 ensures the existence of an ordered -basis , of such that

with

Carrying out the usual calculation,

if and only if

Combining this with Lemma 5.2.2, we may change so that , with , at the expense of possibly losing the diagonal form of . But with and , the conditions (Equation 9.3.1) imply , and so for some . Then forces , so still has diagonal form.

It is easy to check that , so . Thus, we must have

on . Since the wild descent data has to be of the form

for some , evaluation of (Equation 9.3.2) on gives , so for some . The relation forces .

We now have described all possibilities in terms of the single parameter , and it is straightforward to use Corollary 5.6.2 to check that all of these examples are in fact well defined. Generic splittings over unramified extensions of correspond to the maps

given by

where satisfies . Such generic splittings can be defined over (i.e. without extending the residue field) if and only if .

Lemma 9.3.4.
(1)

The map of groups

is an isomorphism.

Explicitly, the group is parametrised by pairs corresponding to

with

and descent data

The classes in which split over an unramified extension of correspond to the pairs with .

(2)

The map of groups

is an isomorphism.

Explicitly, the group is parametrised by pairs corresponding to

with

and descent data

The classes in which split over an unramified extension of correspond to the pairs with .

Proof.

We treat the first part of the lemma; replacing with throughout gives the proof of the second part.

As usual, we can find an ordered -basis , of so that

and , . The conditions and on amount to

Since consists of multiples of , we can change the choice of so that

for some , where we may a priori lose the diagonal form of . But the same kind of calculation as in Lemma 9.3.3 shows for some , so the condition forces (i.e. still has diagonal action).

It is straightforward to compute the asserted formula for , and then the wild descent data can be computed exactly as in our previous computations of wild descent data; this yields the formulas

where . Modulo , the linear action of sends to , but , so for . Thus, we obtain the asserted list of possibilities. The well-definedness of these examples follows from Lemma 5.2.2 and Corollary 5.6.2.

It is easy to see that there is a non-zero map if and only if , in which case such non-zero maps are precisely those induced by

where satisfies . The verification that corresponds to being in the kernel of our map of ’s is now clear, since has a solution in if and only if .

9.4. Completion of the proof of Theorem 4.6.1

Everything in Theorem 4.6.1 is now clear except for the third assertion, which we now prove. Let be as in the third part of that theorem. We may suppose that for some . The filtration on gives a filtration

which is compatible with the descent data over . According to Lemma 5.2.3 we have and for some and some . We will let denote either or . In particular for . From this one can conclude that if is a subquotient of , then . Quite generally, for any Breuil module over with and any short exact sequence of Breuil modules

we must also have

Indeed, is a surjection taking onto , so the assertion for is clear. Since is an -module direct summand of and

the assertion for is likewise clear. We conclude that admits a filtration with successive quotients . Thus .

Consider a fixed surjection of -modules

This gives rise to a finite flat -group scheme with descent data on over corresponding to and an epimorphism

compatible with descent data. Consider the commutative diagram

where the top row corresponds to the non-split filtration of . The middle vertical map is an isomorphism of the source onto an -module direct summand of the target, so the left vertical map is as well, because an injection of into a free -module must be an identification with such a direct summand (consider torsion). This forces and so, by Proposition 9.2.1, we see that . Repeating the analogous argument applied to a submodule one sees that .

Thus is weakly filtered by for , , or , as desired.

9.5. Completion of the proof of Theorem 4.6.3

Write for . For , and , we will define a Breuil module over and descent data for on such that and have compatible actions of (and ). More specifically set , or according as , or . Viewing as an extension class, it corresponds to a particular pair in Proposition 9.2.1. Fix these values. Motivated by the idea of deforming the formulae in Proposition 9.2.1, we are led to define

with

It is straightforward to check that on . We may define -linear descent data on by setting and using the following formulae.

(1)

When , set

(2)

When , set

(3)

When , set

It is readily checked that this defines an object of with an action of . Let and be the corresponding finite flat -group scheme and finite flat -group scheme with descent data.

If , then we have a short exact sequence in

where the first map is induced by multiplication by . The case shows that

corresponds to . Thus we get a surjection of -modules , which must in fact be an isomorphism (count orders). Thus defines a deformation of to . For we have .

We also have an exact sequence

in , from which we obtain an exact sequence of -modules

Note that and as -modules. Moreover, this sequence must split as a sequence of -modules. (Use, for instance, the kernel of for any .) Thus and as -modules, so .

Finally, we must check that the exact sequence

is not split. We have maps of Breuil modules

and

compatible with descent data. These give rise to maps

and

such that the composites

and

are non-zero.

To check that

is non-split, it suffices to check that

is non-split. However, corresponds to an object of satisfying

with

By Lemma 5.2.2, the sequence of Breuil modules with descent data

is not split. This sequence recovers (Equation 9.5.1) under generic fibre descent, so by Proposition 9.2.1

is not split.

9.6. Completion of the proof of Theorem 4.6.2

Suppose first that , or . By Lemma 9.3.1

is the zero map. Lemma 9.3.3 then tells us that if , then

is the zero map; while if , then

is the zero map. Thus Theorem 4.7.5, and hence Theorem 4.6.2, follows in these cases.

Now consider the case . Choose . Let denote the corresponding rank finite flat -group scheme with descent data on . Set . Let denote the closed subgroup scheme (with descent data) corresponding to the kernel of the map and let . Then has -basis with respect to which

where , and sends the indicated generators of to respectively. Also, the descent data has the form

for some , and

where . Also, as is très ramifié, we see that by Proposition 9.2.1 and Lemma 9.3.4.

The requirement that forces to contain

so must contain . As we get , and since , we must have . We conclude that the natural map

is the zero map.

Let us further analyse . Replacing by for causes to be replaced by and otherwise leaves our standardized form unchanged (except that and may change). Using a suitable choice of such , we may assume has degree at most 6. On the other hand,

so if and only if

which forces

for some . From the wild descent data formulae derived in the proof of Lemma 9.3.4 we also see that .

Now has an ordered basis with respect to which

where and sends the indicated generators of to . If we try to expand out as a linear combination of the indicated generators of , we find that

It follows that if and only if

Since is très ramifié, the last part of Proposition 9.2.1 tells us that . Thus, if and only if . We can now use Lemma 9.3.4 to see that the wild descent data action is determined by

(with ), and

where and .

We must have

and this expression is easily computed to equal

Remembering that , (Equation 9.6.2) becomes

Using the explicit generators of given in (Equation 9.6.1) and recalling that , this simplifies to

Thus is divisible by , so .

The image of the class in under corresponds to a finite flat -group scheme with Breuil module free of rank two over with basis , and with

where sends the indicated generators of to and respectively. According to the proof of Lemma 9.3.4 this implies that the image of the class in is split over an unramified extension of . Thus,

is the zero map. This completes the proof of Theorem 4.7.5, and hence of Theorem 4.6.2.

10. Corrigenda for Reference CDT

We would like to take this opportunity to record a few corrections to Reference CDT.

Page 523, line : Insert -rational” after “For each”.

Page 532, line : “The semisimplicity of follows from that of is false and should be deleted. This assertion was not used anywhere in the rest of the paper.

Page 536, line 7: Replace by .

Page 538, line : Replace “of type by “such that is of type and is of type ”.

Page 539, lines 18–20: Replace each by and each by .

Page 541, line 14: Replace each of the three occurrences of by .

Page 544, line : “the discrete topology on should read “the -adic topology on ”.

Page 545, part 4 of Lemma 6.1.2: should be assumed to be a normal subgroup of .

Page 546, line 1: We should have noted that the key component of this argument is very similar to the main idea of Reference Kh.

§6.2: There are two significant errors in this section. The assertion satisfies the hypotheses of Theorem 6.1.1” is false and should be . The argument of this section can be repaired by making the following changes.

Page 546, lines 5 and 6: Replace “Setting , we find that the group satisfies the hypotheses of Theorem 6.1.1.” by “Set ; where if and otherwise; where if and otherwise; and . Then satisfies the hypotheses of Theorem 6.1.1.”

Page 546, lines 7–13: Replace by , by , by , by and by .

Page 546, line 13: Replace “and is non-empty.” by “. Using the fact that Lemma 5.1.1 holds with replacing and replacing and the discussion on page 541 we conclude that is non-empty.”

Page 549, line : Replace by .

Page 549, line : Replace by .

Page 552, line 4: The assertion is false in the case . It can be corrected by adding “and (which is true if, for instance, has potentially supersingular reduction and )” after “if ”.

Page 554, line 11: Replace by is isogenous to an elliptic curve with -invariant in the set”.

Page 554, line 11: Replace by .

Page 554, line 17: Replace the parenthetical comment “(and )” by “(and isogenous to one with -invariant )”.

Page 554, line : Replace by and by .

Acknowledgements

We would like to thank Bas Edixhoven, Rene Schoof, Tom Weston and the referee for corrections and improvements to preliminary versions of this paper; Barry Mazur for helpful conversations; and David Pollack for help with computer calculations which we made in an earlier attempt to compute some of these local deformation rings. We are grateful to the Harvard University Clay fund for supporting the first author during a key visit paid to Harvard. The second author is grateful to the Institute for Advanced Study for its stimulating environment and the University of Münster for its hospitality. The third author is grateful to Harvard University and the Université de Paris Sud for their hospitality. The fourth author is grateful to the University of California at Berkeley for its hospitality and to the Miller Institute for Basic Science for its support.

Table of Contents

  1. Abstract
  2. Introduction
    1. Theorem A.
    2. Theorem B.
    3. Notation
  3. 1. Types
    1. 1.1. Types of local deformations
    2. Conjecture 1.1.1.
    3. 1.2. Types for admissible representations
    4. Lemma 1.2.1.
    5. 1.3. Reduction of types for admissible representations
    6. Conjecture 1.3.1.
    7. 1.4. The main theorems
    8. Theorem 1.4.1.
    9. Theorem 1.4.2.
  4. 2. Examples and applications
    1. 2.1. Examples
    2. Lemma 2.1.1.
    3. Theorem 2.1.2.
    4. Lemma 2.1.3.
    5. Theorem 2.1.4.
    6. Lemma 2.1.5.
    7. Theorem 2.1.6.
    8. 2.2. Applications
    9. Theorem 2.2.1.
    10. Theorem 2.2.2.
    11. 2.3. An extension of a result of Manoharmayum
    12. Lemma 2.3.1.
    13. Corollary 2.3.2.
  5. 3. Admittance
    1. 3.1. The case of
    2. 3.2. The case of
    3. 3.3. The case of
    4. 3.4. The case of
  6. 4. New deformation problems
    1. 4.1. Some generalities on group schemes
    2. Lemma 4.1.1.
    3. Lemma 4.1.2.
    4. Lemma 4.1.3.
    5. Lemma 4.1.4.
    6. Corollary 4.1.5.
    7. 4.2. Filtrations
    8. Lemma 4.2.1.
    9. Lemma 4.2.2.
    10. Lemma 4.2.3.
    11. Lemma 4.2.4.
    12. Corollary 4.2.5.
    13. 4.3. Generalities on deformation theory
    14. 4.4. Reduction steps for Theorem 2.1.2
    15. Theorem 4.4.1.
    16. 4.5. Reduction steps for Theorem 2.1.4
    17. Theorem 4.5.1.
    18. 4.6. Reduction steps for Theorem 2.1.6
    19. Theorem 4.6.1.
    20. Theorem 4.6.2.
    21. Theorem 4.6.3.
    22. Corollary 4.6.4.
    23. 4.7. Some Galois cohomology
    24. Lemma 4.7.1.
    25. Corollary 4.7.2.
    26. Theorem 4.7.3.
    27. Theorem 4.7.4.
    28. Theorem 4.7.5.
  7. 5. Breuil modules
    1. 5.1. Basic properties of Breuil modules
    2. Lemma 5.1.1.
    3. Lemma 5.1.2.
    4. Theorem 5.1.3.
    5. 5.2. Examples
    6. Lemma 5.2.1.
    7. Lemma 5.2.2.
    8. Lemma 5.2.3.
    9. Lemma 5.2.4.
    10. 5.3. Relationship to syntomic sheaves
    11. Lemma 5.3.1.
    12. Lemma 5.3.2.
    13. 5.4. Base change
    14. Lemma 5.4.1.
    15. Corollary 5.4.2.
    16. Lemma 5.4.3.
    17. Lemma 5.4.4.
    18. Corollary 5.4.5.
    19. Corollary 5.4.6.
    20. Lemma 5.4.7.
    21. Lemma 5.4.8.
    22. 5.5. Reformulation
    23. Lemma 5.5.1.
    24. Lemma 5.5.2.
    25. Lemma 5.5.3.
    26. Lemma 5.5.4.
    27. Lemma 5.5.5.
    28. Lemma 5.5.6.
    29. Corollary 5.5.7.
    30. 5.6. Descent data
    31. Theorem 5.6.1.
    32. Corollary 5.6.2.
    33. 5.7. More examples
    34. Lemma 5.7.1.
  8. 6. Some local fields
    1. 6.1. The case of
    2. 6.2. The case of
    3. 6.3. The case of
    4. 6.4. The case of
    5. 6.5. The case of
  9. 7. Proof of Theorem 4.4.1
    1. 7.1. Rank one calculations
    2. 7.2. Rank two calculations
    3. Lemma 7.2.1.
    4. Lemma 7.2.2.
    5. Lemma 7.2.3.
    6. Corollary 7.2.4.
    7. Lemma 7.2.5.
    8. Lemma 7.2.6.
    9. 7.3. Rank three calculations
    10. Lemma 7.3.1.
    11. Corollary 7.3.2.
    12. 7.4. Conclusion of the proof of Theorem 4.4.1
  10. 8. Proof of Theorem 4.5.1
    1. 8.1. Rank one calculations
    2. Lemma 8.1.1.
    3. Lemma 8.1.2.
    4. 8.2. Models for
    5. Proposition 8.2.1.
    6. 8.3. Completion of the proof of Theorem 4.5.1
    7. Lemma 8.3.1.
    8. Corollary 8.3.2.
    9. Lemma 8.3.3.
  11. 9. Proof of Theorems 4.6.1, 4.6.2 and 4.6.3
    1. 9.1. Rank one calculations
    2. Lemma 9.1.1.
    3. Lemma 9.1.2.
    4. 9.2. Models for
    5. Proposition 9.2.1.
    6. 9.3. Further rank two calculations
    7. Lemma 9.3.1.
    8. Lemma 9.3.2.
    9. Lemma 9.3.3.
    10. Lemma 9.3.4.
    11. 9.4. Completion of the proof of Theorem 4.6.1
    12. 9.5. Completion of the proof of Theorem 4.6.3
    13. 9.6. Completion of the proof of Theorem 4.6.2
  12. 10. Corrigenda for CDT
  13. Acknowledgements

Mathematical Fragments

Theorem A.

If is an elliptic curve, then is modular.

Theorem B.

If is an irreducible continuous representation with cyclotomic determinant, then is modular.

Equation (1.2.1)
Lemma 1.2.1.

Suppose that is an -type and that is an extended -type with irreducible. Suppose also that is an infinite-dimensional irreducible admissible representation of over . Then:

(1)

and are irreducible.

(2)

If (resp. ), then

(resp.

(3)

If (resp. ), then

(resp.

Conjecture 1.3.1.

Let be a finite subfield of , a continuous representation, an -type and an extended -type with irreducible restriction to . Suppose that and are tamely ramified, that the centraliser of the image of is and that the image of is not contained in the centre of .

(1)

(resp. ) admits if and only if (resp. ), i.e. if and only if there is a finite extension of in and a continuous representation which reduces to and has type (resp. has extended type ).

(2)

(resp. ) simply admits if and only if (resp. ) is acceptable for .

Theorem 1.4.1.

Let be an odd prime, a finite extension of in and the residue field of . Let

be an odd continuous representation ramified at only finitely many primes. Assume that its reduction

is absolutely irreducible after restriction to and is modular. Further, suppose that

has centraliser ,

is potentially Barsotti-Tate with -type ,

admits ,

and is weakly acceptable for .

Then is modular.

Theorem 1.4.2.

Let be an odd prime, a finite extension of in and the residue field of . Let

be an odd continuous representation ramified at only finitely many primes. Assume that its reduction

is absolutely irreducible after restriction to and is modular. Further, suppose that

has centraliser ,

is potentially Barsotti-Tate with extended -type ,

admits ,

and is weakly acceptable for .

Then is modular.

Equation (2.1.1)
Lemma 2.1.1.

Suppose that and

is très ramifié. Both and simply admit .

Theorem 2.1.2.

Suppose that and

is très ramifié. Both and are weakly acceptable for .

Lemma 2.1.3.

Suppose that and

is très ramifié. Both and simply admit .

Theorem 2.1.4.

Suppose that and

is très ramifié. Both and are weakly acceptable for .

Lemma 2.1.5.

Let . Suppose that and

is très ramifié. The extended -type simply admits .

Theorem 2.1.6.

Let . Suppose that and

is très ramifié. Then is weakly acceptable for .

Corollary 2.3.2.

Let have the form

and be très ramifié. Let have cyclotomic determinant and restriction to given by a character

determined by

for some . There is an elliptic curve , with and . In particular, the action of on factors through a finite group and so has potentially good reduction.

Lemma 4.1.1.

Let be a finite flat -group scheme. Scheme theoretic closure gives a bijection between subgroup schemes of and finite flat closed subgroup schemes of .

Lemma 4.1.2.

Let and be finite flat group schemes over which have local-local closed fibre. Suppose that and are the only finite flat -group schemes with local-local closed fibre which have generic fibres and respectively. Suppose also that we have an exact sequence of finite flat -group schemes

Then is the unique finite flat -group scheme with local-local closed fibre and with generic fibre .

Lemma 4.1.3.

Let be a finite Galois extension as above, and let be a finite flat -group scheme with descent data relative to . Base change from to , followed by scheme theoretic closure, gives a bijection between subgroup schemes of and closed finite flat subgroup schemes with descent data in .

Lemma 4.1.4.

For a two-sided ideal of the ring , choose objects and in so that . Let denote the base change of this -group scheme to , so has canonical descent data relative to . Then the and of and in the lattice of integral models for are stable under the descent data on and with this descent data are objects of .

Corollary 4.1.5.

Let be a two-sided ideal of the ring . Let

be an exact sequence of finite flat group schemes over . Let and be objects of such that and . Suppose that for all objects of with , the filtration on induced by the filtration on has subobject isomorphic to and quotient isomorphic to (without any assumed compatibility with (4.1.1. Then there is at most one model for in .

Equation (4.2.1)
Lemma 4.2.1.

If is a finite flat -group scheme which admits a -filtration and if is a quotient or subobject of which admits a -filtration, then any -filtration of can be extended to a -filtration of . In addition, all -filtrations of have the same length and the same set of successive quotients (with multiplicities).

Lemma 4.2.2.
(1)

If and are objects of which are weakly filtered by , then is also weakly filtered by .

(2)

Let and be objects of with a closed subobject or quotient of . Suppose that is strongly filtered by and that admits a -filtration. Then is strongly filtered by .

Lemma 4.2.3.

Suppose that any object of which is weakly filtered by is strongly filtered by . Let be a finite flat -group scheme. If and are two objects of with isomorphisms

for , then there is a unique isomorphism

such that on the generic fibre .

Lemma 4.2.4.

Fix and as above. Suppose that for any pair of (possibly equal) elements and in , the natural map

is injective. Then any object of which is weakly filtered by is also strongly filtered by .

Corollary 4.2.5.

Fix and as above. Suppose that is a singleton. Suppose also that we have a short exact sequence

in , where for any (possibly equal)

and the natural map

is injective. Then any object of which is weakly filtered by is also strongly filtered by .

Theorem 4.4.1.

.

Theorem 4.5.1.

.

Theorem 4.6.1.

There are objects , , and in the category with the following properties.

(1)

For , , and we have as -modules.

(2)

For , , and there is a short exact sequence in ,

such that and have order and for all (possibly equal) the natural map

is injective.

(3)

If is a finite field extension and if is an object of with an action of such that is isomorphic to , then for some , , or the object of is weakly filtered by .

(4)

For , and we have on , while on .

Theorem 4.6.2.

For , , and we have

Theorem 4.6.3.

For , and and for any there exists a continuous representation

such that

,

for some object of we have

(where denotes the two-sided ideal of generated by and ),

and .

Corollary 4.6.4.

For , and we have

Equation (4.7.1)
Theorem 4.7.3.
(1)

is the zero map.

(2)

is the zero map.

(3)

is the zero map.

Theorem 4.7.4.
(1)

is the zero map.

(2)

is the zero map.

Theorem 4.7.5.

Suppose that and , , or .

(1)

is the zero map.

(2)

Either or is the zero map.

Equation (5.1.1)
Lemma 5.1.1.

Suppose that

is a complex of Breuil modules. The following are equivalent.

(1)

The underlying sequence of -modules is exact.

(2)

The underlying sequence of -modules is exact as is the sequence

(3)

The complex of vector spaces

is exact.

Lemma 5.1.2.

Let be an object of . There is a unique additive operator (the monodromy operator) satisfying the following three conditions:

(1)

, , ,

(2)

on ,

(3)

.

Moreover, any morphism of Breuil modules automatically commutes with .

Theorem 5.1.3.
(1)

Given the choice of uniformiser for there is a contravariant functor from finite flat -group schemes which are killed by to and a quasi-inverse functor .

(2)

If is a finite flat -group scheme killed by , then has rank if and only if has rank .

(3)

If is a finite flat -group scheme killed by , then there is a canonical -linear isomorphism

Under this identification, corresponds to and corresponds to the composite

(4)

If

is a diagram of finite flat group schemes over which are killed by and if

is the corresponding diagram of Breuil modules, then the diagram of finite flat group schemes is a short exact sequence if and only if the diagram of Breuil modules is a short exact sequence.

Lemma 5.2.1.
(1)

Any Breuil module of rank over is isomorphic to some .

(2)

There is a non-zero morphism if and only if , and . All such morphisms are then of the form , where .

(3)

The modules and are isomorphic if and only if and , or equivalently if and only if there are non-zero morphisms and .

(4)

If we order the by setting if there is a non-zero morphism , then the set of isomorphism classes of ’s as runs over models of a fixed finite flat -group scheme of order is well ordered.

(5)

On we have , so .

(6)

is étale (resp. multiplicative) if and only if (resp. ).

(7)

and .

(8)

The Cartier dual of is .

Lemma 5.2.2.
(1)

Any extension of by in is isomorphic to for some .

(2)

Two such extensions and are isomorphic as extension classes if and only if

for some , in which case one such isomorphism fixes and sends to .

Lemma 5.2.3.
(1)

Any Breuil module with an action of which is free of rank over is isomorphic to some .

(2)

There is a non-zero morphism if and only if , and for some . All such morphisms are then of the form , where and .

(3)

The modules and are isomorphic if and only if and .

(4)

On we have and so .

(5)

is étale (resp. multiplicative) if and only if (resp. ).

Equation (5.3.1)
Lemma 5.3.1.

If we denote by (resp. , ) the coproduct (resp. the two projections)

then for any sheaf of commutative groups on we have:

Lemma 5.3.2.

The above operator on coincides with the operator defined in Lemma 5.1.2.

Lemma 5.4.1.

The diagram of sheaves on :

is commutative.

Corollary 5.4.2.

Let be a finite flat group scheme over , which is killed by . Let be an extension of fields with perfect and let , a uniformiser for . Then there is a canonical isomorphism in the category

compatible with composites of such residue field extensions.

Lemma 5.4.3.

There is a unique element such that, if is defined by , one has .

Equation (5.4.1)
Lemma 5.4.4.

The diagram of sheaves on

is commutative. Moreover we have on

where is defined as in §5.3.

Corollary 5.4.5.

Let be a continuous automorphism.

(1)

Let be a finite flat group scheme over , which is killed by . Then there is a canonical isomorphism in the category

(2)

If is a morphism of finite flat -group schemes killed by and is the corresponding morphism in , then also commutes with the and there is a commutative diagram in

(3)

If are two continuous automorphisms of and if we choose the unique such that on , then on

one has .

Corollary 5.4.6.

Let be a finite flat group scheme over , which is killed by . To give a morphism of schemes such that the diagram of schemes

is commutative and the induced morphism is a morphism of group schemes over , is equivalent to giving an additive map such that both of the following hold:

(1)

For all and , .

(2)

and with as in Lemma 5.4.3 and as in Lemma 5.1.2.

Lemma 5.4.7.

The operator on is induced by the operator on .

Lemma 5.4.8.

The map is the composite , where the first map is the one in Corollary 5.4.5 and the second comes from the obvious isomorphism . In other words, once has been chosen, is the map corresponding to the identity under the equivalence of Corollary 5.4.6.

Lemma 5.5.1.

There is a unique element such that if is defined by , one has .

Lemma 5.5.2.

There is a unique such that if , then . Similarly, there is a unique such that if , then . Moreover, and .

Lemma 5.5.3.

Let be an object of then there is a unique operator satisfying the following three conditions:

(1)

, , ,

(2)

, , where if ,

(3)

.

The same statement holds for , and .

Lemma 5.5.4.

For an object of , and , where , are as in Lemma 5.5.3, , as in Lemma 5.5.2 and as in Lemma 5.1.2.

Lemma 5.5.5.

Let be an object of and an additive map such that for all and , and . If , then . Similarly, if , then .

Lemma 5.5.6.

Let be an object of and an additive map such that for all and , and . Then the following two conditions are equivalent:

(1)

,

(2)

and .

Corollary 5.5.7.

Let be a finite flat -group scheme killed by . Let be a continuous automorphism, choose such that and define by . To give a morphism of schemes such that the diagram of schemes

is commutative and the induced morphism is an morphism of group schemes over , is equivalent to giving an additive map such that both of the following hold:

(1)

For all and , .

(2)

and , with as in Lemma 5.5.1 and as in Lemma 5.1.2.

Moreover, is an isomorphism if and only if is. Assume these are isomorphisms. Choose such that on , i.e. . Then the map that corresponds to is equal to . Also, if , are two automorphisms of and if we choose as above, then corresponds to provided we choose such that .

Theorem 5.6.1.

Suppose that is a finite flat -group scheme killed by . Fix as above for all .

(1)

To give descent data on relative to is equivalent to giving additive bijections for all so that takes into and:

for , ,

on ,

and .

(2)

The above equivalence is functorial in and is compatible with classical Dieudonné theory in the following sense: if the action on corresponds to descent data on , then the -semi-linear map induced on the contravariant Dieudonné module and the -semi-linear map induced on are compatible via the isomorphism of Theorem 5.1.3.

Corollary 5.6.2.

With the above notation, to give descent data on for is equivalent to giving additive bijections for so that takes into and:

for , ,

on ,

if , where , , and for , and if we define , then .

Lemma 5.7.1.

Suppose that is a finite flat -group scheme of order and that its generic fibre admits descent data over . Then there is unique descent data on over extending any choice of descent data on over . If and if satisfies , then

where denotes the unique root of in with constant term .

Lemma 7.2.1.

The group of extensions of by over is parametrised by . The Breuil module corresponding to is free of rank two over with a basis such that

,

, ,

, .

The standard descent data on and extends uniquely to descent data on . The corresponding representations are of the form

and are peu ramifié. Any such peu-ramifié extension arises for a suitable choice of .

Lemma 7.2.2.

Suppose that is a totally ramified abelian cubic extension of and suppose that is a local-local finite flat -group scheme killed by such that is an extension of by . Then for some finite flat -group scheme .

Lemma 7.2.3.

The group of extensions of by over is isomorphic to the group of linear polynomials in . The Breuil module corresponding to is free of rank two over with a basis such that

,

, .

Each admits unique descent data compatible with the standard descent data on and . As vary over the corresponding descent to of the generic fibre of runs over all extensions of by . The corresponding representation of is peu ramifié if and only if .

Lemma 7.2.5.

The group of extensions of by over is isomorphic to the group of linear polynomials in . The Breuil module corresponding to is free of rank two over with a basis such that

,

, .

This extension splits over an unramified extension if and only if . If is non-abelian, then any descent data on compatible with the standard descent data on satisfies

where

Lemma 7.2.6.

The group of extensions of by over is isomorphic to the group of quadratic polynomials vanishing at , , in . The Breuil module corresponding to is free of rank two over with a basis such that

,

, .

This extension splits over an unramified extension if and only if . If is non-abelian, then any descent data on compatible with the standard descent data on satisfies

where

Lemma 7.3.1.

Suppose that is a finite flat group scheme over which is killed by . Suppose that there is a filtration by closed finite flat subgroup schemes such that , and . Suppose finally that descends to in such a way that it is a très ramifié extension of by . Then

compatibly with the extension class structure.

Equation (7.4.1)
Lemma 8.1.1.

Let be an even integer. The descent data on is determined by

and the descent data on is determined by

In particular, on if and only if on if and only if , or .

Lemma 8.1.2.

Let be an object of corresponding to a finite flat group scheme and let be descent data on relative to . Assume that can be filtered so that each graded piece is isomorphic to or and so that the corresponding filtration of in has successive quotients of the form with and . Then on and there exists a basis of over so that for all

,

is an eigenvector of the -linear map on ,

lies in the part of the filtration of which surjects onto and this surjection sends onto the standard basis vector of over .

Proposition 8.2.1.

There exists a unique object of such that corresponds to . If we set , then is an extension of by in . Moreover Frobenius is not identically zero on .

Equation (8.2.1)
Equation (8.2.2)
Lemma 9.1.1.

Let be an even integer. The descent data on is determined by

and the descent data on is determined by

In particular, on if and only if on if and only if , or .

Proposition 9.2.1.

Suppose that is an object of such that is an extension of by . Then we have an exact sequence

with , , or . Moreover we can write with , where has an -basis with the standard basis element of and mapping to the standard basis element of . More precisely we have the following exhaustive list of extension class possibilities, all of which are well defined. denotes the monodromy operator described in Lemma 5.1.2.)

(1)

: The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

(so with

The pairs with are the ones which generically split over . In all cases .

(2)

: The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

(so with

The pairs with are the ones which generically split over . In all cases . These cases are Cartier dual to the cases above.

(3)

: The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

(so with

The pairs with are the ones which generically split over . In all cases .

(4)

: The natural map

is an isomorphism, with elements parametrised by pairs corresponding to

(it is easily checked that and and

In particular, if and only if .

In the first three cases, the peu ramifié condition on a class in is equivalent to the vanishing of . In the fourth case it is equivalent to the vanishing of .

Equation (9.2.1)
Equation (9.2.2)
Equation (9.2.3)
Equation (9.2.4)
Equation (9.2.5)
Equation (9.2.6)
Lemma 9.3.1.

For , and we have

Lemma 9.3.3.

For , the maps

and

are injective and have image consisting of the -dimensional space of classes which split over an unramified extension of .

Equation (9.3.1)
Equation (9.3.2)
Lemma 9.3.4.
(1)

The map of groups

is an isomorphism.

Explicitly, the group is parametrised by pairs corresponding to

with

and descent data

The classes in which split over an unramified extension of correspond to the pairs with .

(2)

The map of groups

is an isomorphism.

Explicitly, the group is parametrised by pairs corresponding to

with

and descent data

The classes in which split over an unramified extension of correspond to the pairs with .

Equation (9.5.1)
Equation (9.6.1)
Equation (9.6.2)

References

Reference [BBM]
P. Berthelot, L. Breen, W. Messing, Théorie de Dieudonné cristalline II, Lecture Notes in Mathematics 930, Springer-Verlag, Berlin, 1982. MR 85k:14023
Reference [Br1]
C. Breuil, Schémas en groupes et modules filtrés, C. R. Acad. Sci. Paris 328 (1999), 93–97. MR 99m:14086
Reference [Br2]
C. Breuil, Groupes -divisibles, groupes finis et modules filtrés, Annals of Math. 152 (2000), 489–549. CMP 2001:06
Reference [Ca1]
H. Carayol, Sur les représentations -adiques associées aux formes modulaires de Hilbert, Ann. Sci. Éc. Norm. Sup. 19 (1986), 409–468. MR 89c:11083
[Ca2]
H. Carayol, Sur les représentations galoisiennes modulo attachées aux formes modulaires, Duke Math. J. 59 (1989), 785–801. MR 91b:11058
Reference [Co]
B. Conrad, Ramified deformation problems, Duke Math. J. 97 (1999), 439–514. MR 2000h:11055
Reference [CDT]
B. Conrad, F. Diamond, R. Taylor, Modularity of certain potentially Barsotti-Tate Galois representations, J. Amer. Math. Soc. 12 (1999), 521–567. MR 99i:11037
Reference [deJ]
A.J. de Jong, Finite locally free group schemes in characteristic and Dieudonné modules, Inv. Math. 114 (1993), 89–138. MR 94j:14043
Reference [De]
P. Deligne, Formes modulaires et représentations -adiques, in: Lecture Notes in Math. 179, Springer-Verlag, 1971, pp. 139–172.
Reference [DS]
P. Deligne, J.-P. Serre, Formes modulaires de poids , Ann. Sci. Ec. Norm. Sup. 7 (1974), 507–530. MR 52:284
Reference [Di1]
F. Diamond, The refined conjecture of Serre, in Elliptic Curves, Modular Forms and Fermat’s Last Theorem (Hong Kong, 1993), International Press, 1995, pp. 22–37. MR 97b:11065
Reference [Di2]
F. Diamond, On deformation rings and Hecke rings, Ann. Math. 144 (1996), 137–166. MR 97d:11172
[DT]
F. Diamond, R. Taylor, Lifting modular mod representations, Duke Math. J. 74 (1994), 253–269. MR 95e:11052
Reference [E]
T. Ekedahl, An effective version of Hilbert’s irreducibility theorem, in “Séminaire de Théorie des Nombres, Paris 1988-89”, Birkhäuser, 1990. MR 92f:14018
Reference [EGA]
A. Grothendieck, Éléments de Géométrie Algébrique IV, Publ. Math. IHES 32, 1966-7. MR 39:220
Reference [Fa]
G. Faltings, Endlichkeitssätze für abelsche Varietäten über Zahlkörpern, Inv. Math. 73 (1983), 349–366. MR 85g:11026a; erratum MR 85g:11026b
Reference [FM]
J.-M. Fontaine, B. Mazur, Geometric Galois representations, in Elliptic Curves, Modular Forms and Fermat’s Last Theorem (Hong Kong, 1993), International Press, 1995, pp. 41–78. MR 96h:11049
Reference [G]
P. Gérardin, Facteurs locaux des algèbres simples de rang 4. I, in Groupes Réductifs et Formes Automorphes, I (Paris, 1976–77) Univ. Paris VII, 1978, pp. 37–77. MR 84f:22023
Reference [Kh]
C. Khare, A local analysis of congruences in the case: Part II, Invent. Math. 143 (2001), no. 1, 129–155. CMP 2001:06
Reference [Kl]
F. Klein, Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fünften Grade, Teubner, 1884.
Reference [L]
R.P. Langlands, Base Change for , Annals of Math. Studies 96, Princeton Univ. Press, Princeton, 1980. MR 82a:10032
Reference [Man]
J. Manoharmayum, Pairs of mod and mod representations arising from elliptic curves, Math. Res. Lett. 6 (1999), 735–754. MR 2000m:11045
Reference [Maz]
B. Mazur, Number theory as gadfly, Amer. Math. Monthly 98 (1991), 593–610. MR 92f:11077
Reference [Ra]
M. Raynaud, Schémas en groupes de type , Bull. Soc. Math. France 102 (1974), 241–280. MR 54:7488
Reference [Ri]
K. Ribet, The -adic representations attached to an eigenform with Nebentypus: a survey, in: Lecture Notes in Math. 601, Springer-Verlag, 1977, pp. 17–52. MR 56:11907
Reference [SBT]
N. Shepherd-Barron, R. Taylor, Mod and mod icosahedral representations, J. Amer. Math. Soc. 10 (1997), 283–298. MR 97h:11060
Reference [Se1]
J.-P. Serre, Local Fields, Springer-Verlag, 1979. MR 82e:12016
Reference [Se2]
J.-P. Serre, Sur les représentations modulaires de degré de , Duke Math. J. 54 (1987), 179–230. MR 88g:11022
Reference [Sh1]
G. Shimura, On elliptic curves with complex multiplication as factors of the Jacobians of modular function fields, Nagoya Math. J. 43 (1971), 199–208. MR 45:5111
Reference [Sh2]
G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, Princeton Univ. Press, Princeton, 1971. MR 47:3318
Reference [Sh3]
G. Shimura, Response to 1996 Steele Prize, Notices of the AMS 43 (1996), 1344–1347.
Reference [T]
J. Tate, -divisible groups, in “Proceedings of a conference on local fields (Driebergen, 1966)”, Springer, 1967, 158–183. MR 38:155
Reference [TW]
R. Taylor, A. Wiles, Ring-theoretic properties of certain Hecke algebras, Ann. Math. 141 (1995), 553–572. MR 96d:11072
Reference [T]
J. Tunnell, Artin’s conjecture for representations of octahedral type, Bull. Amer. Math. Soc. 5 (1981), 173–175. MR 82j:12015
Reference [We1]
A. Weil, Über die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen, Math. Ann. 168 (1968), 149–156. MR 34:7473
Reference [We2]
A. Weil, Scientific works. Collected papers. III (1964–1978), Springer-Verlag, 1979. MR 80k:01067c
Reference [Wi]
A. Wiles, Modular elliptic curves and Fermat’s Last Theorem, Ann. Math. 141 (1995), 443–551. MR 96d:11071

Article Information

MSC 2000
Primary: 11G05 (Elliptic curves over global fields)
Secondary: 11F80 (Galois representations)
Keywords
  • Elliptic curve
  • Galois representation
  • modularity
Author Information
Christophe Breuil
Département de Mathématiques, CNRS, Université Paris-Sud, 91405 Orsay cedex, France
Christophe.BREUIL@math.u-psud.fr
MathSciNet
Brian Conrad
Department of Mathematics, Harvard University, Cambridge, Massachusetts 02138
Address at time of publication: Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109
bconrad@math.harvard.edu, bdconrad@math.lsa.umich.edu
MathSciNet
Fred Diamond
Department of Mathematics, Brandeis University, Waltham, Massachusetts 02454
fdiamond@euclid.math.brandeis.edu
Richard Taylor
Department of Mathematics, Harvard University, Cambridge, Massachusetts 02138
rtaylor@math.harvard.edu
Additional Notes

The first author was supported by the CNRS. The second author was partially supported by a grant from the NSF. The third author was partially supported by a grant from the NSF and an AMS Centennial Fellowship, and was working at Rutgers University during much of the research. The fourth author was partially supported by a grant from the NSF and by the Miller Institute for Basic Science.

Journal Information
Journal of the American Mathematical Society, Volume 14, Issue 4, ISSN 1088-6834, published by the American Mathematical Society, Providence, Rhode Island.
Publication History
This article was received on , revised on , and published on .
Copyright Information
Copyright 2001 American Mathematical Society
Article References
  • Permalink
  • Permalink (PDF)
  • DOI 10.1090/S0894-0347-01-00370-8
  • MathSciNet Review: 1839918
  • Show rawAMSref \bib{1839918}{article}{ author={Breuil, Christophe}, author={Conrad, Brian}, author={Diamond, Fred}, author={Taylor, Richard}, title={On the modularity of elliptic curves over $\mathbf{Q}$: Wild $3$-adic exercises}, journal={J. Amer. Math. Soc.}, volume={14}, number={4}, date={2001-10}, pages={843-939}, issn={0894-0347}, review={1839918}, doi={10.1090/S0894-0347-01-00370-8}, }

Settings

Change font size
Resize article panel
Enable equation enrichment

Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.

For more information please visit the AMS MathViewer documentation.