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

Abstract: 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.

• The paper establishes that a positive entropy automorphism is achiral if its entropy norm is zero, while chiral elements maintain a uniform lower bound.
• It employs geometric group theory techniques such as acylindrical actions and hyperbolic space dynamics to rigorously analyze automorphism groups.
• The study provides new rigidity phenomena and explicit examples using lattice-theoretic methods, particularly for K3 and Enriques surfaces.

Gap Theorems and Achirality in Automorphism Groups of K3 and Enriques Surfaces

Introduction and Motivation

The paper "Gap theorems and achirality for automorphisms of K3 surfaces and Enriques surfaces" (2604.04682) establishes foundational connections between group-theoretic invariants—specifically, stable norms such as entropy norms and stable commutator length (scl)—and the dynamics of automorphism groups of algebraic surfaces, focusing on K3 surfaces, Enriques surfaces, and irreducible holomorphic symplectic (IHS) manifolds. Leveraging techniques from geometric group theory—including the theory of relatively and acylindrically hyperbolic groups, actions on hyperbolic spaces, and recent developments about the structure of automorphism groups—the authors obtain new gap theorems and a detailed analysis of achirality phenomena. These results provide group-theoretic and dynamical rigidity phenomena for automorphisms, and clarify the underlying interplay between group actions, algebraic dynamics, and birational geometry.

Main Results: Entropy Norm Gap Theorems

The primary technical innovation is the proof of gap theorems for the entropy norm on the automorphism group $\operatorname{Aut}(X)$ of K3 surfaces, Enriques surfaces, and projective IHS manifolds. The entropy norm $e$ on an automorphism group is defined as the word norm associated with the set of automorphisms with zero entropy. For $g \in \operatorname{Aut}(X)$, the norm $e(g)$ measures the minimal number of dynamically trivial automorphisms required to express $g$.

Theorem A ((2604.04682), Thm 3.19):

• If $X$ is a K3 surface, Enriques surface (over algebraically closed field), or projective IHS manifold, and $g \in \operatorname{Aut}(X)$ is of positive entropy, then $g$ is achiral if and only if $e(g) = 0$.
• There exists a uniform lower bound $\epsilon > 0$ such that $e$0 for any chiral automorphism $e$1 of positive entropy.

The proof synthesizes several core ingredients: the natural geometric finiteness of the automorphism groups (recently established by Kikuta [Kik24] and Takatsu [Tak25]), acylindrical group actions on associated hyperbolic spaces or graphs, and uniform estimates from Epstein-Fujiwara quasimorphisms. The use of these techniques bridges methods from geometric group theory—originally developed for mapping class groups and word-hyperbolic groups—with complex and arithmetic dynamics.

Furthermore, analogous gap theorems are established for the stable commutator length and translation length norms, showing that a positive entropy chiral automorphism is obstructed from being written (stably) as a product of commutators or low translation length elements, respectively.

Achirality in Automorphism Groups: Parabolic Case

A central focus is the detailed study of achirality in automorphism groups, especially for automorphisms of infinite order and zero entropy (i.e., parabolic automorphisms). An element $e$2 is achiral if some power $e$3 is conjugate to $e$4 for some $e$5.

K3 and Enriques Surfaces

• For K3 and Enriques surfaces, infinite order zero entropy automorphisms preserve a genus-one fibration. The paper draws on the structure of genus-one (especially elliptic) fibrations and their Jacobian fibrations to characterize when the automorphism group of the fibration is uniformly achiral.
• The analysis is refined using the Mordell-Weil group, the multisection index of the fibration, and the structure of the associated Jacobian and its automorphisms.

Theorem B ((2604.04682), Thm 4.7, 4.10): For K3 surfaces with elliptic fibrations, three conditions are equivalent: (i) The automorphism group of the fibration surjects to the inversion involution on the Jacobian; (ii) The fibration has multisection index 1 or 2; (iii) There exist elements encoding parabolic achirality in a precise sense. If one holds, the automorphism group is uniformly achiral.

Theorem C ((2604.04682), Thm 4.8): For Enriques surfaces, the automorphism group preserving any genus-one fibration is always uniformly achiral; all parabolic automorphisms are achiral.

The K3 surface case is shown to admit both chiral and achiral parabolic automorphisms, and explicit examples are constructed using lattice-theoretic methods, confirming the necessity of the group-theoretic and arithmetic criteria derived.

Technical Framework

Geometric Group Actions

A fundamental aspect is the identification of the automorphism groups of K3 and Enriques surfaces as geometrically finite Kleinian groups, acting as discrete subgroups of isometries of associated hyperbolic spaces (constructed from cohomological or Néron-Severi data). These actions are often acylindrical, and the groups are relatively hyperbolic. Such structural results import rich rigidity theorems from the theory of hyperbolic groups and mapping class groups.

Tools and Constructions

• Stable commutator length (scl): Used as a secondary norm in the context of group commutators, with equivalent gap theorems established using Epstein-Fujiwara and Bestvina-Bromberg-Fujiwara quasimorphisms.
• Word and translation-length norms: Systematically generalized to entropy-related settings for automorphism groups of complex varieties.
• Achirality: Recast in both group-theoretic and geometric (dynamical) terms, with uniformity characterized via existence of involutive conjugacies.
• Interactions with Moduli: The analysis leverages the finiteness of classes of automorphisms of small entropy and their relations to lattice-theoretic symmetries, Picard groups, and the moduli theory of algebraic surfaces.

Numerical and Structural Sharpness

The gap theorem asserts the existence of a universal positive lower bound for the entropy norm on non-achiral elements, depending only on the underlying surface or manifold. This quantitative rigidity mirrors classical spectral gap phenomena in the context of negative curvature and hyperbolic group actions, but here is realized in the arithmetic and algebraic setting of complex dynamics.

Moreover, the classification of achirality demonstrates fine distinctions depending on the arithmetic of sections, the multisection index, and associated cohomology classes (Weil-Châtelet group), with clear examples constructed to demonstrate the boundaries of the results.

Implications and Future Directions

The synthesis of algebraic geometry, geometric group theory, and dynamics presented has several implications:

• Establishes strong constraints on the possible dynamics in automorphism groups of complex and algebraic surfaces, including explicit group-theoretic obstructions to factorization in terms of dynamically trivial maps.
• Provides a template for generalizing hyperbolic group theory techniques (originally for 3-manifolds, mapping class groups) to higher-dimensional algebraic varieties with rich moduli and automorphism groups.
• The fine analysis of achirality in automorphism groups, and the identification of uniform achirality in the Enriques case, exposes new rigidity and classification phenomena that likely extend to other settings (e.g., automorphisms of hyperkähler or Calabi–Yau varieties).
• The construction of concrete lattice-theoretic examples suggests new avenues for explicit study of automorphism groups in the context of genus-one fibrations, multisection arithmetic, and Mordell-Weil groups.

On a theoretical level, these results deepen understanding of the interface between dynamical and group-theoretic complexity in higher-dimensional algebraic geometry, with natural connections to bounded cohomology, moduli, and arithmetic geometry.

Conclusion

This work rigorously establishes entropy norm gap theorems and a detailed analysis of achirality for automorphism groups of K3 surfaces, Enriques surfaces, and IHS manifolds, extending geometric group theory techniques into the domain of complex algebraic surfaces. The results impose strong quantitative and structural constraints on the dynamics and factorization properties of automorphisms, classified up to achirality and underpinned by a deep interaction between algebraic, geometric, and group-theoretic invariants. Explicit examples and constructions confirm the sharpness and range of applicability, and the framework invites further exploration in both dynamical and algebraic directions.