What problem does this paper attempt to address?

The problem that this paper attempts to solve is the relationship between the Iwasawa $\lambda$-invariant of the cyclotomic $\mathbb{Z}_p$-extension of the imaginary quadratic field $K$ and the number of points on a specific elliptic curve. Specifically, the author Matt Stokes studies the equivalence between whether Iwasawa's $\lambda$-invariant $\lambda_p(K)$ is greater than 1 and whether the number of points on a certain reduced elliptic curve is divisible by $p^2$ when $p$ is a prime number that does not divide the class number of $K$ and is greater than 3. ### Main Problem The core problem of the paper is to prove the following theorem: \[ \lambda_p(K) > 1 \iff \# \tilde{E}(\mathbb{F}_q) \equiv 0 \ (\text{mod} \ p^2) \] where: - $K$ is an imaginary quadratic field. - $p$ is a prime number that does not divide the class number of $K$ and is greater than 3. - $E$ is an elliptic curve with complex multiplication (CM), and its CM is given by the ring $\mathcal{O}_K$ of $K$. - $\tilde{E}$ is the reduced form of the elliptic curve $E$ modulo $P$, where $P$ is a prime ideal on $K(j(E))$. - $q = p^{p - 1}$. ### Key Contributions The main contribution of the paper lies in establishing the connection between the Iwasawa $\lambda$-invariant of the imaginary quadratic field $K$ and the number of reduced points of the elliptic curve. This connection not only deepens our understanding of Iwasawa theory but also provides a new method to explore the $\lambda$-invariant by studying elliptic curves. ### Applications and Significance This result is of great significance in the field of number theory, especially in the study of the Iwasawa invariants of imaginary quadratic fields. For example, it can help us more effectively detect which prime numbers $p$ make $\lambda_p(K) > 1$, which is very useful for understanding the arithmetic properties of these fields. In addition, this result also reveals the profound connection between complex multiplication elliptic curves and Iwasawa theory, providing a new perspective for further research.

On CM elliptic curves and the cyclotomic $λ$-invariants of imaginary quadratic fields

A note on the distribution of Iwasawa invariants of imaginary quadratic fields

On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

Iwasawa $λ$ invariant and Massey product

A bound on the $μ$-invariants of supersingular elliptic curves

$λ$-invariant stability in families of modular Galois representations

An Analogue of Greenberg's Conjecture for CM Fields

Constructing Galois representations with prescribed Iwasawa $λ$-invariant

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

Non‐vanishing Theorems for Central L‐values of Some Elliptic Curves with Complex Multiplication

Iwasawa module of the cyclotomic $\mathbb{Z}_{2}$-extension of certain real quadratic fields

Generalised Kato classes on CM elliptic curves of rank 2

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Non-vanishing of Kolyvagin systems and Iwasawa theory

The Iwasawa $μ$-invariant of certain elliptic curves of analytic rank zero

Torsion points and isogenies on CM elliptic curves

Iwasawa theory of twists of elliptic modular forms over imaginary quadratic fields at inert primes

On the classical main conjecture for imaginary quadratic fields

Elliptic curves with complex multiplication and abelian division fields

Constructing Galois representations with prescribed Iwasawa λ ‐invariant

Torsion points and Galois representations on CM elliptic curves