Abstract:In this survey article, we summarise the known results towards the conjecture: elliptic curves over totally real number fields are modular. For understanding these recent results in the literature, we present some necessary background along with certain applications.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the modularity conjecture of elliptic curves. Specifically, it is to explore whether elliptic curves defined over the totally real number field are modular. According to the content of the article, it can be summarized as follows:
### Problem Description
**Modularity Conjecture**: Every elliptic curve \(E\) defined over a number field \(K\) is modular. More precisely, if \(E\) is an elliptic curve defined over the totally real number field \(K\) with conductor \(N\), then there exists a Hilbert newform \(f\) with parallel weight 2 and rational Hecke eigenvalues, such that their corresponding compatible \(p\)-adic Galois representations are isomorphic:
\[ \rho_{E,p^\infty} \sim \rho_{f,p}, \]
where the left - hand side is the \(p\)-adic Galois representation obtained by the action of the Galois group \(\text{Gal}(K/K)\) on the Tate module \(T_p(E)\), and the right - hand side is the Galois representation associated with the Hilbert modular form \(f\).
### Research Progress
1. **Modularity Theorem over the Rational Number Field**: For \(K = \mathbb{Q}\), Wiles and other mathematicians have proved that all semistable elliptic curves are modular, which ultimately led to the proof of Fermat's Last Theorem.
2. **Modularity over the Quadratic Real Number Field**: Jarvis and Meekin proved the modularity theorem of the Fermat equation over \(\mathbb{Q}(\sqrt{2})\) in 2004. Freitas, Hung and Siksek further proved that all elliptic curves over real quadratic number fields are modular.
3. **Modularity over the Three - times Real Number Field**: Derickx, Najman and Siksek extended this result to all elliptic curves over all totally real cubic number fields.
4. **Modularity over the Four - times Real Number Field**: Box recently proved that all elliptic curves over all totally real quartic number fields not containing \(\sqrt{5}\) are modular.
### Main Challenges
- **Existence of Galois Representations**: For a general number field \(K\), the existence of Galois representations associated with automorphic representations \(\pi\) has not been completely solved.
- **Technical Difficulty**: When generalizing from the rational number field to a general number field, more algebraic and technical details need to be dealt with, such as the properties of Galois representations, the construction of modular forms, etc.
### Conclusion
The main purpose of this paper is to review the known results and discuss the modularity problem of elliptic curves over the totally real number field. It emphasizes the background knowledge required to understand these results, as well as some application examples.