arxiv: 2605.04182 · v1 · submitted 2026-05-05 · 🧮 math.AG

Recognition: 3 theorem links

\'Etale Extensions of Unipotent Torsors

Gabriel Bassan

Pith reviewed 2026-05-08 17:55 UTC · model grok-4.3

classification 🧮 math.AG

keywords unipotent torsorsétale extensionsdiscrete valuation ringsnormal curvesNori fundamental group schemepositive characteristicramified coversalgebraic geometry

0 comments

The pith

Every unipotent torsor over the generic point of a DVR extends to the normalization in a finite separable extension of the fraction field.

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

The paper proves that for a unipotent algebraic group U over a field F of positive characteristic, every U-torsor defined over the generic point of a discrete valuation ring extends after base change to the normalization of that ring in some finite separable extension of its fraction field. It then globalizes the local result to normal integral curves: any U-torsor over an open subset of such a curve extends to a ramified cover of the curve that stays étale over the original open set. These extension properties hold without extra conditions on the torsor class or the ramification. The results are applied to produce isomorphisms between certain unipotent variants of Nori's fundamental group scheme for curves.

Core claim

Every U-torsor defined over the generic point of a discrete valuation ring O_K extends to the normalization of O_K in some finite separable extension of its fraction field. For a normal integral curve X over an algebraically closed field, every U-torsor over an open set X° extends to some ramified cover of X which is étale over X°. This yields isomorphisms between certain unipotent variants of Nori's fundamental group scheme for curves.

What carries the argument

Finite separable ramified base change making a unipotent torsor extend to an étale cover over the original open set on a normal curve or DVR.

Load-bearing premise

The unipotent group is algebraic over a field of positive characteristic and the base schemes are normal integral curves or discrete valuation rings.

What would settle it

A concrete U-torsor over the generic point of a DVR in characteristic p that fails to extend after base change to the normalization in any finite separable extension of the fraction field.

read the original abstract

In this paper we study extension problems for torsors in positive characteristic. Let $F$ be a field of characteristic $p>0$ and $U/F$ be a unipotent algebraic group. As our first main result, we prove that every $U$-torsor defined over the generic point of a discrete valuation ring $\mathcal{O}_{K}$, containing a field $F$, extends to the normalization of $\mathcal{O}_{K}$ in some finite separable extension of its fraction field. We then globalize this result and prove that for $X/F$ a normal integral curve over an algebraically closed field $F$, every $U$-torsor over an open set $X^{\circ}\subseteq X$ extends to some ramified cover of $X$ which is \'etale over $X^{\circ}$. As an application, we are able to find isomorphisms between certain unipotent variants of Nori's fundamental group scheme for curves.

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 gives local extension theorems for unipotent torsors over DVRs in char p and claims a globalization to curves that yields isomorphisms for Nori group scheme variants, but the patching step looks like it needs careful verification.

read the letter

The main results are that every U-torsor over the generic point of a DVR extends after normalization in a finite separable extension of the fraction field, and that this globalizes so a torsor over an open subset of a normal curve extends to a ramified cover etale over that open. The application produces isomorphisms between certain unipotent versions of Nori's fundamental group scheme for curves. These statements appear new relative to the cited work on torsors and Nori schemes, and they give a concrete output that could be used in arithmetic geometry over function fields. The local result over DVRs seems plausible because unipotent groups admit filtrations that might allow lifting after base change. The paper states the theorems cleanly and ties them directly to existing questions about fundamental groups in positive characteristic. The soft spot is the globalization. To produce one finite separable extension L of the global function field whose completions at the punctures simultaneously realize the local extensions required by the torsor, the local data at different points must be compatible. If the ramification or residue-field conditions imposed at two places cannot be satisfied by the same L, the single cover Y to X fails to exist. The abstract gives no indication of how the choices are made compatible or whether extra restrictions on the torsor are needed, so the argument rests on the patching step. A reader would want to see the explicit construction or the argument that such an L always exists. This work is for people already working on Nori fundamental group schemes or torsors under unipotent groups in positive characteristic. Someone following that literature would get value from the stated isomorphisms and the extension statements if the proofs hold. It deserves a serious referee to check the details of the globalization and the application, since the claims are specific enough to be useful once verified.

Referee Report

2 major / 2 minor

