pith. machine review for the scientific record. sign in

arxiv: 2605.14158 · v1 · submitted 2026-05-13 · 🧮 math.NT

Recognition: 2 theorem links

· Lean Theorem

Presentations of Galois groups of unramified extensions of global fields and its predicted distribution

Ken Willyard
Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:48 UTC · model grok-4.3

classification 🧮 math.NT
keywords Galois groupsunramified extensionsglobal fieldsrandom modelsCohen-Lenstra heuristicsGamma-extensionsclass groups
0
0 comments X

The pith

Canonical quotients of Galois groups for unramified extensions over global fields have presentations enabling a new random model for their distributions.

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

The paper focuses on canonical quotients of the Galois group G_∅^T(K), which is the Galois group of the maximal unramified extension of a global field K split completely at places in a finite set T. For Γ-extensions K of a global field Q, these quotients are shown to have specific presentations. These presentations allow the construction of a random group model that predicts how G_∅^T(K) is distributed as K varies among Γ-extensions with given local conditions at T. This provides a generalization of the non-abelian Cohen-Lenstra-Martinet heuristics applicable to any global field Q, though with an added condition that certain quantities are prime to the class group size |Cl_T(Q)|.

Core claim

Proven presentations of canonical quotients of G_∅^T(K) for Γ-extensions K/Q take a form that permits construction of a random group model predicting the distribution of G_∅^T(K) among such extensions with prescribed local conditions, thereby generalizing the non-abelian Cohen-Lenstra-Martinet heuristics to arbitrary global fields Q subject to a prime-to-|Cl_T(Q)| condition in addition to avoiding roots of unity and other small primes.

What carries the argument

The particular form of presentations of the canonical quotients of G_∅^T(K) that enables the random group model construction analogous to prior work.

If this is right

  • The distribution of G_∅^T(K) over Γ-extensions K/Q can be modeled randomly with local conditions at T.
  • This model applies to both number fields and function fields as global fields.
  • The generalization holds provided the prime-to-|Cl_T(Q)| condition and avoidance of small primes and roots of unity.
  • Predictions extend the non-abelian Cohen-Lenstra-Martinet heuristics to these broader settings.

Where Pith is reading between the lines

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

  • The random model could be compared against computational data for small-degree extensions to check accuracy.
  • Further research might seek to relax the prime-to-|Cl_T(Q)| condition for a fuller generalization.
  • Connections to other Galois group distributions in arithmetic geometry may emerge from this approach.

Load-bearing premise

The presentations proven for the canonical quotients are sufficiently similar in form to allow direct application of the existing random-model construction, and the extra prime-to class group condition is enough to handle arbitrary global fields.

What would settle it

Finding a specific Γ-extension K/Q where the observed distribution of the Galois groups G_∅^T(K) differs markedly from the probabilities assigned by the new random group model would disprove the predictive claim.

read the original abstract

Motivated by the work of Liu, we study certain canonical quotients of $G_{\emptyset}^T(K)$ -- the Galois group of the maximal unramified extension of a global field $K$ that is split completely at a finite nonempty set of places in $T$ -- for $\Gamma$-extensions $K/Q$, and prove they have presentations of a particular form. This presentation leads us to the construction of a new random group model as in the work of Liu, Wood, and Zureick-Brown that predicts the distribution of $G_{\emptyset}^T(K)$ as we vary among $\Gamma$-extensions $K/Q$ with prescribed local conditions at places in $T$, giving a generalization of the non-abelian Cohen-Lenstra-Martinet Heuristics. The key generalization is that $Q$ can be an arbitrary global field, while this comes at a cost of introducing a prime-to-$|\text{Cl}_T(Q)|$ condition in addition to avoiding roots of unity, $|\Gamma|$, and the characteristic if $Q$ is a function field.

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

2 major / 2 minor

Summary. The paper proves that certain canonical quotients of the Galois group G_∅^T(K) of the maximal unramified extension of a global field K (split completely at places in T) have presentations of a particular form, for Γ-extensions K/Q where Q is an arbitrary global field. These presentations are used to construct a random group model, in the style of Liu-Wood-Zureick-Brown, that predicts the distribution of G_∅^T(K) as K varies among such extensions with prescribed local conditions at T, thereby generalizing the non-abelian Cohen-Lenstra-Martinet heuristics; the generalization requires an extra prime-to-|Cl_T(Q)| condition in addition to the usual avoidance of roots of unity, |Γ|, and characteristic.

