pith. sign in

arxiv: 2507.13726 · v3 · submitted 2025-07-18 · 🧮 math.AG · math.GR

On K3 surfaces with hyperbolic automorphism groups

Koji Fujiwara , Keiji Oguiso , Xun Yu This is my paper

Pith reviewed 2026-05-19 04:29 UTC · model grok-4.3

classification 🧮 math.AG math.GR MSC 14J28
keywords K3 surfacesNéron-Severi latticeshyperbolic automorphism groupsPicard numbergenus one fibrations
0
0 comments X

The pith

Complex projective K3 surfaces with non-elementary hyperbolic automorphism groups have only finitely many possible Néron-Severi lattices when the Picard number is at least 6.

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

The paper establishes that the Néron-Severi lattices arising from complex projective K3 surfaces whose automorphism groups are non-elementary and hyperbolic form a finite set, together with explicit descriptions of the lattices that occur. The authors work under the hypothesis that the Picard number is at least 6 and demonstrate that this numerical threshold is optimal. Their argument proceeds by examining genus one fibrations on the surfaces and applying recent results on the structure of such hyperbolic groups. A reader would care because the Néron-Severi lattice encodes the algebraic cycles and intersection form on the surface, so finiteness directly restricts the possible geometric and arithmetic features of these highly symmetric K3 surfaces.

Core claim

We show the finiteness of the Néron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number ≥ 6 which is optimal to ensure the finiteness. Our proof of finiteness is based on the study of genus one fibrations on K3 surfaces and recent work of Kikuta and Takatsu.

What carries the argument

Genus one fibrations on K3 surfaces, which control the action of the non-elementary hyperbolic automorphism group on the Néron-Severi lattice.

If this is right

  • Only finitely many Néron-Severi lattices arise for such surfaces once the Picard number reaches 6.
  • Explicit lists or descriptions of the admissible lattices are supplied.
  • The threshold Picard number 6 is sharp: below it the finiteness statement fails.
  • The algebraic cycle data compatible with non-elementary hyperbolic automorphisms is thereby bounded.

Where Pith is reading between the lines

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

  • The finiteness may reduce the moduli problem for K3 surfaces admitting such automorphism groups to a finite check of lattice data.
  • Hyperbolic dynamics on the surface could be studied more concretely once the possible lattices are known.
  • Analogous finiteness questions for other classes of surfaces with large automorphism groups become natural to investigate.

Load-bearing premise

The Picard number must be at least 6 for the set of Néron-Severi lattices to be finite.

What would settle it

Exhibiting infinitely many distinct Néron-Severi lattices realized by complex projective K3 surfaces that carry non-elementary hyperbolic automorphism groups and have Picard number at least 6 would disprove the finiteness statement.

read the original abstract

We show the finiteness of the N\'eron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal to ensure the finiteness. Our proof of finiteness is based on the study of genus one fibrations on K3 surfaces and recent work of Kikuta and Takatsu.

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 manuscript claims to establish the finiteness of the Néron-Severi lattices for complex projective K3 surfaces admitting non-elementary hyperbolic automorphism groups, under the assumption that the Picard number ρ is at least 6. It provides explicit descriptions of these lattices and bases the proof on the analysis of genus-one fibrations together with results from Kikuta and Takatsu. The bound ρ ≥ 6 is asserted to be optimal for the finiteness property.

Significance. If the central claim is correct, the result offers an explicit classification of possible Picard lattices in this setting, which is valuable for the study of automorphism groups of K3 surfaces and their hyperbolic actions. The use of genus-one fibrations provides a concrete method for enumeration, and the optimality statement highlights the sharpness of the bound.

major comments (2)
  1. [§3] §3: The reduction to genus-one fibrations is load-bearing for the finiteness result. The manuscript should explicitly confirm that every complex projective K3 surface with non-elementary hyperbolic automorphism group and ρ ≥ 6 admits a genus-one fibration to which the Kikuta-Takatsu bounds apply, without exceptions that could allow additional lattices.
  2. [§4] §4: In the enumeration of possible lattices, verify that the bounds from the cited work cover all cases arising from the hyperbolic action; any surface whose Mordell-Weil lattice escapes these bounds would invalidate the finiteness claim.
minor comments (2)
  1. The abstract could more clearly state the main theorem number for reference.
  2. [Introduction] Ensure that the optimality of ρ=6 is supported by a reference or construction for the infinite family when ρ=5.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and have revised the manuscript to strengthen the explicitness of the arguments where appropriate.

