arxiv: 2603.27032 · v2 · submitted 2026-03-27 · 🧮 math.NT · math.RA

Recognition: 2 theorem links

· Lean Theorem

Asymptotic Universal Koszulity in Galois Cohomology

Marina Palaisti

Authors on Pith no claims yet

Pith reviewed 2026-05-14 22:25 UTC · model grok-4.3

classification 🧮 math.NT math.RA

keywords asymptotic universal KoszulityGalois cohomologypro-p groupsKoszul algebrasquadratic algebrasfiltered colimitsprofinite groupshomological algebra

0 comments

The pith

Cohomology algebras of certain pro-p groups arise as filtered colimits of finite-type universally Koszul quadratic subalgebras.

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

The paper defines asymptotic universal Koszulity for graded-commutative algebras generated in degree one, meaning an infinite algebra can be approximated by a filtered system of finite-type universally Koszul quadratic subalgebras. It proves a colimit theorem showing that, for pro-p groups under mild assumptions, the Galois cohomology ring equals the filtered colimit of the cohomology rings of its finite quotients. This yields a general criterion for when the cohomology algebra of a profinite group is asymptotically universally Koszul. The work also gives stability properties for the class and analyzes how the property may arise in arithmetic settings through finite approximations.

Core claim

We introduce the notion of asymptotic universal Koszulity for graded-commutative algebras generated in degree one, capturing the idea that an infinite-dimensional algebra can be approximated by a filtered system of finite-type universally Koszul quadratic subalgebras. We prove a colimit theorem for pro-p groups under mild assumptions showing that cohomology rings arise as filtered colimits of finite quotients. This yields a general criterion under which the cohomology algebra of a profinite group is asymptotically universally Koszul.

What carries the argument

The colimit theorem for pro-p groups, which expresses their cohomology rings as filtered colimits of the cohomology rings of finite quotients that form finite-type universally Koszul quadratic subalgebras of the ambient algebra.

Load-bearing premise

The pro-p group satisfies mild assumptions that allow its cohomology ring to be expressed as a filtered colimit of the cohomology rings of its finite quotients.

What would settle it

An explicit pro-p group satisfying the mild assumptions where the cohomology ring fails to equal the filtered colimit of Koszul algebras coming from its finite quotients.

read the original abstract

We introduce the notion of asymptotic universal Koszulity for graded-commutative algebras generated in degree~$1$, capturing the idea that an infinite-dimensional algebra can be approximated by a filtered system of finite-type universally Koszul quadratic subalgebras. We establish basic structural properties of this class, including stability under filtered colimits, direct products, and base change, as well as a local finite-type criterion expressed in terms of finite-dimensional subspaces of the degree-one component. In the context of Galois cohomology, we prove a colimit theorem for pro-$p$ groups under mild assumptions, showing that cohomology rings arise as filtered colimits of finite quotients. This yields a general criterion under which the cohomology algebra of a profinite group is asymptotically universally Koszul. We further analyze finitely generated quotients via a finite-type capture result, identifying their cohomology with canonical quadratic subalgebras of the ambient algebra. Finally, we formulate conditional local--global and patching principles that isolate the mechanisms by which asymptotic universal Koszulity may arise in arithmetic settings. These results provide a flexible structural framework linking homological algebra, quadratic algebras, and Galois cohomology, and suggest several directions for further investigation.

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

The paper defines asymptotic universal Koszulity for degree-1 generated algebras and proves a colimit theorem linking it to Galois cohomology of pro-p groups under mild assumptions, but the definition's restriction may limit it to quadratic subalgebras rather than full rings.

read the letter

