On the two-variables main conjecture for extensions of imaginary quadratic fields

Abstract

Let $p$ be a prime number at least 5, and let $k$ be an imaginary quadratic number field in which $p$ decomposes into two conjugate primes. Let $k_\infty$ be the unique ${\boldsymbol Z}_p^2$-extension of $k$, and let $K_\infty$ be a finite extension of $k_\infty$, abelian over $k$. We prove that in $K_\infty$, the characteristic ideal of the projective limit of the $p$-class group coincides with the characteristic ideal of the projective limit of units modulo elliptic units. Our approach is based on Euler systems, which were first used in this context by Rubin.