read point-by-point responses

  1. Referee: [§3] §3: The reduction to genus-one fibrations is load-bearing for the finiteness result. The manuscript should explicitly confirm that every complex projective K3 surface with non-elementary hyperbolic automorphism group and ρ ≥ 6 admits a genus-one fibration to which the Kikuta-Takatsu bounds apply, without exceptions that could allow additional lattices.

    Authors: We agree that making this reduction fully explicit strengthens the presentation. The argument in §3 proceeds by showing that a non-elementary hyperbolic automorphism group on a K3 surface with ρ ≥ 6 forces the existence of a genus-one fibration (via the hyperbolic lattice action and the classification of elliptic fibrations on K3 surfaces). In the revised manuscript we have inserted a dedicated paragraph immediately following the main reduction, stating that every such surface admits at least one genus-one fibration whose Mordell–Weil lattice and singular fibers fall within the hypotheses of the Kikuta–Takatsu bounds, with no exceptional configurations that would permit additional Néron–Severi lattices. revision: yes

  2. Referee: [§4] §4: In the enumeration of possible lattices, verify that the bounds from the cited work cover all cases arising from the hyperbolic action; any surface whose Mordell-Weil lattice escapes these bounds would invalidate the finiteness claim.

    Authors: We have performed the requested verification. The hyperbolic action constrains both the rank and the discriminant form of the Mordell–Weil lattice in a manner that keeps every arising lattice inside the finite list enumerated by Kikuta and Takatsu. In the revised §4 we have added a short verification subsection that tabulates the possible Mordell–Weil contributions compatible with the hyperbolic automorphism and confirms that none of them exceed the cited bounds. Consequently the finiteness claim remains intact. revision: yes

Circularity Check

0 steps flagged

No circularity: finiteness derived from external Kikuta-Takatsu results on genus-one fibrations plus standard K3 lattice theory.

full rationale

The paper's central finiteness statement for Néron-Severi lattices when ρ ≥ 6 rests on a reduction to genus-one fibrations whose properties are controlled by the cited external work of Kikuta and Takatsu together with classical facts about K3 surfaces (e.g., the hyperbolic automorphism group acting on the Néron-Severi lattice). No step equates a derived quantity to a fitted parameter defined inside the paper, renames an input as a prediction, or loads the argument on a self-citation whose content is itself unverified. The optimality claim for ρ = 6 is asserted but not derived from an internal fit; the argument remains self-contained against external benchmarks and does not reduce by construction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard facts about K3 surfaces, their Néron-Severi lattices, and the cited work of Kikuta and Takatsu; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Standard properties of complex projective K3 surfaces and their Néron-Severi lattices
    Invoked throughout the statement and proof strategy in the abstract.
  • domain assumption Results of Kikuta and Takatsu on genus one fibrations
    Explicitly used as the basis for the finiteness proof.

pith-pipeline@v0.9.0 · 5584 in / 1279 out tokens · 54277 ms · 2026-05-19T04:29:40.543186+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

