Pith. sign in

REVIEW 1 major objections 58 references

On moduli spaces of vector bundles on $K3^{[n]}$-type IHS manifolds

T0 review · 1 major / 0 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read Under suitable numerical assumptions, moduli spaces of modular vector bundles on K3^{[n]}-type IHS manifolds contain connected components that are themselves K3^{[n]}-type IHS manifolds whose universal families induce derived equivalences.

desk verdict The paper gives a uniform construction turning moduli components of modular bundles on K3^[n]-type IHS into new IHS of the same type in any even dimension, plus derived equivalences via the universal family. read the letter →

arxiv 2606.23622 v1 pith:C6IMXJFZ submitted 2026-06-22 math.AG

Nicolò Bignami , Ludovica Buelli , Irene Macías Tarrío , Roberto Vacca , Vanja Zuliani This is my paper
classification math.AG
keywords modulispacesvectorbundlesirreducibleholomorphicsymplecticmanifoldsK3^{[n]}-typederivedequivalencesalgebraicgeometrydeformations
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

The paper investigates moduli spaces of modular vector bundles on projective irreducible holomorphic symplectic manifolds of K3^{[n]}-type. It establishes that, given appropriate numerical conditions on the bundles, certain connected components of these moduli spaces are themselves irreducible holomorphic symplectic manifolds of K3^{[n]}-type. The universal families on these components induce derived equivalences with the original manifolds. The construction yields smooth components of such moduli spaces on IHS manifolds of any even dimension.

What carries the argument

Moduli spaces of modular vector bundles with fixed numerical invariants (Chern classes or Mukai vectors), whose connected components become IHS manifolds of K3^{[n]}-type under the stated conditions, carrying universal families that induce derived equivalences.

What would settle it

An explicit example of a modular vector bundle satisfying the numerical assumptions whose moduli component is either singular, not of K3^{[n]}-type, or whose universal family fails to induce a derived equivalence.

Watch

Extended reading notes

Core claim

We study moduli spaces of modular vector bundles on projective irreducible holomorphic symplectic manifolds of K3^{[n]}-type. Under suitable numerical assumptions, we exhibit connected components of these moduli spaces which are again irreducible holomorphic symplectic manifolds of K3^{[n]}-type. Moreover, the corresponding universal families induce derived equivalences with the original manifolds. This produces smooth components of moduli spaces of modular vector bundles on irreducible holomorphic symplectic manifolds of any even dimension.

Load-bearing premise

The numerical assumptions on the Chern classes or Mukai vectors of the bundles suffice to ensure the moduli components are smooth, irreducible, and of K3^{[n]}-type with the universal family inducing a derived equivalence.

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

1 major / 0 minor

Summary. The manuscript studies moduli spaces of modular vector bundles on projective irreducible holomorphic symplectic manifolds of K3^[n]-type. Under suitable numerical assumptions, it exhibits connected components of these moduli spaces which are again irreducible holomorphic symplectic manifolds of K3^[n]-type. Moreover, the corresponding universal families induce derived equivalences with the original manifolds. This produces smooth components of moduli spaces of modular vector bundles on irreducible holomorphic symplectic manifolds of any even dimension.

Significance. If the constructions hold, the result would be significant for providing explicit constructions of new IHS manifolds of K3^[n]-type via moduli of vector bundles and for linking them through derived equivalences, extending such phenomena to IHS manifolds in arbitrary even dimension.

major comments (1)
  1. [Abstract] Abstract: The central claim depends on unspecified 'suitable numerical assumptions' on Chern classes or Mukai vectors being sufficient to guarantee that the moduli components are smooth, irreducible, and of K3^[n]-type with the universal family inducing a derived equivalence. No explicit statement of these assumptions or verification via deformation theory, stability, or lattice computations is visible, preventing assessment of the claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for greater precision in the abstract. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The central claim depends on unspecified 'suitable numerical assumptions' on Chern classes or Mukai vectors being sufficient to guarantee that the moduli components are smooth, irreducible, and of K3^[n]-type with the universal family inducing a derived equivalence. No explicit statement of these assumptions or verification via deformation theory, stability, or lattice computations is visible, preventing assessment of the claim.

    Authors: We agree the abstract is too terse. The assumptions are stated explicitly in the introduction and Section 2: the Mukai vector v must satisfy v² = 2 and lie in the positive cone with divisibility conditions ensuring the expected dimension equals 2n. Smoothness and irreducibility of the component follow from a standard deformation-obstruction argument (vanishing of Ext² under these numerical conditions), stability is guaranteed by the choice of v, and the K3^[n]-type identification is obtained via lattice computations matching the Beauville–Bogomolov–Fujiki form and the period map. The derived equivalence is induced by the universal family via a Fourier–Mukai transform whose kernel is shown to be a P-functor. To make the claim self-contained we will revise the abstract to include a concise statement of these conditions. revision: partial

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: construction from numerical assumptions on Chern classes/Mukai vectors

