Source: Nagoya Math. J. Volume 195
(2009), 97-111.
Let $K$ be an imaginary quadratic field and let $F$ be an abelian extension of $K$. It is known that the order of the class group $\textup{Cl}_{F}$ of $F$ is equal to the order of the quotient $U_{F}/El_{F}$ of the group of global units $U_{F}$ by the group of elliptic units $El_{F}$ of $F$. We introduce a filtration on $U_{F}/El_{F}$ made from the so-called truncated Euler systems and conjecture that the associated graded module is isomorphic, as a Galois module, to the class group. We provide evidence for the conjecture using Iwasawa theory.
References
J.-R. Belliard, Sur la structure galoisienne des unités circulaires dans les $\mathbbZ_p$-extensions, J. Number Theory, 69 (1998), 16--49.
R. Coleman, On an Archimedean characterization of the circular units, J. reine angew. Math., 356 (1985), 161--173.
Mathematical Reviews (MathSciNet):
MR779380
E. de Shalit, Iwasawa theory of elliptic curves with complex multiplication. $p$-adic $L$ functions, Perspectives in Mathematics, vol. 3, Academic Press, 1987.
Mathematical Reviews (MathSciNet):
MR917944
B. Ferrero and L. Washington, The Iwasawa invariant $\mu_p$ vanishes for abelian number fields, Ann. of Math., 109 (1979), 377--395.
Mathematical Reviews (MathSciNet):
MR528968
R. Gillard, Unités elliptiques et unités cyclotomiques, Math. Ann., 243 (1979), 181--189.
Mathematical Reviews (MathSciNet):
MR543728
B. Gross, On the factorization of $p$-adic $L$-series, Invent. Math., 57 (1980), 83--95.
Mathematical Reviews (MathSciNet):
MR564185
J. Johnson-Leung and G. Kings, On the equivariant and the non-equivariant main conjecture for imaginary quadratic fields, available at: http://front.math. ucdavis.edu/0804.2828.
D. Kersey, Modular units inside cyclotomic units, Ann. of Math., 112 (1980), 361--380.
Mathematical Reviews (MathSciNet):
MR592295
V. A. Kolyvagin, Euler systems, The Grothendieck Festschrift, vol. 2, Birkhäuser Verlag, 1990, pp. 435--483.
D. Kubert and S. Lang, Modular units inside cyclotomic units, Bull. Soc. Math. France, 107 (1979), 161--178.
Mathematical Reviews (MathSciNet):
MR545170
D. Kubert and S. Lang, Modular units, Grundlehren der Mathematischen Wissenschaften 244, Springer-Verlag, 1981.
Mathematical Reviews (MathSciNet):
MR648603
B. Mazur and A. Wiles, Class fields of abelian extensions of $\mathbbQ$, Invent. Math., 76 (1984), 179--330.
Mathematical Reviews (MathSciNet):
MR742853
K. Rubin, The main conjecture, Appendix to the second edition of S. Lang: Cyclotomic fields, Springer Verlag, 1990.
K. Rubin, The ``main conjectures'' of Iwasawa theory for imaginary quadratic fields, Invent. Math., 103 (1991), 25--68.
K. Rubin, Euler Systems, Annals of Mathematics Studies, 147, Princeton University Press, 2000.
S. Seo, Circular distributions and Euler systems, J. Number Theory, 88 (2001), 366--379.
S. Seo, Circular distributions and Euler systems II, Compositio Math., 137 (2003), 91--98.
S. Seo, On circular units over the cyclotomic $\mathbbZ_p$-Extension of an abelian field, Manuscripta Math., 115 (2004), 117--123.
S. Seo, Truncated Euler Systems, J. reine angew. Math., 614 (2008), 53--71.
W. Sinnott, On the Stickelberger ideal and the circular units of a cyclotomic field, Ann. of Math., 108 (1978), 107--134.
Mathematical Reviews (MathSciNet):
MR485778
W. Sinnott, On the Stickelberger ideal and the circular units of a cyclotomic field, Invent. Math., 62 (1980), 181--234.
Mathematical Reviews (MathSciNet):
MR595586
F. Thaine, On the orders of ideal classes in prime cyclotomic fields, Math. Proc. Camb. Phil. Soc., 108 (1990), 197--201.
A. Washington, The non-$p$-part of the class number in a cyclotomic $\mathbbZ_p$-extension, Invent. Math., 49 (1978), 87--97.
A. Wiles, The Iwasawa conjecture for totally real fields, Ann. of Math., 131 (1990), 493--540.