arxiv: 2604.04682 · v2 · submitted 2026-04-06 · 🧮 math.AG · math.GR· math.GT

Recognition: no theorem link

Gap theorems and achirality for automorphisms of K3 surfaces and Enriques surfaces

Kohei Kikuta , Yuta Takada , Taiki Takatsu

Authors on Pith no claims yet

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

classification 🧮 math.AG math.GRmath.GT

keywords gap theoremsentropy normsK3 surfacesEnriques surfacesautomorphismsachiralitygenus-one fibrationsirreducible holomorphic symplectic manifolds

0 comments

The pith

Automorphisms of K3 and Enriques surfaces obey gap theorems on entropy norms, with achirality decided by genus-one fibrations.

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

The paper proves that entropy norms of automorphisms on K3 surfaces, Enriques surfaces, and irreducible holomorphic symplectic manifolds skip entire intervals of possible values, starting from zero. This matters because entropy norms measure the exponential growth rate of iterates under the automorphism, so the gaps impose sharp restrictions on which dynamical complexities can actually occur. The work further shows that whether such an automorphism is achiral can be read off from its interaction with genus-one fibrations on the surface. A reader cares because these constraints simplify the classification of finite-order and infinite-order automorphisms on well-studied classes of algebraic surfaces.

Core claim

We prove gap theorems for entropy norms on automorphism groups of K3 surfaces, Enriques surfaces, and irreducible holomorphic symplectic manifolds. We also study the achirality of automorphisms of K3 surfaces and Enriques surfaces in terms of genus-one fibrations.

What carries the argument

The entropy norm defined on the automorphism group together with the criterion that achirality is detected by the existence or preservation of a genus-one fibration.

If this is right

Only finitely many distinct entropy values are possible below any given bound.
Low-entropy automorphisms are forced into specific conjugacy classes or finite-order behavior.
Achiral automorphisms must either preserve a genus-one fibration or reverse its orientation in a controlled way.
The same gap statements extend directly to the automorphism groups of irreducible holomorphic symplectic manifolds of higher dimension.

Where Pith is reading between the lines

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

The gaps may allow an algorithmic enumeration of all automorphisms with entropy less than any fixed number on a given surface.
These results could connect to questions about the density of periodic points or the existence of invariant measures with specific entropy.
One could test the achirality criterion by checking whether a given automorphism preserves the class of a fiber in the Picard lattice.

Load-bearing premise

The entropy norm is well-defined on these automorphism groups and the standard geometric properties of K3, Enriques, and irreducible holomorphic symplectic manifolds suffice to produce the gaps and fibration criteria.

What would settle it

An explicit automorphism of a K3 surface whose entropy norm lies strictly between zero and the smallest positive value permitted by the gap theorem would falsify the result.

read the original abstract

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.

Desk Editor's Note private letter to a colleague

The paper proves entropy gap theorems for automorphisms of K3, Enriques, and IHS manifolds plus achirality criteria via fibrations, all resting on classical lattice facts.

read the letter

The main takeaway is that non-trivial automorphisms of these surfaces have entropy bounded away from zero by a positive constant coming from the smallest Salem number greater than 1, and that achirality can be read off from the existence of an invariant genus-one fibration. The proofs are short and direct once the setup is fixed. They define the entropy norm via the spectral radius of the induced action on the lattice (H^2 for K3/Enriques, BBF lattice for IHS), note that automorphisms preserve the Hodge structure and positive cone, and then invoke the known discreteness of Salem numbers arising as characteristic polynomials of such isometries. The achirality statements reduce to standard results on elliptic and quasi-elliptic fibrations. This is useful bookkeeping rather than a deep new technique. The arguments look clean and do not introduce circular steps or unverified lattice claims. The extension to IHS manifolds follows the same pattern without extra difficulties. One minor soft spot is that the gap constant is not shown to be sharp and the paper gives few concrete numerical examples of automorphisms achieving or approaching the bound. That is not a flaw in the logic, just a place where further computation could be added later. The work is aimed at people already comfortable with K3 lattice theory and surface dynamics. A reader who knows the classical facts on Salem numbers and fibrations will see the value immediately and can check the proofs in an afternoon. It is a solid, incremental contribution that deserves a serious referee rather than a desk reject. I would send it out for review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves gap theorems for entropy norms on the automorphism groups of K3 surfaces, Enriques surfaces, and irreducible holomorphic symplectic manifolds. It additionally studies the achirality of automorphisms of K3 and Enriques surfaces by relating them to the existence of invariant genus-one fibrations.