44 extracted references · 44 canonical work pages · 2 internal anchors

  1. [1]

    Bestvina, K

    M. Bestvina, K. Bromberg, K. Fujiwara, Constructing group actions on quasi-trees and applications to mapping class groups , Publ. Math. Inst. Hautes \' E tudes Sci. 122 (2015), 1--64

    work page 2015

  2. [2]

    Birkhoff, Linear transformations with invariant cones , Amer

    G. Birkhoff, Linear transformations with invariant cones , Amer. Math. Month. 74 (1967) 274--276

    work page 1967

  3. [3]

    Bosma, J

    W. Bosma, J. Cannon, C. Playoust, The Magma algebra system I: The user language , J. Symb. Comp. 24 (1997), 235-265; home page for Magma version 2.23-1 (2017) at http://magma.maths.usyd.edu.au

    work page 1997

  4. [4]

    B. H. Bowditch, Geometrical finiteness for hyperbolic groups , J. Funct. Anal. 113 (1993) 245--317

    work page 1993

  5. [5]

    B. H. Bowditch, Relatively hyperbolic groups , Internat. J. Algebra Comput. 22 (2012), no. 3, 1250016, 66 pp

    work page 2012

  6. [6]

    Brandhorst, G

    S. Brandhorst, G. Mezzedimi, Borcherds lattices and K3 surfaces of zero entropy , arXiv:2211.09600

    work page arXiv

  7. [7]

    Bridson, A, Haefliger, Metric spaces of non-positive curvature , Grundlehren der mathematischen Wissenschaften, 319

    M. Bridson, A, Haefliger, Metric spaces of non-positive curvature , Grundlehren der mathematischen Wissenschaften, 319 . Springer--Verlag, Berlin, 1999

    work page 1999

  8. [8]

    Cossec, I

    F.R. Cossec, I. Dolgachev, Enriques surfaces. I , Progress in Mathematics 76 Birkh\"auser Boston, Inc., Boston, MA, (1989)

    work page 1989

  9. [9]

    T. C. Dinh, H. Y. Lin, K. Oguiso, D. Q. Zhang, Zero entropy automorphisms of compact Kähler manifolds and dynamical filtrations , Geometric and Functional Analysis, 32 (2022), 568-594

    work page 2022

  10. [10]

    Drutu, M

    C. Drutu, M. Sapir, Tree-graded spaces and asymptotic cones of groups , With an appendix by D. Osin and M. Sapir. Topology 44 (2005) 959--1058

    work page 2005

  11. [11]

    Fujiki, On automorphism groups of compact K\"ahler manifolds , Invent

    A. Fujiki, On automorphism groups of compact K\"ahler manifolds , Invent. Math. 44 (1978) 225--258

    work page 1978

  12. [12]

    On K3 surfaces with hyperbolic automorphism groups

    K. Fujiwara, K. Oguiso, X. Yu, On K3 surfaces with hyperbolic automorphism groups , arXiv:2507.13726v1

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Galluzzi, G

    F. Galluzzi, G. Lombardo, C. Peters, Automorphs of indefinite binary quadratic forms and K3 surfaces with Picard number 2 , Rend. Semin. Mat. Univ. Politec. Torino, 68 (2010) 57–77

    work page 2010

  14. [14]

    Gromov, Hyperbolic groups , Math

    M. Gromov, Hyperbolic groups , Math. Sci. Res. Inst. Publ., 8 Springer, 1987, 75-263

    work page 1987

  15. [15]

    G. C. Hruska, Relative hyperbolicity and relative quasiconvexity for countable groups , Algebr. Geom. Topol. 10 (2010), no. 3, 1807--1856

    work page 2010

  16. [16]

    G. C. Hruska, B. Kleiner, Hadamard spaces with isolated flats , Geom. Topol. 9 (2005), 1501--1538

    work page 2005

  17. [17]

    Kapovich, Kleinian groups in higher dimensions , Progr

    M. Kapovich, Kleinian groups in higher dimensions , Progr. Math., 265 Birkhauser, 2008, 487-564

    work page 2008

  18. [18]

    Keum, A note on elliptic K3 surfaces , Trans

    J. Keum, A note on elliptic K3 surfaces , Trans. Amer. Math. Soc. 352 (2000), no. 5, 2077--2086

    work page 2000

  19. [19]

    Geometrical finiteness for automorphism groups via cone conjecture

    K. Kikuta, Geometrical finiteness for automorphism groups via cone conjecture , arXiv:2406.18438

    work page internal anchor Pith review Pith/arXiv arXiv

  20. [20]

    H. A. Masur, Y. N. Minsky, Geometry of the complex of curves. I. Hyperbolicity , Invent. Math. 138 (1999), no. 1, 103--149

    work page 1999

  21. [21]

    C. T. McMullen, Dynamics on K3 surfaces: Salem numbers and Siegel disks , J. Reine Angew. Math. 545 (2002) 201--233

    work page 2002

  22. [22]

    C. T. McMullen, K3 surfaces, entropy and glue , J. Reine Angew. Math. 658 (2011), 1–25

    work page 2011

  23. [23]

    C. T. McMullen, Salem number/Coxeter group/K3 surface package , doi:10.7910/DVN/29211

    work page doi:10.7910/dvn/29211

  24. [24]

    C. T. McMullen, Automorphisms of projective K3 surfaces with minimum entropy , Invent. Math. 203 (2016), no. 1, 179–215

    work page 2016

  25. [25]

    Mukai, On the moduli space of bundles on K3 surfaces

    S. Mukai, On the moduli space of bundles on K3 surfaces. I. , Vector bundles on algebraic varieties (Bombay, 1984), 341--413, Tata Inst. Fund. Res. Stud. Math. 11 Tata Inst. Fund. Res., Bombay, 1987

    work page 1984

  26. [26]

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

    work page 1980

  27. [27]

    Nikulin, Quotient-groups of groups of automorphisms of hyperbolic forms by subgroups generated by 2-reflections

    V.V. Nikulin, Quotient-groups of groups of automorphisms of hyperbolic forms by subgroups generated by 2-reflections. Algebro-geometric Applications , Current Problems in Mathematics, vol. 18 , Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Informatsii, Moscow, 1981. 3–114. English transl. in: J. Soviet Math. 22 (1983), no. 4, 1401–1475

    work page 1981

  28. [28]

    Oguiso, Tits alternative in hypek\"ahler manifolds , Math

    K. Oguiso, Tits alternative in hypek\"ahler manifolds , Math. Res. Lett. 13 (2006) 307--316

    work page 2006

  29. [29]

    Oguiso, Automorphisms of hyperk\"ahler manifolds in the view of topological entropy , Algebraic geometry, Contemp

    K. Oguiso, Automorphisms of hyperk\"ahler manifolds in the view of topological entropy , Algebraic geometry, Contemp. Math. 422 , (2007) 173--185

    work page 2007

  30. [30]

    Oguiso, Bimeromorphic automorphism groups of non-projective hyperk\"ahler manifolds – a note inspired by C

    K. Oguiso, Bimeromorphic automorphism groups of non-projective hyperk\"ahler manifolds – a note inspired by C. T. McMullen , J. Differential Geom. 78 (2008) 163–191

    work page 2008

  31. [31]

    Oguiso, X

    K. Oguiso, X. Yu, Minimum positive entropy of complex Enriques surface automorphisms , Duke Math. J. 169 (2020), no. 18, 3565–3606

    work page 2020

  32. [32]

    Oguiso, D.-Q

    K. Oguiso, D.-Q. Zhang, Wild automorphisms of projective varieties, the maps which have no invariant proper subsets , Adv. Math. 396 (2022), Paper No. 108173, 25 pp

    work page 2022

  33. [33]

    I. I. Pjateckii-Shapiro, I. R. Shafarevich, Torelli's theorem for algebraic surfaces of type K3 , Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971) 530--572

    work page 1971

  34. [34]

    J. G. Ratcliffe, Foundations of hyperbolic manifolds , Second edition. Graduate Texts in Mathematics 149 . Springer, New York, 2006

    work page 2006

  35. [35]

    Roulleau, An atlas of K3 surfaces with finite automorphism group , epiga:6286 - \'Epijournal de G\'eom\'etrie Alg\'ebrique, 28 novembre (2022) 6

    X. Roulleau, An atlas of K3 surfaces with finite automorphism group , epiga:6286 - \'Epijournal de G\'eom\'etrie Alg\'ebrique, 28 novembre (2022) 6

    work page 2022

  36. [36]

    J. P. Serre, A course in arithmetic , Vol. 7. Springer Science & Business Media, 2012

    work page 2012

  37. [37]

    Sterk, Finiteness results for algebraic K3 surfaces , Math

    H. Sterk, Finiteness results for algebraic K3 surfaces , Math. Z. 189 (1985) 507--513

    work page 1985

  38. [38]

    Takatsu, Blown-up boundaries associated with ample cones of K3 surfaces , arXiv:2312.13831

    T. Takatsu, Blown-up boundaries associated with ample cones of K3 surfaces , arXiv:2312.13831

    work page arXiv

  39. [39]

    The PARI Group, PARI/GP version 2.7.5 , Bordeaux (2015) http://pari.math.u-bordeaux.fr/

    work page 2015

  40. [40]

    https://www.sagemath.org

    The Sage Developers, SageMath, the Sage Mathematics Software System (Version 7.2) , 2016. https://www.sagemath.org

    work page 2016

  41. [41]

    Viehweg, K

    E. Viehweg, K. Zuo, On the isotriviality of families of projective manifolds over curves , J. Algebraic Geom. 10 (2001) 781--799

    work page 2001

  42. [42]

    Vinberg, The two most algebraic K3 surfaces , Math

    E. Vinberg, The two most algebraic K3 surfaces , Math. Ann. 265 (1983), no. 1, 1–21

    work page 1983

  43. [43]

    Wolfram Research, Inc., Mathematica (Version 10.0) , Champaign, IL (2014)

    work page 2014

  44. [44]

    Yu, K3 surface entropy and automorphism groups , J

    X. Yu, K3 surface entropy and automorphism groups , J. Algebraic Geom. 34 (2025) 205–231

    work page 2025