pith. sign in

arxiv: 2212.11411 · v5 · pith:GGTAYL4Wnew · submitted 2022-12-21 · 🧮 math.AG · math.CV· math.DG

Non-hyperbolicity of holomorphic symplectic varieties

Ljudmila Kamenova , Christian Lehn This is my paper

Pith reviewed 2026-05-24 09:51 UTC · model grok-4.3

classification 🧮 math.AG math.CVmath.DG
keywords primitive symplectic varietiesLagrangian fibrationKobayashi pseudometricnon-hyperbolicityrational SYZ conjecturebirational contractionsergodicitycycle spaces
0
0 comments X

The pith

A projective primitive symplectic variety with a Lagrangian fibration has vanishing Kobayashi pseudometric.

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

The paper establishes non-hyperbolicity for primitive symplectic varieties with second Betti number at least 5, provided they satisfy the rational SYZ conjecture. When the Betti number reaches at least 7, the Kobayashi pseudometric vanishes identically on the variety. This covers every currently known example of an irreducible symplectic manifold and completes earlier results on those examples. The central advance is the proof that the pseudometric vanishes whenever a Lagrangian fibration is present.

Core claim

We prove non-hyperbolicity of primitive symplectic varieties with b2 ≥ 5 that satisfy the rational SYZ conjecture. If in addition b2 ≥ 7, we establish that the Kobayashi pseudometric vanishes identically. This in particular applies to all currently known examples of irreducible symplectic manifolds and thereby completes the results by Kamenova--Lu--Verbitsky. The key new contribution is that a projective primitive symplectic variety with a Lagrangian fibration has vanishing Kobayashi pseudometric. The proof uses ergodicity, birational contractions, and cycle spaces.

What carries the argument

Lagrangian fibration on a projective primitive symplectic variety (whose existence follows from the rational SYZ conjecture), analyzed via ergodicity of the monodromy action, birational contractions, and cycle spaces.

If this is right

  • The Kobayashi pseudometric vanishes identically on all such varieties with b2 at least 7.
  • Non-hyperbolicity holds for all such varieties with b2 at least 5.
  • The result applies to every currently known irreducible symplectic manifold.
  • These statements complete the earlier results obtained for the same examples.

Where Pith is reading between the lines

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

  • If the rational SYZ conjecture turns out to hold for a wider class of varieties, the vanishing result would extend accordingly.
  • The cycle-space techniques used here might apply directly to pseudometric questions on other fibered varieties.
  • The vanishing conclusion indicates that these varieties cannot carry a hyperbolic metric compatible with their symplectic structure.

Load-bearing premise

The varieties satisfy the rational SYZ conjecture, which guarantees the existence of a Lagrangian fibration.

What would settle it

A concrete counterexample would be any projective primitive symplectic variety with b2 at least 7 that satisfies the rational SYZ conjecture yet has a non-vanishing Kobayashi pseudometric.

read the original abstract

We prove non-hyperbolicity of primitive symplectic varieties with $b_2 \geq 5$ that satisfy the rational SYZ conjecture. If in addition $b_2 \geq 7$, we establish that the Kobayashi pseudometric vanishes identically. This in particular applies to all currently known examples of irreducible symplectic manifolds and thereby completes the results by Kamenova--Lu--Verbitsky. The key new contribution is that a projective primitive symplectic variety with a Lagrangian fibration has vanishing Kobayashi pseudometric. The proof uses ergodicity, birational contractions, and cycle spaces.

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 proves non-hyperbolicity of projective primitive symplectic varieties with b_2 ≥ 5 that satisfy the rational SYZ conjecture. For b_2 ≥ 7 it further shows that the Kobayashi pseudometric vanishes identically. This applies in particular to all currently known examples of irreducible symplectic manifolds, completing earlier results of Kamenova–Lu–Verbitsky. The key new statement is that any projective primitive symplectic variety admitting a Lagrangian fibration has vanishing Kobayashi pseudometric; the argument relies on ergodicity, birational contractions, and cycle spaces.

Significance. If the proofs hold, the work supplies a conditional but broadly applicable advance on hyperbolicity questions for holomorphic symplectic varieties. It removes the remaining cases among known irreducible symplectic manifolds and introduces a new technique linking Lagrangian fibrations to the vanishing of the Kobayashi pseudometric via ergodic and birational methods. The explicit dependence on the rational SYZ conjecture is correctly flagged and does not constitute an internal inconsistency.

