pith. sign in

arxiv: 2605.01590 · v1 · submitted 2026-05-02 · 🧮 math.NT

3-class field towers with 2 or 3 stages

Helga Boyer von Berghof , Daniel C. Mayer This is my paper

Pith reviewed 2026-05-09 17:34 UTC · model grok-4.3

classification 🧮 math.NT
keywords quadratic fields3-class groupsprincipalization typesclass field towersGalois groupsmetabelianizationdescendant treesnilpotency class
0
0 comments X

The pith

For quadratic fields with bicyclic 3-class group and simple principalization types, the full 3-class field tower coincides with its metabelian stage under explicit conditions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Quadratic fields whose 3-class group is the elementary abelian group of order 9 are classified by their 3-principalization types. For four simple such types the paper gives necessary and sufficient conditions that make the infinite unramified 3-extension equal to the maximal metabelian one. In these cases the tower has length two. For two complex types the paper proves that infinitely many non-metabelian groups can share the same metabelian quotient. Minimal positive discriminants realizing each case with tower length two or three are located by computation assuming the generalized Riemann hypothesis.

Core claim

The authors establish that for simple 3-principalization types κ(k) in {(1122),(3122),(1231),(2231)} the Galois group S of the full 3-class field tower equals the metabelian group M precisely when certain conditions on the Artin symbols or capitulation hold. For the complex types (2122) and (4231) there exist infinitely many distinct non-metabelian S with the same metabelianization M. They also report the smallest discriminants d for which the tower has length 2 or 3 with nilpotency class of M up to 11.

What carries the argument

The 3-principalization type, which encodes the capitulation of prime ideals in the three unramified quadratic extensions of k, and the descendant tree of the group (Z/3Z)^2 that classifies possible extensions of M to S.

If this is right

  • If the principalization type is simple and satisfies the given conditions then S equals M and the tower has length 2.
  • For complex principalization types the tower length can exceed 2 and the derived length of S can be arbitrarily large.
  • The possible Galois groups S lie on specific paths in the descendant tree starting from M.
  • Experimental minimal discriminants exist for each combination of simple type, tower length 2 or 3, and nilpotency class 5,7,9,11.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The results suggest that most such quadratic fields have short 3-class field towers of length at most 3.
  • Without the GRH assumption the reported minimal discriminants might not be the absolute smallest.
  • These criteria could be used to construct explicit examples of quadratic fields with prescribed tower behavior.
  • Similar techniques might apply to p-class field towers for other odd primes p.

Load-bearing premise

The location of the smallest discriminants for each tower length and nilpotency class depends on the generalized Riemann hypothesis being true.

What would settle it

A quadratic field with 3-class group isomorphic to (Z/3Z)^2, principalization type (1122), and a 3-class field tower of length greater than 2 would falsify the necessary and sufficient conditions.

Figures

Figures reproduced from arXiv: 2605.01590 by Daniel C. Mayer, Helga Boyer von Berghof.

Figure 1
Figure 1. Figure 1: Schur σ-groups with simple type in excited states on ∗T (R) Legend: ❢q . . . fork F with bifurcation q . . . metabelian skeleton type group ❞ . . . metabelianization M = S/S′′ . . . Schur σ-group S ↖ . . . projection S → S/S′′ . . . Schur+1 σ-group T GS . . . ground state ES . . . excited state Order 243 3 5 729 3 6 2 187 3 7 6 561 3 8 19 683 3 9 59 049 3 10 177 147 3 11 531 441 3 12 1 594 323 3 13 4 782 9… view at source ↗
Figure 2
Figure 2. Figure 2: Schur σ-groups with complex type in excited states on ∗T (R) Legend: ❡q . . . fork F with bifurcation q . . . metabelian mainline group . . . non-metabelian group ❝ . . . metabelianization M = S/S′′ . . . Schur σ-group S ↖ . . . projection S → S/S′′ GS. . . ground state ES . . . excited state Order 243 3 5 729 3 6 2 187 3 7 6 561 3 8 19 683 3 9 59 049 3 10 177 147 3 11 531 441 3 12 1 594 323 3 13 4 782 969… view at source ↗
Figure 3
Figure 3. Figure 3: Topologies of 3-tower groups with complex type H.4 in the GS on ∗T (R) Legend: ❡q . . . fork F with bifurcation q . . . metabelian mainline group . . . non-metabelian group ❝ . . . metabelianization M = S/S′′ . . . Schur σ-group S ↖ . . . projection S → S/S′′ GS. . . ground state Order 243 3 5 729 3 6 2 187 3 7 6 561 3 8 19 683 3 9 59 049 3 10 177 147 3 11 531 441 3 12 ❄ q q q q q q q q Root R = X2 3 Fork … view at source ↗
read the original abstract

