On the modularity of elliptic curves over imaginary quadratic fields

arXiv2301.10509MaRDI QIDQ6424353

Author name not available (Why is that?)

Publication date: 25 January 2023

Abstract: In this paper, we establish the modularity of every elliptic curve $E/F$, where $F$ runs over infinitely many imaginary quadratic fields, including $mathbbQ(sqrt-d)$ for $d=1,2,3,5$. More precisely, let $F$ be imaginary quadratic and assume that the modular curve $X_0(15)$, which is an elliptic curve of rank $0$ over $mathbbQ$, also has rank $0$ over $F$. Then we prove that all elliptic curves over $F$ are modular. More generally, when $F/mathbbQ$ is an imaginary CM field that does not contain a primitive fifth root of unity, we prove the modularity of elliptic curves $E/F$ under a technical assumption on the image of the representation of $mathrmGal(overlineF/F)$ on $E[3]$ or $E[5]$. The key new technical ingredient we use is a local-global compatibility theorem for the $p$-adic Galois representations associated to torsion in the cohomology of the relevant locally symmetric spaces. We establish this result in the crystalline case, under some technical assumptions, but allowing arbitrary dimension, arbitrarily large regular Hodge--Tate weights, and allowing $p$ to be small and highly ramified in the imaginary CM field $F$.

Has companion code repository: https://github.com/jjmnewton/modularity-iqf

Mathematics Subject Classification ID

No records found.

This page was built for publication: On the modularity of elliptic curves over imaginary quadratic fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6424353)