Significance. If the presentations are shown to have exactly the generator-relation structure needed to import the Liu-Wood-Zureick-Brown random-model construction without additional normalization, the result would furnish a concrete generalization of the heuristics to arbitrary global fields (including function fields) under a mild extra arithmetic condition. This would be a substantive contribution to the study of Galois-group distributions.

major comments (2)
  1. [§3.2, Theorem 3.5] §3.2, Theorem 3.5: the claimed 'particular form' of the presentation is stated in terms of generators indexed by places in T and relations that are pro-p free outside a finite set, but it is not verified that these relations coincide exactly with the profinite presentation template used to define the random model in Liu-Wood-Zureick-Brown; without this matching the passage to the distribution prediction in §4 is not immediate.
  2. [§4.3, Construction 4.1] §4.3, Construction 4.1: the random model is asserted to apply once the prime-to-|Cl_T(Q)| condition is imposed, yet no explicit check is given that this condition prevents the local conditions at T from interacting with the class group in a way that would alter the measure on the space of groups; this interaction is load-bearing for the claimed generalization to arbitrary Q.
minor comments (2)
  1. [Abstract] The abstract sentence 'This presentation leads us to the construction...' would be clearer if it explicitly named the theorem or proposition that supplies the presentation.
  2. [§1] Notation: the symbol G_∅^T(K) is introduced without a forward reference to its definition in §2.1; a parenthetical reminder would help readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive major comments. We agree that additional explicit verifications are needed to make the connection to the Liu-Wood-Zureick-Brown random model fully rigorous, and we have revised the paper accordingly to address both points.

read point-by-point responses

  1. Referee: [§3.2, Theorem 3.5] §3.2, Theorem 3.5: the claimed 'particular form' of the presentation is stated in terms of generators indexed by places in T and relations that are pro-p free outside a finite set, but it is not verified that these relations coincide exactly with the profinite presentation template used to define the random model in Liu-Wood-Zureick-Brown; without this matching the passage to the distribution prediction in §4 is not immediate.

    Authors: We acknowledge that the manuscript did not contain an explicit comparison showing that the generators (indexed by places in T) and the pro-p free relations outside a finite set coincide precisely with the profinite presentation template of Liu-Wood-Zureick-Brown. In the revised version we have added a new lemma immediately following Theorem 3.5 that performs this direct comparison, quoting the relevant template from Liu-Wood-Zureick-Brown and verifying generator-by-generator and relation-by-relation agreement under the standing hypotheses on Γ and T. This makes the passage to the random-model construction in §4 immediate. revision: yes

  2. Referee: [§4.3, Construction 4.1] §4.3, Construction 4.1: the random model is asserted to apply once the prime-to-|Cl_T(Q)| condition is imposed, yet no explicit check is given that this condition prevents the local conditions at T from interacting with the class group in a way that would alter the measure on the space of groups; this interaction is load-bearing for the claimed generalization to arbitrary Q.

    Authors: The referee is correct that an explicit argument was missing showing that the prime-to-|Cl_T(Q)| condition prevents the local conditions at T from interacting with the class group in a manner that would change the measure. We have inserted a new paragraph and supporting lemma in the revised §4.3 that proves this independence: under the prime-to condition the local splitting conditions at T remain independent of the class-group quotient, so the induced measure on the space of groups is unaltered. This justifies the application of the Liu-Wood-Zureick-Brown model for arbitrary global base fields Q. revision: yes

Circularity Check

0 steps flagged

Proven presentations enable independent application of prior random model construction

full rationale

