pith. sign in

arxiv: 2606.30046 · v1 · pith:EBELKJBDnew · submitted 2026-06-29 · 🧮 math.AG · math.CV

A note on the transcendental basepoint-free conjecture for Calabi-Yau manifolds

Bastien Philippe (IECL) This is my paper

Pith reviewed 2026-06-30 04:04 UTC · model grok-4.3

classification 🧮 math.AG math.CV
keywords transcendental basepoint-free conjectureCalabi-Yau manifoldshyperkähler manifoldsBeauville-Bogomolov decompositionbig and nef classesrational curvescontraction theorem
0
0 comments X

The pith

The transcendental basepoint-free conjecture for Calabi-Yau manifolds holds if it holds for the hyperkähler factors in the Beauville-Bogomolov decomposition.

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

The paper proves that the transcendental basepoint-free conjecture on a Calabi-Yau manifold follows once the same conjecture is known for each hyperkähler factor appearing in its Beauville-Bogomolov decomposition. It further establishes the conjecture for any big and nef class on a hyperkähler manifold provided the space spanned by the classes of rational curves annihilated by that class has sufficiently small dimension. The argument relies on the contraction theorem of Bakker and Lehn. A reader would care because the result reduces a question about linear systems on Calabi-Yau varieties to a question on their hyperkähler building blocks.

Core claim

The transcendental basepoint-free conjecture for Calabi-Yau manifolds holds if it holds for its hyperkähler factors in its Beauville-Bogomolov decomposition. Based on a contraction theorem due to Bakker and Lehn, the conjecture holds for a big and nef class α on a hyperkähler manifold under a mild condition on the dimension of the space generated by classes of rational curves on which α vanishes.

What carries the argument

Reduction of the conjecture via the Beauville-Bogomolov decomposition to the hyperkähler case, together with the contraction theorem of Bakker and Lehn applied under the stated dimension condition on rational curve classes.

If this is right

  • Verification of the conjecture reduces to the irreducible hyperkähler case.
  • The result applies directly to big and nef classes that vanish on a low-dimensional space of rational curves.
  • Any counterexample on a Calabi-Yau manifold must arise from a counterexample on one of its hyperkähler factors.

Where Pith is reading between the lines

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

  • Counterexamples to the conjecture, if they exist, are expected to appear first among hyperkähler manifolds.
  • The dimension condition could be checked explicitly on known families such as Hilbert schemes of points on K3 surfaces.
  • Similar reduction arguments might apply to other basepoint-freeness or positivity conjectures that are preserved under products.

Load-bearing premise

The contraction theorem of Bakker and Lehn applies and the mild dimension condition on the space of rational curve classes holds for the classes under consideration.

What would settle it

A Calabi-Yau manifold whose hyperkähler factors all satisfy the conjecture but for which the conjecture fails on the manifold itself, or a hyperkähler manifold satisfying the dimension condition on which the conjecture fails.

read the original abstract

