Abstract:We upgrade Howard's divisibility towards Perrin-Riou's Heegner point main conjecture to the predicted equality. Contrary to previous works in this direction, our main result allows for the classical Heegner hypothesis and non-squarefree conductors. The main ingredients we exploit are W.~Zhang's proof of Kolyvagin's conjecture, Kolyvagin's structure theorem for Shafarevich--Tate groups, and the explicit reciprocity law for Heegner points.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the equality relationship in the main conjecture about Heegner points (Perrin - Riou's main Heegner point conjecture), rather than the previous division relationship. Specifically, the authors improved Howard's previous work, so that the main results can cover the classical Heegner hypothesis and the case of non - square - free conductors.
### Main problem description
The goal of the paper is to prove that under certain conditions, the structure of the Greenberg Selmer group related to Heegner points in Iwasawa theory satisfies specific properties. Specifically, the authors attempt to prove the following conjecture:
**Conjecture 1.2 (Perrin - Riou, Howard)**:
- The ranks of the $\Lambda$-modules $SelGr(K,T)$ and $SelGr(K,A)$ are 1 and the coranks are 1 respectively.
- Let $X = Hom_{\mathbb{Z}_p}(SelGr(K,A), \mathbb{Q}_p/\mathbb{Z}_p)$ be the Pontrjagin dual of $SelGr(K,A)$, then there exists a torsion $\Lambda$-module $M_\infty$ such that:
1. $char(M_\infty) = char(M_\infty)^\iota$,
2. $X\sim\Lambda\oplus M_\infty\oplus M_\infty$,
3. $char(M_\infty) = char(SelGr(K,T)/\Lambda\kappa_\infty^1)$.
Here, $\iota:\Lambda\rightarrow\Lambda$ is the involution induced by the inverse elements of $Gal(K_\infty/K)$.
### Key points of the solution
To prove the above conjecture, the authors utilized W. Zhang's proof of the Kolyvagin conjecture, Kolyvagin's structure theorem of the Tate - Shafarevich group, and the explicit reciprocity law of Heegner points. In addition, they also introduced some new technical tools, such as the anti - spinor main conjecture and the $p$-adic $L$-function, to handle more general cases.
### Specific contributions
1. **Improved the division relationship**: The authors promoted Howard's division relationship to an equality relationship, thus obtaining stronger results.
2. **Covered more cases**: Different from previous works, the results in this paper allow the cases of the classical Heegner hypothesis and non - square - free conductors.
3. **Utilized the latest research achievements**: By combining W. Zhang's proof of the Kolyvagin conjecture and other related results, the authors were able to overcome the limitations in previous methods.
### Summary
The main contribution of this paper lies in solving the equality relationship in the main Heegner point conjecture and expanding the scope of application to cover more special cases. This provides important theoretical support for the research of Iwasawa theory and elliptic curves.