A proof of the refined class number formula of Gross (Q6046063)
From MaRDI portal
scientific article; zbMATH DE number 7686014
Language | Label | Description | Also known as |
---|---|---|---|
English | A proof of the refined class number formula of Gross |
scientific article; zbMATH DE number 7686014 |
Statements
A proof of the refined class number formula of Gross (English)
0 references
15 May 2023
0 references
Let \(F\) be a totally real number field and \(K/F\) a finite abelian extension with Galois group \(G\). Let \(S\), \(T\) be finite sets of places of \(F\), where \(S\) contains all infinite places and all places ramified in \(K/F\), and \(T\) fulfills some further condition. Depending on these data, one can define the Stickelberger element \(\Theta_{S,T,K} \in \mathbb Z[G]\), the regulator \(R_{G,S,T} \in \mathbb Z[G]\) and the augmentation ideal \(I \triangleleft \mathbb Z[G]\). The \textit{class number formula of Gross} is the congruence \[ \Theta_{S,T,K} \equiv R_{G,S,T} \mod I^{\# S}, \] which was conjectured by \textit{B. H. Gross} [J. Fac. Sci. Univ. Tokyo, Sect. IA Math. 35, No. 1, 177--197 (1988; Zbl 0681.12005)]. The above congruence is implied by Theorem 2 of this paper, which is a strengthening of it modulo some smaller ideal contained in \(I^{\# S}\). Furthermore, Theorem 3 gives an enhancement of Theorem 2. The proofs use Shintani data, and most part of the paper is used to set up these notions and construct three Shintani data, which are needed to prove the theorems. Finally, Theorem 3 is illustrated for the example \(F= \mathbb Q(\sqrt{5})\).
0 references
Stickelberger element
0 references
regulator
0 references
Shintani zeta function
0 references
Shintani data
0 references