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 ∞ be the unique Z 2 pextension of k, and let K ∞ be a finite extension of k ∞ , abelian over k. We prove that in K ∞ , 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.

The equivariant Tamagawa number conjecture for abelian extensions of imaginary quadratic fields

“…In this setting, numerous results on the Iwasawa main conjecture have already appeared in the literature, both in classical and equivariant formulations (cf. [3,31,43,[59][60][61]68]). However, we require a result that is slightly more general and, to some extent, also of a different shape than is available in the literature thus far.…”