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...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | JOUR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00255718_v79_n270_p1145_Dieulefait |
Aporte de: |
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. |
---|