Anderson's module for cyclotomic fields of prime conductor

DOI10.1006/JNTH.1997.2184MaRDI QIDQ1377599zbMATH OpenOpenAlexFDO

Authors Pietro Cornacchia

Publication date 27 May 1998

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jnth.1997.2184

zbMATH Keywords

Anderson's moduleclass groupscyclotomic fieldcyclotomic unitsGalois cohomologyminus class groupplus class groupStickelberger idealStickelberger quotientTate cohomologyunits

Mathematics Subject Classification ID

Cyclotomic extensions (11R18) Class numbers, class groups, discriminants (11R29) Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33)

Review text

In 1996, \textit{G. Anderson} [J. Number Theory 60, 142-164 (1996; Zbl 0872.11047)] introduced a module which combines in a nice way two modules which are important in the theory of abelian fields: the so-called Stickelberger quotient \(S\), and the quotient \(E/C\) of units by cyclotomic units. The former quotient is intimately related to the minus class group of the corresponding abelian field, and the latter to the plus class group. Away from the two-primary part, Anderson's module simply decomposes as a direct sum of the two parts just described, but in the two-primary part, the extension which arises is in general nontrivial, and new questions arise. The author of the paper under review considers the case of a cyclotomic field \(L\) of prime conductor \(l\) and studies its Anderson module \(\mathcal A\). From the above general discussion one is led to conclude that \(\mathcal A\) should be closely related to the whole class group Cl\((L)\). Anderson proved that these two abelian groups have the same order. The author shows a nice result pointing in this precise direction: the modules \(\mathcal A\) and Cl\((L)\) have the same Tate cohomology over \(G\) (the Galois group of \(L\)). Then it is shown that the Pontryagin dual \({\mathcal A}^*\) of the finite module \(\mathcal A\) is cyclic over \(Z[G]\), so \({\mathcal A}^*\) is isomorphic to \(Z[G]/J\) for a unique ideal \(J\). More intrinsically, \(J\) can be gotten as the (first) Fitting ideal of \(\mathcal A\). (\(\mathcal A\) itself need not be cyclic. Similar statements concerning \(E/C\) can be made.) He puts forward a conjecture that \(J\) annihilates Cl\((L)\), and the even stronger conjecture that \(J\) is the Fitting ideal of Cl\((L)\). The latter seems to be a difficult problem, although there is a lot of support for it, in the reviewer's opinion. The author proves that 2\(J\) annihilates Cl\((L)\). An interesting report on explicit calculations concludes the paper.

Recommendations

• Arithmetic of characteristic p special L-values
• Fitting ideals of class groups of real fields with prime power conductor
• Annihilators of minus class groups of imaginary Abelian fields
• Another look at the index formulas of cyclotomic number theory
• On the cyclotomic unit group and the ideal class group of a real abelian number field

Cites work

• Another look at the index formulas of cyclotomic number theory
• Class fields of abelian extensions of Q
• Class groups of abelian fields, and the main conjecture
• Global units and ideal class groups
• scientific article; zbMATH DE number 4200318 (Why is no real title available?)
• scientific article; zbMATH DE number 3739713 (Why is no real title available?)
• scientific article; zbMATH DE number 16133 (Why is no real title available?)
• scientific article; zbMATH DE number 45378 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 814545 (Why is no real title available?)
• scientific article; zbMATH DE number 3245597 (Why is no real title available?)
• scientific article; zbMATH DE number 967875 (Why is no real title available?)
• scientific article; zbMATH DE number 4185756 (Why is no real title available?)
• Minus class groups of the fields of the 𝑙-th roots of unity
• On the class groups of imaginary abelian fields
• On the Dimension of Modules and Algebras, II: (Frobenius Algebras and Quasi-Frobenius Rings)
• On the structure of relative class groups. With an appendix of numerical examples
• The parity of the class number of the cyclotomic fields of prime conductor

Cited in

(6)

• Fitting ideals of class groups of real fields with prime power conductor
• The 2-ideal class groups of \(\mathbb{Q} (\zeta_l)\)
• Minus class groups of the fields of the 𝑙-th roots of unity
• Class numbers of real cyclotomic fields of prime conductor
• Greenberg's conjecture for real quadratic fields and the cyclotomic \(\mathbb{Z}_2\)-extensions
• A note on the equivalence of the parity of class numbers and the signature ranks of units in cyclotomic fields

This page was built for publication: Anderson's module for cyclotomic fields of prime conductor

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377599)