On two families of Enriques categories over K3 surfaecs
Pith reviewed 2026-05-23 07:32 UTC · model grok-4.3
The pith
Two families of Enriques categories over K3 surfaces yield moduli spaces of semistable objects that recover classical constructions such as double EPW sextics.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The moduli spaces of semistable objects in the Enriques categories arising from quartic double solids and special Gushel-Mukai threefolds recover classic geometric constructions in a modular way, including the double EPW sextic and cube associated with a general Gushel-Mukai surface, and Beauville's birational involution on the Hilbert scheme of two points on a quartic K3 surface.
What carries the argument
Enriques categories over K3 surfaces obtained from quartic double solids and special Gushel-Mukai threefolds, together with their moduli spaces of semistable objects.
If this is right
- The double EPW sextic and cube appear as moduli spaces of semistable objects in the Enriques category of a general Gushel-Mukai surface.
- Beauville's birational involution on the Hilbert scheme of two points on a quartic K3 surface arises directly from the moduli space in the associated Enriques category.
- Singular loci of certain moduli spaces of semistable objects admit explicit descriptions.
- An explicit birational involution exists on O'Grady's hyperkähler tenfold, realized through one of the moduli constructions.
- A criterion decides precisely when an equivariant category of a K3 surface is an Enriques category.
Where Pith is reading between the lines
- The modular viewpoint may allow categorical invariants to compute geometric properties of the recovered classical objects without direct reference to their original constructions.
- The same technique could be tested on other threefolds known to produce Enriques categories to produce additional identifications with hyperkähler varieties.
- The criterion for equivariant categories might be applied to further group actions on K3 surfaces to generate new families of Enriques categories.
- If the correspondences are stable under deformation, they could relate deformation types of hyperkähler tenfolds to deformation types of the underlying threefolds.
Load-bearing premise
The categories coming from quartic double solids and special Gushel-Mukai threefolds are Enriques categories and the moduli spaces of their semistable objects match the listed classical geometric constructions.
What would settle it
An explicit computation or geometric comparison showing that the moduli space attached to one of these categories is not isomorphic to the corresponding double EPW sextic or to Beauville's involution would disprove the claimed recovery.
read the original abstract
This article studies the moduli spaces of semistable objects related to two families of Enriques categories over K3 surfaces, coming from quartic double solids and special Gushel--Mukai threefolds. In particular, some classic geometric constructions are recovered in a modular way, such as the double EPW sextic and cube associated with a general Gushel--Mukai surface, and the Beauville's birational involution on the Hilbert scheme of two points on a quartic K3 surface. In addition, we describe the singular loci in some moduli spaces of semistable objects and an explicit birational involution on O'Grady's hyperk\"ahler tenfold. Also, the appendix investigates the general theory of Enriques categories over K3 surfaces and provides a criterion for when an equivariant category of a K3 surface is an Enriques category.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies two families of Enriques categories over K3 surfaces arising from quartic double solids and special Gushel-Mukai threefolds. Using a criterion developed in the appendix for when an equivariant category of a K3 surface is Enriques, the authors verify the required conditions, compute moduli spaces of semistable objects, recover the double EPW sextic and EPW cube associated to a general Gushel-Mukai surface as well as Beauville's birational involution on Hilb^2 of a quartic K3, describe singular loci in certain moduli spaces, and construct an explicit birational involution on O'Grady's hyperkähler tenfold.
Significance. If the central claims hold, the work supplies a modular categorical approach that recovers several classical constructions in hyperkähler geometry and moduli theory from derived-category data. The appendix criterion is a reusable tool for identifying Enriques categories, and the explicit recovery of the double EPW sextic, EPW cube, and Beauville involution demonstrates the utility of the framework. These results strengthen links between stability conditions on Enriques categories and classical birational geometry.
minor comments (3)
- [Title] The title contains the typo 'surfaecs'; it should read 'surfaces'.
- [Appendix] In the appendix, the criterion for an equivariant category to be Enriques would be easier to apply if stated as a numbered theorem with explicitly labeled conditions (i)-(iii) rather than as a paragraph.
- [§2] Notation for the stability conditions and the moduli functors is introduced gradually; a consolidated table or list of symbols in §2 would improve readability.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for recommending acceptance. No major comments were raised in the report.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper first establishes a general criterion for equivariant categories of K3 surfaces to be Enriques categories in the appendix, then applies this criterion to the two specific families (quartic double solids and special Gushel-Mukai threefolds) in the main text. This yields moduli spaces that recover known geometric objects such as the double EPW sextic. No step reduces by construction to its own inputs, no fitted parameters are relabeled as predictions, and no load-bearing claims rest on self-citations whose validity is internal to the paper. The structure is a standard general-to-specific argument that remains independent of the target identifications.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence and properties of Enriques categories over K3 surfaces and semistable objects in their moduli spaces.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Enriques category E over K3 surface S is the equivariant category of Db(S) by a suitable involution Π; residual Z/2Z-action on Db(S) ≅ E^U
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
U-fixed proper stability condition σ_E induces Π-fixed σ_S; surjections between moduli stacks M_σ_E(λ)^U and M_σ_S(v)^Π
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.
Forward citations
Cited by 1 Pith paper
-
Derived-natural automorphisms on Hilbert schemes of points on generic K3 surfaces
Characterizes involutions on Hilb^n(X) for generic K3 surface X induced by autoequivalences of D^b(X).
Reference graph
Works this paper leans on
-
[1]
Moduli sp aces on the Kuznetsov component of Fano three- folds of index 2
Matteo Altavilla, Marin Petkovi, Franco Rota. Moduli sp aces on the Kuznetsov component of Fano three- folds of index 2. ´Epijournal de G´ eom´ etrie Alg´ ebrique, 6: Nr. 13, 2022
work page 2022
-
[2]
Good moduli spaces for Artin stacks
Jarod Alper. Good moduli spaces for Artin stacks. Annales de l’institut Fourier (Grenoble) , 63(6): 2349–2402, 2013
work page 2013
-
[3]
Stability conditions in families
Arend Bayer, Mart ´ ı Lahoz, Emanuele Macr ` ı, Howard Nuer , Alexander Perry, Paolo Stellari. Stability conditions in families. Publications math´ ematiques de l’IH´ES, 133: 157-325, 2021. 38
work page 2021
-
[4]
Stability conditions on Kuznetsov components
Arend Bayer, Mart ´ ı Lahoz, Emanuele Macr ` ı, Paolo Stellari. Stability conditions on Kuznetsov components. Annales scientifiques de l’ ´ENS, 56(2): 517-570, 2023
work page 2023
-
[5]
The space of stability con ditions on local projective spaces
Arend Bayer, Emanuele Macr ` ı. The space of stability con ditions on local projective spaces. Duke Mathe- matical Journal , 160(2): 263-322, 2011
work page 2011
-
[6]
Projectivity and biratio nal geometry of Bridgeland moduli spaces
Arend Bayer, Emanuele Macr ` ı. Projectivity and biratio nal geometry of Bridgeland moduli spaces. Journal of the American Mathematical Society , 27(3): 707-752, 2014
work page 2014
-
[7]
MMP for moduli of sheaves o n K3s via wall-crossing: nef and movable cones, Lagrangian fibrations
Arend Bayer, Emanuele Macr ` ı. MMP for moduli of sheaves o n K3s via wall-crossing: nef and movable cones, Lagrangian fibrations. Inventiones mathematicae, 198(3): 505-590, 2014
work page 2014
-
[8]
The space of stability conditions on abelian threefolds, and on some Calabi-Yau threefolds
Arend Bayer, Emanuele Macr ` ı, Paolo Stellari. The space of stability conditions on abelian threefolds, and on some Calabi-Yau threefolds. Inventiones mathematicae, 206(3): 869–933, 2016
work page 2016
-
[9]
Bridgeland stability conditions on threefolds I: Bogomolov- Gieseker type inequalities
Arend Bayer, Emanuele Macr ` ı, Yukinobu Toda. Bridgeland stability conditions on threefolds I: Bogomolov- Gieseker type inequalities. Journal of Algebraic Geometry , 23(1): 117-163, 2014
work page 2014
-
[10]
Kuznetsov’s Fano threef old conjecture via K3 categories and enhanced group actions
Arend Bayer, Alexander Perry. Kuznetsov’s Fano threef old conjecture via K3 categories and enhanced group actions. Journal f¨ ur die reine und angewandte Mathematik , 800: 107-153, 2023
work page 2023
-
[11]
Some remarks on K¨ ahler manifolds wi th c1 = 0
Arnaud Beauville. Some remarks on K¨ ahler manifolds wi th c1 = 0. In Classification of Algebraic and Analytic Manifolds (Katata, 1982) , Birkh¨ auser: 1-26, 1983
work page 1982
-
[12]
Antisymplectic involutions of holo morphic symplectic manifolds
Arnaud Beauville. Antisymplectic involutions of holo morphic symplectic manifolds. Journal of Topology , 4(2): 300-304, 2011
work page 2011
-
[13]
Birational geometry of moduli spac es of stable objects on Enriques surfaces
Thorsten Beckmann. Birational geometry of moduli spac es of stable objects on Enriques surfaces. Selecta Mathematica: New Series , 26: no. 14, 2020
work page 2020
-
[14]
Equivariant cate gories of symplectic surfaces and fixed loci of Bridgeland moduli spaces
Thorsten Beckmann, Georg Oberdieck. Equivariant cate gories of symplectic surfaces and fixed loci of Bridgeland moduli spaces. Algebraic Geometry, 9(4): 400-422, 2022
work page 2022
-
[15]
On equivariant de rived categories
Thorsten Beckmann, Georg Oberdieck. On equivariant de rived categories. European Journal of Mathe- matics, 9(2): No. 36, 2023
work page 2023
-
[16]
Non-symplectic automo rphisms of prime order of O’Grady’s tenfolds and cubic fourfolds
Simone Billi, Annalisa Grossi. Non-symplectic automo rphisms of prime order of O’Grady’s tenfolds and cubic fourfolds. Preprint, arXiv:2405.05932v2, 2024
-
[17]
The automorphism group of the Hilbert scheme of two points on a generic projective K3 surface
Samuel Boissiere, Andrea Cattaneo, Marc Nieper-Wißki rchen, Alessandra Sarti. The automorphism group of the Hilbert scheme of two points on a generic projective K3 surface. In K3 Surfaces and Their Moduli , Birkh¨ auser: 1-15, 2016
work page 2016
-
[18]
Stability conditions on triangulated categories
Tom Bridgeland. Stability conditions on triangulated categories. Annals of Mathematics , 166(2): 317-345, 2007
work page 2007
-
[19]
Stability conditions on K3 surfaces
Tom Bridgeland. Stability conditions on K3 surfaces. Duke Mathematical Journal , 141(2): 241-291, 2008
work page 2008
-
[20]
Olivier Debarre. Hyper-K¨ ahler manifolds. Milan Journal of Mathematics , 90(2): 305-387, 2022
work page 2022
-
[21]
Gushel–Mukai v arieties: classification and birationalities
Olivier Debarre, Alexander Kuznetsov. Gushel–Mukai v arieties: classification and birationalities. Algebraic Geometry, 5(1): 15-76, 2018
work page 2018
-
[22]
Double covers o f quadratic degeneracy and Lagrangian intersection loci
Olivier Debarre, Alexander Kuznetsov. Double covers o f quadratic degeneracy and Lagrangian intersection loci. Mathematische Annalen , 378(3-4): 1435–1469, 2020
work page 2020
-
[23]
Quadrics on Gus hel–Mukai varieties
Olivier Debarre, Alexander Kuznetsov. Quadrics on Gus hel–Mukai varieties. Preprint, arXiv:2409.03528v1, 2024
-
[24]
On the period map for polarized hyperk¨ ahler fourfolds
Olivier Debarre, Emanuele Macr ` ı. On the period map for polarized hyperk¨ ahler fourfolds. International Mathematics Research Notices , 2019(22): 6887-6923, 2019
work page 2019
-
[25]
On equivariant triangulated categories
Alexey Elagin. On equivariant triangulated categorie s. Preprint, arXiv:1403.7027v2, 2015
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[26]
Nielsen realization problem for derived automorphisms of generic K3 surfaces
Yu-Wei Fan, Kuan-Wen Lai. Nielsen realization problem for derived automorphisms of generic K3 surfaces. Preprint, 2302.12663v3, 2023
-
[27]
Lagrangian families of Bridgeland moduli spaces from Gushel-Mukai fourfolds and double EPW cubes
Soheyla Feyzbakhsh, Hanfei Guo, Zhiyu Liu, Shizhuo Zha ng. Lagrangian families of Bridgeland moduli spaces from Gushel-Mukai fourfolds and double EPW cubes. Pr eprint, arXiv:2404.11598v1, 2024
-
[28]
New pers pectives on categorical Torelli theorems for del Pezzo threefolds
Soheyla Feyzbakhsh, Zhiyu Liu, Shizhuo Zhang. New pers pectives on categorical Torelli theorems for del Pezzo threefolds. Journal de Math´ ematiques Pures et Appliqu´ ees, 191: 103627, 2024
work page 2024
-
[29]
Serre-invariant s tability conditions and Ulrich bundles on cubic three- folds
Soheyla Feyzbakhsh, Laura Pertusi. Serre-invariant s tability conditions and Ulrich bundles on cubic three- folds. ´Epijournal de G´ eom´ etrie Alg´ ebrique, 7: Article No. 1, 2023
work page 2023
-
[30]
Laure Flapan, Emanuele Macr ` ı, Kieran G. O’Grady, Giul ia Sacc` a. The geometry of antisymplectic invo- lutions, I. Mathematische Zeitschrift , 300(4): 3457-3495, 2022
work page 2022
-
[31]
Fourier–Mukai transforms in Algebraic Geometry
Daniel Huybrechts. Fourier–Mukai transforms in Algebraic Geometry . Oxford University Press, 2006
work page 2006
-
[32]
On derived categories of K3 surface s, symplectic automorphisms and the Conway group
Daniel Huybrechts. On derived categories of K3 surface s, symplectic automorphisms and the Conway group. Advanced Studies in Pure Mathematics , 69: 387-405, 2016
work page 2016
-
[33]
Daniel Huybrechts. Lectures on K3 Surfaces . Cambridge University Press, 2016
work page 2016
-
[34]
The Geometry of Moduli Spaces of Sheaves (2nd Edition)
Daniel Huybrechts, Manfred Lehn. The Geometry of Moduli Spaces of Sheaves (2nd Edition) . Cambridge University Press, 2010
work page 2010
-
[35]
The Fano surface of the Gushel threefold
Atanas Iliev. The Fano surface of the Gushel threefold. Compositio Mathematica, 94(1): 81-107, 1994
work page 1994
- [36]
-
[37]
Categorical Torelli theorems for Gushel-Mukai threefolds
Augustinas Jacovskis, Xun Lin, Zhiyu Liu, Shizhuo Zhan g. Categorical Torelli theorems for Gushel-Mukai threefolds. Journal of London Mathematical Society , 109(3): No. e12878, 2024
work page 2024
-
[38]
Grzegorz Kapustka, Michal Kapustka, Giovanni Mongard i. EPW sextics vs EPW cubes. Preprint, arXiv:2202.00301v2, 2024
-
[39]
Calabi–Yau and fractional Calab i–Yau categories
Alexander Kuznetsov. Calabi–Yau and fractional Calab i–Yau categories. Journal f¨ ur die reine und ange- wandte Mathematik , 753: 239-267, 2019
work page 2019
-
[40]
Derived catego ries of cyclic covers and their branch divisors
Alexander Kuznetsov, Alexander Perry. Derived catego ries of cyclic covers and their branch divisors. Selecta Mathematica: New Series , 23: 389-423, 2017
work page 2017
-
[41]
Manfred Lehn, Christoph Sorger. La singularit´ e de O’G rady. Journal of Algebraic Geometry , 15(4): 756–770, 2006
work page 2006
-
[42]
Derived catego ries of hearts on Kuznetsov components
Chunyi Li, Laura Pertusi, Xiaolei Zhao. Derived catego ries of hearts on Kuznetsov components. Journal of London Mathematical Society , 108(2): 2146-2174, 2023
work page 2023
-
[43]
Journal of Algebraic Geometry, 10(4): 623–694, 2001
Eyal Markman, Brill–Noether duality for moduli spaces of sheaves on K3 surfaces. Journal of Algebraic Geometry, 10(4): 623–694, 2001
work page 2001
-
[44]
I nducing stability conditions
Emanuele Macr ` ı, Sukhendu Mehrotra, Paolo Stellari. I nducing stability conditions. Journal of Algebraic Geometry, 18(4): 605-649, 2009
work page 2009
-
[45]
Nagoya Mathematical Journal , 78: 65–94, 1980
Masaki Maruyama, Boundedness of semistable sheaves of small ranks. Nagoya Mathematical Journal , 78: 65–94, 1980
work page 1980
-
[46]
Mumford–Thaddeus pr inciple on the moduli space of vector bundles on an algebraic surface
Kenji Matsuki, Richard Wentword. Mumford–Thaddeus pr inciple on the moduli space of vector bundles on an algebraic surface. International Journal of Mathematics , 8(1): 97-148, 1997
work page 1997
-
[47]
Birational geometry of sin gular moduli spaces of O’Grady type
Ciaran Meachan, Ziyu Zhang. Birational geometry of sin gular moduli spaces of O’Grady type. Advances in Mathematics , 296: 210-267, 2016
work page 2016
-
[48]
Moduli of vector bundles on K3 surface, a nd symplectic manifolds
Shigeru Mukai. Moduli of vector bundles on K3 surface, a nd symplectic manifolds. Sugaku Expositions , 1(2): 139-174 , 1988
work page 1988
-
[49]
Projectivity and birational geometry of B ridgeland moduli spaces on an Enriques surface
Howard Nuer. Projectivity and birational geometry of B ridgeland moduli spaces on an Enriques surface. Proceedings of the London Mathematical Society , 113(3): 345-386, 2016
work page 2016
-
[50]
MMP via wall-crossing for m oduli spaces of stable sheaves on an Enriques surface
Howard Nuer, Kota Yoshioka. MMP via wall-crossing for m oduli spaces of stable sheaves on an Enriques surface. Advances in Mathematics , 372: no. 107283, 2020
work page 2020
-
[51]
Kieran G. O’Grady. The weight-two Hodge structure of mo duli spaces of sheaves on a K3 surface. Journal of Algebraic Geometry , 6(4): 599-644, 1997
work page 1997
-
[52]
Kieran G. O’Grady. Desingularized moduli spaces of she aves on a K3. Journal f¨ ur die reine und angewandte Mathematik, 512: 49-117, 1999
work page 1999
-
[53]
Kieran G. O’Grady. Involutions and linear systems on ho lomorphic symplectic manifolds. Geometric And Functional Analysis, 15(6): 1223-1274, 2005
work page 2005
-
[54]
Kieran G. O’Grady. Irreducible symplectic 4-folds and Eisenbud-Popescu-Walter sextics. Duke Mathemat- ical Journal , 134(1): 99-137, 2006
work page 2006
-
[55]
Genki Ouchi. Automorphisms of positive entropy on some hyperK¨ ahler manifolds via derived automor- phisms of K3 surfaces. Advances in Mathematics , 335: 1-26, 2018
work page 2018
-
[56]
The 2-factoriality of the O’Grady moduli spaces
Arvid Perego. The 2-factoriality of the O’Grady moduli spaces. Mathematische Annalen , 346(2): 367-391, 2010
work page 2010
-
[57]
Deformation of the O ’Grady moduli spaces
Arvid Perego, Antonio Rapagnetta. Deformation of the O ’Grady moduli spaces. Journal f¨ ur die reine und angewandte Mathematik , 678: 1-34, 2013
work page 2013
-
[58]
Irreducible symple ctic varieties from moduli spaces of sheaves on K3 and Abelian surfaces
Arvid Perego, Antonio Rapagnetta. Irreducible symple ctic varieties from moduli spaces of sheaves on K3 and Abelian surfaces. Algebraic Geometry, 10(3): 348-393, 2023
work page 2023
-
[59]
The second integral cohomology of moduli spaces of sheaves on K3 and Abelian surfaces
Arvid Perego, Antonio Rapagnetta. The second integral cohomology of moduli spaces of sheaves on K3 and Abelian surfaces. Advances in Mathematics , 440: no. 109519, 2024
work page 2024
-
[60]
Stabili ty conditions and moduli spaces for Kuznetsov com- ponents of Gushel–Mukai varieties
Alexander Perry, Laura Pertusi, Xiaolei Zhao. Stabili ty conditions and moduli spaces for Kuznetsov com- ponents of Gushel–Mukai varieties. Geometry & Topology, 26(7): 3055-3121, 2022
work page 2022
- [61]
-
[62]
Some remarks on Fano threefol ds of index two and stability conditions
Laura Pertusi, Song Yang. Some remarks on Fano threefol ds of index two and stability conditions. Inter- national Mathematics Research Notices , 2022(17): 12940-12983, 2022
work page 2022
-
[63]
Moscow Mathematical Journal , 7(1): 109-134, 2007
Alexander Polishchuk, Constant families of t-structures on derived categories of coherent sheaves. Moscow Mathematical Journal , 7(1): 109-134, 2007
work page 2007
-
[64]
On the Beauville form of the known i rreducible symplectic varieties
Antonio Rapagnetta. On the Beauville form of the known i rreducible symplectic varieties. Mathematische Annalen, 340(1): 77-95, 2008
work page 2008
-
[65]
Vector bundles of rank 2 and linear systems on algebraic surfaces
Igor Reider. Vector bundles of rank 2 and linear systems on algebraic surfaces. Annals of Mathematics , 127(2): 309-316, 1988
work page 1988
-
[66]
Moduli stacks and invariants of semista ble objects on K3 surfaces
Yukinobu Toda. Moduli stacks and invariants of semista ble objects on K3 surfaces. Advances in Mathe- matics, 217(6): 2736-2781, 2008
work page 2008
-
[67]
Gerald E. Welters. Abel-Jacobi Isogenies for Certain Types of Fano Threefolds . Doctoral Thesis, Mathe- matisch Centrum Amsterdam, 1981. 40
work page 1981
-
[68]
Moduli spaces of stable sheaves on abeli an surfaces
Kota Yoshioka. Moduli spaces of stable sheaves on abeli an surfaces. Mathematische Annalen , 321(4): 817- 884, 2001
work page 2001
-
[69]
Shizhuo Zhang. Bridgeland Moduli spaces for Gushel-Mu kai threefolds and Kuznetsov’s Fano threefold conjecture. Preprint, arXiv:2012.12193v2, 2021. Dipartimento di Matematica “F. Enriques”, Universit `a degli Studi di Milano, Via Cesare Sal- dini 50, 20133 Milano, Italy. Email address : ziqi.liu@unimi.it 41
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.