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

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 fa...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Dieulefait, L., Guerberoff, L., Pacetti, A.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00255718_v79_n270_p1145_Dieulefait
Aporte de:
Descripción
Sumario: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 l-adic representations. Our algorithm is based on Faltings-Serre's method to prove that l-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 S3 and C3. © 2009 American Mathematical Society.