Significance. If the central arguments hold, the gap theorems impose useful lower bounds on the entropy of non-identity automorphisms, leveraging the discreteness of Salem numbers arising from isometries of the relevant lattices (K3 lattice, Enriques lattice, or BBF lattice) that preserve the positive cone and Hodge structure. The achirality results provide geometric criteria via fibrations, building directly on classical results about elliptic and quasi-elliptic fibrations. The work strengthens the lattice-theoretic toolkit for studying dynamics on these surfaces without introducing new ad-hoc constructions.

minor comments (3)

The abstract states the main results but does not indicate the precise form of the gap (e.g., whether the lower bound depends only on the surface type or also on the Picard rank). Adding one sentence clarifying this would improve readability.
In the discussion of entropy norms, the manuscript should explicitly recall the definition via the spectral radius on H^2 (or the BBF form) and confirm that the norm is independent of the choice of Kähler class, even if this is standard.
The section on achirality criteria would benefit from a short table or list summarizing the fibration conditions for K3 versus Enriques surfaces, to make the comparison immediate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of the manuscript, as well as for recommending minor revision. No specific major comments were listed in the report. We will prepare a revised version incorporating any minor improvements for clarity, notation, or typographical corrections as appropriate.

Circularity Check

0 steps flagged

No significant circularity; claims rest on classical lattice and fibration results

full rationale

The derivation chain begins from the spectral radius definition of entropy norm on Aut(X) acting on H^2(X,Z) or the BBF lattice, then invokes the discreteness of Salem numbers realized by isometries preserving the positive cone (a standard fact for K3/Enriques lattices from Nikulin and others). Gap statements and achirality criteria then follow from existence of invariant genus-one fibrations, handled by classical results on elliptic/quasi-elliptic fibrations. No equations reduce by construction to inputs, no fitted parameters are relabeled as predictions, and no load-bearing self-citations or uniqueness theorems imported from the authors' prior work appear; the argument is self-contained against external, independently verifiable lattice-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new postulated entities.

pith-pipeline@v0.9.0 · 5336 in / 1106 out tokens · 63895 ms · 2026-05-10T19:03:18.284001+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

40 extracted references · 3 canonical work pages · 2 internal anchors

[1]

Bestvina, K

M. Bestvina, K. Bromberg, and K. Fujiwara. Stable commutator length on mapping class groups . Ann. Inst. Fourier , 66(3):871--898, 2016

2016
[2]

Bestvina and K

M. Bestvina and K. Fujiwara. Bounded cohomology of subgroups of mapping class groups . Geom. Topol. , 6:69--89, 2002

2002
[3]

M. R. Bridson and A. Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999

1999
[4]

Brandenbursky and A

M. Brandenbursky and A. Kabiraj. On the entropy norm on the group of diffeomorphisms of closed oriented surface . J. Topol. Anal. , 12(1):105--111, 2020

2020
[5]

Brandenbursky and M

M. Brandenbursky and M. Marcinkowski. Entropy and quasimorphisms. J. Mod. Dyn. , 15:143--163, 2019

2019
[6]

Brandhorst and G

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

work page arXiv 2023
[7]

B. H. Bowditch. Relatively hyperbolic groups. Southampton Preprint , 1999

1999
[8]

B. H. Bowditch. Tight geodesics in the curve complex. Invent. Math. , 171(2):281--300, 2008

2008
[9]

Brandenbursky and E

M. Brandenbursky and E. Shelukhin. On the entropy norm on Ham( S^2 ) . Ann. Math. Qu \'e . , 45(1):231--237, 2021

2021
[10]

Calegari

D. Calegari. Length and stable length. Geom. Funct. Anal. , 18(1):50--76, 2008

2008
[11]

Calegari

D. Calegari. scl . MSJ Memoirs vol. 20. Mathematical Society of Japan, Tokyo, 2009

2009
[12]

Cossec, I

F. Cossec, I. Dolgachev, and C. Liedtke. Enriques surfaces. I . Springer, Singapore, second edition, 2025. With an appendix by S. Kond\=o

2025
[13]

Calegari and K

D. Calegari and K. Fujiwara. Stable commutator length in word-hyperbolic groups . Groups Geom. Dyn. , 4(1):59--90, 2010

2010
[14]

Dahmani, V

