pith. sign in

arxiv: 2605.20010 · v1 · pith:FDFSVD4Hnew · submitted 2026-05-19 · 🧮 math.AG

Enriques' characterization of Abelian surfaces in positive characteristic

Jefferson Baudin , Gebhard Martin This is my paper

Pith reviewed 2026-05-20 04:12 UTC · model grok-4.3

classification 🧮 math.AG
keywords abelian surfacespositive characteristicbirational classificationEnriques characterizationalgebraic surfacesplurigenerairregularitysurface invariants
0
0 comments X

The pith

Every smooth projective surface with h¹(X, O_X) = 2 and p₁(X) = p₂(X) = 1 is birational to an Abelian surface when the base field has characteristic at least 7.

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

The paper extends Enriques' classical characterization from characteristic zero to algebraically closed fields of positive characteristic p at least 7. It proves that any smooth projective surface satisfying h¹ of the structure sheaf equal to 2 together with the first two plurigenera both equal to 1 must be birational to an Abelian surface. A sympathetic reader would care because the result shows that these basic numerical and cohomological invariants continue to detect Abelian surfaces in most positive characteristics, just as they do over the complex numbers. The same conditions no longer force the surface to be Abelian when the characteristic is 5 or smaller, and the paper supplies the precise alternative description that holds in those cases.

Core claim

We extend Enriques' characterization to algebraically closed fields of characteristic p ≥ 7. We show that every smooth projective surface X with h¹(X, O_X) = 2 and p₁(X) = p₂(X) = 1 is birational to an Abelian surface. This characterization fails if p ≤ 5, and we give a sharp alternative.

What carries the argument

The extension of Enriques' characterization that uses vanishing theorems and the classification of surfaces, both of which are valid precisely when the characteristic is at least 7, to conclude that the given invariants force birational equivalence to an Abelian surface.

If this is right

  • The surface has Kodaira dimension zero.
  • There exists a birational map from the surface to an Abelian surface.
  • No surfaces of other types satisfy the given conditions in characteristic at least 7.
  • The same numerical conditions detect Abelian surfaces in all characteristics except the smallest primes.

Where Pith is reading between the lines

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

  • The same style of argument could be tried for other classical characterizations of surfaces such as K3 or Enriques surfaces in large positive characteristic.
  • The explicit alternative classification given for p ≤ 5 might be used to study moduli spaces or special loci that appear only in those small characteristics.
  • If stronger vanishing results become available, the lower bound on p might be lowered without changing the overall statement.

Load-bearing premise

The vanishing theorems and classification results used in the proof hold only when the characteristic is at least 7.

What would settle it

Finding a smooth projective surface over an algebraically closed field of characteristic 7 with h¹(O_X) = 2 and p₁ = p₂ = 1 that is not birational to any Abelian surface would disprove the claim.

read the original abstract

Extending Enriques' characterization to algebraically closed fields of characteristic $p \geq 7$, we show that every smooth projective surface $X$ with $h^1(X, \mathcal{O}_X) = 2$ and $p_1(X) = p_2(X) = 1$ is birational to an Abelian surface. This characterization fails if $p \leq 5$, and we give a sharp alternative.

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 / 0 minor

Summary. The manuscript extends Enriques' classical characterization of abelian surfaces to algebraically closed fields of characteristic p ≥ 7. It proves that every smooth projective surface X with h¹(X, O_X) = 2 and p₁(X) = p₂(X) = 1 is birational to an abelian surface in this range. The characterization fails for p ≤ 5, and the authors supply a sharp alternative in those cases.

Significance. If the result holds, it supplies a precise positive-characteristic analogue of a classical theorem in surface classification, with an explicit threshold p ≥ 7 that aligns with the validity range of the invoked vanishing and classification results. The explicit carving out of the p ≤ 5 case and provision of an alternative strengthen the contribution by making the boundary of the statement transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. No specific major comments were raised.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper proves a new theorem extending Enriques' classical characterization of abelian surfaces to algebraically closed fields of characteristic p ≥ 7, using the given invariants h¹(O_X)=2 and p1=p2=1 to conclude birationality to an abelian surface. The argument relies on established vanishing theorems, classification results, and deformation theory valid only for p ≥ 7, which are external prior results in algebraic geometry rather than derived from the paper's own equations, fitted parameters, or self-referential definitions. The explicit statement that the characterization fails for p ≤ 5 and the provision of a sharp alternative there further confirm the derivation is bounded by independent external facts and does not reduce any prediction or conclusion to an input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard tools of algebraic geometry in positive characteristic that are assumed to hold for p ≥ 7; no new free parameters or invented entities are introduced in the abstract statement.

axioms (1)
  • domain assumption Standard vanishing and classification theorems for surfaces hold when the characteristic is at least 7
    The abstract explicitly restricts the main theorem to p ≥ 7 and notes failure for smaller p, indicating reliance on results valid only above that threshold.