The core contribution is a new notion of asymptotic universal Koszulity for graded-commutative algebras generated in degree 1, plus stability results under filtered colimits, products, and base change. The paper then proves that cohomology rings of pro-p groups arise as filtered colimits of the cohomology rings of finite quotients, yielding a criterion for when those rings are asymptotically universally Koszul. It also gives a finite-type capture result for finitely generated quotients and sketches conditional local-global principles for arithmetic cases. These pieces fit together into a coherent structural framework that connects quadratic algebra techniques to profinite Galois cohomology. The colimit theorem and the local finite-type criterion look like the most concrete advances, and they rest on standard homological algebra rather than ad-hoc constructions. The mild assumptions on the pro-p groups are stated but not exhaustively tested against every arithmetic example in the abstract, so the reader will want to see how they play out for groups like the pro-p Galois group of a p-adic field. The main limitation is the scope of the definition itself. It applies only to algebras generated in degree 1. For many pro-p groups the full cohomology ring has indecomposable classes in degree 2 and higher, so the colimit construction may establish the property only for the quadratic subalgebra generated by H^1 rather than for the entire ring. The paper should make this boundary explicit if it has not already. Overall the work is incremental but cleanly executed within its subfield. It is aimed at researchers who already work on Koszul properties of Galois cohomology or quadratic approximations to profinite group rings. A serious referee would be appropriate because the new definition and the colimit statement are well-posed and could be useful for further computations, even if the range of groups to which the full-ring version applies turns out to be narrower than the title suggests.

Referee Report

2 major / 1 minor

Summary. The manuscript introduces asymptotic universal Koszulity for graded-commutative algebras generated in degree 1, establishing structural properties including stability under filtered colimits, direct products, and base change, plus a local finite-type criterion in terms of finite-dimensional subspaces of the degree-1 component. It proves a colimit theorem for pro-p groups under mild assumptions, showing that their cohomology rings arise as filtered colimits of the cohomology rings of finite quotients, and derives a general criterion for asymptotic universal Koszulity in Galois cohomology. Additional results include a finite-type capture result identifying cohomology of finitely generated quotients with canonical quadratic subalgebras, and conditional local-global and patching principles for arithmetic settings.

Significance. If the results hold, the work supplies a flexible structural framework linking quadratic algebras and Galois cohomology via filtered colimits and stability properties. The colimit theorem and finite-type capture result are notable strengths, providing a mechanism to approximate infinite-dimensional cohomology algebras by finite-type universally Koszul quadratic subalgebras. This offers a new lens for studying Koszulity phenomena in profinite groups, with potential implications for arithmetic Galois cohomology under the stated assumptions.

major comments (2)

[Abstract and statement of the general criterion] The definition of asymptotic universal Koszulity is restricted to graded-commutative algebras generated in degree 1, yet the general criterion and colimit theorem are stated for the cohomology algebra of a profinite group. For many pro-p groups the full ring H^*(G, F_p) is not generated in degree 1 (indecomposables appear in degree 2 and higher via Bockstein and cup-product relations). The colimit construction from finite quotients therefore risks establishing the property only for the quadratic subalgebra generated in degree 1 rather than the full cohomology ring; this scope mismatch is load-bearing for the claimed applicability to Galois cohomology and requires explicit clarification in the statement of the general criterion.
[Colimit theorem] The colimit theorem is proved under 'mild assumptions' on the pro-p group, but these assumptions are not previewed or listed in the abstract and their precise formulation is essential for verifying applicability to typical arithmetic pro-p groups. Without an early, explicit enumeration of the assumptions (e.g., on the structure of the finite quotients or on the generation of the cohomology), it is impossible to assess whether the theorem reaches the intended arithmetic examples.

minor comments (1)

[Abstract] The abstract refers to 'canonical quadratic subalgebras' without a forward reference to their precise construction; a brief parenthetical or sentence indicating where they are defined would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major comments point by point below, indicating planned revisions where appropriate.

read point-by-point responses

Referee: [Abstract and statement of the general criterion] The definition of asymptotic universal Koszulity is restricted to graded-commutative algebras generated in degree 1, yet the general criterion and colimit theorem are stated for the cohomology algebra of a profinite group. For many pro-p groups the full ring H^*(G, F_p) is not generated in degree 1 (indecomposables appear in degree 2 and higher via Bockstein and cup-product relations). The colimit construction from finite quotients therefore risks establishing the property only for the quadratic subalgebra generated in degree 1 rather than the full cohomology ring; this scope mismatch is load-bearing for the claimed applicability to Galois cohomology and requires explicit clarification in the statement of the general criterion.

