On the 4-rank of class groups of quadratic number fields
type: Item
instance of: scholarly article
title: On the 4-rank of class groups of quadratic number fields
zbMATH Open document ID: 1126.11062
author: Étienne Fouvry
author: Jürgen Klüners
published in: Inventiones Mathematicae
publication date: 2007-04-19T00:00:00Z
review text: The Cohen-Lenstra conjectures deal with densities of quadratic number fields whose class groups have given \(p\)-rank. In order to state them, let \(D\) denote the discriminant of a quadratic number field, \(C_D\) its class group, and \(C^+_D\) its narrow class group. For an abelian group \(A\), \(r_p(A)\) denotes the \(p\)-rank of \(A\), and \(r_4(A) = r_2(A^2)\) its \(4\)-rank. For a numerical function \(f(D)\) defined on the set of positive discriminants, we say that \(f\) has a mean value \({\mathcal M}^+(f)\) over positive discriminants if the quotient \(\frac{\sum_{0 < D < X} f(D)}{\sum_{0 < D < X} 1}\) has limit \({\mathcal M}^+(f)\) as \(X \to \infty\). The corresponding quantity for negative discriminants is denoted by \({\mathcal M}^-(f)\). Two of the main conjectures of \textit{H. Cohen} and \textit{H. W. Lenstra jun.} [Lect. Notes Math. 1068, 33--62 (1984; Zbl 0558.12002), see also Lect. Notes Math. 1052, 26--36 (1984; Zbl 0532.12008)] (slightly modified by \textit{F. Gerth} [Expo. Math. 5, 181--184 (1987; Zbl 0613.12003)]) can be formulated as follows: for any prime \(p\) and every integer \(\alpha \geq 0\) we have \(C^-(p,\alpha): {\mathcal M}^- (\prod_{0 \leq i < \alpha} (p^{r_k(C_D^2)} - p^i))= 1\) and \(C^+(p,\alpha): {\mathcal M}^+ (\prod_{0 \leq i < \alpha} (p^{r_k(C_D^2)} - p^i))= p^{-\alpha}\). Let \(\eta_k(t) = \prod_{j=1}^k (1-t^{-j})\) for integers \(k \geq 0\) or \(k= \infty\). Then the authors have shown in [Algorithmic number theory. 7th international symposium, ANTS-VII, Lect. Notes Comput. Sci. 4076, 40--55 (2006; Zbl 1143.11352)] that the truth of the conjectures \(C^\pm(p,\alpha)\) for \(p\) and all integers \(\alpha \geq 0\) implies the following assertions, which are also part of the Cohen-Lenstra conjectures extended by Gerth: 1. The density of negative fundamental discriminants \(D\) with \(r_k(C_D^2) = r\) is equal to \[ p^{-r^2} \eta_\infty(p) \eta_r(p)^{-2}. \] 2. The density of positive fundamental discriminants \(D\) with \(r_…
reviewed by: Franz Lemmermeyer
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11R11
Mathematics Subject Classification ID: 11R45
zbMATH DE Number: 5145033
zbMATH Keywords: Cohen-Lenstra heuristics
zbMATH Keywords: 4-rank
zbMATH Keywords: class group
zbMATH Keywords: density
MaRDI profile type: Publication
full work available at URL: s00222-006-0021-2
OpenAlex ID: W2084370909
cites work: Q4850744
cites work: On the density of discriminants of cubic fields. II
cites work: Q5625443
cites work: Algorithmic Number Theory
cites work: Extension of conjectures of Cohen and Lenstra
cites work: The size of Selmer groups for the congruent number problem
cites work: The size of Selmer groups for the congruent number problem. II. With an appendix by P. Monsky.
cites work: A mean value estimate for real character sums
cites work: On the averages of some arithmetical functions of two variables
cites work: Q4830109
cites work: Polynomial cycles in algebraic number fields
cites work: Arithmetischer Beweis des Satzes über die Anzahl der durch vier teilbaren Invarianten der absoluten Klassengruppe im quadratischen Zahlkörper.
cites work: Q5670687
cites work: A Brun-Titschmarsh theorem for multiplicative functions.
DOI: 10.1007/S00222-006-0021-2
Recommended article: Algorithmic Number Theory
Recommended article: The distribution of \(p\)-torsion in degree \(p\) cyclic fields
Recommended article: Q4700353
Recommended article: Heuristics on Tate-Shafarevitch Groups of Elliptic Curves Defined over Q
Recommended article: Q5591584
Recommended article: Low-lying zeros of dihedral \(L\)-functions
Recommended article: The coefficients of singular elliptic functions
Recommended article: Average values of \(L\)-functions in characteristic two
Recommended article: New Computations Concerning the Cohen-Lenstra Heuristics
Recommended article: On the 4-rank of ideal class groups of quadratic function fields
description: scientific article; zbMATH DE number 5145033