Abstract:Let $E/\mathbb{Q}$ be an elliptic curve, let $p>2$ be a prime of good reduction for $E$, and assume that $E$ admits a rational $p$-isogeny with kernel $\mathbb{F}_p(\phi)$. In this paper we prove the cyclotomic Iwasawa main conjecture for $E$, as formulated by Mazur in 1972, when $\phi\vert_{G_p}\neq 1,\omega$, where $G_p$ is a decomposition group at $p$ and $\omega$ is the Teichmüller character. Our proof is based on a study of the anticyclotomic Iwasawa theory of $E$ over an imaginary quadratic field $K$ in which $p$ splits, and a congruence argument exploiting the cyclotomic Euler system of Beilinson--Flach classes.
What problem does this paper attempt to address?
This paper attempts to solve the proof problem of Mazur's main conjecture in the case of Eisenstein primes. Specifically, the article focuses on the Iwasawa main conjecture satisfied by the elliptic curve \( E/\mathbb{Q} \) under specific conditions.
### Main problem description
1. **Background and motivation**:
- In the early 1970s, inspired by Iwasawa theory, Mazur began to study the arithmetic properties of the elliptic curve \( E/\mathbb{Q} \) over the cyclotomic \( \mathbb{Z}_p \)-extension \( \mathbb{Q}_\infty/\mathbb{Q} \).
- Mazur proposed a control theorem and a conjecture similar to the Iwasawa main conjecture, expressed as a relationship between the characteristic ideal and the \( p \)-adic L - function.
2. **The specific form of Mazur's main conjecture**:
- Let \( X^{\text{ord}}(E/\mathbb{Q}_\infty) \) be the Pontryagin dual of the \( p \)-primary Selmer group of \( E/\mathbb{Q}_\infty \).
- Conjecture (MC) is expressed as:
\[
\text{ch}_{\Lambda_{\mathbb{Q}}} \left( X^{\text{ord}}(E/\mathbb{Q}_\infty) \right) = \left( L_p^{\text{MSD}}(E/\mathbb{Q}) \right)
\]
where \( L_p^{\text{MSD}}(E/\mathbb{Q}) \) is the \( p \)-adic L - function constructed by Mazur - Swinnerton - Dyer.
3. **The case of Eisenstein primes**:
- The main result of the article is to prove Mazur's main conjecture in the case where \( p \) is an Eisenstein prime, that is, \( E \) has a rational \( p \)-isogeny.
- This means that \( E[p] \) is reducible as a \( \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \)-module.
4. **Key assumptions and conclusions**:
- Assume that the isogeny character \( \varphi \) satisfies \( \varphi|_{G_p} \neq 1, \omega \), where \( G_p \) is the decomposition group at \( p \) and \( \omega \) is the Teichmüller character.
- Under these assumptions, the article proves that \( X^{\text{ord}}(E/\mathbb{Q}_\infty) \) is \( \Lambda_{\mathbb{Q}} \)-torsion and its characteristic ideal is equal to \( L_p^{\text{MSD}}(E/\mathbb{Q}) \).
### Main contributions
1. **Anticyclotomic Iwasawa theory**:
- Use the Iwasawa theory in the anticyclotomic \( \mathbb{Z}_p \)-extension of the auxiliary imaginary quadratic field \( K/\mathbb{Q} \).
2. **Beilinson - Flach classes**:
- Use the Euler system constructed by Beilinson - Flach classes as a bridge connecting the cyclotomic and anticyclotomic settings.
Through these methods, the article successfully proves Mazur's main conjecture in the case of Eisenstein primes, filling the gaps in previous research.