pith. sign in

arxiv: 2304.12599 · v2 · pith:3NM4CSLRnew · submitted 2023-04-25 · 🧮 math.AG

Normal forms for quasi-elliptic Enriques surfaces and applications

Toshiyuki Katsura , Matthias Sch\"utt This is my paper

Pith reviewed 2026-05-24 08:59 UTC · model grok-4.3

classification 🧮 math.AG
keywords Enriques surfacesquasi-elliptic surfacesnormal formsautomorphism groupsclassificationalgebraic surfacestorsors
0
0 comments X

The pith

Normal forms for quasi-elliptic Enriques surfaces complete the classification of those with finite automorphism groups.

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

The paper derives explicit normal forms that describe all quasi-elliptic Enriques surfaces. These forms support direct calculations of torsors and numerically trivial automorphisms. The main result finishes the classification of Enriques surfaces whose automorphism groups are finite, by supplying the missing quasi-elliptic cases after earlier work handled the rest. A reader would care because the outcome is a complete list of these surfaces together with their symmetry data.

Core claim

The authors work out normal forms for quasi-elliptic Enriques surfaces and apply them to finish the classification of Enriques surfaces with finite automorphism groups begun by Kondo, Nikulin, Martin and Katsura-Kondo-Martin.

What carries the argument

Normal forms for quasi-elliptic Enriques surfaces, which give explicit equations that parametrize the surfaces and determine their automorphism groups.

Load-bearing premise

The normal forms cover every quasi-elliptic Enriques surface and the earlier papers already treated every non-quasi-elliptic case with finite automorphism groups.

What would settle it

A quasi-elliptic Enriques surface with finite automorphism group that cannot be transformed into any of the normal forms listed in the paper.

Figures

Figures reproduced from arXiv: 2304.12599 by Matthias Sch\"utt, Toshiyuki Katsura.

Figure 1
Figure 1. Figure 1: Smooth rational fibre components and curve of cusps for f [PITH_FULL_IMAGE:figures/full_fig_p025_1.png] view at source ↗
read the original abstract

We work out normal forms for quasi-elliptic Enriques surfaces and give several applications. These include torsors and numerically trivial automorphisms, but our main application is the completion of the classification of Enriques surfaces with finite automorphism groups started by Kondo, Nikulin, Martin and Katsura-Kondo-Martin.

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

2 major / 2 minor

Summary. The paper derives explicit normal forms for quasi-elliptic Enriques surfaces and applies them to torsors, numerically trivial automorphisms, and—most centrally—the completion of the classification of all Enriques surfaces with finite automorphism groups, by handling the quasi-elliptic case and combining it with prior results of Kondo–Nikulin–Martin et al. for the non-quasi-elliptic cases.

Significance. If the normal forms are shown to be exhaustive, the work finishes a classification program that has been pursued over multiple papers. The explicit forms also supply concrete models that can be used for further computations of automorphism groups and torsors on Enriques surfaces.

major comments (2)
  1. [§4] §4 (normal-form derivation): the case analysis on configurations of the canonical class, the quasi-elliptic fibration, and numerically trivial automorphisms produces a list of normal forms, but the manuscript does not supply an independent completeness argument (e.g., a dimension count on the relevant moduli space or an exhaustive enumeration of admissible root lattices) that would rule out additional families.
  2. [§5] §5 (classification theorem): the claim that every quasi-elliptic Enriques surface with finite Aut is equivalent to one of the listed forms is used to stitch the classification together with the non-quasi-elliptic cases; without a separate verification that the list is exhaustive, the reduction step remains the load-bearing point for the main theorem.
minor comments (2)
  1. [§3] Notation for the Weierstrass coefficients in the quasi-elliptic case is introduced without a consolidated table; a single reference table would improve readability.
  2. [Introduction] Several citations to the authors’ earlier works appear in the introduction; a short paragraph clarifying which results are new versus which are recalled would help readers track the incremental contribution.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive assessment of its significance in completing the classification of Enriques surfaces with finite automorphism groups. We address the two major comments below.