major comments (2)
  1. [Proof of the key lemma on Lagrangian fibrations] The central new claim (vanishing of the Kobayashi pseudometric on a projective primitive symplectic variety with a Lagrangian fibration) is stated to follow from ergodicity, birational contractions, and cycle spaces, yet the manuscript provides no explicit verification that these tools close the argument without additional hidden assumptions on the cycle space or the contraction map.
  2. [Theorem 1.1 and surrounding discussion] The non-hyperbolicity statement for b_2 ≥ 5 is conditional on the rational SYZ conjecture guaranteeing the existence of a Lagrangian fibration; while this is disclosed, the paper does not supply a quantitative discussion of how much of the result survives if only a weaker form of SYZ (e.g., existence of a fibration after a birational modification) holds.
minor comments (2)
  1. [§2] Notation for the Kobayashi pseudometric and the cycle space should be introduced uniformly in the preliminaries rather than piecemeal in the proofs.
  2. [Abstract and §1] The abstract and introduction should explicitly list the known examples to which the result applies, rather than referring only to “all currently known examples.”

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive overall assessment, and constructive major comments. We address each point below and will incorporate clarifications into a revised manuscript.

read point-by-point responses

  1. Referee: [Proof of the key lemma on Lagrangian fibrations] The central new claim (vanishing of the Kobayashi pseudometric on a projective primitive symplectic variety with a Lagrangian fibration) is stated to follow from ergodicity, birational contractions, and cycle spaces, yet the manuscript provides no explicit verification that these tools close the argument without additional hidden assumptions on the cycle space or the contraction map.

    Authors: We thank the referee for this observation. The proof in Section 3 proceeds by combining three ingredients: (i) ergodicity of the monodromy action on the period domain (Theorem 2.5), which implies that any two Lagrangian fibrations are deformation-equivalent; (ii) the birational contraction to the base of the fibration, obtained from the properness of the cycle space (Lemma 3.3 and Proposition 3.1); and (iii) the fact that the Kobayashi pseudometric vanishes identically on the fibers (which are abelian varieties) and is pulled back from the base. No further assumptions on the cycle space or contraction are used beyond the standard Hodge-theoretic properties of primitive symplectic varieties. To address the concern, we will add a new subsection 3.4 that explicitly lists these logical steps and verifies the absence of hidden hypotheses. revision: yes

  2. Referee: [Theorem 1.1 and surrounding discussion] The non-hyperbolicity statement for b_2 ≥ 5 is conditional on the rational SYZ conjecture guaranteeing the existence of a Lagrangian fibration; while this is disclosed, the paper does not supply a quantitative discussion of how much of the result survives if only a weaker form of SYZ (e.g., existence of a fibration after a birational modification) holds.

    Authors: The conditional nature of the result on the rational SYZ conjecture is already stated in Theorem 1.1 and the introduction. For the non-hyperbolicity statement (b_2 ≥ 5), a weaker form of SYZ that produces a Lagrangian fibration only after a birational modification would still suffice, because non-hyperbolicity is a birational invariant (the Kobayashi pseudometric is unchanged under birational maps between projective primitive symplectic varieties). The stronger vanishing statement for b_2 ≥ 7 relies on the fibration existing on the given variety, so the birational case would require a short additional argument. We will add a brief paragraph in the introduction quantifying these distinctions. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation chain rests on the external rational SYZ conjecture (explicitly invoked as an assumption to guarantee Lagrangian fibrations) together with standard tools (ergodicity, birational contractions, cycle spaces) whose independence from the target result is not questioned by the paper's own text. The key new statement—that a projective primitive symplectic variety with a Lagrangian fibration has vanishing Kobayashi pseudometric—is presented as proved rather than fitted or redefined from its inputs. Self-citation to prior Kamenova–Lu–Verbitsky work is present but not load-bearing for the new contribution; the overall argument remains self-contained against external benchmarks and does not reduce any claimed prediction or first-principles result to a tautology or internal fit.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review based on abstract only; limited visibility into full set of background results. The rational SYZ conjecture is explicitly assumed for the main statements.

axioms (1)
  • domain assumption rational SYZ conjecture holds for the varieties under consideration
    Invoked to ensure existence of Lagrangian fibration for the key vanishing result.

pith-pipeline@v0.9.0 · 5620 in / 1103 out tokens · 26295 ms · 2026-05-24T09:51:48.933277+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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.