Conjecture I for unirational algebraic groups over imperfect fields

Alexandre Lourdeaux; Anis Zidani

arxiv: 2604.05148 · v2 · pith:E4H4P5WTnew · submitted 2026-04-06 · 🧮 math.AG

Conjecture I for unirational algebraic groups over imperfect fields

Alexandre Lourdeaux , Anis Zidani This is my paper

Pith reviewed 2026-05-10 18:59 UTC · model grok-4.3

classification 🧮 math.AG

keywords unirational algebraic groupsGalois cohomologyKato cohomological dimensionimperfect fieldsSerre's Conjecture I

0 comments

The pith

Unirational algebraic groups have trivial first Galois cohomology over fields of Kato cohomological dimension at most 1.

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

This paper generalizes Serre's Conjecture I to unirational algebraic groups defined over imperfect fields. It proves that the first Galois cohomology set is trivial for any such group when the base field has cohomological dimension at most 1 according to Kato. A reader might care because this removes a potential obstruction to the existence of rational points or sections in geometric settings over fields that are not perfect. The argument depends on new descriptions of the structure of algebraic groups in positive characteristic. This makes the vanishing result available in a wider class of base fields than before.

Core claim

Using the recent advancements in the structure of algebraic groups over imperfect fields, we prove that the first Galois cohomology set of any unirational algebraic group is always trivial if the cohomological dimension of the field is less or equal to 1 in Kato's sense. This provides a generalization of Serre's Conjecture I and related results.

What carries the argument

Recent structural results on algebraic groups over imperfect fields, which permit proving the cohomology vanishing by reducing to simpler cases or using known properties of unirational varieties.

Where Pith is reading between the lines

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

This vanishing may help classify torsors or study rational points on related varieties over imperfect fields.
It suggests possible extensions to other types of algebraic groups or higher-degree cohomology.
The result could connect to questions in positive characteristic geometry where imperfect fields naturally arise.

Load-bearing premise

The recent advancements in the structure of algebraic groups over imperfect fields are sufficient to establish the triviality result for unirational groups under the stated cohomological dimension condition.

What would settle it

Constructing a unirational algebraic group over an imperfect field of Kato cohomological dimension at most 1 with a non-trivial first Galois cohomology class would disprove the result.

read the original abstract

Using the recent advances in the structure of algebraic groups over imperfect fields, we prove a generalization of Serre's Conjecture I and of results that revolve around it. In particular, we show that the first Galois cohomology set of any unirational algebraic group is trivial if the cohomological dimension of the field is at most 1 in Kato's sense.

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

This paper proves that unirational algebraic groups over imperfect fields have trivial H^1 when Kato cohomological dimension is at most 1, by applying recent structure theorems.

read the letter

The punchline is that this paper proves Serre's Conjecture I for unirational algebraic groups over imperfect fields: their first Galois cohomology set is trivial as long as the field has Kato cohomological dimension at most 1. They do this by leveraging recent structure theorems for algebraic groups in positive characteristic. What stands out is how they target unirational groups specifically. These groups sit between rational and general ones, so the result extends known vanishing results without jumping to the hardest cases. The approach looks direct and avoids reinventing the wheel by building on the external advancements. The main soft spot is the reliance on those recent structure results. If the cited theorems hold up under scrutiny, the argument should go through, but the paper needs to make the reductions explicit so a referee can verify there are no issues with the imperfect field setting, like non-smoothness or other pathologies. From the abstract, nothing looks circular or inconsistent. This work is for people deep in Galois cohomology and the study of algebraic groups over non-perfect fields. A specialist who knows the prior results on Serre's conjecture and the structure theory will get the value from seeing this case filled in. Broader readers in algebraic geometry might skip it as too specialized. The paper shows honest engagement with the literature and a clear, falsifiable claim. It deserves a serious referee to check the details of the proof. I would recommend putting it through peer review rather than desk rejecting it.

Referee Report

0 major / 1 minor

Summary. The manuscript proposes a generalization of Serre's Conjecture I to unirational algebraic groups over imperfect fields. It asserts that for any unirational algebraic group G over a field k with Kato cohomological dimension cd(k) ≤ 1, the first Galois cohomology set H¹(k, G) is trivial, with the argument relying on recent structure theorems for algebraic groups over imperfect fields in positive characteristic.

Significance. If the central claim holds, the result would meaningfully extend classical vanishing theorems for Galois cohomology from perfect fields and smooth connected groups to the setting of imperfect fields and unirational groups. The explicit use of recent structure theorems is a positive feature that could make the argument reproducible once the specific citations and applications are verified.

minor comments (1)

The abstract states the main theorem clearly but does not name the specific recent structure theorems invoked; adding a short paragraph or subsection that lists the key references and indicates how they are applied to unirational (rather than smooth connected) groups would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for acknowledging the potential significance of extending Serre's Conjecture I and related vanishing results to unirational groups over imperfect fields with Kato cohomological dimension at most 1. The recommendation is listed as uncertain, but no specific major comments are provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claim generalizes Serre's Conjecture I by proving triviality of the first Galois cohomology set for unirational algebraic groups when the Kato cohomological dimension is at most 1. This rests explicitly on external recent advancements in the structure theory of algebraic groups over imperfect fields, which are invoked as independent inputs rather than derived internally. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract and description; the derivation chain is presented as building on prior external results without reducing the target statement to its own assumptions by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard definitions of Galois cohomology and algebraic groups plus the validity of unspecified recent structural results for groups over imperfect fields.

axioms (2)

standard math Galois cohomology H^1 is defined and behaves as expected for algebraic groups over fields
Core to the statement that the set is trivial.
domain assumption Recent advancements in the structure of algebraic groups over imperfect fields hold and apply to unirational cases
Explicitly invoked in the abstract to support the generalization.

pith-pipeline@v0.9.0 · 5345 in / 1251 out tokens · 53893 ms · 2026-05-10T18:59:18.480275+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/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Theorem A: Assume dim(K)≤1. Then for any unirational group G over K, we have H¹(K,G)=1.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

reduction via R_u,K(G) and permawound groups (Prop. 4.7, 4.9)

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.