Abstract:In this short note, we study the anticyclotomic analogue of the "weak" main conjecture of Mazur-Tate on Fitting ideals of Selmer groups for elliptic curves with supersingular reduction.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the analogical problem of the anti - cyclic Mazur - Tate conjecture for elliptic curves in supersingular reduction. Specifically, the author studies the "weak" main conjecture of the Fitting ideal of the Selmer group in the anti - cyclic extension.
### Overview of the Main Problem:
1. **Elliptic Curves and Supersingular Reduction**:
- Let \(E\) be an elliptic curve defined over the field of rational numbers \(\mathbb{Q}\) with conductor \(N\), and let \(p\geq5\) be a supersingular reduction prime of \(E\), that is, \(a_p(E) = 0\).
- Consider the modulo \(p\) representation \(\rho: G_{\mathbb{Q}}=\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to\text{GL}_2(\mathbb{F}_p)\) is surjective.
2. **Anti - Cyclic \(\mathbb{Z}_p\)-Extensions**:
- Let \(K\) be an imaginary quadratic field, and \((D_K, Np)=1\), where \(p\) splits in \(K\), denote \(p = p\cdot p'\).
- Decompose the conductor \(N\) into \(N = N^+\cdot N^-\), where the prime factors of \(N^+\) split in \(K\), while the prime factors of \(N^-\) are inert in \(K\).
3. **Assumptions**:
- **Odd Assumption (odd)**: Assume that \(N^-\) is a square - free product of an odd number of primes.
- **Totally Ramified Assumption (ram)**: \(K_\infty/K\) is totally ramified at all primes above \(p\).
- **Congruence Assumption (CR)**: If a prime \(\ell\) divides \(N^-\) and \(\ell^2\equiv1\ (\text{mod}\ p)\), then \(\rho\) is ramified at \(\ell\).
4. **Main Results**:
- The main goal of the paper is to prove the following "weak" Mazur - Tate main conjecture for the anti - cyclic analog:
\[
L_p(E/K_n)\in\text{Fitt}_{\Lambda_n}(\text{Sel}(K_n, E[p^\infty])^\vee)
\]
where \((-)^\vee\) denotes the Pontryagin dual.
5. **Corollaries**:
- For any character \(\chi:\text{Gal}(K_n/K)\to\mathbb{Q}_p^\times\), and linearly extend it to \(\Lambda_n\), let \(I_\chi:=\ker(\chi:\Lambda_n\to\mathbb{Q}_p)\subseteq\Lambda_n\), and \((E(K_n)\otimes\mathbb{Q}_p)_\chi\) be the \(\chi\)-isotypic subspace of \(E(K_n)\otimes\mathbb{Q}_p\), then:
\[
L_p(E/K_n)\in I_\chi^{r_\chi}/I_\chi^{r_\chi + 1}
\]
where \(r_\chi=\dim_{\mathbb{Q}_p}((E(K_n)\otimes\mathbb{Q}_p)_\chi)\).
### Conclusion:
This paper through detailed research...