Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

HK manifolds of Type $K3^{[a^2+1]}$ as moduli spaces of projective bundles on HK manifolds of Type $K3^{[2]}$

T0 review · 2 major / 2 minor · reviewed 2026-06-28 · grok-4.3

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

Pith's one-line read The moduli space of slope-stable projective bundles on a K3^{[2]} hyperkähler manifold has a component whose normalization is a K3^{[a^2+1]} hyperkähler manifold, and conversely.

desk verdict O'Grady constructs K3^[a^2+1] hyperkähler manifolds as normalizations of moduli components of projective bundles on K3^[2] ones, with an induced rational Hodge isometry and Shafarevich consequence. read the letter →

arxiv 2606.03775 v1 pith:3YDAR4KW submitted 2026-06-02 math.AG

Kieran G. O'Grady This is my paper
classification math.AG
keywords hyperkählermanifoldsmodulispacesofbundlesprojectiveslopestabilityHodgeisometriesK3^{[n]}ShafarevichconjecturemockMukaivector
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 shows that for a projective hyperkähler manifold $X$ of type $K3^{[2]}$ with generic ample class $h$, the moduli space of $h$-slope stable projective bundles with a certain mock Mukai vector contains an irreducible component whose normalization is a projective hyperkähler manifold of type $K3^{[a^2+1]}$. Every projective hyperkähler manifold of type $K3^{[a^2+1]}$ arises in this manner from some such $X$ and $h$. The universal bundle on the product space induces a rational Hodge isometry between the second cohomology of $X$ and of the normalized moduli space. This implies an analogue of the Shafarevich conjecture for rational Hodge isometries between hyperkähler manifolds of these two types. The results extend to general non-projective hyperkähler manifolds of type $K3^{[2]}$.

What carries the argument

The moduli space of $h$-slope-stable projective bundles with mock Mukai vector $\overline{\bf w}_a$ on $X$ of type $K3^{[2]}$, whose normalization yields the target hyperkähler manifold and whose universal bundle supplies the rational Hodge isometry via its second Chern class.

What would settle it

A projective hyperkähler manifold of type $K3^{[a^2+1]}$ that is not isomorphic to the normalization of any such moduli component for any $(X,h)$, or an explicit case where the map induced by the second Chern class of the universal bundle fails to be a rational Hodge isometry.

Watch

Extended reading notes

Core claim

We prove that the moduli space $M_{\overline{\bf w}}_a(X,h)$ contains an irreducible component $M^*$ whose normalization $\widetilde{M}^*$ is a projective HK manifold of Type $K3^{[a^2+1]}$, and conversely every projective HK manifold $W$ of Type $K3^{[a^2+1]}$ is isomorphic to $\widetilde{M}_{\overline{\bf w}}_a(X,h)^*$ for suitable $(X,h)$. The universal bundle induces a rational Hodge isometry $H^2(X) \to H^2(\widetilde{M}^*)$. From this and a result of Markman the analogue of the Shafarevich conjecture holds for rational Hodge isometries $H^2(W_1) \to H^2(W_2)$ between projective hyperkähler manifolds of Types $K3^{[a_1^2+1]}$ and $K3^{[a_2^2+1]}$.

Load-bearing premise

The chosen mock Mukai vector and slope-stability condition produce a moduli space component whose normalization is smooth and hyperkähler of type $K3^{[a^2+1]}$, relying on Verbitsky's theory of projectively hyperhomolorphic vector bundles.

Editorial extensions

If this is right

  • The normalization of the relevant component is a projective hyperkähler manifold of type K3^{[a^2+1]}.
  • Every projective hyperkähler manifold of type K3^{[a^2+1]} arises as such a normalized moduli space for suitable (X,h).
  • The universal bundle induces a rational Hodge isometry between H^2(X) and H^2 of the normalization.
  • The Shafarevich conjecture analogue holds for rational Hodge isometries between manifolds of types K3^{[a_1^2+1]} and K3^{[a_2^2+1]}.
  • Analogous results hold when X is a general non-projective hyperkähler manifold of type K3^{[2]}.

Reading between the lines

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

  • The construction supplies an explicit bridge between the deformation spaces of K3^{[2]} and K3^{[a^2+1]} hyperkähler manifolds.
  • One could compute the Hodge structure or period domain data for specific small values of a by starting from known K3^{[2]} examples.
  • This realization may help decide whether certain birational maps or automorphisms lift across the two types.
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

2 major / 2 minor

