pith. machine review for the scientific record. sign in

arxiv: 2603.23033 · v2 · submitted 2026-03-24 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

Hyper-K\"ahler varieties: Lagrangian fibrations, atomic sheaves, and categories

Alessio Bottini , Emanuele Macr\`i , Paolo Stellari
Authors on Pith no claims yet

Pith reviewed 2026-05-15 00:51 UTC · model grok-4.3

classification 🧮 math.AG
keywords hyper-Kähler varietiesLagrangian fibrationsatomic sheavesderived categoriesmoduli spaces of stable sheavescompact varietiesalgebraic geometry
0
0 comments X

The pith

Compact hyper-Kähler varieties are organized through Lagrangian fibrations, atomic sheaves, and derived categories.

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

The paper reviews recent developments in the theory of compact hyper-Kähler varieties. It structures these advances around three main viewpoints: Lagrangian fibrations, moduli spaces of stable sheaves, and derived categories. A sympathetic reader would care because these varieties appear in both algebraic geometry and physics, and connecting their geometric, moduli, and categorical properties could clarify how they behave and how to construct them. The notes come from a 2025 lecture and aim to make the material accessible.

Core claim

We review recent developments in the theory of compact hyper-Kähler varieties, from the viewpoint of Lagrangian fibrations, moduli spaces of stable sheaves, and derived categories. These notes originated from the lecture by the second named author at the 2025 Summer Institute in Algebraic Geometry, Colorado State University, Fort Collins (USA), July 14 - August 1, 2025.

What carries the argument

Lagrangian fibrations, atomic sheaves, and derived categories on hyper-Kähler varieties, which serve as organizing principles for the geometry and invariants of these spaces.

If this is right

  • Lagrangian fibrations classify the structure of many hyper-Kähler varieties by exhibiting them as fibrations over lower-dimensional bases.
  • Moduli spaces of stable sheaves yield explicit constructions and deformation families of hyper-Kähler varieties.
  • Derived categories furnish invariants and equivalences that relate different hyper-Kähler varieties or their moduli.
  • Atomic sheaves provide a refined notion of stability that links the moduli and categorical pictures.

Where Pith is reading between the lines

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

  • The three viewpoints may suggest new conjectures that relate the existence of Lagrangian fibrations directly to properties of the derived category.
  • Explicit computations on known examples such as Hilbert schemes of points on K3 surfaces could test whether atomic sheaves always detect the fibration structure.
  • The review implicitly points toward possible extensions that incorporate mirror symmetry or non-compact hyper-Kähler geometry.

Load-bearing premise

The selected recent developments accurately and representatively capture the current state of the field as presented in the lecture.

What would settle it

The appearance of a major new result on compact hyper-Kähler varieties whose structure cannot be captured by Lagrangian fibrations, atomic sheaves in moduli spaces, or derived-category invariants would show the review's chosen viewpoints are incomplete.

read the original abstract

We review recent developments in the theory of compact hyper-K\"ahler varieties, from the viewpoint of Lagrangian fibrations, moduli spaces of stable sheaves, and derived categories. These notes originated from the lecture by the second named author at the 2025 Summer Institute in Algebraic Geometry, Colorado State University, Fort Collins (USA), July 14 - August 1, 2025.

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 reviews recent developments in the theory of compact hyper-Kähler varieties, approached through Lagrangian fibrations, moduli spaces of stable sheaves, and derived categories. It consists of lecture notes from the second author's presentation at the 2025 Summer Institute in Algebraic Geometry at Colorado State University.

Significance. If the selected developments are accurately and representatively summarized, the survey provides a useful consolidation of recent progress in hyper-Kähler geometry for the algebraic geometry community, particularly by highlighting interconnections among geometric, moduli-theoretic, and categorical perspectives.

minor comments (2)
  1. [Abstract] Abstract: The abstract is concise but could briefly indicate one or two concrete recent results or examples (e.g., specific fibrations or atomic sheaf constructions) to orient readers before the main text.
  2. [Introduction] As lecture notes converted for journal submission, the manuscript would benefit from an explicit section outline or roadmap at the end of the introduction to clarify the logical flow across the three main viewpoints.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The report does not list any specific major comments, so we have no point-by-point responses to address. We will incorporate any minor corrections or clarifications in the revised version as needed.

Circularity Check

0 steps flagged

No circularity: survey of prior literature with no derivations

full rationale

This paper is a review of existing developments in hyper-Kähler varieties, based on lecture notes, with no original theorems, proofs, equations, or predictions advanced. The abstract and structure confirm it summarizes selected prior work without introducing self-definitional steps, fitted inputs presented as predictions, or load-bearing self-citations that reduce the central claims to the paper's own inputs. No derivation chain exists to inspect for circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No new mathematical claims, parameters, or entities are introduced; the paper synthesizes prior work.

pith-pipeline@v0.9.0 · 5358 in / 889 out tokens · 19722 ms · 2026-05-15T00:51:34.506706+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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

159 extracted references · 159 canonical work pages · 4 internal anchors

  1. [1]

    J.163 (2014), 1885–1927

    Addington, N., Thomas, R., Hodge theory and derived categories of cubic fourfolds,Duke Math. J.163 (2014), 1885–1927. 38 A. BOTTINI, E. MACR `I, AND P. STELLARI

    work page 2014

  2. [2]

    Alper, J., Good moduli spaces for Artin stacks,Ann. Inst. Fourier (Grenoble)63(2013), 2349–2402

    work page 2013

  3. [3]

    Math.234(2023), 949–1038

    Alper, J., Halpern-Leistner, D., Heinloth, J., Existence of moduli spaces for algebraic stacks,Invent. Math.234(2023), 949–1038

    work page 2023

  4. [4]

    Arbarello, E., Sacc` a, G., Singularities of Bridgeland moduli spaces for K3 categories: an update, in Perspectives on four decades of algebraic geometry. Vol. 1. In memory of Alberto Collino, 1–42, Progr. Math.351, Birkh¨ auser/Springer, Cham, 2025

    work page 2025

  5. [5]

    Algebraic Geom

    Arinkin, D., Autoduality of compactified Jacobians for curves with plane singularities,J. Algebraic Geom. 22(2013), 363–388

    work page 2013

  6. [6]

    Math.228(2022), 1255–1308

    Bakker, B., Guenancia, H., Lehn, C., Algebraic approximation and the decomposition theorem for K¨ ahler Calabi–Yau varieties,Invent. Math.228(2022), 1255–1308

    work page 2022

  7. [7]

    Reine Angew

    Bakker, B., Lehn, C., The global moduli theory of symplectic varieties,J. Reine Angew. Math.790 (2022), 223–265

    work page 2022

  8. [8]

    Ann.375 (2019), 1597–1613

    Bayer, A., A short proof of the deformation property of Bridgeland stability conditions,Math. Ann.375 (2019), 1597–1613

    work page 2019

  9. [9]

    Bayer, A., Bridgeland, T., Derived automorphism groups of K3 surfaces of Picard rank 1,Duke Math. J. 166(2017), 75–124

    work page 2017

  10. [10]

    Zhao),Ann

    Bayer, A., Lahoz, M., Macr` ı, E., Stellari, P., Stability conditions on Kuznetsov components (Appendix joint with X. Zhao),Ann. Sci. ´Ec. Norm. Sup´ er.56(2023), 517–570

    work page 2023

  11. [11]

    Bayer, A., Lahoz, M., Macr` ı, E., Nuer, H., Perry, A., Stellari, P., Stability conditions in families,Publ. Math. Inst. Hautes ´Etudes Sci.133(2021), 157–325

    work page 2021

  12. [12]

    J.160 (2011), 263–322

    Bayer, A., Macr` ı, E., The space of stability conditions on the local projective plane,Duke Math. J.160 (2011), 263–322

    work page 2011

  13. [13]

    , Projectivity and birational geometry of Bridgeland moduli spaces,J. Amer. Math. Soc.27 (2014), 707–752

    work page 2014

  14. [14]

    Math.198(2014), 505–590

    , MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibra- tions,Invent. Math.198(2014), 505–590

    work page 2014

  15. [15]

    Bayer, A., Perry, A., Pertusi, L., Zhao, X., Noncommutative abelian surfaces and Kummer type hy- perk¨ ahler varieties, in preparation (2026)

    work page 2026

  16. [16]

    Differential Geom.18 (1983), 755–782

    Beauville, A., Vari´ et´ es K¨ ahleriennes dont la premi` ere classe de Chern est nulle,J. Differential Geom.18 (1983), 755–782

    work page 1983

  17. [17]

    Math.139(2000), 541–549

    , Symplectic singularities,Invent. Math.139(2000), 541–549

    work page 2000

  18. [18]

    Beauville, A., Donagi, R., La vari´ et´ e des droites d’une hypersurface cubique de dimension 4,C. R. Acad. Sci. Paris S´ er. I Math.301(1985), 703–706

    work page 1985

  19. [19]

    Math.159(2023), 1–51

    Beckmann, T., Derived categories of hyper-K¨ ahler manifolds: extended Mukai vector and integral struc- ture,Compos. Math.159(2023), 1–51

    work page 2023

  20. [20]

    Algebraic Geom.34(2025), 109–160

    , Atomic objects on hyper-K¨ ahler manifolds,J. Algebraic Geom.34(2025), 109–160

    work page 2025

  21. [21]

    Ben-Zvi, D., Francis, D., Nadler, D., Integral transforms and Drinfeld centers in Derived Algebraic Geometry,J. Amer. Math. Soc.23(2010), 909–966

    work page 2010

  22. [22]

    Alg´ ebrique9(2025), Art

    Bertini, V., Grossi, A., Mauri, M., Mazzon, E., Terminalizations of quotients of compact hyperk¨ ahler manifolds by induced symplectic automorphisms, ´Epijournal G´ eom. Alg´ ebrique9(2025), Art. 14, 53 pp

    work page 2025

  23. [23]

    Birkar, C., Cascini, P., Hacon, C., McKernan, J., Existence of minimal models for varieties of log general type,J. Amer. Math. Soc.23(2010), 405–468

    work page 2010

  24. [24]

    Math.64(2024), 459–499

    Bottini, A., Stable sheaves on K3 surfaces via wall-crossing,Kyoto J. Math.64(2024), 459–499

    work page 2024

  25. [25]

    Math.260, (2024) 2496–2529

    , Towards a modular construction of OG10,Compos. Math.260, (2024) 2496–2529

    work page 2024

  26. [26]

    , O’Grady’s tenfolds from stable bundles on hyper-K¨ ahler fourfolds, eprintarXiv:2411.18528

    work page arXiv

  27. [27]

    Bottini, A., Carini, R., Semirigid sheaves on hyper-K¨ ahler manifolds, eprintarXiv:2603.09477

    work page arXiv

  28. [28]

    Bottini, A., Huybrechts, D., The period-index problem for hyperk¨ ahler varieties: Lower and upper bounds, eprintarXiv:2512.15131

    work page arXiv

  29. [29]

    Bridgeland, T., Stability conditions on triangulated categories,Ann. of Math. (2)166(2007), 317–345

    work page 2007

  30. [30]

    J.141(2008), 241–291

    , Stability conditions on K3 surfaces,Duke Math. J.141(2008), 241–291

    work page 2008

  31. [31]

    Bridgeland, T., King, A., Ried, M., The McKay correspindence as an equivalence of derived categories, J. Amer. Math. Soc.14(2001), 535–554

    work page 2001

  32. [32]

    Buchweitz, R.-O., Flenner, H., A semiregularity map for modules and applications to deformations, Compositio Math.137(2003), 135–210

    work page 2003

  33. [33]

    Calabi, E., M´ etriques k¨ ahl´ eriennes et fibr´ es holomorphes,Ann.´Ec. Norm. Sup.12(1979) 269–294. HYPER-K¨AHLER VARIETIES 39

    work page 1979

  34. [34]

    Campana, F., The Bogomolov–Beauville–Yau decomposition for KLT projective varieties with trivial first Chern class-without tears,Bull. Soc. Math. France149(2021), 1–13

    work page 2021

  35. [35]

    Sigma10(2022), Paper No

    Canonaco, A., Neeman, A., Stellari, P., Uniqueness of enhancements for derived and geometric categories, Forum Math. Sigma10(2022), Paper No. e92., 65pp

    work page 2022

  36. [36]

    , Metrics on triangulated categories and their enhancements, in preparation (2026)

    work page 2026

  37. [37]

    Math.24(2019), 2463–2492

    Canonaco, A., Ornaghi, M., Stellari, P., Localizations of the categories ofA ∞-categories and internal Homs,Doc. Math.24(2019), 2463–2492

    work page 2019

  38. [38]

    , Localizations of the categories ofA ∞-categories and internal Homs over a ring, eprint arXiv:2404.06610

    work page arXiv

  39. [39]

    , Geometric Morita Theory, in preparation (2026)

    work page 2026

  40. [40]

    Chen, Y., Bridgeland stability conditions on some higher-dimensional Calabi–Yau manifolds and gener- alized Kummer varieties, eprintarXiv:2510.22432

    work page arXiv

  41. [41]

    Cohn, L., Differential graded categories arek-linear stable infinity categories, eprintarXiv:1308.2587

    work page internal anchor Pith review Pith/arXiv arXiv

  42. [42]

    Math.90(2022), 305–387

    Debarre, O., Hyper-K¨ ahler manifolds,Milan J. Math.90(2022), 305–387

    work page 2022

  43. [43]

    Donagi, R., Markman, E., Spectral covers, algebraically completely integrable, Hamiltonian systems, and moduli of bundles,Lecture Notes in Math.1620, Springer, Berlin-New York, (1996), 1–119

    work page 1996

  44. [44]

    Doni, M.,k-linear Morita theory, eprintarXiv:2406.15895

    work page arXiv

  45. [45]

    Ann.378(2020), 1435–1469

    Debarre, O., Kuznetsov, A., Double covers of quadratic degeneracy and Lagrangian intersection loci, Math. Ann.378(2020), 1435–1469

    work page 2020

  46. [46]

    S., Groupe de Picard des vari´ et´ es de modules de fibr´ es semi-stables sur les courbes alg´ ebriques,Invent

    Dr´ ezet, J.-M., Narasimhan, M. S., Groupe de Picard des vari´ et´ es de modules de fibr´ es semi-stables sur les courbes alg´ ebriques,Invent. Math.97(1989), 53–94

    work page 1989

  47. [47]

    Math.211(2018), 245–296

    Druel, S., A decomposition theorem for singular spaces with trivial canonical class of dimension at most five,Invent. Math.211(2018), 245–296

    work page 2018

  48. [48]

    Druel, S., Guenancia, H., A decomposition theorem for smoothable varieties with trivial canonical class, J. ´Ec. polytech. Math.5(2018) 117–147

    work page 2018

  49. [49]

    Elagin, A., On equivariant triangulated categories, eprintarXiv:1403.7027

    work page internal anchor Pith review Pith/arXiv arXiv

  50. [50]

    Engel, P., Filipazzi, S., Greer, F., Mauri, M., Svaldi, R., Boundedness of some fibered K-trivial varieties, eprintarXiv:2507.00973

    work page arXiv

  51. [51]

    Felisetti, C., Shen, J., Yin, Q., On intersection cohomology and Lagrangian fibrations of irreducible symplectic varieties,Trans. Amer. Math. Soc.375(2022), 2987–3001

    work page 2022

  52. [52]

    Ferretti, A., The Chow ring of double EPW sextics,Algebra & Number Theory6(2012), 539–560

    work page 2012

  53. [53]

    Z.299(2021), 203–231

    Fu, L., Menet, G., On the Betti numbers of compact holomorphic symplectic orbifolds of dimension four, Math. Z.299(2021), 203–231

    work page 2021

  54. [54]

    Math.39, Birkh¨ auser, Boston, MA, 1983

    Fujiki, A., On primitively symplectic compact K¨ ahler V-manifolds of dimension four, inClassification of algebraic and analytic manifolds (Katata, 1982), 71–250, Progr. Math.39, Birkh¨ auser, Boston, MA, 1983

    work page 1982

  55. [55]

    inAlgebraic ge- ometry (Sendai, 1985), 105–165, Adv

    , On the de Rham cohomology group of a compact K¨ ahler symplectic manifold. inAlgebraic ge- ometry (Sendai, 1985), 105–165, Adv. Stud. Pure Math.10, North-Holland Publishing Co., Amsterdam, 1987

    work page 1985

  56. [56]

    Fulton, W., Lazarsfeld, R., Connectivity and its applications in algebraic geometry, inAlgebraic geometry (Chicago, Ill., 1980), 26–92, Lecture Notes in Math.862, Springer, Berlin, 1981

    work page 1980

  57. [57]

    Topol.23(2019), 2051–2124

    Greb, D., Guenancia, H., Kebekus, S., Klt varieties with trivial canonical class: holonomy, differential forms, and fundamental groups,Geom. Topol.23(2019), 2051–2124

    work page 2019

  58. [58]

    Greb, D., Kebekus, S., Kov´ acs, S., Peternell, T., Differential forms on log canonical spaces,Publ. Math. Inst. Hautes ´Etudes Sci.114(2011), 87–169

    work page 2011

  59. [59]

    Greb, D., Kebekus, S., Peternell, T., Singular spaces with trivial canonical class, inMinimal models and extremal rays (Kyoto, 2011), 67–113, Adv. Stud. Pure Math.70, Mathematical Society of Japan, Tokyo, 2016

    work page 2011

  60. [60]

    Gross, M., Huybrechts, D., Joyce, D.,Calabi–Yau manifolds and related geometries, Universitext, Springer-Verlag, Berlin, 2003

    work page 2003

  61. [61]

    Geom.3(2016), 508–542

    Guenancia, H., Semistability of the tangent sheaf of singular varieties,Algebr. Geom.3(2016), 508–542

    work page 2016

  62. [62]

    Guo, H., Liu, Z., Atomic sheaves on hyper-K¨ ahler manifolds via Bridgeland moduli spaces,Proc. Lond. Math. Soc. (3)131(2025), Paper No. e70075, 54 pp

    work page 2025

  63. [63]

    Hartlieb, M., Shah, S., Twisted Arinkin transforms and derived categories of moduli spaces on Kuznetsov components, eprintarXiv:2603.11350. 40 A. BOTTINI, E. MACR `I, AND P. STELLARI

    work page arXiv

  64. [64]

    Hitchin, N., Hyper-K¨ ahler manifolds,Ast´ erisque206(1992), Exp. No. 748, 137–166

    work page 1992

  65. [65]

    Math.216(2019), 395–419

    H¨ oring, A., Peternell, T., Algebraic integrability of foliations with numerically trivial canonical bundle, Invent. Math.216(2019), 395–419

    work page 2019

  66. [66]

    Hotchkiss, J., Maulik, D., Shen, J., Yin, Q., Zhang, R., The period-index problem for hyper-K¨ ahler varieties via hyperholomorphic bundles, eprintarXiv:2502.09774

    work page arXiv

  67. [67]

    Math.135(1999), 63–113

    Huybrechts, D., Compact hyper-K¨ ahler manifolds: basic results,Invent. Math.135(1999), 63–113

    work page 1999

  68. [68]

    Verbitsky],Ast´ erisque348(2012), Exp

    , A global Torelli theorem for hyperk¨ ahler manifolds [after M. Verbitsky],Ast´ erisque348(2012), Exp. No. 1040, 375–403

    work page 2012

  69. [69]

    J.149(2009), 461–507

    Huybrechts, D., Macr` ı, E., Stellari, P., Derived equivalences of K3 surfaces and orientation,Duke Math. J.149(2009), 461–507

    work page 2009

  70. [70]

    Math.90(2022), 459–483

    Huybrechts, D., Mauri, M., Lagrangian fibrations,Milan J. Math.90(2022), 459–483

    work page 2022

  71. [71]

    Ann.332(2005), 901–936

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

    work page 2005

  72. [72]

    Huybrechts, D., Thomas, R.,P-objects and autoequivalences of derived categories,Math. Res. Lett.13 (2006), 87–98

    work page 2006

  73. [73]

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

    work page 2008

  74. [74]

    Iliev, A., Manivel, L., Cubic hypersurfaces and integrable systems,Amer. J. Math.130(2008), 1445–1475

    work page 2008

  75. [75]

    , Fano manifolds of degree ten and EPW sextics,Ann. Sci. ´Ec. Norm. Sup´ er. (4)44(2011), 393–426

    work page 2011

  76. [76]

    Math.164(2006), 591–614

    Kaledin, D., Lehn, M., Sorger, C., Singular symplectic moduli spaces,Invent. Math.164(2006), 591–614

    work page 2006

  77. [77]

    (N.S.)4(1998), 279– 320

    Kaledin, D., Verbitsky, M., Non-Hermitian Yang-Mills connections,Selecta Math. (N.S.)4(1998), 279– 320

    work page 1998

  78. [78]

    Alg´ ebrique9(2025), Art

    Kamenova, L., Lehn, C., Non-hyperbolicity of holomorphic symplectic varieties, ´Epijournal G´ eom. Alg´ ebrique9(2025), Art. 22, 26 pp

    work page 2025

  79. [79]

    Math.79(1985), 567–588

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

    work page 1985

  80. [80]

    Math.245(2013), 78–112

    Kebekus, S., Pull-back morphisms for reflexive differential forms,Adv. Math.245(2013), 78–112

    work page 2013

Showing first 80 references.