Summary. The manuscript proves two main results on étale extensions of torsors under unipotent algebraic groups U over fields F of characteristic p>0. The local theorem states that every U-torsor over the generic point of a DVR O_K containing F extends to the normalization of O_K in some finite separable extension of its fraction field. This is globalized to show that for a normal integral curve X over an algebraically closed field F, every U-torsor over an open subset X° ⊆ X extends to some ramified cover Y → X that is étale over X°. An application establishes isomorphisms between certain unipotent variants of Nori's fundamental group scheme for curves.

Significance. If the results hold, the local extension property supplies a useful base-change tool for unipotent torsors in positive characteristic, while the globalization enables patching local data to global covers on curves. This could streamline comparisons of fundamental group schemes and related invariants, particularly when working with ramified covers that remain étale over prescribed opens. The explicit application to Nori-type group schemes provides a concrete illustration of the utility.

major comments (2)

[Globalization argument] Globalization step (after the local theorem): the argument applies the local extension at each point of X minus X° and then asserts a single finite separable L/K whose completions simultaneously realize the local data required by the given torsor class. The manuscript must explicitly verify that such a global L always exists, for instance by showing that the ramification indices, residue-field extensions, or inertia data prescribed at distinct points are compatible under weak approximation or by using special properties of unipotent groups; without this, the patching step is not guaranteed.
[Local theorem] Local theorem statement and proof: the claim is stated for arbitrary U-torsors over Spec K, yet the manuscript should supply the key steps showing why unipotence in characteristic p permits the extension after finite separable base change (e.g., via explicit cocycle trivialization or reduction to the additive group case). If this relies on prior results, the precise citations and any needed adaptations must be recorded.

minor comments (2)

[Abstract] The abstract should clarify that F is algebraically closed in the global statement and that the ramified cover is finite and separable.
[Notation and statements] Notation for the open set (X° vs. X^circ) and the DVR (O_K) should be uniform across statements and proofs.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive major comments. We address each point below and will revise the manuscript accordingly to clarify the arguments.

read point-by-point responses

Referee: [Globalization argument] Globalization step (after the local theorem): the argument applies the local extension at each point of X minus X° and then asserts a single finite separable L/K whose completions simultaneously realize the local data required by the given torsor class. The manuscript must explicitly verify that such a global L always exists, for instance by showing that the ramification indices, residue-field extensions, or inertia data prescribed at distinct points are compatible under weak approximation or by using special properties of unipotent groups; without this, the patching step is not guaranteed.

Authors: We agree that an explicit verification is needed for the existence of a single global finite separable extension L/K realizing the prescribed local data at finitely many points. In the manuscript the globalization proceeds by applying the local theorem at each point of the finite set X minus X° and then invoking the existence of a common extension; this is justified because the function field of the curve admits weak approximation at finitely many places (by the approximation theorem for global fields of positive characteristic or, equivalently, by the fact that the adele ring allows independent specification of local extensions at distinct places). Since the local conditions consist of finite separable extensions of the completions with prescribed ramification, one can always find a global L by taking the compositum of local extensions chosen to be unramified elsewhere, using the Chinese Remainder Theorem in the integral closure. We will add a short lemma (or paragraph) making this patching explicit, relying on the standard approximation property rather than any special feature of unipotent groups beyond the local theorem already proved. This will be incorporated in the revised version. revision: yes
Referee: [Local theorem] Local theorem statement and proof: the claim is stated for arbitrary U-torsors over Spec K, yet the manuscript should supply the key steps showing why unipotence in characteristic p permits the extension after finite separable base change (e.g., via explicit cocycle trivialization or reduction to the additive group case). If this relies on prior results, the precise citations and any needed adaptations must be recorded.

Authors: The local theorem is proved by reducing to the case of the additive group via the composition series of a unipotent group in characteristic p (each successive quotient is isomorphic to Ga). For a Ga-torsor, which corresponds to an element of H^1(Spec K, Ga) ≅ K^+, the extension after finite separable base change follows from Artin-Schreier theory: any element a in K can be made a p-th power in a suitable Artin-Schreier extension K(α) with α^p - α = a, which is finite separable. The general unipotent case is obtained by successive extensions along the filtration, each of which can be realized after a finite separable base change. We will expand the proof section to include these reduction steps explicitly, together with the cocycle description and the reference to standard results on Artin-Schreier extensions (e.g., the relevant parts of Serre's Local Fields or Milne's Étale Cohomology). No additional prior results beyond these classical facts are used, and the adaptations to the torsor setting will be written out in full. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper presents pure existence theorems for étale extensions of unipotent torsors, first locally over the generic point of a DVR and then globally over normal integral curves. These are proved via algebraic geometry in positive characteristic without any equations, fitted parameters, or predictions that reduce to inputs by construction. No self-citations are load-bearing for the central claims, and the globalization step (patching local finite separable extensions) is an independent existence argument rather than a renaming or self-definitional reduction. The application to unipotent variants of Nori's fundamental group scheme follows directly from the main theorems without circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only abstract available, so ledger reflects standard background assumptions in algebraic geometry rather than paper-specific inventions.