Summary. The paper constructs moduli spaces M_{\overline{\bf w}}_a(X,h) of h-slope-stable projective bundles on a projective hyperkähler manifold X of type K3^{[2]} with generic ample class h and a suitable mock Mukai vector \overline{\bf w}_a. It claims that an irreducible component M^* has normalization \widetilde{M}^* that is a projective HK manifold of type K3^{[a^2+1]}, with the converse holding for every such W via suitable (X,h). The universal bundle induces a rational Hodge isometry H^2(X) \to H^2(\widetilde{M}^*) via its second Chern class. This yields an analogue of the Shafarevich conjecture (special case of Hodge conjecture) for rational Hodge isometries between projective HK manifolds of types K3^{[a_1^2+1]} and K3^{[a_2^2+1]} via Markman's result. Analogous statements are proved for general (non-projective) HK manifolds of type K3^{[2]} using Verbitsky's theory of projectively hyperhomolorphic vector bundles.

Significance. If the central claims hold, the work supplies an explicit moduli-theoretic realization of HK manifolds of type K3^{[a^2+1]} from those of type K3^{[2]}, produces rational Hodge isometries between them, and establishes a verifiable special case of the Hodge conjecture analogue for these varieties. The construction leverages Verbitsky's and Markman's results in a concrete way that may extend to deformation theory and classification questions for hyperkähler manifolds.

major comments (2)
  1. [Abstract / main construction] The load-bearing step is the assertion that the chosen mock Mukai vector \overline{\bf w}_a together with slope-stability for generic h produces a moduli component M^* whose normalization is smooth and hyperkähler of type K3^{[a^2+1]}. The manuscript treats Verbitsky's theory of projectively hyperhomolorphic bundles as a black box; an explicit check is required that the resulting space satisfies the conditions for the Beauville-Bogomolov-Fujiki form and the correct dimension (see the statement of the main theorem and the application in the proof of the normalization being HK).
  2. [Universal bundle / Hodge isometry paragraph] The induced map on H^2 via c_2 of the universal bundle is claimed to be a rational Hodge isometry. The manuscript must verify that this map is indeed an isometry with respect to the BBF quadratic forms on both sides and that it is defined over \mathbb{Q} (the relevant computation of the second Chern class and its pairing appears to be omitted from the high-level statement).
minor comments (2)
  1. [Abstract] Spelling: 'Verbistsky's' should be 'Verbitsky's' and 'hyperhomolorphic' should be 'hyperhomomorphic' (or the standard term used in Verbitsky's papers).
  2. [Throughout] Notation: the mock Mukai vector is written both as \overline{\bf w}_a and \overline{\bf w}_a; consistent boldface or overline usage would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive comments. We address each major point below and will incorporate the requested clarifications in a revised version of the manuscript.

read point-by-point responses

  1. Referee: [Abstract / main construction] The load-bearing step is the assertion that the chosen mock Mukai vector \overline{\bf w}_a together with slope-stability for generic h produces a moduli component M^* whose normalization is smooth and hyperkähler of type K3^{[a^2+1]}. The manuscript treats Verbitsky's theory of projectively hyperhomolorphic bundles as a black box; an explicit check is required that the resulting space satisfies the conditions for the Beauville-Bogomolov-Fujiki form and the correct dimension.

    Authors: We agree that the manuscript would benefit from a more explicit verification of the hyperkähler property, BBF form, and dimension in the main theorem. In the revision we will add a dedicated subsection that directly invokes the relevant statements from Verbitsky's theory of projectively hyperhomolorphic bundles to confirm that M^* is smooth, that its BBF quadratic form matches the expected lattice, and that its dimension equals 2(a^2+1). This will make the application fully transparent while preserving the overall structure of the argument. revision: yes

  2. Referee: [Universal bundle / Hodge isometry paragraph] The induced map on H^2 via c_2 of the universal bundle is claimed to be a rational Hodge isometry. The manuscript must verify that this map is indeed an isometry with respect to the BBF quadratic forms on both sides and that it is defined over \mathbb{Q}.

    Authors: We acknowledge that the explicit computation establishing that the map induced by c_2 is a rational isometry for the BBF forms is currently only sketched at a high level. The revised manuscript will include the direct calculation of the second Chern class of the universal bundle together with its pairings against the BBF forms on both H^2(X) and H^2(\widetilde{M}^*), confirming both that the map is an isometry and that all coefficients lie in \mathbb{Q}. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation uses external theorems

full rationale

The paper constructs the moduli space M_{\overline{\bf w}}_a(X,h) from a chosen mock Mukai vector and generic ample class h on a K3^{[2]}-type HK manifold X. It then invokes Verbitsky's external theory of projectively hyperhomolorphic vector bundles to establish that the normalization of the indicated component is a projective HK manifold of type K3^{[a^2+1]}. The converse isomorphism and the induced rational Hodge isometry are obtained from Markman's independent result. Neither step reduces the claimed output to the input by definition, by fitting a parameter to a related quantity, or by a self-citation chain; the cited results are external and not authored by O'Grady. No self-definitional, fitted-input, or ansatz-smuggling patterns appear in the stated derivation chain.

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

The central claims rest on standard results in hyperkähler geometry and moduli theory plus one external theory; no free parameters or new entities are introduced in the abstract.

assumptions (1)
  • domain assumption Verbitsky's theory of projectively hyperhomolorphic vector bundles
    Invoked as a key ingredient for the non-projective case and the existence of the desired component.

how reviews work

0 comments
Cite this review

Pith. "Pith review of HK manifolds of Type $K3^{[a^2+1]}$ as moduli spaces of projective bundles on HK manifolds of Type $K3^{[2]}$." pith.science (2026). https://pith.science/paper/3YDAR4KW

@misc{pith2026260603775,
  author       = {Pith},
  title        = {Pith review of: HK manifolds of Type $K3^[a^2+1]$ as moduli spaces of projective bundles on HK manifolds of Type $K3^[2]$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3YDAR4KW}},
  note         = {Machine review of arXiv:2606.03775}
}
abstract