For quadratic fields \(k=\mathbb{Q}(\sqrt{d})\) with discriminant \(d\), \(3\)-class group \(\mathrm{Cl}_3(k)\simeq (\mathbb{Z}/3\mathbb{Z})^2\), and four \textit{simple} \(3\)-principalization types \(\varkappa(k)\in\lbrace (1122),(3122),(1231),(2231)\rbrace\), we establish necessary and sufficient conditions for the Galois group \(S=\mathrm{Gal}(\mathrm{F}_3^\infty(k)/k)\) of the unramified Hilbert \(3\)-class field tower of \(k\) to coincide with the Galois group \(M=\mathrm{Gal}(\mathrm{F}_3^2(k)/k)\) of the maximal metabelian unramified \(3\)-extension of \(k\). In the case of non-coincidence, we study the path between \(M\) and \(S\) in the descendant tree of the elementary bicyclic \(3\)-group \((\mathbb{Z}/3\mathbb{Z})^2\). For two \textit{complex} \(3\)-principalization types \(\varkappa(k)\in\lbrace (2122),(4231)\rbrace\), we show that infinitely many non-metabelian possible Galois groups \(S=\mathrm{Gal}(\mathrm{F}_3^\infty(k)/k)\) with presumably unbounded derived length \(\mathrm{dl}(S)\) share a common metabelianization \(M=S/S^{\prime\prime}\), whence only partial criteria can be stated. Minimal discriminants \(d>0\) with assigned simple \(3\)-principalization type \(\varkappa(k)\) and fixed length \(\ell_3(k)\in\lbrace 2,3\rbrace\) of the \(3\)-class field tower are determined experimentally for nilpotency class \(\mathrm{cl}(M)\in\lbrace 5,7,9,11\rbrace\) under assumption of the generalized Riemann hypothesis.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper claims that for quadratic fields k=Q(sqrt(d)) with Cl_3(k) ≃ (Z/3Z)^2 and simple 3-principalization types κ(k) in {(1122),(3122),(1231),(2231)}, necessary and sufficient conditions are established for the full 3-class tower Galois group S to equal the metabelian quotient M; for complex types κ(k) in {(2122),(4231)}, infinitely many non-metabelian S share a common metabelianization M. It further determines minimal positive discriminants experimentally for towers of length 2 or 3 at nilpotency classes cl(M) in {5,7,9,11} under GRH, using descendant trees of the elementary abelian 3-group (Z/3Z)^2.

Significance. If the theoretical criteria hold, the work advances the classification of 3-class field towers by providing explicit conditions distinguishing metabelian from non-metabelian cases via p-group descendant trees, with concrete examples for quadratic fields. The explicit path analysis in the descendant tree and the identification of common metabelianizations for complex types are strengths. The experimental minimal discriminants supply supporting data, though their completeness is conditional.

major comments (1)
  1. [Abstract and computational results] Abstract and computational results section: The minimal positive discriminants d for fixed ℓ_3(k) ∈ {2,3} and cl(M) ∈ {5,7,9,11} are determined experimentally under the generalized Riemann hypothesis. The search bounds and completeness claims therefore hold only conditionally; if GRH fails, smaller d could exist that were excluded, altering the reported distribution of tower lengths and the supporting data for the classification of simple vs. complex types.
minor comments (2)
  1. [Abstract] The notation for principalization types uses both κ(k) and ϰ(k) in the abstract; standardize to a single symbol throughout.
  2. [Introduction] The abstract refers to 'four simple' and 'two complex' types but does not list the full set of possible types or reference the classification theorem used to identify them; add a brief citation or table in the introduction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We respond to the major comment below.

