Cofinality of Galois Cohomology within Purely Quadratic Graded Algebras

Ido Efrat; Tamar Bar-On

arxiv: 2505.20785 · v2 · submitted 2025-05-27 · 🧮 math.NT

Cofinality of Galois Cohomology within Purely Quadratic Graded Algebras

Tamar Bar-On , Ido Efrat This is my paper

Pith reviewed 2026-05-19 13:43 UTC · model grok-4.3

classification 🧮 math.NT

keywords Galois cohomologypurely quadratic algebrascup productNorm Residue Theoremgraded commutative algebrasF_p bilinear maps

0 comments

The pith

Every purely quadratic graded-commutative F_p-algebra has its bilinear map embedded into the cup product of Galois cohomology for some field F.

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

The paper proves that the Galois cohomology algebras H^•(F) of fields F containing a p-th root of unity are cofinal in the class of all purely quadratic graded-commutative F_p-algebras. For any such algebra A_•, determined entirely by its degree-1 bilinear map to degree 2, the authors construct a field whose cup-product map contains an isomorphic copy of that bilinear map as a substructure. A sympathetic reader sees this as showing that abstract quadratic algebras arising in algebra or combinatorics can always be realized inside the concrete arithmetic of field extensions and their Galois groups. The proof uses the Norm Residue Theorem to guarantee that field cohomology behaves exactly as a purely quadratic algebra determined by cup products. The authors also give explicit bilinear maps over F_p that cannot be realized this way by any field.

Core claim

For every purely quadratic graded-commutative F_p-algebra A_• there exists a field F such that the bilinear map A_1 × A_1 → A_2 embeds into the cup product H^1(F) × H^1(F) → H^2(F).

What carries the argument

The embedding of an arbitrary F_p-bilinear map A_1 × A_1 → A_2 that defines a purely quadratic graded-commutative algebra into the cup-product bilinear form of mod-p Galois cohomology.

Load-bearing premise

The constructed fields F satisfy the hypotheses of the Norm Residue Theorem so that their Galois cohomology is purely quadratic and completely determined by the cup product.

What would settle it

A concrete purely quadratic graded-commutative F_p-algebra whose bilinear map A_1 × A_1 → A_2 fails to embed into the cup product of H^•(F) for every field F containing a p-th root of unity.

read the original abstract

Let $p$ be a prime number. For a field $F$ containing a root of unity of order $p$, let $H^\bullet(F)=H^\bullet(F,\mathbb{F}_p)$ be the mod-$p$ Galois cohomology graded $\mathbb{F}_p$-algebra of $F$. By the Norm Residue Theorem, $H^\bullet(F)$ is a purely quadratic graded-commutative algebra, and is therefore determined by the cup product $\cup\colon H^1(F)\times H^1(F)\to H^2(F)$. We prove that the class of all Galois cohomology algebras $H^\bullet(F)$ is cofinal in the class of all purely quadratic graded-commutative $\mathbb{F}_p$-algebras $A_\bullet$, in the following sense: For every $A_\bullet$ there exists $F$ such that the bilinear map $A_1\times A_1\to A_2$, which determines $A_\bullet$, embeds in the cup product bilinear map $\cup\colon H^1(F)\times H^1(F)\to H^2(F)$. We further provide examples of $\mathbb{F}_p$-bilinear maps which are not realizable by fields $F$ in this way. These are related to recent results by Snopce-Zalesskii and Blumer-Quadrelli-Weigel on the Galois theory of pro-$p$ right-angled Artin groups, as well as to a conjecture by Marshall on the possible axiomatization of quadratic form theory of fields.

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

Galois cohomology is cofinal among purely quadratic F_p-algebras via bilinear embeddings, plus some explicit non-realizable maps.

read the letter

The main takeaway is that for any purely quadratic graded-commutative algebra over F_p, its bilinear map from the first to the second degree embeds into the cup product of some field's mod-p Galois cohomology. The paper also gives examples of bilinear maps that cannot be realized by any field this way. This cofinality statement is the new piece. It builds on recent work with pro-p right-angled Artin groups and connects to Marshall's conjecture about quadratic form theory. The explicit non-realizable examples are a solid addition because they give concrete obstructions. The paper handles the existence claim using standard tools, and the Norm Residue Theorem is applied correctly in the setup where fields contain p-th roots of unity. A soft spot could be whether the field constructions always include those roots. The realizations via Artin groups or similar Galois extensions must guarantee that μ_p is in F, otherwise the cohomology might not stay purely quadratic. The abstract assumes this, but the details in the full text should verify no extra generators appear. If that's covered, the concern is minor. This work is for people deep into Galois cohomology of fields and its links to quadratic forms and pro-p groups. A reader who follows the Artin group literature will see the value in the cofinality and the counterexamples. It deserves a serious referee. The central claim is an existence result backed by known theorems, not circular or fitted. I would send this to peer review.

