arxiv: 2604.25789 · v1 · submitted 2026-04-28 · 🧮 math.GR · math.NT

Recognition: unknown

Mild Pro-p Groups and Ordered Monoids

Ido Efrat

Pith reviewed 2026-05-07 13:56 UTC · model grok-4.3

classification 🧮 math.GR math.NT

keywords pro-p groupsmild groupsordered monoidsgroup presentationscohomologyright-angled Artin groupstriangle condition

0 comments

The pith

An ordered monoid constructed from the relations decides whether a finitely presented pro-p group is mild.

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

The paper proves a criterion that determines the mildness of a pro-p group given by a finite presentation by building an ordered monoid from those relations and verifying a property of the monoid. This test recovers several earlier mildness conditions as special cases and establishes a link to the triangle condition on certain Artin groups. A sympathetic reader would care because mild pro-p groups have restricted cohomology rings that simplify the study of Galois representations and low-dimensional topology. If the criterion holds, mildness becomes checkable directly from the presentation data rather than through separate cohomological computations.

Core claim

The mildness of a finitely presented pro-p group G follows from a verifiable property of the ordered monoid built from the relations in its pro-p presentation.

What carries the argument

The ordered monoid associated to the finite pro-p presentation, which encodes the relations in an order that permits a direct test for mildness.

If this is right

The criterion recovers a cohomological test expressed in terms of Massey products as one special case.
It recovers the non-singular circuit criterion as another special case.
It establishes an equivalence between the monoid condition and the triangle condition for the mildness of pro-p right-angled Artin groups.

Where Pith is reading between the lines

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

The monoid construction could be adapted to decide mildness for pro-p groups given by infinite presentations if the relations can be organized similarly.
The link to right-angled Artin groups suggests the criterion may help classify which such groups remain mild after pro-p completion.
Because mildness controls the structure of the cohomology ring, the test could streamline computations in Galois cohomology where pro-p groups arise from number fields.

Load-bearing premise

The ordered monoid built from the presentation relations encodes precisely the data that controls whether the pro-p group is mild.

What would settle it

A concrete finitely presented pro-p group whose associated ordered monoid satisfies the criterion while direct computation of its cohomology or other invariants shows it is not mild.

read the original abstract

We prove a criterion for the mildness of a finitely presented pro-$p$ group $G$. It implies as a special case a cohomological mildness criterion via Massey products, generalizing results due to Schmidt and G\"artner. It subsumes Labute's non-singular circuit criterion. We further show connections with the triangle condition for the mildness of pro-$p$ right-angled Artin groups, due to Quadrelli, Snopce and Vannacci.

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.

Desk Editor's Note private letter to a colleague

Efrat's ordered monoid criterion unifies the Massey product and Labute tests for mild pro-p groups with a direct graded comparison that holds up on the stated terms.

read the letter

This paper gives a criterion for mildness of a finitely presented pro-p group by building an ordered monoid from the presentation and checking an ordering condition on it. The payoff is that the same condition recovers the cohomological test via Massey products, generalizing Schmidt and Gärtner, and it also covers Labute's non-singular circuit criterion as a special case. It further connects the setup to the triangle condition for pro-p right-angled Artin groups from Quadrelli, Snopce and Vannacci. The argument runs by comparing the associated graded objects and relations once the ordering is fixed, which keeps the logic straightforward and sidesteps the usual circularity risks in these criteria. The finite presentation hypothesis is the standard one, and the monoid construction appears to encode the relations faithfully under that ordering without extra assumptions. No load-bearing gaps show up in the outline or the claimed special cases. The only minor limitation is that the result stays inside the finitely presented setting, which is already the context for most of the prior work it generalizes. This is aimed at specialists who already know the Massey product or circuit criteria and want a single framework that pulls them together. A reader working on pro-p Galois cohomology or group presentations will see the value quickly. The unification is useful even if it does not reach outside the subfield. The paper is coherent on its own terms and deserves a serious referee.

Referee Report

0 major / 3 minor

Summary. The paper proves a criterion for the mildness of a finitely presented pro-p group G by associating an ordered monoid to its presentation and showing that a suitable ordering condition on the monoid implies mildness. This recovers as special cases the cohomological mildness criterion via Massey products due to Schmidt and Gärtner, subsumes Labute's non-singular circuit criterion, and connects to the triangle condition for pro-p right-angled Artin groups due to Quadrelli, Snopce and Vannacci. The argument proceeds via direct comparison of associated graded objects and defining relations.

Significance. If the central claim holds, the work supplies a unified combinatorial framework that recovers and extends several known mildness criteria for pro-p groups. The ordered-monoid construction offers a new tool for verifying mildness directly from presentations, which may simplify existing arguments and enable applications to broader classes of pro-p groups, including further connections with RAAGs and Galois cohomology.

minor comments (3)

