Pith. sign in

REVIEW 3 minor 36 references

Twisted cotangent bundles of Hyperk\"ahler manifolds

T0 review · 0 major / 3 minor · reviewed 2026-05-25 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The Beauville-Bogomolov form q(H) supplies a lower bound for the twisted cotangent bundle Ω_X ⊗ H to be pseudoeffective on a hyperkähler manifold X with ample divisor H.

desk verdict The paper gives a concrete lower bound on q(H) making Ω_X ⊗ H pseudoeffective, explicit and checked for optimality when X is deformation equivalent to a K3 Hilbert scheme. read the letter →

arxiv 1906.11528 v1 pith:T5GQALXY submitted 2019-06-27 math.AG

Fabrizio Anella , Andreas Höring This is my paper · ORCID
classification math.AG
keywords hyperkählermanifoldspseudoeffectivevectorbundlesBeauville-BogomolovformtwistedcotangentK3surfacesHilbertschemesampledivisors
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes a numerical criterion, expressed via the Beauville-Bogomolov quadratic form, that guarantees pseudoeffectiveness of the cotangent bundle twisted by an ample line bundle on any hyperkähler manifold. A reader would care because pseudoeffectiveness controls the asymptotic behavior of sections and the birational geometry of the manifold. The bound is made fully explicit when the manifold belongs to the deformation class of the Hilbert scheme of points on a K3 surface, where its sharpness is also examined.

What carries the argument

The Beauville-Bogomolov quadratic form q on the second cohomology of X, which supplies the numerical threshold controlling pseudoeffectiveness of the twisted cotangent bundle.

What would settle it

A hyperkähler manifold X with ample H such that q(H) meets or exceeds the stated lower bound yet Ω_X ⊗ H fails to be pseudoeffective.

Watch

Extended reading notes

Core claim

Let X be a hyperkähler manifold and H an ample divisor. The twisted cotangent bundle Ω_X ⊗ H is pseudoeffective provided that the Beauville-Bogomolov form q(H) exceeds a certain lower bound. When X is deformation equivalent to the Hilbert scheme of a K3 surface, this lower bound can be written explicitly and its optimality is studied.

Load-bearing premise

The Beauville-Bogomolov quadratic form q is defined on the second cohomology of any hyperkähler manifold and can be compared against a fixed positivity threshold.

Editorial extensions

If this is right

  • For hyperkähler manifolds deformation equivalent to the Hilbert scheme of a K3 surface the lower bound on q(H) becomes fully explicit.
  • The same bound applies uniformly to every hyperkähler manifold equipped with an ample divisor.
  • Optimality of the bound can be tested directly inside the K3 Hilbert-scheme deformation class.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same numerical control might extend to other positivity notions such as nefness for the twisted bundle.
  • Similar thresholds could be sought for the cotangent bundle twisted by non-ample classes.
  • The result suggests that many positivity questions on hyperkähler manifolds reduce to evaluations of the Beauville-Bogomolov form.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper claims to establish a lower bound, expressed in terms of the Beauville-Bogomolov quadratic form q(H), on the value of q(H) that guarantees pseudoeffectiveness of the twisted cotangent bundle Ω_X ⊗ H, where X is a hyperkähler manifold and H is an ample divisor. When X is deformation equivalent to the Hilbert scheme of points on a K3 surface, the bound is written explicitly and its optimality is examined.

Significance. If the stated bound holds, the result supplies a concrete, computable criterion using the standard BBF form for a basic positivity question on hyperkähler manifolds. The explicit formula and optimality analysis in the K3^[n] deformation class constitute verifiable, falsifiable content that strengthens the contribution.