axioms (2)

standard math Unipotent algebraic groups over fields of characteristic p are smooth and satisfy standard properties of group schemes.
Invoked implicitly when defining U-torsors and their extensions.
standard math Discrete valuation rings and their normalizations behave as in standard commutative algebra.
Used for the local extension statement over O_K.

pith-pipeline@v0.9.0 · 5455 in / 1280 out tokens · 40866 ms · 2026-05-08T17:55:18.207933+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

54 extracted references · 12 canonical work pages

[1]

, TITLE =

Weibel, Charles A. , TITLE =. 1994 , PAGES =

1994
[2]

2004 , NOTE=

Topics in Algebraic Geometry , AUTHOR=. 2004 , NOTE=

2004
[3]

2002 , PAGES =

Liu, Qing , TITLE =. 2002 , PAGES =

2002
[4]

1977 , PAGES =

Hartshorne, Robin , TITLE =. 1977 , PAGES =

1977
[5]

Gelfand, S. I. and Manin, Yu. I. , TITLE =. 1999 , PAGES =

1999
[6]

, TITLE =

Spaltenstein, N. , TITLE =. Compositio Math. , FJOURNAL =. 1988 , NUMBER =

1988
[7]

2015 , PAGES =

Mumford, David and Oda, Tadao , TITLE =. 2015 , PAGES =

2015
[8]

1994 , PAGES =

Borceux, Francis , TITLE =. 1994 , PAGES =

1994
[9]

Foundations of

Lipman, Joseph , TITLE =. Foundations of. 2009 , MRCLASS =. doi:10.1007/978-3-540-85420-3 , URL =

work page doi:10.1007/978-3-540-85420-3 2009
[10]

Fundamental algebraic geometry , SERIES =

Vistoli, Angelo , TITLE =. Fundamental algebraic geometry , SERIES =. 2005 , MRCLASS =

2005
[11]

and Schapira, P

Kashiwara, Masaki and Schapira, Pierre , TITLE =. 2006 , PAGES =. doi:10.1007/3-540-27950-4 , URL =

work page doi:10.1007/3-540-27950-4 2006
[12]

Étale motives , volume=

Cisinski, Denis-Charles and Déglise, Frédéric , year=. Étale motives , volume=. Compositio Mathematica , publisher=. doi:10.1112/s0010437x15007459 , number=

work page doi:10.1112/s0010437x15007459
[13]

Affine analog of the proper base change theorem , url =

Gabber, Ofer , TITLE =. Israel J. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF02773001 , URL =

work page doi:10.1007/bf02773001 1994
[14]

, TITLE =

Milne, James S. , TITLE =. 1980 , PAGES =

1980
[15]

, TITLE =

Deligne, P. , TITLE =. Cohomologie \'. 1977 , MRCLASS =. doi:10.1007/BFb0091518 , URL =

work page doi:10.1007/bfb0091518 1977
[16]

1988 , PAGES =

Freitag, Eberhard and Kiehl, Reinhardt , TITLE =. 1988 , PAGES =. doi:10.1007/978-3-662-02541-3 , URL =

work page doi:10.1007/978-3-662-02541-3 1988
[17]

1970 , shorthand =

Demazure, Michel and Grothendieck, Alexander , TITLE =. 1970 , shorthand =

1970
[18]

1972-1973 , shorthand =

Th\'. 1972-1973 , shorthand =

1972
[19]

and Lusztig, G

Deligne, P. and Lusztig, G. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1976 , NUMBER =. doi:10.2307/1971021 , URL =

work page doi:10.2307/1971021 1976
[20]

Representations of

Bonnaf\'. Representations of. 2011 , PAGES =. doi:10.1007/978-0-85729-157-8 , URL =

work page doi:10.1007/978-0-85729-157-8 2011
[21]

Codensity and the ultrafilter monad

Tom Leinster. Codensity and the ultrafilter monad. Theory and Applications of Categories. 2013

2013
[22]

Scholze, Peter and Davies, Jack , year=. V4
[23]

Publications Math\'ematiques de l'IH\'ES , pages =

Grothendieck, Alexander , title =. Publications Math\'ematiques de l'IH\'ES , pages =. 1966 , zbl =

