Elliptic Curves of Odd Modular Degree

November 27, 2006

1 Introduction

Let $E$  be an elliptic curve over $\mathbf{Q}$  of conductor $N$  . Since $E$  is modular [3, there exists a surjective map $\pi :{X}_{0}\left(N\right)\to E$  defined over $\mathbf{Q}$  . There is a unique such map of minimal degree (up to composing with automorphisms of $E$  ), and its degree ${m}_{E}$  is known as the modular degree of $E$  . In [24the parity of ${m}_{E}$  was determined for a very particular explicit class of elliptic curves, namely, the Neumann–Setzer curves, which have prime conductor and a rational $2$  -torsion point. (See also the remark following theorem  5.1 below.) We study the question more generally for arbitrary elliptic curves $E/\mathbf{Q}$  , and prove the following theorem:
1.1 Theorem. If $E/\mathbf{Q}$  is an elliptic curve of odd modular degree then:
• 1. the conductor $N$  of $E$  is divisible by at most two odd primes,
• 2. $E$  is of even analytic rank, and
• 3. either (a) $E$  has a rational point of order $2$  (or equivalently, admits a rational $2$  -isogeny ), (b) $E$  has prime conductor and supersingular reduction at $2$  , and $\mathbf{Q}\left(E\left[2\right]\right)$  is totally complex (equivalently, $E\left(\mathbf{R}\right)$  is connected ), or (c) $E$  has complex multiplication, and $N=27,32,49,\text{or}243$  .
1.2 Example. The following examples of elliptic curves with odd modular degree should serve to illustrate conditions (3a), (3b) and (3c). The curve ${X}_{0}\left(15\right)$  has modular degree one and a rational two torsion point, and thus satisfies condition (3a). Another example is given by the curve ${y}^{2}+xy={x}^{3}-{x}^{2}-58x-105$  ( $2537E$  in Cremona's tables) of conductor $43\cdot 59$  with modular degree $445$  and torsion subgroup $\mathbf{Z}/4\mathbf{Z}$  . The curves ${X}_{0}\left(11\right)$  and ${X}_{0}\left(19\right)$  both have modular degree one and satisfy condition (3b). An example of larger conductor is given by ${y}^{2}+y={x}^{3}+{x}^{2}-4x-10$  of conductor $24859$  and modular degree $3979$  . Finally, there are exactly four curves of odd modular degree with complex multiplication, namely ${X}_{0}\left(27\right)$  , ${X}_{0}\left(32\right)$  , ${X}_{0}\left(49\right)$  (all of modular degree one) and ${y}^{2}+y={x}^{3}+2$  of modular degree $9$  , conductor $243$  and $j$  -invariant $0$  .
1.3 Remark. Each of the conditions appearing in theorem  1.7 is invariant under isogeny, other than the condition that $E\left(\mathbf{R}\right)$  be connected, which however is invariant under isogenies of odd degree. Since the modular parameterization of $E$  factors through the optimal member of the isogeny class of $E$  (that is, the member of its isogeny class having minimal modular degree; in older terminology, a strong Weil curve), it is therefore no loss of generality in the proof of theorem  1.1 to assume that $E$  is optimal.
1.4 Remark. Cremona and Watkins have computed the modular degree of all optimal elliptic curves of conductor $\le$  25,000 [7and these computations suggest that there may be even stronger limitations on the conductor of a curve of odd modular degree than those imposed by theorem  1.1 . Indeed, in the range of Watkins' computations, every curve of odd modular degree has conductor divisible by at most two primes, and the conductor always has one of the following forms: $2p$  , $4p$  , or $pq$  , where $p$  and $q$  are odd primes.
1.5 Remark. The statement of the theorem regarding the analytic rank of $E$  is consistent with the rank conjecture of Watkins [27,conj. 4.1(and the conjecture of Birch and Swinnerton-Dyer).
The following result, conjectured by Watkins ([24,conj. 4.3, [27,conj. 4.2), is a simple consequence of theorem  1.1 (see lemma  3.5 ):
1.6 Theorem. Let $E/\mathbf{Q}$  be an elliptic curve of prime conductor $N$  , and suppose that $E$  is neither a Neumann–Setzer curve, nor ${X}_{0}\left(17\right)$  (equivalently, $E$  does not have a rational $2$  -torsion point ). If ${m}_{E}$  is odd, then $N\equiv 3mod8$  .
One technique for proving that an elliptic curve $E$  has even modular degree is to show that the map $\pi$  factors through ${X}_{0}\left(N\right)/w$  for some non-trivial Atkin–Lehner involution $w$  .
We use this approach in section 2 to prove theorem  2.1 , which in turn implies parts (1) and (2) of theorem  1.1 , and shows that (3a) holds if $N$  is divisible by at least two primes.
It remains to prove (3) in the case when $N$  is a prime power. The most difficult case to handle is when $N$  is actually prime, and in this case we deduce theorem  1.1 from the following result, proved in section 3.
1.7 Theorem. Let $N$  be prime, let $\mathbf{T}$  denote the Hecke algebra over $\mathbf{Z}$  acting on weight two cuspforms on ${\Gamma }_{0}\left(N\right)$  , and let $\mathfrak{m}$  be a maximal ideal of $\mathbf{T}$  such that $\mathbf{T}/\mathfrak{m}={\mathbf{F}}_{2}$  , and such that the associated semi-simple Galois representation ${\overline{\rho }}_{\mathfrak{m}}:{G}_{\mathbf{Q}}\to G{L}_{2}\left({\mathbf{F}}_{2}\right)$  is irreducible. If the completion ${\mathbf{T}}_{\mathfrak{m}}={\mathbf{Z}}_{2}$  , then
• 1. $\overline{\rho }$  is supersingular at $2$  , and
• 2. $\overline{\rho }$  is totally complex.
The relevance of this result to theorem  1.1 is that, since $N$  is prime in the context of theorem  1.7 , a result of Ribet [30shows (assuming, as we may, that $E$  is optimal) that the modular degree of $E$  is even if and only if $2$  is a congruence prime for the newform of level $N$  attached to $E$  .
The proof of theorem  1.7 is motivated by the following considerations: If $p$  is an odd prime and $\overline{\rho }:{G}_{\mathbf{Q}}\to G{L}_{2}\left({\mathbf{F}}_{p}\right)$  is a surjective modular representation, then theorems of Wiles and Taylor–Wiles [29, 26show that the universal minimal deformation ring ${R}_{\varnothing }$  attached to $\overline{\rho }$  is isomorphic to the universal minimal modular deformation ring ${\mathbf{T}}_{\varnothing }$  ( $={\mathbf{T}}_{\mathfrak{m}}$  , since $N$  is prime). Since ${\mathbf{T}}_{\varnothing }$  is a finite $W\left({\mathbf{F}}_{p}\right)={\mathbf{Z}}_{p}$  algebra with residue field ${\mathbf{F}}_{p}$  , it is exactly equal to ${\mathbf{Z}}_{p}$  if and only if it is an étale ${\mathbf{Z}}_{p}$  -algebra. On the other hand, since ${R}_{\varnothing }\sim ={\mathbf{T}}_{\varnothing }$  , this is equivalent to ${R}_{\varnothing }$  being étale over ${\mathbf{Z}}_{p}$  , which is in turn equivalent to the reduced Zariski cotangent space of ${R}_{\varnothing }$  being trivial. Since by construction ${R}_{\varnothing }$  represents the minimal deformation functor, its reduced Zariski cotangent space considered as a set has cardinality equal to the number of minimal deformations $\rho :{G}_{\mathbf{Q}}\to G{L}_{2}\left({\mathbf{F}}_{p}\left[x\right]/\left({x}^{2}\right)\right)$  of $\overline{\rho }$  . Thus to prove that ${\mathbf{T}}_{\mathfrak{m}}\ne {\mathbf{Z}}_{p}$  it suffices to show that there exists a non-trivial minimal deformation of $\overline{\rho }$  to $G{L}_{2}\left({\mathbf{F}}_{p}\left[x\right]/\left({x}^{2}\right)\right)$  .
In spirit, the proof of theorem  1.7 follows this strategy; in other words, we determine whether or not ${\mathbf{T}}_{\mathfrak{m}}={\mathbf{Z}}_{2}$  by a calculation on tangent spaces. A significant problem arises, however, since we are working in the case $p=2$  , whilst the method of Wiles and Taylor–Wiles applies only to $p>2$  . This is not a mere technical obstruction; many phenomena can occur when $p=2$  that do not occur for odd $p$  . To name two such: the possible failure of ${\mathbf{T}}_{\mathfrak{m}}$  to be Gorenstein and the consequent failure of multiplicity one [16, and the fact that $\overline{\rho }$  can arise from a totally real extension of $\mathbf{Q}$  . Calculations in the second case suggest that the Taylor–Wiles strategy for proving $R=\mathbf{T}$  in the minimal case will not work without some significant new idea, since the numerical coincidences that occur for odd $p$  whilst balancing the Selmer and dual Selmer groups in the Greenberg–Wiles product formula (see for example the remarks of de Shalit [8, top of p. 442) do not occur in the case $p=2$  . Mark Dickinson [10has proved an $R=\mathbf{T}$  theorem for $p=2$  ; however, his result requires many non-trivial hypotheses, and indeed does not apply to any of the representations considered in theorem  1.7 . (Its main application to date has been to representations with image $S{L}_{2}\left({\mathbf{F}}_{4}\right)\simeq {A}_{5}$  .) The issue here is that the Taylor–Wiles auxiliary prime arguments fail when $p=2$  and the image of $\overline{\rho }$  is dihedral.
Thus, instead of appealing to any general modularity results, we show that ${\mathbf{T}}_{\mathfrak{m}}$  is bigger than ${\mathbf{Z}}_{2}$  by explicitly constructing (in certain situations) non-trivial deformations of ${\overline{\rho }}_{\mathfrak{m}}$  to ${\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)$  that are demonstrably modular (and hence contribute to the reduced cotangent space of ${\mathbf{T}}_{\mathfrak{m}}$  ). The most difficult point is to show that these deformations are modular of the correct (minimal) level. We prove this via a level-lowering result for modular forms with values in Artinian ${\mathbf{Z}}_{2}$  -algebras (theorem  3.18 below). This level lowering result maybe of independent interest; for example, it provides evidence that an $R=\mathbf{T}$  theorem should hold for those $\overline{\rho }$  of characteristic two to which it applies.
The proof of (3) when $N$  is a prime power (but is not actually prime) is given in section 4. In section 5 we make some concluding remarks.
Let us close this introduction by pointing out that recently Dummigan [11has provided a heuristic explanation for Watkins' rank conjecture that also relies on a hypothetical $R=\mathbf{T}$  theorem for the residual Galois representation $\overline{\rho }$  arising from the $2$  -torsion on an elliptic curve $E$  : he uses the symmetric square map from $\overline{\rho }$  to $Sy{m}^{2}\overline{\rho }$  to lift elements from $2$  -Selmer group of $E$  to the tangent space to the deformation ring of $\overline{\rho }$  . He also shows that the resulting tangent space elements can never be “trapped” (in the words of [29,p. 450) by the Taylor–Wiles method of introducing auxiliary primes.
Altogether, the experimental work of Watkins on the parity of modular degrees, taken together with the results of this paper and of [11, suggests the validity of an $R=\mathbf{T}$  theorem for (at least certain) residual Galois representations arising from the $2$  -torsion on elliptic curves, a theorem whose proof, however, seems out of reach of the current techniques.

2 $N$  composite with at least two distinct prime factors

In this section we prove the following theorem.
2.1 Theorem. If $E$  is an elliptic curve of odd modular degree then the conductor $N$  of $E$  is divisible by at most two odd primes, and $E$  is of even analytic rank. Furthermore, if $N$  is divisible by at least two primes, then $E$  contains a rational $2$  -torsion point.
We begin with a preliminary lemma. Let $E$  be an elliptic curve over a field $k$  ; let $O$  denote the origin of $E$  . We let $A$  denote the group of automorphisms of $E$  as a curve over $k$  (i.e. $k$  -rational automorphisms of $E$  that do not necessarily fix $O$  ), and suppose that $W$  is a finite elementary abelian $2$  -subgroup of $A$  .
2.2 Lemma. The order of $W$  divides twice the order of $E\left[2\right]\left(k\right)$  .
Proof. Let ${A}_{0}$  denote the subgroup of $A$  consisting of automorphisms of $E$  as an elliptic curve over $k$  (i.e. $k$  -rational automorphisms of $E$  that do fix $O$  ). The action of $E\left(k\right)$  on $E$  via translation realizes $E\left(k\right)$  as a normal subgroup of $A$  which has trivial intersection with ${A}_{0}$  , and which together with ${A}_{0}$  generates $A$  . Thus $A$  sits in the split short exact sequence of groups
 $\begin{array}{c}0\to E\left(k\right)\to A\to {A}_{0}\to 1.\end{array}$ (1)
(This is of course well known. The surjection $A\to {A}_{0}$  may also be regarded as the map $A=Aut\left(E\right)\to Aut\left(Pi{c}^{0}\left(E\right)\right)$  induced by the functoriality of the formation of Picard varieties — the target being the group of automorphisms of $Pi{c}^{0}\left(E\right)$  as a group variety — once we identify $E$  and $Pi{c}^{0}\left(E\right)$  as group varieties in the usual way.) The short exact sequence ( 1 ) induces a short exact sequence $0\to W\cap E\left(k\right)\to W\to {W}_{0}\to 1,$  where ${W}_{0}$  denotes the projection of $W$  onto ${A}_{0}$  . The known structure of ${A}_{0}$  shows that ${W}_{0}$  is either trivial or of order $2$  . Since $W\cap E\left(k\right)\subset E\left[2\right]\left(k\right),$  the lemma follows. $\square$
Proof of theorem  2.1 . The discussion of remark  1.3 shows that it suffices to prove the theorem under the additional assumption that $E$  is an optimal quotient of ${X}_{0}\left(N\right)$  .
Let $W$  denote the group of automorphisms of ${X}_{0}\left(N\right)$  generated by the Atkin–Lehner involutions; $W$  is an elementary abelian $2$  -group of rank equal to the number of primes dividing $N$  . Since $E$  is an optimal quotient of ${X}_{0}\left(N\right)$  , the action of $W$  on ${X}_{0}\left(N\right)$  descends to an action on $E$  . If $w\in W$  were to act trivially on $E$  , then the quotient map ${X}_{0}\left(N\right)\to E$  would factor through ${X}_{0}\left(N\right)/w$  , contradicting our assumption that $E$  is of odd modular degree. Thus lemma  2.2 shows that $W$  has order at most $8$  , and hence that $N$  is divisible by at most $3$  primes. Furthermore, if $N$  is divisible by more than one prime, then it shows that $E\left[2\right]\left(\mathbf{Q}\right)$  is non-trivial. Suppose now that $N$  is odd, so that ${X}_{0}\left(N\right)$  and $E$  both have good reduction at $2$  . We may then apply the argument of the preceding paragraph over ${\mathbf{F}}_{2}$  , and so conclude from lemma  2.2 that $W$  has order at most $4$  . Hence $N$  is divisible by at most two primes.
If $E$  is of odd analytic rank, and if ${f}_{E}$  denotes the normalized newform of level $N$  attached to $E$  , then ${w}_{N}{f}_{E}={f}_{E}$  , and so the automorphism of $E$  induced by ${w}_{N}$  has trivial image in ${A}_{0}$  . Thus ${w}_{N}$  acts on $E$  via translation by an element $P\in E\left(\mathbf{Q}\right)$  . Since ${w}_{N}$  interchanges the cusps $0$  and $\infty$  on ${X}_{0}\left(N\right)$  , we see that $P=\pi \left(0\right)-\pi \left(\infty \right)$  (where $\pi :{X}_{0}\left(N\right)\to E$  is a modular parameterization of $E$  , chosen so that $\pi \left(\infty \right)=O$  ).
The assumption that $E$  has odd analytic rank also implies that $L\left({f}_{E},1\right)=0$  . Since this $L$  -value can be computed (up to a non-zero factor) by integrating ${f}_{E}$  from $0$  to $\infty$  in the upper half-plane, we conclude that $P=O,$  and thus that ${w}_{N}$  acts trivially on $E$  . Hence $\pi$  factors through the quotient ${X}_{0}\left(N\right)/{w}_{N}$  of ${X}_{0}\left(N\right)$  , and so must be of even modular degree, a contradiction. $\square$

3 $N$  prime

3.1 Reductions

3.2 Lemma. Theorem  1.7 implies part (3) of theorem  1.1 for $N$  prime.
Proof. Suppose that $E$  is an elliptic curve of conductor $N$  , assumed to be optimal in its isogeny class. Let ${f}_{E}$  be the associated Hecke eigenform of level ${\Gamma }_{0}\left(N\right)$  and weight $2$  . From a theorem of Ribet [30, $2|{m}_{E}$  if and only if ${f}_{E}$  satisfies a congruence with another cuspidal eigenform of level $N$  . The set of cuspidal eigenforms (in characteristic zero) congruent to $f$  is indexed by $Hom\left({\mathbf{T}}_{\mathfrak{m}}\otimes {\mathbf{Q}}_{2},{\overline{\mathbf{Q}}}_{2}\right)$  . Thus ${f}_{E}$  satisfies no non-trivial congruences if and only if ${\mathbf{T}}_{\mathfrak{m}}\otimes {\mathbf{Q}}_{2}={\mathbf{Q}}_{2}$  , or equivalently if and only if ${\mathbf{T}}_{\mathfrak{m}}={\mathbf{Z}}_{2}$  . $\square$
The following lemma shows that it is possible to detect congruences from modular forms modulo two.
3.3 Lemma. Let $\mathfrak{m}$  be the maximal ideal in $\mathbf{T}$  associated to $\overline{\rho }$  , and suppose there exist two distinct non-zero $q$  -expansions $f$  , $g$  with coefficients in ${\mathbf{F}}_{2}$  such that ${\mathfrak{m}}^{2}f={\mathfrak{m}}^{2}g=0$  . Then ${\mathbf{T}}_{\mathfrak{m}}\ne {\mathbf{Z}}_{2}$  .
Proof. Since $\overline{\rho }$  is irreducible, $f$  and $g$  are both cuspidal. If ${\mathbf{T}}_{\mathfrak{m}}={\mathbf{Z}}_{2}$  , then $\left({\mathfrak{m}}^{2},2\right)=\mathfrak{m}$  . Thus $f$  and $g$  are both $q$  -expansions which are killed by $\mathfrak{m}$  . By multiplicity one for $q$  -expansions [18,prop. 9.3it follows that $f=g$  . $\square$
Of use to us will be the following theorem of Grothendieck on Abelian varieties with semistable reduction [15,ExposéIX,prop. 3.5:
3.4 Theorem (Grothendieck). Let $A$  be an Abelian variety over $\mathbf{Q}$  with semistable reduction at $\ell$  . Let ${I}_{\ell }\subset Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)$  denote a choice of inertia group at $\ell$  . Then the action of ${I}_{\ell }$  on the ${p}^{n}$  -division points of $A$  for $p\ne \ell$  is rank two unipotent; i.e., as an endomorphism, for $\sigma \in {I}_{\ell }$  , $\left(\sigma -1{\right)}^{2}A\left[{p}^{n}\right]=0.$  In particular, ${I}_{\ell }$  acts through its maximal pro- $p$  quotient, which is procyclic.
Shimura proved that a modular form $f$  of weight $2$  and level ${\Gamma }_{0}\left(N\right)$  gives rise to a modular Abelian variety ${A}_{f}$  in such a way that the $p$  -adic representations ${\rho }_{f}$  attached to $f$  arise from the torsion points of ${A}_{f}$  . For prime $N$  , these varieties are semistable at $N$  , and so we may apply the theorem above to deduce that for $p=2$  , such representations $\rho$  restricted to ${I}_{N}$  factor through a pro-cyclic $2$  -group. For representations $\overline{\rho }$  with image inside $G{L}_{2}\left({\mathbf{F}}_{2}\right)\simeq {S}_{3}$  , this means in particular that the order of inertia at $N$  is either $1$  or $2$  .
Let us now consider a Galois representation $\overline{\rho }:{G}_{\mathbf{Q}}\to G{L}_{2}\left({\mathbf{F}}_{2}\right)$  , arising from a cuspidal Hecke eigenform of level $N$  , whose image is not contained in a Borel subgroup. (This is equivalent to $\overline{\rho }$  being irreducible, and also to the image of $\overline{\rho }$  having order divisible by $3$  .) Let $L$  be the fixed field of the kernel of $\overline{\rho }$  ; the extension $L/\mathbf{Q}$  is unramified outside $2$  and $N$  .
If $L/\mathbf{Q}$  is unramified at $N$  then $\overline{\rho }$  has Serre conductor $1$  , contradicting a theorem of Tate[25. Thus by the discussion above we see that inertia at $N$  factors through a group of order $2$  , that $L/\mathbf{Q}$  is an ${S}_{3}$  -extension, and (hence) that $\overline{\rho }$  is absolutely irreducible. Let $K/\mathbf{Q}$  be a cubic subfield of $L$  , and let $F$  be the quadratic extension inside $L$  . Since $\overline{\rho }$  is finite flat at $2$  , it follows from Fontaine's discriminant bounds [13that the power of $2$  dividing the discriminant of $F/\mathbf{Q}$  is at most $4$  . Thus $F/\mathbf{Q}$  must be $\mathbf{Q}\left(\sqrt{±N}\right)$  (as it is ramified at $N$  ).
The extension $L/F$  is unramified at the prime above $N$  and is ramified at $2$  if and only if $\overline{\rho }$  is supersingular.
3.5 Lemma. If $\overline{\rho }$  is supersingular at two and not totally real then $N\equiv 3mod8$  . In particular, theorem  1.1 implies theorem  1.6 .
Proof. By class field theory the quadratic field $F/\mathbf{Q}$  admits a degree three extension ramified precisely at $2$  only if $2$  is unramified and inert in $F$  . This occurs if and only if $N\equiv 3mod8$  and $F=\mathbf{Q}\left(\sqrt{-N}\right)$  , or $N\equiv 5mod8$  and $F=\mathbf{Q}\left(\sqrt{N}\right)$  . Moreover if $F=\mathbf{Q}\left(\sqrt{N}\right)$  then $K$  and $L$  are totally real. $\square$
We shall prove theorem  1.7 by showing in the following subsections that if $\overline{\rho }$  satisfies at least one of the following conditions:
• 1. $\overline{\rho }$  is totally real;
• 2. $\overline{\rho }$  is unramified at $2$  ;
• 3. $\overline{\rho }$  is ordinary, complex, and ramified at $2$  ;
then ${\mathbf{T}}_{\mathfrak{m}}\ne {\mathbf{Z}}_{2}$  .

3.6 $\overline{\rho }$  is totally real

The theory of modular deformations is not well understood when $\overline{\rho }$  is totally real. Thus our arguments in this section are geometric. We use the following theorem, due to Merel [20,prop. 5. (This interpretation of Merel's result is due to Agashe [1,cor. 3.2.9).
3.7 Theorem. Let $N$  be prime. Then ${J}_{0}\left(N\right)\left(\mathbf{R}\right)$  is connected.
If we let $g$  denote the dimension of $J:={J}_{0}\left(N\right)$  it follows that $J\left(\mathbf{R}\right)\simeq \left(\mathbf{R}/\mathbf{Z}{\right)}^{g}$  , $J\left(\mathbf{R}{\right)}^{tors}\simeq \left(\mathbf{Q}/\mathbf{Z}{\right)}^{g}$  and $J\left[2\right]\left(\mathbf{R}\right)=\left(\mathbf{Z}/2\mathbf{Z}{\right)}^{g}$  .
Let $J\left[{2}^{\infty }\right]=lim⟶J\left[{2}^{m}\right]$  . Then $J\left[{2}^{\infty }\right]$  is a $2$  -divisible group over $\mathbf{Q}$  admitting an action of ${\mathbf{T}}_{2}$  .
Since ${\mathbf{T}}_{2}$  is finite and flat over the complete local ring ${\mathbf{Z}}_{2}$  there exists a decomposition ${\mathbf{T}}_{2}=\prod {\mathbf{T}}_{\mathfrak{m}},$  where the product is taken over the maximal ideals $\mathfrak{m}$  of $\mathbf{T}$  of residue characteristic two.
If $g\left(\mathfrak{m}\right)$  denotes the rank of ${\mathbf{T}}_{\mathfrak{m}}$  over ${\mathbf{Z}}_{2}$  , then ${\sum }_{\mathfrak{m}}g\left(\mathfrak{m}\right)=rank\left({\mathbf{T}}_{2}/{\mathbf{Z}}_{2}\right)=g.$  If $J\left[{\mathfrak{m}}^{\infty }\right]:=J\left[{2}^{\infty }\right]{\otimes }_{{\mathbf{T}}_{2}}{\mathbf{T}}_{\mathfrak{m}}$  , then $J\left[{2}^{\infty }\right]\simeq \prod J\left[{\mathfrak{m}}^{\infty }\right]$  (compare [18 §7, p. 91). From lemma 7.7 of [18we see that $T{a}_{\mathfrak{m}}J\otimes {\mathbf{Q}}_{2}$  is free of rank two over ${\mathbf{T}}_{\mathfrak{m}}\otimes {\mathbf{Q}}_{2}$  (where $T{a}_{\mathfrak{m}}J:=Hom\left({\mathbf{Q}}_{2}/{\mathbf{Z}}_{2},J\left[{\mathfrak{m}}^{\infty }\right]\left(\overline{\mathbf{Q}}\right)\right)$  is the $\mathfrak{m}$  -adic Tate module of $J$  ), and thus that
 $\begin{array}{c}J\left[{\mathfrak{m}}^{\infty }\right]\left(\mathbf{C}\right)\sim =\left({\mathbf{Q}}_{2}/{\mathbf{Z}}_{2}{\right)}^{2g\left(\mathfrak{m}\right)}.\end{array}$ (2)
Let $J\left[2{\right]}_{\mathfrak{m}}:=J\left[2\right]{\otimes }_{{\mathbf{T}}_{2}}{\mathbf{T}}_{\mathfrak{m}}$  be the $2$  -torsion subgroup scheme of $J\left[{\mathfrak{m}}^{\infty }\right]$  .
3.8 Lemma. For all maximal ideals $\mathfrak{m}$  of residue characteristic two there is an equality ${dim}_{\mathbf{Z}/2\mathbf{Z}}\left(J\left[2{\right]}_{\mathfrak{m}}\left(\mathbf{R}\right)\right)=g\left(\mathfrak{m}\right)$
Proof. The isomorphism ( 2 ) induces an isomorphism $J\left[2{\right]}_{\mathfrak{m}}\left(\mathbf{C}\right)\sim =\left(\mathbf{Z}/2\mathbf{Z}{\right)}^{2g\left(\mathfrak{m}\right)}.$  Let $\sigma \in Gal\left(\mathbf{C}/\mathbf{R}\right)$  denote complex conjugation. Then $\left(\sigma -1{\right)}^{2}J\left[2{\right]}_{\mathfrak{m}}\left(\mathbf{C}\right)=0$  . Thus $J\left[2{\right]}_{\mathfrak{m}}\left(\mathbf{R}\right)$  (which is the kernel of $\sigma -1$  ) has dimension at least $g\left(\mathfrak{m}\right)$  . If ${dim}_{\mathbf{Z}/2\mathbf{Z}}\left({J}_{\mathfrak{m}}\left[2\right]\left(\mathbf{R}\right)\right)>g\left(\mathfrak{m}\right)$  for some $\mathfrak{m}$  , then since $J\left[2\right]\left(\mathbf{R}\right)=\prod J\left[2{\right]}_{\mathfrak{m}}\left(\mathbf{R}\right),$  and since (as was noted above) ${dim}_{\mathbf{Z}/2\mathbf{Z}}\left(J\left[2\right]\left(\mathbf{R}\right)\right)=g$  , we would deduce the inequality:
$g=\sum {dim}_{\mathbf{Z}/2\mathbf{Z}}\left(J\left[2{\right]}_{\mathfrak{m}}\left(\mathbf{R}\right)\right)>{\sum }_{\mathfrak{m}}g\left(\mathfrak{m}\right)=g,$  which is absurd. $\square$
Now let $\overline{\rho }$  be a totally real (absolutely) irreducible continuous modular representation of $Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)$  into $G{L}_{2}\left({\mathbf{F}}_{2}\right)$  of level ${\Gamma }_{0}\left(N\right)$  , and let $\mathfrak{m}$  be the corresponding maximal ideal of $\mathbf{T}$  . The main result of [2shows that the $Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)$  -representation $J\left[\mathfrak{m}\right]\left(\overline{\mathbf{Q}}\right)$  is a direct sum of copies of $\overline{\rho }$  . Thus, since $\overline{\rho }$  is totally real, we find that ${dim}_{\mathbf{Z}/2\mathbf{Z}}J\left[\mathfrak{m}\right]\left(\mathbf{R}\right)={dim}_{\mathbf{Z}/2\mathbf{Z}}J\left[\mathfrak{m}\right]\left(\mathbf{C}\right)\ge {dim}_{\mathbf{Z}/2\mathbf{Z}}\overline{\rho }=2.$  Combining this inequality with the inclusion $J\left[\mathfrak{m}\right]\left(\mathbf{R}\right)\subseteq J\left[2{\right]}_{\mathfrak{m}}\left(\mathbf{R}\right)$  and lemma  3.8 we find that $g\left(\mathfrak{m}\right)\ge 2$  , and thus that ${\mathbf{T}}_{\mathfrak{m}}\ne {\mathbf{Z}}_{2}$  .

3.9 $\overline{\rho }$  is unramified at $2$

Suppose that $L/\mathbf{Q}$  is unramified at $2$  . This forces $\overline{\rho }$  to be ordinary. By the theory of companion forms [14one expects that $\overline{\rho }$  arises from a mod $2$  form of level ${\Gamma }_{1}\left(N\right)$  and weight $1$  . Although the results of [14do not apply in this case, Wiese [28explicitly constructs such forms when the image of $\overline{\rho }$  is dihedral, as it is in our situation. (In fact the only difficult point of Wiese's construction is the case when $\overline{\rho }$  is totally real, and this case of theorem  1.7 is already covered by section  3.6 .) Let $f$  be this companion (Katz) modular form of weight one modulo $2$  . Let $A$  be the Hasse invariant modulo $2$  , which is a modular form of level one with $q$  expansion given by $1$  . Then $Af=f$  and $g={f}^{2}$  are two distinct $q$  -expansions modulo $2$  of weight $2$  and level $N$  . Moreover, one sees that $\left({T}_{\ell }-{a}_{\ell }\right)f=\left({T}_{\ell }-{a}_{\ell }\right)g=0$  for all odd $\ell$  , and that $\left({T}_{2}-{a}_{2}\right)f=0$  and $\left({T}_{2}-{a}_{2}{\right)}^{2}g=0$  . Thus ${\mathfrak{m}}^{2}f={\mathfrak{m}}^{2}g=0$  and therefore by lemma  3.3 , ${\mathbf{T}}_{\mathfrak{m}}\ne {\mathbf{Z}}_{2}$  and we are done.

3.10 $\overline{\rho }$  is ordinary, complex, and ramified at $2$

Suppose that $\overline{\rho }$  is ordinary, complex, and ramified at $2$  . It follows that $F/\mathbf{Q}$  is complex and ramified at $2$  , and thus that $F=\mathbf{Q}\left(\sqrt{-N}\right)$  for some $N\equiv 1mod4$  . Moreover, the extension $L/F$  is unramified everywhere. Since $N\equiv 1mod4$  it follows that $H:=L\left(\sqrt{-1}\right)$  is also unramified everywhere over $F$  . The field $H$  is Galois over $\mathbf{Q}$  , and clearly
 $\begin{array}{c}Gal\left(H/\mathbf{Q}\right)\simeq {S}_{3}×\mathbf{Z}/2\mathbf{Z}.\end{array}$ (3)
We may embed ${S}_{3}×\mathbf{Z}/2\mathbf{Z}$  into $G{L}_{2}\left({\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right)$  by fixing an identification of ${S}_{3}$  with $G{L}_{2}\left({\mathbf{F}}_{2}\right)$  , and mapping a generator of $\mathbf{Z}/2\mathbf{Z}$  to the matrix $\left(\begin{array}{cc}1+x& 0\\ 0& 1+x\end{array}\right).$  Composing the isomorphism ( 3 ) with this embedding yields a representation:
$\rho :Gal\left(H/\mathbf{Q}\right)↪G{L}_{2}\left({\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right).$  The representation $\rho$  has trivial determinant (equivalently, determinant equal to the mod $2$  cyclotomic character). We also claim that $\rho$  is finite flat at two. To check this, it suffices to prove this over ${\mathbf{Z}}_{2}^{ur}$  . The representation $\rho {|}_{Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}^{ur}\right)}$  factors through a group of order $2$  , and one explicitly sees that it arises as the generic fibre of the group scheme $\left(D\oplus D\right)/{\mathbf{Z}}_{2}^{ur}$  , where $D$  is the non-trivial extension of $\mathbf{Z}/2\mathbf{Z}$  by ${\mu }_{2}$  considered in [18(Prop 4.2, p. 58).
Thus one expects $\rho$  to arise from an ${\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)$  -valued modular form of weight two and level $N$  , corresponding to a surjective map of rings ${\mathbf{T}}_{\mathfrak{m}}\to {\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)$  . This would follow if we knew that ${\mathbf{T}}_{\mathfrak{m}}$  coincided with the minimal deformation ring associated to $\overline{\rho }$  . Rather than proving this, however, we shall use weight one forms to explicitly construct a weight two modular form giving rise to $\rho$  .
Let ${\chi }_{4N}$  be the character of conductor $4N$  associated to $F$  . Consider two faithful representations ${\psi }_{1}:Gal\left(L/\mathbf{Q}\right)\sim ={S}_{3}↪G{L}_{2}\left(\mathbf{C}\right),{\psi }_{2}:Gal\left(H/\mathbf{Q}\right)\sim ={S}_{3}×\mathbf{Z}/2\mathbf{Z}\mathbf{↪}G{L}_{2}\left(\mathbf{C}\right).$  Since $F/\mathbf{Q}$  is complex, these dihedral representations are odd and therefore give rise to weight one modular forms ${h}_{1}$  , ${h}_{2}$  in ${S}_{1}\left({\Gamma }_{1}\left(4N\right),{\chi }_{4N}\right)$  .
3.11 Lemma. The modular forms ${h}_{1}$  , ${h}_{2}$  are ordinary at $2$  , have coefficients in $\mathbf{Z}$  , and are congruent modulo $2$  . Let $g=\frac{\left({h}_{2}-{h}_{1}\right)}{2}\in \mathbf{Z}\left[\left[q\right]\right].$  Then $gmod2$  is non-zero, and the form $h={h}_{1}+xg\in {S}_{1}\left({\Gamma }_{1}\left(4N\right),{\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right)$  is an eigenform for all the Hecke operators, including ${U}_{2}$  . The associated $G{L}_{2}\left({\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right)$  Galois representation attached to $h$  is $\rho$  .
Proof. The modular forms are both ordinary at $2$  because the representations ${\psi }_{1}$  and ${\psi }_{2}$  have non-trivial subspaces on which inertia at two is trivial (since ${I}_{2}$  acts through a group of order $2$  ). They both have coefficients in $\mathbf{Z}$  , since $2cos\left(\pi /3\right)\in \mathbf{Z}$  . The congruence ${h}_{1}\equiv {h}_{2}$  follows from the fact that both are ordinary-at- $2$  Hecke eigenforms, and that $a\left({h}_{1},\ell \right)=a\left({h}_{2},\ell \right){\chi }_{4}\left(\ell \right)$  for all odd primes $\ell$  , where ${\chi }_{4}$  is the character of conductor $4$  .
From this one also sees that $g$  is non-trivial modulo two. The claims about $h$  follow formally from the fact that ${h}_{1}$  and ${h}_{2}$  are Hecke eigenforms that are congruent modulo $2$  , and the definition of $\rho$  . $\square$
Now that we have constructed the weight one form $h$  of level $4N$  giving rise to $\rho$  , we would like to construct a corresponding weight two form of level $N$  . Multiplying $h$  by the Eisenstein series in ${M}_{1}\left({\Gamma }_{1}\left(4N\right),{\chi }_{4N}\right)$  , we see that $h$  is the $q$  -expansion of a modular form in ${S}_{2}\left({\Gamma }_{0}\left(4N\right),{\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right)$  . Since $h$  is ordinary and is a ${U}_{2}$  eigenform, we may apply the ${U}_{2}$  operator to deduce that $h\in {S}_{2}\left({\Gamma }_{0}\left(2N\right),{\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right)$  . Applying theorem  3.18 (proved in the following subsection) we then deduce that in fact $h\in {S}_{2}\left({\Gamma }_{0}\left(N\right),{\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right)$  , and (thus) that $g\in {S}_{2}\left({\Gamma }_{0}\left(N\right),{\mathbf{F}}_{2}\right)$  . An easy calculation shows that if $f={h}_{1}\equiv {h}_{2}\equiv \sum {a}_{n}{q}^{n}$  then $\mathfrak{m}f=0$  , whilst $\mathfrak{m}g\subset {\mathbf{F}}_{2}f$  , and so also ${\mathfrak{m}}^{2}g=0$  . Thus ${\mathbf{T}}_{\mathfrak{m}}\ne {\mathbf{Z}}_{2}$  , by lemma  3.3 .

3.12 Level-lowering for modular deformations

The goal of this section is to prove a level-lowering result for modular forms with coefficients in Artinian rings that strengthens the case $p=2$  of [12,thm. 2.8(which in turn extends a level lowering result proved by Mazur [22,thm. 6.1in the odd prime case).
We first establish a version of the multiplicity one theorem [29,thm. 2.1for $p=2$  .
Under the additional assumption that $\overline{\rho }$  is not finite at $2$  , this theorem was proved in [4,§2(as was the corresponding result for odd level). Thus the key point in our theorem is that $\overline{\rho }$  is allowed to be finite at $2$  , even though the level is taken to be even.
3.13 Theorem. Let $N$  be an odd natural number, and let $\mathbf{T}$  denote the full $\mathbf{Z}$  -algebra of Hecke operators acting on weight two cuspforms of level $2N$  . If $\mathfrak{m}$  is a maximal ideal in $\mathbf{T}$  whose residue field $k$  is of characteristic $2$  , and for which the associated residual Galois representation $\overline{\rho }:Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\to G{L}_{2}\left(k\right)$  is (absolutely ) irreducible, ordinary, and ramified at $2$  , then $T{a}_{\mathfrak{m}}{J}_{0}\left(2N\right)$  (the $\mathfrak{m}$  -adic Tate module of ${J}_{0}\left(2N\right)$  ) is free of rank two over the completion ${\mathbf{T}}_{\mathfrak{m}}$  .
To be clear, the condition “ordinary at $2$  ” means that the image of a decomposition group at $2$  under $\overline{\rho }$  lies in a Borel subgroup of $G{L}_{2}\left(k\right)$  . Since $k$  is of characteristic $2$  , we see that (for an appropriate choice of basis) the restriction of $\overline{\rho }$  to an inertia group at $2$  may be written in the form ${\overline{\rho }}_{|{I}_{2}}=\left(\begin{array}{cc}1& *\\ 0& 1\end{array}\right).$  The assumption that $\overline{\rho }$  is ramified at $2$  then implies that $*$  is not identically zero. Thus the representation space of $\overline{\rho }$  has a unique line invariant under ${I}_{2}$  , and so $\overline{\rho }$  is irreducible if and only if it is absolutely irreducible.
3.14 Lemma. Let $k$  be a finite field of characteristic $2$  . If $\overline{\rho }:Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)\to G{L}_{2}\left(k\right)$  is a continuous representation that is finite, ordinary, and ramified at $2$  , then $\overline{\rho }$  has a unique finite flat prolongation over ${\mathbf{Z}}_{2}$  (up to unique isomorphism). Furthermore, this prolongation is an extension of a rank one étale $k$  -vector space scheme by a rank one multiplicative $k$  -vector space scheme.
Proof. Any finite flat group scheme that prolongs an unramified continuous representation of $Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)$  on a one-dimensional $k$  -vector space is either étale or multiplicative. Thus there are a priori four possible structures for a finite flat prolongation of $\overline{\rho }$  : étale extended by étale; multiplicative extended by multiplicative; multiplicative extended by étale; or étale extended by multiplicative. However, all but the last possibility necessarily gives riseto an unramified generic fibre (note that any extension of multiplicative by étale must split, by a consideration of the connected étale sequence). Thus, since $\overline{\rho }$  is assumed ramified, we see that any prolongation of $\overline{\rho }$  must be an extension of a rank one étale $k$  -vector space scheme scheme by a rank one multiplicative $k$  -vector space scheme.
To see that such a prolongation is unique, consider the minimal and maximal prolongations $M$  and ${M}^{\prime }$  of $\overline{\rho }$  to a finite flat group scheme [21,cor. 2.2.3. The result of the preceding paragraph shows that the natural morphism $M\to {M}^{\prime }$  necessarily induces an isomorphism on the connected components of the identity, and on the corresponding groups of connected components. By the $5$  -lemma, this morphism is thus an isomorphism, and the lemma follows. $\square$
We now show that certain results of Mazur [19cited in the proof of [29,thm. 2.1extend to the case $p=2$  . We put ourselves in the context of [19,§1, and use the notation introduced there. Namely, we let $K$  denote a finite extension of ${\mathbf{Q}}_{p}$  for some prime $p$  , and let $\mathcal{O}$  denote the ring of integers of $K$  . If $A$  is an abelian variety over $K$  , then we let ${A}_{/\mathcal{O}}$  denote the connected component of the identity of the Néron model of $A$  over $Spec\mathcal{O}$  . For any power ${p}^{r}$  of $p$  , the ${p}^{r}$  -torsion subgroup scheme $A\left[{p}^{r}{\right]}_{/\mathcal{O}}$  of ${A}_{/\mathcal{O}}$  is then a quasi-finite flat group scheme over $Spec\mathcal{O}$  ; we let $FA\left[{p}^{r}{\right]}_{/\mathcal{O}}$  denote its maximal finite flat subgroup scheme, and $A\left[{p}^{r}{\right]}_{/\mathcal{O}}^{0}$  denote the maximal connected closed subgroup scheme of $A\left[{p}^{r}{\right]}_{/\mathcal{O}}$  .
Since we took ${A}_{/\mathcal{O}}$  to be the connected component of the Néron model of $A$  , the inductive limit $FA\left[{p}^{\infty }{\right]}_{/\mathcal{O}}:=lim⟶FA\left[{p}^{r}{\right]}_{/\mathcal{O}}$  is a $p$  -divisible group, and $A\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}:=lim⟶A\left[{p}^{r}{\right]}_{/\mathcal{O}}^{0}$  is the maximal connected $p$  -divisible subgroup of $FA\left[{p}^{\infty }{\right]}_{/\mathcal{O}}$  .
The following proposition is a variation on [19,prop. 1.3, in which we allow the ramification of $K$  over ${\mathbf{Q}}_{p}$  to be unrestricted, at the expense of imposing more restrictive hypotheses on the reduction of the abelian varieties appearing in the exact sequence under consideration.
3.15 Proposition. Let $0\to A\to B\to C\to 0$  be an exact sequence of abelian varieties over $K$  such that $A$  has purely toric reduction, whilst $C$  has good reduction. Then the induced sequence of $p$  -divisible groups $0\to A\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}\to B\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}\to C\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}\to 0$  is a short exact sequence of $p$  -divisible groups over $Spec\mathcal{O}$  . Equivalently, for any power ${p}^{r}$  of $p$  , the induced sequence $0\to A\left[{p}^{r}{\right]}_{/\mathcal{O}}^{0}\to B\left[{p}^{r}{\right]}_{/\mathcal{O}}^{0}\to C\left[{p}^{r}{\right]}_{/\mathcal{O}}^{0}\to 0$  is a short exact sequence of finite flat group schemes over $Spec\mathcal{O}$  .
Proof. Since $A$  has purely toric reduction, the group scheme $A\left[{p}^{r}{\right]}_{/\mathcal{O}}^{0}$  is of multiplicative type for each $r$  . Thus it necessarily maps isomorphically onto its scheme theoretic image in ${B}_{/\mathcal{O}}$  , and thus the induced map $A\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}\to B\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}$  is a closed embedding.
Let ${C}^{\prime }\subset B$  be an abelian subvariety chosen so that the induced map ${C}^{\prime }\to C$  is an isogeny. Then ${C}^{\prime }$  also has good reduction, and so ${C}^{\prime }\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}\to C\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}$  is an epimorphism of $p$  -divisible groups over $Spec\mathcal{O}$  . Thus the induced map $B\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}\to C\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}$  is also an epimorphism of $p$  -divisible groups. A consideration of generic fibres shows that the kernel of this surjection coincides with the scheme-theoretic image of $A\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}$  in $B\left[{p}^{\infty }{\right]}_{/\mathcal{O}}^{0}$  , and so the proposition is proved. $\square$
Proof of theorem  3.13 . We closely follow the method of proof of [29,thm. 2.1 (ii)in the case when “ ${\Delta }_{\left(p\right)}$  is trivial $mod\mathfrak{m}$  ” (in the terminology of that proof; see [29,pp. 485–488).
If we let $A$  denote the connected part of the kernel of the map ${J}_{0}\left(2N\right)\to {J}_{0}\left(N\right)×{J}_{0}\left(N\right)$  induced by Albanese functoriality applied to the two “degeneracy maps” from level $2N$  to level $N$  , then $A$  is an abelian subvariety of ${J}_{0}\left(2N\right)$  having purely toric reduction at $2$  , whilst the quotient $B$  of ${J}_{0}\left(2N\right)$  by $A$  has good reduction at $2$  . From proposition  3.15 we obtain (for any $r\ge 1$  ) the short exact sequence $0\to A\left[{2}^{r}{\right]}_{/{\mathbf{Z}}_{2}}^{0}\to {J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{/{\mathbf{Z}}_{2}}^{0}\to B\left[{2}^{r}{\right]}_{/{\mathbf{Z}}_{2}}^{0}\to 0$  of connected finite flat group schemes over $Spec{\mathbf{Z}}_{2}$  . By functoriality of the formation of this short exact sequence, and since $A$  is a $\mathbf{T}$  -invariant subvariety of ${J}_{0}\left(2N\right)$  , we see that this is in fact a short exact sequence of $\mathbf{T}$  -module schemes. Localizing at $\mathfrak{m}$  induces the corresponding short exact sequence
 $\begin{array}{c}0\to A\left[{2}^{r}{\right]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}\to {J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}\to B\left[{2}^{r}{\right]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}\to 0.\end{array}$ (4)
Passing to ${\overline{\mathbf{Q}}}_{2}$  -valued points induces a short exact sequence of $Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)$  -modules
 $\begin{array}{c}0\to A\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)\to {J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)\to B\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)\to 0,\end{array}$ (5)
which is a subexact sequence of the short exact sequence of $Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)$  -modules
 $\begin{array}{c}0\to A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)\to {J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)\to B\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)\to 0.\end{array}$ (6)
Let $A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }$  (respectively ${J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }$  , respectively $B\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }$  ) denote the maximal $Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)$  -subrepresentation of $A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)$  (respectively ${J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)$  , respectively $B\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)$  ) on which the inertia group acts through the $2$  -adic cyclotomic character $\chi$  .
The short exact sequence ( 6 ) induces an exact sequence
 $\begin{array}{c}0\to A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }\to {J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }\to B\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }.\end{array}$ (7)
3.16 Lemma. Each of the groups schemes appearing in the exact sequence ( 4 ) is of multiplicative type, and the exact sequences ( 5 ) and ( 7 ) coincide (as subsequences of ( 6 )).
Proof. We first remark that ( 6 ) is the exact sequence of ${\mathbf{T}}_{\mathfrak{m}}\left[Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)\right]$  -modules underlying the the corresponding exact sequence of ${\mathbf{T}}_{\mathfrak{m}}\left[Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\right]$  -modules $0\to A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left(\overline{\mathbf{Q}}\right)\to {J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}}\left(\overline{\mathbf{Q}}\right)\to B\left[{2}^{r}{\right]}_{\mathfrak{m}}\left(\overline{\mathbf{Q}}\right)\to 0.$  Since $\overline{\rho }$  is assumed irreducible as a $k\left[Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\right]$  -representation, each of the modules appearing in this exact sequence is a successive extension of copies of $\overline{\rho }$  . The same is thus true of each of the modules appearing in the exact sequence ( 6 ).
Since $A$  has purely toric reduction, it is clear that $A\left[{2}^{r}{\right]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}$  is of multiplicative type, and so
 $\begin{array}{c}A\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)\subset A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }.\end{array}$ (8)
Fix a filtration $0={W}_{0}\subset {W}_{1}\subset \cdots \subset {W}_{n}=A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)$  of $A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)$  for which the successive quotients ${W}_{i+1}/{W}_{i}$  are isomorphic to $\overline{\rho }$  . Since $A$  has purely toric reduction the quotient $A\left[{2}^{r}{\right]}_{/{\mathbf{Q}}_{2}}/A\left[{2}^{r}{\right]}_{/{\mathbf{Q}}_{2}}^{0}$  is Cartier dual to $\stackrel{^}{A}\left[{2}^{r}{\right]}_{/{\mathbf{Q}}_{2}}^{0}$  (where $\stackrel{^}{A}$  is the dual abelian variety to $A$  ), and so $A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)/A\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)$  is an unramified $Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)$  -representation. Since $\overline{\rho }$  is assumed ramified at $2$  , this implies that ${W}_{i+1}\bigcap A\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)\mathbb{⊊}{W}_{i}\bigcap A\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)$  for each $i\ge 0$  . Furthermore, ${W}_{i}\not\subset A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }$  for each $i>0$  , because $\chi mod2$  is trivial. Since ${W}_{i+1}/{W}_{i}\sim =\overline{\rho }$  is two dimensional over $k$  for each $i\ge 0,$  we conclude by induction on $i$  that ${W}_{i}\bigcap A\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)={W}_{i}\bigcap A\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }$  for each $i\ge 0$  . Taking $i=n$  then shows that the inclusion ( 8 ) is in fact an equality.
Since $B$  has good reduction at $2$  , we have equality $FB\left[{2}^{r}{\right]}_{/{\mathbf{Z}}_{2}}=B\left[{2}^{r}{\right]}_{/{\mathbf{Z}}_{2}}$  . As noted above, any Jordan–Hölder filtration of the localization $B\left[{2}^{r}{\right]}_{\mathfrak{m}}\left(\overline{\mathbf{Q}}\right)$  as a $\mathbf{T}\left[Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\right]$  -modulehas all its associated graded pieces isomorphic to $\overline{\rho }$  . Taking scheme-theoretic closures of such a filtration in $B\left[{2}^{r}{\right]}_{/{\mathbf{Z}}_{2}},$  we obtain a filtration of the localization $B\left[{2}^{r}{\right]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}$  by finite flat closed subgroup schemes, whose associated graded pieces are prolongations of $\overline{\rho }$  . Now lemma  3.14 shows that the connected component of any such finite flat prolongation is multiplicative. Thus $B\left[{2}^{r}{\right]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}$  is indeed multiplicative, whilst $B\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)/B\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)$  is an unramified $Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)$  -module. Arguing as in the preceding paragraph gives the required equality $B\left[{2}^{r}{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)=B\left[{2}^{r}{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}{\right)}^{\chi }.$  Since any extension of multiplicative type groups is again of multiplicative type, we see that ${J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}$  is also of multiplicative type, and that the exact sequence ( 5 ) is a subsequence of the exact sequence ( 7 ). We have furthermore shown that first and third non-trivial terms of these two sequences coincide. This implies that these exact sequences do indeed coincide. $\square$
Specializing lemma  3.16 to the case $r=1$  shows that ${J}_{0}\left(2N\right)\left[2{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)$  is the maximal unramified $Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)$  -subrepresentation of ${J}_{0}\left(2N\right)\left[2{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)$  (since $\chi mod2$  is trivial).
Recall that there is a natural isomorphism $Tan\left({J}_{0}\left(2N\right)\left[2{\right]}_{/{\overline{\mathbf{F}}}_{2}}^{0}\right)\sim =Tan\left({J}_{0}\left(2N{\right)}_{/{\overline{\mathbf{F}}}_{2}}\right)$  (indeed, this is true with ${J}_{0}\left(2N{\right)}_{/{\overline{\mathbf{F}}}_{2}}$  replaced by any group scheme over ${\overline{\mathbf{F}}}_{2}$  ), and also a natural isomorphism $Tan\left({J}_{0}\left(2N\right)\left[2{\right]}_{/{\overline{\mathbf{F}}}_{2}}^{0}\right)\sim ={J}_{0}\left(2N\right)\left[2{\right]}^{0}\left({\overline{\mathbf{Q}}}_{2}\right){\otimes }_{{\mathbf{F}}_{2}}{\overline{\mathbf{F}}}_{2}$  (as follows from the discussion on [29,p. 488). Localizing at $\mathfrak{m}$  , and taking into account [29,lem. 2.2, which is valid for $p=2$  , we find that ${J}_{0}\left(2N\right)\left[2{\right]}_{\mathfrak{m}}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)$  is a cyclic ${\mathbf{T}}_{\mathfrak{m}}$  -module, and thus that the maximal unramified $Gal\left({\overline{\mathbf{Q}}}_{2}/{\mathbf{Q}}_{2}\right)$  -subrepresentation of ${J}_{0}\left(2N\right)\left[2{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)$  is a cyclic ${\mathbf{T}}_{\mathfrak{m}}$  -module.
Let ${\rho }_{\mathfrak{m}}:Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\to G{L}_{2}\left({\mathbf{T}}_{\mathfrak{m}}\right)$  denote the Galois representation associated to $\mathfrak{m}$  by [6,thm. 3. Carayol has proved [6,thm. 4that there is an isomorphism $T{a}_{\mathfrak{m}}{J}_{0}\left(2N\right)\sim =J{\otimes }_{{\mathbf{T}}_{\mathfrak{m}}}{\rho }_{\mathfrak{m}}$  for some ideal $J$  in ${\mathbf{T}}_{\mathfrak{m}}$  , and thus an isomorphism ${J}_{0}\left(2N\right)\left[2{\right]}_{\mathfrak{m}}\left({\overline{\mathbf{Q}}}_{2}\right)\sim =\left(J/2J\right){\otimes }_{{\mathbf{T}}_{\mathfrak{m}}}{\rho }_{\mathfrak{m}}$  . We conclude that $J/2J$  is a cyclic ${\mathbf{T}}_{\mathfrak{m}}$  -module, and hence that $J$  is a principal ideal in ${\mathbf{T}}_{\mathfrak{m}}$  .
The discussion of [6,3.3.2shows that in fact $J\sim ={\mathbf{T}}_{\mathfrak{m}}$  and that $T{a}_{\mathfrak{m}}{J}_{0}\left(2N\right)$  is free of rank two over ${\mathbf{T}}_{\mathfrak{m}}$  , as claimed. $\square$
3.17 Corollary. In the situation of theorem  3.13 , the completion ${\mathbf{T}}_{\mathfrak{m}}$  is a Gorenstein ${\mathbf{Z}}_{2}$  -algebra.
Proof. This follows from the theorem together with the self-duality of the $\mathfrak{m}$  -adic Tate module under the Weil pairing. $\square$
We now prove our level lowering result. Let $A$  be an Artinian ring with finite residue field $k$  of characteristic $2$  , and suppose given a continuous representation $\rho :Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\to G{L}_{2}\left(A\right)$  that is modular of level ${\Gamma }_{0}\left(2N\right)$  for some odd natural number $N$  , in the sense that it arises from a Hecke eigenform $h\in {S}_{2}\left({\Gamma }_{0}\left(2N\right),A\right)$  . Let $\overline{\rho }$  denote the residual representationattached to $\rho$  (so $\overline{\rho }$  arises from the Hecke eigenform $\overline{h}\in {S}_{2}\left({\Gamma }_{0}\left(2N\right),k\right)$  obtained by reducing $h$  modulo the maximal ideal of $A$  ).
3.18 Theorem. If $\rho :Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\to G{L}_{2}\left(A\right)$  is a modular Galois representation of level ${\Gamma }_{0}\left(2N\right)$  as above, such that
• 1. $\overline{\rho }$  is (absolutely ) irreducible,
• 2. $\overline{\rho }$  is ordinary and ramified at $2$  , and
• 3. $\rho$  is finite flat at $2$  ,
then $\rho$  arises from an $A$  -valued Hecke eigenform of level $N$  .
Proof. The Hecke eigenform $h$  corresponds to a ring homomorphism $\phi :\mathbf{T}\to A$  . Since $A$  is local of residue characteristic $2$  , the map $\phi$  factors through the completion ${\mathbf{T}}_{\mathfrak{m}}$  of $\mathbf{T}$  at some maximal ideal $\mathfrak{m}$  of residue characteristic $2$  , and the residual representation $\overline{\rho }$  is the residual Galois representation attached to the maximal ideal $\mathfrak{m}$  . We let ${\rho }_{\mathfrak{m}}$  denote the Galois representation ${\rho }_{\mathfrak{m}}:Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\to G{L}_{2}\left({\mathbf{T}}_{\mathfrak{m}}\right)$  attached to $\mathfrak{m}$  by [6,thm. 3. The Galois representation $\rho$  attached to $h$  coincides with the pushforward of ${\rho }_{\mathfrak{m}}$  via $\phi$  .
Replacing $A$  by the image of $\phi$  , we may and do assume from now on that $\phi$  is surjective.
We let $I\subset {\mathbf{T}}_{\mathfrak{m}}$  denote the kernel of $\phi$  . Since $A$  is Artinian, we may choose $r\ge 1$  so that ${2}^{r}\in I$  . Theorem  3.13 shows that the $\mathfrak{m}$  -adic Tate module $T{a}_{\mathfrak{m}}{J}_{0}\left(2N\right)$  is isomorphic as a $Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)$  -representation to ${\rho }_{\mathfrak{m}}$  ; thus ${J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}}\left(\overline{\mathbf{Q}}\right)$  is isomorphic to the reduction mod ${2}^{r}$  of ${\rho }_{\mathfrak{m}}$  . Since ${\mathbf{T}}_{\mathfrak{m}}$  is a Gorenstein ${\mathbf{Z}}_{2}$  -algebra, by corollary  3.17 , we see that ${\mathbf{T}}_{\mathfrak{m}}/{2}^{r}{\mathbf{T}}_{\mathfrak{m}}$  is a Gorenstein $\mathbf{Z}/{2}^{n}\mathbf{Z}$  -algebra, and thus that there is an isomorphism $\left({\mathbf{T}}_{\mathfrak{m}}/{2}^{r}{\mathbf{T}}_{\mathfrak{m}}\right)\left[I\right]\sim =Ho{m}_{\mathbf{Z}/{2}^{r}}\left({\mathbf{T}}_{\mathfrak{m}}/I,\mathbf{Z}/{2}^{r}\right)$  of ${\mathbf{T}}_{\mathfrak{m}}/I=A$  -modules. In particular, ${J}_{0}\left(2N\right)\left[I\right]\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\subset {J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}}\left(\overline{\mathbf{Q}}\right)$  is a faithful $A$  -module, isomorphic as an $A\left[Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\right]$  -module to $Ho{m}_{\mathbf{Z}/{2}^{r}}\left({\mathbf{T}}_{\mathfrak{m}}/I,\mathbf{Z}/{2}^{r}\right){\otimes }_{A}\rho .$  To simplify notation, we will write
 $\begin{array}{c}V:={J}_{0}\left(2N\right)\left[I\right]\left(\overline{\mathbf{Q}}\right)\sim =Ho{m}_{\mathbf{Z}/{2}^{r}}\left({\mathbf{T}}_{\mathfrak{m}}/I,\mathbf{Z}/{2}^{r}\right){\otimes }_{A}\rho .\end{array}$ (9)
By assumption, $\rho$  prolongs to a finite flat group scheme $\mathcal{ℳ}$  over $Spec{\mathbf{Z}}_{2}$  . If we fix a Jordan–Hölder filtration of $\rho$  as an $A\left[Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\right]$  -module, then the associated graded pieces are each isomorphic to $\overline{\rho }$  , and so lemma  3.14 and [5,Prop. 2.5together imply that $\mathcal{ℳ}$  is uniquely determined by $\rho$  , whilst [5,Lem. 2.4then implies that $\mathcal{ℳ}$  is naturally an $A$  -module scheme. From ( 9 ) we see that $V$  also prolongs to a finite flat $A$  -module scheme $\mathcal{V}\sim =Ho{m}_{\mathbf{Z}/{2}^{r}}\left({\mathbf{T}}_{\mathfrak{m}}/I,\mathbf{Z}/{2}^{r}\right){\otimes }_{A}\mathcal{ℳ}$  over ${\mathbf{Z}}_{2}$  . Again, lemma  3.14 and [5,Prop. 2.5show that $\mathcal{V}$  is the unique finite flat prolongation of $V$  .
Lemma  3.14 furthermore implies that $\mathcal{ℳ}$  is the extension of an étale $A$  -module scheme ${\mathcal{ℳ}}^{\text{ét}}$  by a multiplicative $A$  -module scheme ${\mathcal{ℳ}}^{0}$  , each of which is free of rank one as an $A$  -module scheme. Thus $\mathcal{V}$  is also an extension of an étale $A$  -module scheme ${\mathcal{V}}^{\text{ét}}$  by multiplicative $A$  -module scheme ${\mathcal{V}}^{0}$  , each of which is faithful as an $A$  -module scheme.
Let ${V}^{\text{ét}}$  and ${V}^{0}$  denote the generic fibres of these schemes.
We write $\mathcal{J}$  to denote the Néron model of ${J}_{0}\left(2N\right)$  over $Spec{\mathbf{Z}}_{2}$  . For a scheme over ${\mathbf{Z}}_{2}$  , use the subscript “ $s$  ” to denote its special fibre over ${\mathbf{F}}_{2}$  . The special fibre ${\mathcal{J}}_{s}$  admits the following filtration by $\mathbf{T}$  -invariant closed subgroups:
$0\subset T\subset {\mathcal{J}}_{s}^{0}\subset {\mathcal{J}}_{s},$  where $T$  is the maximal torus contained in ${\mathcal{J}}_{s},$  and ${\mathcal{J}}_{s}^{0}$  is the connected component of the identity of ${\mathcal{J}}_{s}$  . The quotient ${\mathcal{J}}_{s}^{0}/T$  is an abelian variety on which $\mathbf{T}$  acts through its quotient ${\mathbf{T}}_{old}$  (where ${\mathbf{T}}_{old}$  denotes the quotient of $\mathbf{T}$  that acts faithfully on the space of $2$  -old forms of level $2N$  ). The connected component group $\Phi :={\mathcal{J}}_{s}/{\mathcal{J}}_{s}^{0}$  is Eisenstein [22,Thm. 3.12.
The following lemma provides an analogue in our situation of [22,lem. 6.2(and generalizes one step of the argument in the proof of [12,thm. 2.8).
3.19 Lemma. The Zariski closure of $V$  in $\mathcal{J}$  is a finite flat $A$  -module scheme over ${\mathbf{Z}}_{2}$  (which is thus isomorphic to $\mathcal{V}$  ).
Proof. Since ${\mathcal{V}}^{0}$  is a multiplicative type group scheme, inertia at $2$  acts on ${V}^{0}\left({\overline{\mathbf{Q}}}_{2}\right)$  through the cyclotomic character. It follows from lemma  3.16 that ${V}^{0}$  is contained in the generic fibre of ${J}_{0}\left(2N\right)\left[{2}^{r}{\right]}_{\mathfrak{m}/{\mathbf{Z}}_{2}}^{0}$  , and thus that the Zariski closure of ${V}^{0}$  in $\mathcal{J}$  is indeed finite flat, and in fact of multiplicative type. Thus it coincides with ${\mathcal{V}}^{0}$  , and so we see that the embedding of ${V}^{0}$  in ${J}_{0}\left(2N\right)$  prolongs to an embedding of ${\mathcal{V}}^{0}$  in $\mathcal{J}$  . Since the quotient ${\mathcal{V}}^{\text{ét}}=\mathcal{V}/{\mathcal{V}}^{0}$  is étale, lemma 5.9.2 of [15,ExposéIXserves to complete the proof of the lemma. $\square$
Lemma  3.19 allows us to regard $\mathcal{V}$  as a closed $\mathbf{T}$  -submodule scheme of $\mathcal{J}$  , and thus to regard ${\mathcal{V}}_{s}$  as a closed $\mathbf{T}$  -submodule scheme of ${\mathcal{J}}_{s}$  . Since $\overline{\rho }$  is irreducible and $\Phi$  is Eisenstein, we see that ${\mathcal{V}}_{s}$  is in fact contained in ${\mathcal{J}}_{s}^{0}$  . On the other hand, since $T$  is a torus, we see that ${\mathcal{V}}_{s}\cap T\subset {\mathcal{V}}_{s}^{0}$  . Thus ${\mathcal{V}}_{s}^{\text{ét}}$  appears as a subquotient of ${\mathcal{J}}_{s}^{0}/T$  , and in particular the $\mathbf{T}$  -action on ${\mathcal{V}}^{\text{ét}}$  factors through the quotient ${\mathbf{T}}_{old}$  of $\mathbf{T}$  . Since ${\mathcal{V}}_{s}^{\text{ét}}$  is a faithful $A$  -module scheme, we see that the map $\phi :\mathbf{T}\to A$  factors through ${\mathbf{T}}_{old}$  , completing the proof of the theorem.
$\square$
We remark that the obvious analogue of theorem  3.18 in the case of odd residue characteristic is also true. The proof is similar but easier, relying on the uniqueness results on finite flat models due to Raynaud [21. Of course, in those cases when the $R=\mathbf{T}$  theorem of Wiles, Taylor–Wiles, and Diamond [9, 26, 29applies, it is an immediate consequence of that theorem. (Thus theorem  3.18 may be regarded as evidence for an $R=\mathbf{T}$  theorem for those $\overline{\rho }$  of residue characteristic $2$  that satisfy its hypotheses.)

4 $N$  a proper prime power

There are only finitely many elliptic curves of conductor ${2}^{k}$  for all $k$  , and we may explicitly determine which have odd modular degree. Therefore we assume that $E$  has conductor $N$  , where $N={p}^{k}$  with $k\ge 2$  and $p\ge 3$  . Let $\chi$  be the unique quadratic character of conductor $p$  . Let ${E}^{\prime }$  be the elliptic curve $E$  twisted by $\chi$  . The curve ${E}^{\prime }$  also has conductor $N$  , and moreover the associated modular forms ${f}_{E}$  and ${f}_{{E}^{\prime }}$  are congruent modulo $2$  , since twisting by quadratic characters preserves $E\left[2\right]$  . Since $N$  is odd, any non-trivial congruence modulo $2$  between ${f}_{E}$  and other forms in ${S}_{2}\left({\Gamma }_{0}\left(N\right)\right)$  forces the modular degree ${m}_{E}$  to be even [30. Thus we are done unless ${f}_{E}={f}_{{E}^{\prime }}={f}_{E}\otimes \chi$  . In particular, the representations associated to ${f}_{E}$  must be induced from a quadratic field, and thus $E$  has complex multiplication. (Alternatively, the equality ${f}_{E}={f}_{{E}^{\prime }}$  implies that $E$  is isogenous to its twist and deduce this way that $E$  has CM.) If $E$  has CM and prime power conductor then $E$  is one of finitely many well known elliptic curves, for which we can directly determine the modular degree by consulting current databases (for $N={163}^{2}$  , we use the elliptic curve database of Stein–Watkins, described in [23).

5 Further remarks

Certainly not every $E$  satisfying the conditions of theorem  1.1 will actually have odd modular degree, and one could try to refine this result by deducing additional necessary conditions that $E$  must satisfy in order to have odd modular degree. In this section we say a little about the related question of whether or not $2$  is a congruence prime for the associated modular form ${f}_{E}$  , when $E$  satisfies either of conditions (3a) or (3b) of the theorem.
For curves $E$  with a rational two torsion point, the modular form ${f}_{E}$  automatically satisfies a mod two congruence with an Eisenstein series, and so detecting whether $f$  satisfies a congruence with a cuspform is a more subtle phenomenon than in the non-Eisenstein situation. One approach might be to relate the Hecke algebra to an appropriate universal deformation ring (if the latter exists). If $N$  is prime this can be done [5, and this enables one to determine when ${\mathbf{T}}_{\mathfrak{m}}={\mathbf{Z}}_{2}$  for such representations. The specific determination of when ${\mathbf{T}}_{\mathfrak{m}}={\mathbf{Z}}_{2}$  , however, was already achieved (for $N$  prime and $\overline{\rho }$  reducible) by Merel in [20:
5.1 Theorem. Let $N\equiv 1mod8$  be prime, and let ${\mathbf{T}}_{\mathfrak{m}}$  be the localization of the Eisenstein prime at $2$  . Then ${\mathbf{T}}_{\mathfrak{m}}\ne {\mathbf{Z}}_{2}$  if and only if $N={u}^{2}+16{v}^{2}$  and $v\equiv \left(N-1\right)/8mod2$  .
If $E$  is a Neumann–Setzer curve, then $N={u}^{2}+64$  for some $u\in \mathbf{Z}$  . The result of Merel above then clearly implies that the optimal Neumann–Setzer curve $E$  has odd modular degree if and only if $N\not\equiv 1mod16$  . (An alternative proof of this fact, relying on the results of [18, is given in [24, thm. 2.1.) If $E$  has composite conductor, then one might try to generalize the results of [20or [5to this setting.
Suppose now that $E$  has prime conductor, that $\overline{\rho }$  is irreducible and supersingular, and that $\mathbf{Q}\left(E\left[2\right]\right)$  is totally complex. Let $K$  and $L$  be the extensions of $\mathbf{Q}$  attached to $E$  as in the discussion of section  3 . If one had an $R=\mathbf{T}$  result of the type discussed in the introduction, then to obtain further necessary conditions for $E$  to have odd modular degree, it would suffice to establish sufficient conditions for the existence of an appropriate non-trivial minimal deformation $\rho :{G}_{\mathbf{Q}}\to G{L}_{2}\left({\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right)$  lifting $\overline{\rho }$  . For representations $\overline{\rho }$  that were complex and ramified at $2$  , but ordinary, we constructed such a $\rho$  directly in subsection  3.10 by considering a quadratic genus field extension of $L$  . When $E$  is supersingular, such deformations $\rho$  (when they exist) may be more subtle and can not necessarily be constructed so directly. One can however prove the following result.
Recall that if $\overline{\rho }$  is supersingular and totally complex, then $K/\mathbf{Q}$  is totally ramified at $2$  and $K$  has exactly two complex embeddings.
5.2 Proposition. Suppose $\overline{\rho }$  is supersingular at $2$  and totally complex. If either:
• 1. the class number of $K$  is even, or
• 2. the fundamental unit $\epsilon$  of ${\mathcal{O}}_{K}$  satisfies ${v}_{\pi }\left(\epsilon -1\right)\ge 2$  , where $\pi$  is the unique prime above $2$  in ${\mathcal{O}}_{K}$  ,
then there exists a non-trivial minimal deformation $\rho :Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)\to S{L}_{2}\left({\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right).$
Note that $S{L}_{2}\left({\mathbf{F}}_{2}\left[x\right]/\left({x}^{2}\right)\right)\sim ={S}_{4}×\mathbf{Z}/2\mathbf{Z}$  . The idea behind the proof of this result is to study ${A}_{4}$  extensions $H$  containing $L$  that are minimally ramified at $2$  and unramified at $N$  . Such extensions can be obtained by considering the Galois closure over $\mathbf{Q}$  of certain quadratic extensions of $K$  . One obtains a suitable such extension either by considering an unramified extension of $K$  , in case (1), or the extension $K\left(\sqrt{{\epsilon }_{K}}\right)$  , in case (2).
References

1. A. Agashe, The Birch and Swinnerton-Dyer formula for modular abelian varieties of analytic rank zero, Berkeley Ph.D. Thesis, 2000.
2. N. Boston, H. Lenstra, K. Ribet, Quotients of group rings arising from two-dimensional representations, C. R. Acad. Sci. Paris, Série I 312 (1991), 323–328.
3. C. Breuil, B. Conrad, F. Diamond, R. Taylor, On the modularity of elliptic curves over $\mathbf{Q}$  : wild $3$  -adic exercises, J. Amer. Math. Soc. 14 (2001), no. 4, 843–939.
4. K. Buzzard, On level-lowering for mod 2 representations, Math. Res. Lett. 7 (2000), no. 1, 95–110.
5. F. Calegari, M. Emerton, On the ramification of Hecke algebras at Eisenstein primes, to appear in Invent. Math.
6. H. Carayol, Formes modulaires et répresentations Galoisiennes á valeurs dans un anneau local complet, in $p$  -adic monodromy and the Birch and Swinnerton-Dyer conjecture (B. Mazur, G. Stevens, eds.), Contemp. Math. 165 (1994), 213–235.
7. J. Cremona, M. Watkins, data available at http://www.maths.nott.ac.uk/personal/jec/ftp/data
8. E. de Shalit, Hecke rings and universal deformation rings, in Modular forms and Fermat's last theorem (Boston, MA, 1995), 421–445, Springer.
9. F. Diamond, On deformation rings and Hecke rings, Ann. Math. 144 (1996), no. 1, 137–166.
10. M. Dickinson, On the modularity of certain $2$  -adic Galois representations, Duke Math. J. 109 (2001), no. 2, 319–382.
11. N. Dummigan On a conjecture of Watkins, preprint, 2004.
12. B. Edixhoven, The weight in Serre's conjectures on modular forms, Invent. Math. 109 (1992), no. 3, 563–594.
13. J. Fontaine, Il n'y a pas de variété abélienne sur $\mathbf{Z}$  , Invent. Math. 81, 1985, no. 3, 515–538.
14. B. Gross, A tameness criterion for Galois representations associated to modular forms (mod $p$  ), Duke Math. J. 61 (1990), no. 2, 445–517.
15. A. Grothendieck, Groups de monodromie en géométrie algébrique I, (SGA 7), Séminaire de Géométrie Algébrique du Bois-Marie, 1967-1969, Lecture Notes in Math., vol. 288 , Springer-Verlag, Berlin and New York, 1972, 313–523.
16. L. Kilford, Some non-Gorenstein Hecke algebras attached to spaces of modular forms, J. Number Theory 97 (2002), no. 1, 157–164.
17. W. Li, Newforms and functional equations, Math. Ann. 212 (1975), 285–315.
18. B. Mazur, Modular curves and the Eisenstein ideal, Publ. Math. IHES 47 (1977), 33–186.
19. B. Mazur Rational isogenies of prime degree, Invent. Math. 44 (1978), no. 2, 129–162.
20. L. Merel, L'accouplement de Weil entre le sous-groupe de Shimura et le sous-groupe cuspidal de ${J}_{0}\left(p\right)$  , J. Reine Angew. Math. 477 (1996), 71–115.
21. M. Raynaud, Schémas en groupes de type $\left(p,...,p\right)$  , Bull. Soc. Math. France 102 (1974), 241–280.
22. K. Ribet, On modular representations of $Gal\left(\overline{\mathbf{Q}}/\mathbf{Q}\right)$  arising from modular forms, Invent. Math. 100, (1990), no. 2, 431–476.
23. W. Stein, M. Watkins, A Database of Elliptic Curves—First Report, Algorithmic number theory (Sydney, 2002), 267–275, Lecture Notes in Comput. Sci., 2369, Springer, Berlin, 2002.
24. W. Stein, M. Watkins, Modular parametrizations of Neumann–Setzer elliptic curves, IMRN, no. 27 (2004), 1395–1405.
25. J. Tate, The non-existence of certain Galois extensions of $\mathbf{Q}$  unramified outside $2$  , in Arithmetic Geometry (N. Childress, J. Jones, eds.), Contemp. Math. 174 (1994), 153–156.
26. R. Taylor, A. Wiles, Ring-theoretic properties of certain Hecke algebras, Ann. Math. 141 (1995), no. 3, 553–572.
27. M. Watkins, Computing the modular degree of an elliptic curve, Experiment. Math. 11 (2002), no. 4, 487–502.
28. G. Wiese, Dihedral Galois representations and Katz modular forms, Doc. Math. 9 (2004), 123–133.
29. A. Wiles, Modular elliptic curves and Fermat's last theorem, Ann. Math. 141 (1995), no. 3, 443–551.
30. D. Zagier, Modular parametrizations of elliptic curves, Canad. Math. Bull. 28 (1985), no. 3, 372–384.