read point-by-point responses

  1. Referee: [§4] §4 (normal-form derivation): the case analysis on configurations of the canonical class, the quasi-elliptic fibration, and numerically trivial automorphisms produces a list of normal forms, but the manuscript does not supply an independent completeness argument (e.g., a dimension count on the relevant moduli space or an exhaustive enumeration of admissible root lattices) that would rule out additional families.

    Authors: The derivation in §4 is based on an exhaustive enumeration of all possible configurations of the canonical class, the quasi-elliptic fibration, and numerically trivial automorphisms that are compatible with the Enriques lattice and the known constraints on root systems. This case analysis draws directly on the established classification of admissible root lattices for Enriques surfaces and rules out further families by contradiction with these lattice-theoretic conditions. While a separate moduli-space dimension count is not included, the enumeration itself serves as the completeness argument. revision: no

  2. Referee: [§5] §5 (classification theorem): the claim that every quasi-elliptic Enriques surface with finite Aut is equivalent to one of the listed forms is used to stitch the classification together with the non-quasi-elliptic cases; without a separate verification that the list is exhaustive, the reduction step remains the load-bearing point for the main theorem.

    Authors: The classification statement in §5 follows from the completeness of the normal forms obtained via the exhaustive case analysis in §4. This allows the quasi-elliptic case to be combined with the prior results of Kondo–Nikulin–Martin et al. for the non-quasi-elliptic cases, thereby completing the overall classification. The reduction step is justified by the lattice-theoretic exhaustiveness already established in §4. revision: no

Circularity Check

0 steps flagged

No circularity; normal forms derived independently and classification completion relies on separate prior results

full rationale

The paper's core contribution is deriving normal forms for quasi-elliptic Enriques surfaces via case analysis on their geometric properties (canonical class, fibrations, automorphisms), which is then used to complete an existing classification. This derivation is self-contained within the present work and does not reduce to its inputs by definition or fitting. Citations to prior papers (including those with author overlap) provide context for the non-quasi-elliptic cases but are not invoked as a uniqueness theorem or load-bearing premise that would make the new normal forms circular; the exhaustiveness claim for the quasi-elliptic case stands on the paper's own enumeration rather than self-referential reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper works in standard algebraic geometry over the complex numbers. Without the full text, specific free parameters, axioms, or invented entities cannot be identified; none are mentioned in the abstract.

