pith. sign in

arxiv: 2604.05293 · v1 · submitted 2026-04-07 · 🧮 math.AG

Geometric singularities of regular surfaces with nef anti-canonical divisors over imperfect fields

Chongning Wang , Lei Zhang This is my paper

Pith reviewed 2026-05-10 19:57 UTC · model grok-4.3

classification 🧮 math.AG
keywords regular projective surfacenef anti-canonical divisorgeometrically integralimperfect fieldspositive characteristicalgebraic surfacesprojective geometry
0
0 comments X

The pith

A regular projective surface with nef anti-canonical divisor over a field of characteristic at least 7 is geometrically integral.

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

The paper proves that a regular projective surface S over a field k of characteristic p at least 7, with only constant global sections and nef anti-canonical divisor, must be geometrically integral. This means the base change of S to an algebraic closure of k is an irreducible and reduced surface. A reader would care because many fields in positive characteristic are imperfect, and this result rules out the sudden appearance of extra geometric components or non-reduced structure that can arise only after base change. It extends classical statements known for perfect fields to the imperfect case while respecting the characteristic bound needed for the proof techniques.

Core claim

We prove that a regular projective surface S over a field k of characteristic p ≥ 7, with H^0(S, O_S) = k and -K_S being nef, is geometrically integral over k. This shows that the geometric fiber remains an integral scheme, so no new irreducible components or multiplicities appear solely from the imperfection of the base field.

What carries the argument

Nefness of the anti-canonical divisor -K_S on a regular projective surface, which controls cohomology vanishing and the action of the Frobenius morphism in positive characteristic.

If this is right

  • The surface remains irreducible and reduced after base change to any algebraic closure of the base field.
  • No geometric multiple components or non-reduced structure can arise purely from field imperfection.
  • Geometric properties of such surfaces can be studied using their models over algebraically closed fields without loss of information.
  • Standard vanishing theorems and classification tools for surfaces with nef anti-canonical divisors apply directly to the geometric base change.

Where Pith is reading between the lines

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

  • The same conclusion may hold in characteristics 5 or lower if separate arguments handle wild ramification or different Frobenius behavior.
  • The result could support classification of del Pezzo surfaces and other classes with nef anti-canonical divisors over imperfect fields.
  • Analogous statements for threefolds or higher-dimensional varieties with nef anti-canonical divisors might follow by similar methods.

Load-bearing premise

The base field must have characteristic at least 7 so that the Frobenius morphism behaves sufficiently well to rule out wild phenomena.

What would settle it

An explicit regular projective surface over a field of characteristic 7 or higher with H^0(O_S)=k, -K_S nef, yet whose base change to the algebraic closure is reducible or non-reduced would disprove the claim.

read the original abstract

We prove that a regular projective surface $S$ over a field $k$ of characteristic $p \ge 7$, with $H^0(S,\mathcal{O}_S) = k$ and $-K_S$ being nef, is geometrically integral over $k$.

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.

Referee Report

0 major / 2 minor

Summary. The paper proves that a regular projective surface S over a field k of characteristic p ≥ 7, with H^0(S, O_S) = k and -K_S nef, is geometrically integral over k. The argument reduces to the minimal model case, applies vanishing results for the anticanonical system valid in this characteristic range, and invokes the global section condition to ensure the function field extension is separable with the geometric fiber reduced and irreducible.

Significance. If the result holds, it supplies a practical criterion for geometric integrality of regular surfaces with nef anticanonical divisors over imperfect fields in characteristic p ≥ 7. This is useful for the study of minimal surfaces and their geometric properties in positive characteristic. The explicit bound p ≥ 7 is used to avoid Frobenius pathologies known to occur in characteristics 2, 3, and 5; the proof relies on standard vanishing and surface theory tools without additional hidden parameters or self-referential definitions.

minor comments (2)
  1. The title emphasizes geometric singularities while the abstract and main theorem focus on geometric integrality; a brief clarifying sentence in the introduction relating the two would improve readability.
  2. The precise statements of the vanishing theorems invoked for the anticanonical system should include explicit references to the source results (e.g., which theorem or corollary is applied).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive report recommending acceptance. The referee's summary accurately captures the statement and proof strategy of our main result.

