What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove Rubin's conjecture regarding local units in the anticyclotomic \(Z_p\)-extension, especially in the case of the prime number \(p = 3\). Specifically, the goal of the paper is to complete the proof of Rubin's conjecture by constructing special formal CM points and further verify Agboola - Howard's main conjecture. ### Specific problem description: 1. **Background and motivation**: - Iwasawa theory is a fundamental tool for studying the growth of the Mordell - Weil rank of elliptic curves in number field towers and its relationship with special \(L\)-values. - For an elliptic curve \(E\) defined over the rational number field \(\mathbb{Q}\) and having complex multiplication by an imaginary quadratic field \(K\), if \(p\) decomposes in \(K\), one can study the module structure of local units modulo elliptic units in the \(Z_p^2\)-extension. Its characteristic ideal is generated by the Katz \(p\)-adic \(L\)-function of two variables. - However, if \(p\) is inert in \(K\) (i.e., does not decompose), then this quotient is non - torsion because the rank of the local unit module is twice the rank of the elliptic unit module. 2. **Rubin's conjecture**: - Rubin considered local units \(V\) in the anticyclotomic \(Z_p\)-extension corresponding to the unramified quadratic extension \(\Phi\) of the Iwasawa algebra \(\Lambda\) and defined two free submodules \(V_+\) and \(V_-\) of rank 1. - He conjectured that \(V = V_+ \oplus V_-\). - The projection of elliptic units lies in \(V_{\epsilon}\), where \(\epsilon\) is the sign of \(L(E/\mathbb{Q}, s)\). According to this conjecture, Rubin constructed a \(p\)-adic \(L\)-function, which generates the quotient of \(V_{\epsilon}\) modulo the image of elliptic units. 3. **Existing progress**: - Burungale, Kobayashi and Ota proved Rubin's conjecture in the case of \(p>3\). - This paper aims to complete the proof in the case of \(p = 3\) by constructing special formal CM points. ### Main contributions: - Constructed special formal CM points to prove Rubin's conjecture in the case of \(p = 3\). - Completed the proof of Agboola - Howard's main conjecture when \(p = 3\). ### Method overview: - Used the methods of formal groups and modular parameterization to construct specific local points. - Proved the key theorem by analyzing the properties of these local points, especially their local inseparability. In conclusion, this paper solves Rubin's conjecture regarding local units in the anticyclotomic \(Z_p\)-extension, especially in the case of \(p = 3\), providing an important basis for further research on Iwasawa theory.

Rubin's conjecture on local units in the anticyclotomic tower at inert primes: $p=3$ case

On Rubin's variant of the p-adic Birch and Swinnerton-Dyer conjecture II

On Rubin's variant of the p-adic Birch and Swinnerton-Dyer conjecture

On Abelian extensions in mixed characteristic and ramification in codimension one

Heegner point constructions and fundamental units in cubic fields

On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers

Anticyclotomic Iwasawa theory of abelian varieties of $\mathrm{GL}_2$-type at non-ordinary primes II

Theoretical and Experimental Approach to p-Class Field Towers of Cyclic Cubic Number Fields

The $p$-adic limits of class numbers in $\mathbb{Z}_p$-towers

Fermat quotients and the Ankeny-Artin-Chowla conjecture

Integers expressible as the sum of two rational cubes

Double Coverings and Unit Square Problems for Cyclotomic Fields

Weil representation and Arithmetic Fundamental Lemma

On a conjecture of Mazur predicting the growth of Mordell--Weil ranks in $\mathbb{Z}_p$-extensions

The Kudla-Rapoport conjecture at a ramified prime for $U(1, 1)$

On certain quotients of $p$-class tower groups of quadratic fields

Drinfeld singular moduli, hyperbolas, units

On the classical main conjecture for imaginary quadratic fields

Arithmetic of certain -extensions ramified at three places. IV

$3$-class field towers of exact length $3$

Class Number and Regulator Computation in Purely Cubic Function Fields of Unit Rank Two