pith. sign in

arxiv: 2604.25227 · v1 · submitted 2026-04-28 · 🧮 math.AG

The 3-divisibility of divisors on K3 surfaces in characteristic 3

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

Pith reviewed 2026-05-07 15:36 UTC · model grok-4.3

classification 🧮 math.AG MSC 14J28
keywords K3 surfacescharacteristic 3rational curves3-divisibilitytriple coversA2 configurationsdivisor classes
0
0 comments X

The pith

K3 surfaces in characteristic 3 admit only A₂^n-type 3-divisible configurations of smooth rational curves, which classify all resulting triple covers.

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

The paper studies collections of smooth rational curves on K3 surfaces over fields of characteristic 3 whose divisor classes are divisible by 3. It shows that only arrangements matching the A₂ root system repeated n times can occur. From the data of these curves the paper constructs and lists every possible triple cover associated to the configuration. This classification matters because in characteristic 3 the usual integral lattice methods for covers must be replaced by p-divisible data, altering how the geometry of the surface and its covers behaves.

Core claim

On K3 surfaces over a field of characteristic 3, the only possible 3-divisible configurations of smooth rational curves are those of A₂^n type for suitable n, and each such configuration determines a unique triple cover that is fully classified by the divisor data of the curves.

What carries the argument

The 3-divisible A₂^n configuration of smooth rational curves, which supplies the divisor data that determines the triple cover in characteristic 3.

If this is right

  • All triple covers obtained from 3-divisible rational curves on such K3 surfaces fall into the listed families.
  • The possible values of n are bounded by the rank and signature constraints on the Picard lattice of a K3 surface.
  • The classification gives an explicit dictionary between the curve configurations and the geometry of the associated covers.
  • No additional exotic 3-divisible divisors exist outside the A₂^n forms in this setting.

Where Pith is reading between the lines

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

  • The same approach may apply to 3-divisible divisors on other surfaces such as Enriques surfaces in characteristic 3.
  • Explicit equations for the triple covers could be written down from the curve data and checked on supersingular K3 surfaces.
  • The classification supplies a finite list that can be used to test whether every K3 surface in characteristic 3 with Picard number at least 2 admits at least one such configuration.

Load-bearing premise

That every 3-divisible configuration of rational curves on a K3 surface in characteristic 3 arises from an A₂^n root system and that this divisor data alone fixes the triple cover.

What would settle it

An explicit example of a K3 surface in characteristic 3 with a 3-divisible collection of smooth rational curves whose configuration is not of A₂^n type would disprove the claimed description.

read the original abstract

We describe the possible 3-divisible $A_2^n$ configurations of smooth rational curves on K3 surfaces in characteristic 3 and fully classify the resulting triple covers.

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

Summary. The paper describes the possible 3-divisible A₂^n configurations of smooth rational curves on K3 surfaces in characteristic 3 and fully classifies the resulting triple covers. It employs lattice-theoretic methods to enumerate admissible configurations and analyzes the geometry of the associated covers.

Significance. If the classification is exhaustive and the arguments hold, the result would provide a useful reference for the study of rational curves and finite covers on K3 surfaces in positive characteristic, an area where explicit classifications remain limited. The focus on 3-divisibility and root-system data aligns with standard techniques in the field and could support further work on moduli or arithmetic questions.

minor comments (3)
  1. The abstract states a 'complete classification,' but the manuscript should include an explicit statement (e.g., in the introduction or final section) confirming that all possible A₂^n configurations in char 3 have been enumerated and that no other root-system types arise.
  2. Notation for the parameter n in A₂^n and the precise meaning of '3-divisible' should be fixed early (e.g., §1 or §2) to avoid ambiguity when reading the case analysis.
  3. Any tables or lists enumerating configurations would benefit from a clear reference in the text and a statement of the lattice-theoretic criterion used to verify 3-divisibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary, which accurately reflects the content and methods of our manuscript on 3-divisible A₂^n configurations of smooth rational curves on K3 surfaces in characteristic 3 and the classification of the associated triple covers. We appreciate the referee's assessment of the potential utility of this work as a reference in the study of rational curves and finite covers on K3 surfaces in positive characteristic. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; classification relies on external geometric arguments

full rationale

The abstract states a description and classification of 3-divisible A2^n configurations and triple covers on K3 surfaces in char 3. No equations, self-definitions, fitted predictions, or self-citations are supplied in the accessible text that would reduce any claim to its own inputs by construction. The derivation chain cannot be shown to collapse because the full lattice computations and case checks (if present) are not quoted here, and the provided summary exhibits no self-referential structure matching the enumerated patterns. This is the expected honest non-finding for a classification paper whose central claims remain open to external verification.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard assumptions from algebraic geometry of K3 surfaces and root systems in positive characteristic; no free parameters or invented entities are evident from the abstract.