full rationale

The paper presents a construction: under suitable numerical assumptions on Chern classes or Mukai vectors, certain connected components of moduli spaces of modular vector bundles on K3^[n]-type IHS manifolds are themselves IHS of K3^[n]-type, with universal families inducing derived equivalences. No equations, self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The result is framed as an existence result via deformation theory and stability conditions rather than a tautological renaming or reduction to prior self-citations. The derivation chain is self-contained against external benchmarks in algebraic geometry (moduli of sheaves on hyperkähler manifolds), with no reduction of outputs to inputs by construction.

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

Abstract provides no explicit free parameters, axioms, or invented entities; all details of the numerical assumptions and proof structure are absent.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On moduli spaces of vector bundles on $K3^{[n]}$-type IHS manifolds." pith.science (2026). https://pith.science/paper/C6IMXJFZ

@misc{pith2026260623622,
  author       = {Pith},
  title        = {Pith review of: On moduli spaces of vector bundles on $K3^[n]$-type IHS manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C6IMXJFZ}},
  note         = {Machine review of arXiv:2606.23622}
}
abstract

We study moduli spaces of modular vector bundles on projective irreducible holomorphic symplectic manifolds of $K3^{[n]}$-type. Under suitable numerical assumptions, we exhibit connected components of these moduli spaces which are again irreducible holomorphic symplectic manifolds of $K3^{[n]}$-type. Moreover, the corresponding universal families induce derived equivalences with the original manifolds. This produces smooth components of moduli spaces of modular vector bundles on irreducible holomorphic symplectic manifolds of any even dimension.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

58 extracted references · 10 canonical work pages

  1. [1]

    Apostolov, Moduli spaces of polarised irreducible symplectic manifolds are not necessarily connected, Ann

    A. Apostolov, Moduli spaces of polarised irreducible symplectic manifolds are not necessarily connected, Ann. Inst. Fourier 64 (2014), no. 1, 189--202

    2014

  2. [2]

    Anchouche, I

    B. Anchouche, I. Biswas, Einstein-Hermitian connections on polystable principal bundles over a compact K\"ahler manifold, Amer.\ J.\ Math.\ 123 (2001), no. 2, 207--228

    2001

  3. [3]

    Alper, Stacks and Moduli, working draft (lecture notes), version January 5, 2026

    J. Alper, Stacks and Moduli, working draft (lecture notes), version January 5, 2026. Available at https://sites.math.washington.edu/ jarod/moduli.pdf

    2026

  4. [4]

    Beauville, Vari\'et\'es k\"ahl\'eriennes dont la premi\`ere classe de Chern est nulle, J.\ Differential Geom.\ 18 (1983), 755--782

    A. Beauville, Vari\'et\'es k\"ahl\'eriennes dont la premi\`ere classe de Chern est nulle, J.\ Differential Geom.\ 18 (1983), 755--782

    1983

  5. [5]

    Beckmann, Atomic objects on hyper-K\"ahler manifolds, J

    T. Beckmann, Atomic objects on hyper-K\"ahler manifolds, J. Algebraic Geom. 34 (2025), no. 1, 109--160

    2025

  6. [6]

    Biswas, T

    I. Biswas, T. L. G\'omez, N. Hoffmann, A. Hogadi, Einstein--Hermitian connection on twisted Higgs bundles, C.\ R.\ Math.\ Acad.\ Sci.\ Paris 348 (2010), no. 17--18, 981--983

    2010

  7. [7]

    van Bree, A

    D. van Bree, A. Gholampour, Y. Jiang, M. Kool, A virtual PGL_r - SL_r correspondence for projective surfaces , Moduli 2 (2025), e5, 1--41

    2025

  8. [8]

    Bridgeland, A

    T. Bridgeland, A. King, M. Reid, The McKay correspondence as an equivalence of derived categories, J.\ Amer.\ Math.\ Soc.\ 14 (2001), no. 3, 535--554

    2001