Authors: We agree that clarification is needed to avoid any scope ambiguity. The definition and all structural results (stability under colimits, local finite-type criterion, etc.) apply exclusively to graded-commutative algebras generated in degree 1. Our colimit theorem establishes that the cohomology ring of the pro-p group is the filtered colimit of the cohomology rings of its finite quotients, but the asymptotic universal Koszulity property is verified on the quadratic subalgebra generated in degree 1; the finite-type capture result explicitly identifies the cohomology of finitely generated quotients with canonical quadratic subalgebras of the ambient algebra. We will revise the abstract and the statement of the general criterion to state explicitly that the criterion establishes asymptotic universal Koszulity for this quadratic subalgebra (rather than the full cohomology ring when higher-degree indecomposables are present). This removes the potential mismatch while preserving the applicability to Galois cohomology under the stated conditions. revision: yes
Referee: [Colimit theorem] The colimit theorem is proved under 'mild assumptions' on the pro-p group, but these assumptions are not previewed or listed in the abstract and their precise formulation is essential for verifying applicability to typical arithmetic pro-p groups. Without an early, explicit enumeration of the assumptions (e.g., on the structure of the finite quotients or on the generation of the cohomology), it is impossible to assess whether the theorem reaches the intended arithmetic examples.

Authors: We accept that the assumptions should be stated more prominently. The mild assumptions concern the structure of the finite quotients (specifically, that they are of p-power order with controlled relations in low degrees) and ensure that the cohomology is compatible with the filtered-colimit construction. In the revised manuscript we will expand the abstract to include a concise enumeration of these assumptions and add an early dedicated paragraph (immediately after the statement of the colimit theorem) that lists them explicitly, together with a brief indication of which arithmetic pro-p groups satisfy them. This will allow readers to evaluate applicability without searching the body of the paper. revision: yes

Circularity Check

0 steps flagged

No circularity detected in derivation chain

full rationale

The paper introduces the definition of asymptotic universal Koszulity for graded-commutative algebras generated in degree 1 as a new structural notion, then derives its stability properties (filtered colimits, direct products, base change, local finite-type criterion) from standard homological algebra. The colimit theorem for pro-p groups is stated as a consequence of mild assumptions on the group and the filtered-colimit construction, without reducing any prediction or criterion back to a fitted parameter or self-referential input. The general criterion for Galois cohomology follows directly from the colimit theorem and the definition. No self-citations, ansatzes smuggled via prior work, or renamings of known results appear as load-bearing steps. The derivation remains self-contained against external benchmarks in homological algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract relies on standard background from homological algebra (properties of graded-commutative algebras, quadratic algebras, Koszulity, filtered colimits) and Galois cohomology (cohomology rings of profinite groups). No free parameters or invented entities are introduced beyond the new definition itself. The mild assumptions on pro-p groups are invoked but not detailed.

axioms (2)

standard math Standard properties of graded-commutative algebras generated in degree 1 and of universally Koszul quadratic algebras hold.
Invoked throughout the definition and stability results.
domain assumption Cohomology rings of pro-p groups arise as filtered colimits of finite quotients under mild assumptions.
Central to the colimit theorem in the Galois-cohomology section.

pith-pipeline@v0.9.0 · 5499 in / 1639 out tokens · 51019 ms · 2026-05-14T22:25:07.315843+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

Cost/FunctionalEquation washburn_uniqueness_aczel unclear
We introduce the notion of asymptotic universal Koszulity for graded-commutative algebras generated in degree 1... filtered system of quadratic graded subalgebras (Ai)i∈I ⊂A such that each Ai is universally Koszul and lim Ai ≅ A
Foundation/RealityFromDistinction reality_from_one_distinction unclear
Under a natural cohomological colimit hypothesis... H•(G,Fp) is asymptotically universally Koszul

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