We prove results on moduli spaces of slope stable bundles of projective spaces on a hyperk\"ahler manifold of Type $K3^{[2]}$. Let $X$ be projective of Type $K3^{[2]}$ and $h$ be a (generic) ample class. We prove that the moduli space $M_{{\overline{\bf w}}_a}(X,h)$ parametrizing $h$ slope stable bundles with a suitable mock Mukai vector ${\overline{\bf w}}_a$ contains an irreducible component $M_{{\overline{\bf w}}_a}(X,h)^{*}$ whose normalization $\widetilde{M}_{{\overline{\bf w}}_a}(X,h)^{*}$ is a (projective) HK manifold of Type $K3^{[a^2+1]}$, and that conversely every projective HK manifold $W$ of Type $K3^{[a^2+1]}$ is isomorphic to $\widetilde{M}_{{\overline{\bf w}}_a}(X,h)^{*}$ for a suitable $(X,h)$ as above. Moreover the universal bundle of projective spaces on $X\times \widetilde{M}_{{\overline{\bf w}}_a}(X,h)^{*}$ defines a vector bundle whose $2nd$ Chern class defines a rational Hodge isometry $H^2(X)\to H^2(\widetilde{M}_{{\overline{\bf w}}_a}(X,h)^{*})$. From this and a result of Markman one gets that the analogue of the Shafarevich conjecture (a special case of the Hodge conjecture) holds for rational Hodge isometries $H^2(W_1) \to H^2(W_2)$ between projective hyperk\"ahler manifolds $W_1,W_2$ of Types $K3^{[a_1^2+1]}$ and $K3^{[a_2^2+1]}$ respectively. We prove results also for $(X,\omega)$ a general HK manifold of Type $K3^{[2]}$. In fact one ingredient in our proof is Verbistsky's theory of projectively hyperhomolorphic vector bundles.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.AG 2026-06 unverdicted novelty 7.0 of 10

    Under numerical assumptions, connected components of moduli spaces of modular vector bundles on K3^{[n]}-type IHS manifolds are again IHS manifolds of K3^{[n]}-type and induce derived equivalences with the original manifolds.

Reference graph

Works this paper leans on

31 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [2]

    Arend Bayer, Mart\' \ Lahoz, Emanuele Macr\` , Howard Nuer, Alexander Perry, Paolo Stellari, Stability conditions in families\/, Publ. Math. Inst. Hautes \'Etudes Sci. 133 (2021), 157--325

    2021

  2. [1]

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

    2001

  3. [3]

    Algebraic Geom

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

    2025

  4. [4]

    Indranil Biswas, Georg Schumacher, K\"ahler structure on moduli spaces of principal bundles\/, Differential Geom. Appl. 25 (2007), 136--146

    2007

  5. [5]

    Bogomolov, Stability of vector bundles on surfaces and curves\/, Einstein metrics and Yang-Mills connections (Sanda, 1990) LNPAM 145 ( 1993) Marcel Dekker, Inc., New York, 35--49

    Fedor A. Bogomolov, Stability of vector bundles on surfaces and curves\/, Einstein metrics and Yang-Mills connections (Sanda, 1990) LNPAM 145 ( 1993) Marcel Dekker, Inc., New York, 35--49

    1990

  6. [6]

    Alessio Bottini, Towards a modular construction of OG10\/, Compos. Math. 160 (2024), 2496--2529

    2024

  7. [7]

    Alessio Bottini, O'Grady's tenfolds from stable bundles on hyper-K\"ahler fourfolds\/, arXiv:2411.18528v2 [math.AG]

    work page arXiv

  8. [8]

    Andrei Horia Caldararu, Derived categories of twisted sheaves on Calabi-Yau manifolds\/, Thesis (Ph.D.)–Cornell University (2000), ProQuest LLC, Ann Arbor, MI

    2000