Referee Report

1 major / 2 minor

Summary. The paper proves that for every purely quadratic graded-commutative F_p-algebra A_• there exists a field F containing a p-th root of unity such that the bilinear map A_1 × A_1 → A_2 embeds into the cup product H^1(F) × H^1(F) → H^2(F). This establishes cofinality of Galois cohomology algebras among all such quadratic algebras. The argument relies on Galois realizations of pro-p right-angled Artin groups together with the Norm Residue Theorem; counterexamples of non-realizable bilinear maps are also supplied, with links to recent work on Artin groups and Marshall's conjecture.

Significance. If the central existence statement holds, the result supplies a precise embedding theorem showing that Galois cohomology rings are cofinal among quadratic algebras, thereby advancing the interface between profinite group theory and the classification of quadratic forms. The explicit counterexamples sharpen the boundary of realizability and furnish concrete tests for conjectures on axiomatizing quadratic form theory over fields.

major comments (1)

[Proof of the main theorem] The central existence claim requires that every constructed field F contains a primitive p-th root of unity so that the Norm Residue Theorem applies and H^•(F) is purely quadratic, determined solely by its cup product. The manuscript must verify this condition explicitly for the pro-p right-angled Artin group realizations (or any base-field extensions employed), because failure to adjoin μ_p could introduce higher-degree generators and invalidate the embedding into a valid H^•(F).

minor comments (2)

[Introduction] The abstract references results of Snopce-Zalesskii, Blumer-Quadrelli-Weigel, and Marshall; these should be cited with full bibliographic details already in the introduction.
[Notation and conventions] Notation for graded algebras is occasionally inconsistent (A_• versus A•); adopt a uniform convention throughout.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed and constructive feedback. We respond to the major comment point by point below.

read point-by-point responses

Referee: [Proof of the main theorem] The central existence claim requires that every constructed field F contains a primitive p-th root of unity so that the Norm Residue Theorem applies and H^•(F) is purely quadratic, determined solely by its cup product. The manuscript must verify this condition explicitly for the pro-p right-angled Artin group realizations (or any base-field extensions employed), because failure to adjoin μ_p could introduce higher-degree generators and invalidate the embedding into a valid H^•(F).

Authors: We appreciate this observation. Our construction proceeds by realizing the pro-p right-angled Artin group as a Galois group over a base field that is chosen to contain a primitive p-th root of unity. Specifically, we take the base field to be a finite extension of the function field over Q(μ_p) or an appropriate number field containing μ_p, ensuring that the absolute Galois group surjects onto the RAAG while preserving the presence of μ_p in the fixed field F. This guarantees that F contains μ_p, allowing the Norm Residue Theorem to apply and confirming that H^•(F) is purely quadratic. We will revise the manuscript to include an explicit statement and verification of this fact in the proof section, along with a brief explanation of the base field choice. revision: yes

Circularity Check

0 steps flagged

No circularity: existence result from external theorems

full rationale

The paper proves an existence statement: for any purely quadratic graded-commutative F_p-algebra A_•, there is a field F (containing a p-th root of unity) such that the bilinear form on A_1 embeds into the cup product on H^•(F). This relies on the Norm Residue Theorem as an external input and on Galois realizations of pro-p groups drawn from independent literature (Snopce-Zalesskii, Blumer-Quadrelli-Weigel). No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or self-citation chain within the paper; the derivation remains self-contained against standard Galois-cohomology tools.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the Norm Residue Theorem to guarantee that Galois cohomology is purely quadratic, plus standard facts about graded-commutative algebras and field extensions containing p-th roots of unity.

axioms (1)

domain assumption Norm Residue Theorem: H^•(F) is a purely quadratic graded-commutative algebra determined by the cup product.
Invoked in the abstract to establish that every H^•(F) is of the required form.

pith-pipeline@v0.9.0 · 5821 in / 1228 out tokens · 75602 ms · 2026-05-19T13:43:08.418562+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.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

By the Norm Residue Theorem, H•(F) is a purely quadratic graded-commutative algebra, and is therefore determined by the cup product ∪:H1(F)×H1(F)→H2(F).

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.