Brown,Cohomology of Groups, Springer, 1982

K. Brown,Cohomology of Groups, Springer, 1982

work page 1982
[2]

Fr¨ oberg,Koszul algebras, Adv

R. Fr¨ oberg,Koszul algebras, Adv. in Comm. ring theory (Fez, 1997), 337–350. Lecture Notes in Pure and Appl. Math. 205, New York, 1999

work page 1997
[3]

Harbater, J

D. Harbater, J. Hartmann, and D. Krashen,Local-global principles for Galois cohomology, Comment. Math. Helv. 89 (2014), 215–253

work page 2014
[4]

Harbater, J

D. Harbater, J. Hartmann, and D. Krashen,Applications of patching to quadratic forms and central simple algebras, Invent. Math. 178 (2009), 231–263. ASYMPTOTIC UNIVERSAL KOSZULITY 13

work page 2009
[5]

Harbater, and J

D. Harbater, and J. Hartmann,Patching over fields, Israel J. Math. 176 (2010), 61–107

work page 2010
[6]

Koch,Galois Theory ofp-Extensions, Springer, 2002

H. Koch,Galois Theory ofp-Extensions, Springer, 2002

work page 2002
[7]

Min´ aˇ c, M

J. Min´ aˇ c, M. Palaisti, F.W. Pasini, and N.D. Tˆ an,Enhanced Koszul properties in Galois cohomology, Res. Math. Sci. 7 (2020), no. 2, 10

work page 2020
[8]

Min’aˇ c, F.W

J. Min’aˇ c, F.W. Pasini, C. Quadrelli, N.D. Tˆ an,Koszul algebras and quadratic duals in Galois cohomology, Advances in Mathematics (2021), Volume 380

work page 2021
[9]

Neukirch, A

J. Neukirch, A. Schmidt, and K. Wingberg,Cohomology of Number Fields, 2nd ed., Springer, 2008

work page 2008
[10]

Palaisti,Enhanced Koszulity in Galois cohomology, PhD thesis, Western University, 2019

M. Palaisti,Enhanced Koszulity in Galois cohomology, PhD thesis, Western University, 2019

work page 2019
[11]

Palaisti,Composita Stability Theorems for Enhanced Koszul Properties in Galois Cohomology, arXiv:2602.09261 ,https://arxiv.org/abs/2602.09261

M. Palaisti,Composita Stability Theorems for Enhanced Koszul Properties in Galois Cohomology, arXiv:2602.09261 ,https://arxiv.org/abs/2602.09261

work page arXiv
[12]

Positselski,Koszul property and its generalizations, in:Homological Algebra of Semimodules and Semicon- tramodules, Birkh¨ auser, 2010

L. Positselski,Koszul property and its generalizations, in:Homological Algebra of Semimodules and Semicon- tramodules, Birkh¨ auser, 2010

work page 2010
[13]

Polishchuk and L

A. Polishchuk and L. Positselski,Quadratic Algebras, University Lecture Series, AMS, 2005

work page 2005
[14]

Quadrelli,Pro-pgroups with few relations and universal Koszulity, Math

C. Quadrelli,Pro-pgroups with few relations and universal Koszulity, Math. Scand. 128 (2021), no. 1, 79–111

work page 2021
[15]

Serre,Galois Cohomology, Springer, 1997

J.-P. Serre,Galois Cohomology, Springer, 1997

work page 1997
[16]

Serre,Topics in Galois Theory, Research Notes in Mathematics, vol

J.-P. Serre,Topics in Galois Theory, Research Notes in Mathematics, vol. 1, Jones and Bartlett, 1992

work page 1992
[17]

Voevodsky,On motivic cohomology withZ/ℓ-coefficients, Ann

V. Voevodsky,On motivic cohomology withZ/ℓ-coefficients, Ann. of Math. 174 (2011), 401–438

work page 2011
[18]

Weibel,An Introduction to Homological Algebra, Cambridge University Press, 1994

C. Weibel,An Introduction to Homological Algebra, Cambridge University Press, 1994

work page 1994