Geometrical finiteness for automorphism groups via cone conjecture

Kohei Kikuta

arxiv: 2406.18438 · v3 · submitted 2024-06-26 · 🧮 math.AG · math.GR· math.GT

Geometrical finiteness for automorphism groups via cone conjecture

Kohei Kikuta This is my paper

Pith reviewed 2026-05-23 23:42 UTC · model grok-4.3

classification 🧮 math.AG math.GRmath.GT

keywords K3 surfacesautomorphism groupsgeometrical finitenesscone conjecturehyperbolic spacesEnriques surfacesCoble surfacesirreducible symplectic varieties

0 comments

The pith

The cone conjecture implies geometrical finiteness for automorphism group actions on hyperbolic spaces of K3 surfaces and related varieties.

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 natural isometric actions of birational automorphism groups on hyperbolic spaces are geometrically finite for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties, provided the cone conjecture applies. This finiteness directly yields that the groups are relatively hyperbolic and CAT(0). For K3 surfaces the result also identifies Kleinian lattices with the presence of (-2)-curves and convex-cocompact Kleinian groups with genus-one fibrations. The argument therefore supplies a uniform geometric description of the dynamics of these automorphism groups.

Core claim

The natural isometric actions of the (birational) automorphism groups on the hyperbolic spaces for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties are geometrically finite when derived from the cone conjecture.

What carries the argument

The cone conjecture, which controls the ample cone structure and thereby produces geometrical finiteness of the group actions on the associated hyperbolic spaces.

If this is right

The groups are relatively hyperbolic.
The groups satisfy the CAT(0) inequality.
For K3 surfaces, Kleinian lattices correspond to the existence of (-2)-curves.
For K3 surfaces, convex-cocompact Kleinian groups correspond to genus-one fibrations.

Where Pith is reading between the lines

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

The same cone-conjecture route may apply to other classes of varieties once their cone conjecture is verified.
Geometrical finiteness supplies a way to bound the number of conjugacy classes of finite subgroups inside these automorphism groups.
The correspondence for K3 surfaces suggests a dictionary between algebraic fibrations and dynamical properties of the group action that could be tested on explicit examples.

Load-bearing premise

The cone conjecture can be invoked for these varieties without creating circularity in the finiteness argument.

What would settle it

An explicit K3 surface satisfying the cone conjecture whose automorphism group action on the hyperbolic space is not geometrically finite.

read the original abstract

This paper aims to establish the geometrical finiteness for the natural isometric actions of (birational) automorphism groups on the hyperbolic spaces for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties. As an application, it follows that such groups are non-positively curved: relatively hyperbolic and ${\rm CAT(0)}$. In the case of K3 surfaces, we clarify the relationship between Kleinian lattices and $(-2)$-curves, and between convex-cocompact Kleinian groups and genus-one fibrations.

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 geometrical finiteness results are conditional on the open cone conjecture for these varieties.

read the letter

The central point here is that the paper derives geometrical finiteness for the natural actions of birational automorphism groups on the associated hyperbolic spaces for K3, Enriques, Coble surfaces and irreducible symplectic varieties, but only by assuming the cone conjecture. From there it gets relative hyperbolicity and CAT(0) structure for the groups, plus some clarifications for K3 surfaces on Kleinian lattices and genus-one fibrations. That organizes things under one geometric framework and makes the links to geometric group theory explicit, which is the main new piece. The K3 clarifications look like they could be handy for readers who already track Kleinian groups in this setting. The paper does a reasonable job of spelling out how the conjecture feeds into the finiteness property without claiming to prove the conjecture itself. The soft spot is exactly the conditionality. The cone conjecture remains open for most of these varieties and is known only in very special low-rank cases, so the finiteness statements and the downstream hyperbolicity claims hold only when the conjecture applies to the given variety. No independent proof of the conjecture appears, and the applications inherit that hypothesis directly. If the derivations are careful about the cases where the conjecture is known versus where it is assumed, that is fine, but the overall strength of the result tracks the status of the conjecture. This is for readers already working on automorphism groups of these varieties or on the interface with geometric group theory. Someone following the cone conjecture literature would get the most from it. I would send it to peer review. The topic connects two areas cleanly enough that referees should check the details, even with the conditional framing.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to establish geometrical finiteness for the natural isometric actions of (birational) automorphism groups on the hyperbolic spaces associated to K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties, by invoking the cone conjecture. Applications include that these groups are relatively hyperbolic and CAT(0); for K3 surfaces the paper also clarifies relations between Kleinian lattices and (-2)-curves as well as between convex-cocompact Kleinian groups and genus-one fibrations.

