pith. sign in

arxiv: 2409.09142 · v3 · pith:VLG2IUUNnew · submitted 2024-09-13 · 🧮 math.AG · math.DG

The abundance and SYZ conjectures in families of hyperkahler manifolds

Andrey Soldatenkov , Misha Verbitsky This is my paper

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

classification 🧮 math.AG math.DG
keywords hyperkahler manifoldsSYZ conjecturesemiamplenessTeichmuller spaceglobal Torelli theoremnef line bundlesabundance conjecturedeformation invariance
0
0 comments X

The pith

The SYZ conjecture holds for nef non-big line bundles on hyperkahler manifolds whenever the pair deforms to a semiample case.

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

The paper establishes that a holomorphic line bundle L on a hyperkahler manifold M with first Chern class nef but not big must be semiample, provided the pair (M, L) admits a deformation to a pair where the bundle is already semiample. This is shown by constructing a Teichmüller space that parametrizes such pairs up to isotopy and proving a global Torelli theorem for that space, from which deformation invariance of semiampleness follows directly. A sympathetic reader would care because the result converts the SYZ prediction into a statement about existence of suitable deformations within families, rather than requiring a direct proof for every individual manifold. The approach therefore reduces the conjecture to a question about the structure of the moduli space of pairs.

Core claim

If a pair (M, L) deforms to a pair (M', L') with L' semiample, then L itself is semiample. The proof proceeds by introducing a Teichmüller space parametrizing pairs (M, L) up to isotopy, establishing a global Torelli theorem for this space, and using the theorem to deduce that semiampleness is invariant under deformations.

What carries the argument

The Teichmüller space parametrizing pairs (M, L) up to isotopy, equipped with a global Torelli theorem that identifies the space with a period domain and thereby shows semiampleness is constant on connected components.

If this is right

  • Semiampleness of L is constant on each connected component of the Teichmüller space of pairs.
  • The SYZ conjecture is therefore verified for every pair that belongs to a component containing at least one semiample member.
  • The global Torelli theorem supplies a period map that separates distinct isotopy classes of pairs (M, L).
  • The abundance conjecture for hyperkahler manifolds follows in all cases where the deformation hypothesis can be checked directly.

Where Pith is reading between the lines

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

  • If every nef non-big class on a hyperkahler manifold can be shown independently to lie in a component with a semiample representative, the unconditional SYZ conjecture would follow at once.
  • The same Teichmüller space construction may apply to other moduli problems where one needs to track both the manifold and a line bundle up to isotopy.
  • Failure of the global Torelli theorem in this setting would immediately produce counterexamples to deformation invariance of semiampleness.

Load-bearing premise

The given pair (M, L) must admit at least one deformation to another pair in which the line bundle is already semiample.

What would settle it

An explicit hyperkahler manifold M with a nef non-big line bundle L that lies in a connected component of the Teichmüller space containing no semiample pair, yet L fails to be semiample.

Figures

Figures reproduced from arXiv: 2409.09142 by Andrey Soldatenkov, Misha Verbitsky.