read point-by-point responses

  1. Referee: The minimal positive discriminants d for fixed ℓ_3(k) ∈ {2,3} and cl(M) ∈ {5,7,9,11} are determined experimentally under the generalized Riemann hypothesis. The search bounds and completeness claims therefore hold only conditionally; if GRH fails, smaller d could exist that were excluded, altering the reported distribution of tower lengths and the supporting data for the classification of simple vs. complex types.

    Authors: We agree that the experimental determination of minimal positive discriminants is conditional on the generalized Riemann hypothesis. The manuscript already states this assumption explicitly in the abstract. To address the referee's concern, we will revise the abstract and the computational results section to emphasize more clearly that the reported minimal discriminants, the observed distributions of tower lengths, and any supporting data for distinguishing simple versus complex principalization types are valid only under GRH. If GRH fails, smaller discriminants could exist and potentially alter these distributions. The core theoretical criteria for metabelian versus non-metabelian towers remain unconditional and are unaffected by this revision. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation independent of inputs

full rationale

The central theoretical results establish necessary and sufficient conditions for coincidence of S and M by walking the descendant tree of the fixed elementary abelian 3-group (Z/3Z)^2; this is a standard group-theoretic enumeration with no reduction to fitted parameters or self-definitional loops. Experimental minimal discriminants are obtained by exhaustive search under an external GRH assumption rather than by predicting from any fitted model. No load-bearing self-citation chains or ansatz smuggling appear in the derivation; the paper remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The only explicit extra assumption is the generalized Riemann hypothesis for the computational search; all other background consists of standard facts from class field theory and finite p-group theory.

axioms (1)
  • domain assumption Generalized Riemann hypothesis
    Invoked to guarantee that the computational enumeration of quadratic fields with given 3-class group and principalization type finds the true minimal discriminants.

