Class numbers of cyclic 2-extensions and Gross conjecture over \(\mathbb Q\)
type: Item
instance of: scholarly article
title: Class numbers of cyclic 2-extensions and Gross conjecture over \(\mathbb Q\)
zbMATH Open document ID: 1248.11088
author: Yi Ouyang
author: Hang Xue
published in: Science China. Mathematics
publication date: 2011-02-25T00:00:00Z
review text: In [``Gross' conjecture on the special values of Abelian \(L\)-functions at \(s=0\)'', Comment. Math. Univ. St. Pauli 40, No. 1, 101--124 (1991; Zbl 0742.11055)], \textit{N. Aoki} announced a proof of the Gross conjecture over \(\mathbb Q\). This article contained serious mistakes, and correct proofs were later given by \textit{D. Burns} [``Equivariant Tamagawa numbers and refined abelian Stark conjectures'', J. Math. Sci., Tokyo 10, No. 2, 225--259 (2003; Zbl 1037.11072)] and \textit{N. Aoki} himself [``On Tate's refinement for a conjecture of Gross and its generalization'', J. Théor. Nombres Bordeaux 16, No. 3, 457--486 (2004; Zbl 1071.11064)]. In this article, the authors study Aoki's first proof; they succeed in showing that Aoki's proof can be saved by proving the following interesting conjecture on class groups of cyclic extensions of number fields. Assume for simplicity that \(m = p_1 \ldots p_n\) is a product of primes of the form \(p_r \equiv 1 \bmod 4\). Let \(L\) be a maximal cyclic \(2\)-extension contained in the field of \(m\)-th roots of unity such that all primes \(p_j\) are completely ramified. Define a tower of quadratic extensions \(E_j/E_{j-1}\) by \(\mathbb Q = E_0 \subseteq E_1 \subseteq \cdots \subseteq E_t = L\), and let \(C_j\) denote the \(2\)-part of the narrow class group of \(E_j\) and \(h_j\) its order. Since the extensions \(E_j/E_{j-1}\) are totally ramified, class field theory shows that the norm map \(C_j \longrightarrow C_{j+1}\) is surjective. Thus \(h_j^* = h_j/h_{j-1}\) is an integer, which by genus theory is divisible by \(2^{n-1}\). Then the authors conjecture that the following statements are equivalent: (1) \(h_1 = 2^{n-1}\); (2) \(h_j^* = 2^{n-1}\) for some \(j\); (3) \(h_j^* = 2^{n-1}\) for all \(j\). The reduction of the Gross conjecture to this one involves Sinnott's class number formula and the Stickelberger ideal.
reviewed by: Franz Lemmermeyer
Mathematics Subject Classification ID: 11R42
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11R37
zbMATH DE Number: 5857692
zbMATH Keywords: Gross conjecture
zbMATH Keywords: class number
zbMATH Keywords: cyclic 2-extension
zbMATH Keywords: Stickelberger ideal
zbMATH Keywords: cyclotomic number fields
zbMATH Keywords: narrow class group
MaRDI profile type: Publication
full work available at URL: s11425-010-4070-z
OpenAlex ID: W1985139712
Wikidata QID: Q123199962
cites work: Q3982646
cites work: On Tate's refinement for a conjecture of Gross and its generalization
cites work: Q4432882
cites work: Central Extensions, Galois Groups, and Ideal Class Groups of Number Fields
cites work: Sur les \(\ell\)-classes d'idéaux dans les extensions cycliques rélatives de degré premier \(\ell\). I
cites work: Q4729878
cites work: Q4435724
cites work: The Gross conjecture over rational function fields
cites work: On the Stickelberger ideal and the circular units of an abelian field
cites work: Q3943047
cites work: On a conjecture of Gross on special values of L-functions
DOI: 10.1007/S11425-010-4070-Z
Recommended article: The refined \(\mathfrak p\)-adic abelian Stark conjecture in function fields
Recommended article: Q3708869
Recommended article: A new regulator of Gross type
Recommended article: Q4819839
Recommended article: A proof of the refined class number formula of Gross
Recommended article: Congruence of Ankeny-Artin-Chowla type modulo p² for cyclic fields of prime degree l
Recommended article: Class number and factorization in quadratic number fields
Recommended article: Class Groups of Number Fields: Numerical Heuristics
Recommended article: Q3760627
Recommended article: On the 2-component of the class group of certain cyclic extensions of degree \(2^ n\)
description: scientific article; zbMATH DE number 5857692