\documentclass[12pt]{article} \newcommand{\doc}{Detailed Research Plan} \newcommand{\myname}{William A.\ Stein} \newcommand{\phone}{(510) 883-9938} \newcommand{\email}{{\tt was@math.berkeley.edu}} \newcommand{\www}{{\tt http://www.math.berkeley.edu/\~{\mbox{}}was}} \newcommand{\address}{2041 Francisco Street, \#14\\ Berkeley, CA 94709\\ USA} \hoffset=-.1\textwidth \textwidth=1.2\textwidth \voffset=-.1\textheight \textheight=1.2\textheight \usepackage{fancyhdr,ifthen} \pagestyle{fancy} \cfoot{} % no footers (in pagestyle fancy) % running left heading \lhead{\bfseries\LARGE\em \noindent{}\hspace{-.2em}\myname{} \hfill \doc\vspace{-.2ex}\\} % running right heading \newcommand{\spc}{.33ex} %\rhead{\em {\small{\phone{}}} \hspace{\spc}$\bullet$\hspace{\spc} \email{} % \hspace{\spc}$\bullet$\hspace{\spc} \www{}} % adjust, because the header is now taller than usual. \rhead{} \setlength{\headheight}{7ex} \usepackage{amsmath} \usepackage{amsthm} \usepackage{amssymb} \newcommand{\Adual}{A^{\vee}} \newcommand{\isom}{\cong} %\newcommand{\ncisom}{\approx} %\newcommand{\mysection}[1]{\vspace{12pt}\noindent{\large\bf #1}\vspace{1ex}} \newcommand{\mysection}[1]{\section{#1}\vspace{-1.5ex}} %\newcommand{\mysubsection}[1]{\noindent{\bf #1}} \newcommand{\mysubsection}[1]{\subsection{#1}\vspace{-1ex}} \newcommand{\Q}{\mathbf{Q}} \newcommand{\Z}{\mathbf{Z}} \newcommand{\R}{\mathbf{R}} \newcommand{\C}{\mathbf{C}} \newcommand{\PGL}{\mbox{\rm PGL}} \newcommand{\GL}{\mbox{\rm GL}} \newcommand{\Div}{\mbox{\rm Div}} \newcommand{\GQ}{G_\Q} \newcommand{\ra}{\rightarrow} \newcommand{\tensor}{\otimes} \DeclareMathOperator{\tor}{tor} \font\cyr=wncyr10 scaled \magstep 1 \newcommand{\Sha}{\mbox{\cyr X}} \font\cyrbig=wncyr10 scaled \magstep 2 \newcommand{\BigSha}{\mbox{\cyrbig X}} \newcommand{\intersect}{\cap} \newcommand{\comment}[1]{} \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{corollary}[theorem]{Corollary} \newtheorem{conjecture}[theorem]{Conjecture} \begin{document} \begin{center} {\LARGE \bf \doc}\\ \end{center} \mysection{Introduction} My research program reflects the essential interplay between abstract theory and explicit machine computation during the latter half of the twentieth century; it sits at the intersection of recent work of B.~Mazur, K.~Ribet, J-P.~Serre, R.~Taylor, and A.~Wiles on Galois representations attached to modular abelian varieties (see \cite{ribet:modreps, serre:conjectures, taylor-wiles:fermat, wiles:fermat}) with work of J.~Cremona, N.~Elkies, and J.-F.~Mestre on explicit computations involving modular forms (see \cite{cremona:algs, elkies:ffield}). In 1969 B.~Birch~\cite{birch:bsd} described computations that led to the most fundamental open conjecture in the theory of elliptic curves: \begin{quote} I want to describe some computations undertaken by myself and Swinnerton-Dyer on EDSAC by which we have calculated the zeta-functions of certain elliptic curves. As a result of these computations we have found an analogue for an elliptic curve of the Tamagawa number of an algebraic group; and conjectures (due to ourselves, due to Tate, and due to others) have proliferated. \end{quote} The rich tapestry of arithmetic conjectures and theory we enjoy today would not exist without the ground-breaking application of computing by Birch and Swinnerton-Dyer. Computations in the 1980s by Mestre were key in convincing Serre that his conjectures on modularity of odd irreducible Galois representations were worthy of serious consideration (see~\cite{serre:conjectures}). These conjectures have inspired much recent work; for example, Ribet's proof of the $\epsilon$-conjecture, which played an essential role in Wiles's proof of Fermat's Last Theorem. My work on the Birch and Swinnerton-Dyer conjecture for modular abelian varieties and search for new examples of modular icosahedral Galois representations has led me to discover and implement algorithms for explicitly computing with modular forms. My research, which involves finding ways to compute with modular forms and modular abelian varieties, is driven by outstanding conjectures in number theory. \mysection{Invariants of modular abelian varieties} Now that the Shimura-Taniyama conjecture has been proved, the main outstanding problem in the field is the Birch and Swinnerton-Dyer conjecture (BSD conjecture), which ties together the arithmetic invariants of an elliptic curve. There is no general class of elliptic curves for which the full BSD conjecture is known. Approaches to the BSD conjecture that rely on congruences between modular forms are likely to require a deeper understanding of the analogous conjecture for higher-dimensional abelian varieties. As a first step, I have obtained theorems that make possible explicit computation of some of the arithmetic invariants of modular abelian varieties. \mysubsection{The BSD conjecture} By~\cite{breuil-conrad-diamond-taylor} we now know that every elliptic curve over~$\Q$ is a quotient of the curve~$X_0(N)$ whose complex points are the isomorphism classes of pairs consisting of a (generalized) elliptic curve and a cyclic subgroup of order~$N$. Let~$J_0(N)$ denote the Jacobian of $X_0(N)$; this is an abelian variety of dimension equal to the genus of~$X_0(N)$ whose points correspond to the degree~$0$ divisor classes on~$X_0(N)$. An {\em optimal quotient} of $J_0(N)$ is a quotient by an abelian subvariety. Consider an optimal quotient~$A$ such that $L(A,1)\neq 0$. By~\cite{kolyvagin-logachev:totallyreal},~$A(\Q)$ and~$\Sha(A/\Q)$ are both finite. The BSD conjecture asserts that $$\frac{L(A,1)}{\Omega_A} = \frac{\#\Sha(A/\Q)\cdot\prod_{p\mid N} c_p} {\# A(\Q)\cdot\#\Adual(\Q)}.$$ Here the Shafarevich-Tate group $\Sha(A/\Q)$ is a measure of the failure of the local-to-global principle; the Tamagawa numbers~$c_p$ are the orders of the component groups of~$A$; the real number~$\Omega_A$ is the volume of~$A(\R)$ with respect to a basis of differentials having everywhere nonzero good reduction; and~$\Adual$ is the dual of~$A$. My goal is to verify the full conjecture for many specific abelian varieties on a case-by-case basis. This is the first step in a program to verify the above conjecture for an infinite family of quotients of~$J_0(N)$. \mysubsection{The ratio $L(A,1)/\Omega_A$} Following Y.~Manin's work on elliptic curves, A.~Agash\'e and I proved the following theorem in~\cite{stein:vissha}. \begin{theorem}\label{thm:ratpart} Let~$m$ be the largest square dividing~$N$. The ratio $L(A,1)/\Omega_A$ is a rational number that can be explicitly computed, up to a unit (conjecturally $1$) in $\Z[1/(2m)]$. \end{theorem} The proof uses modular symbols combined with an extension of the argument used by Mazur in~\cite{mazur:rational} to bound the Manin constant. The ratio $L(A,1)/\Omega_A$ is expressed as the lattice index of two modules over the Hecke algebra. I expect the method to give similar results for special values of twists, and of $L$-functions attached to eigenforms of higher weight. I have computed $L(A,1)/\Omega_A$ for all optimal quotients of level $N\leq 1500$; this table continues to be of value to number theorists. \mysubsection{The torsion subgroup} I can compute upper and lower bounds on $\#A(\Q)_{\tor}$, but I can not determine $\#A(\Q)_{\tor}$ in all cases. Experimentally, the deviation between the upper and lower bound is reflected in congruences with forms of lower level; I hope to exploit this in a precise way. I also obtained the following intriguing corollary that suggests cancellation between torsion and~$c_p$; it generalizes to higher weight forms, thus suggesting a geometric explanation for reducibility of Galois representations. \begin{corollary} Let~$n$ be the order of the image of $(0)-(\infty)$ in $A(\Q)$, and let~$m$ be the largest square dividing~$N$. Then $\displaystyle n\cdot L(A,1)/\Omega_A$ is an integer, up to a unit in $\Z[1/(2m)]$. \end{corollary} \mysubsection{Tamagawa numbers} \begin{theorem}\label{thm:tamagawa} When $p^2\nmid N$, the number~$c_p$ can be explicitly computed (up to a power of~$2$). \end{theorem} I prove this in~\cite{stein:compgroup}. Several related problems remain: when $p^2 \mid N$ it may be possible to compute~$c_p$ using the Drinfeld-Katz-Mazur interpretation of~$X_0(N)$; it should also be possible to use my methods to treat optimal quotients of $J_1(N)$. I was surprised to find that systematic computations using this formula indicate the following conjectural refinement of a result of Mazur~\cite{mazur:eisenstein}. \begin{conjecture} Suppose~$N$ is prime and~$A$ is an optimal quotient of $J_0(N)$. Then $A(\Q)_{\tor}$ is generated by the image of $(0)-(\infty)$ and $c_p = \#A(\Q)_{\tor}$. Furthermore, the product of the~$c_p$ over all optimal factors equals the numerator of $(N-1)/12$. \end{conjecture} I have checked this conjecture for all $N\leq 997$ and, up to a power of~$2$, for all $N\leq 2113$. The first part is known when~$A$ is an elliptic curve (see~\cite{mestre-oesterle:crelle}). Upon hearing of this conjecture, Mazur proved it when all ``$q$-Eisenstein quotients'' are simple. There are three promising approaches to finding a complete proof. One involves the explicit formula of Theorem~\ref{thm:tamagawa}; another is based on Ribet's level lowering theorem, and a third makes use of a simplicity result of Merel. Theorem~\ref{thm:tamagawa} also suggests a way to compute Tamagawa numbers of motives attached to eigenforms of higher weight. These numbers appear in the conjectures of Bloch and Kato, which generalize the BSD conjecture to motives (see~\cite{bloch-kato}). \mysubsection{Upper bounds on $\#\BigSha$} V.~Kolyvagin and K.~Kato~\cite{kolyvagin:structureofsha, scholl:kato} obtained upper bounds on~$\#\Sha(A)$. To verify the full BSD conjecture for certain abelian varieties, it is necessary is to make these bounds explicit. Kolyvagin's bounds involve computations with Heegner points, and Kato's involve a study of the Galois representations associated to~$A$. I plan to carry out such computations in many specific cases. \mysubsection{Lower bounds on $\#\BigSha$} One approach to showing that~$\Sha$ is as large as predicted by the BSD conjecture is suggested by Mazur's notion of the visible part of~$\Sha$ (see~\cite{cremona-mazur, mazur:visthree}). Let~$\Adual$ be the dual of~$A$. The visible part of $\Sha(\Adual/\Q)$ is the kernel of $\Sha(\Adual/\Q)\ra \Sha(J_0(N))$. Mazur observed that if an element of order~$p$ in~$\Sha(\Adual/\Q)$ is visible, then it is explained by a jump in the rank of Mordell-Weil in the sense that there is another abelian subvariety $B\subset J_0(N)$ such that $p \mid \#(\Adual\intersect B)$ and the rank of~$B$ is positive. I think that this observation can be turned around: if there is another abelian variety~$B$ of positive rank such that $p\mid \#(\Adual\intersect B)$, then, under mild hypotheses, there is an element of~$\Sha(\Adual/\Q)$ of order~$p$. Thus the theory of congruences between modular forms can be used to obtain a lower bound on~$\#\Sha(\Adual/\Q)$. I am trying to use the cohomological methods of~\cite{mazur:tower} and suggestions of B.~Conrad and Mazur to prove the following conjecture. \begin{conjecture} Let~$\Adual$ and~$B$ be abelian subvarieties of~$J_0(N)$. Suppose that $p\mid \#(\Adual\intersect B)$, that~$p\nmid N$, and that~$p$ does not divide the order of any of the torsion subgroups or component groups of~$A$ or~$B$. Then $(B(\Q) \oplus \Sha(B/\Q))\tensor\Z/p\Z \isom (\Adual(\Q)\oplus \Sha(\Adual/\Q) )\tensor\Z/p\Z$. \end{conjecture} Unfortunately, $\Sha(\Adual/\Q)$ can fail to be visible inside~$J_0(N)$. For example, I found that the BSD conjecture predicts the existence of invisible elements of odd order in~$\Sha$ for at least~$15$ of the~$37$ optimal quotients of prime level $\leq 2113$. For every integer~$M$ (Ribet~\cite{ribet:raising} tells us which~$M$ to choose), we can consider the images of~$\Adual$ in $J_0(NM)$. There is not yet enough evidence to conjecture the existence of an integer~$M$ such that all of $\Sha(\Adual/\Q)$ is visible in $J_0(NM)$. I am gathering data to determine whether or not to expect the existence of such~$M$. \mysubsection{Motivation for considering abelian varieties} If $A$ is an elliptic curve, then explaining~$\Sha(A/\Q)$ using only congruences between elliptic curves is bound to fail. This is because pairs of nonisogenous elliptic curves with isomorphic $p$-torsion are, according to E.~Kani's conjecture, extremely rare. It is crucial to understand what happens in all dimensions. Within the range accessible by computer, abelian varieties exhibit more richly textured structure than elliptic curves. For example, I discovered a visible element of prime order $83341$ in the Shafarevich-Tate group of an abelian variety of prime conductor~$2333$; in contrast, over all optimal elliptic curves of conductor up to $5500$, it appears that the largest order of an element of a Shafarevich-Tate group is~$7$. \mysection{Conjectures of Artin, Merel, and Serre} \mysubsection{Icosahedral Galois representations} E.~Artin conjectured in~\cite{artin:conjecture} that the $L$-series associated to any continuous irreducible representation $\rho:\GQ\ra \GL_n(\C)$, with $n>1$, is entire. Recent exciting work of Taylor and others suggests that a complete proof of Artin's conjecture, in the case when $n=2$ and~$\rho$ is odd, is on the horizon. This case of Artin's conjecture is known when the image of~$\rho$ in $\PGL_2(\C)$ is solvable (see~\cite{tunnell:artin}), and in infinitely many cases when the image of~$\rho$ is not solvable (see~\cite{bdsbt}). In 1998, K.~Buzzard suggested a way to combine the main theorem of~\cite{buzzard-taylor}, along with a computer computation, to deduce modularity of certain icosahedral Galois representations. Buzzard and I recently obtained the following theorem. \begin{theorem} The icosahedral Artin representations of conductor~$1376=2^5\cdot 43$ are modular. \end{theorem} We expect our method to yield several more examples. These ongoing computations are laying a small part of the technical foundations necessary for a full proof of the Artin conjecture for odd two dimensional~$\rho$, as well as stimulating the development of new algorithms for computing with modular forms using modular symbols in characteristic~$\ell$. \mysubsection{Cyclotomic points on modular curves} If~$E$ is an elliptic curve over~$\Q$ and~$p$ is an odd prime, then the $p$-torsion on~$E$ can not all lie in~$\Q$; because of the Weil pairing the $p$-torsion generates a field that contains~$\Q(\mu_p)$. For which primes~$p$ does there exist an elliptic curve~$E$ over $\Q(\mu_p)$ with all of its $p$-torsion rational over $\Q(\mu_p)$? When $p=2,3,5$ the corresponding moduli space has genus zero and infinitely many examples exist. Recent work of L.~Merel, combined with computations he enlisted me to do, suggest that these are the only primes~$p$ for which such elliptic curves exist. In~\cite{merel:cyclo}, Merel exploits cyclotomic analogues of the techniques used in his proof of the uniform boundedness conjecture to obtain an explicit criterion that can be used to answer the above question for many primes~$p$, on a case-by-case basis. Theoretical work of Merel, combined with my computations of twisted $L$-values and character groups of tori, give the following result (see~\cite[\S3.2]{merel:cyclo}): \begin{theorem} Let $p \equiv 3\pmod{4}$ be a prime satisfying $7 \leq p < 1000$. There are no elliptic curves over $\Q(\mu_p)$ all of whose $p$-torsion is rational over $\Q(\mu_p)$. \end{theorem} The case in which~$p$ is congruent to~$1$ modulo~$4$ presents additional difficulties that involve showing that~$Y(p)$ has no $\Q(\sqrt{p})$-rational points. Merel and I hope to tackle these difficulties in the near future. \mysubsection{Serre's conjecture modulo $pq$} Let~$p$ and~$q$ be primes, and consider a continuous representation $\rho:\GQ\ra \GL(2,\Z/pq\Z)$ that is irreducible in the sense that its reductions modulo~$p$ and modulo~$q$ are both irreducible. Call~$\rho$ {\em modular} if there is a modular form~$f$ such that a mod~$p$ representation attached to~$f$ is the mod~$p$ reduction of~$\rho$, and ditto for~$q$. I have carried out specific computations suggested by Mazur in hopes of determining when one should expect that such mod~$pq$ representations are modular; the computation suggests that the right conjectures are elusive. Ribet's theorem (see~\cite{ribet:raising}) produces infinitely many levels $pq\ell$ at which there is a form giving rise to $\rho$~mod~$p$ and another giving rise to $\rho$~mod~$q$; we hope to determine if for some~$\ell$ there is a single form giving rise to both reductions. \mysection{Genus one curves} The index of an algebraic curve~$C$ over~$\Q$ is the order of the cokernel of the degree map $\Div_\Q(C)\ra\Z$; rationality of the canonical divisor implies that the index divides $2g-2$, where~$g$ is the genus of~$C$. When $g=1$ this is no condition at all; Artin conjectured, and Lang and Tate~\cite{lang-tate} proved, that for every integer~$m$ there is a genus one curve of index~$m$ over some number field. Their construction yields genus one curves over~$\Q$ only for a few values of~$m$, and they ask whether one can find genus one curves over~$\Q$ of every index. I have answered this question for odd~$m$. \begin{theorem} Let~$K$ be any number field. There are genus one curves over~$K$ of every odd index. \end{theorem} The proof involves showing that enough cohomology classes in Kolyvagin's Euler system of Heegner points do not vanish combined with explicit Heegner point computations. I hope to show that curves of every index occur, and to determine the consequences of my nonvanishing result for Selmer groups. This can be viewed as a contribution to the problem of understanding $H^1(\Q,E)$. \providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace} \newcommand{\closer}{\vspace{-1.5ex}} \begin{thebibliography}{10} \bibitem{agashe} A.~Agash\'{e}, \emph{On invisible elements of the {T}ate-{S}hafarevich group}, C. R. Acad. Sci. Paris S\'er. I Math. \textbf{328} (1999), no.~5, 369--374. \closer \bibitem{stein:vissha} A.~Agash\'{e} and W.\thinspace{}A. Stein, \emph{Visibility of {S}hafarevich-{T}ate groups of modular abelian varieties}, in preparation (1999). \closer \bibitem{artin:conjecture} E.~Artin, \emph{{\"U}ber eine neue {A}rt von {L}-{R}eihen}, Abh. Math. Sem. Univ. Hamburg \textbf{3} (1923), 89--108. \closer \bibitem{birch:bsd} B.\thinspace{}J. Birch, \emph{Elliptic curves over \protect{${\mathbf{Q}}$: {A}} progress report}, 1969 Number Theory Institute (Proc. Sympos. Pure Math., Vol. XX, State Univ. New York, Stony Brook, N.Y., 1969), Amer. Math. Soc., Providence, R.I., 1971, pp.~396--400. \closer \bibitem{bloch-kato} S.~Bloch and K.~Kato, \emph{\protect{${L}$}-functions and \protect{T}amagawa numbers of motives}, The Grothendieck Festschrift, Vol. \protect{I}, Birkh\"auser Boston, Boston, MA, 1990, pp.~333--400. \closer \bibitem{breuil-conrad-diamond-taylor} C.~Breuil, B.~Conrad, F.~Diamond, and R.~Taylor, \emph{On the modularity of elliptic curves over~\protect{$\Q$}}, in preparation. \closer \bibitem{bdsbt} K.~Buzzard, M.~Dickinson, N.~Shepherd-Barron, and R.~Taylor, \emph{On icosahedral {A}rtin representations}, available at {\tt http://www.math.harvard.edu/\~{}rtaylor/}. \closer \bibitem{buzzard-taylor} K.~Buzzard and R.~Taylor, \emph{Companion forms and weight one forms}, Annals of Math. (1999). \closer \bibitem{cremona:algs} J.\thinspace{}E. Cremona, \emph{Algorithms for modular elliptic curves}, second ed., Cambridge University Press, Cambridge, 1997. \closer \bibitem{cremona-mazur} J.\thinspace{}E. Cremona and B.~Mazur, \emph{Visualizing elements in the \protect{Shafarevich-Tate} group}, Proceedings of the Arizona Winter School (1998). \closer \bibitem{elkies:ffield} N.\thinspace{}D. Elkies, \emph{Elliptic and modular curves over finite fields and related computational issues}, Computational perspectives on number theory (Chicago, IL, 1995), Amer. Math. Soc., Providence, RI, 1998, pp.~21--76. \closer \bibitem{kolyvagin:structureofsha} V.\thinspace{}A. Kolyvagin, \emph{On the structure of {S}hafarevich-{T}ate groups}, Algebraic geometry (Chicago, IL, 1989), Springer, Berlin, 1991, pp.~94--121. \closer \bibitem{kolyvagin-logachev:totallyreal} V.\thinspace{}A. Kolyvagin and D.\thinspace{}Y. Logachev, \emph{Finiteness of \protect{$\Sha$} over totally real fields}, Math. USSR Izvestiya \textbf{39} (1992), no.~1, 829--853. \closer \bibitem{lang-tate} S.~Lang and J.~Tate, \emph{Principal homogeneous spaces over abelian varieties}, Amer. J. Math. \textbf{80} (1958), 659--684. \closer \bibitem{mazur:tower} B.~Mazur, \emph{Rational points of abelian varieties with values in towers of number fields}, Invent. Math. \textbf{18} (1972), 183--266. \closer \bibitem{mazur:eisenstein} \bysame, \emph{Modular curves and the \protect{Eisenstein} ideal}, Inst. Hautes \'Etudes Sci. Publ. Math. (1977), no.~47, 33--186 (1978). \closer \bibitem{mazur:rational} \bysame, \emph{Rational isogenies of prime degree (with an appendix by {D}. {G}oldfeld)}, Invent. Math. \textbf{44} (1978), no.~2, 129--162. \closer \bibitem{mazur:visthree} \bysame, \emph{Visualizing elements of order three in the {S}hafarevich-{T}ate group}, preprint (1999). \closer \bibitem{merel:cyclo} L.~Merel, \emph{Sur la nature non-cyclotomique des points d'ordre fini des courbes elliptiques}, preprint (1999). \closer %\bibitem{mestre:graphs} %J.-F. Mestre, \emph{La m\'ethode des graphes. \protect{Exemples} et % applications}, Proceedings of the international conference on class numbers % and fundamental units of algebraic number fields (Katata) (1986), 217--242. %\closer \bibitem{mestre-oesterle:crelle} J.-F. Mestre and J.~Oesterl{\'e}, \emph{Courbes de {W}eil semi-stables de discriminant une puissance \protect{$m$}-i\`eme}, J. Reine Angew. Math. \textbf{400} (1989), 173--184. \closer \bibitem{ribet:modreps} K.\thinspace{}A. Ribet, \emph{On modular representations of \protect{${\rm {G}al}(\overline{\bf{Q}}/{\bf {Q}})$} arising from modular forms}, Invent. Math. \textbf{100} (1990), no.~2, 431--476. \closer \bibitem{ribet:raising} \bysame, \emph{Raising the levels of modular representations}, S\'eminaire de Th\'eorie des Nombres, Paris 1987--88, Birkh\"auser Boston, Boston, MA, 1990, pp.~259--271. \closer \bibitem{scholl:kato} A.\thinspace{}J. Scholl, \emph{An introduction to {K}ato's {E}uler systems}, Galois Representations in Arithmetic Algebraic Geometry, Cambridge University Press, 1998, pp.~379--460. \closer \bibitem{serre:conjectures} J-P. Serre, \emph{Sur les repr\'esentations modulaires de degr\'e \protect{$2$} de \protect{${\rm{G}al}(\overline{\bf {Q}}/{\bf {Q}})$}}, Duke Math. J. \textbf{54} (1987), no.~1, 179--230. \closer \bibitem{stein:compgroup} W.\thinspace{}A. Stein, \emph{Component groups of optimal quotients of {J}acobians}, preprint (1999). \closer \bibitem{taylor-wiles:fermat} R.~Taylor and A.\thinspace{}J. Wiles, \emph{Ring-theoretic properties of certain \protect{H}ecke algebras}, Ann. of Math. (2) \textbf{141} (1995), no.~3, 553--572. \closer \bibitem{tunnell:artin} J.~Tunnell, \emph{Artin's conjecture for representations of octahedral type}, Bull. Amer. Math. Soc. (N.S.) \textbf{5} (1981), no.~2, 173--175. \closer \bibitem{wiles:fermat} A.\thinspace{}J. Wiles, \emph{Modular elliptic curves and \protect{F}ermat's last theorem}, Ann. of Math. (2) \textbf{141} (1995), no.~3, 443--551. \closer \end{thebibliography} \end{document}