On the group of modular units and the ideal class group
type: Item
instance of: scholarly article
title: On the group of modular units and the ideal class group
zbMATH Open document ID: 1114.11087
author: Tsuyoshi Itoh
author: Keiichi Komatsu
published in: Journal of Number Theory
publication date: 2007-02-26T00:00:00Z
review text: In 1991, \textit{J. M. Kim, S. Bae} and \textit{I.-S. Lee} [Isr. J. Math. 75, No. 2--3, 161--165 (1991; Zbl 0765.11042)] proved a remarkable isomorphism concerning cyclotomic fields: if \(A_n\) denotes the \(p\)-part of the class group of \(K_n=Q(\zeta_{p^{n+1}})^+\) and \(B_n\) denotes the quotient of the unit group by the subgroup of cyclotomic units attached to \(K_n\), then \(A_n \cong B_n\) for large \(n\), provided that the \(\lambda\)-invariant vanishes (as predicted by Greenberg's conjecture). This fact was independently rediscovered by Kraft and Schoof a few years later [see \textit{J. Kraft} and \textit{R. Schoof}, Compos. Math. 97, No. 1--2, 135--155 (1995; Zbl 0840.11043)]. In the present paper, the authors give an analogous result in the setting of complex multiplication: \(k\) is imaginary quadratic of conductor greater than 4, \(p\) is a prime that splits in \(k\), and \(K_n\) is now the ray class field \(k(P^{n+1})\), where \(P\) is one of the two prime divisors of \(p\) in \(k\). There is a close analogue to the group of cyclotomic units, afforded by the group of modular units, and this leads to a definition of a quotient \(B_n\) which is quite analogous to the above. The authors prove \(A_n \cong B_n\) for \(n\) large, again under the assumption that \(\lambda\) is zero, with the extra hypothesis that \(P\) does not split at all in the Hilbert class field of \(k\) (which is contained in \(K_n\)); so in particular the class group of \(k\) must be cyclic. The algebraic part of the argument, which uses a little group cohomology, is similar in style to the arguments of Kim, Bae and Lee. On the analytic side, of course more has to be done, but the existing work of Kubert and Lang on modular units is put to good use. Reviewer's remark: Komatsu informs me that the leftmost exponent in the statement of Lemma~3 should read \(h(p-1)/2-1\) (the last \(-1\) was omitted in print). Otherwise the rank of the module will not come out right.
reviewed by: Cornelius Greither
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11G16
zbMATH DE Number: 5129754
zbMATH Keywords: complex multiplication
zbMATH Keywords: class groups
zbMATH Keywords: modular units
MaRDI profile type: Publication
full work available at URL: j.jnt.2006.07.009
OpenAlex ID: W1977785929
cites work: Elliptic Curves with Complex Multiplication and Iswasawa Theory
cites work: Q3828097
cites work: Fonctions L p-adiques des corps quadratiques imaginaires et de leurs extensions abéliennes.
cites work: On the structure of certain Galois groups
cites work: On the Stark-Shintani units and the ideal class groups in the cyclotomic \({\mathbb Z}_p\)-extensions of class fields over real quadratic fields
cites work: On the theory of cyclotomic fields
cites work: On some modules in the theory of cyclotomic fields
cites work: Cyclotomic units in \(\mathbb{Z}_p\)-extensions
cites work: Q3953865
cites work: On the cyclotomic unit group and the ideal class group of a real abelian number field
cites work: On the cyclotomic unit group and the ideal class group of a real abelian number field. II
cites work: The ``main conjectures'' of Iwasawa theory for imaginary quadratic fields
cites work: \(L\)-functions at \(s=1\). IV: First derivatives at \(s=0\)
DOI: 10.1016/J.JNT.2006.07.009
description: scientific article; zbMATH DE number 5129754