---
title: Non-abelian CLM Heuristics
url: https://www.emergentmind.com/topics/non-abelian-cohen-lenstra-martinet-heuristics
type: topic
---

# Non-abelian CLM Heuristics

Non-abelian Cohen–Lenstra–Martinet heuristics are a collection of conjectural and partially proved principles about how unramified arithmetic invariants should be distributed in families of number fields and global function fields when the relevant structure is no longer exhausted by an abelian class group. In the literature, this includes at least three closely connected regimes: distributions of maximal unramified pro-\(p\) or prime-to-bad-parts Galois groups, moment formulas for counts of unramified \(G\)-extensions of quadratic fields, and Cohen–Lenstra–Martinet-type distributions for class groups viewed as modules in families with non-abelian Galois closure. This suggests that the subject is best understood not as a single conjecture, but as a framework organized by surjection moments, ambient Galois action, roots of unity, ramification, and the choice of ordering on the family [1111.4679].

## 1. Classical CLM benchmark and the non-abelian problem

For a finite group \(\Gamma\) with a chosen decomposition group at infinity \(\Gamma_\infty\), the standard Cohen–Lenstra–Martinet benchmark at a “good prime” \(p\nmid |\Gamma|\) is a random finite \(\mathbb Z_{(p)}[\Gamma]\)-module \(X\) satisfying
\[
\mathbb{P}(X\cong M)=\frac{c}{|\operatorname{Aut}_\Gamma(M)|\,|M^{\Gamma_\infty}|}
\]
for each finite \(\mathbb Z_{(p)}[\Gamma]\)-module \(M\), together with the moment identity
\[
\mathbb{E}\bigl(|\operatorname{Sur}_\Gamma(X,M)|\bigr)=\frac{1}{|M^{\Gamma_\infty}|}.
\]
Equivalently, bounded-rank events should have positive probability and moments such as
\[
\mathbb{E}\bigl(|\operatorname{Hom}(\operatorname{Cl}_{K'},A)|\bigr)
\]
should be finite for every finite abelian \(p\)-group \(A\) [2211.10111].

A major theme of the subject is that this good-prime random-module picture is only the benchmark. One line of development asks for genuinely non-abelian replacements of \(\operatorname{Cl}_K[p^\infty]\), such as \(p\)-class tower groups or maximal unramified prime-to-bad-parts Galois groups. Another line keeps class groups abelian but treats them as modules over noncommutative orders or Hecke algebras attached to non-Galois ambient symmetry. This suggests that “non-abelian” refers both to the target Galois group and to the ambient symmetry controlling the family [1907.11201].

The classical CLM weights also admit a structural reinterpretation. For Galois fields, the relevant probabilities are inversely proportional to the number of automorphisms of “structures slightly larger than the class groups,” and, in a corrected formulation, Arakelov class groups provide the natural object whose inverse-automorphism mass recovers the usual Cohen–Lenstra–Martinet weight on torsion [1907.11201].

## 2. Imaginary quadratic fields, Schur \(\sigma\)-groups, and random pro-\(p\) presentations

The earliest systematic non-abelian refinement in this direction is the Boston–Bush–Hajir program for imaginary quadratic fields. For an imaginary quadratic field \(K\) and odd prime \(p\), one studies
\[
G_K=\Gal(K^{\mathrm{un},p}/K),
\]
the Galois group of the maximal unramified pro-\(p\) extension. Complex conjugation yields a generator-inverting involution, and Koch–Venkov showed that the \(p\)-class tower group of an imaginary quadratic number field is a Schur \(\sigma\)-group: a finitely generated pro-\(p\) group \(G\) with finite abelianization, \(d(G)=r(G)\), and a GI-automorphism [1111.4679].

The random model is presentation-theoretic. If \(F_g\) is the free pro-\(p\) group on \(g\) generators with standard GI-automorphism \(\sigma(x_i)=x_i^{-1}\), and
\[
X=\{s\in \Phi(F_g)\mid \sigma(s)=s^{-1}\},
\]
then one chooses \(g\) random relations from \(X\), takes the quotient by their closed normal closure, and mixes over \(g\) according to the Cohen–Lenstra distribution of the abelianization rank. The induced finite-level mass formula depends explicitly on \(|\Aut_\sigma(G)|\), the generator rank, and the relator invariant \(h_c(G)\), and for finite Schur \(\sigma\)-groups the stable mass is the exact non-abelian analogue of the classical Cohen–Lenstra weight [1111.4679].

The decisive invariant is the non-abelian moment. If \(H\) is a finite \(p\)-group with GI-automorphism and \(\Sur_\sigma(G,H)\) denotes continuous \(\sigma\)-equivariant surjections, then the Boston–Bush–Hajir measure \(\mu_{BBH}\) satisfies
\[
\int |\Sur_\sigma(G,H)|\,d\mu_{BBH}(G)=1.
\]
Boston and Matchett Wood proved that these moments characterize the measure, and in the function field analogue of imaginary quadratic extensions of \(\mathbb F_q(t)\) they proved that the corresponding averages are \(1+O(q^{-1/2})\) as \(q\to\infty\), under the conditions \((q,2|H|)=1\) and \((q-1,|H|)=1\) [1604.03433].

This moment formalism is foundational. It identifies the correct non-abelian analogue of the classical surjection moments, shows that abelianization pushes \(\mu_{BBH}\) forward to the Cohen–Lenstra measure, and provides a setting in which moment identities imply an underlying distribution rather than merely a collection of asymptotic averages [1604.03433].

## 3. Quadratic fields, closure types, GI-extensions, and reduced Schur multipliers

A complementary formulation counts unramified \(G\)-extensions of quadratic fields that are Galois over \(\mathbb Q\). Here the relevant object is not only \(G\), but also the index-\(2\) closure type
\[
1\to G\to G'\to C_2\to 1.
\]
Melanie Matchett Wood formulates the average
\[
E^{-}(G,G')=\frac{|H_2(G',c)[2]|}{|Aut_{G'}(G)|},\qquad
E^{+}(G,G')=\frac{|H_2(G',c)[2]|}{|c|\,|Aut_{G'}(G)|}
\]
for good \(G'\), and predicts \(E^\pm(G,G')=\infty\) when \(G'\) is not good. Here \(c\) is the set of order-\(2\) elements outside the kernel of \(G'\to S_2\), “good” means that this set is a single conjugacy class, and \(H_2(G',c)\) is the reduced Schur multiplier attached to \(G'\) and \(c\) [1702.04644].

This conjecture recovers the classical abelian odd-order moments when \(G\) is abelian. It also isolates a genuinely non-abelian correction: even over \(\mathbb Q\), the factor \(|H_2(G',c)[2]|\) behaves as a roots-of-unity correction that is invisible in the classical odd-order abelian setting. The function field analogue confirms the same pattern: Frobenius-fixed components of the relevant Hurwitz spaces are counted by \(|H_2(G',c)[q-1]|\), and this is exactly the geometric source of the correction [1702.04644].

Brandon Alberts supplies a complementary admissibility criterion through GI-extensions. If \(G\subset G'\) has index \(2\), then \(G'\) is a GI-extension of \(G\) if it is generated by involutions outside \(G\), equivalently if
\[
G'\cong G\rtimes C_2
\]
for an automorphism \(\sigma\) such that \(G\) is generated by \(\{g\in G: g^\sigma=g^{-1}\}\). This immediately yields vanishing results: if \(G\) has no GI-extension, then the corresponding averages \(E^\pm(G)\) are \(0\). In particular, for primes \(p\neq 2\), almost all finite \(p\)-groups do not have a GI-extension, hence \(E^\pm(G)=0\) for almost all such groups [1606.07867].

The same framework also produces divergence. Alberts proves
\[
E^\pm(Q_8)=\infty,\qquad E^\pm(D_4)=\infty,
\]
and more generally argues that for groups generated by involutions, Malle-type lower bounds suggest \(E^\pm(G,G\times C_2)=\infty\) [1606.07867]. The resulting picture is sharply non-abelian: finite, zero, and infinite averages all occur, and the closure type \(G'\) is an essential part of the problem rather than auxiliary data.

## 4. Imaginary \((\Gamma,\Gamma_\infty)\)-extensions and random admissible \(\Gamma\)-groups

A broader non-abelian Cohen–Lenstra–Martinet theory appears in the study of imaginary \((\Gamma,\Gamma_\infty)\)-extensions of \(\mathbb Q\) or \(\mathbb F_q(t)\). For such a field \(K\), one considers the maximal unramified extension split completely at \(\infty\), removes the degrees divisible by the bad primes, and obtains the prime-to-\(\Delta_Q\) quotient
\[
G_{\emptyset}^{\#}(K).
\]
By Schur–Zassenhaus, this is naturally a \(\Gamma\)-group, and it is the non-abelian replacement of the class group in this setting [2507.21558].

The central structural input is a presentation theorem. For suitable \(\mathcal C\), and for sufficiently large \(n\),
\[
G_{\emptyset}^{\#}(K)^{\mathcal C}\simeq
\frac{F_n^{\mathcal C}}{[r_i^{-1}\gamma(r_i)]_{\gamma\in\Gamma,\ i=1,\dots,n+1}}
\]
for some \(r_1,\dots,r_{n+1}\in F_n^{\mathcal C}\) with
\[
r_{n+1}\in (F_n^{\mathcal C})^{\Gamma_\infty}.
\]
The extra \(\Gamma_\infty\)-fixed relation is the algebraic shadow of ramification at \(\infty\) and is the feature distinguishing the imaginary theory from the totally real case [2507.21558].

This presentation yields a random-group model. One takes a free admissible \(\Gamma\)-group, imposes \(n+1\) random \(\Gamma\)-relation orbits, and chooses the last relation from the \(\Gamma_\infty\)-fixed locus. The resulting measure \(\mu_{\Gamma,\Gamma_\infty}\) has explicit masses and moments
\[
\int \Sur_\Gamma(X,H)\,d\mu_{\Gamma,\Gamma_\infty}(X)
=
\frac{1}{[H^{\Gamma_\infty}:H^\Gamma]}.
\]
In the function field case these moments are proved, first in an iterated large-\(q\), large-discriminant limit and then for each sufficiently large \(q\), by counting points on Hurwitz stacks [2507.21558].

The logical role of moments is reinforced by Sawin’s uniqueness theorem. For measures on finite level-\(C\) \(\Gamma\)-groups, convergence of all \(\Gamma\)-equivariant surjection moments, together with polynomial growth bounds, forces convergence of point masses. In particular, the level-\(C\) measures arising in the Liu–Wood–Zureick-Brown setting are determined by their moments [2006.04934]. This makes moment identities a genuine mechanism for defining non-abelian distributions rather than a merely heuristic diagnostic.

## 5. Roots of unity, bad primes, and family-sensitive corrections

The presence of roots of unity forces a further refinement. For a \(\Gamma\)-extension \(K/\mathbb F_q(t)\) split completely at \(\infty\), Liu defines an invariant
\[
\omega_K:\ \mathbb Z(1)_{(q|\Gamma|)'} \xrightarrow{\sim}
H^2(\operatorname{Gal}(K^\#/\mathbb F_q(t)),\mathbb Z)_{(q|\Gamma|)'}.
\]
Its descended version \(\omega_{L/K}\) determines the Weil pairing of the corresponding curve and agrees with the prime-to-\(|\Gamma|\)-torsion part of the EVW–Wood lifting invariant on Hurwitz schemes. The refined function field moment theorem then counts only those \(\Gamma\)-equivariant surjections with prescribed pushforward of \(\omega_K\), and the average is \([H:H^\Gamma]^{-1}\) when \(\operatorname{ord}(\operatorname{im}\delta)\mid q-1\), and \(0\) otherwise [2202.09471].

This leads to a roots-of-unity correction in the conjectural number field moments. If \(m\) is the maximal integer such that \(\mu_m\subset Q\), the predicted average number of surjections acquires the factor
\[
\#H^2(H\rtimes \Gamma,\mathbb Z)_{(|\Gamma|)'}[m],
\]
together with the Martinet-type unit correction \(|H|^{-u}\) [2202.09471]. In this form, roots of unity are not an auxiliary perturbation but part of the primary invariant.

A different correction arises from bad primes. Wang shows that when \(p\mid |\Gamma|\), the good-prime CLM benchmark can fail in a qualitative manner. Genus theory and the Roquette–Zassenhaus invariant subgroup
\[
C_K^\Gamma:=\operatorname{im}\bigl(\mathscr I_L^\Gamma\cap \mathscr I_K \to \operatorname{Cl}_K\bigr)
\]
produce lower bounds such as
\[
\operatorname{rk}_q q^{\,l-1}\operatorname{Cl}_K \ge
\bigl|\{p:\ p \text{ ramified of type } q^l\}\bigr|-2(n-1),
\]
and, under natural counting conjectures, one gets
\[
\mathbb P\bigl(\operatorname{rk}_q\operatorname{Cl}(K/\hat K^H)\le r\bigr)=0,
\qquad
\mathbb E\bigl(|\operatorname{Hom}(\operatorname{Cl}(K/\hat K^H),C_q)|\bigr)=+\infty
\]
for every \(r\) whenever \(q\) is non-random for the permutation action [2211.10111]. In \(S_3\)-cubic fields and \(D_4\)-quartic fields, this produces explicit unconditional or conditional failures of naive CLM behavior, and the paper stresses that the phenomenon is ordering-sensitive [2211.10111].

Hecke reciprocity introduces yet another family-sensitive correction. In the pure cubic family \(\mathbb Q(\sqrt[3]{n})\), ordered by \(|n|\), the average size of \(\mathrm{Cl}_F[2]\) is \(3/2\) in the tame family and \(2\) in the wild family, a dichotomy not accounted for by previously available heuristics. The underlying mechanism is a reciprocity law for \(\mathrm{Cl}_{F/K}[2]\) in odd-degree extensions, and the resulting random model yields
\[
\mathbb E\bigl(|\mathrm{Surj}(\mathrm{Cl}_{F/K}[2],V)|\bigr)
=
\frac{|\wedge^2V|}{|V|^u}
\]
in the Hecke-ramified case, but
\[
\mathbb E\bigl(|\mathrm{Surj}(\mathrm{Cl}_{F/K}[2],V)|\bigr)
=
\frac{|\wedge^2V|}{|V|^{u-1}}
\]
in aberrant Hecke-unramified subfamilies [2506.13749]. This shows that even after fixing the abstract Galois closure group, finer \(G_K\)-structure of the family can change the moment law.

## 6. Ambient non-abelian symmetry, Arakelov corrections, and proved families

A separate but closely related strand keeps class groups abelian while treating them in non-abelian ambient Galois settings. Bartel and Lenstra show that the classical CLM heuristics fail in two distinct ways: hidden module-theoretic restrictions in imaginary abelian extensions, and a mismatch between discriminant ordering and subfield distributions. Their corrected conjecture requires \(S\) finite, orders fields by
\[
c_{F/K},
\]
the norm of the product of ramified primes, and replaces \(R\otimes \Cl_F\) by \(R\otimes \Ar_F\), where \(\Ar_F\) is the Pontryagin dual of the Arakelov class group [1803.06903]. The exact sequence
\[
0\to \Hom(\Cl_F,\Q/\Z)\to \Ar_F\to \Hom(\mathcal O_F^\times,\Z)\to 0
\]
explains why the usual CLM weight on finite torsion modules is the shadow of a natural inverse-automorphism measure on lattices of fixed rational type [1803.06903].

A more refined equivariant version is given by Bartel, Lenstra, and de Valence through Arakelov class groups of random number fields. Chinburg’s \(\Omega(3)\) conjecture implies restrictions on the class of \(\Lambda\otimes \Ar_F\) in \(\mathrm G_0(\Lambda)\), and this leads to new counterexamples to naive CLM with non-abelian Galois group \(G=C_2\wr C_p\). In these families the original random-module support is too large: the corrected heuristic must restrict to modules in a fixed Grothendieck class [2005.11533].

Wood’s module-theoretic reinterpretation of CLM for non-Galois fields moves in the same direction. A new theorem on the capitulation kernel shows that, for primes good for the relevant idempotent,
\[
\operatorname{Cl}_{K/K_0}[S]\xrightarrow{\sim}
\bigl(e_{\Gamma/\Gamma'}\operatorname{Cl}_L[S]\bigr)^{\Gamma'},
\]
so class groups of non-Galois fields are controlled by Hecke-module structures coming from the non-abelian Galois closure. The resulting distribution is again of inverse-automorphism type, but now on modules over an integral Hecke algebra rather than merely on abstract finite abelian groups [1907.11201].

There are also exact non-abelian average results in the good-prime regime. For any transitive permutation \(2\)-group \(G\subset S_{2^m}\) containing a transposition, and any number field \(k\), there exists a constant \(c_{k,G,3}\) such that
\[
\lim_{X\to\infty}
\frac{1}{|E_k(G,X)|}\sum_{K\in E_k(G,X)} |\Cl_K[3]|
=
c_{k,G,3}.
\]
More sharply, if \(F_K\) is the unique index-\(2\) subfield and \(u=\operatorname{rk}\mathcal O_K^\times-\operatorname{rk}\mathcal O_{F_K}^\times\), then
\[
\lim_{X\to\infty}
\frac{1}{|E_k^u(G,X)|}\sum_{K\in E_k^u(G,X)} |\Cl_{K/F_K}[3]|
=
1+3^{-u},
\]
which is exactly the Cohen–Martinet prediction for the relative class group statistic [2110.07712]. The same paper emphasizes, however, that the full average of \(|\Cl_K[3]|\) can differ from the naive CM prediction because discriminant ordering biases the distribution of the resolvent subfield [2110.07712].

Taken together, these results isolate the recurrent obstructions any future non-abelian Cohen–Lenstra–Martinet heuristic must absorb from the outset: closure type, reduced Schur multipliers, roots of unity, ramification-forced bad primes, Hecke reciprocity, Grothendieck-class constraints, and the ordering of the family. This suggests that no single random law on finite groups or finite modules, applied uniformly across all primes and all orderings, can capture the observed behavior without conditioning on these structural invariants.

Source: https://www.emergentmind.com/topics/non-abelian-cohen-lenstra-martinet-heuristics