Show all 31 references
  1. [9]

    Valeri Gritsenko, Klaus Hulek, Gregory Sankaran,

  2. [10]

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

    1999

  3. [11]

    ahler cone of a compact hyperk\

    Daniel Huybrechts, The K\"ahler cone of a compact hyperk\"ahler manifold\/, Math. Ann. 326 (2003), 499--513

    2003

  4. [12]

    Daniel Huybrechts - Manfred Lehn, The geometry of moduli spaces of sheaves\/, Second edition, CUP (2010)

    2010

  5. [13]

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

    2003

  6. [14]

    2010/2011

    Daniel Huybrechts, A global Torelli theorem for hyperk\"ahler manifolds [after Verbitsky]\/, S\'eminaire Bourbaki: Vol. 2010/2011. Ast\'erisque 348 (2012), 375--403

    2010

  7. [15]

    Adrian Langer, Semistable sheaves in positive characteristic\/, Ann. of Math. 159 (2004), 251--276

    2004

  8. [16]

    Algebraic Geom

    Eyal Markman, Brill-Noether duality for moduli spaces of sheaves on K3 surfaces\/, J. Algebraic Geom. 10 (2001), 623--694

    2001

  9. [17]

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

    2024

  10. [18]

    64 (2024), 1261--1303

    Eyal Markman, Rational Hodge isometries of hyper-K\"ahler varieties of K3^ [n] type are algebraic , Compositio Math. 64 (2024), 1261--1303

    2024

  11. [19]

    Francesco Meazzini, Claudio Onorati, Deformations of twisted sheaves and formality results\/, arXiv:2509.03180v1 (2025)

    2025

  12. [20]

    Shigeru Mukai, On the moduli space of bundles on K3 surfaces, I\/, in Vector bundles on algebraic varieties (Bombay, 1984) Tata Inst. Fund. Res. (1987)

    1984

  13. [21]

    O'Grady, Moduli of abelian and K3 surfaces\/, Thesis (Ph.D.) - Brown University

    Kieran G. O'Grady, Moduli of abelian and K3 surfaces\/, Thesis (Ph.D.) - Brown University. ProQuest LLC, Ann Arbor, MI, 1986

    1986

  14. [22]

    O'Grady, The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface\/, J

    Kieran G. O'Grady, The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface\/, J. Algebraic Geom. 6 (1997), 599--644

    1997

  15. [23]

    O'Grady, Modular sheaves on hyperk \"a hler varieties\/ , Algebr

    Kieran G. O'Grady, Modular sheaves on hyperk \"a hler varieties\/ , Algebr. Geom. 9 (2022), 1--38

    2022

  16. [24]

    O'Grady, Rigid stable vector bundles on hyperk\"ahler varieties of type K3^ [n] \/ , J

    Kieran G. O'Grady, Rigid stable vector bundles on hyperk\"ahler varieties of type K3^ [n] \/ , J. Inst. Math. Jussieu 23 (2024), 2051--2080

    2024

  17. [25]

    O'Grady, Rigid stable rank 4 vector bundles on HK fourfolds of Kummer type\/, \'Epijournal G\'eom

    Kieran G. O'Grady, Rigid stable rank 4 vector bundles on HK fourfolds of Kummer type\/, \'Epijournal G\'eom. Alg\'ebrique [2023–2025] Special volume in honour of Claire Voisin, Art. 19, 51 pp

    2023

  18. [26]

    O'Grady, Modular sheaves with many moduli\/, Geometry and Topology 30 (2026), 203--246

    Kieran G. O'Grady, Modular sheaves with many moduli\/, Geometry and Topology 30 (2026), 203--246

    2026

  19. [27]

    Arvid Perego, Kobayashi-Hitchin correspondence for twisted vector bundles\/, Complex Manifolds 8 (2021), 1--95

    2021

  20. [28]

    Israel Vainsencher, Complete collineations and blowing up determinantal ideals\/, Math. Ann. 267 (1984), no. 3, 417--432

    1984

  21. [29]

    Algebraic Geom

    Mikhail Verbitsky, Hyperholomorphic bundles over a hyper- K \" a hler manifold\/ , J. Algebraic Geom. 5 (1996), 633--669

    1996

  22. [30]

    The Stacks Project Authors, The Stacks Project, 2023, available at https://stacks.math.columbia.edu/

    2023

  23. [31]

    K o ta Yoshioka, Moduli spaces of stable sheaves on abelian surfaces\/, Math. Ann. 321 (2001), 817--884

    2001

Pith tools

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