The abstract and introduction would benefit from a brief explicit statement of the precise ordering condition on the monoid (e.g., a one-sentence formulation of the key hypothesis) to make the main theorem immediately accessible without reading the body.
Notation for the associated graded Lie algebra and the monoid multiplication should be introduced with a short comparison table or diagram in §2 to clarify how the ordering interacts with the pro-p completion.
The proof that the new criterion subsumes Labute's non-singular circuit condition (likely in §4) would be strengthened by an explicit reduction step showing how the circuit condition translates into the monoid ordering.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our work, which correctly identifies the new ordered-monoid criterion for mildness, its recovery of the Massey-product criterion of Schmidt and Gärtner, and its subsumption of Labute's non-singular circuit criterion. We also appreciate the noted connections to the triangle condition for pro-p RAAGs. The recommendation for minor revision is noted, though no specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper defines a new mildness criterion for finitely presented pro-p groups by associating an ordered monoid to the presentation and proving that a suitable ordering condition implies mildness. This is shown to recover the Massey-product criterion of Schmidt-Gärtner and Labute's non-singular circuit criterion as special cases via explicit comparisons of associated graded objects and relations. No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the central argument is self-contained and proceeds by direct verification without importing uniqueness theorems from prior author work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the work relies on standard background in pro-p group cohomology and ordered monoids; no free parameters, new entities, or ad-hoc axioms are mentioned.

axioms (1)

standard math Standard facts about pro-p groups, their presentations, and Massey products in cohomology
The criterion is stated to operate within the existing framework of pro-p group theory and cohomology.

pith-pipeline@v0.9.0 · 5360 in / 1146 out tokens · 65876 ms · 2026-05-07T13:56:49.779773+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 2 canonical work pages

[1]

[Ani82] D. J. Anick,Noncommutative graded algebras and their Hilbert series, J. Algebra78(1982), 120–140. 32 IDO EFRAT [CEM12] S. K. Chebolu, I. Efrat, and J. Min´ aˇ c,Quotients of absolute Galois groups which determine the entire Galois cohomology, Math. Ann.352(2012), 205–

1982
[2]

[Dwy75] W. G. Dwyer,Homology, Massey products and maps between groups, J. Pure Appl. Algebra6(1975), 177–190. [Efr14] I. Efrat,The Zassenhaus filtration, Massey products, and representations of profinite groups, Adv. Math.263(2014), 389–411. [Efr17] I. Efrat,The cohomology of canonical quotients of free groups and Lyndon words, Doc. Math.22(2017), 973–997...

1975
[3]

Forr´ e,Strongly free sequences and pro-p-groups of cohomological dimen- sion 2, J

[For11] P. Forr´ e,Strongly free sequences and pro-p-groups of cohomological dimen- sion 2, J. Reine Angew. Math.658(2011), 173–192. [G¨ ar11] J. G¨ artner,Mild pro-p-groups with trivial cup-product, Dissertation, Univ. Heidelberg,

2011
[4]

[G¨ ar15] J

DOI: 10.11588/heidok.00012811 URN: urn:nbn:de:bsz:16- opus-128116. [G¨ ar15] J. G¨ artner,Higher Massey products in the cohomology of mild pro-p-groups, J. Algebra422(2015), 788–820. [Gil68] D. Gildenhuys,On pro-p-groups with a single defining relator, Invent. Math. 5(1968), 357–366. [HLM25] O. Hamza, D. Lim, and C. Maire,Massey products and unipotent ext...

work page doi:10.11588/heidok.00012811 2015
[5]

[Lab67] J. P. Labute,Alg` ebres de Lie et pro-p-groupes d´ efinis par une seule relation, Invent. Math.4(1967), 142–158. [Lab85] J. P. Labute,The determination of the Lie algebra associated to the lower central series of a group, Trans. Amer. Math. Soc.288(1985), 51–57. [Lab06] J. Labute,Mild pro-p-groups and Galois groups ofp-extensions ofQ, J. Reine Ang...

1967
[6]

Quadrelli, I

[QSV22] C. Quadrelli, I. Snopce, and M. Vannacci,On pro-pgroups with quadratic cohomology, J. Algebra612(2022), 636–690. [Sch06] A. Schmidt,Circular sets of prime numbers andp-extensions of the ratio- nals, J. Reine Angew. Math.596(2006), 115–130. [Sch07] A. Schmidt,Rings of integers of typeK(π,1), Doc. Math.12(2007), 441–

2022
[7]

Schmidt, ¨Uber pro-p-Fundamentalgruppen markierter arithmetischer Kurven, J

[Sch10] A. Schmidt, ¨Uber pro-p-Fundamentalgruppen markierter arithmetischer Kurven, J. Reine Angew. Math.640(2010), 203–235. [Ser92] J.-P. Serre,Lie Algebras and Lie Groups, Springer,

2010
[8]

[Vog05] D

DOI: 10.11588/heidok.00004418 URN: urn:nbn:de:bsz:16-opus-44188. [Vog05] D. Vogel,On the Galois group of 2-extensions with restricted ramification, J. reine angew. Math.581(2005), 117–150. [Wei15] Th. Weigel,Graded Lie algebras of type FP, Israel J. Math.205(2015), 185–209. Earl Katz F amily Chair in Pure Mathematics, Department of Mathe- matics, Ben-Guri...

work page doi:10.11588/heidok.00004418 2005