Abstract:Let $E/\mathbb{Q}$ be an elliptic curve of conductor $N$, $p$ an odd prime of good ordinary reduction such that $E[p]$ is an irreducible $G_{\mathbb{Q}}$-module, and $K$ an imaginary quadratic field with all primes dividing $Np$ split. We prove Iwasawa Main Conjectures for the $\mathbb{Z}_p$-cyclotomic and $\mathbb{Z}_p$-anticyclotomic deformation of $E$ over $\mathbb{Q}$ and $K$ respectively, dispensing with any of the ramification hypotheses on $E[p]$ in previous works. Using base change, the proofs are based on Wan's divisibility towards a three-variable main conjecture for $E$ over a quartic CM field containing $K$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the Iwasawa main conjecture for the elliptic curve \(E/\mathbb{Q}\), especially the main conjecture under \(\mathbb{Z}_p\)-cyclotomic extensions and \(\mathbb{Z}_p\)-anticyclotomic extensions. Specifically, the authors prove that for the elliptic curve \(E\) and the imaginary quadratic field \(K\) satisfying certain conditions, these main conjectures hold, and the ramification hypothesis on \(E[p]\) in previous works is not required.
### Main contributions of the paper
1. **Removing the ramification hypothesis**:
- The authors remove the ramification hypothesis on \(E[p]\), which was necessary in previous works. In particular, they prove that the Iwasawa main conjecture still holds without these hypotheses.
2. **New proof method**:
- By using the base - change technique, the authors transform the problem to a quartic CM field \(M\), and use the result of Wan's three - variable main conjecture to prove the two - variable main conjecture.
3. **Applications**:
- These results have important applications to the \(p\)-part of the Birch and Swinnerton - Dyer conjecture, especially in the case of \(\text{ord}_{s = 1}L(E, s)\leq1\).
- The results are also used to prove the Kolyvagin conjecture and its cyclotomic variants.
### Specific problems
- **Cyclotomic main conjecture**:
- The authors prove that under the cyclotomic \(\mathbb{Z}_p\)-extension, the Selmer group \(X^{\text{ord}}(E/\mathbb{Q}_\infty)\) is a \(\Lambda\)-torsion module, and its characteristic ideal is equal to the ideal generated by the \(p\)-adic \(L\)-function \(L_p(E/\mathbb{Q})\).
- **Anticyclotomic main conjecture**:
- For the anticyclotomic \(\mathbb{Z}_p\)-extension of the imaginary quadratic field \(K\), the authors prove the Heegner point main conjecture, that is, \(X^{\text{ord}}(E/K_\infty)\) and \(H^1_{\mathcal{F}_\Lambda}(K, T)\) are both modules of \(\Lambda_K^{-}\)-rank 1, and the characteristic ideals of their torsion parts are equal.
- **Two - variable main conjecture**:
- The authors also prove that under some additional assumptions, the two - variable Iwasawa main conjecture holds.
### Methods
- **Base change**:
- Base - change the elliptic curve \(E\) to a quartic CM field \(M\) containing \(K\), using the result of Wan's three - variable main conjecture.
- Prove the main conjecture by comparing the characteristic ideals of the two - variable \(p\)-adic \(L\)-function and the Selmer group.
### Conclusion
This paper, by removing the ramification hypothesis in previous works, provides a new proof method and verifies the validity of the Iwasawa main conjecture under cyclotomic and anticyclotomic extensions. These results not only promote the development of Iwasawa theory, but also provide important support for the research of the Birch and Swinnerton - Dyer conjecture and the Kolyvagin conjecture.