minor comments (3)
  1. [Abstract] The abstract announces the existence of a lower bound but does not record its explicit functional form; the introduction or §2 should state the inequality q(H) > f(dim X, n) or equivalent at the outset.
  2. [Introduction] Notation for the pseudoeffectiveness threshold is introduced without a dedicated definition; a short paragraph or displayed equation defining the constant appearing in the bound would improve readability.
  3. [§4] The optimality discussion for the K3^[n] case refers to specific numerical checks; a table listing the bound versus known examples of non-pseudoeffective bundles would make the sharpness claim easier to verify.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of the manuscript and the recommendation of minor revision. No major comments were listed in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation uses standard BBF form without reduction to inputs

full rationale

The abstract states a lower bound on q(H) for pseudoeffectiveness of Ω_X ⊗ H, with an explicit form in the K3 Hilbert scheme case. No equations, lemmas, or proof steps are visible that equate the claimed bound to a fitted parameter, self-definition, or self-citation chain. The Beauville-Bogomolov form is an established external tool on H^2(X), and the statement restricts to the projective case consistently. The derivation chain therefore remains self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Review performed on abstract alone; no explicit free parameters, invented entities, or non-standard axioms are visible. Full paper would be required to list any hidden assumptions or fitted constants.

assumptions (1)
  • domain assumption Standard properties of the Beauville-Bogomolov quadratic form on the second cohomology of hyperkähler manifolds
    Invoked to express the numerical lower bound in the abstract statement.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Twisted cotangent bundles of Hyperk\"ahler manifolds." pith.science (2026). https://pith.science/paper/T5GQALXY