In this note, we prove that the transcendental basepoint-free conjecture for Calabi-Yau manifolds holds if it holds for its hyperk{\"a}hler factors in its Beauville-Bogomolov decomposition. Based on a contraction theorem due to Bakker and Lehn, we show that the conjecture holds for a big and nef class $\alpha$ on a hyperk{\"a}hler manifold under a mild condition on the dimension of the space generated by classes of rational curves on which $\alpha$ vanishes.

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 / 3 minor

Summary. The manuscript proves that the transcendental basepoint-free conjecture for Calabi-Yau manifolds holds whenever it holds for the hyperkähler factors appearing in the Beauville-Bogomolov decomposition. It further establishes a conditional result: for a big and nef class α on a hyperkähler manifold, the conjecture holds under an explicit dimension hypothesis on the span of classes of rational curves contracted by α, by invoking the contraction theorem of Bakker and Lehn.

Significance. The reduction to the hyperkähler case via the Beauville-Bogomolov decomposition is a clean structural observation that narrows the scope of the conjecture. The conditional statement on hyperkähler manifolds supplies a concrete, checkable hypothesis under which the conjecture follows from an existing theorem; the hypotheses are stated openly rather than tacitly assumed.

minor comments (3)
  1. [Abstract] The abstract refers to 'a mild condition' on the dimension of the space generated by rational curve classes; the introduction or §2 should give the precise numerical bound (e.g., dimension ≤ k for some explicit k) so that readers can immediately assess applicability.
  2. [Introduction] The statement of the transcendental basepoint-free conjecture itself is not reproduced in the provided abstract or opening paragraphs; including a one-sentence formulation early in the introduction would improve readability for readers outside the immediate subfield.
  3. Citation to the Bakker-Lehn contraction theorem should include the full bibliographic reference (journal, year, theorem number) at first mention rather than relying solely on the author-year shorthand.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No major comments are provided in the report, so we have no specific points to address point-by-point. The manuscript stands as submitted unless the editor requests further minor clarifications.

Circularity Check

0 steps flagged

No significant circularity: reduction to external theorem

full rationale

The paper reduces the transcendental basepoint-free conjecture for Calabi-Yau manifolds to the hyperkähler case via the Beauville-Bogomolov decomposition and proves a conditional statement for big/nef classes on hyperkähler manifolds by direct application of the Bakker-Lehn contraction theorem (external authors) under an explicit dimension hypothesis on rational curve classes. No equations or claims reduce by construction to the paper's own fitted inputs, self-definitions, or self-citations; the derivation chain is self-contained against external benchmarks and stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on two standard theorems from the literature; no free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • standard math Beauville-Bogomolov decomposition theorem for Calabi-Yau manifolds
    Invoked to reduce the conjecture to hyperkähler factors.
  • standard math Contraction theorem due to Bakker and Lehn
    Used to establish the result under the stated dimension condition.

pith-pipeline@v0.9.1-grok · 5603 in / 1223 out tokens · 54266 ms · 2026-06-30T04:04:17.352597+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

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

  1. [1]

    23, 13009--13045

    Ekaterina Amerik and Misha Verbitsky, Rational Curves on Hyperkähler Manifolds , International Mathematics Research Notices 2015 (2015), no. 23, 13009--13045

    2015

  2. [2]

    , Morrison- Kawamata cone conjecture for hyperk \"a hler manifolds , Ann. Sci. \'E c. Norm. Sup \'e r. (4) 50 (2017), no. 4, 973--993

    2017

  3. [3]

    Math., New Ser

    , Contraction centers in families of hyperk \"a hler manifolds , Sel. Math., New Ser. 27 (2021), no. 4, 26

    2021

  4. [4]

    Hacon, and James McKernan, Existence of minimal models for varieties of log general type, J

    Caucher Birkar, Paolo Cascini, Christopher D. Hacon, and James McKernan, Existence of minimal models for varieties of log general type, J. Am. Math. Soc. 23 (2010), no. 2, 405--468

    2010

  5. [5]

    Arnaud Beauville, Vari \'e t \'e s k \"a hleriennes dont la premi \`e re classe de Chern est nulle , J. Differ. Geom. 18 (1983), 755--782 (French)

    1983

  6. [6]

    a hler - Ricci flow , An introduction to the K\

    S \'e bastien Boucksom and Vincent Guedj, Regularizing properties of the K \"a hler - Ricci flow , An introduction to the K\"ahler-Ricci flow. Selected papers based on the presentations at several meetings of the ANR project MACK, Cham: Springer, 2013, pp. 189--237

    2013

  7. [7]

    Benjamin Bakker and Christian Lehn, A global Torelli theorem for singular symplectic varieties , J. Eur. Math. Soc. (JEMS) 23 (2021), no. 3, 949--994

    2021

  8. [8]

    a hler cone of a hyperk \

    S \'e bastien Boucksom, The K \"a hler cone of a hyperk \"a hler manifold , C. R. Acad. Sci., Paris, S \'e r. I, Math. 333 (2001), no. 10, 935--938 (French)

    2001

  9. [9]

    Henri Cartan, Quotient d'un espace analytique par un groupe d'automorphismes, Princeton Math. Ser. 12 (1957), 90--102 (French)

    1957

  10. [10]

    Jean-Pierre Demailly, M \'e sures de Monge - Amp \`e re et caract \'e risation g \'e om \'e trique des vari \'e t \'e s alg \'e briques affines , M \'e m. Soc. Math. Fr., Nouv. S \'e r., vol. 19, Soci \'e t \'e Math \'e matique de France (SMF), Paris, 1985

    1985

  11. [11]

    Transcendental Minimal Model Program for Projective Varieties

    Omprokash Das and Christopher Hacon, Transcendental Minimal Model Program for Projective Varieties , Preprint, arXiv :2412.07650 [math. AG ] (2024), 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  12. [12]

    Omprokash Das, Christopher Hacon, and Mihai P a un, On the 4-dimensional minimal model program for K \"a hler varieties , Adv. Math. 443 (2024), 68, Id/No 109615

    2024

  13. [13]

    7, 2981--2999

    Simion Filip and Valentino Tosatti, Smooth and Rough Positive Currents , Annales de l'Institut Fourier 68 (2018), no. 7, 2981--2999

    2018

  14. [14]

    AG ] (2022), 2022

    Osamu Fujino, Minimal model program for projective morphisms between complex analytic spaces, Preprint, arXiv :2201.11315 [math. AG ] (2022), 2022

    work page arXiv 2022

  15. [15]

    A Wiley - Interscience Publication

    Phillip Griffiths and Joseph Harris, Principles of algebraic geometry, Pure and Applied Mathematics . A Wiley - Interscience Publication . New York etc.: John Wiley & Sons . XII , 813 p., 1978

    1978

  16. [16]

    Patrick Graf and Tim Kirschner, Finite quotients of three-dimensional complex tori, Ann. Inst. Fourier 70 (2020), no. 2, 881--914 (English)

    2020

  17. [17]

    Wiss., vol

    Hans Grauert and Reinhold Remmert, Coherent analytic sheaves, Grundlehren Math. Wiss., vol. 265, Springer, Cham, 1984

    1984

  18. [18]

    H \"o ring, Adjoint \((1,1)\) -classes on threefolds , Izv

    A. H \"o ring, Adjoint \((1,1)\) -classes on threefolds , Izv. Math. 85 (2021), no. 4, 823--830

    2021

  19. [19]

    o ring and Thomas Peternell, Minimal models for K \

    Andreas H \"o ring and Thomas Peternell, Minimal models for K \"a hler threefolds , Invent. Math. 203 (2016), no. 1, 217--264

    2016

  20. [20]

    1, 63--113

    Daniel Huybrechts, Compact hyperk \"a hler manifolds: basic results , Inventiones mathematicae 135 (1999), no. 1, 63--113

    1999

  21. [21]

    a hler cone of a compact hyperk \

    , The K \"a hler cone of a compact hyperk \"a hler manifold , Math. Ann. 326 (2003), no. 3, 499--513

    2003

  22. [22]

    257--322

    Eyal Markman, A survey of Torelli and monodromy results for holomorphic-symplectic varieties , Complex and Differential Geometry, Springer Berlin Heidelberg, 2011, pp. 257--322

    2011

  23. [23]

    Valentino Tosatti, Limits of Calabi - Yau metrics when the K \"a hler class degenerates , J. Eur. Math. Soc. (JEMS) 11 (2009), no. 4, 755--776

    2009

  24. [24]

    Valentino Tosatti, Ricci-flat metrics on Calabi-Yau manifolds , 2025

    2025

  25. [25]

    Varouchas, Stabilit \'e de la classe des vari \'e t \'e s Kaehleriennes par certains morphismes propres , Invent

    J. Varouchas, Stabilit \'e de la classe des vari \'e t \'e s Kaehleriennes par certains morphismes propres , Invent. Math. 77 (1984), 117--127 (French)

    1984

  26. [26]

    Jean Varouchas, K \"a hler spaces and proper open morphisms , Math. Ann. 283 (1989), no. 1, 13--52

    1989

  27. [27]

    215 (2015), no

    Misha Verbitsky, Ergodic complex structures on hyperk \"a hler manifolds , Acta Math. 215 (2015), no. 1, 161--182

    2015

  28. [28]

    Ergodic complex structures on hyperkahler manifolds: an erratum

    Misha Verbitsky, Ergodic complex structures on hyperkahler manifolds: an erratum, Preprint, arXiv :1708.05802 [math. AG ] (2017), 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017