Abstract:We prove, under suitable assumptions, that $p$-torsion Tate-Shafarevich classes for elliptic curves over the rationals are visible in quotients of Jacobians of modular curves, as predicted by a conjecture of Jetchev-Stein. The key ingredient is the non-triviality of the Bertolini-Darmon bipartite Kolyvagin system, which implies that suitable cohomology classes of the system form a basis of the Selmer group modulo $p$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the modularity and visibility of Tate - Shafarevich classes of elliptic curves. Specifically, the author attempts to prove that under certain assumptions, the \(p\)-torsion Tate - Shafarevich classes of the elliptic curve \(E\) over the field of rational numbers can be manifested in the quotient of the Jacobian variety of the modular curve. This is in line with the Jetchev - Stein conjecture, which predicts that every Tate - Shafarevich class can be manifested in the quotient of the Jacobian variety of a modular curve.
### Main problem decomposition
1. **Bertolini - Darmon's bipartite Kolyvagin system**:
- The author studied the bipartite Kolyvagin system \(Z_{BD}\) introduced by Bertolini and Darmon and explored its non - triviality.
- The non - triviality of this system is crucial for proving the structure of the Selmer group, especially it can provide a basis for the Selmer group.
2. **Generation of the Selmer group**:
- The author proved that under certain conditions, the \(p\)-Selmer group can be generated by specific Heegner point classes.
- Specifically, Theorem 2.3.6 shows that under certain assumptions, there exists a set of \(z_{BD}^l/\ell_i\) classes that can form a basis of \(\text{Sel}(K, E[p])\).
3. **Modularity of Tate - Shafarevich classes**:
- One of the main results of the paper is Theorem 4.1.1, which proves that under certain conditions, all \(p\)-torsion Tate - Shafarevich classes are modular.
- This means that these classes can be realized as \(E\)-torsion subspaces in the quotient of the Jacobian variety of a certain modular curve.
### Mathematical formulas
- **Birch and Swinnerton - Dyer conjecture**:
\[
\text{ord}_{s = 1}L(E/K, s)=n,
\]
where \(n\) is the rank of \(E(K)\), and
\[
\frac{L^{(n)}(E/K, 1)}{n!P(E/K)R(E/K)}=\vert X(E/K)\vert.
\]
- **Dimension of the Selmer group**:
\[
\dim(\text{Sel}(l)(K, E[p]))\equiv\vert\{q\mid N^{-}\}\vert + j + 1\pmod{2}.
\]
- **Non - triviality condition**:
\[
\text{Sel}(l)(K, E[p]) = 0\Rightarrow l\in A^{+}\text{ and }z_l\neq 0.
\]
### Conclusion
By studying Bertolini - Darmon's bipartite Kolyvagin system and its non - triviality, the author proved that under certain conditions, the \(p\)-torsion Tate - Shafarevich classes of the elliptic curve \(E\) can be manifested in the quotient of the Jacobian variety of the modular curve. This result not only verifies a part of the Jetchev - Stein conjecture, but also provides a new perspective for understanding the structure of the Selmer group.