pith-pipeline@v0.9.0 · 5589 in / 1329 out tokens · 36180 ms · 2026-05-20T04:12:15.676001+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

22 extracted references · 22 canonical work pages

  1. [1]

    and Lorenzini, D

    Liu, Q. and Lorenzini, D. and Raynaud, M. , title =. Invent. Math. , issn =. 2004 , language =. doi:10.1007/s00222-004-0342-y , keywords =

    work page doi:10.1007/s00222-004-0342-y 2004

  2. [2]

    , title =

    Mumford, D. , title =. 1969 , language =

    work page 1969

  3. [3]

    and Mumford, D

    Bombieri, E. and Mumford, D. , title =. Invent. Math. , issn =. 1976 , language =. doi:10.1007/BF01390138 , keywords =

    work page doi:10.1007/bf01390138 1976

  4. [4]

    , title =

    Enriques, F. , title =. Rend. Circ. Mat. Palermo , issn =. 1905 , language =. doi:10.1007/BF03014029 , url =

    work page doi:10.1007/bf03014029 1905

  5. [5]

    , title =

    Brion, M. , title =. Pure Appl. Math. Q. , issn =. 2024 , language =. doi:10.4310/PAMQ.2024.v20.n3.a2 , keywords =

    work page doi:10.4310/pamq.2024.v20.n3.a2 2024

  6. [6]

    and Dolgachev, I

    Cossec, F. and Dolgachev, I. and Liedtke, C. , TITLE =. 2025 , PAGES =. doi:10.1007/978-981-96-1214-7 , URL =

    work page doi:10.1007/978-981-96-1214-7 2025

  7. [7]

    2025 , JOURNAL=

    Effective characterization of ordinary abelian varieties, and beyond , AUTHOR =. 2025 , JOURNAL=

    work page 2025

  8. [8]

    , TITLE =

    Ekedahl, T. , TITLE =. Inst. Hautes \'. 1988 , PAGES =

    work page 1988

  9. [9]

    2025 , JOURNAL=

    Generic vanishing theory in positive characteristic , AUTHOR =. 2025 , JOURNAL=

    work page 2025

  10. [10]

    Hacon, C. D. and Patakfalvi, Zs. and Zhang, L. , TITLE =. Duke Math. J. , FJOURNAL =. 2019 , NUMBER =. doi:10.1215/00127094-2019-0008 , URL =

    work page doi:10.1215/00127094-2019-0008 2019

  11. [11]

    Varieties with free tangent sheaves , JOURNAL =

    R\". Varieties with free tangent sheaves , JOURNAL =. 2025 , note =

    work page 2025

  12. [12]

    , TITLE =

    Pareschi, G. , TITLE =. Current developments in algebraic geometry , SERIES =. 2012 , MRCLASS =

    work page 2012

  13. [13]

    , TITLE =

    Jiang, Z. , TITLE =. Commun. Contemp. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1142/S0219199711004397 , URL =

    work page doi:10.1142/s0219199711004397 2011

  14. [14]

    Chen, J. A. and Hacon, C. D. , TITLE =. Invent. Math. , FJOURNAL =. 2001 , NUMBER =. doi:10.1007/s002220000111 , URL =

    work page doi:10.1007/s002220000111 2001

  15. [15]

    , TITLE =

    Ferrari, E. , TITLE =. Manuscripta Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00229-018-1043-y , URL =

    work page doi:10.1007/s00229-018-1043-y 2019

  16. [16]

    and Mumford, D

    Bombieri, E. and Mumford, D. , TITLE =. Complex analysis and algebraic geometry , PAGES =. 1977 , MRCLASS =

    work page 1977

  17. [17]

    Higher direct images of dualizing sheaves

    Koll\'ar, J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1986 , NUMBER =. doi:10.2307/1971351 , URL =

    work page doi:10.2307/1971351 1986

  18. [18]

    and Ueno, K

    Katsura, T. and Ueno, K. , title =. Math. Ann. , issn =. 1985 , language =. doi:10.1007/BF01455561 , keywords =

    work page doi:10.1007/bf01455561 1985

  19. [19]

    Shepherd-Barron, N. I. , title =. Invent. Math. , issn =. 1991 , language =. doi:10.1007/BF01243913 , keywords =

    work page doi:10.1007/bf01243913 1991

  20. [20]

    and Sun, X

    Gu, Y. and Sun, X. and Zhou, M. , title =. J. Eur. Math. Soc. (JEMS) , issn =. 2023 , language =. doi:10.4171/JEMS/1183 , keywords =

    work page doi:10.4171/jems/1183 2023

  21. [21]

    , title =

    Kodaira, K. , title =. Ann. Math. (2) , issn =. 1963 , language =. doi:10.2307/1970500 , keywords =

    work page doi:10.2307/1970500 1963

  22. [22]

    , title =

    Mitsui, K. , title =. Math. Ann. , issn =. 2013 , language =. doi:10.1007/s00208-012-0813-1 , keywords =

    work page doi:10.1007/s00208-012-0813-1 2013