Show all 58 references
  1. [9]

    Bottini, E

    A. Bottini, E. Macr\`i, P. Stellari, Hyper-K\"ahler varieties: Lagrangian fibrations, atomic sheaves, and categories, Preprint, arXiv:2603.23033 https://arxiv.org/abs/2603.23033

    arXiv

  2. [10]

    Bottini, Towards a modular construction of OG10, Compos

    A. Bottini, Towards a modular construction of OG10, Compos. Math. 160 (2024), no. 10, 2496--2529

    2024

  3. [11]

    Bottini, O'Grady's tenfolds from stable bundles on hyper-Kähler fourfolds, Preprint, arXiv:2411.18528 https://arxiv.org/abs/2411.18528

    A. Bottini, O'Grady's tenfolds from stable bundles on hyper-Kähler fourfolds, Preprint, arXiv:2411.18528 https://arxiv.org/abs/2411.18528

  4. [12]

    Boucksom, Le cône kählérien d'une variété hyperkählérienne

    S. Boucksom, Le cône kählérien d'une variété hyperkählérienne. C. R. Acad. Sci. Paris Sér. I Math. 333 (2001), no. 10, 935--938

    2001

  5. [13]

    Buskin, Every rational Hodge isometry between two K3 surfaces is algebraic, J.\ Reine Angew.\ Math.\ 755 (2019), 127--150

    N. Buskin, Every rational Hodge isometry between two K3 surfaces is algebraic, J.\ Reine Angew.\ Math.\ 755 (2019), 127--150

    2019

  6. [14]

    C a ld a raru, Derived categories of twisted sheaves on Calabi--Yau manifolds, Ph.D.\ thesis, Cornell University, 2000

    A. C a ld a raru, Derived categories of twisted sheaves on Calabi--Yau manifolds, Ph.D.\ thesis, Cornell University, 2000. Available at https://people.math.wisc.edu/ caldararu/publications/ThesisSingleSpaced.pdf

    2000

  7. [15]

    C a ld a raru, Nonfine moduli spaces of sheaves on K3 surfaces, Int.\ Math.\ Res.\ Not.\ 2002 (2002), no

    A. C a ld a raru, Nonfine moduli spaces of sheaves on K3 surfaces, Int.\ Math.\ Res.\ Not.\ 2002 (2002), no. 20, 1027--1056

    2002

  8. [16]

    Debarre, Hyper-Kähler manifolds, Milan J

    O. Debarre, Hyper-Kähler manifolds, Milan J. Math. 90 (2022), no. 2, 305--387

    2022

  9. [17]

    Fatighenti, Examples of non-rigid, modular vector bundles on hyperk\"ahler manifolds, Int

    E. Fatighenti, Examples of non-rigid, modular vector bundles on hyperk\"ahler manifolds, Int. Math. Res. Not. IMRN 2024 , no. 10, 8782--8793; MR4749187

    2024

  10. [18]

    Fatighenti, C

    E. Fatighenti, C. Onorati, Modular vector bundles with and without moduli, Preprint, arXiv:2409.12821 https://arxiv.org/abs/2409.12821

  11. [19]

    Frassineti, F

    A. Frassineti, F. Tufo, Modular vector bundles on hyperkähler manifolds of Debarre-Voisin type, Preprint, arXiv:2502.18360 https://arxiv.org/abs/2502.18360

  12. [20]

    Gritsenko, K

    V. Gritsenko, K. Hulek, G. K. Sankaran, Abelianisation of orthogonal groups and the fundamental group of modular varieties, J.\ Algebra 322 (2009), no. 2, 463--478

    2009

  13. [21]

    Gritsenko, K

    V. Gritsenko, K. Hulek, G. K. Sankaran, Moduli spaces of irreducible symplectic manifolds, Compos. Math. 146 (2010), no. 2, 404--434

    2010

  14. [22]

    D. Greb, J. Ross, M. Toma, Moduli of vector bundles on higher-dimensional base manifolds---construction and variation, Internat. J. Math. 27 (2016), no. 7, 1650054, 27 pp

    2016

  15. [23]

    D. Greb, M. Toma, Compact moduli spaces for slope-semistable sheaves, Algebr. Geom. 4 (2017), no. 1, 40–-78

    2017

  16. [24]

    Hotchkiss, D

    J. Hotchkiss, D. Maulik, J- Shen, Q. Yin, R. Zhang, The period-index problem for hyper-K\"ahler varieties via hyperholomorphic bundles, Preprint, arXiv:2502.09774 https://arxiv.org/pdf/2502.09774

  17. [25]

    Huybrechts, Compact hyperk\"ahler manifolds: basic results, Invent.\ Math.\ 135 (1999), no

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

    1999

  18. [26]

    Huybrechts, Fourier--Mukai transforms in algebraic geometry, Oxford Mathematical Monographs, Oxford Univ

    D. Huybrechts, Fourier--Mukai transforms in algebraic geometry, Oxford Mathematical Monographs, Oxford Univ. Press, Oxford, 2006

    2006

  19. [27]

    Huybrechts, Lectures on K3 Surfaces, Camb.\ Stud.\ Adv.\ Math.\ 158 (2016)

    D. Huybrechts, Lectures on K3 Surfaces, Camb.\ Stud.\ Adv.\ Math.\ 158 (2016)

    2016

  20. [28]

    Huybrechts, M

    D. Huybrechts, M. Lehn, The geometry of moduli spaces of sheaves (2nd ed.), Cambridge Univ.\ Press (2010)

    2010

  21. [29]

    Huybrechts, S

    D. Huybrechts, S. Schr\"oer, The Brauer group of analytic K3 surfaces, Int.\ Math.\ Res.\ Not.\ 2003 (2003), no. 50, 2687--2698

    2003

  22. [30]

    Huybrechts, P

    D. Huybrechts, P. Stellari, Equivalences of twisted K3 surfaces, Math.\ Ann.\ 332 (2005), 901--936

    2005

  23. [31]

    Iliev, G

    A. Iliev, G. Kapustka, M. Kapustka, K. Ranestad, EPW cubes, J. Reine Angew. Math. 748 (2019), 241--268

    2019

  24. [32]

    A. J. de Jong, A result of Gabber, Preprint, https://www.math.columbia.edu/ dejong/papers/2-gabber.pdf

  25. [33]

    Kapustka, M

    G. Kapustka, M. Kapustka, Constructions of derived equivalent hyper-K\"ahler fourfolds, Preprint, https://arxiv.org/abs/2312.14543 , 2023

    2023

  26. [34]

    A. Krug, F. Reede, Z. Zhang, Moduli spaces of generalised tautological bundles on Hilbert schemes, Preprint, arXiv:2510.11298 https://arxiv.org/abs/2510.11298

  27. [35]

    C. Lehn, M. Lehn, C. Sorger, D. van Straten, Twisted cubics on cubic fourfolds, J. Reine Angew. Math. 731 (2017), 87--128

    2017

  28. [36]

    Markman, On the monodromy of moduli spaces of sheaves on K3 surfaces, J.\ Algebraic Geom.\ 17 (2008), no

    E. Markman, On the monodromy of moduli spaces of sheaves on K3 surfaces, J.\ Algebraic Geom.\ 17 (2008), no. 3, 29--99

    2008

  29. [37]

    Markman, Integral constraints on the monodromy group of the hyperk\"ahler resolution of a symmetric product of a K3 surface, Int.\ J.\ Math.\ 21 (2010), 169--223

    E. Markman, Integral constraints on the monodromy group of the hyperk\"ahler resolution of a symmetric product of a K3 surface, Int.\ J.\ Math.\ 21 (2010), 169--223

    2010

  30. [38]

    E. Markman, A survey of Torelli and monodromy results for holomorphic-symplectic varieties, in Complex and differential geometry, Springer Proc.\ Math.\ 8, Springer, Heidelberg, 2011, 257--322

    2011

  31. [39]

    Markman, The Beauville--Bogomolov class as a characteristic class, J.\ Algebraic Geom.\ 29 (2020), no

    E. Markman, The Beauville--Bogomolov class as a characteristic class, J.\ Algebraic Geom.\ 29 (2020), no. 2, 199--245

    2020

  32. [40]

    Markman, Stable vector bundles on a hyper-K\"ahler manifold with a rank 1 obstruction map are modular, Kyoto J.\ Math.\ 64 (2024), no

    E. Markman, Stable vector bundles on a hyper-K\"ahler manifold with a rank 1 obstruction map are modular, Kyoto J.\ Math.\ 64 (2024), no. 3, 635--742

    2024

  33. [41]

    Markman, Rational Hodge isometries of hyper-K\"ahler varieties of K3^ [n] -type are algebraic , Compos.\ Math.\ 160 (2024), no

    E. Markman, Rational Hodge isometries of hyper-K\"ahler varieties of K3^ [n] -type are algebraic , Compos.\ Math.\ 160 (2024), no. 6, 1261--1303

    2024

  34. [42]

    Maulik, J

    D. Maulik, J. Shen, Q. Yin, R. Zhang, The D-equivalence conjecture for hyper-K\"ahler varieties via hyperholomorphic bundles, Invent.\ Math.\ 241 (2025), no. 1, 309--324

    2025

  35. [43]

    Mukai, Symplectic structure of the moduli space of sheaves on an abelian or K3 surface, Invent

    S. Mukai, Symplectic structure of the moduli space of sheaves on an abelian or K3 surface, Invent. Math. 77, 1984, no. 1, 101--116

    1984

  36. [44]

    Mukai, On the moduli space of bundles on K3 surfaces

    S. Mukai, On the moduli space of bundles on K3 surfaces. I, in Vector Bundles on Algebraic Varieties (Bombay, 1984), Tata Inst.\ Fund.\ Res.\ Stud.\ Math.\ 11, 1987, 341--413

    1984

  37. [45]

    K. G. O'Grady, Periods of double EPW-sextics, Math. Z. 280 (2015), no. 1--2, 485--524

    2015

  38. [46]

    K. G. O'Grady, Modular sheaves on hyperkähler varieties, Algebr. Geom. 9 (2022), no. 1, 1--38

    2022

  39. [47]

    K. G. O'Grady, Modular sheaves with many moduli, Geom.\ Topol.\ 30 (2026), no. 1, 203--246

    2026

  40. [48]

    K. G. O'Grady, Moduli of sheaves on hyperk\"ahler manifolds, Preprint, arXiv:2602.23194 https://arxiv.org/abs/2602.23194

  41. [49]

    K. G. O'Grady, HK manifolds of Type K3^ [a^2+1] as moduli spaces of projective bundles on HK manifolds of Type K3^ [2] , Preprint, arXiv:2606.03775 https://arxiv.org/abs/2606.03775

    arXiv

  42. [50]

    Pavel, M

    M. Pavel, M. Toma, Slope-semistability and moduli of coherent sheaves: a survey, Rev.\ Roumaine Math.\ Pures Appl.\ 70 (2025), no. 1--2, 85--105

    2025

  43. [51]

    Reede, Z

    F. Reede, Z. Zhang, Examples of smooth components of moduli spaces of stable sheaves, Manuscripta Math.\ 165 (2021), no. 3--4, 605--621

    2021

  44. [52]

    Schr\"oer, Topological methods for complex-analytic Brauer groups, Topology 44 (2005), no

    S. Schr\"oer, Topological methods for complex-analytic Brauer groups, Topology 44 (2005), no. 5, 875--894

    2005

  45. [53]

    Taelman, Derived equivalences of hyperkähler varieties, Geom

    L. Taelman, Derived equivalences of hyperkähler varieties, Geom. Topol., 27 7 (2023), 2649-2693

    2023

  46. [54]

    Verbitsky, Hyperholomorphic bundles over a hyperk\"ahler manifold, J.\ Algebraic Geom.\ 5 (1996), no

    M. Verbitsky, Hyperholomorphic bundles over a hyperk\"ahler manifold, J.\ Algebraic Geom.\ 5 (1996), no. 4, 633--669

    1996

  47. [55]

    ahler manifolds, in Hyperk\

    M. Verbitsky, Hyperholomorphic sheaves and new examples of hyperk\"ahler manifolds, in Hyperk\"ahler Manifolds, International Press, Somerville, MA, 1999, 15--127

    1999

  48. [56]

    Verbitsky, Mapping class group and a global Torelli theorem for hyperk\"ahler manifolds, Duke Math.\ J.\ 162 (2013), no

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

    2013

  49. [57]

    Yoshioka, Stability and the Fourier-Mukai transform

    K. Yoshioka, Stability and the Fourier-Mukai transform. II, Compos. Math. 145 (2009), no. 1, 112--142

    2009

  50. [58]

    Zhang, A twisted derived category of hyper-K\"ahler varieties of K3^ [n] -type , Preprint, arXiv:2502.02143 https://arxiv.org/pdf/2502.02143

    R. Zhang, A twisted derived category of hyper-K\"ahler varieties of K3^ [n] -type , Preprint, arXiv:2502.02143 https://arxiv.org/pdf/2502.02143

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.