pith-pipeline@v0.9.0 · 5563 in / 1018 out tokens · 18953 ms · 2026-05-24T08:59:32.583071+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

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

  1. [1]

    Artin, Coverings of the Rational Double Points in Characteristic p , in: Complex Analysis and Algebraic Geometry, pp

    M. Artin, Coverings of the Rational Double Points in Characteristic p , in: Complex Analysis and Algebraic Geometry, pp. 11-22, Iwanami Shoten Publishers, Tokyo, 1977

    work page 1977

  2. [2]

    Barth, K

    W. Barth, K. Hulek, C. Peters and A. Van de Ven, Compact complex surfaces, 2nd ed., Ergeb.\ Math.\ Grenzgeb. (3), vol. 4, Springer-Verlag, Berlin, 2004

    work page 2004

  3. [3]

    Bombieri and D

    E. Bombieri and D. Mumford, Enriques' classification of surfaces in char. p . III, Invent.\ Math.\ 35 (1976), 197--232

    work page 1976

  4. [4]

    Chakiris, Counterexamples to global Torelli theorem for certain simply connected surfaces, Bull.\ Amer.\ Math.\ Soc.\ (N.S.) 2 (1980), no

    K. Chakiris, Counterexamples to global Torelli theorem for certain simply connected surfaces, Bull.\ Amer.\ Math.\ Soc.\ (N.S.) 2 (1980), no. 2, 297--299

    work page 1980

  5. [5]

    Cossec, On the Picard group of Enriques surfaces, Math.\ Ann.\ 271 (1985), no

    F.\,R. Cossec, On the Picard group of Enriques surfaces, Math.\ Ann.\ 271 (1985), no. 4, 577--600

    work page 1985

  6. [6]

    Cossec and I.\,V

    F.\,R. Cossec and I.\,V. Dolgachev, Enriques surfaces I. Progr.\ Math., vol. 76, Birkh\"auser Boston, Inc., Boston, MA, 1989

    work page 1989

  7. [7]

    Cossec, I.\,V

    F.\,R. Cossec, I.\,V. Dolgachev and C. Liedtke, Enriques surfaces I (with an appendix by S.\ Kond\=o), version Sept. 21, 2022; updated version available at https://dept.math.lsa.umich.edu/ idolga/EnriquesOne.pdf

    work page 2022

  8. [8]

    Dolgachev and S

    I.\,V. Dolgachev and S. Kond\=o, Enriques surfaces II, version Sept. 21, 2022; updated version available at https://dept.math.lsa.umich.edu/ idolga/EnriquesTwo.pdf

    work page 2022

  9. [9]

    Dolgachev and G

    I.\,V. Dolgachev and G. Martin, Numerically trivial automorphisms of Enriques surfaces in characteristic 2, J.\ Math.\ Soc.\ Japan 71 (2019), no. 4, 1181--1200

    work page 2019

  10. [10]

    , Automorphism groups of rational elliptic and quasi-elliptic surfaces in all characteristics, Adv.\ Math.\ 400 (2022), Paper No. 108274

    work page 2022

  11. [11]

    Illusie, Complexe de de Rham-Witt et cohomologie cristalline, Ann.\ Sci.\ \'Ecole Norm.\ Sup

    L. Illusie, Complexe de de Rham-Witt et cohomologie cristalline, Ann.\ Sci.\ \'Ecole Norm.\ Sup. (4) 12 (1979), no. 4, 501--661

    work page 1979

  12. [12]

    Ito, The Mordell-Weil groups of unirational quasi-elliptic surfaces in characteristic 2 , Tohoku Math.\ J

    H. Ito, The Mordell-Weil groups of unirational quasi-elliptic surfaces in characteristic 2 , Tohoku Math.\ J. (2) 46 (1994), no. 2, 221--251

    work page 1994

  13. [13]

    Katsura and S

    T. Katsura and S. Kond\=o, Enriques surfaces in characteristic 2 with a finite group of automorphisms, J. Algebraic Geometry 27 (2018), no. 1, 173--202

    work page 2018

  14. [14]

    Katsura, S

    T. Katsura, S. Kond\=o and G. Martin, Classification of Enriques surfaces with finite automorphism group in characteristic 2 , Algebr.\ Geom.\ 7 (2020), no. 4, 390--459

    work page 2020

  15. [15]

    Kodaira, On compact analytic surfaces I--III, Ann

    K. Kodaira, On compact analytic surfaces I--III, Ann. of Math. (2) 71 (1960), 111--152; 77 (1963), 563--626; 78 (1963), 1--40

    work page 1960

  16. [16]

    Kond\=o, Enriques surfaces with finite automorphism group, Japan J

    S. Kond\=o, Enriques surfaces with finite automorphism group, Japan J. Math.\ (N.S.) 12 (1986), no. 2, 192--282

    work page 1986

  17. [17]

    Math.\ Soc.\ Japan 73 (2021), no

    , Classification of Enriques surfaces covered by the supersingular K3 surface with Artin invariant 1 in characteristic 2 , J. Math.\ Soc.\ Japan 73 (2021), no. 1, 301--328

    work page 2021

  18. [18]

    Lang, On Enriques surfaces in characteristic p

    W. Lang, On Enriques surfaces in characteristic p . II, Math.\ Ann.\ 281 (1988), no. 4, 671--685

    work page 1988

  19. [19]

    Liedtke, Arithmetic moduli and lifting of Enriques surfaces, J

    C. Liedtke, Arithmetic moduli and lifting of Enriques surfaces, J. reine angew.\ Math.\ 706 (2015), 35--65

    work page 2015

  20. [20]

    Martin, Enriques surfaces with finite automorphism group in positive characteristic, Algebr.\ Geom

    G. Martin, Enriques surfaces with finite automorphism group in positive characteristic, Algebr.\ Geom. 6 (2019), no. 5, 592--649

    work page 2019

  21. [21]

    Mukai, Numerically trivial involutions of Kummer type of an Enriques surface, Kyoto J

    S. Mukai, Numerically trivial involutions of Kummer type of an Enriques surface, Kyoto J. Math.\ 50 (2010), no. 4, 889--902

    work page 2010

  22. [22]

    Mukai and Y

    S. Mukai and Y. Namikawa, Automorphisms of Enriques surfaces which act trivially on the cohomology groups, Invent.\ Math.\ 77 (1984), no. 3, 383--397

    work page 1984

  23. [23]

    Nikulin, On a description of the automorphism groups of Enriques surfaces, Sov.\ Math., Dokl.\ 30 (1984), 282--285; translation from Dokl.\ Akad.\ Nauk SSSR 277 (1984), 1324--1327

    V.\,V. Nikulin, On a description of the automorphism groups of Enriques surfaces, Sov.\ Math., Dokl.\ 30 (1984), 282--285; translation from Dokl.\ Akad.\ Nauk SSSR 277 (1984), 1324--1327

    work page 1984

  24. [24]

    Pearlstein and C

    G. Pearlstein and C. Peters, A Remarkable Class of Elliptic Surfaces of Amplitude 1 in Weighted Projective Space, preprint arXiv:2302.09358v2 (2023)

    work page arXiv 2023

  25. [25]

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

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

    work page 1971

  26. [26]

    , Non-conservative function fields of genus one II, Arch.\ Math.\ (Basel) 23 (1972), 30--37

    work page 1972

  27. [27]

    Rudakov and I.\,R

    R. Rudakov and I.\,R. S afarevi c , Inseparable morphisms of algebraic surfaces, Izv.\ Akad.\ Nauk SSSR Ser.\ Mat.\ 40 (1976), no. 6, 1269--1307, 1439

    work page 1976

  28. [28]

    Equations for some very special Enriques surfaces in characteristic two

    P. Salomonsson, Equations for some very special Enriques surfaces in characteristic two, preprint arXiv:math/0309210 (2003)

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  29. [29]

    Sch\"utt, Q_ -cohomology projective planes and Enriques surfaces in characteristic two, \'Epijournal de G\'eom.\ Alg\'ebrique 3 (2019), Art

    M. Sch\"utt, Q_ -cohomology projective planes and Enriques surfaces in characteristic two, \'Epijournal de G\'eom.\ Alg\'ebrique 3 (2019), Art. 10

    work page 2019

  30. [30]

    Sch\"utt and A

    M. Sch\"utt and A. Schweizer. On the uniqueness of elliptic K3 surfaces with maximal singular fibre, Ann. Inst. Fourier (Grenoble) 63 (2013), no. 2, 689--713

    work page 2013

  31. [31]

    Sch\"utt and T

    M. Sch\"utt and T. Shioda. Mordell--Weil lattices, Ergeb.\ Math.\ Grenzgeb. (3), vol. 70, Springer, Singapore, 2019

    work page 2019

  32. [32]

    J. Tate, Algorithm for determining the type of singular fibre in an elliptic pencil, in: Modular Functions of One Variable IV (Proc.\ Internat.\ Summer School, Univ.\ Antwerp, Antwerp, 1972), pp. 33--52, Lect.\ Notes in Math.\ vol. 476, Springer-Verlag, Berlin-New York, 1975

    work page 1972