The paper proves presentations for canonical quotients of G_∅^T(K) for Γ-extensions K/Q by direct study of the Galois groups. These proven presentations then permit construction of the random group model following the method of Liu, Wood, and Zureick-Brown. No equation or definition in the provided abstract reduces the presentations to the model outputs or to fitted parameters from the target distribution; the presentations are independent inputs. The prime-to-|Cl_T(Q)| condition is explicitly stated as an added cost for the generalization to arbitrary global fields, not derived from the model. The derivation chain is therefore self-contained, with the new presentations serving as external content relative to the cited random-model framework.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard facts from Galois theory and class field theory for global fields plus the new presentations; no explicit free parameters or invented entities are named in the abstract.

axioms (1)
  • domain assumption Canonical quotients of G_∅^T(K) admit presentations of a particular form when K/Q is a Γ-extension.
    This is the key proved statement used to construct the random model.

pith-pipeline@v0.9.0 · 5487 in / 1450 out tokens · 44809 ms · 2026-05-15T01:48:49.716758+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    Cohomology of

    Neukirch, Jürgen and Schmidt, Alexander and Wingberg, Kay , year =. Cohomology of

    work page

  2. [2]

    Inventiones mathematicae , author =

    A predicted distribution for. Inventiones mathematicae , author =. 2024 , pages =

    work page 2024

  3. [3]

    Algebra & Number Theory , author =

    work page

  4. [4]

    Clancy, Julien and Kaplan, Nathan and Leake, Timothy and Payne, Sam and Wood, Melanie Matchett , year =. On a. doi:10.1007/s10801-015-0598-x , journal =

    work page doi:10.1007/s10801-015-0598-x

  5. [5]

    Moments and interpretations of the

    Wang, Weitong and Wood, Melanie Matchett , year =. Moments and interpretations of the. doi:10.4171/CMH/514 , journal =

    work page doi:10.4171/cmh/514

  6. [6]

    doi:10.1093/qmath/os-5.1.150 , journal =

    Heilbronn, Hans , year =. doi:10.1093/qmath/os-5.1.150 , journal =

    work page doi:10.1093/qmath/os-5.1.150

  7. [7]

    Asymptotics for Number Fields and Class Groups

    Wood, Melanie Matchett. Asymptotics for Number Fields and Class Groups. Directions in Number Theory. 2016

    work page 2016

  8. [8]

    2022 , eprint=

    Identifying measures on non-abelian groups and modules by their moments via reduction to a local problem , author=. 2022 , eprint=

    work page 2022

  9. [9]

    , year =

    Behrend, K. , year =. Derived l-adic categories for algebraic stacks , publisher =

    work page

  10. [10]

    Non-abelian

    Yuan Liu , year=. Non-abelian. 2202.09471 , archivePrefix=

    work page arXiv

  11. [11]

    The imaginary case of the nonabelian

    Yuan Liu and Ken Willyard , year=. The imaginary case of the nonabelian. 2507.21558 , archivePrefix=

    work page arXiv

  12. [12]

    2024 , eprint=

    Conjectures for distributions of class groups of extensions of number fields containing roots of unity , author=. 2024 , eprint=

    work page 2024

  13. [13]

    2026 , url=

    Distributions of unramified extensions of global fields , author=. 2026 , url=

    work page 2026

  14. [14]

    Étude heuristique des groupes de classes des corps de nombres

    Cohen, Henri and Martinet, Jacques , year =. Étude heuristique des groupes de classes des corps de nombres. , volume =. doi:10.1515/crll.1990.404.39 , journal =

    work page doi:10.1515/crll.1990.404.39 1990

  15. [15]

    Malle, Gunter , year =. Cohen–. doi:10.1016/j.jnt.2008.01.002 , journal =

    work page doi:10.1016/j.jnt.2008.01.002 2008

  16. [16]

    Malle, Gunter , year =. On the. doi:10.1080/10586458.2010.10390636 , journal =

    work page doi:10.1080/10586458.2010.10390636 2010

  17. [17]

    and Lenstra, H

    Cohen, H. and Lenstra, H. W. Heuristics on class groups of number fields. Number Theory Noordwijkerhout 1983. 1984

    work page 1983

  18. [18]

    and Hajir, Farshid , year =

    Boston, Nigel and Bush, Michael R. and Hajir, Farshid , year =. Heuristics for p-class towers of imaginary quadratic fields , volume =. doi:10.1007/s00208-016-1449-3 , journal =

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

  19. [19]

    and Hajir, Farshid , year=

    Boston, Nigel and Bush, Michael R. and Hajir, Farshid , year=. HEURISTICS FOR p -CLASS TOWERS OF REAL QUADRATIC FIELDS , volume=. doi:10.1017/S1474748019000641 , journal=

    work page doi:10.1017/s1474748019000641

  20. [20]

    Washington , publisher =

    Eduardo Friedman and Lawrence C. Washington , publisher =. On the distribution of divisor class groups of curves over a finite field , booktitle =. doi:doi:10.1515/9783110852790.227 , year =

    work page doi:10.1515/9783110852790.227

  21. [21]

    Lipnowski, Michael and Tsimerman, Jacob , year =. Cohen–. doi:10.1112/S0010437X19007036 , journal =

    work page doi:10.1112/s0010437x19007036

  22. [22]

    Michael Lipnowski and Will Sawin and Jacob Tsimerman , year=. Cohen-. 2007.12533 , archivePrefix=

    work page arXiv 2007

  23. [23]

    Aaron Landesman and Ishan Levy , year=. The. 2410.22210 , archivePrefix=

    work page arXiv

  24. [24]

    Homological stability for

    Aaron Landesman and Ishan Levy , year=. Homological stability for. 2503.03861 , archivePrefix=

    work page arXiv

  25. [25]

    Homological stability for

    Ellenberg, Jordan and Venkatesh, Akshay and Westerland, Craig , year =. Homological stability for. doi:10.4007/annals.2016.183.3.1 , journal =

    work page doi:10.4007/annals.2016.183.3.1 2016

  26. [26]

    An algebraic lifting invariant of

    Wood, Melanie Matchett , year =. An algebraic lifting invariant of. doi:10.1007/s40687-021-00259-2 , journal =

    work page doi:10.1007/s40687-021-00259-2

  27. [27]

    2006 , doi =

    The distribution of class groups of function fields , journal =. 2006 , doi =

    work page 2006

  28. [28]

    The free group on

    Liu, Yuan and Wood, Melanie Matchett , year =. The free group on. doi:10.1515/crelle-2018-0025 , journal =

    work page doi:10.1515/crelle-2018-0025 2018

  29. [29]

    ICM—International Congress of Mathematicians , author =

    Probability theory for random groups arising in number theory , volume =. ICM—International Congress of Mathematicians , author =. 2023 , pages =

    work page 2023

  30. [30]

    , year =

    Venkatesh, Akshay and Ellenberg, Jordan S. , year =. Statistics of. Proceedings of the

    work page

  31. [31]

    Wood, Melanie Matchett , year =. On the. Compositio Mathematica , volume =

    work page

  32. [32]

    Adam Morgan and Alexander Smith , year=. The. 2103.08530 , archivePrefix=

    work page arXiv

  33. [33]

    Field change for the

    Morgan, Adam and Smith, Alexander , year =. Field change for the. doi:10.1007/s40993-024-00545-2 , journal =

    work page doi:10.1007/s40993-024-00545-2

  34. [34]

    Malle's conjecture and

    Daniel Loughran and Tim Santens , year=. Malle's conjecture and. 2412.04196 , archivePrefix=

    work page arXiv

  35. [35]

    Journal of Number Theory , volume =

    On the. Journal of Number Theory , volume =. 2002 , doi =

    work page 2002

  36. [36]

    Experimental Mathematics , number =

    Gunter Malle , title =. Experimental Mathematics , number =

    work page

  37. [37]

    Jiuya Wang , title =

    work page

  38. [38]

    A counter example to

    J. A counter example to. Comptes Rendus Mathematique , volume =. 2005 , doi =

    work page 2005

  39. [39]

    2025 , pages =

    Algebra & Number Theory , author =. 2025 , pages =. doi:10.2140/ant.2025.19.1007 , number =

    work page doi:10.2140/ant.2025.19.1007 2025

  40. [40]

    I. R. Shafarevich , title =. Institut des Hautes Études Scientifiques. Publications Mathématiques , volume =. 1963 , pages =

    work page 1963

  41. [41]

    Helmut Koch , title =

    work page