read point-by-point responses

  1. Referee: MAJOR COMMENTS: (none provided; referee recommends acceptance)

    Authors: We appreciate that no specific criticisms or requests for changes were raised. The manuscript requires no revisions in response to this report. revision: no

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The manuscript establishes geometric integrality of regular projective surfaces with nef anti-canonical divisor and H^0(O_S)=k in char p≥7 by reducing to minimal models, invoking standard vanishing results for the anticanonical system that hold in this range, and using the global section hypothesis to control the function field extension and geometric fiber. These steps rely on external theorems in algebraic geometry (e.g., vanishing and minimal model theory) rather than self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The explicit p≥7 bound is justified by reference to known Frobenius pathologies in lower characteristics, not to conceal circularity. The central claim therefore remains independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard background results in algebraic geometry over fields of positive characteristic; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of nef divisors, regularity, and geometric integrality for projective surfaces
    Invoked implicitly to control intersections and base change behavior.

pith-pipeline@v0.9.0 · 5324 in / 1105 out tokens · 35279 ms · 2026-05-10T19:57:34.414343+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · 1 internal anchor

  1. [1]

    M. Artin. On isolated rational singularities of surfaces. Am. J. Math. , 88:129--136, 1966

    work page 1966

  2. [2]

    Explicit sarkisov program for regular surfaces over arbitrary fields and applications, 2024

    Fabio Bernasconi, Andrea Fanelli, Julia Schneider, and Susanna Zimmermann. Explicit sarkisov program for regular surfaces over arbitrary fields and applications, 2024. arXiv:2404.03281v2

    work page arXiv 2024

  3. [3]

    Bounding geometrically integral del Pezzo surfaces

    Fabio Bernasconi and Gebhard Martin. Bounding geometrically integral del Pezzo surfaces. Forum Math. Sigma , 12:24, 2024. Id/No e81

    work page 2024

  4. [4]

    On del Pezzo fibrations in positive characteristic

    Fabio Bernasconi and Hiromu Tanaka. On del Pezzo fibrations in positive characteristic. J. Inst. Math. Jussieu , 21(1):197--239, 2022

    work page 2022

  5. [5]

    Geometry and arithmetic of regular del pezzo surfaces, 2024

    Fabio Bernasconi and Hiromu Tanaka. Geometry and arithmetic of regular del pezzo surfaces, 2024. arXiv:2408.11378v3

    work page arXiv 2024

  6. [6]

    On canonical bundle formula for fibrations of curves with arithmetic genus one

    Jingshan Chen, Chongning Wang, and Lei Zhang. On canonical bundle formula for fibrations of curves with arithmetic genus one. To appear in Forum of Mathematics, Sigma. arXiv:2308.08927

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    The subadditivity of the Kodaira dimension for fibrations of relative dimension one in positive characteristics

    Yifei Chen and Lei Zhang. The subadditivity of the Kodaira dimension for fibrations of relative dimension one in positive characteristics. Math. Res. Lett. , 22(3):675--696, 2015

    work page 2015

  8. [8]

    On the log minimal model program for threefolds over imperfect fields of characteristic p>5

    Omprokash Das and Joe Waldron. On the log minimal model program for threefolds over imperfect fields of characteristic p>5 . J. Lond. Math. Soc. (2) , 106(4):3895--3937, 2022

    work page 2022

  9. [9]

    The Demailly--Peternell--Schneider conjecture is true in positive characteristic

    Sho Ejiri and Zsolt Patakfalvi. The Demailly--Peternell--Schneider conjecture is true in positive characteristic. arXiv:2305.02157 , 2023

    work page arXiv 2023

  10. [10]

    Del P ezzo surfaces and M ori fiber spaces in positive characteristic

    Andrea Fanelli and Stefan Schr\" o er. Del P ezzo surfaces and M ori fiber spaces in positive characteristic. Trans. Amer. Math. Soc. , 373(3):1775--1843, 2020

    work page 2020

  11. [11]

    Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete

    William Fulton. Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] . Springer-Verlag, Berlin, second edition, 1998

    work page 1998

  12. [12]

    Residues and duality

    Robin Hartshorne. Residues and duality. Lecture notes of a seminar on the work of A . Grothendieck , given at Havard 1963/64. Appendix : Cohomology with supports and the construction of the \(f^!\) functor by P . Deligne , volume 20 of Lect. Notes Math. Springer, Cham, 1966

    work page 1963

  13. [13]

    Structure of geometrically non-reduced varieties

    Lena Ji and Joe Waldron. Structure of geometrically non-reduced varieties. Trans. Amer. Math. Soc. , 374(12):8333--8363, 2021

    work page 2021

  14. [14]

    Singularities of the minimal model program

    J \'a nos Koll \'a r. Singularities of the minimal model program. With the collaboration of S \'a ndor Kov \'a cs , volume 200 of Camb. Tracts Math. Cambridge: Cambridge University Press, 2013

    work page 2013

  15. [15]

    Rational singularities, with applications to algebraic surfaces and unique factorization

    Joseph Lipman. Rational singularities, with applications to algebraic surfaces and unique factorization. Inst. Hautes \' E tudes Sci. Publ. Math. , (36):195--279, 1969

    work page 1969

  16. [16]

    Algebraic geometry and arithmetic curves , volume 6 of Oxford Graduate Texts in Mathematics

    Qing Liu. Algebraic geometry and arithmetic curves , volume 6 of Oxford Graduate Texts in Mathematics . Oxford University Press, Oxford, 2002. Translated from the French by Reinie Ern\' e , Oxford Science Publications

    work page 2002

  17. [17]

    Desingularization of double covers of regular surfaces, 2025

    Qing Liu. Desingularization of double covers of regular surfaces, 2025. arXiv:2504.16808v2

    work page arXiv 2025

  18. [18]

    _p - and _p -actions on K 3 surfaces in characteristic p

    Yuya Matsumoto. _p - and _p -actions on K 3 surfaces in characteristic p . J. Algebraic Geom. , 32(2):271--322, 2023

    work page 2023

  19. [19]

    Fano threefolds with wild conic bundle structures

    Shigefumi Mori and Natsuo Saito. Fano threefolds with wild conic bundle structures. Proc. Japan Acad., Ser. A , 79(6):111--114, 2003

    work page 2003

  20. [20]

    On self-intersection number of a section on a ruled surface

    Masayoshi Nagata. On self-intersection number of a section on a ruled surface. Nagoya Math. J. , 37:191--196, 1970

    work page 1970

  21. [21]

    Singularities of general fibers and the LMMP

    Zsolt Patakfalvi and Joe Waldron. Singularities of general fibers and the LMMP . Amer. J. Math. , 144(2):505--540, 2022

    work page 2022

  22. [22]

    Clifford S. Queen. Non-conservative function fields of genus one. I . Arch. Math. (Basel) , 22:612--623, 1971

    work page 1971

  23. [23]

    On fibrations whose geometric fibers are nonreduced

    Stefan Schr\"oer. On fibrations whose geometric fibers are nonreduced. Nagoya Math. J. , 200:35--57, 2010

    work page 2010

  24. [24]

    Russell, Forms of the a ffi ne line and its additive group , Pacific J

    Stefan Schröer. The structure of regular genus-one curves over imperfect fields, 2022. arXiv:2211.04073

    work page arXiv 2022

  25. [25]

    The S tacks P roject

    The Stacks P roject authors . The S tacks P roject. https://stacks.math.columbia.edu, Accessed in 2025

    work page 2025

  26. [26]

    Minimal model program for excellent surfaces

    Hiromu Tanaka. Minimal model program for excellent surfaces. Ann. Inst. Fourier , 68(1):345--376, 2018

    work page 2018

  27. [27]

    Invariants of algebraic varieties over imperfect fields

    Hiromu Tanaka. Invariants of algebraic varieties over imperfect fields. Tohoku Math. J. (2) , 73(4):471--538, 2021

    work page 2021

  28. [28]

    Boundedness of regular del P ezzo surfaces over imperfect fields

    Hiromu Tanaka. Boundedness of regular del P ezzo surfaces over imperfect fields. Manuscripta Math. , 174(1-2):355--379, 2024

    work page 2024