Recognition: unknown
Statistics of the Genus Number of S₃ times C₂ and D₄-fields
Pith reviewed 2026-05-08 15:31 UTC · model grok-4.3
The pith
The genus numbers of S3×Cq number fields have explicit averages and higher moments, with parallel statistics for D4 and pure quartic fields.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The genus number, defined as the contribution of ramification to the ideal class group, admits explicit average values and higher moments within the family of S3×Cq-fields for prime q ≠ 3; the same invariant obeys analogous distribution laws for D4-fields and for pure quartic fields; moreover, heuristics predict that in certain natural families the genus density vanishes, so that only a density-zero subset of fields attains any prescribed positive genus number.
What carries the argument
The genus number of a number field, which isolates the ramification contribution inside its ideal class group.
If this is right
- The average genus number in the S3×Cq family equals an explicit constant determined by local ramification data.
- All higher moments of the genus distribution in the same family are likewise given by explicit formulas.
- D4-fields and pure quartic fields obey the same type of genus-number statistics.
- In families satisfying the conjecture, the proportion of fields with any fixed genus number greater than zero tends to zero.
Where Pith is reading between the lines
- The results suggest that genus numbers remain bounded on average even as the discriminant grows, implying that ramification rarely produces large class-group contributions in these families.
- Similar moment calculations could be attempted for other small Galois groups once the corresponding field counts are known.
- Computational verification of the predicted averages would require enumerating fields up to a discriminant bound large enough to test the first few moments.
- The density-zero conjecture, if true, would align with broader expectations that most number fields have class number one or small class number.
Load-bearing premise
The results on moments and the conjecture depend on heuristics about how these fields are distributed or how their associated L-functions behave.
What would settle it
A numerical count of genus numbers over a large explicit list of S3×Cq-fields whose average or second moment deviates from the paper's predicted value.
read the original abstract
The genus number of a number field is a fundamental invariant which measures the contribution of ramification to its ideal class group. In this paper, we establish the statistics for the genus number for $S_3\times C_q$-fields for $q\neq 3$ a prime number, $D_4$-fields and pure quartic fields. We also obtain precise results on the average and higher moments of the genus distribution within the family of $S_3\times C_q$-fields. Finally, based on heuristics, we formulate a conjecture identifying families for which one should expect the genus density to be zero, i.e., only a density zero subset of fields in the family attains any fixed genus number.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes statistics for the genus number in families of number fields with Galois groups S_3 × C_q (q prime ≠ 3), D_4, and pure quartics. It derives precise (non-heuristic) results on the average and higher moments of the genus distribution specifically within the S_3 × C_q family, and formulates a heuristic conjecture that the genus density vanishes in certain families.
Significance. If the derivations hold, the work supplies concrete, unconditional data on how ramification contributes to class groups in non-abelian extensions, extending arithmetic statistics beyond abelian cases. The explicit moment calculations for the S_3 × C_q family are a particular strength, as they furnish falsifiable predictions that can be compared against Cohen-Lenstra-type heuristics.
minor comments (3)
- The title specifies S_3 × C_2 while the abstract and results treat the more general S_3 × C_q for primes q ≠ 3; align the title or add a clarifying sentence in the introduction.
- In the statements of the main theorems on moments, include explicit error terms or the precise range of the family (e.g., discriminant bounds) so that the claimed precision is immediately verifiable.
- The heuristic conjecture on genus density zero would benefit from a brief paragraph recalling the specific heuristics (e.g., on Artin L-functions or class group distributions) used to motivate it.
Simulated Author's Rebuttal
We thank the referee for their positive summary of the manuscript, for highlighting the significance of the unconditional results on genus number statistics in non-abelian families, and for recommending minor revision. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation relies on external analytic number theory tools
full rationale
The paper's central results establish statistics, averages, and moments for the genus number in specified families of number fields using standard methods for counting Galois extensions and analyzing ramification contributions to class groups. No equations, fitted parameters, or self-referential definitions appear in the provided abstract or description; the heuristic conjecture is explicitly separated and does not load-bear the main claims. The derivation chain is self-contained against external benchmarks such as known density results for S3 and D4 fields, with no reduction of predictions to inputs by construction or via load-bearing self-citations.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
MR3814003
KübraBenli,On the number of pure fields of prime degree, Colloq.Math.153(2018), no.1, 39–50. MR3814003
2018
-
[2]
Manjul Bhargava,Mass formulae for extensions of local fields, and conjectures on the density of number field discriminants, Int. Math. Res. Not. IMRN (2007), no. 17, Art. ID rnm052, 20. MR 2354798
2007
-
[3]
1, 65–93
Henri Cohen, Francisco Diaz y Diaz, and Michel Olivier,Enumerating quartic dihedral extensions ofQ, Com- positio Math.133(2002), no. 1, 65–93. MR 1918290 STATISTICS OF THE GENUS NUMBER OFS3 ×C 2 ANDD 4-FIELDS 29
2002
-
[4]
Christopher Frei, Daniel Loughran, and Rachel Newton,Distribution of genus numbers of abelian number fields, J. Lond. Math. Soc. (2)107(2023), no. 6, 2197–2217. MR 4598183
2023
-
[5]
Fröhlich,The genus field and genus group in finite number fields, ii, Mathematika6(1959), no
A. Fröhlich,The genus field and genus group in finite number fields, ii, Mathematika6(1959), no. 2, 142–146
1959
-
[6]
Reine Angew
Makoto Ishida,Some unramified abelian extensions of algebraic number fields, J. Reine Angew. Math.268/269 (1974), 165–173. MR 349633
1974
-
[7]
,On the genus field of an algebraic number field of odd prime degree, J. Math. Soc. Japan27(1975), 289–293. MR 401703
1975
-
[8]
,The genus fields of algebraic number fields, Lecture Notes in Mathematics, vol. Vol. 555, Springer- Verlag, Berlin-New York, 1976. MR 435028
1976
-
[9]
II, Tokyo J
,On the genus fields of pure number fields. II, Tokyo J. Math.4(1981), no. 1, 213–220. MR 625129
1981
-
[10]
2nd Edition, Springer-Verlag, Berlin-New York, 1994
Serge Lang,Algebraic number theory, Graduate Texts in Mathematics, vol. 2nd Edition, Springer-Verlag, Berlin-New York, 1994
1994
-
[11]
II, Experiment
Gunter Malle,On the distribution of Galois groups. II, Experiment. Math.13(2004), no. 2, 129–135. MR 2068887
2004
-
[12]
Riad Masri, Frank Thorne, Wei-Lun Tsai, and Jiuya Wang,Malle’s conjecture forg×a, withg=s3, s4, s5, 2020
2020
-
[13]
McGown, Frank Thorne, and Amanda Tucker,Counting quintic fields with genus number one, Math
Kevin J. McGown, Frank Thorne, and Amanda Tucker,Counting quintic fields with genus number one, Math. Res. Lett.30(2023), no. 2, 577–588. MR 4649640
2023
-
[14]
McGown and Amanda Tucker,Statistics of genus numbers of cubic fields, Ann
Kevin J. McGown and Amanda Tucker,Statistics of genus numbers of cubic fields, Ann. Inst. Fourier (Greno- ble)73(2023), no. 4, 1365–1383. MR 4613609
2023
-
[15]
,An improved error term for countingD 4-quartic fields, Bull. Lond. Math. Soc.56(2024), no. 9, 2874–2885. MR 4808549
2024
-
[16]
Takashi Taniguchi and Frank Thorne,Secondary terms in counting functions for cubic fields, Duke Math. J. 162(2013), no. 13, 2451–2508. MR 3127806
2013
-
[17]
163, American Mathematical Society, Providence, RI, 2015
Gérald Tenenbaum,Introduction to analytic and probabilistic number theory, third ed., Graduate Studies in Mathematics, vol. 163, American Mathematical Society, Providence, RI, 2015. MR 3363366
2015
-
[18]
The Institute of Mathematical Sciences, Chennai, IV Cross Road, CIT Campus, Taramani, Chen- nai - 600 113, Tamil Nadu, India
Tatsuya Yamada,Secondary terms in the distribution of genus numbers of cubic fields, 2026. The Institute of Mathematical Sciences, Chennai, IV Cross Road, CIT Campus, Taramani, Chen- nai - 600 113, Tamil Nadu, India. Email address:anupdixit@imsc.res.in UM-DAE Centre for Excellence in Basic Sciences, University of Mumbai, Vidyanagari, Mumbai, India-400098 ...
2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.