Abstract:We use Iwasawa theory, at a prime $p$ inert in a quadratic imaginary field $K$, to study the arithmetic properties of mock plectic invariants for elliptic curves of rank two. More precisely, under some minor technical assumptions, we prove that the non-vanishing of the mock plectic invariant $\mathcal{Q}_K$ attached to an elliptic curve $E_{/\mathbb{Q}}$ of even analytic rank $r_\mathrm{an}(E/K)\ge2$, and with multiplicative reduction at $p$, implies that the $p$-Selmer rank $r_p(E/K)$ equals $2$. The proof rests on one inclusion of Perrin-Riou's Heegner point main conjecture for elliptic curves with multiplicative reduction at $p$ which we obtain using bipartite Euler systems.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about the arithmetic properties of elliptic curves, especially the relationship between the non - zero property of the mock plectic invariants of elliptic curves of rank 2 and their p - Selmer ranks. Specifically, the authors use Iwasawa theory to study the arithmetic properties of the mock plectic invariants of elliptic curves of rank 2 with multiplicative reduction in the imaginary quadratic field \(K\) when the prime number \(p\) is inert.
### Specific Description of the Research Problem
1. **Background Settings**:
- Consider an imaginary quadratic field \(K\) in which the prime number \(p\) is inert.
- An elliptic curve \(E /\mathbb{Q}\) defined over the field of rational numbers \(\mathbb{Q}\), which has multiplicative reduction at \(p\).
- Assume that the conductor \(N\) of \(E /\mathbb{Q}\) is unramified in \(K\) and can be decomposed as \(N = p\cdot N^+\cdot N^-\), where \(N^-\) represents the largest divisor of \(N / p\) that is divisible only by primes that are inert in \(K\).
2. **Main Objectives**:
- Prove that when the analytic rank \(r_{an}(E / K)\geq2\) of the elliptic curve \(E /\mathbb{Q}\) and the mock plectic invariant \(Q_K\) is non - zero, the p - Selmer rank \(r_p(E / K)\) is equal to 2.
3. **Key Results**:
- The main theorem shows that, under some technical assumptions, if the mock plectic invariant \(Q_K\) is non - zero, then the p - Selmer rank \(r_p(E / K)\) of the elliptic curve \(E /\mathbb{Q}\) over \(K\) is equal to 2.
4. **Methods and Tools**:
- Use bipartite Euler systems to establish an inclusion relation for Perrin - Riou's Heegner point main conjecture.
- Use tools and techniques in Iwasawa theory, especially CM points on Shimura curves and Steinberg representations.
### Formula Summary
- **Definition of Selmer Group**:
\[
r_p(E / K):=\text{corank}_{\mathbb{Z}_p}\text{Sel}_{p^\infty}(E / K)
\]
- **Main Theorem**:
\[
\text{If }L(E / K, 1) = 0\text{ and }Q_K\neq0,\text{ then }r_p(E / K)=2
\]
- **mock plectic invariant**:
\[
Q_K\in H^1(K, V_p(E))\otimes_{\mathbb{Q}_p}H^1_f(K_p, V_p(E))
\]
Through these studies, the authors aim to reveal the complex arithmetic structure of elliptic curves of rank 2 and provide a new perspective for understanding the properties of their Selmer groups.