axioms (2)
  • domain assumption K3 surfaces in characteristic 3 admit well-defined divisor groups and triple covers induced by 3-divisible divisors.
    Invoked implicitly in the description of configurations and covers.
  • domain assumption A2^n configurations of smooth rational curves can be analyzed via their intersection properties and 3-divisibility.
    Central to the classification approach.

pith-pipeline@v0.9.0 · 5310 in / 1260 out tokens · 31584 ms · 2026-05-07T15:36:41.526541+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    Arithmetic Geometry

    M. Artin, Lipman’s proof of resolution of singularities for surfaces, in “Arithmetic Geometry”, (Eds: G. Cornell J. H. Silverman), Springer-Verlag, New York Berlin Heidelberg London Paris Tokyo, 1986, 267–287

    work page 1986

  2. [2]

    Barth, K3 Surfaces with Nine Cusps, Geom

    W. Barth, K3 Surfaces with Nine Cusps, Geom. Dedic.72(1998), 171–178

    work page 1998

  3. [3]

    Barth, On the Classification of K3 Surfaces with Nine Cusps, In: Complex Analysis and Algebraic Geometry - A V olume in Memory of Michael Schneider (Eds: T

    W. Barth, On the Classification of K3 Surfaces with Nine Cusps, In: Complex Analysis and Algebraic Geometry - A V olume in Memory of Michael Schneider (Eds: T. Peternell and F.–O. Schreyer), 42–59 (2000)

    work page 2000

  4. [4]

    Bombieri and D

    E. Bombieri and D. Mumford, Enriques’ classification of surfaces in char.p, III, Inventiones Math.,35 (1976), 197–232

    work page 1976

  5. [5]

    Cossec, I

    F. Cossec, I. Dolgachev and C. Liedtke,Enriques Surfaces I(Second Edition), Springer, 2025

    work page 2025

  6. [6]

    Degtyarev,On deformations of singular plane sextics, J

    A. Degtyarev,On deformations of singular plane sextics, J. Algeb. Geom.17(2008), 101–135

    work page 2008

  7. [7]

    Dolgachev and JH Keum, Finite symplectic groups of automorphisms of K3 surfaces in positive characteristic, Annals of Math.169(2009), 269–313

    I. Dolgachev and JH Keum, Finite symplectic groups of automorphisms of K3 surfaces in positive characteristic, Annals of Math.169(2009), 269–313

    work page 2009

  8. [8]

    Hartshorne,Algebraic Geometry, Graduate Texts in Math.52, Springer Verlag New York Inc., 1977

    R. Hartshorne,Algebraic Geometry, Graduate Texts in Math.52, Springer Verlag New York Inc., 1977. THE 3-DIVISIBILITY OF DIVISORS ON K3 SURFACES IN CHARACTERISTIC 3 25

    work page 1977

  9. [9]

    Hidaka and K

    F. Hidaka and K. Watanabe, Normal Gorenstein surfaces with ample anti-canonical divisor, Tokyo J. Math.,4(1981), 319–330

    work page 1981

  10. [10]

    Ito, The Mordell-Weil groups of unirational quasi-elliptic surfaces in characteristic 3, Math

    H. Ito, The Mordell-Weil groups of unirational quasi-elliptic surfaces in characteristic 3, Math. Z.211 (1992), 1–40

    work page 1992

  11. [11]

    Ito, On extremal elliptic surfaces in characteristic 2 and 3, Hiroshima Math

    H. Ito, On extremal elliptic surfaces in characteristic 2 and 3, Hiroshima Math. J.,32(2002), 179–188

    work page 2002

  12. [12]

    Katsura, Lefschetz pencils on a certain hypersurface in positive characteristic, Advanced Studies

    T. Katsura, Lefschetz pencils on a certain hypersurface in positive characteristic, Advanced Studies. Pure Math.,74, (2017), 265–278

    work page 2017

  13. [13]

    Katsura and S

    T. Katsura and S. Kond¯o, Coble surfaces in characteristic 2, J. Math. Soc. Japan,75(2023), 1287–1337

    work page 2023

  14. [14]

    Katsura, S

    T. Katsura, S. Kond ¯o and M. Schuett, The 2-divisibility of divisors on K3 surfaces in characteristic 2, Math. Nachrichten298(2025), 1964–1988

    work page 2025

  15. [15]

    Katsura and M

    T. Katsura and M. Schuett, K3 surfaces with 9 cusps in characteristic p, J. Pure and Applied Algebra, 225(2021), Paper No. 106558, 14 pp

    work page 2021

  16. [16]

    Kond ¯o,Automorphisms of algebraic K3 surfaces which act trivially on Picard groups, J

    S. Kond ¯o,Automorphisms of algebraic K3 surfaces which act trivially on Picard groups, J. Math. Soc. Japan,44, No. 1 (1992), 75–98

    work page 1992

  17. [17]

    Miyanishi and H

    M. Miyanishi and H. Ito,Algebraic Surfaces in Positive Characteristic, World Scientific, 2021

    work page 2021

  18. [18]

    Mukai, Finite groups of automorphisms of K3 surfaces and the Mathieu group, Invent

    S. Mukai, Finite groups of automorphisms of K3 surfaces and the Mathieu group, Invent. Math.94 (1988), 183–221

    work page 1988

  19. [19]

    V . V . Nikulin, Finite automorphism groups of K¨ahler surfaces of type K3, Proc. Moscow Math. Soc. 38(1979), 75–137

    work page 1979

  20. [20]

    Finite symplectic automorphism groups of supersingular K3 surfaces

    H, Ohashi and M. Sch ¨utt, Finite symplectic automorphism groups of supersingular K3 surfaces, preprint (2024), arXiv: 2405.06341

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  21. [21]

    V . V . Nikulin, Integral symmetric bilinear forms and some of their applications, Math. USSR Izv.14 (1980), 103–167

    work page 1980

  22. [22]

    I. I. Pyatetskii-Shapiro and I. R. Shafarevich, A Torelli theorem for algebraic surfaces of type K3, Math. USSR Izvestija,5(1971), 547–588

    work page 1971

  23. [23]

    Rams and M

    S. Rams and M. Sch ¨utt, 112 lines on smooth quartic surfaces (characteristic 3). Quart. J. Math.66 (2015), 941–951

    work page 2015

  24. [24]

    Rudakov and I

    A. Rudakov and I. R. Shafarevich, Inseparable morphisms of algebraic surfaces, Math. USSR-Izv.,10 (1976), 1205–1237

    work page 1976

  25. [25]

    Rudakov and I

    A. Rudakov and I. R. Shafarevich, Supersingular K3 surfaces over fields of characteristic 2, Math. USSR-Izv.,13(1979), 147–165

    work page 1979

  26. [26]

    Rudakov and I

    A. Rudakov and I. R. Shafarevich, Surfaces of type K3 over fields of finite characteristic, J. Soviet Math.,22(1983), 1476–1533

    work page 1983

  27. [27]

    Saint-Donat, Projective models of K3 surfaces

    B. Saint-Donat, Projective models of K3 surfaces. Am. J. Math.96(1974), 602–639

    work page 1974

  28. [28]

    Sch ¨utt, Divisibilities among nodal curves, Math

    M. Sch ¨utt, Divisibilities among nodal curves, Math. Res. Letters25(2018), 1359–1368

    work page 2018

  29. [29]

    Sch ¨utt and T

    M. Sch ¨utt and T. Shioda,Mordell–Weil lattices, Erg. der Math. und ihrer Grenzgebiete, 3. Folge, Band

    work page

  30. [30]

    Shimada, Mordell-Weil groups and automorphism groups of elliptic K3 surfaces, Rev

    I. Shimada, Mordell-Weil groups and automorphism groups of elliptic K3 surfaces, Rev. Mat. Iberoam. 40(2024), 1469–1503

    work page 2024

  31. [31]

    Tate, Algorithm for determining the type of a singular fiber in an elliptic pencil, in:Modular Func- tions of One Variable IV, Lecture Notes in Math.476(A

    J. Tate, Algorithm for determining the type of a singular fiber in an elliptic pencil, in:Modular Func- tions of One Variable IV, Lecture Notes in Math.476(A. Dold and B. Eckmann, eds.), Springer-Verlag, Berlin Heiderberg New York, 1975, 33– 52

    work page 1975

  32. [32]

    Xiao, Galois covers between K3 surfaces, Ann

    G. Xiao, Galois covers between K3 surfaces, Ann. Inst. Fourier (Grenoble)46(1996), 73–88. 26 TOSHIYUKI KATSURA AND MATTHIAS SCH ¨UTT GRADUATESCHOOL OFMATHEMATICALSCIENCES, THEUNIVERSITY OFTOKYO, TOKYO, 153- 8914, JAPAN Email address:tkatsura@g.ecc.u-tokyo.ac.jp INSTITUT F ¨URALGEBRAISCHEGEOMETRIE, LEIBNIZUNIVERSIT ¨ATHANNOVER, WELFENGARTEN 1, 30167 HANNOV...

    work page 1996