pith-pipeline@v0.9.0 · 5670 in / 1533 out tokens · 62268 ms · 2026-05-09T17:34:34.998338+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    Aouissi and D

    S. Aouissi and D. C. Mayer, Coclass of the second 3-class group,Bol. Soc. Mat. Mex.31, (2025), no. 138, DOI 10.1007/s40590-025-00816-7

    work page doi:10.1007/s40590-025-00816-7 2025

  2. [2]

    Arrigoni, On Schurσ-groups,Math

    M. Arrigoni, On Schurσ-groups,Math. Nachr.192(1998), 71–89

    work page 1998

  3. [3]

    Artin, Beweis des allgemeinen Reziprozit¨ atsgesetzes,Abh

    E. Artin, Beweis des allgemeinen Reziprozit¨ atsgesetzes,Abh. Math. Sem. Univ. Hamburg5(1927), 353–363

    work page 1927

  4. [4]

    J. A. Ascione, G. Havas, and C. R. Leedham-Green, A computer aided classification of certain groups of prime power order,Bull. Austral. Math. Soc.17(1977), 257–274, Corrigendum 317–319, Microfiche Supplement p. 320, DOI 10.1017/s0004972700010467

    work page doi:10.1017/s0004972700010467 1977

  5. [5]

    Bartholdi and M

    L. Bartholdi and M. R. Bush, Maximal unramified 3-extensions of imaginary quadratic fields and SL 2(Z3), J. Number Theory124(2007), 159–166, DOI 10.1016/j.jnt.2006.08.008

    work page doi:10.1016/j.jnt.2006.08.008 2007

  6. [6]

    H. U. Besche, B. Eick, and E. A. O’Brien,The SmallGroups Library — a library of groups of small order, 2005, an accepted and refereed GAP package, available also in Magma

    work page 2005

  7. [7]

    Bosma, J

    W. Bosma, J. Cannon, and C. Playoust, The Magma algebra system. I. The user language,J. Symbolic Comput.24(1997), 235–265

    work page 1997

  8. [8]

    Bosma, J

    W. Bosma, J. J. Cannon, C. Fieker, and A. Steel (eds.),Handbook of Magma functions(Edition 2.29, Sydney, 2026)

    work page 2026

  9. [9]

    and Hajir, Farshid , year =

    N. Boston, M. R. Bush and F. Hajir,Heuristics forp-class towers of imaginary quadratic fields, Math. Ann. 368(2017), no. 1, 633–669, DOI 10.1007/s00208-016-1449-3

    work page doi:10.1007/s00208-016-1449-3 2017

  10. [10]

    and Hajir, Farshid , year=

    N. Boston, M. R. Bush and F. Hajir,Heuristics forp-class towers of real quadratic fields, J. Inst. Math. Jussieu20(2021), no. 4, 1429–1452, DOI: 10.1017/S1474748019000641

    work page doi:10.1017/s1474748019000641 2021

  11. [11]

    M. R. Bush and D. C. Mayer, 3-class field towers of exact length 3,J. Number Theory147(2015), 766–777, DOI 10.1016/j.jnt.2014.08.010

    work page doi:10.1016/j.jnt.2014.08.010 2015

  12. [12]

    du Sautoy, Countingp-groups and nilpotent groups,Publ

    M. du Sautoy, Countingp-groups and nilpotent groups,Publ. Math. Inst. Hautes ´Etudes Scientifiques92 (2001), 63–112

    work page 2001

  13. [13]

    Eick and C

    B. Eick and C. Leedham-Green, On the classification of prime-power groups by coclass,Bull. London Math. Soc.,40(2008), 274–288

    work page 2008

  14. [14]

    B. Eick, C. R. Leedham-Green, M. F. Newman and E. A. O’Brien, On the classification of groups of prime- power order by coclass: The 3-groups of coclass 2,Int. J. Algebra Comput.23(2013), no. 5, 1243–1288, DOI 10.1142/s0218196713500252

    work page doi:10.1142/s0218196713500252 2013

  15. [15]

    Fieker, Computing class fields via the Artin map,Math

    C. Fieker, Computing class fields via the Artin map,Math. Comp.70(2001), no. 235, 1293–1303

    work page 2001

  16. [16]

    Gamble, W

    G. Gamble, W. Nickel, and E. A. O’Brien,ANU p-Quotient — p-Quotient and p-Group Generation Algo- rithms, 2006, an accepted GAP package, available also in MAGMA. 3-CLASS FIELD TOWERS WITH 2 OR 3 STAGES 27

    work page 2006

  17. [17]

    D. F. Holt, B. Eick, and E. A. O’Brien,Handbook of computational group theory, Discrete mathematics and its applications, Chapman and Hall/CRC Press, 2005

    work page 2005

  18. [18]

    Hall, The classification of prime-power groups,J

    P. Hall, The classification of prime-power groups,J. Reine Angew. Math.182(1940), 130–141

    work page 1940

  19. [19]

    Hilbert, Die Theorie der algebraischen Zahlk¨ orper,Jber

    D. Hilbert, Die Theorie der algebraischen Zahlk¨ orper,Jber. der DMV4(1897), 175–546

    work page

  20. [20]

    Koch und B

    H. Koch und B. B. Venkov, ¨Uber denp-Klassenk¨ orperturm eines imagin¨ ar-quadratischen Zahlk¨ orpers, Ast´ erisque24–25(1975), 57–67

    work page 1975

  21. [21]

    C. R. Leedham-Green, The structure of finitep-groups,J. London Math. Soc.50(1994), 49–67, DOI 10.1112/jlms/50.1.49

    work page doi:10.1112/jlms/50.1.49 1994

  22. [22]

    Magma Developer Group,Magma Computational Algebra System, Version2.29-6, Sydney, 2026, available fromhttp://magma.maths.usyd.edu.au

    work page 2026

  23. [23]

    Magma Developer Group,Magma, Data for groups of order3 8,data3to8.tar.gz, Sydney, 2012, available fromhttp://magma.maths.usyd.edu.au

    work page 2012

  24. [24]

    D. C. Mayer, Principalization in complexS 3-fields,Congressus Numerantium80(1991), 73–87 (Proceedings of the Twentieth Manitoba Conference on Numerical Mathematics and Computing, Winnipeg, Manitoba, Canada, 1990)

    work page 1991

  25. [25]

    D. C. Mayer, The secondp-class group of a number field,Int. J. Number Theory8(2012), no. 2, 471–505, DOI 10.1142/S179304211250025X

    work page doi:10.1142/s179304211250025x 2012

  26. [26]

    D. C. Mayer, Transfers of metabelianp-groups,Monatsh. Math.166(2012), no. 3–4, 467–495, DOI 10.1007/s00605-010-0277-x

    work page doi:10.1007/s00605-010-0277-x 2012

  27. [27]

    D. C. Mayer, Principalization algorithm via class group structure,J. Th´ eor. Nombres Bordeaux26(2014), no. 2, 415–464, DOI 10.5802/jtnb.874

    work page doi:10.5802/jtnb.874 2014

  28. [28]

    D. C. Mayer, Periodic bifurcations in descendant trees of finitep-groups,Adv. Pure Math.5(2015), no. 4, 162–195, DOI 10.4236/apm.2015.54020, Special Issue on Group Theory, March 2015

    work page doi:10.4236/apm.2015.54020 2015

  29. [29]

    D. C. Mayer, Index-pabelianization data ofp-class tower groups,Adv. Pure Math.5(2015) no. 5, 286–313, DOI 10.4236/apm.2015.55029, Special Issue on Number Theory and Cryptography, April 2015

    work page doi:10.4236/apm.2015.55029 2015

  30. [30]

    D. C. Mayer, Periodic sequences ofp-class tower groups,J. Appl. Math. Phys.3(2015), no. 7, 746–756, DOI 10.4236/jamp.2015.37090, First International Conference on Groups and Algebras, 2015, Shanghai

    work page doi:10.4236/jamp.2015.37090 2015

  31. [31]

    D. C. Mayer, New number fields with knownp-class tower,Tatra Mt. Math. Pub.64(2015), 21–57, DOI 10.1515/tmmp-2015-0040, Special Issue on Number Theory and Cryptology ‘15

    work page doi:10.1515/tmmp-2015-0040 2015

  32. [32]

    D. C. Mayer, Artin transfer patterns on descendant trees of finitep-groups,Adv. Pure Math.6(2016), no. 2, 66–104, DOI 10.4236/apm.2016.62008, Special Issue on Group Theory Research, January 2016

    work page doi:10.4236/apm.2016.62008 2016

  33. [33]

    D. C. Mayer, Criteria for three-stage towers ofp-class fields,Adv. Pure Math.7(2017), 135–179, DOI 10.4236/apm.2017.72008, Special Issue on Number Theory, February 2017

    work page doi:10.4236/apm.2017.72008 2017

  34. [34]

    D. C. Mayer,Modeling rooted in-trees by finitep-groups, Chapter 5, pp. 85–113, in the Open Access Book Graph Theory — Advanced Algorithms and Applications, Ed. B. Sirmacek, InTech d.o.o., Rijeka, January 2018, DOI 10.5772/intechopen.68703

    work page doi:10.5772/intechopen.68703 2018

  35. [35]

    M. F. Newman, Determination of groups of prime-power order, pp. 73–84, in: Group Theory, Canberra, 1975, Lecture Notes in Math., vol. 573, Springer, Berlin, 1977

    work page 1975

  36. [36]

    M. F. Newman, Groups of prime-power order, Groups — Canberra 1989,Lecture Notes in Math., vol. 1456, Springer, 1990, pp. 49–62, DOI 10.1007/bfb0100730

    work page doi:10.1007/bfb0100730 1989

  37. [37]

    E. A. O’Brien, Thep-group generation algorithm,J. Symbolic Comput.9(1990), 677–698, DOI 10.1016/s0747- 7171(08)80082-x

    work page doi:10.1016/s0747- 1990

  38. [38]

    Scholz und O

    A. Scholz und O. Taussky, Die Hauptideale der kubischen Klassenk¨ orper imagin¨ ar quadratischer Zahlk¨ orper: ihre rechnerische Bestimmung und ihr Einfluß auf den Klassenk¨ orperturm,J. Reine Angew. Math.171(1934), 19–41

    work page 1934

  39. [39]

    Schoof, Infinite class field towers of quadratic fieldsJ

    R. Schoof, Infinite class field towers of quadratic fieldsJ. Reine Angew. Math.372(1986), 209–220

    work page 1986

  40. [40]

    I. R. Shafarevich, Extensions with prescribed ramification points (Russian),Publ. Math., Inst. Hautes ´Etudes Sci.18(1964), 71–95. (English transl. by J. W. S. Cassels in Amer. Math. Soc. Transl., II. Ser.,59(1966), 128–149.)

    work page 1964

  41. [41]

    Shalev, The structure of finitep-groups: effective proof of the coclass conjectures,Invent

    A. Shalev, The structure of finitep-groups: effective proof of the coclass conjectures,Invent. Math.115 (1994), 315–345, DOI 10.1007/bf01231763. Krenngasse 43, 8010 Graz, Austria Email address:helgaboyervonberghof@gmail.com Naglergasse 53, 8010 Graz, Austria Email address:quantum.algebra@icloud.com URL:http://www.algebra.at

    work page doi:10.1007/bf01231763 1994