Index formulae for integral Galois modules

DOI10.1112/JLMS/JDT033MaRDI QIDQ2869833zbMATH OpenOpenAlexFDO

Authors Alex Bartel, Bart de Smit

Publication date 7 January 2014

Published in Journal of the London Mathematical Society. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1105.3876, http://eprints.gla.ac.uk/149658/1/149658.pdf

zbMATH Keywords

Brauer relationclass numberclass number formulaGalois moduleMordell-Weil groupregulator constantrepresentation theoryTamagawa numberTate-Shafarevich group

Mathematics Subject Classification ID

Elliptic curves over global fields (11G05) Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33) (K)-theory of global fields (11R70) Frobenius induction, Burnside and representation rings (19A22) Étale cohomology, higher regulators, zeta and (L)-functions ((K)-theoretic aspects) (19F27) Integral representations of finite groups (20C10)

Abstract: We prove very general index formulae for integral Galois modules, specifically for units in rings of integers of number fields, for higher K-groups of rings of integers, and for Mordell-Weil groups of elliptic curves over number fields. These formulae link the respective Galois module structure to other arithmetic invariants, such as class numbers, or Tamagawa numbers and Tate-Shafarevich groups. This is a generalisation of known results on units to other Galois modules and to many more Galois groups, and at the same time a unification of the approaches hitherto developed in the case of units.

Review text

Let \(F/K\) be a normal extension of number fields, and let \({\mathcal O}_F\) denote the ring of integers in \(F\). Dirichlet's class number formula shows that the class number of \(F = \mathbb Q(i,\sqrt{m}\,)\) is, up to some easily understood factors and a unit index, just the product of the class numbers of the quadratic subextensions of \(F/\mathbb Q\). This class number formula was generalized not only to a large class of normal extensions of number fields, but also to analogous formulas for higher class numbers, orders of algebraic \(K\)-groups or Mordell-Weil ranks and Tate-Shafarevich groups of elliptic curves. In the present article, the authors show that these formulas are a consequence of a representation theoretic result, which may be applied to situations that were considered by the first author in [J. Reine Angew. Math. 668, 211--244 (2012; Zbl 1270.11115)] and by the second author in [\textit{B. de Smit}, Acta Arith. 98, No. 2, 133--146 (2001; Zbl 0998.11058)]. The general result requires as an input a Brauer relation of a certain kind, which exists e.g. for semidirect products \(C_p \rtimes C_n\) of cyclic groups, Heisenberg groups of order \(p^3\), and several other classes of groups.

Recommendations

• On index formulas of Siegel units in a ring class field
• scientific article; zbMATH DE number 1929448
• Integral Galois module structure of some Lubin-Tate extensions
• scientific article; zbMATH DE number 167519
• Index Tables of Finite Fields and Modular Golomb Rulers
• Index-dependent divisors of coefficients of modular forms
• Witt index for Galois ring valued quadratic forms
• scientific article; zbMATH DE number 3924921
• Galois module structure of rings of integers
• scientific article; zbMATH DE number 3788760

Cited in

(13)

• Higher class numbers in extensions of number fields
• On Brauer-Kuroda type relations of S-class numbers in dihedral extensions
• Index Tables of Finite Fields and Modular Golomb Rulers
• On index formulas of Siegel units in a ring class field
• A class number relation in Frobenius extensions of number fields
• On orders of tame kernels in quaternion extension of number fields
• Class number formula for dihedral extensions
• Class numbers of classical groups
• Norm relations and computational problems in number fields
• On the Galois structure of units in totally real p-rational number fields
• Regulator constants and cohomology
• Tamagawa numbers and positive rank of elliptic curves
• Brauer relations in finite groups

This page was built for publication: Index formulae for integral Galois modules

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