The proof of Theorem 1.1 builds on the ideas of an earlier work of Wintenberger and the author, see [31] . There the above theorem was proved for primes
$p=5,7$
(it being known earlier conditionally under GRH for
$p=5$
by [8] ), it being already known for
$p=2,3$
because of a method of Tate, see [51] for
$p=2$
, which was later applied to the case of
$p=3$
by Serre, see page 710 of [45] . In [31] it was shown how modularity lifting theorems would yield Serre's conjecture when proved in sufficient generality, and the conjecture was proven in level 1 for weights
$2,4,6,8,12,14$
. The main contribution of this paper is a method to prove the level 1 case of the conjecture using only known modularity lifting theorems, thus completing the proof of the level 1 case of Serre's conjecture. We need lifting theorems when either the
$p$
adic lift is crystalline at
$p$
of weight
$k$
(i.e., HodgeTate weights
$(k1,0)$
)
$\le p+1$
(and when the weight is
$p+1$
the lift is ordinary at
$p$
), or at
$p$
the lift is of HodgeTate weights
$(1,0)$
and BarsottiTate over
${\mathbb{Q}}_{p}\left({\mu}_{p}\right)$
.
Henceforth
$p$
will be an odd prime. We use the inductive method proposed in Theorem 5.1 of [31] to prove the level 1 case of the conjecture.
The main new idea of this paper is a “weight reduction” technique.
This allows us to carry out the inductive step in a manner that is different from the one contemplated in loc. cit.
The cases of the conjecture for small weights in level 1 proved in [31] were dealt with using the results of Fontaine, Brumer and Kramer, and Schoof ([27] , [9] and [44] ), together with modularity lifting results of the type pioneered by Wiles. In this paper we use the results of [31] for weights
$2,4,6$
, and after that prove the level one case without making any further use of results classifying abelian varities over
$\mathbb{Q}$
with certain good reduction properties.
Thus in the end we see that the only such results we use are those showing that there is no semistable abelian variety over
$\mathbb{Q}$
with good reduction outside 5 (see [27] , [44] and [9] ). We do make use of course of modularity lifting results. These are due to Wiles, Taylor, Breuil, Conrad, Diamond, Fujiwara, Kisin, Savitt, Skinner et al (see [58] , [57] , [28] , [15] ,[16] , [48] , [49] , [42] , [33] ). In particular, besides the basic method of Taylor and Wiles in [58] and [57] , we need crucially the results of Skinner and Wiles in [48] , [49] , and the result of Kisin in [33] . Although Kisin proves a very general modularity lifting theorem for potentially BarsottiTate lifts (at
$p$
) when the residual representation is nondegenerate, i.e., irreducible on restriction to
${G}_{\mathbb{Q}\left(\sqrt{(1{)}^{\frac{p1}{2}}p}\right)}$
, in this paper the main theorem of [33] is used only in the case when the
$p$
adic lift being considered is (locally at
$p$
) BarsottiTate over
${\mathbb{Q}}_{p}\left({\mu}_{p}\right)$
. The residually degenerate cases are handled by quoting the results of Skinner and Wiles in [48] , [49] which may be applied as in these cases the lifts that need to be proved modular are ordinary up to a twist. The ordinarity is a consequence of a result of Breuil and Mézard (Proposition 6.1.1 of [7] ), and Savitt (see [43] , Theorems 6.11 and 6.12), which is vital for us.
As in [31] , we use crucially the potential version of Serre's conjecture proved by Taylor in [54] and [53] , and a deformation theoretic result of Böckle in the appendix to [30] .
Theorem 1.1 yields the following corollaries (see Section 7 ), the first needing also the method of “killing ramification” of Section 5.2 of [31] :
Corollary 1.2.
If
$\overline{\rho}$
is an irreducible, odd, 2dimensional, mod
$p$
representation of
${G}_{\mathbb{Q}}$
with
$k\left(\overline{\rho}\right)=2$
,
$N\left(\overline{\rho}\right)=q$
, with
$q$
prime, and
$p>2$
, then it arises from
${S}_{2}\left({\Gamma}_{1}\right(q\left)\right)$
.
Corollary 1.3.
There are only finitely many isomorphism classes of continuous semisimple odd representations
$\overline{\rho}:{G}_{\mathbb{Q}}\to G{L}_{2}\left(\overline{\mathbb{F}p}\right)$
that are unramified outside
$p$
.
Our theorem, when combined with modularity lifting theorems also implies that if
$\rho :{G}_{\mathbb{Q}}\to G{L}_{2}\left(O\right)$
is an irreducible
$p$
adic representation unramified outside
$p$
and at
$p$
crystalline of Hodge Tate weights
$(k1,0)$
with
$k$
even and either
$2\le k\le p1$
(even the weight
$p+1$
case can be deduced, after the work in [4] : see Lemma 5.4 below) or
$\rho $
is ordinary at
$p$
, then
$\rho $
arises from
${S}_{k}\left(S{L}_{2}\right(\mathbb{Z}\left)\right)$
. It is quite likely that the restriction on weights in the nonordinary cases can be eased to allowing weights up to
$2p$
provided that residually the representation is nondegenerate. This will probably follow from ongoing work of Berger on Breuil's conjecture in [6] , and the modifications of the TaylorWiles system carried out in [33] .
Theorem 1.1 also implies that a
$G{L}_{2}$
type semistable abelian variety over
$\mathbb{Q}$
with good reduction outside a prime
$p$
is a factor of
${J}_{0}\left(p\right)$
. Such a result was earlier used in [31] in the case when
$p=5,7,11,13$
being a special case of the results proven in [44] , [9] : now we can recover these results in the case of
$G{L}_{2}$
type abelian varieties when
$p>5$
.
1.2 Sketch of proof
We give a rough sketch of the proof of Theorem 1.1 , starting with some general comment about the method used. As in Theorem 5.1 of [31] , the method is inductive with respect to the prime which is the residue characteristic, but as said earlier the inductive step is carried out differently. The method uses in an essential way the method of “congruences between Galois representations” which was introduced in Section 4 of [31] to prove the cases of the conjecture in level 1 and weights
$6,8,12,14$
, and is refined here. In Section 4 of loc. cit. congruences were produced between
$p$
adic representations of
$Gal(\overline{\mathbb{Q}}/\mathbb{Q})$
that were crystalline of weight
$p+1$
at
$p$
and semistable of weight 2 at
$p$
(the analog for modular forms being a result of Serre: see Théorème 11 of article 97 of [45] ). The method in Section 2 of [31] can be used to prove more results about such congruences which parallel results that are wellknown for congruences between modular forms. For instance we can now in principle prove analogs for Galois representations of the “type changing” arguments of Carayol in [11] for modular forms (some instances are carried out in Section 3 of the paper, and used in the proof of Theorem 1.1 to “change types” at a prime different from the residue characteristic), or the level raising results for modular forms of Ribet (see [39] ). We do not use the Galoistheoretic analog of the latter in this paper, but this and other such “level raising” results for Galois representations will be crucial in future work.
We fix an embedding
${\iota}_{p}:\overline{\mathbb{Q}}\mathbb{\hookrightarrow}\overline{\mathbb{Q}p}$
for each prime
$p$
. We say a residual mod
$p$
representation
$\overline{\rho}$
or a
$p$
adic representation
$\rho $
, is modular if it is either reducible (in the
$p$
adic case we assume irreducibility) or it arises from a newform with respect to the embedding
${\iota}_{p}$
. We say that a compatible system
$\left({\rho}_{\lambda}\right)$
is modular if it arises from a newform.
Assuming we have proved Serre's conjecture for level 1 modulo the
$n$
th prime
${p}_{n}$
, we prove it mod
${P}_{n+1}$
where
${P}_{n+1}$
is the least nonFermat prime
$>{p}_{n}$
. This is (more or less!) the inductive method to attack the level 1 case of Serre's conjecture proposed in Theorem 5.1 of [31] .
Via the methods of [31] , see also Lemma 5.4 and Corollary 5.5 below, this also means that one knows (the level 1 case of ) Serre's conjectures for
$\overline{\rho}$
of any residue characterictic
$p$
bigger than
${p}_{n}$
for all weights up to
${P}_{n+1}+1$
. Then we repeat the process starting with
${P}_{n+1}$
instead of
${p}_{n}$
.
In [31] to prove weights
$6,8,12,14$
the minimal lifting result in Section 2 of [31] was used twice to get 2 different compatible systems whose interplay (via the residual representations at a certain place of the 2 compatible systems being isomorphic up to semisimplification: we say that 2 such compatible systems are linked) proved the modularity of
$\overline{\rho}$
. Here 3 compatible systems are considered instead which arise from
$\overline{\rho}$
directly or indirectly. The lifts constructed are not always minimal.
The inductive step is different from the one proposed in [31] in that the residual modularity is essentially used only for representations in smaller weights of the same residual characteristic which has already been inductively established earlier. Another prime
$\ell $
is used as a foil in an auxiliary fashion to achieve this reduction of weight.
More precisely, starting with a
$\overline{\rho}$
mod
$p:={P}_{n+1}$
such that
${p}_{n}+1<k\left(\overline{\rho}\right)\le p+1$
of level 1, we first reduce to considering
$\overline{\rho}$
which are ordinary at
$p$
(by Lemma 5.2 below), and then construct a minimal lifting (see Proposition 2.1 below) of
$\overline{\rho}$
to a
$p$
adic representation that is unramified outside
$p$
and of weight 2 at
$p$
(it is BarsottiTate over
${\mathbb{Q}}_{p}\left({\mu}_{p}\right)$
if
$k\left(\overline{\rho}\right)\ne p+1$
, and otherwise semistable of weight 2). We then get a compatible system
$\left({\rho}_{\lambda}\right)$
(see Proposition 3.1 ) such that
$\rho $
is part of this system for a
$\lambda $
above
$p$
. We choose an odd prime
$\ell $
such that
${\ell}^{r}\left\rightp1$
(hence the assumption that
$p$
is not a Fermat prime), and consider the residual representation
${\overline{\rho}}_{\lambda}$
for
$\lambda $
now a prime above
$\ell $
.
Now in the cases when the residual modularity is not known for this mod
$\ell $
representation (the residual modularity will be known if the image is solvable, or the representation is unramified at
$p$
) we construct another lifting (see Proposition 2.2 which plays in some sense the analog of a lemma of Carayol [11] , or de Shalit's lemma as in [58] and [57] , for Galois representations)
${\rho}^{\prime}$
of this mod
$\ell $
representation that is BarsottiTate at
$\ell $
, and at
$p$
is nonminimal with “nebentype” that is wellchosen, and is unramified outside
$\ell ,p$
. (If the mod
$\ell $
modularity were known, we conclude the modularity of
$\left({\rho}_{\lambda}\right)$
by a modularity lifting theorem applied at
$\ell $
: the modularity lifting result in this case would be the one contained in [58] , [57] , [48] and [49] .) We construct another compatible system
$\left({\rho}_{\lambda}^{\prime}\right)$
of which
${\rho}^{\prime}$
is a member, and such that at a prime above
$p$
, because of the wellchosenness of the nebentype at
$p$
in the
$\ell $
adic lift, the residual representation is already known to be modular by the inductive hypothesis (which includes the case when the representation is reducible as these by convention are also called modular). This control of the weight of the mod
$p$
residual representation arising from
$\left({\rho}_{\lambda}^{\prime}\right)$
is due to a result of Breuil and Mézard in [7] , and Savitt [43] . Then the fact that we are in a position to apply known modularity lifting results (see [48] , [49] , [33] ) is again because of [7] which says that all lifts of reducible 2dimensional mod
$p$
representation of
${G}_{{\mathbb{Q}}_{p}}$
that become BarsottiTate over
${\mathbb{Q}}_{p}\left({\mu}_{p}\right)$
are up to twist ordinary.
(This is one important reason why the strategy here does not need modularity lifting results beyond the known range.) These known modularity lifting theorems then prove modularity of
$\left({\rho}_{\lambda}^{\prime}\right)$
, and then another use of modularity lifting theorems (of [58] , [57] , [48] , [49] ) prove the modularity of
$\left({\rho}_{\lambda}\right)$
, as the 2 compatible systems are linked mod the prime above
$\ell $
fixed by
${\iota}_{\ell}$
, and thus
$\overline{\rho}$
is modular. We need a third kind of compatible system
$\left({\rho}_{\lambda}^{\prime \prime}\right)$
constructed in [31] to conclude now that all level 1 representations modulo a prime
$\ge k\left(\overline{\rho}\right)1$
and of the weight of
$\overline{\rho}$
are modular (see Lemma 5.4 and Corollary 5.5 below).
The entire strategy of the paper roughly uses that
${p}_{n}$
is at least twothirds as large as
${p}_{n+1}$
(using classical Chebyshev estimates: see Section 4 ).
Thus schematically the argument may be summarised as follows:
(This is in the “generic” case, as sometimes the procedure yields success earlier.) After this we use a third kind of compatible system
$\left({\rho}_{\lambda}^{\prime \prime}\right)$
constructed in Sections 2 and 3 of [31] , to deduce that once Serre's conjecture is known in weight
$k$
for a prime
$p$
then it is known in weight
$k$
for all primes
$\ge k1$
(see Corollary 5.5 below).
 $\bullet $ Start with a mod $p$ representation $\overline{\rho}$ ,
 $\bullet $ lift it to $\rho $ (using Proposition 2.1 ),
 $\bullet $ construct a compatible system $\left({\rho}_{\lambda}\right)$ (using Proposition 3.1 ) such that for the prime above $p$ fixed by ${\iota}_{p}$ the corresponding representation is $\rho $ ,
 $\bullet $ consider the residual representation at a prime $\lambda $ above a “suitable” prime $\ell $ ( $\lambda $ fixed by ${\iota}_{\ell}$ ),
 $\bullet $ lift this to a “good” lift ${\rho}^{\prime}$ (using Proposition 2.2 ),
 $\bullet $ make it part of a compatible system $\left({\rho}_{\lambda}^{\prime}\right)$ (using Proposition 2.1 ),
 $\bullet $ consider the residual representation at the above $p$ fixed by ${\iota}_{p}$ arising from the system $\left({\rho}_{\lambda}^{\prime}\right)$ ,
 $\bullet $ inductively this is known to be modular as ${\rho}^{\prime}$ is a “good” lift,
 $\bullet $ modularity lifting theorems imply $\left({\rho}_{\lambda}^{\prime}\right)$ is modular,

$\bullet $
another application of lifting theorems gives
$\left({\rho}_{\lambda}\right)$
is modular, and hence
$\overline{\rho}$
is modular.
Just as in [31] , besides modularity lifting results, the potential version of Serre's conjectures proven by Taylor in [54] and [53] , and a result of Böckle in the appendix to [30] , is crucial in constructing (minimal and nonminimal) liftings
$\rho $
of various kinds (see Sections 2 and 3), and then making them part of a compatible system
$\left({\rho}_{\lambda}\right)$
(see Section 4) whose refined properties are then obtained by arguments of Dieulefait and Wintenberger, [22] and [59] .
2 Liftings
For
$F$
a field,
$\mathbb{Q}\subset F\subset \overline{\mathbb{Q}}$
, we write
${G}_{F}$
for the Galois group of
$\overline{\mathbb{Q}}/F$
.
For
$\lambda $
a prime/place of
$F$
, we mean by
${D}_{\lambda}$
(resp.,
${I}_{\lambda}$
) a decomposition (resp., inertia) subgroup of
${G}_{F}$
at
$\lambda $
. We have fixed embeddings
${\iota}_{p},{\iota}_{\infty}$
of
$\overline{\mathbb{Q}}$
in its completions
$\overline{\mathbb{Q}p}$
and
$\mathbb{C}$
in the introduction. Denote by
${\chi}_{p}$
the
$p$
adic cyclotomic character, and
${\omega}_{p}$
the Teichmüller lift of the mod
$p$
cyclotomic character
${\overline{\chi}}_{p}$
(the later being the reduction mod
$p$
of
${\chi}_{p}$
). By abuse of notation we also denote by
${\omega}_{p}$
the
$\ell $
adic character
${\iota}_{\ell}{\iota}_{p}^{1}\left({\omega}_{p}\right)$
for any prime
$\ell $
: this should not cause confusion as from the context it will be clear where the character is valued. For a number field
$F$
we denote the restriction of a character of
$Gal(\overline{\mathbb{Q}}/\mathbb{Q})$
to
${G}_{F}$
by the same symbol.
Let
$p$
an odd prime. Fix
$\overline{\rho}:{G}_{\mathbb{Q}}\to G{L}_{2}\left(\overline{\mathbb{F}p}\right)$
to be an odd irreducible representation. We assume that the Serre weight
$k\left(\overline{\rho}\right)$
is such that
$2\le k\left(\overline{\rho}\right)\le p+1$
. (Note that there is always a twist of
$\overline{\rho}$
by some power of the mod
$p$
cyclotomic character
$\overline{{\chi}_{p}}$
that has weights in this range.) We denote by
$A{d}^{0}\left(\overline{\rho}\right)$
the
${G}_{\mathbb{Q}}$
module arising from the adjoint action on the trace 0 matrices of
${M}_{2}(\mathbb{F})$
.
Let
$\mathbb{F}\subset \overline{\mathbb{F}p}$
be a finite field such that the image of
$\overline{\rho}$
is contained in
$G{L}_{2}(\mathbb{F})$
, and let
$W$
be the Witt vectors
$W(\mathbb{F})$
. By a lift of
$\overline{\rho}$
, we mean a continuous representation
$\rho :{G}_{\mathbb{Q}}\to G{L}_{2}\left(V\right)$
, where
$V$
is the ring of integers of a finite extension of the field of fractions of
$W$
, such that the reduction of
$\rho $
modulo the maximal ideal of
$V$
is isomorphic to
$\overline{\rho}$
.
Liftings when considered up to equivalence, i.e., up to conjugation by matrices that are residually the identity, are referred to as deformations.
We say that
$\rho $
is minimal at a prime
$\ell \ne p$
if it is minimally ramified at
$\ell $
in the terminology of [21] .
Let
$\varepsilon $
be the Teichmüller lift of the character
$det\left(\overline{\rho}\right){\overline{\chi}}_{p}^{1k\left(\overline{\rho}\right)}$
whose restriction to any open subgroup of
$Gal(\overline{\mathbb{Q}}/\mathbb{Q})$
we denote by the same symbol.
2.1 The method of producing liftings of [31]
In this section we will produce liftings with certain prescribed local properties of
$\overline{\rho}$
(one of the properties being unramified almost everywhere) using the methods of Section 2 of [31] . We assume that
$\overline{\rho}$
has nonsolvable image and
$k\left(\overline{\rho}\right)\ne p$
. By Lemma 2.6 of [31] , this also means that for any totally real field
$F$
,
$\overline{\rho}{}_{{G}_{F}}$
has nonsolvable image, and as
$2\le k\left(\overline{\rho}\right)\le p+1$
and
$\ne p$
, if
$F$
is unramified at
$p$
,
$\mathcal{\wp}$
a place of
$F$
above
$p$
,
$\overline{\rho}{}_{{I}_{\mathcal{\wp}}}$
is nonscalar.
To orient the reader we say a few words about the way the method of loc. cit. gets used here. We wish to point out that the method there is flexible enough to produce liftings with the desired local properties, provided the local calculations work out.
We produce liftings with prescribed properties as in Propositions 2.1 and 2.2 below, by proving, as in [31] , that a deformation ring
$R$
(over a suitable ring of integers
$O$
of a finite extension of
${\mathbb{Q}}_{p}$
, with uniformiser
$\pi $
) which parametrises (equivalence classes of ) liftings of
$\overline{\rho}$
with these prescribed properties is flat over
$O$
. (The prescribed properties will be deformation conditions in the sense of [34] and thus the problem will be representable globally by a universal ring
$R$
.) To do this one shows first that
$R/\left(\pi \right)$
is finite, which by Lemma 2.4 of loc. cit. , as explained below, is equivalent to showing that
${R}_{F}/\left(\pi \right)$
is finite, where
${R}_{F}$
is a certain deformation ring for
$\overline{\rho}{}_{{G}_{F}}$
and
$F$
is some totally real field.
The finiteness of
${R}_{F}/\left(\pi \right)$
is established by identifying
${R}_{F}$
to a Hecke algebra
${\mathbb{T}}_{F}$
which we know is finite over
${\mathbb{Z}}_{p}$
. A suitable
$F$
with this property is produced by using Taylor's results in [54] , [53] : for instance
$F$
is unramified at
$p$
, and in the cases below
${R}_{F}$
can be taken to be a minimal deformation ring (although
$R$
need not be a minimal deformation ring, see Proposition 2.2 for instance). Here the minimality of
${R}_{F}$
at the local defining conditions at places
$\lambda $
not above
$p$
does not need futher comment: for
$\lambda $
above
$p$
the minimality condition is as explained below the same as the minimal condition at
$p$
when defining
$R$
, and is different in the case of Propositions 2.1 and 2.2 .
To see that
${R}_{F}$
can be taken to be the the minimal deformation ring in the proofs of Propositions 2.1 and 2.2 below we indicate the argument. Denote the universal representation
${\rho}_{R}$
and
${\rho}_{{R}_{F}}$
corresponding to the deformation problem that
$R$
and
${R}_{F}$
represent (with
${R}_{F}$
the minimal deformation ring), and
${\overline{\rho}}_{R}$
and
${\overline{\rho}}_{{R}_{F}}$
it's reduction mod
$\pi $
. Then using the properties of the lifts prescribed in Propositions 2.1 and 2.2 below, for
$\ell \ne p$
, the order of
${\overline{\rho}}_{R}\left({I}_{\ell}\right)$
is the same as the order of
$\overline{\rho}\left({I}_{\ell}\right)$
.
This is seen by using the proof of the claim after Lemma 2.4 of [31] .
This gives that
${\overline{\rho}}_{R}{}_{{G}_{F}}$
is a specialisation of
${\overline{\rho}}_{{R}_{F}}$
. The finiteness of
${R}_{F}$
as a
$O$
module yields that the latter has finite image and hence so does the former, which by Lemma 2.4 of [31] gives that
$R/\left(\pi \right)$
is of finite cardinality.
We give some more details about the choice of
$F$
and the identification of
${R}_{F}$
to a Hecke algebra
${\mathbb{T}}_{F}$
(see also proof of Theorem 2.2 of [31] ).
We choose the totally real field
$F$
, Galois over
$\mathbb{Q}$
and of even degree, so that when
$\overline{\rho}$
is ordinary at
$p$
(resp., supersingular by which we mean locally irreducible at
$p$
),
$F$
is unramified at
$p$
(resp., split at
$p$
),
$\overline{\rho}{}_{{G}_{F}}$
is unramified outside places above
$p$
, and such that there is a cuspidal automorphic representation
$\pi $
for
$G{L}_{2}\left({\mathbb{A}}_{F}\right)$
that is discrete series of parallel weight
$(2,\cdots ,2)$
at infinity (resp., of parallel weight
$\left(k\right(\overline{\rho}),\cdots ,k(\overline{\rho}\left)\right)$
at infinity) is unramified at all places not above
$p$
, and is ordinary at places
$\mathcal{\wp}$
above
$p$
of conductor dividing
$\mathcal{\wp}$
(resp., unramified at places
$\mathcal{\wp}$
above
$p$
), and unramified at
$p$
when
$k\left(\overline{\rho}\right)=2$
, that gives rise to
$\overline{\rho}{}_{{G}_{F}}$
with respect to (w.r.t.) the embedding
${\iota}_{p}$
. In the ordinary case (in Proposition 2.2 ) we also use the existence of
$F$
unramified at
$p$
, Galois over
$\mathbb{Q}$
and of even degree, such that
$\overline{\rho}{}_{{G}_{F}}$
is unramified outside places above
$p$
, and such that there is a cuspidal automorphic representation
$\pi $
for
$G{L}_{2}\left({\mathbb{A}}_{F}\right)$
that is discrete series of parallel weight
$\left(k\right(\overline{\rho}),\cdots ,k(\overline{\rho}\left)\right)$
at infinity and is unramified at all finite places (see [54] and Proposition 2.5 of [31] ), that gives rise to
$\overline{\rho}{}_{{G}_{F}}$
with respect to (w.r.t.) the embedding
${\iota}_{p}$
.
The existence of a
$F$
with all these properties follows from Lemma 1.5 and Corollary 1.7 of [54] , and Proposition 2.5 of [31] , in the ordinary case, and Theorem 5.7 of [53] in the supersingular case, and uses as an ingredient the levellowering up to base change method of [47] . (The evenness of
$[F:\mathbb{Q}]$
is not mentioned in [54] in the ordinary case, but certainly may be ensured by a further quadratic base change.) In the case of Proposition 2.1 , in which case
$F$
is unramified at
$p$
, the minimal deformation ring
${R}_{F}$
parametrises lifts
$\rho $
of
$\overline{\rho}{}_{{G}_{F}}$
that are unramified away from
$p$
, and at places
$\mathcal{\wp}$
above
$p$
are such that
$\rho {}_{{I}_{\mathcal{\wp}}}$
is of the form
$$\left(\begin{array}{cc}{\omega}_{p}^{k2}{\chi}_{p}& *\\ 0& 1\end{array}\right),$$
if
$\overline{\rho}{}_{{I}_{\mathcal{\wp}}}$
is of the form
$$\left(\begin{array}{cc}{\overline{\chi}}_{p}^{k1}& *\\ 0& 1\end{array}\right),$$
with
$2\le k\le p1$
, with the further condition that if
$k\left(\overline{\rho}\right)=2$
,
$\rho {}_{{I}_{\mathcal{\wp}}}$
is BarsottiTate, and of determinant (the restiction of )
$\varepsilon {\omega}_{p}^{k2}{\chi}_{p}$
.
In the case of Proposition 2.2 , in which case
$F$
may be taken to be split at
$p$
when
$\overline{\rho}{}_{{D}_{p}}$
is supersingular, the minimal deformation ring
${R}_{F}$
parametrises lifts
$\rho $
of
$\overline{\rho}{}_{{G}_{F}}$
that are unramified away from
$p$
, and at places
$\mathcal{\wp}$
above
$p$
the representation is crystalline of weight
$k\left(\overline{\rho}\right)$
, and the lifts have determinant
$\varepsilon {\eta}_{q}^{i}{\chi}_{p}^{k\left(\overline{\rho}\right)1}$
using the notation of Proposition 2.2 . (We can also ensure that
$\varepsilon {}_{{G}_{F}}$
or
$\varepsilon {\eta}_{q}^{i}{}_{{G}_{F}}$
is trivial if we want when the Serre weight is even: the Serre weight will always be even in all applications below.) It remains to recall the identification of
${R}_{F}$
to suitable Hecke algebra
${\mathbb{T}}_{F}$
. In the case of Proposition 2.1 below, the Hecke algebra
${\mathbb{T}}_{F}$
is a (
${\mathbb{Z}}_{p}$
)algebra cut out by the Hecke action on cusp forms for
$G{L}_{2}\left({\mathbb{A}}_{F}\right)$
that are of weight
$(2,\cdots ,2)$
, unramified outside
$p$
, and at places
$\mathcal{\wp}$
above
$p$
of conductor dividing
$\mathcal{\wp}$
(and unramified if
$k\left(\overline{\rho}\right)=2$
), and of central character corresponding to (restriction of )
$\varepsilon {\omega}_{p}^{k2}$
by class field theory, with respect to the embedding
${\iota}_{p}$
. In the case of Proposition 2.2 below, the Hecke algebra
${\mathbb{T}}_{F}$
is a (
${\mathbb{Z}}_{p}$
)algebra cut out by the Hecke action on cusp forms for
$G{L}_{2}\left({\mathbb{A}}_{F}\right)$
that are of weight
$\left(k\right(\overline{\rho}),\cdots ,k(\overline{\rho}\left)\right)$
, unramified at all finite places, and of central character corresponding to, using it's notation,
${\eta}_{q}^{i}\varepsilon {\chi}_{p}^{k\left(\overline{\rho}\right)2}$
by class field theory. (The fact that the
${\mathbb{T}}_{F}$
is nonzero is a consequence of the results of Taylor in [54] and [53] that we have recalled.) The identification
${R}_{F}\simeq {\mathbb{T}}_{F}$
is proved using [28] in the ordinary case, and Section 3 of [53] in the supersingular case. (As [28] may not be widely available, note that in the ordinary case, we are in a situation where we do have a minimal modular lift of
$\overline{\rho}{}_{{G}_{F}}$
that is ordinary at places above
$p$
, and such that
$\overline{\rho}{}_{{G}_{F}}$
has nonsolvable image, and
$F$
is unramified at
$p$
. Thus the deduction of the isomorphism
${R}_{F}\simeq {\mathbb{T}}_{F}$
is by now standard.) Note that we are allowing
$p=3$
, which is a case excluded in some sections of [53] : thus we say a few words to justify why we still have the results of [53] available. We exploit the fact that we know that by our assumption
$\overline{\rho}{}_{{G}_{F}}$
is not solvable for any totally real field
$F$
(Lemma 2.6 of [31] ), and as
${\overline{\chi}}_{3}$
restricted to
$F$
has order 2, we thus have an auxiliary prime
$r$
, as guaranteed by Lemma 3 of [19] or Lemma 4.11 of [20] , which handles nonneatness problems. (For instance, this allows us to pass from the results in Section 4 of [53] to those of Section 5 requiring only that
$p>2$
, and also to have available the results of Sections 2 and 3 of [53] requiring only that
$p>2$
.) The finiteness of
$R/\left(\pi \right)$
leads to
$R$
being flat (finite, complete intersection) over
$O$
if we know that
$R\simeq O\left[\right[{X}_{1},\cdots ,{X}_{r}\left]\right]/({f}_{1},\cdots ,{f}_{s})$
with
$s\le r$
. By the crucial Proposition 1 of Böckle's appendix to [30] , this will follow from some purely local information about the kind of lifts
$R$
parametrises. (The local conditions will always be deformation conditions in the sense of [34] .) If
$R$
parametrises (equivalence classes of ) lifts unramified outside a fixed set of primes, of a certain fixed determinant, only the following local properties at each prime
$\ell $
need be checked:
the corresponding local deformation ring
${R}_{\ell}$
should be a flat, complete intersection over
$O$
, of relative dimension
$di{m}_{\mathbb{F}}{H}^{0}({D}_{\ell},A{d}^{0}(\overline{\rho}\left)\right)$
when
$\ell \ne p$
, and of relative dimension
$di{m}_{\mathbb{F}}{H}^{0}({D}_{p},A{d}^{0}(\overline{\rho}\left)\right)+1$
when
$\ell =p$
.
We check these local conditions in Propositions 2.1 and 2.2 showing that they follow from results of Böckle, Ramakrishna and Taylor, see [2] , [3] , [55] , [36] (in all the cases below the local deformation ring turns out to be smooth). At primes
$\ell \ne p$
where no ramification is allowed the deformation ring is directly checked to be smooth of relative dimension
$di{m}_{\mathbb{F}}{H}^{0}({D}_{\ell},A{d}^{0}(\overline{\rho}\left)\right)$
. At primes
$\ell \ne p$
at which the residual representation is ramified and where the corresponding local deformations that are allowed are minimal the ring is smooth of the required dimension as checked in Section 3 of [2] , [36] (see the “ local at
$\ell \ne p$
” section) and [55] (see E1 to E3). Thus below we only check the local condition at the residual characteristic (where the results are again found in [2] , [36] and [55] ), and at a prime
$\ell $
where the deformations allowed are not minimal. (Note that in [55] for the local versal deformation rings below, at
$p$
, or when
$\ell \ne p$
and the deformations allowed are minimal, the unobstructedness of the ring is checked, and it is shown that the tangent space is of dimension
$di{m}_{\mathbb{F}}{H}^{0}({D}_{\ell},A{d}^{0}(\overline{\rho}\left)\right)+{\delta}_{\ell p}$
, which implies that the versal ring is smooth of relative dimension
$di{m}_{\mathbb{F}}{H}^{0}({D}_{\ell},A{d}^{0}(\overline{\rho}\left)\right)+{\delta}_{\ell p}$
over
$W$
.)
2.2 Minimal $p$ adic weight 2 lifts of $\overline{\rho}$
We consider (just for this subsection) only
$\overline{\rho}$
such that
$\overline{\rho}$
is ordinary at
$p$
, i.e.,
$\overline{\rho}{}_{{I}_{p}}$
has nontrivial covariants, and we also assume as before
$k\left(\overline{\rho}\right)\ne p$
. In this subsection we consider lifts
$\rho $
of
$\overline{\rho}$
whose determinant is
$\varepsilon {\omega}_{p}^{k\left(\overline{\rho}\right)2}{\chi}_{p}$
.
We say that
$\rho $
is minimal of weight 2 at
$p$
(as in E3 and E4 of [55] ) if its determinant is
$\varepsilon {\omega}_{p}^{k\left(\overline{\rho}\right)2}{\chi}_{p}{}_{{D}_{p}}$
, and assuming
$\overline{\rho}{}_{{I}_{p}}$
is of the form
$$\left(\begin{array}{cc}{\overline{\chi}}_{p}^{k1}& *\\ 0& 1\end{array}\right),$$
with
$2\le k\le p1$
, then
$\rho {}_{{I}_{p}}$
is of the form
$$\left(\begin{array}{cc}{\omega}_{p}^{k2}{\chi}_{p}& *\\ 0& 1\end{array}\right),$$
with the further condition that when
$k\left(\overline{\rho}\right)=2$
,
$\rho {}_{{I}_{p}}$
is BarsottiTate. If a lift
$\rho $
satisfies this condition at
$p$
and is minimal at all prime
$\ne p$
(and thus necessarily has determinant fixed as above), then we say that it is minimal of weight 2.
Remark: In this paper we use this theorem only for representations unramified outside
$p$
. We also do not need to use the proposition when the image is solvable. The condition of ordinarity may be removed using results in [7] , [43] (Proposition 6.1.2(iii) of the former, Theorem 6.22 of latter), together with the modification of TaylorWiles systems in [33] .
Proposition 2.1.
Let
$p$
be a prime
$>3$
. Let
$\overline{\rho}:{G}_{\mathbb{Q}}\to G{L}_{2}(\mathbb{F})$
be an odd absolutely irreducible representation. We suppose that
$2\le k\left(\overline{\rho}\right)\le p+1$
and
$k\left(\overline{\rho}\right)\ne p$
and with
$\overline{\rho}$
ordinary at
$p$
. Then
$\overline{\rho}$
has a lift
$\rho $
that is minimal of weight 2. (Its determinant is necessarily
$\varepsilon {\omega}_{p}^{k\left(\overline{\rho}\right)2}{\chi}_{p}$
.)

Proof.
If the image of
$\overline{\rho}$
is solvable we are done using that Serre's conjecture is known in this case even in its refined form (see [38] ) and the fact that if
$\overline{\rho}$
arises from a mod
$p$
ordinary eigenform in
${S}_{k\left(\overline{\rho}\right)}\left({\Gamma}_{1}\right(N),\overline{\mathbb{F}p})$
(
$(N,p)=1$
), then it also arises from an ordinary eigenform in
${S}_{2}\left({\Gamma}_{1}\right(N)\cap {\Gamma}_{0}(p),\overline{\mathbb{F}p}({{\overline{\chi}}_{p}}^{k\left(\overline{\rho}\right)2}\left)\right)$
(see Proposition 8.13 of [29] or Section 6 of [25] ). So we now assume that the image of
$\overline{\rho}$
is not solvable. The proof follows immediately from the method of proof of Theorem 2.1 of [31] , as noted in Section 2.1 , on noting the following local fact:consider the versal deformation ring ${R}_{p}$ that parametrises deformations of $\overline{\rho}{}_{{D}_{p}}$ (to $W$ algebras that are complete Noetherian local (CNL) rings with residue field $\mathbb{F}$ as usual) that on inertia ${I}_{p}$ have the form $$\left(\begin{array}{cc}{\omega}_{p}^{k2}{\chi}_{p}& *\\ 0& 1\end{array}\right),$$ have fixed determinant the image of the character $\varepsilon {\omega}_{p}^{k2}{\chi}_{p}{}_{{D}_{p}}$ , and in the case of weight $k\left(\overline{\rho}\right)=2$ the deformation is BarsottiTate. Then ${R}_{p}$ is a complete intersection, flat over $W(\mathbb{F})$ of relative dimension $1+di{m}_{\mathbb{F}}\left({H}^{0}\right({D}_{p},A{d}^{0}\left(\overline{\rho}\right))$ : in fact it is even smooth of relative dimension $1+di{m}_{\mathbb{F}}\left({H}^{0}\right({D}_{p},A{d}^{0}\left(\overline{\rho}\right))$ as checked in E3 and E4 of [55] (see also [36] ).This, by Section 2.1 , gives the flatness of the ring $R$ over $W$ that parametrises (equivalence classes of ) lifts of $\overline{\rho}{}_{{D}_{p}}$ that are minimal of weight 2 and hence we are done. □
2.3 A Galois theoretic analog of Carayol's lemma
In this subsection we prove a Galois theoretic analog of Lemme 1 of [11] . Consider
$\overline{\rho}:Gal(\overline{\mathbb{Q}}/\mathbb{Q})\to G{L}_{2}(\mathbb{F})$
that is continuous, odd, irreducible,
$2\le k\left(\overline{\rho}\right)\le p+1$
and
$k\left(\overline{\rho}\right)\ne p$
, and consider an odd prime
$q$
which we assume is ramified in
$\overline{\rho}$
. Further assume that
$\overline{\rho}{}_{{I}_{q}}$
is of the form
$$\left(\begin{array}{cc}\overline{\chi}& *\\ 0& 1\end{array}\right),$$
where
$\overline{\chi}$
arises from a mod
$p$
character of
$Gal\left({\mathbb{Q}}_{q}\right({\mu}_{q})/{\mathbb{Q}}_{q})$
. Let
$\chi $
be its Teichmüller lift. This will be a power of the character
${\iota}_{p}{\iota}_{q}^{1}\left({\omega}_{q}\right)$
which we recall that by our conventions is again denoted by
${\omega}_{q}$
.
Assume that
${p}^{r}\left\rightq1$
(
$r>0$
) and consider
${\eta}_{q}={\omega}_{q}^{\frac{q1}{{p}^{r}}}$
: this is (for this subsection) a character with values in
${\overline{\mathbb{Q}p}}^{*}$
. We denote the corresponding global characters which factor through
$Gal(\mathbb{Q}({\zeta}_{q})/\mathbb{Q})$
by the same symbol. We enlarge
$\mathbb{F}$
so that it contains all the
$\frac{q1}{{p}^{r}}$
th roots of 1. Below, we denote by
$O$
the ring of integers of
$W(\mathbb{F})\left({\mu}_{q1}\right)$
and by
$\pi $
a uniformiser of
$O$
.
In this section the minimality condition at
$p$
we will consider is of being crystalline of weight
$k\left(\overline{\rho}\right)$
.
Proposition 2.2.
Let
$p$
be an odd prime, fix a
$\overline{\rho}$
as above (in particular
$k\left(\overline{\rho}\right)\ne p$
and
$\overline{\rho}{}_{{I}_{q}}$
has the form above), and assume that
$\overline{\rho}$
does not have solvable image. Fix an integer
$i$
. For some
$V$
that is the ring of integers of a finite extension of
${\mathbb{Q}}_{p}$
, there is a
$V$
valued lift
$\rho $
of
$\overline{\rho}$
of determinant
$\varepsilon {\chi}_{p}^{k\left(\overline{\rho}\right)1}{\eta}_{q}^{i}$
, that is minimal at primes outside
$p,q$
, is minimal at
$p$
(crystalline of weight
$k\left(\overline{\rho}\right)$
), and at
$q$
,
$\rho {}_{{I}_{q}}$
is of the from
$$\left(\begin{array}{cc}\chi {\eta}_{q}^{i}& *\\ 0& 1\end{array}\right).$$
We say that such a lifting has nebentype
$\chi {\eta}_{q}^{i}$
at
$q$
.
Remark: We will apply this proposition only when
$\overline{\rho}$
has weight 2, and is unramified outside
$p,q$
, and the lifts that need to be constructed have nontrivial nebentype at
$q$
. In the proposition, when
$\overline{\rho}$
is ordinary we could also have allowed the deformations at
$p$
to be minimal of weight 2, and hence BarsottiTate over
${\mathbb{Q}}_{p}\left({\mu}_{p}\right)$
when the weight is not
$p+1$
, and semistable of weight 2 otherwise.

Proof.
This follows by the arguments in Section 2 of [31] , as noted in Section 2.1 , from the following 2 local facts: The local deformation ring ${R}_{p}$ which parametrises (equivalence classes of ) lifts of $\overline{\rho}{}_{{G}_{p}}$ to $O$ algebras that are crystalline of weight $k\left(\overline{\rho}\right)$ , and of fixed determinant, is smooth over $O$ of dimension $di{m}_{\mathbb{F}}{H}^{0}({D}_{p},A{d}^{0}(\overline{\rho}\left)\right)+1$ . This is proved in [35] , [55] (see also discussion in Section 2 of [31] and Proposition 2.3 of [31] for the case of $k\left(\overline{\rho}\right)=p+1$ ).Consider the versal ring ${R}_{q}$ that parametrises (equivalence classes of ) lifts of $\overline{\rho}{}_{{D}_{q}}$ to CNL $O$ algebras with residue field $\mathbb{F}$ of determinant (the restriction to ${D}_{q}$ of ) $\varepsilon {\chi}_{p}^{k\left(\overline{\rho}\right)1}{\eta}_{q}^{i}{}_{{D}_{q}}$ , and such that $\rho {}_{{I}_{q}}$ is of the from $$\left(\begin{array}{cc}\chi {\eta}_{q}^{i}& *\\ 0& 1\end{array}\right).$$ That such a ring exists (i.e., the conditions we are defining, which can be interpreted as a condition of ordinarity as we are fixing determinants, are deformation conditions) follows easily from our assumption that $q$ is ramified in $\overline{\rho}$ (see for instance Section 6.2 of [18] ). The key fact we need is that ${R}_{q}$ is a complete intersection, which is flat over $O$ , and of relative dimension $di{m}_{\mathbb{F}}{H}^{0}({D}_{q},A{d}^{0}(\overline{\rho}\left)\right)=1$ . (In fact, it is even smooth.) The asserted dimension of the cohomology group is easily checked using that $\overline{\rho}$ is ramified at $q$ .We now prove that ${R}_{q}$ is smooth over $O$ of relative dimension 1.This essentially follows from Section 2 of [2] (see Section 2, and in particular Theorem 3.8 and Lemma 3.10: the deformation problem we are describing here is one obtained by specializing the $T$ in Theorem 3.10 (iii) of loc. cit. to a specific value and twisting). We sketch an argument to be more selfcontained.The dimension over $\mathbb{F}$ of the mod $\pi $ Zariski tangent space of ${R}_{q}$ is 1.This follows from the calculations in Section 1 of [58] , see also Section 4.3 of [17] for an exposition in semistable cases, as the dual number lifts that arise from ${R}_{q}$ are the same as the minimal lifts in [58] . Thus to show that ${R}_{q}$ is in fact smooth of relative dimension 1 over O it will be enough to show that there are infinitely many nonequivalent $O$ valued lifts ${\rho}_{q}$ of $\overline{\rho}{}_{{D}_{q}}$ of the required kind which we now proceed to show.Any lift will be tamely ramified and thus will be specified by lifting the image of $\overline{\rho}\left({\sigma}_{q}\right)$ and $\overline{\rho}\left({\tau}_{q}\right)$ , where ${\sigma}_{q},{\tau}_{q}$ are generators of Galois group of the maximal tamely ramified extension of ${\mathbb{Q}}_{q}$ , and the only relation these satisfy is ${\sigma}_{q}{\tau}_{q}{\sigma}_{q}^{1}={\tau}_{q}^{q}$ . When $\overline{\chi}$ is nontrivial, and thus $\overline{\rho}{}_{{I}_{q}}$ may be assumed split and $\overline{\rho}{}_{{D}_{q}}$ is diagonal, by inspection we get infinitely many lifts to diagonal matrices.In the case when $\overline{\chi}$ and $\chi $ are trivial, and hence $\overline{\rho}{}_{{I}_{q}}$ is unipotent, and nottrivial by assumption, again a simple calculation yields infinitely many $O$ valued lifts. There will be 2 cases corresponding to ${\chi}^{\prime}:={\eta}_{q}^{i}$ being trivial or nontrivial. When it is trivial this is covered by E3 of [55] (this is the only case when the lifts considered locally at $q$ do not have abelian image). Otherwise we choose a $\sigma ={\sigma}_{q}$ and a $\tau ={\tau}_{q}$ such that $\overline{\rho}\left(\sigma \right)$ is $$\left(\begin{array}{cc}r& b\\ 0& r\end{array}\right)$$ (note that by the relation $\sigma \tau {\sigma}^{1}={\tau}^{q}$ , the characteristic polynomial of $\overline{\rho}\left(\sigma \right)$ is forced to have double roots as $q$ is 1 mod $p$ and $\overline{\rho}$ is tamely ramified at $q$ ), and $\overline{\rho}\left(\tau \right)$ is the matrix $$\left(\begin{array}{cc}1& a\\ 0& 1\end{array}\right).$$ We want to construct infinitely many $O$ valued lifts ${\rho}_{q}$ of determinant $\varepsilon {\chi}_{p}^{k\left(\overline{\rho}\right)1}{\eta}_{q}^{i}{}_{{D}_{q}}$ , and such that ${\rho}_{q}{}_{{I}_{q}}$ is of the from $$\left(\begin{array}{cc}{\chi}^{\prime}& *\\ 0& 1\end{array}\right).$$ We seek $${\rho}_{q}\left(\sigma \right)=\left(\begin{array}{cc}\alpha & \gamma \\ 0& \beta \end{array}\right),$$ say $A$ , and $${\rho}_{q}\left(\tau \right)=\left(\begin{array}{cc}{\chi}^{\prime}\left(\tau \right)& {a}^{\prime}\\ 0& 1\end{array}\right),$$ say $B$ . Here $\alpha \beta =\varepsilon \left(\sigma \right){\chi}_{p}^{k\left(\overline{\rho}\right)1}\left(\sigma \right){\eta}_{q}^{i}\left(\sigma \right)$ , $\alpha ,\beta $ reduce to $r$ , ${a}^{\prime}$ reduces to $a$ (and hence is a unit), $\gamma $ to $b$ . We explicitly produce these lifts by the following calculation. (The version of the calculation we present here is suggested by Böckle.) We can assume by conjugation that $a$ and ${a}^{\prime}$ are equal to one. As the order of $B$ divide $q1$ (as ${\chi}^{\prime}$ is not trivial of order dividing $q1$ ), the relation ${\rho}_{q}\left(\sigma \right){\rho}_{q}\left(\tau \right){\rho}_{q}(\sigma {)}^{1}={\rho}_{q}(\tau {)}^{q}$ is therefore equivalent to $AB=BA$ , which yields $\alpha \beta =\gamma \left({\chi}^{\prime}\right(\tau )1)$ as the only relation. Combining this with the equation $\alpha \beta =\psi :=\epsilon \left(\sigma \right){\chi}_{p}^{k\left(\overline{\rho}\right)1}\left(\sigma \right){\eta}_{q}^{i}\left(\sigma \right)$ gives the quadratic equation ${\beta}^{2}\beta \gamma \left({\chi}^{\prime}\right(\tau )1)\psi =0$ for $\beta $ . Since ${\chi}^{\prime}\left(\tau \right)1$ lies in the maximal ideal, it follows easily that for each $\gamma $ (reducing to $b$ ) there is a unique solution $\beta $ that is congruent to $r$ modulo the maximal ideal of $O$ , and hence there is a unique $\alpha $ depending on $\gamma $ . Thus one has a 1parameter family (in $\gamma $ ) of lifts ${\rho}_{q}$ of the required type, thus proving that ${R}_{q}$ is smooth over $O$ of relative dimension 1.After these 2 facts, from Section 2.1 , we deduce that the global deformation ring $R$ which parametrises (equivalence classes of ) lifts of $\overline{\rho}$ of the given determinant $\varepsilon {\chi}_{p}^{k\left(\overline{\rho}\right)1}{\eta}_{q}^{i}$ , that at $q$ are of the given form, are minimal at primes $\ne q,p$ in the sense of the section above, at $p$ the lift is crystalline of weight $k\left(\overline{\rho}\right)$ (and thus finite flat when the residual representation has weight 2), is a finite flat complete intersection (ffci) over $O$ , and hence we get a lift of the desired kind.□
As we have seen, the proofs of Proposition 2.1 and 2.2 follow easily from the method of proof of Theorem 2.2 of [31] after some computations of local deformation rings. The point is that because of the method of Section 2 of [31] , we can prove results about congruences of Galois representations to parallel many of the results known for congruences between modular forms. The method should allow one to prove in many more cases the analog of the results in [19] and [32] , these are level raising results for modular forms, for Galois representations: this is reduced to some local computation. The local computations in the “
$(p,p)$
case” (needed for the analog of [32] ) are likely to be involved, while those in the
$\ell \ne p$
case may be easier in many cases, and could be deduced for instance from [2] when locally the residual representation at the place
$\ell $
is not scalar.
3 Compatible systems
We explain how to make the lifts
$\rho $
of Proposition 2.1 and 2.2 part of a compatible system. As in Section 3 of [31] , the proof uses the method of [53] (see proof of Theorem 6.6 of [53] ), and the refinements in [22] and [59] .
Proposition 3.1.
(i) Assume
$\overline{\rho}$
is as in Proposition 2.1 : so it is ordinary of weight
$2\le k\left(\overline{\rho}\right)\le p+1$
and
$k\left(\overline{\rho}\right)\ne p$
, and
$p>3$
. Given a minimal lift
$\rho $
of
$\overline{\rho}$
as in Proposition 2.1 , there is a (weakly) compatible system
$\left({\rho}_{\lambda}\right)$
where
$\lambda $
runs through all places of a number field
$E$
, and
$\rho $
is a member of the compatible system above the prime of
$p$
fixed by
${\iota}_{p}$
. Further
${\rho}_{\lambda}$
for
$\lambda $
above the prime
$\ell $
(
$>2$
) fixed by
${\iota}_{\ell}$
, that is not ramified in
$\overline{\rho}$
(and hence
$\ne p$
), the representation is BarsottiTate at
$\ell $
, unramified outside the primes ramified in
$\overline{\rho}$
, and the inertial WeilDeligne (WD) parameter at
$p$
of
${\rho}_{\lambda}$
(i.e., if
$(\tau ,N)$
is the WD parameter, with
$\tau $
a
$F$
semisimple representation of the Weil group and
$N$
a nilpotent matrix, we consider only
$(\tau {}_{{I}_{q}},N)$
) is the same as that of
$\rho $
at
$p$
.
(ii) Now we assume
$\overline{\rho}$
is as in Proposition 2.2 : thus
$\overline{\rho}$
does not have solvable image (but
$p=3$
is allowed), it has the behaviour at a prime
$q$
as in Proposition 2.2 , but we make the additional assumption that
$k\left(\overline{\rho}\right)=2$
. Consider a minimal lift
$\rho $
as in Proposition 2.2 , thus
$\rho $
is BarsottiTate at
$p$
, and we assume that the nebentype at
$q$
,
$\chi {\eta}_{q}^{i}$
, is nontrivial. The inertial parameter at
$q$
of
$\rho $
is
$({\omega}_{q}^{j}\oplus 1,0)$
(
$1\le j\le q2$
) where
${\omega}_{q}^{j}:=\chi {\eta}_{q}^{i}$
. There is a (weakly) compatible system
$\left({\rho}_{\lambda}\right)$
where
$\lambda $
runs through all places of a number field
$E$
, and
$\rho $
is a member of the compatible system at the place above
$p$
fixed by
${\iota}_{p}$
. Further
${\rho}_{\lambda}$
for
$\lambda $
a prime above
$q$
that is determined by
${\iota}_{q}$
, is unramified at all primes
$\ne p,q$
outside which
$\overline{\rho}$
is unramified, is unramified at
$p$
, and at
$q$
is BarsottiTate over
${\mathbb{Q}}_{q}\left({\mu}_{q}\right)$
. Assume that
$\overline{{\rho}_{\lambda}}$
has nonsolvable image. Then
$\overline{{\rho}_{\lambda}}$
has weight
$j+2$
, or its twist by
${{\overline{\chi}}_{q}}^{j}$
has weight
$q+1j$
.

Proof.
This follows from the results in [54] and [53] , using the arguments in Section 3 of [31] (see Theorem 3.1 of [31] ). The existence of a weakly compatible system $\left({\rho}_{\lambda}\right)$ , of which $\rho $ is a member, follows easily from the proof of Theorem 6.6 of [53] (which uses Brauer's theorem on writing representations of finite groups as a virtual sum of representations induced from characters of solvable subgroups, and base change results of Arthur and Clozel in [1] ). (We recall the construction of Taylor in [54] and [53] . In both (i) and (ii) we may assume that the image of $\overline{\rho}$ is nonsolvable. Then the lift $\rho $ constructed is such that there is a totally real field $F$ , Galois over $\mathbb{Q}$ , such that $\rho {}_{{G}_{F}}$ arises from a holomorphic, cuspidal automorphic representation $\pi $ of $G{L}_{2}\left({\mathbb{A}}_{F}\right)$ with respect to the embedding ${\iota}_{p}$ . Using Brauer's theorem we get subextensions ${F}_{i}$ of $F$ such that ${G}_{i}=Gal(F/{F}_{i})$ is solvable, characters ${\chi}_{i}$ of ${G}_{i}$ with values in $\overline{\mathbb{Q}}$ (that we embed in ${\overline{\mathbb{Q}}}_{p}$ using ${\iota}_{p}$ ), such that ${1}_{G}={\sum}_{{G}_{i}}{n}_{i}In{d}_{{G}_{i}}^{G}{\chi}_{i}$ .Using [1] we also get holomorphic cuspidal automorphic representations ${\pi}_{i}$ of $G{L}_{2}\left({\mathbb{A}}_{{F}_{i}}\right)$ such that if ${\rho}_{{\pi}_{i},{\iota}_{p}}$ is the representation of ${G}_{{F}_{i}}$ corresponding to ${\pi}_{i}$ w.r.t. ${\iota}_{p}$ , then ${\rho}_{{\pi}_{i},{\iota}_{p}}=\rho {}_{{G}_{{F}_{i}}}$ . Thus $\rho ={\sum}_{{G}_{i}}{n}_{i}In{d}_{{G}_{{F}_{i}}}^{{G}_{\mathbb{Q}}}{\chi}_{i}\otimes {\rho}_{{\pi}_{i},{\iota}_{p}}$ .Now for any prime $\ell $ and any embedding $\iota :\overline{\mathbb{Q}}\to {\overline{\mathbb{Q}}}_{\ell}$ , we define the virtual representation ${\rho}_{\iota}={\sum}_{{G}_{i}}{n}_{i}In{d}_{{G}_{{F}_{i}}}^{{G}_{\mathbb{Q}}}{\chi}_{i}\otimes {\rho}_{{\pi}_{i},\iota}$ of $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ with the ${\chi}_{i}$ 's now regarded as $\ell $ adic characters via the embedding $\iota $ . We check that ${\rho}_{\iota}$ is a true representation by computing its inner product. The representations ${\rho}_{\iota}$ together constitute the weakly compatible system we seek.) Thus we concentrate below on proving some of the finer ramification properties claimed for ${\rho}_{\lambda}$ at the prime of the same residue characteristic as $\lambda $ .For instance the property at $p$ asserted in (i) follows directly from Taylor's results in [54] (see Lemma 1.5 and Corollary 1.7 of it) which show that $\rho {}_{{G}_{F}}$ is modular for some $F$ that is unramified at $p$ , i.e., it arises (w.r.t. the embedding ${\iota}_{p}$ ) from a Hilbert modular form $f$ for $F$ . In fact [54] also shows that $f$ is ordinary at all primes above $p$ (w.r.t. ${\iota}_{p}$ ), and at such primes is either principal series of conductor dividing $p$ with “nebentype” ${\omega}_{p}^{k2}$ (i.e., the automorphic representation corresponding to $f$ is such that at primes $\mathcal{\wp}$ above $p$ the corresponding local component is the principal series $\pi ({\psi}_{1},{\psi}_{2})$ , with ${\psi}_{1}$ restricted to the units given by the character corresponding to ${\omega}_{p}^{k2}$ by local class field theory and ${\psi}_{2}$ unramified), or Steinberg at $p$ (the latter only in the case $k\left(\overline{\rho}\right)=p+1$ ). The reader may also consult proof of Proposition 2.5 of [31] for more details, especially in the ordinary case.We turn to proving (ii). We know by [54] and [53] that there is a totally real field $F$ (which we may assume to be Galois over $\mathbb{Q}$ ) over which $\rho {}_{{G}_{F}}$ is modular. If ${F}^{\prime}\subset F$ is the fixed field of a decomposition group above $q$ , then there is a prime $Q$ above $q$ in ${F}^{\prime}$ which is a split prime. We deduce using [1] , [10] and [52] , that $\rho {}_{{G}_{F}^{\prime}}$ , and hence ${\rho}_{\lambda}{}_{{G}_{{F}^{\prime}}}$ , arises from a Hilbert modular form $f$ which locally at $Q$ is a ramified principal series of conductor $Q$ , whose nebentypus at $Q$ is ${\omega}_{q}^{j}:=\chi {\eta}_{q}^{i}$ . This also proves the assertion about the inertial parameter of $\rho $ at $q$ .We now focus on the properties of ${\rho}_{\lambda}$ asserted at $q$ (as outside $q$ the proof is the same as in Section 3 of [31] ).(We may assume that $F$ is of even degree over $\mathbb{Q}$ as we are done otherwise by [41] .) We first prove that ${\rho}_{\lambda}$ when restricted to ${\mathbb{Q}}_{q}\left({\mu}_{q}\right)$ is BarsottiTate (which uses the assumption that $\chi {\eta}_{q}^{i}$ is nontrivial). To see this, we work over a totally real field ${F}^{\prime \prime}$ that is a solvable extension of $\mathbb{Q}$ which when completed at all places above $q$ is ${\mathbb{Q}}_{q}\left({\mu}_{q}\right)$ (see Lemma 2.2 of [55] ), and apply to $\left({\rho}_{\lambda}{}_{{G}_{{F}^{\prime \prime}}}\right)$ the same arguments as those in proof of Theorem 3.1 of [31] for $\left({\rho}_{\lambda}\right)$ , but instead of using Théorème 1 (ii) of [5] we use a result of [37] (see Proposition 2.3.1), which we may as we are in the weight 2 case. (Recall that $\rho {}_{{G}_{{F}^{\prime}}}$ arises from a weight 2 Hilbert modular form $f$ for $G{L}_{2}\left({\mathbb{A}}_{{F}^{\prime}}\right)$ that when base changed to the composite ${F}^{\prime}{F}^{\prime \prime}$ of ${F}^{\prime}$ and ${F}^{\prime \prime}$ , which is a solvable extension of ${F}^{\prime}$ , becomes unramified at places above $q$ .This uses results of [54] , [53] , [10] , [52] , [1] as in Section 3 of [31] . This then gives the required statement by deducing that ${\rho}_{\lambda}{}_{{G}_{{F}^{\prime \prime}{F}^{\prime}}}$ mod ${\lambda}^{n}$ is finite flat at primes above $q$ by Théorème 1 (i) of [5] , and then using Proposition 2.3.1 of [37] , instead of using Théorème 1 (ii) of [5] which got used in proof of Theorem 3.1 of [31] . Note that the completion at a prime above $Q$ of ${F}^{\prime}{F}^{\prime \prime}$ is ${\mathbb{Q}}_{q}\left({\mu}_{q}\right)$ .) Now assume that the image of ${\overline{\rho}}_{\lambda}$ is nonsolvable. It is not hard to see that ${\overline{\rho}}_{\lambda}{}_{{G}_{{F}^{\prime}}}$ , which we know is modular, also arises from a Hilbert modular form ${f}^{\prime}$ , congruent to $f$ mod place fixed by ${\iota}_{q}$ , that is square integrable at a finite place $\alpha $ and at $Q$ of conductor $Q$ and of nebentypus $\chi {\eta}_{q}^{i}$ at $Q$ . (To get such a ${f}^{\prime}$ congruent to $f$ is standard: We use the level raising techniques of [52] , using the proof of Theorem 2 of loc. cit. to find a $\alpha $ , prime to $q$ , such that using notation of Theorem 1 of loc. cit. the valuation under ${\iota}_{p}$ of ${\Theta}_{f}({T}_{\alpha}^{2}{S}_{\alpha}(\mathbb{N}\alpha +1{)}^{2})$ is bigger than that of ${E}_{f}\left(\right(\mathbb{N}\alpha +1\left)\right)$ (for instance $\mathbb{N}$ stands for the norm from ${F}^{\prime}$ to $\mathbb{Q}$ ). Then we prove the existence of the desired ${f}^{\prime}$ which is square integrable at a finite place $\alpha $ and at $Q$ is fixed by ${U}_{1}\left(Q\right)$ which gives rise to ${\overline{\rho}}_{\lambda}{}_{{G}_{{F}^{\prime}}}$ , using the proof of Theorem 1 of loc. cit. with $\lambda =\alpha $ in the notation there. That ${f}^{\prime}$ has nebentype ${\omega}_{q}^{j}=\chi {\eta}_{q}^{i}$ at $Q$ follows by considering determinants and central characters.) Then we use the results of [41] to conclude that at $Q$ the inertial WD parameter of ${\rho}_{\lambda}{}_{{G}_{{F}^{\prime}}}$ is the same as that of $\rho {}_{{G}_{{F}^{\prime}}}$ which we know to be $({\omega}_{q}^{j}\oplus 1,0)$ (note that as $Q$ is a split prime of ${F}^{\prime}$ , local information at $Q$ of ${\rho}_{\lambda}{}_{{G}_{{F}^{\prime}}}$ gives the local information of ${\rho}_{\lambda}$ at $q$ ). After this, to get the information about weights, we use Proposition 6.1.1 of [7] and Theorem 6.11 of [43] , as we have that ${\rho}_{\lambda}{}_{{G}_{{F}^{\prime}}}$ is irreducible by Lemma 2.6 of [31] . □
4 Chebyshev's estimates on primes
In the proof of Theorem 1.1 below, we will need some estimates on prime numbers proven by Chebyshev (we learnt about the following precise form of Chebyshev's estimate from a message of JP. Serre, and from R. Ramakrishna). If
$\pi \left(x\right)$
is the prime counting function, then if
$x>30$
$$A\left(\frac{x}{log\left(x\right)}\right)\le \pi \left(x\right)\le B\left(\frac{x}{log\left(x\right)}\right)$$
where
$A=0.921...$
and
$\frac{B}{A}$
is
$\frac{6}{5}=1.2$
(see [13] and [14] , and also page 21 of [26] ). From this we easily deduce that if we fix a real number
$a>1.2$
, and denote by
${p}_{n}$
the
$n$
th prime which we assume
$>max(30,{a}^{\frac{6}{5a6}})$
, then
${p}_{n+1}\le a{p}_{n}$
.
In the arguments below this estimate will be relevant for particular values of
$a$
. Given
${p}_{n}>2$
we consider an odd (prime power) divisor
${\ell}^{r}=2m+1$
of
${P}_{n+1}1$
, where
${P}_{n+1}$
is either
${p}_{n+1}$
, or
${p}_{n+2}$
if
${p}_{n+1}$
is a Fermat prime, and divide the integers in the interval
$[0,{P}_{n+1}1]$
into blocks of size
$\frac{{P}_{n+1}1}{{\ell}^{r}}$
. We need to ensure that
${p}_{n}+1\ge max\left(\frac{m+1}{2m+1}\right({P}_{n+1}1)+2,{P}_{n+1}(\frac{m}{2m+1}({P}_{n+1}1)\left)\right)$
. A computation shows that this is ensured by requiring that
$$\frac{{P}_{n+1}}{{p}_{n}}\le \frac{2m+1}{m+1}\left(\frac{m}{m+1}\right)\left(\frac{1}{{p}_{n}}\right).$$
We consider
${p}_{n}\ge 31$
.
An inspection shows that there is always a
${P}_{n+1}$
as required up to
${p}_{n}=1000$
: use
$a$
in the Chebyshev estimate to be
$\frac{44}{30}=\frac{3}{2}\frac{1}{30}$
and rule out Fermat primes causing problems in that range (the only ones are
$5,17,257$
and for
${p}_{n}=251$
, the prime preceding
$257$
, we can use
${P}_{n+1}=263$
). After that the Chebyshev estimate used with
$a=\sqrt{1.499}$
(note
$1.499=\frac{3}{2}\frac{1}{1000}$
, and that after
$3,5$
no two successive primes can both be Fermat primes) gives the existence of
${P}_{n+1}$
of the required kind if
${p}_{n}$
is at least
$21591$
. For primes
$1000<{p}_{n}\le 21591$
we can again get the desired prime
${P}_{n+1}$
using
$a=\frac{44}{30}$
as there are no Fermat primes in this range. Thus we conclude that we always have a
${P}_{n+1}$
as desired once
${p}_{n}\ge 31$
.
(We thank BoHae Im and Faheem Mitha for help with the calculations of this section.)
5 Four lemmas
We have the following lemma which we owe, together with its proof which we reproduce verbatim, to Wintenberger (it was in an early version of [31] ). Below by a mod
$p$
representation
$\overline{\rho}$
being semistable we mean that for all the primes ramified in
$\overline{\rho}$
that are
$\ne p$
, the ramification is unipotent, and by
$\overline{\rho}$
being dihedral we mean its projective image is a dihedral group.
Lemma 5.1.
(Wintenberger) (i) A mod
$p$
dihedral, semistable representation
$\overline{\rho}$
which is odd and irreducible, with
$p$
odd, exists if and only if
$p$
is 3 mod
$4$
, and the class number of the imaginary quadratic field
$\mathbb{Q}\left(\sqrt{p}\right)$
is nontrivial (i.e.,
$p$
is 3 mod 4 and
$p\ne 3,7,11,19,43,67,163$
). Such a
$\overline{\rho}$
is split at
$p$
and has a twist with Serre weight
$k=\frac{p+1}{2}$
. (ii) If
$\overline{\rho}$
is a dihedral representation induced from the quadratic subfield of
$\mathbb{Q}\left({\mu}_{p}\right)$
, and
$\overline{\rho}$
is locally irreducible at
$p$
of weight at most
$p+1$
, then its weight is
$\frac{p+3}{2}$
.
Remark: We use part (i) of Lemma 5.1 only to deduce that a dihedral
$\overline{\rho}$
which is unramified outside
$p$
is up to twist ordinary at
$p$
. Note that once we know that in the proof
$t$
is odd, we can also see this by deducing that locally at
$p$
the fixed field of the kernel of
$\overline{\rho}$
cannot have an unramified quadratic subfield.

Proof.
(i) First note that such a dihedral
$\overline{\rho}$
is unramified outside
$p$
. Let the projective image $H$ of $\overline{\rho}$ be a dihedral group ${D}_{2t}$ of order $2t$ , $t>1$ . As $H$ has order prime to $p$ , the image of inertia ${I}_{p}$ in $H$ is cyclic : denote by ${\tau}_{p}$ a generator of the image of ${I}_{p}$ in $H$ , and by ${i}_{p}$ the order of ${\tau}_{p}$ . Note that $t$ is odd. For if $t$ were even, ${D}_{2t}$ would have a quotient which is $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ which would give a character of order $2$ unramified everywhere. As $t$ is odd, ${D}_{2t}$ has only one character of order $2$ , say $\eta $ . It corresponds to a quadratic field $K$ which is ramified at $p$ . As $\eta \left({\tau}_{p}\right)=1$ , and $t$ is odd, ${\tau}_{p}$ is of order $2$ . Let $L$ be the field cut up by the representation of $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ in $H$ . Then $L/K$ is unramified everywhere.Let $c\in Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ be a complex conjugation. As $\overline{\rho}$ is odd, $c$ has non trivial image $\gamma $ in $H$ . As $t$ is odd, $\eta \left(\gamma \right)\ne 1$ and the quadratic field $K$ is imaginary. This implies $p\equiv 3$ modulo $4$ , and that $t$ is a divisor of ${h}_{K}$ , the class number of $K$ (which is known to be odd). Let ${\Delta}_{p}$ be the image of the decomposition group at $p$ in $H$ . As ${\Delta}_{p}$ is a quotient of the Galois group of ${\mathbb{Q}}_{p,unr}\left(\sqrt{p}\right)/{\mathbb{Q}}_{p}$ (wher ${\mathbb{Q}}_{p,nr}$ is the maximal unramified extension of ${\mathbb{Q}}_{p}$ ), ${\Delta}_{p}$ is abelian. As the subgroup ${\Gamma}_{p}$ of $H$ of order $2$ generated by ${\tau}_{p}$ is its own centralizer ( $t$ is odd), one sees that ${\Delta}_{p}={\Gamma}_{p}$ .This implies that $\overline{\rho}\left({D}_{p}\right)$ is abelian.Thus ${I}_{p}$ acts under $\overline{\rho}$ via characters of level $1$ . Let us assume that we have twisted $\overline{\rho}$ by the suitable power of the cyclotomic character so that the Serre weight $k$ of $\rho $ satisfies $2\le k\le p+1$ . Then ${I}_{p}$ acts with characters $1$ and ${\chi}_{p}^{k1}$ . As the image of ${I}_{p}$ in $H$ is of order $2$ , one has $k1=\frac{p1}{2}$ and $k=\frac{p+1}{2}$ . (ii) This follows because the image of inertia ${I}_{p}$ in the projective image of $\overline{\rho}$ , which we know to be cyclic, is forced to be of order 2. □
We also have a useful lemma which follows immediately from Serre's definition of weights:
Lemma 5.2.
Assume
$\tau :{G}_{{\mathbb{Q}}_{p}}\to G{L}_{2}(\mathbb{F})$
is such that its weight
$k\ne 2$
is
$<p$
. Then if
$\tau $
is irreducible, and
$k1=p{k}^{\prime}$
with
${k}^{\prime}$
nonnegative,
$\tau \otimes {\overline{{\chi}_{p}}}^{{k}^{\prime}}$
has weight
${k}^{\prime}+2=p+3k$
. If
$\tau {}_{{I}_{p}}$
is split,
$\tau \otimes {\overline{{\chi}_{p}}}^{1k}$
has weight
$p+1k$
.
The following lemma is crucial for us and is due to Breuil and Mézard, [7] , Proposition 6.1.1, and Savitt, [43] , Theorem 6.11:
Lemma 5.3.
If a representation
$\rho :{G}_{{\mathbb{Q}}_{p}}\to G{L}_{2}\left(O\right)$
becomes BarsottiTate over
${\mathbb{Q}}_{p}\left({\mu}_{p}\right)$
, then if residually the representation is reducible, then
$\rho $
itself is reducible. More precisely, a twist of
$\rho $
by some power of
${\omega}_{p}$
(the Teichmuller lift of
${\overline{\chi}}_{p}$
) is ordinary.
Remark: The particular case of the lemma above for representations arising from modular forms is in Proposition 8.13 of [29] or Section 6 of [25] . A nonordinary newform in
${S}_{2}\left({\Gamma}_{1}\right(Np\left)\right)$
which gives rise to a
$\overline{\rho}$
that is reducible at
$p$
is such that its
$p$
th Hecke eigenvalue
${a}_{p}$
has valuation 1 and its complex conjugate form is ordinary. Further, if a mod
$p$
newform in
${S}_{2}\left({\Gamma}_{1}\right(Np\left)\right)$
(
$(N,p)=1$
) has nebentype at
$p$
given by
${\overline{{\chi}_{p}}}^{j}$
(
$0\le j\le p2$
), then the associated mod
$p$
representation either has Serre weight
$j+2$
or its twist by
${\overline{{\chi}_{p}}}^{j}$
has weight
$p+1j$
. (We are grateful to Bas Edixhoven for helpful correspondence about this.) The following lemma is a simple consequence of modularity lifting theorems of [58] , [57] , [48] , [49] , [24] , [54] ,[53] and the work in [4] .
Lemma 5.4.
Let
$p$
be an odd prime. If
$\rho :{G}_{\mathbb{Q}}\to G{L}_{2}\left(O\right)$
is an irreducible
$p$
adic representation unramified outside
$p$
and at
$p$
crystalline of Hodge Tate weights
$(k1,0)$
with
$k$
even and
$2\le k\le p+1$
, and if the residual representation
$\overline{\rho}$
is modular, then
$\rho $
arises from
${S}_{k}\left(S{L}_{2}\right(\mathbb{Z}\left)\right)$
.
Remark: Using [4] it must be easy to prove a lifting theorem when at
$p$
the lifts are crystalline of weight
$p+1$
even without assuming that the lift is unramified outside
$p$
. As we do not need it in this paper, we do not do this. Note that oddness of the residual representation forces
$k$
to be even (see Proposition 2 and Corollary 2 of [59] ).
 Proof. Using Lemma 5.1 we see that if $\overline{\rho}$ is irreducible, and restricted to ${G}_{\mathbb{Q}\left(\sqrt{(1{)}^{\frac{p1}{2}}}p\right)}$ is reducible, then $\overline{\rho}{}_{{I}_{p}}$ is ordinary and distinguished. Thus the only case of the lemma not covered in the literature (see [58] , [57] , [48] , [49] ,[24] ) is when $\rho $ is possibly of weight $p+1$ and is not ordinary. In fact this case does not occur, as using Corollary 4.1.3 of [4] , we see that in this case the residual representation is such that $\overline{\rho}{}_{{D}_{p}}$ is irreducible and of Serre weight 2. But this contradicts the fact that there is no Serretype $\overline{\rho}$ of level 1 and weight 2 proved in Theorem 4.1 of [31] . □
Corollary 5.5.
(i) Given an odd prime
$p$
, if all 2dimensional, mod
$p$
, odd, irreducible representations
$\overline{\rho}$
of a given weight
$k\left(\overline{\rho}\right)=k\le p+1$
, and unramified outside
$p$
, are known to be modular, then for any prime
$q\ge k1$
, all 2dimensional, mod
$q$
, odd, irreducible representations
${\overline{\rho}}^{\prime}$
of weight
$k\left({\overline{\rho}}^{\prime}\right)=k$
, and unramified outside
$q$
, are modular.
(ii) If the level 1 case of Serre's conjecture is known for a prime
$p>2$
, then for any prime
$q$
the level 1 case of Serre's conjectures is known for all 2dimensional, mod
$q$
, odd, irreducible representations
$\overline{\rho}$
of weight
$k\left(\overline{\rho}\right)\le p+1$
.
 Proof. This is proved implicitly in [31] . It is enough to prove the first statement. We may assume $q>3$ . By Theorem 2.1 of [31] lift ${\overline{\rho}}^{\prime}$ to a representation ${\rho}^{\prime}$ which is unramified outside $q$ and crystalline at $q$ of weight $k$ . By Theorem 3.1 of loc. cit. , ${\rho}^{\prime}$ is part of a compatible system $\left({\rho}_{\lambda}^{\prime}\right)$ such that at a place $\lambda $ above $p$ the representation is unramified outside $p$ and crystalline of weight $k$ at $p$ . The hypothesis of the corollary and Lemma 5.4 , then gives the modularity of $\left({\rho}_{\lambda}^{\prime}\right)$ and hence that of ${\overline{\rho}}^{\prime}$ . □
6 Proof of Theorem 1.1
6.1 Small weights
We now prove our main theorem up to weights 32. (We do not really have to do so many weights before giving the general argument, but this seems good preparation for that and also verification of the general strategy in concrete cases.) When we choose a place
$\lambda $
above a prime
$\ell $
this is always chosen to be with respect to the embedding
${\iota}_{\ell}:\overline{\mathbb{Q}}\mathbb{\hookrightarrow}\overline{\mathbb{Q}\ell}$
fixed once and for all a while ago.
For weights 2,4,6 this has already been proved in [31] . Although the cases of weights 8,12,14 are also done in [31] we redo them to illustrate that after weight 6 our inductive method takes over. Our arguments below prove that the
$\overline{\rho}$
being considered arises from some level and weight, and then that it arises from weight
$k\left(\overline{\rho}\right)$
and level
$N\left(\overline{\rho}\right)=1$
follows from the results in [38] , [25] . (Also note that the Serre weight in all cases considered is even and so the residual mod
$p$
representations when restricted to
${I}_{p}$
are never scalar. We often use the fact implicitly below that if
$\overline{\rho}$
is modular so is any twist of it by an abelian character, and the same fact for twists of
$p$
adic representations
$\rho $
by finite order characters.) – Consider the weight 8 case. It's enough to prove using Corollary 5.5 that an irreducible
$2$
dimensional, mod
$7$
representation
$\overline{\rho}$
of level
$1$
and weight
$8$
is modular. (If the image is solvable we are done.) Such a representation is ordinary at
$7$
. By Proposition 2.1 , lift
$\overline{\rho}$
to a weight 2, semistable at
$7$
,
$7$
adic representation
$\rho $
that is unramified outside
$7$
. Using part (i) of Proposition 3.1 get a compatible system
$\left({\rho}_{\lambda}\right)$
and reduce it mod a prime above 3 determined by
${\iota}_{3}$
to get
${\overline{\rho}}^{\prime}$
. Note that by Proposition 3.1 (i),
$k\left({\overline{\rho}}^{\prime}\right)=2$
, and
${\overline{\rho}}^{\prime}$
is unramified outside 3 and 7. If
${\overline{\rho}}^{\prime}$
has solvable image we are done, as in that case we have a representation to which we can apply known modularity lifting results to conclude that the compatible system
${\rho}_{\lambda}$
is modular ([58] , [57] , [48] , [49] ) and hence so is
$\overline{\rho}$
: these modularity lifting results may be applied as by part (ii) of Lemma 5.1 ,
${\overline{\rho}}^{\prime}$
cannot be both reducible when restricted to
${G}_{\mathbb{Q}\left(\sqrt{3}\right)}$
and irreducible locally at
$3$
. Similarly if
${\overline{\rho}}^{\prime}$
is unramified at
$7$
we are again done as we know by page 710 of [45] that the residual mod
$3$
representation is then reducible. Otherwise use Proposition 2.2 , to get a 3adic lift
${\rho}^{\prime}$
of
${\overline{\rho}}^{\prime}$
with nebentype
${\omega}_{7}^{2}$
at 7 (
${\omega}_{7}^{4}$
would also work). Then use Proposition 3.1 to get a compatible system
$\left({\rho}_{\lambda}^{\prime}\right)$
with
${\rho}^{\prime}$
the member of this compatible system at the place corresponding to
${\iota}_{3}$
, and consider a residual representation
${\overline{\rho}}_{7}^{\prime}$
arising from this system at a place
$\lambda $
above 7 fixed by
${\iota}_{7}$
. We know by Lemma 5.3 (Proposition 6.1.1 of [7] ) that if the residual mod
$7$
representation
${\overline{\rho}}_{7}^{\prime}$
locally at
$7$
is reducible then the
$7$
adic representation is also locally reducible. Thus in this case up to twisting by a power of
${\omega}_{7}$
we may assume the
$7$
adic representation is ordinary at
$7$
by Proposition 6.1.1 of [7] : the representation will also be
${I}_{7}$
distinguished as the residual weights are even.
If
${\overline{\rho}}_{7}^{\prime}$
has solvable image, and hence known to be modular, we are done by applying results of [48] , [49] and [33] , which can be applied as in the ordinary cases the representation will be
${I}_{7}$
distinguished (and that in the dihedral case the representation is ordinary at
$7$
by part (i) of Lemma 5.1 ), and we conclude that
$\left({\rho}_{\lambda}^{\prime}\right)$
is modular.
Now assume that
${\overline{\rho}}_{7}^{\prime}$
has nonsolvable image. We get a residual representation whose Serre weight (up to twisting) is either 4 or
$7+34=6$
by Proposition 6.1.1 of [7] , Theorems 6.11 and 6.12 of [43] (as explained in Proposition 3.1 (ii)), and we know the residual modularity for such weights (in fact we also know that in these cases again that
${\overline{\rho}}_{7}^{\prime}$
is reducible, although for uniformity of treatment we do not use this).
Now we again use modularity lifting results in [48] , [49] , [33] as we just used and conclude that
$\left({\rho}_{\lambda}^{\prime}\right)$
is modular.
Hence so is the residual representation
${\overline{\rho}}^{\prime}$
, and hence by another application of modularity lifting theorem we conclude that the first compatible system
$\left({\rho}_{\lambda}\right)$
is modular (as the compatible systems
$\left({\rho}_{\lambda}\right)$
and
$\left({\rho}_{\lambda}^{\prime}\right)$
are linked at the place above 3 fixed by
${\iota}_{3}$
), and hence so is
$\overline{\rho}$
(which in this case means that it does not exist!).
(Now we will be more succinct, and skimp some of the details before we get to the general arguments of the next section, as it's much of the same thing!) – Weights 10 and 12: Consider a representation
$\overline{\rho}$
mod 11 that is irreducible and of weight 10 or 12. Its enough by Corollary 5.5 to prove this to be modular to conclude that for any prime at least 11, any
$\overline{\rho}$
of level 1 and weight 10 or 12 is modular. (If the image is solvable we are done.) By Lemma 5.2 locally at 11 we may assume that the representation is (non semisimple and) ordinary, and hence we get a weight 2 minimal lifting
$\rho $
unramified outside 11. Then by Propositions 2.1 and 3.1 make
$\rho $
part of a compatible system
$\left({\rho}_{\lambda}\right)$
, such that the representation in the system corresponding to
${\iota}_{11}$
is
$\rho $
, and then consider the residual representation
$\overline{{\rho}_{5}}$
at a prime
$\lambda $
above 5 fixed by
${\iota}_{5}$
. We are done if the image of
$\overline{{\rho}_{5}}$
is solvable (or unramified at 11 and hence solvable by the weight 2, level 1 case proved in [31] ) arguing just as in the previous case. Otherwise using Proposition 2.2 construct lift of
$\overline{{\rho}_{5}}$
with nebentype
${\omega}_{11}^{4}$
(
${\omega}_{11}^{6}$
would also work) at 11, and we can do this for either of the 2 weights 10 or 12 being considered. Argue as before and get a compatible system
$\left({\rho}_{\lambda}^{\prime}\right)$
which residually at the prime above 11 fixed by
${\iota}_{11}$
will have weight (up to twisting by some power of
${\overline{\chi}}_{11}$
) either 6 or 8 (the same weights if we had chosen lifting with nebentype
${\omega}_{11}^{6}$
when applying Proposition 2.2 ), and then we are done as before.
–Weights
$14,16,18,20$
: It will be enough to show that a mod
$19$
representation
$\overline{\rho}$
(irreducible, odd,
$2$
dimensional of level one as always) of any of these weights is modular. (If the image is solvable we are done.) As we have dealt with weights up to
$12$
, we may assume by Lemma 5.2 that
$\overline{\rho}$
is ordinary at
$19$
. We again construct a weight 2 minimal lift
$\rho $
of
$\overline{\rho}$
and get a compatible system
$\left({\rho}_{\lambda}\right)$
(by Propositions 2.1 and 3.1 (i)) and consider a residual representation at the place above
$3$
determined by
${\iota}_{3}$
(again we are done if the residual mod 3 representation has either solvable image or is unramified at 19), and apply Proposition 2.2 to get a lifting
${\rho}^{\prime}$
of the mod 3 representation that is unramified outside
$3,19$
, BarsottiTate at 3, and has nebentype
${\omega}_{19}^{8}$
at 19 (
${\omega}_{19}^{10}$
would also work). Then make it part of a compatible system
$\left({\rho}_{\lambda}^{\prime}\right)$
(using Proposition 3.1 (ii)) which residually at a prime above 19 will have weight (up to twisting by some power of
${\overline{\chi}}_{19}$
) either 10 or 12 (the same if the nebentype
${\omega}_{19}^{10}$
had been chosen). Again we can argue as before, knowing Serre's conjecture in level 1 for weights 10 and 12, and we are done.
– Weights
$22,24,26,28,30$
: It will be enough to show that a mod 29 representation
$\overline{\rho}$
(irreducible, odd, 2dimensional of level one as always) of any of these weights is modular. (If the image is solvable we are done.) As we have dealt with weights up to 20, we may assume by Lemma 5.2 that
$\overline{\rho}$
is ordinary at 29. This time we lift
$\overline{\rho}$
to a minimal lift
$\rho $
of weight 2 (by Proposition 2.1 ), make
$\rho $
part of a compatible system
$\left({\rho}_{\lambda}\right)$
(by Proposition 3.1 (i)) and consider a residual representation at a prime above 7 determined by
${\iota}_{7}$
(that we may assume is ramified at
$29$
and has nonsolvable image). Apply Proposition 2.2 to get a lifting
${\rho}^{\prime}$
of the mod
$7$
representation that is unramified outside
$3,19$
, BarsottiTate at
$7$
, and has nebentype
${\omega}_{29}^{16}$
at 29 when the weight is one of 22,26,30, or nebentype
${\omega}_{29}^{14}$
at 29 when the weight is 24 or 28. Using Proposition 3.1 (ii) make it part of a compatible system
$\left({\rho}_{\lambda}^{\prime}\right)$
which residually at a prime above 29 will have weight (up to twisting by some power of
${\overline{\chi}}_{29}$
) 18 or 14 (if the weight of
$\overline{\rho}$
is one of 22,26,30), or weight 16 (if the weight of
$\overline{\rho}$
was either 24 or 28). Again we can argue as before, knowing Serre's conjecture in level 1 for weights 14,16,18, and we are done.
– Weight 32: It will be enough to show that a mod 31 representation
$\overline{\rho}$
(irreducible, odd, 2dimensional of level one as always) of weight 32 is modular. (If the image is solvable we are done.) It's the same argument as before. We use as a foil the prime 5, and in the end construct a weight 2 compatible system
$\left({\rho}_{\lambda}^{\prime}\right)$
, whose modularity yields that of
$\overline{\rho}$
, of nebentype
${\omega}_{31}^{16}$
at 31 such that at a prime above 31 the residual representation has weight (up to twisting by some power of
${\overline{\chi}}_{31}$
) either 18 or 16. As we know Serre's conjecture in level 1 for these weights we can conclude.
6.2 The general argument
Now we give the general argument (which the reader must surely have guessed the gist of ). This, together with the previous section, will prove Theorem 1.1 .
Assume we have proven the level 1 case of Serre's conjecture mod
${p}_{n}$
where
${p}_{n}$
is a prime
$\ge 31$
. This implies by Corollary 5.5 (ii) that for any prime
$q$
we know Serre's conjecture for any level 1 mod
$q$
representation
$\overline{\rho}$
that is odd, irreducible, 2dimensional of weight
$k\left(\overline{\rho}\right)\le {p}_{n}+1$
.
By the arguments in Section 4 , we can find a prime
${P}_{n+1}>{p}_{n}$
, which is not a Fermat prime, and an odd prime power
${\ell}^{r}=2m+1$
that divides
${P}_{n+1}1$
exactly such that
(This inequality holds for any integer
$m\ge 1$
.) Consider any weight
$k$
such that
${p}_{n}+2\le k\le {P}_{n+1}+1$
: given such a
$k$
we would like to prove that any 2dimensional irreducible, odd, mod
${P}_{n+1}$
representation
$\overline{\rho}$
of
$Gal(\overline{\mathbb{Q}}/\mathbb{Q})$
of level 1 and weight
$k\left(\overline{\rho}\right)=k$
is modular. By Corollary 5.5 , this will prove Serre's level 1 conjecture for any 2dimensional, odd irreducible, mod
$q$
representation of Serre weight
$k$
, where
$q\ge k1$
, and also the level 1 conjecture mod all primes
$\le {P}_{n+1}$
once we have done this for all weights
${p}_{n}+2\le k\le {P}_{n+1}+1$
. Then we continue with
${P}_{n+1}$
, treating it like
${p}_{n}$
etc. We denote
${P}_{n+1}$
by
$p$
for notational simplicity. (This is the inductive method to attack the level 1 case of Serre's conjecture proposed in Theorem 5.1 of [31] .) By Lemma 5.2 , and as we know the conjecture for weights
$\le {p}_{n}+1$
, and using ( 1 ), we can assume that
$\overline{\rho}$
is ordinary at
$p$
. Construct a minimal weight 2 lift
$\rho $
of
$\overline{\rho}$
using Proposition 2.1 . (If
$\overline{\rho}$
is solvable we already know its modularity, so we may assume it is not, although we need not.) This lift is unramified outside
$p$
and minimal of weight 2 at
$p$
. Using part (i) of Proposition 3.1 make it part of a compatible system
$\left({\rho}_{\lambda}\right)$
, so that for a place above
$p$
fixed by the embedding
${\iota}_{p}$
the corresponding representation is
$\rho $
. Now reduce the system modulo a prime
$\lambda $
above
$\ell $
with
$\lambda $
determined by the embedding
${\iota}_{\ell}$
. Denote the residual mod
$\ell $
representaion by
${\overline{\rho}}_{\ell}$
, and note that by part (i) of Proposition 3.1 ,
$k\left({\overline{\rho}}_{\ell}\right)=2$
. If
${\overline{\rho}}_{\ell}$
had solvable image we would be done.
$$\begin{array}{c}\frac{{P}_{n+1}}{{p}_{n}}\le \frac{2m+1}{m+1}\left(\frac{m}{m+1}\right)\left(\frac{1}{{p}_{n}}\right).\end{array}$$  (1) 
This is because by Lemma 5.1 (i), in the case when the representation
${\overline{\rho}}_{\ell}$
restricted to
${G}_{\mathbb{Q}\left(\sqrt{(1{)}^{\frac{\ell 1}{2}}\ell}\right)}$
is reducible,
${\overline{\rho}}_{\ell}{}_{{D}_{\ell}}$
is ordinary (as
$\ell >2$
and hence
$\frac{\ell +3}{2}$
$>2$
), and in the cases when either this happens or
${\overline{\rho}}_{\ell}$
is reducible, and thus ordinary at
$\ell $
,
${\overline{\rho}}_{\ell}$
restricted to
${I}_{\ell}$
is distinguished.
As
$\ell $
is an odd prime, this allows us to apply the modularity lifting theorems proved in [58] , [57] , [48] and [49] , to prove the modularity of
${\rho}_{\lambda}$
and hence of
$\overline{\rho}$
. If the mod
$\ell $
representation were unramified at
$p$
, using the result in [31] for weight 2, we would see that the representation is reducible and again we would be done.
Otherwise apply Proposition 2.2 (with
$p$
of that proposition, the present
$\ell $
, and the
$q$
there the present
$p$
!) to choose a lifting
${\rho}^{\prime}$
of this residual mod
$\ell $
representation
${\overline{\rho}}_{\ell}$
, unramified outside
$\ell ,p$
, BarsottiTate at
$\ell $
, and such that the nebentype at
$p$
is
${\omega}_{p}^{j}$
with
$j$
in the interval
$\left(\frac{m}{2m+1}\right(p1),\frac{m+1}{2m+1}(p1\left)\right]$
(recall that we have set
${\ell}^{r}=2m+1$
).
Using part (ii) of Proposition 3.1 , make
${\rho}^{\prime}$
part of a compatible system
$\left({\rho}_{\lambda}^{\prime}\right)$
and consider a place above
$p$
determined by the embedding
${\iota}_{p}$
. We get a
$p$
adic representation
${\rho}^{\prime \prime}$
at that place that is unramified outside
$p$
, and such that at
$p$
the representation is BarsottiTate over (the degree
$\frac{p1}{2}$
subfield of )
${\mathbb{Q}}_{p}\left({\mu}_{p}\right)$
by part (ii) of Proposition 3.1 .
Now note that if the representation residually, say
${\overline{\rho}}^{\prime \prime}$
, were reducible locally at
$p$
, then
${\rho}^{\prime \prime}$
at
$p$
itself would be ordinary up to twisting by a power of
${\omega}_{p}$
by Lemma 5.3 above (which is a consequence of Proposition 6.1.1 of [7] , and Theorems 6.11 of [43] ), and would also have distinct characters on the diagonals when restricted to
${I}_{p}$
(as the weight is even), i.e., is
${I}_{p}$
distinguished.
Further if
${\overline{\rho}}^{\prime \prime}$
had solvable image, then as by Lemma 5.1 above we know that if
${\overline{\rho}}^{\prime \prime}$
is reducible when restricted to
${G}_{\mathbb{Q}\left(\sqrt{(1{)}^{\frac{p1}{2}}p}\right)}$
then it's ordinary at
$p$
, and also
${I}_{p}$
distinguished, we can apply the modularity lifting theorems of [48] ,[49] and [33] to conclude the modularity of
${\rho}^{\prime \prime}$
. The main theorem of [33] is used in the nonordinary case, when we invoke a modularity lifting result when the lift is potentially BarsottiTate at
$p$
over a tamely ramified extension, in fact over
${\mathbb{Q}}_{p}\left({\mu}_{p}\right)$
, and the residual representation is irreducible when restricted to
${G}_{\mathbb{Q}\left(\sqrt{(1{)}^{\frac{p1}{2}}}p\right)}$
.
So we can now assume that
${\overline{\rho}}^{\prime \prime}$
has nonsolvable image. We see by the last line of part (ii) of Proposition 3.1 , that
$k\left({\overline{\rho}}^{\prime \prime}\right)$
is either
$j+2$
or
$k({\overline{\rho}}^{\prime \prime}\otimes {\overline{\chi}}_{p}^{j})=p+1j$
. Note that by our choice of
$j$
,
$j+2$
is contained in in the interval
$\left(\frac{m}{2m+1}\right(p1)+2,(\frac{m+1}{2m+1}\left)\right(p1)+2]$
and
$p+1j$
is in the interval
$[p+1(\left(\frac{m+1}{2m+1}\right)(p1)),p+1(\left(\frac{m}{2m+1}\right)(p1)\left)\right)$
. But ( 1 ) gives that both these intervals are contained in the interval
$[2,{p}_{n}+1]$
as noted in Section 4 . Hence we know the modularity of
${\overline{\rho}}^{\prime \prime}$
as we know by hypothesis the modularity of irreducible, mod
$p$
, odd, 2dimensional, unramified outside
$p$
representations of weights
$\le {p}_{n}+1$
. We can now apply the modularity lifting theorems of [33] to conclude that
${\rho}^{\prime \prime}$
is modular. Thus the compatible system
$\left({\rho}_{\lambda}^{\prime}\right)$
is modular. Note that
$\left({\rho}_{\lambda}\right)$
and
$\left({\rho}_{\lambda}^{\prime}\right)$
are linked at the prime above
$\ell $
determined by
${\iota}_{\ell}$
, i.e., at the prime above
$\ell $
fixed by
${\iota}_{\ell}$
, the residual representations arising from the 2 systems are isomorphic (and have nonsolvable image). Thus applying the modularity lifting theorems which were the first ones to be proven, i.e., in [58] and [57] , we conclude that
$\left({\rho}_{\lambda}\right)$
is modular. Hence
$\overline{\rho}$
is modular of some weight
$k$
and level, and then of weight
$k\left(\overline{\rho}\right)$
and level 1 by [38] , [25] .
Remark: It will be of interest to see, both in [31] and the present paper, if the residually solvable cases can also be handled internally by the method of the papers themselves, rather than using the fact that Serre's conjecture is known for them.
We also remark that the proof does use an auxiliary prime
$\ell \ne p$
, but no ramification is introduced at this prime, unlike in the more traditional use of auxiliary primes.
7 Corollaries
7.1 Proof of corollaries
The case of
$q=2$
of Corollary 1.2 is dealt with in Theorem 4.1(ii) of [31] . (The case
$p=3$
is excluded there, but is dealt with by the remarks about
$p=3$
in Section 2.1 .) Note that in the case
$q=2$
we are using results of the type proven in [27] , [9] , [44] .
Corollary 1.2 when
$q\ne 2$
follows from Theorem 1.1 on using the method of “killing ramification” in Section 5.2 of [31] . We give very briefly the proof. First apply the minimal lifting result of [31] , Theorem 2.1 of Section 2, to construct first a minimal
$p$
adic lift
$\rho $
of
$\overline{\rho}$
and then apply Theorem 3.1 of loc. cit. to get a compatible system
$\left({\rho}_{\lambda}\right)$
of which
$\rho $
is a part. Consider the prime above
$q$
determined by
${\iota}_{q}$
and reduce the representation which is a member of
$\left({\rho}_{\lambda}\right)$
at this prime (this is the method of “killing ramification” of Section 5.2 of [31] ). Residually we get a mod
$q$
representation that is unramified outside
$q$
, for which we know Serre's conjecture by the main theorem of this paper. Then the lifting theorems recalled above, which may be applied because of Lemma 5.1 and Lemma 5.3 (the latter due to Breuil, Mézard and Savitt), imply that the compatible system
$\left({\rho}_{\lambda}\right)$
is modular and hence so is
$\overline{\rho}$
.
Corollary 1.3 follows as we know that a mod
$p$
irreducible 2dimensional representation of
${G}_{\mathbb{Q}}$
that arises from
${S}_{k}\left(S{L}_{2}\right(\mathbb{Z}\left)\right)$
(for any integer
$k\ge 2$
) also arises from
${S}_{2}\left({\Gamma}_{1}\right({p}^{2}\left)\right)$
.
7.2 Quantitative refinements?
Corollary 1.3 is a folklore consequence of Serre's conjecture and is there implicitly at the end of Tate's article [51] . It will be of interest to get quantitative refinements of Corollary 1.3 .
After the corollary it is easy to see that for a fixed prime
$p$
the number
$N(2,p)$
of isomorphism classes of continuous semisimple odd representations
$\overline{\rho}:{G}_{\mathbb{Q}}\to G{L}_{2}\left(\overline{\mathbb{F}p}\right)$
that are unramified outside
$p$
is bounded by
$C{p}^{3}$
for a constant
$C$
independent of
$p$
. This is seen as by the main theorem of the paper we are counting the number of distinct level 1 mod
$p$
Hecke eigensystems, and then using formulas for the dimension of
${S}_{k}\left(S{L}_{2}\right(\mathbb{Z}\left)\right)$
, and the fact that, up to twist by powers of
${\overline{\chi}}_{p}$
, all mod
$p$
forms have weight
$\le p+1$
, we are done.
We would guess that
$N(2,p)$
is asymptotic to
$\frac{1}{48}{p}^{3}$
with
$p$
.
Serre has pointed out that another easy corollary of Theorem 1.1 is that any
$\overline{\rho}$
in Corollary 1.3 can be written over a finite field
${\mathbb{F}}_{{p}^{e}}$
with
$e\le sup(1,\frac{p+1}{12})$
.
8 Some remarks
The arguments in this paper were arrived at when thinking of how to extend the results in [31] to prove Serre's conjecture in the level 1 case for (finitely many) more weights, upon Schoof telling us that he could prove that all semistable abelian varieties over
$\mathbb{Q}$
with good reduction outside 17 (resp., 19) are isogenous to powers of
${J}_{0}\left(17\right)$
(resp.,
${J}_{0}\left(19\right)$
).
Using the method of [31] this immediately proved modularity of
$\overline{\rho}$
of level 1 and weights 18 and 20. With further thought, we could do weights 10 and 16. The trick we came up with to do weight 16 led to the method presented in this paper.
The trick to do weight 10, which we have not used in the present paper, was as follows: it's enough to prove that a mod
$11$
representation of weight 10 is modular, and enough to assume that it's ordinary at 11.
Now we can get a minimal lifting of
$\overline{\rho}$
that is crystalline, and ordinary, of weight 20 at
$11$
by using the arguments of proof of Theorem 2.1 of [31] , and then putting it in a compatible system and reducing it mod
$19$
we deduce modularity by the weights
$2$
and
$20$
results. The trick for weight 16 is subsumed, and superseded (as we at first still made use of Schoof 's result for the prime 19), in the method of the paper.
The weaning away (after weight 6) from results classifying semistable abelian varieties
$A$
with good reduction outside a prime
$p$
was necessary, as such results can only be proven for small
$p$
. For large
$p$
such
$A$
may not be isogenous to products of
$G{L}_{2}$
type abelian varieties, and even those of the latter type cannot be proved to be factors of
${J}_{0}\left(p\right)$
by arguments that use discriminant bounds. For a related reason the method of Tate cannot be used to prove Theorem 1.1 for large primes
$p$
(perhaps
$p=5$
is the limit of this method, even assuming the GRH: see [51] and the discussion in [8] ).
In [31] a possible, and even plausible, path to the general case of Serre's conjecture was mapped out in its last section. The method was to use induction on primes in 2 different ways. For the level 1 case (see Theorem 5.1 there), the induction was on the prime which was the residue characteristic, the starting point being the cases of the conjecture proved for
$p=2,3$
by Tate and Serre. We have used this method in the present paper. For the reduction to the level 1 case (see Theorem 5.2 there; this is the method of “killing ramification”), the induction was on the number of primes ramified in the residual representation, the starting point being the level 1 case.
But the path seemed to be blocked by formidable obstacles. This paper reaches the level 1 case by sidestepping (and not overcoming any of ) these technical obstacles. The method here, combined with the proposed method of reduction of the general case to the level 1 case in the last section of [31] , will probably be useful for general level
$N$
, and ease some of the technical difficulties.
Acknowledgements: We are grateful to René Schoof for telling us about his unpublished results for semistable abelian varieties over
$\mathbb{Q}$
with good reduction outside 17 and 19: although in this paper we have not directly made use of these, our attempt to apply them to Serre's conjecture led to the method of the paper. We would like to thank Gebhard Böckle for very helpful correspondence about Section 2 of the paper. We are grateful to Gebhard Böckle, Kevin Buzzard, JeanPierre Serre and JeanPierre Wintenberger for very helpful comments on the mansucript. We thank Christophe Breuil for pointing out the reference [43] . We thank JeanPierre Serre for telling us about the history of his conjecture. The author was partially supported by NSF Grant DMS 0355528.
References
Email address : shekhar@math.utah.edu Department of Mathematics, 155 South 1400 East, Room 233, Salt Lake City, UT 841120090, U.S.A.
 James Arthur and Laurent Clozel. Simple algebras, base change, and the advanced theory of the trace formula, volume 120 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1989.
 Gebhard Böckle. A localtoglobal principle for deformations of Galois representations. J. Reine Angew. Math., 509:199–236, 1999.
 Gebhard Böckle. Demuškin groups with group actions and applications to deformations of Galois representations. Compositio Math., 121(2):109–154, 2000.
 Laurent Berger, Hanfeng Li, and Hui June Zhu. Construction of some families of 2dimensional crystalline representations. Math. Ann., 329(2):365–377, 2004.
 Christophe Breuil. Une remarque sur les représentations locales $p$ adiques et les congruences entre formes modulaires de Hilbert. Bull. Soc. Math. France, 127(3):459–472, 1999.
 Christophe Breuil. Sur quelques représentations modulaires et $p$ adiques de $G{L}_{2}\left({\mathbf{Q}}_{p}\right)$ . II. J. Inst. Math. Jussieu, 2(1):23–58, 2003.
 Christophe Breuil and Ariane Mézard. Multiplicités modulaires et représentations de $G{L}_{2}\left({\mathbf{Z}}_{p}\right)$ et de $Gal({\overline{\mathbf{Q}}}_{p}/{\mathbf{Q}}_{p})$ en $l=p$ . Duke Math. J., 115(2):205–310, 2002. With an appendix by Guy Henniart.
 Sharon Brueggeman. The nonexistence of certain Galois extensions unramified outside $5$ . J. Number Theory, 75(1):47–52, 1999.
 Armand Brumer and Kenneth Kramer. Nonexistence of certain semistable abelian varieties. Manuscripta Math., 106(3):291–304, 2001.
 Henri Carayol. Sur les représentations $l$ adiques associées aux formes modulaires de Hilbert. Ann. Sci. École Norm. Sup. (4), 19(3):409–468, 1986.
 Henri Carayol. Sur les reprsentations galoisiennes modulo $\ell $ attaches aux formes modulaires. Duke Math. J. 59 (1989), no. 3, 785–801.
 Henri Carayol. Formes modulaires et représentations galoisiennes à valeurs dans un anneau local complet. In $p$ adic monodromy and the Birch and SwinnertonDyer conjecture (Boston, MA, 1991), volume 165 of Contemp. Math., pages 213–237. Amer. Math. Soc., 1994.
 P. L. Chebyshev. Sur la fonction qui détermine la totalité des nombres premiers inférieurs à une limite donnée. J.de Math. 17 (1852), 341365.
 P. L. Chebyshev. Mémoire sur les nombres premiers. J.de Math. 17 (1852), 366390.
 Brian Conrad, Fred Diamond, and Richard Taylor. Modularity of certain potentially BarsottiTate Galois representations. J. Amer. Math. Soc., 12(2):521–567, 1999.
 Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor. On the modularity of elliptic curves over $\mathbb{Q}$ : wild $3$ adic exercises J. Amer. Math. Soc., 14(4):843–939, 2001.
 Ehud de Shalit. Hecke rings and universal deformation rings. Modular forms and Fermat's last theorem (Boston, MA, 1995), 421–444, Springer, New York, 1997.
 Bart de Smit and Hendrik Lenstra. Explicit construction of universal deformation rings. In Modular forms and Fermat's last theorem (Boston, MA, 1995), pages 313–326. Springer, New York, 1997.
 Fred Diamond and Richard Taylor. Lifting modular mod $\ell $ representations. Duke Math. J. 74 (1994), no. 2, 253–269.
 Henri Darmon, Fred Diamond, and Richard Taylor. Fermat's last theorem. In Current developments in mathematics, 1995 (Cambridge, MA), pages 1–154. Internat. Press, Cambridge, MA, 1994.
 Fred Diamond. An extension of Wiles' results. In Modular forms and Fermat's last theorem (Boston, MA, 1995), pages 475–489. Springer, New York, 1997.
 Luis Dieulefait. Existence of families of Galois representations and new cases of the FontaineMazur conjecture. J. Reine Angew. Math. 577 (2004), 147–151.
 Fred Diamond. The TaylorWiles construction and multiplicity one. Invent. Math. 128 (1997), no. 2, 379–391.
 Fred Diamond, Matthias Flach, Li Guo. The Tamagawa number conjecture of adjoint motives of modular forms. Ann. Sci. École Norm. Sup. (4) 37 (2004), no. 5, 663–727.
 Bas Edixhoven. The weight in Serre's conjectures on modular forms. Invent. Math.. 109 (1992), no. 3, 563–594.
 William and Fern Ellison. Prime Numbers. Wiley Interscience 1985.
 JeanMarc Fontaine. Il n'y a pas de variété abélienne sur $\mathbf{Z}$ . Invent. Math., 81(3):515–538, 1985.
 Kazuhiro Fujiwara. Deformation rings and Hecke algebras for totally real fields. preprint, 1999.
 Benedict Gross. A tameness criterion for Galois representations associated to modular forms (mod $p$ ). Duke Math. J. 61 (1990), no. 2, 445–517.
 Chandrashekhar Khare. On isomorphisms between deformation rings and Hecke rings. Invent. Math., 154(1):199–222, 2003. With an appendix by Gebhard Böckle.
 Chandrashekhar Khare and JeanPierre Wintenberger. On Serre's reciprocity conjecture for 2dimensional mod $p$ representations of $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ . preprint available at http://xxx.lanl.gov/abs/math.NT/0412076
 Chandrashekhar Khare. A local analysis of congruences in the $(p,p)$ case: Part II. Invent. Math., 143 (2001), no. 1, 129–155.
 Mark Kisin. Modularity of potentially BarsottiTate representations and moduli of finite flat group schemes. preprint (2004).
 Barry Mazur. An introduction to the deformation theory of Galois representations. In Modular forms and Fermat's last theorem (Boston, MA, 1995), pages 243–311. Springer, New York, 1997.
 Ravi Ramakrishna. On a variation of Mazur's deformation functor. Compositio Math. 87 (1993), no. 3, 269–286.
 Ravi Ramakrishna. Deforming Galois representations and the conjectures of Serre and FontaineMazur. Ann. of Math. (2), 156(1):115–154, 2002.
 Michel Raynaud. Schémas en groupes de type $(p,\cdots ,p)$ . Bull. Soc. Math. France, 102, 459–472, 1974.
 Kenneth A. Ribet. Report on mod $l$ representations of $Gal(\overline{\mathbf{Q}}/\mathbf{Q})$ . In Motives (Seattle, WA, 1991), volume 55 of Proc. Sympos. Pure Math., pages 639–676.
 Kenneth A. Ribet. Congruence relations between modular forms. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), 503–514, PWN, Warsaw, 1984.
 Kenneth A. Ribet. A modular construction of unramified $p$ extensions of $\mathbb{Q}\left({\mu}_{p}\right)$ . Invent. Math. 34 (1976), no. 3, 151–162.
 Takeshi Saito. Hilbert modular forms and $p$ adic Hodge theory. preprint.
 David Savitt. Modularity of some potentially BarsottiTate Galois representations. Compositio Math. 140 (2004), 31–63.
 David Savitt. On a Conjecture of Conrad, Diamond, and Taylor. to appear in Duke Math. J.
 René Schoof. Abelian varieties over $\mathbf{Q}$ with bad reduction in one prime only. preprint.
 JeanPierre Serre. Œuvres. Vol. III, 1972–1984. SpringerVerlag, Berlin, 1986.
 JeanPierre Serre. Sur les représentations modulaires de degré $2$ de $Gal(\overline{\mathbf{Q}}/\mathbf{Q})$ . Duke Math. J., 54(1):179–230, 1987.
 C. M. Skinner and A. J. Wiles. Base change and a problem of Serre. Duke Math. J., 107(1):15–25, 2001
 C. M. Skinner and A. J. Wiles. Residually reducible representations and modular forms. Inst. Hautes Études Sci. Publ. Math., (89):5–126 (2000), 1999.
 C. M. Skinner and Andrew J. Wiles. Nearly ordinary deformations of irreducible residual representations. Ann. Fac. Sci. Toulouse Math. (6), 10(1):185–215, 2001.
 H. P. F. SwinnertonDyer. On $\ell $ adic representations and congruences for coefficients of modular forms. Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, 1972), pp. 1–55. Lecture Notes in Math., Vol. 350, Springer, Berlin, 1973.
 John Tate. The nonexistence of certain Galois extensions of $\mathbf{Q}$ unramified outside $2$ , Arithmetic geometry (Tempe, AZ, 1993), Contemp. Math., 174, 153–156, Amer. Math. Soc., 1994.
 Richard Taylor. On Galois representations associated to Hilbert modular forms. Invent. Math., 98(2):265–280, 1989.
 Richard Taylor. On the meromorphic continuation of degree two Lfunctions. Preprint, pages 1–53, 2001.
 Richard Taylor. Remarks on a conjecture of Fontaine and Mazur. J. Inst. Math. Jussieu, 1(1):125–143, 2002.
 Richard Taylor. On icosahedral Artin representations. II. Amer. J. Math., 125(3):549–566, 2003.
 Richard Taylor. On Galois representations associated to Hilbert modular forms. In Current developments in mathematics, 1995 (Cambridge, MA), pages 333–340. Internat. Press, Cambridge, MA, 1994.
 Richard Taylor and Andrew Wiles. Ringtheoretic properties of certain Hecke algebras. Ann. of Math. (2), 141(3):553–572, 1995.
 Andrew Wiles. Modular elliptic curves and Fermat's last theorem. Ann. of Math. (2), 141(3):443–551, 1995.
 J.P Wintenberger. Sur les représentations $p$ adiques géométriques de conducteur 1 et de dimension 2 de $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ . preprint available at http://xxx.lanl.gov/abs/math.NT/0406576