Figure 1
Figure 1. Figure 1: Stable K¨ahler chambers [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
read the original abstract

Let $L$ be a holomorphic line bundle on a hyperkahler manifold $M$, with $c_1(L)$ nef and not big. SYZ conjecture predicts that $L$ is semiample. We prove that this is true, assuming that $(M,L)$ has a deformation $(M',L')$ with $L'$ semiample. We introduce a version of the Teichmuller space that parametrizes pairs $(M,L)$ up to isotopy. We prove a version of the global Torelli theorem for such Teichmuller spaces and use it to deduce the deformation invariance of semiampleness.

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

0 major / 2 minor

Summary. The manuscript claims to prove a conditional form of the SYZ conjecture: if L is a holomorphic line bundle on a hyperkähler manifold M with c_1(L) nef but not big, and if (M,L) admits a deformation (M',L') in which L' is already semiample, then L itself is semiample. The argument proceeds by constructing a Teichmüller space that parametrizes pairs (M,L) up to isotopy, establishing a global Torelli theorem for this space, and deducing that semiampleness is deformation-invariant under the stated hypothesis.

Significance. If the proofs hold, the work supplies a conditional advance on the abundance and SYZ conjectures for hyperkähler manifolds by isolating deformation invariance of semiampleness as a key property. The newly defined Teichmüller space for polarized pairs and the accompanying Torelli theorem constitute concrete new tools whose utility may extend to other questions about moduli of hyperkähler varieties.

minor comments (2)
  1. [Introduction] The abstract and introduction clearly flag the conditional nature of the result, but a short paragraph in the introduction comparing the new Teichmüller space with the classical unmarked Teichmüller space (and with existing polarized moduli constructions) would help readers situate the contribution.
  2. Notation for the new Teichmüller space and its period map is introduced without an explicit comparison table to the classical case; adding such a table would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained under explicit hypothesis

full rationale

The paper proves the SYZ prediction only under the explicit assumption that a deformation (M',L') exists with L' already semiample. It defines a new Teichmüller space for pairs (M,L) up to isotopy, proves a global Torelli theorem for this space, and deduces deformation invariance of semiampleness from that theorem. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain; the Torelli result is presented as a new proof rather than an imported uniqueness theorem. The argument remains independent of the target semiampleness property and is self-contained against the stated conditional premise.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper relies on standard background from complex geometry and introduces one new constructed object without external verification.

axioms (2)
  • domain assumption Hyperkahler manifolds satisfy the standard definitions and properties from prior literature, including the existence of a holomorphic symplectic form.
    Invoked as background for the entire setup.
  • domain assumption The nef and not-big condition on c1(L) carries the usual positivity and intersection-theoretic consequences.
    Used to state the SYZ prediction and the theorem hypothesis.
invented entities (1)
  • Version of the Teichmuller space parametrizing pairs (M,L) up to isotopy no independent evidence
    purpose: To enable the statement and proof of a global Torelli theorem that implies deformation invariance of semiampleness.
    Newly defined in the paper; no independent evidence outside this work is provided.

pith-pipeline@v0.9.0 · 5630 in / 1385 out tokens · 31989 ms · 2026-05-23T21:09:51.140104+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

37 extracted references · 37 canonical work pages · 1 internal anchor

  1. [1]

    Amerik, M

    E. Amerik, M. Verbitsky, Rational curves on hyperk\"ahler manifolds , Int. Math. Res. Not. IMRN 2015, no. 23, 13009--13045

    work page 2015

  2. [2]

    F.\ Anella, D.\ Huybrechts, Effectivity of semi-positive line bundles , Milan J. Math. 90 (2022), no. 2, 389--401

    work page 2022

  3. [3]

    A.\ Bayer, E.\ Macri, MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations, Invent. Math. 198 (2014) 505 -- 590

    work page 2014

  4. [4]

    Beauville, Varietes K\"ahleriennes dont la premi\`ere classe de Chern est nulle , J

    A. Beauville, Varietes K\"ahleriennes dont la premi\`ere classe de Chern est nulle , J. Diff. Geom. 18 (1983), p. 755--782

    work page 1983

  5. [5]

    Besse, A., Einstein Manifolds , Springer-Verlag, New York (1987)

    work page 1987

  6. [6]

    F.\ Bogomolov, N.\ Kurnosov, Lagrangian fibrations for IHS fourfolds , arXiv:1810.11011

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    Differential Geom

    F.\ Campana, K.\ Oguiso, T.\ Peternell, Non-algebraic hyperk\"ahler manifolds , J. Differential Geom. 85 (2010), no. 3, 397--424

    work page 2010

  8. [8]

    6 (2001), 689--741

    J.-P.\ Demailly, T.\ Peternell, M.\ Schneider, Pseudo-effective line bundles on compact K\"ahhler manifolds , International Journal of Math. 6 (2001), 689--741

    work page 2001

  9. [9]

    A.\ Fujiki, M.\ Pontecorvo, Non-upper-semicontinuity of algebraic dimension for families of compact complex manifolds Math. Ann. 348, 593-599 (2010)

    work page 2010

  10. [10]

    B.\ Hassett, Y.\ Tschinkel, Rational curves on holomorphic symplectic fourfolds , Geom. Funct. Anal. 11 (2001), no. 6, 1201--1228

    work page 2001

  11. [11]

    D.\ Huybrechts, Compact hyperk\"ahler manifolds: basic results , Invent. Math. 135 (1999), 63--113. Erratum in: Invent. Math. 152 (2003), 209--212

    work page 1999

  12. [12]

    D.\ Huybrechts, C.\ Xu, Lagrangian fibrations of hyperk\"ahler fourfolds , J. Inst. Math. Jussieu 21 (2022), no. 3, 921--932

    work page 2022

  13. [13]

    J.-M.\ Hwang, Base manifolds for fibrations of projective irreducible symplectic manifolds , Invent. Math. 174 (2008), no. 3, 625--644

    work page 2008

  14. [14]

    L.\ Kamenova, M.\ Verbitsky, Families of Lagrangian fibrations on hyperkaehler manifolds , Adv. Math. 260 (2014) 401 -- 413

    work page 2014

  15. [15]

    Kawamata, Pluricanonical systems on minimal algebraic varieties, Invent

    Y. Kawamata, Pluricanonical systems on minimal algebraic varieties, Invent. Math., 79, (1985), no. 3, 567--588

    work page 1985

  16. [16]

    V.\ Lazi\'c, T.\ Peternell, On generalised abundance, I , Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, 353--389

    work page 2020

  17. [17]

    D.\ Lieberman, E.\ Sernesi, Semicontinuity of L-Dimension , Math. Ann. 225 (1977), 77--88

    work page 1977

  18. [18]

    Markman, Lagrangian fibrations of holomorphic-symplectic varieties of K3 ^ [n] -type , Algebraic and complex geometry, Springer Proc

    E. Markman, Lagrangian fibrations of holomorphic-symplectic varieties of K3 ^ [n] -type , Algebraic and complex geometry, Springer Proc. Math. Stat., vol. 71, Springer, Cham, 2014, pp. 241--283

    work page 2014

  19. [19]

    Matsushita, On fibre space structures of a projective irreducible symplectic manifold , Topology 38 (1999), no

    D. Matsushita, On fibre space structures of a projective irreducible symplectic manifold , Topology 38 (1999), no. 1, 79--83. Addendum, Topology 40 (2001), No. 2, 431--432

    work page 1999

  20. [20]

    D.\ Matsushita, Higher direct images of dualizing sheaves of Lagrangian fibrations , Amer. J. Math. 127 (2005), no. 2, 243--259

    work page 2005

  21. [21]

    D.\ Matsushita, On nef reductions of projective irreducible symplectic manifolds , Math. Z. 258 (2008), 267--270

    work page 2008

  22. [22]

    Math., 315, Birkh\"auser/Springer, 2016

    D.\ Matsushita, On deformations of Lagrangian fibrations , K3 surfaces and their moduli, 237--243, Progr. Math., 315, Birkh\"auser/Springer, 2016

    work page 2016

  23. [23]

    D.\ Matsushita, On isotropic divisors on irreducible symplectic manifolds , Higher dimensional algebraic geometry-in honour of Professor Yujiro Kawamata's sixtieth birthday, 291--312, Adv. Stud. Pure Math., 74, Math. Soc. Japan, Tokyo, 2017

    work page 2017

  24. [24]

    G.\ Mongardi, C.\ Onorati, Birational geometry of irreducible holomorphic symplectic tenfolds of O'Grady type , Math. Z. 300 (2022), no. 4, 3497--3526

    work page 2022

  25. [25]

    G.\ Mongardi, A.\ Rapagnetta, Monodromy and birational geometry of O'Grady's sixfolds , J. Math. Pures Appl. (9) 146 (2021) 31 -- 68

    work page 2021

  26. [26]

    Reine Angew

    W.\ Ou, Lagrangian fibrations on symplectic fourfolds J. Reine Angew. Math. 746 (2019), 117--147

    work page 2019

  27. [27]

    J.\ Sawon, Abelian fibred holomorphic symplectic manifolds , Turkish Jour. Math. 27 (2003), no. 1, 197--230

    work page 2003

  28. [28]

    Soldatenkov, M

    A. Soldatenkov, M. Verbitsky, The Moser isotopy for holomorphic symplectic and C-symplectic structures , arXiv:2109.00935

    work page arXiv

  29. [29]

    Soldatenkov, M

    A. Soldatenkov, M. Verbitsky, Hermitian-symplectic and K\"ahler structures on degenerate twistor deformations , arXiv:2407.07867

    work page arXiv

  30. [30]

    N.\ Sibony, A.\ Soldatenkov, M.\ Verbitsky, Rigid currents on compact hyperk\"ahler manifolds , arXiv:2303.11362

    work page arXiv

  31. [31]

    K.\ Ueno, Classification theory of algebraic varieties and compact complex spaces , Lecture Notes in Math., 439, 1975

    work page 1975

  32. [32]

    Verbitsky, Misha, Algebraic structures on hyper-K\"ahler manifolds , Math. Res. Lett. 3 (1996), no. 6, 763-767

    work page 1996

  33. [33]

    5 (2010) 1481--1493

    M.\ Verbitsky, Hyperk\"ahler SYZ conjecture and semipositive line bundles, GAFA 19, No. 5 (2010) 1481--1493

    work page 2010

  34. [34]

    Verbitsky, Mapping class group and a global Torelli theorem for hyperk\"ahler manifolds, with an appendix by E

    M. Verbitsky, Mapping class group and a global Torelli theorem for hyperk\"ahler manifolds, with an appendix by E. Markman, Duke Math. J. 162 (2013), no. 15, 2929--2986

    work page 2013

  35. [35]

    M.\ Verbitsky, Degenerate twistor spaces for hyperk\"ahler manifolds , J. Geom. Phys. 91 (2015), 2--11

    work page 2015

  36. [36]

    Voisin, Sur la stabilit\'e des sous-vari\'et\'es lagrang iennes des vari\'et\'es symplectiques holomorphes, Complex projective geometry, London Math

    C. Voisin, Sur la stabilit\'e des sous-vari\'et\'es lagrang iennes des vari\'et\'es symplectiques holomorphes, Complex projective geometry, London Math. Soc. Lecture Note Ser. 179 (1992) 294-303, Cambridge Univ. Press, Cambridge

    work page 1992

  37. [37]

    Advanced Studies in Pure Mathematics 69 (2016) 473 -- 537

    K.\ Yoshioka, Bridgeland's stability and the positive cone of the moduli spaces of stable objects on an abelian surface , Proceedings of the 6 th Mathematical Society of Japan-Seasonal Institute, MSJ-SI, Kyoto, Japan, June 11-21, 2013. Advanced Studies in Pure Mathematics 69 (2016) 473 -- 537

    work page 2013