F. Dahmani, V. Guirardel, and D. Osin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces . Mem. Amer. Math. Soc. , 245(1156), 2017

2017
[15]

Dolgachev and S

I. Dolgachev and S. Kond\=o. Enriques surfaces II . Springer, Singapore, 2025

2025
[16]

Fathi, F

A. Fathi, F. Laudenbach, and V. Po \'e naru. Thurston's Work on Surfaces , volume 48 of Mathematical Notes . Princeton University Press, Princeton and Oxford, 2012. Translated by Djun M. Kim and Dan Margalit

2012
[17]

Farb and D

B. Farb and D. Margalit. A Primer on Mapping Class Groups , volume 49 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 2012

2012
[18]

Fujiwara

K. Fujiwara. The second bounded cohomology of a group acting on a Gromov-hyperbolic space . Proc. London Math. Soc. , 76(3):70--94, 1998

1998
[19]

M. Gromov. Hyperbolic groups. In Essays in group theory , volume 8 of Math. Sci. Res. Inst. Publ. , pages 75--263. Springer, New York, 1987

1987
[20]

M. Gromov. On the entropy of holomorphic maps. Enseign. Math. (2) , 49(3-4):217--235, 2003

2003
[21]

Huybrechts

D. Huybrechts. Compact hyperk\"ahler manifolds . In Calabi- Y au manifolds and related geometries ( N ordfjordeid, 2001) , Universitext, pages 161--225. Springer, Berlin, 2003

2001
[22]

Huybrechts

D. Huybrechts. Lectures on K 3 surfaces , volume 158 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2016

2016
[23]

Relative bounded cohomology on groups with contracting elements

Z. Huangfu and R. Wan. Relative bounded cohomology on groups with contracting elements . preprint arXiv:2409.20348, 2024

work page internal anchor Pith review Pith/arXiv arXiv 2024
[24]

N. V. Ivanov. Stretching factors of pseudo-Anosov homeomorphisms . J. Sov. Math. , 52:2819--2822, 1990

1990
[25]

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

work page internal anchor Pith review arXiv 2024
[26]

S. L. Kleiman. The P icard scheme. In Fundamental algebraic geometry , volume 123 of Math. Surveys Monogr. , pages 235--321. Amer. Math. Soc., Providence, RI, 2005

2005
[27]

S. Kond\=o. K3 surfaces , volume 32 of EMS Tracts in Mathematics . EMS Publishing House, Berlin, 2020

2020
[28]

Kotschick

D. Kotschick. Quasi-homomorphisms and stable lengths in mapping class groups. Proc. Amer. Math. Soc. , 132:3167--3175, 2004

2004
[29]

J. Keum, K. Oguiso, and D. Q. Zhang. Conjecture of T its type for complex varieties and theorem of L ie- K olchin type for a cone. Math. Res. Lett. , 16(1):133--148, 2009

2009
[30]

Masur and Y

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

1999
[31]

D. R. Morrison. On K3 \ surfaces with large P icard number. Invent. Math. , 75(1):105--121, 1984

1984
[32]

K. Oguiso. A remark on dynamical degrees of automorphisms of hyperK\"ahler manifolds . Manuscripta Math. , 130:101--111, 2009

2009
[33]

D. Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems . Mem. Amer. Math. Soc. , 179(843), 2006

2006
[34]

D. Osin. Acylindrically hyperbolic groups . Trans. Amer. Math. Soc. , 368(2):851--888, 2016

2016
[35]

D. Osin. Groups acting acylindrically on hyperbolic spaces . Proc. ICM 2018 , II:919--939, 2018

2018
[36]

J. G. Ratcliffe. Foundations of Hyperbolic Manifolds . Graduate Texts in Mathematics. Springer Nature, 2006

2006
[37]

J.-P. Serre. Galois cohomology . Springer Monographs in Mathematics. Springer-Verlag, Berlin, english edition, 2002. Translated from the French by Patrick Ion and revised by the author

2002
[38]

J. H. Silverman. The arithmetic of elliptic curves , volume 106 of Graduate Texts in Mathematics . Springer, Dordrecht, second edition, 2009

2009
[39]

T. Takatsu. Blown-up boundaries associated with ample cones of K3 surfaces . Nagoya Math. J. , 260:796--825, 2025

2025
[40]

Y. Yomdin. Volume growth and entropy. Israel J. Math. , 57(3):285--300, 1987

1987