Available in electronic format
Available in print format		 Mathematics of Computation
Journal of the American Mathematical Society
ISSN 1088-6842(e) ISSN 0025-5718(p)
Previous issue | Table of contents | Next issue
Articles in press | Recently posted articles | Most recent issue | All issues
Previous Article | Next Article
     

Proving modularity for a given elliptic curve over an imaginary quadratic field

Author(s): Luis Dieulefait; Lucio Guerberoff; Ariel Pacetti.
Journal: Math. Comp.
MSC (2000): Primary 11G05; Secondary 11F80
Posted: August 4, 2009
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: We present an algorithm to determine if the $ L$-series associated to an automorphic representation and the one associated to an elliptic curve over an imaginary quadratic field agree. By the work of Harris-Soudry-Taylor, Taylor, and Berger-Harcos, we can associate to an automorphic representation a family of compatible $ \ell$-adic representations. Our algorithm is based on Faltings-Serre's method to prove that $ \ell$-adic Galois representations are isomorphic. Using the algorithm we provide the first examples of modular elliptic curves over imaginary quadratic fields with residual $ 2$-adic image isomorphic to $ S_3$ and $ C_3$.

References:

[BH07]
Tobias Berger and Gergely Harcos.
$ l$-adic representations associated to modular forms over imaginary quadratic fields.
Int. Math. Res. Not. IMRN, (23):Art. ID rnm113, 16, 2007. MR 2380006 (2008m:11109)

[CNT]
Computational number theory.
http://www.ma.utexas.edu/users/villegas/cnt/.

[Coh00]
Henri Cohen.
Advanced topics in computational number theory, volume 193 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 2000. MR 1728313 (2000k:11144)

[Cre84]
J. E. Cremona.
Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic fields.
Compositio Math., 51(3):275-324, 1984. MR 743014 (85j:11063)

[Cre92]
J. E. Cremona.
Abelian varieties with extra twist, cusp forms, and elliptic curves over imaginary quadratic fields.
J. London Math. Soc. (2), 45(3):404-416, 1992. MR 1180252 (93h:11056)

[CSS97]
Gary Cornell, Joseph H. Silverman, and Glenn Stevens, editors.
Modular forms and Fermat's last theorem.
Springer-Verlag, New York, 1997.
Papers from the Instructional Conference on Number Theory and Arithmetic Geometry held at Boston University, Boston, MA, August 9-18, 1995. MR 1638473 (99k:11004)

[CW94]
J. E. Cremona and E. Whitley.
Periods of cusp forms and elliptic curves over imaginary quadratic fields.
Math. Comp., 62(205):407-429, 1994. MR 1185241 (94c:11046)

[HST93]
Michael Harris, David Soudry, and Richard Taylor.
$ l$-adic representations associated to modular forms over imaginary quadratic fields. I. Lifting to $ {\rm GSp}\sb 4({\bf Q})$.
Invent. Math., 112(2):377-411, 1993. MR 1213108 (94d:11035)

[Lin05]
Mark Lingham.
Modular forms and elliptic curves over imaginary quadratic fields.
Ph.D. thesis, University of Nottingham, October 2005.
Available from http://www.warwick.ac.uk/staff/J.E.Cremona/theses/index.html.

[Liv87]
Ron Livné.
Cubic exponential sums and Galois representations.
In Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), volume 67 of Contemp. Math., pages 247-261. Amer. Math. Soc., Providence, RI, 1987. MR 902596 (88g:11032)

[PAR08]
The PARI Group, Bordeaux.
PARI/GP, version 2.4.3, 2008.
available from http://pari.math.u-bordeaux.fr/.

[Sch06]
Matthias Schütt.
On the modularity of three Calabi-Yau threefolds with bad reduction at 11.
Canad. Math. Bull., 49(2):296-312, 2006. MR 2226253 (2007d:11041)

[Ser66]
Jean-Pierre Serre.
Groupes de Lie $ l$-adiques attachés aux courbes elliptiques.
In Les Tendances Géom. en Algèbre et Théorie des Nombres, pages 239-256. Éditions du Centre National de la Recherche Scientifique, Paris, 1966. MR 0218366 (36:1453)

[Ser68]
Jean-Pierre Serre.
Abelian $ l$-adic representations and elliptic curves.
McGill University lecture notes written with the collaboration of Willem Kuyk and John Labute. W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR 0263823 (41:8422)

[Ser85]
Jean-Pierre Serre.
Résumé des cours de 1984-1985.
Annuaire du Collège de France, pages 85-90, 1985.

[Ser95]
Jean-Pierre Serre.
Représentations linéaires sur des anneaux locaux, d'apres carayol.
Publ. Inst. Math. Jussieu, 49, 1995.

[Tay94]
Richard Taylor.
$ l$-adic representations associated to modular forms over imaginary quadratic fields. II.
Invent. Math., 116(1-3):619-643, 1994.

Similar Articles:

Retrieve articles in Mathematics of Computation with MSC (2000): 11G05, 11F80

Retrieve articles in all Journals with MSC (2000): 11G05, 11F80

Additional Information:

Luis Dieulefait
Affiliation: Departament d'Àlgebra i Geometria, Facultat de Matemàtiques, Universitat de Barcelona, Gran Via de les Corts Catalanes, 585. 08007 Barcelona, Spain
Email: ldieulefait@ub.edu

Lucio Guerberoff
Affiliation: Departamento de Matemática, Universidad de Buenos Aires, Pabellón I, Ciudad Universitaria. C.P:1428, Buenos Aires, Argentina - Institut de Mathématiques de Jussieu, Université Paris 7, Denis Diderot, 2, place Jussieu, F-75251 Paris Cedex 05, France
Email: lguerb@dm.uba.ar

Ariel Pacetti
Affiliation: Departamento de Matemática, Universidad de Buenos Aires, Pabellón I, Ciudad Universitaria. C.P:1428, Buenos Aires, Argentina
Email: apacetti@dm.uba.ar

DOI: 10.1090/S0025-5718-09-02291-1
PII: S 0025-5718(09)02291-1
Keywords: Elliptic Curves Modularity
Received by editor(s): November 5, 2008
Received by editor(s) in revised form: April 7, 2009
Posted: August 4, 2009
Additional Notes: The second author was supported by a CONICET fellowship
The third author was partially supported by PICT 2006-00312 and UBACyT X867
Copyright of article: Copyright 2009, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.

  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement 		Search the AMSPowered by Google