Significance. Conditional on the cone conjecture, the results would link the effective movable cone in algebraic geometry to the coarse geometry of automorphism groups, supplying new families of groups with relative hyperbolicity and CAT(0) properties. The K3-specific clarifications on Kleinian lattices and fibrations constitute a modest but concrete contribution.

major comments (2)

[Introduction / Main Theorems] The central theorems (stated in the introduction and proved in the body) derive geometrical finiteness directly from the cone conjecture; because the conjecture remains open for the general classes of varieties treated here, every subsequent claim (relative hyperbolicity, CAT(0) structure) is likewise conditional. The manuscript must state the hypothesis explicitly in the theorem statements themselves rather than only in the title or abstract.
[Applications (relative hyperbolicity / CAT(0) sections)] No independent verification or new evidence for the cone conjecture is supplied; the geometrical-finiteness statement therefore reduces to an implication whose validity rests entirely on the (still open) conjecture for each listed class. This conditional character should be reiterated when the applications to relative hyperbolicity and CAT(0) are stated.

minor comments (1)

[Abstract] The abstract does not mention the cone-conjecture hypothesis; adding a single clause would make the scope of the claims immediately clear to readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We agree that the conditional dependence on the cone conjecture should be stated explicitly in the theorem statements and reiterated in the applications sections, and we will revise the manuscript accordingly.

read point-by-point responses

Referee: [Introduction / Main Theorems] The central theorems (stated in the introduction and proved in the body) derive geometrical finiteness directly from the cone conjecture; because the conjecture remains open for the general classes of varieties treated here, every subsequent claim (relative hyperbolicity, CAT(0) structure) is likewise conditional. The manuscript must state the hypothesis explicitly in the theorem statements themselves rather than only in the title or abstract.

Authors: We agree with this point. The main theorems will be restated to include the explicit hypothesis that the cone conjecture holds for the relevant class of varieties. These revisions will appear both in the introduction and in the theorem statements in the body of the paper. revision: yes
Referee: [Applications (relative hyperbolicity / CAT(0) sections)] No independent verification or new evidence for the cone conjecture is supplied; the geometrical-finiteness statement therefore reduces to an implication whose validity rests entirely on the (still open) conjecture for each listed class. This conditional character should be reiterated when the applications to relative hyperbolicity and CAT(0) are stated.

Authors: We agree that the conditional nature of the results should be reiterated in the applications sections. We will add explicit statements in the sections discussing relative hyperbolicity and CAT(0) properties to emphasize that these conclusions hold conditionally on the cone conjecture. revision: yes

Circularity Check

0 steps flagged

No circularity detected; result is conditional on external open conjecture

full rationale

The paper derives geometrical finiteness of Aut/Bir actions on hyperbolic spaces by assuming the cone conjecture (that the effective movable cone is rational polyhedral modulo the group). This is an external, open conjecture (Morrison-Kawamata) not proven or reduced within the manuscript, and the provided text gives no evidence of self-citation chains, self-definitional steps, or fitted inputs renamed as predictions. The applications to relative hyperbolicity and CAT(0) structures are likewise conditional but do not collapse by construction to the paper's own inputs. The derivation chain is therefore self-contained as a conditional implication rather than tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the cone conjecture as the key input for proving geometrical finiteness; no free parameters or invented entities are visible in the abstract.

axioms (1)

domain assumption Cone conjecture for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties
Title states the proof proceeds via the cone conjecture; this is the load-bearing background assumption.

pith-pipeline@v0.9.0 · 5607 in / 1225 out tokens · 25129 ms · 2026-05-23T23:42:23.087977+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A ... the representation GX -> Isom(H^{rho_X-1}) is geometrically finite ... via the cone conjecture (rational polyhedral fundamental domain for the action on the effective nef cone)

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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On K3 surfaces with hyperbolic automorphism groups
math.AG 2025-07 unverdicted novelty 6.0

Finiteness of Néron-Severi lattices for K3 surfaces with non-elementary hyperbolic automorphism groups, with explicit descriptions, when Picard number ≥6.
Gap theorems and achirality for automorphisms of K3 surfaces and Enriques surfaces
math.AG 2026-04 unverdicted novelty 4.0

Gap theorems are proved for entropy norms of automorphisms on K3, Enriques, and IHS manifolds, with achirality characterized using genus-one fibrations.