@misc{pith2026190611528,
  author       = {Pith},
  title        = {Pith review of: Twisted cotangent bundles of Hyperk\"ahler manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T5GQALXY}},
  note         = {Machine review of arXiv:1906.11528}
}
abstract

Let $X$ be a Hyperk\"ahler manifold, and let $H$ be an ample divisor on $X$. We give a lower bound in terms of the Beauville-Bogomolov form $q(H)$ for the twisted cotangent bundle $\Omega_X \otimes H$ to be pseudoeffective. If $X$ is deformation equivalent to the Hilbert scheme of a K3 surface the lower bound can be written down explicitly and we study its optimality.

Discussion (0). Continue with ORCID to comment.

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.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Characterization of generic projective space bundles and algebraicity of foliations

    Carolina Araujo and St \'e phane Druel. Characterization of generic projective space bundles and algebraicity of foliations. ArXiv preprint 1711.10174, to appear in Comm.Math.Helv. , 2017

    work page Pith review arXiv 2017

  2. [2]

    D. Barlet. Espace analytique r\'eduit des cycles analytiques complexes compacts d'un espace analytique complexe de dimension finie. Lect. Notes Math. N.482 , pages 1--158, 1975

    work page 1975

  3. [3]

    The pseudo-effective cone of a compact K\"a hler manifold and varieties of negative K odaira dimension

    S \'e bastien Boucksom, Jean-Pierre Demailly, Mihai P a un, and Thomas Peternell. The pseudo-effective cone of a compact K\"a hler manifold and varieties of negative K odaira dimension. Journal of Algebraic Geometry , 22:201--248, 2013

    work page 2013

  4. [4]

    Vari\'et\'es K \"ahleriennes dont la premi\`ere classe de C hern est nulle

    Arnaud Beauville. Vari\'et\'es K \"ahleriennes dont la premi\`ere classe de C hern est nulle. J. Differential Geom. , 18(4):755--782 (1984), 1983

    work page 1984

  5. [5]

    Balaji and J\'anos Koll\'ar

    V. Balaji and J\'anos Koll\'ar. Holonomy groups of stable vector bundles. Publ. Res. Inst. Math. Sci. , 44(2):183--211, 2008

    work page 2008

  6. [6]

    Algebraic deformations of compact K \"ahler surfaces

    Nicholas Buchdahl. Algebraic deformations of compact K \"ahler surfaces. II . Math. Z. , 258(3):493--498, 2008

    work page 2008

  7. [7]

    Non-algebraic hyperk\" a hler manifolds

    Fr\' e d\' e ric Campana, Keiji Oguiso, and Thomas Peternell. Non-algebraic hyperk\" a hler manifolds. J. Differential Geom. , 85(3):397--424, 2010

    work page 2010

  8. [8]

    Analytic methods in algebraic geometry , volume 1 of Surveys of Modern Mathematics

    Jean-Pierre Demailly. Analytic methods in algebraic geometry , volume 1 of Surveys of Modern Mathematics . International Press, Somerville, MA; Higher Education Press, Beijing, 2012

    work page 2012

Show all 36 references
  1. [9]

    ahler cone of a compact K \

    Jean-Pierre Demailly and Mihai Paun. Numerical characterization of the K \"ahler cone of a compact K \"ahler manifold. Ann. of Math. (2) , 159(3):1247--1274, 2004

    2004

  2. [10]

    Differentiable manifolds , volume 266 of Grundlehren der Mathematischen Wissenschaften

    Georges de Rham. Differentiable manifolds , volume 266 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, Berlin, 1984. Forms, currents, harmonic forms, Translated from the French by F. R. Smith, With an introduction by S. S. Chern

    1984

  3. [11]

    On the cobordism class of the H ilbert scheme of a surface

    Geir Ellingsrud, Lothar G\" o ttsche, and Manfred Lehn. On the cobordism class of the H ilbert scheme of a surface. J. Algebraic Geom. , 10(1):81--100, 2001

    2001

  4. [12]

    Countability of the D ouady space of a complex space

    Akira Fujiki. Countability of the D ouady space of a complex space. Japan. J. Math. (N.S.) , 5(2):431--447, 1979

    1979

  5. [13]

    On the de R ham cohomology group of a compact K \" a hler symplectic manifold

    Akira Fujiki. On the de R ham cohomology group of a compact K \" a hler symplectic manifold. In Algebraic geometry, S endai, 1985 , volume 10 of Adv. Stud. Pure Math. , pages 105--165. North-Holland, Amsterdam, 1987

    1985

  6. [14]

    Closedness of the D ouady spaces of compact K \"ahler spaces

    Akira Fujiki. Closedness of the D ouady spaces of compact K \"ahler spaces. Publ. Res. Inst. Math. Sci. , 14(1):1--52, 1978/79

    1978

  7. [15]

    Remarks on the positivity of the cotangent bundle of a K3 surface

    Frank Gounelas and John Christian Ottem. Remarks on the positivity of the cotangent bundle of a K3 surface. arXiv preprint arXiv:1806.09598 , 2018

    2018

  8. [16]

    Algebraic geometry

    Robin Hartshorne. Algebraic geometry . Springer-Verlag, New York, 1977. Graduate Texts in Mathematics, No. 52

    1977

  9. [17]

    Twisted cotangent sheaves and a K obayashi- O chiai theorem for foliations

    Andreas H \"o ring. Twisted cotangent sheaves and a K obayashi- O chiai theorem for foliations. Ann. Inst. Fourier (Grenoble) , 64(6):2465--2480, 2014

    2014

  10. [18]

    Algebraic integrability of foliations with numerically trivial canonical bundle

    Andreas H\" o ring and Thomas Peternell. Algebraic integrability of foliations with numerically trivial canonical bundle. Invent. Math. , 216(2):395--419, 2019

    2019

  11. [19]

    Compact hyperk\" a hler manifolds

    Daniel Huybrechts. Compact hyperk\" a hler manifolds. Habilitationsschrift Essen , page 65, 1997

    1997

  12. [20]

    Compact hyper- K \" a hler manifolds: basic results

    Daniel Huybrechts. Compact hyper- K \" a hler manifolds: basic results. Invent. Math. , 135(1):63--113, 1999

    1999

  13. [21]

    Erratum: `` C ompact hyper- K \" a hler manifolds: basic results'' [ I nvent

    Daniel Huybrechts. Erratum: `` C ompact hyper- K \" a hler manifolds: basic results'' [ I nvent. M ath. 135 (1999), no. 1, 63--113; MR 1664696 (2000a:32039)]. Invent. Math. , 152(1):209--212, 2003

    1999

  14. [22]

    Finiteness results for compact hyperk\" a hler manifolds

    Daniel Huybrechts. Finiteness results for compact hyperk\" a hler manifolds. J. Reine Angew. Math. , 558:15--22, 2003

    2003

  15. [23]

    Complex geometry

    Daniel Huybrechts. Complex geometry . Universitext. Springer-Verlag, Berlin, 2005. An introduction

    2005

  16. [24]

    Lectures on K 3 surfaces , volume 158 of Cambridge Studies in Advanced Mathematics

    Daniel Huybrechts. Lectures on K 3 surfaces , volume 158 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2016

    2016

  17. [25]

    The first C hern class and holomorphic symmetric tensor fields

    Shoshichi Kobayashi. The first C hern class and holomorphic symmetric tensor fields. J. Math. Soc. Japan , 32(2):325--329, 1980

    1980

  18. [26]

    Kobayashi

    S. Kobayashi. Differential geometry of complex vector bundles . Iwanami Shoten and Princeton University Press, Princeton, 1987

    1987

  19. [27]

    Partial resolutions of H ilbert type, D ynkin diagrams, and generalized K ummer varieties

    D Kaledin and M Verbitsky. Partial resolutions of H ilbert type, D ynkin diagrams, and generalized K ummer varieties. arXiv preprint math/9812078 , 1998

    1998 arXiv

  20. [28]

    The C hern classes and K odaira dimension of a minimal variety

    Yoichi Miyaoka. The C hern classes and K odaira dimension of a minimal variety. In Algebraic geometry, S endai, 1985 , volume 10 of Adv. Stud. Pure Math. , pages 449--476. North-Holland, Amsterdam, 1987

    1985

  21. [29]

    Matsusaka and D

    T. Matsusaka and D. Mumford. Two fundamental theorems on deformations of polarized varieties. Amer. J. Math. , 86:668--684, 1964

    1964

  22. [30]

    V. B. Mehta and A. Ramanathan. Restriction of stable sheaves and representations of the fundamental group. Invent. Math. , 77(1):163--172, 1984

    1984

  23. [31]

    Bimeromorphic automorphism groups of non-projective hyperk\" a hler manifolds---a note inspired by C

    Keiji Oguiso. Bimeromorphic automorphism groups of non-projective hyperk\" a hler manifolds---a note inspired by C . T . M c M ullen. J. Differential Geom. , 78(1):163--191, 2008

    2008

  24. [32]

    Nef cycles on some hyperkahler fourfolds

    John Christian Ottem. Nef cycles on some hyperkahler fourfolds. arXiv preprint arXiv:1505.01477 , 2015

    2015 arXiv

  25. [33]

    Hyper- K \" a hler embeddings and holomorphic symplectic geometry

    Mikhail Verbitsky. Hyper- K \" a hler embeddings and holomorphic symplectic geometry. I . J. Algebraic Geom. , 5(3):401--413, 1996

    1996

  26. [34]

    Verbitsky

    M. Verbitsky. Trianalytic subvarieties of the H ilbert scheme of points on a K3 surface. Geom. Funct. Anal. , 8(4):732--782, 1998

    1998

  27. [35]

    Th\'eorie de H odge et g\'eom\'etrie alg\'ebrique complexe , volume 10 of Cours Sp\'ecialis\'es

    Claire Voisin. Th\'eorie de H odge et g\'eom\'etrie alg\'ebrique complexe , volume 10 of Cours Sp\'ecialis\'es . Soci\'et\'e Math\'ematique de France, Paris, 2002

    2002

  28. [36]

    Character formulas on cohomology of deformations of H ilbert schemes of K3 surfaces

    Letao Zhang. Character formulas on cohomology of deformations of H ilbert schemes of K3 surfaces. J. Lond. Math. Soc. (2) , 92(3):675--688, 2015

    2015

Pith tools

Reviewed May 25, 2026 · model on record in the stance chip above.