1966
[24]

and Illusie, L

Deligne, P. and Illusie, L. , title =. Inventiones mathematicae , pages =. 1987 , url =

1987
[25]

Projeto Euclides, IMPA, Rio de Janeiro , year=

Algebra comutativa em quatro movimentos , author=. Projeto Euclides, IMPA, Rio de Janeiro , year=
[26]

Annales de l'Institut Fourier , pages =

Serre, Jean-Pierre , title =. Annales de l'Institut Fourier , pages =. 1956 , doi =

1956
[27]

2018 , NOTE=

Linearization of algebraic group actions , author=. 2018 , NOTE=

2018
[28]

, TITLE =

Grothendieck, A. , TITLE =. Dix expos\'. 1968 , MRCLASS =

1968
[29]

Hermitian vector bundles and extension groups on arithmetic schemes. II. The arithmetic Atiyah extension , author=. 2008 , eprint=

2008
[30]

A modern proof of Chevalley's theorem on algebraic groups , volume =

Conrad, Brian , year =. A modern proof of Chevalley's theorem on algebraic groups , volume =. J. Ramanujan Math. Soc. , url =
[31]

Milne, J. S. , TITLE =. 2017 , PAGES =. doi:10.1017/9781316711736 , URL =

work page doi:10.1017/9781316711736 2017
[32]

Linear Algebraic Groups I , url =

Conrad, Brian , year =. Linear Algebraic Groups I , url =
[33]

2023 , eprint=

Elliptic KZB connections via universal vector extensions , author=. 2023 , eprint=

2023
[34]

, title =

Nori, Madhav V. , title =. Compositio Mathematica , pages =. 1976 , mrnumber =

1976
[35]

, TITLE =

Deligne, P. , TITLE =. The. 1990 , ISBN =

1990
[36]

Unipotent group schemes over integral rings

Ve sfe ler, B J and Dolga c \"e v, I V. Unipotent group schemes over integral rings. Math. USSR
[37]

Gille, Philippe and Guralnick, Robert M. , URL =. 2023 , DOI =

2023
[38]

2016 , HAL_ID =

Tong, Jilong , URL =. 2016 , HAL_ID =

2016
[39]

Higher dimensional formal orbifolds and orbifold bundles in positive characteristic

Biswas, Indranil and Kumar, Manish and Parameswaran, A J. Higher dimensional formal orbifolds and orbifold bundles in positive characteristic. Commun. Algebra
[40]

Algebraic geometry I: Schemes

G \"o rtz, Ulrich and Wedhorn, Torsten. Algebraic geometry I: Schemes
[41]

Fesenko, I. B. and Vostokov, S. V. , TITLE =. 2002 , PAGES =. doi:10.1090/mmono/121 , URL =

work page doi:10.1090/mmono/121 2002
[42]

Moret-Bailly, Laurent , TITLE =. C. R. Acad. Sci. Paris S\'er. I Math. , FJOURNAL =. 1985 , NUMBER =

1985
[43]

2016 , url =

Marrama, Andrea , title =. 2016 , url =

2016
[44]

2024 , bdsk-url-1 =

K. 2024 , bdsk-url-1 =. doi:10.4007/annals.2024.199.1.2 , journal =

work page doi:10.4007/annals.2024.199.1.2 2024
[45]

Giraud, Jean , title =
[46]

Breen, Lawrence , title =
[47]

Compositio Mathematica , author=

On the symbol length of p -algebras , volume=. Compositio Mathematica , author=. 2013 , pages=. doi:10.1112/S0010437X13007070 , number=

work page doi:10.1112/s0010437x13007070 2013
[48]

The fundamental group-scheme

Nori, Madhav V. The fundamental group-scheme. Proc. Math. Sci
[49]

Rationality properties of linear algebraic groups, II

Borel, A and Springer, T A. Rationality properties of linear algebraic groups, II. Tohoku Math. J. (2)
[50]

Galois Cohomology

Serre, Jean-Pierre. Galois Cohomology
[51]

1970 , PAGES =

Matsumura, Hideyuki , TITLE =. 1970 , PAGES =

1970
[52]

1967 , PAGES =

Artin, Emil , TITLE =. 1967 , PAGES =

1967
[53]

Unipotent Algebraic Groups

Kambayashi, T and Miyanishi, M and Takeuchi, M. Unipotent Algebraic Groups
[54]

Algebraic function fields and codes

Stichtenoth, Henning. Algebraic function fields and codes