Bridgeland-Enriques general K3 surfaces
Pith reviewed 2026-07-03 04:54 UTC · model grok-4.3
The pith
Bridgeland-Enriques general K3 surfaces detect categorical degeneration of special Gushel-Mukai threefolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper defines Bridgeland-Enriques general K3 surfaces via invariant Bridgeland stability conditions on the associated Enriques categories. It proves that the degree-10 family of these surfaces detects a categorical degeneration of special Gushel-Mukai threefolds. The same construction yields families of higher degree that are closely related to Hodge-special Gushel-Mukai fourfolds and double EPW sextics.
What carries the argument
The notion of Bridgeland-Enriques general K3 surfaces, which uses invariant Bridgeland stability conditions on Enriques categories to produce new families that track categorical degenerations.
If this is right
- The degree-10 family supplies a categorical criterion for detecting degenerations among special Gushel-Mukai threefolds.
- Higher-degree families establish explicit relations between these K3 surfaces and both Hodge-special Gushel-Mukai fourfolds and double EPW sextics.
- The stability conditions on Enriques categories become a tool for organizing families of K3 surfaces that capture degeneration data.
- The construction extends the reach of Enriques-category techniques from isolated examples to continuous families parameterized by degree.
Where Pith is reading between the lines
- The new families could be used to compute numerical invariants of the degenerations directly from stability data.
- Similar constructions might apply to other classes of threefolds or fourfolds that admit Enriques categories.
- One could test whether the degree-10 family distinguishes all special Gushel-Mukai threefolds up to categorical equivalence.
- The approach suggests looking for moduli interpretations of these general K3 surfaces inside larger moduli spaces of stability conditions.
Load-bearing premise
The proposed definition of Bridgeland-Enriques general K3 surfaces is well-posed and the invariant stability conditions on the associated Enriques categories are sufficient to detect the claimed categorical degeneration.
What would settle it
A concrete special Gushel-Mukai threefold whose Enriques category fails to degenerate in the manner predicted by the degree-10 Bridgeland-Enriques general K3 surfaces under the given stability conditions.
read the original abstract
This article introduces a notion of Bridgeland-Enriques general K3 surfaces motivated by the study of Enriques categories over K3 surfaces and the invariant Bridgeland stability conditions. The family of Bridgeland-Enriques general K3 surfaces of degree 10 detects a categorical degeneration of special Gushel-Mukai threefolds. Also, the families of Bridgeland-Enriques general K3 surfaces with higher degrees are closely related to Hodge-special Gushel-Mukai fourfolds and double EPW sextics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a notion of Bridgeland-Enriques general K3 surfaces motivated by the study of Enriques categories over K3 surfaces and the invariant Bridgeland stability conditions. It claims that the family of such surfaces of degree 10 detects a categorical degeneration of special Gushel-Mukai threefolds. Higher-degree families are stated to be closely related to Hodge-special Gushel-Mukai fourfolds and double EPW sextics.
Significance. If the definitions of Bridgeland-Enriques general K3 surfaces and the associated invariant stability conditions are well-posed, and if the detection of categorical degeneration can be established, the work would supply a new categorical invariant linking moduli of K3 surfaces to degenerations in the derived categories of Gushel-Mukai threefolds. This could strengthen the dictionary between stability conditions on Enriques categories and geometric degenerations, with potential applications to the study of Hodge-special loci in higher-dimensional moduli spaces.
major comments (2)
- [Abstract] Abstract: no definition of 'Bridgeland-Enriques general K3 surfaces', no statement of the relevant moduli spaces, and no outline of the argument establishing invariance of the stability conditions or the detection of categorical degeneration are supplied. The central claim therefore cannot be checked for internal consistency or correctness.
- [Abstract] Abstract: the claim that the degree-10 family 'detects a categorical degeneration' is stated without reference to any specific functor, semiorthogonal decomposition, or stability condition that would make the detection precise; this is load-bearing for the main result.
Simulated Author's Rebuttal
We thank the referee for their report and for highlighting issues with the abstract's clarity. We agree that the abstract requires expansion to include key definitions and an outline of the main arguments, and we will revise it in the next version. The body of the manuscript contains the full definitions, moduli spaces, and proofs.
read point-by-point responses
-
Referee: [Abstract] Abstract: no definition of 'Bridgeland-Enriques general K3 surfaces', no statement of the relevant moduli spaces, and no outline of the argument establishing invariance of the stability conditions or the detection of categorical degeneration are supplied. The central claim therefore cannot be checked for internal consistency or correctness.
Authors: We agree that the abstract is too concise and omits these elements. In the revised version we will add a brief definition of Bridgeland-Enriques general K3 surfaces, name the relevant moduli spaces of such surfaces, and sketch the argument for invariance of the stability conditions together with the detection of categorical degeneration. The detailed constructions and proofs remain in Sections 2--4 of the manuscript. revision: yes
-
Referee: [Abstract] Abstract: the claim that the degree-10 family 'detects a categorical degeneration' is stated without reference to any specific functor, semiorthogonal decomposition, or stability condition that would make the detection precise; this is load-bearing for the main result.
Authors: The detection is realized by the semiorthogonal decomposition of the derived category of the special Gushel-Mukai threefold that isolates an Enriques category, together with the invariant Bridgeland stability condition on that category. We will revise the abstract to name this decomposition and the stability condition explicitly, thereby making the detection statement precise while keeping the abstract concise. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper introduces a new definition of Bridgeland-Enriques general K3 surfaces motivated by Enriques categories and invariant Bridgeland stability conditions, then asserts that the degree-10 family detects categorical degeneration of special Gushel-Mukai threefolds. No equations, derivations, fitted parameters, or self-citations appear in the provided text that reduce any claim to an input by construction. The central statement is presented as a consequence of the new definition's application rather than a tautological renaming or self-referential fit, rendering the derivation chain self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Singularities of moduli spaces of sheaves on K3 surfaces and Nakajima quiver varieties.Advances in Mathematics, 329: 649-703, 2018
Enrico Arbarello, Giulia Sacc` a. Singularities of moduli spaces of sheaves on K3 surfaces and Nakajima quiver varieties.Advances in Mathematics, 329: 649-703, 2018
2018
-
[2]
Singularities of Bridgeland moduli spaces for K3 categories: an update
Enrico Arbarello, Giulia Sacc` a. Singularities of Bridgeland moduli spaces for K3 categories: an update. InPerspectives on Four Decades of Algebraic Geometry, Volume 1, Birkh¨ auser– Verlag: 1-42, 2025
2025
-
[3]
A short proof of the deformation property of Bridgeland stability conditions
Arend Bayer. A short proof of the deformation property of Bridgeland stability conditions. Mathematische Annalen, 375(3-4): 1597–1613, 2019
2019
-
[4]
Derived automorphism groups of K3 surfaces of Picard rank 1.Duke Mathematical Journal, 166(1): 75-124, 2017
Arend Bayer, Tom Bridgeland. Derived automorphism groups of K3 surfaces of Picard rank 1.Duke Mathematical Journal, 166(1): 75-124, 2017
2017
-
[5]
Stability conditions in families.Publications math´ ematiques de l’IH´ES, 133: 157-325, 2021
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
2021
-
[6]
Projectivity and birational geometry of Bridgeland moduli spaces.Journal of the American Mathematical Society, 27(3): 707-752, 2014
Arend Bayer, Emanuele Macr` ı. Projectivity and birational geometry of Bridgeland moduli spaces.Journal of the American Mathematical Society, 27(3): 707-752, 2014
2014
-
[7]
MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations.Inventiones mathematicae, 198(3): 505-590, 2014
Arend Bayer, Emanuele Macr` ı. MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations.Inventiones mathematicae, 198(3): 505-590, 2014
2014
-
[8]
The space of stability conditions on abelian threefolds, and on some Calabi–Yau threefolds.Inventiones mathematicae, 206(3): 869–933, 2016
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
2016
-
[9]
Kuznetsov’s Fano threefold conjecture via K3 categories and enhanced group actions.Journal f¨ ur die reine und angewandte Mathematik, 800: 107-153, 2023
Arend Bayer, Alexander Perry. Kuznetsov’s Fano threefold conjecture via K3 categories and enhanced group actions.Journal f¨ ur die reine und angewandte Mathematik, 800: 107-153, 2023
2023
-
[10]
Work in preparation
Arend Bayer, Alexander Perry, Laura Pertusi, Xiaolei Zhao. Work in preparation
-
[11]
Antisymplectic involutions of holomorphic symplectic manifolds.Journal of Topology, 4: 300–304, 2011
Arnaud Beauville. Antisymplectic involutions of holomorphic symplectic manifolds.Journal of Topology, 4: 300–304, 2011
2011
-
[12]
On equivariant derived categories.European Journal of Mathematics, 9(2): No
Thorsten Beckmann, Georg Oberdieck. On equivariant derived categories.European Journal of Mathematics, 9(2): No. 36, 2023
2023
-
[13]
Double EPW sextics associated with Gushel–Mukai surfaces
Pietro Beri. Double EPW sextics associated with Gushel–Mukai surfaces. Preprint, arXiv:2011.12223v2, 2025
-
[14]
The auto- morphism group of the Hilbert scheme of two points on a generic projective K3 surface
Samuel Boissi` ere, Andrea Cattaneo, Marc Nieper-Wisskirchen, Alessandra Sarti. The auto- morphism group of the Hilbert scheme of two points on a generic projective K3 surface. In K3 Surfaces and Their Moduli, Birkh¨ auser Verlag: 1-15, 2016
2016
-
[15]
InRationality of Varieties, Springer: 129-146, 2021
Emma Brakkee, Laura Pertusi.Marked and labelled Gushel–Mukai fourfolds. InRationality of Varieties, Springer: 129-146, 2021
2021
-
[16]
Stability conditions on triangulated categories.Annals of Mathematics, 166(2): 317-345, 2007
Tom Bridgeland. Stability conditions on triangulated categories.Annals of Mathematics, 166(2): 317-345, 2007
2007
-
[17]
Stability conditions onK3 surfaces.Duke Mathematical Journal, 141(2): 241-291, 2008
Tom Bridgeland. Stability conditions onK3 surfaces.Duke Mathematical Journal, 141(2): 241-291, 2008
2008
-
[18]
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
2019
-
[19]
Fred Diamond, Jerry Shurman.A First Course in Modular Forms, Springer, 2005
2005
-
[20]
Hyper-K¨ ahler manifolds.Milan Journal of Mathematics, 90(2): 305-387, 2022
Olivier Debarre. Hyper-K¨ ahler manifolds.Milan Journal of Mathematics, 90(2): 305-387, 2022
2022
-
[21]
Special prime Fano fourfolds of degree 10 and index 2
Olivier Debarre, Atanas Iliev, Laurent Manivel. Special prime Fano fourfolds of degree 10 and index 2. InRecent Advances in Algebraic Geometry, Cambridge University Press: 123–155, 2015
2015
-
[22]
Gushel–Mukai varieties: classification and birational- ities.Algebraic Geometry, 5(1): 15-76, 2018
Olivier Debarre, Alexander Kuznetsov. Gushel–Mukai varieties: classification and birational- ities.Algebraic Geometry, 5(1): 15-76, 2018
2018
-
[23]
Quadrics on Gushel–Mukai varieties
Olivier Debarre, Alexander Kuznetsov. Quadrics on Gushel–Mukai varieties. Preprint, arXiv:2409.03528v1, 2024
-
[24]
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, arXiv:2302.12663v3, 2023
-
[25]
Picard groups on moduli of K3 surfaces with Mukai models.International Mathematics Research Notices, 2015(16): 7238-7257, 2015
Francois Greer, Zhiyuan Li, Zhiyu Tian. Picard groups on moduli of K3 surfaces with Mukai models.International Mathematics Research Notices, 2015(16): 7238-7257, 2015
2015
-
[26]
Conics on Gushel–Mukai fourfolds, EPW sextics and Bridgeland moduli spaces.Mathematical Research Letters, 31(4): 1061-1106, 2024
Hanfei Guo, Zhiyu Liu, Shizhuo Zhang. Conics on Gushel–Mukai fourfolds, EPW sextics and Bridgeland moduli spaces.Mathematical Research Letters, 31(4): 1061-1106, 2024
2024
-
[27]
Double cover K3 surfaces of Hirzebruch surfaces.Advances in Geometry, 21(2): 221-225, 2021
Taro Hayashi. Double cover K3 surfaces of Hirzebruch surfaces.Advances in Geometry, 21(2): 221-225, 2021. 30 ZIQI LIU
2021
-
[28]
Non-symplectic involutions of normal K3 surfaces associated with Hirzebruch surfaces.Geometriae Dedicata, 218(6): article 112, 2024
Taro Hayashi. Non-symplectic involutions of normal K3 surfaces associated with Hirzebruch surfaces.Geometriae Dedicata, 218(6): article 112, 2024
2024
-
[29]
Rela- tive integral functors for singular fibrations and singular partners.Journal of the European Mathematical Society, 11(3): 597-625, 2009
Daniel Hern´ andez Ruip´ erez, Ana Cristina L´ opez Mart´ ın, Fernando Sancho de Salas. Rela- tive integral functors for singular fibrations and singular partners.Journal of the European Mathematical Society, 11(3): 597-625, 2009
2009
-
[30]
Lian, Keiji Oguiso, Shing-Tung Yau
Shinobu Hosono, Bong H. Lian, Keiji Oguiso, Shing-Tung Yau. Fourier-Mukai partners of a K3 surface of Picard number one. InVector Bundles and Representation Theory (Columbia, MO, 2002), AMS Press: 43-55, 2003
2002
-
[31]
Oxford University Press, 2006
Daniel Huybrechts.Fourier–Mukai transforms in Algebraic Geometry. Oxford University Press, 2006
2006
-
[32]
Derived and abelian equivalence of K3 surfaces.Journal of Algebraic Geometry, 17(2): 375–400, 2008
Daniel Huybrechts. Derived and abelian equivalence of K3 surfaces.Journal of Algebraic Geometry, 17(2): 375–400, 2008
2008
-
[33]
Stability conditions via spherical objects.Mathematische Zeitschrift, 271(3-4): 1253–1270, 2012
Daniel Huybrechts. Stability conditions via spherical objects.Mathematische Zeitschrift, 271(3-4): 1253–1270, 2012
2012
-
[34]
On derived categories of K3 surfaces, symplectic automorphisms and the Conway group.Advanced Studies in Pure Mathematics, 69: 387-405, 2016
Daniel Huybrechts. On derived categories of K3 surfaces, symplectic automorphisms and the Conway group.Advanced Studies in Pure Mathematics, 69: 387-405, 2016
2016
-
[35]
Cambridge University Press, 2016
Daniel Huybrechts.Lectures on K3 Surfaces. Cambridge University Press, 2016
2016
-
[36]
Cambridge University Press, 2010
Daniel Huybrechts, Manfred Lehn.The Geometry of Moduli Spaces of Sheaves (2nd Edition). Cambridge University Press, 2010
2010
-
[37]
Derived equivalences of K3 surfaces and orientation.Duke Mathematical Journal, 149(3): 461-507, 2009
Daniel Huybrechts, Emanuele Macr` ı, Paolo Stellari. Derived equivalences of K3 surfaces and orientation.Duke Mathematical Journal, 149(3): 461-507, 2009
2009
-
[38]
Categorical Torelli theorems for higher Picard rank Fano double covers
Augustinas Jacovskis, Reinder Meinsma. Categorical Torelli theorems for higher Picard rank Fano double covers. Preprint, arXiv:2604.12453v2, 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[39]
Fourier–Mukai transformations on K3 surfaces withρ= 1 and Atkin–Lehner involutions.Journal of Algebra, 417: 103-115, 2014
Kotaro Kawatani. Fourier–Mukai transformations on K3 surfaces withρ= 1 and Atkin–Lehner involutions.Journal of Algebra, 417: 103-115, 2014
2014
-
[40]
Hyperplane sections and derived categories.Izvestiya: Mathematics, 70: 447-547, 2006
Alexander Kuznetsov. Hyperplane sections and derived categories.Izvestiya: Mathematics, 70: 447-547, 2006
2006
-
[41]
Derived categories of cyclic covers and their branch divisors.Selecta Mathematica: New Series, 23: 389-423, 2017
Alexander Kuznetsov, Alexander Perry. Derived categories of cyclic covers and their branch divisors.Selecta Mathematica: New Series, 23: 389-423, 2017
2017
-
[42]
Derived categories of Gushel–Mukai varieties.Com- positio Mathematica, 154: 1362–1406, 2018
Alexander Kuznetsov, Alexander Perry. Derived categories of Gushel–Mukai varieties.Com- positio Mathematica, 154: 1362–1406, 2018
2018
-
[43]
Categorical cones and quadratic homological projec- tive duality.Annales Scientifiques de l’ENS, 56(1): 1-57, 2023
Alexander Kuznetsov, Alexander Perry. Categorical cones and quadratic homological projec- tive duality.Annales Scientifiques de l’ENS, 56(1): 1-57, 2023
2023
-
[44]
Derived categories of Fano threefolds and degenera- tions.Inventiones mathematicae, 239(3): 377-430, 2025
Alexander Kuznetsov, Evgeny Shinder. Derived categories of Fano threefolds and degenera- tions.Inventiones mathematicae, 239(3): 377-430, 2025
2025
-
[45]
On two families of Enriques categories over K3 surfaces.Mathematische Zeitschrift, 313(3): article number 45, 2026
Ziqi Liu. On two families of Enriques categories over K3 surfaces.Mathematische Zeitschrift, 313(3): article number 45, 2026
2026
-
[46]
Derived-natural automorphisms on Hilbert schemes of points on generic K3 surfaces
Ziqi Liu. Derived-natural automorphisms on Hilbert schemes of points on generic K3 surfaces. Proceedings of the American Mathematical Society, 154(2): 599–614, 2026
2026
-
[47]
EPW varieties as moduli spaces on ordinary GM surfaces and special GM threefolds
Ziqi Liu, Shizhuo Zhang. EPW varieties as moduli spaces on ordinary GM surfaces and special GM threefolds. Preprint, arXiv:2512.13269, 2025
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[48]
Derived equivalent Hilbert schemes of points on K3 surfaces which are not birational.Mathematische Zeitschrift, 294(3-4): 871-880, 2020
Ciaran Meachan, Giovanni Mongardi, K¯ ota Yoshioka. Derived equivalent Hilbert schemes of points on K3 surfaces which are not birational.Mathematische Zeitschrift, 294(3-4): 871-880, 2020
2020
-
[49]
Birational geometry of singular moduli spaces of O’Grady type
Ciaran Meachan, Ziyu Zhang. Birational geometry of singular moduli spaces of O’Grady type. Advances in Mathematics, 296: 210-267, 2016
2016
-
[50]
Existence of good divisors on Mukai varieties.Journal of Algebraic Ge- ometry, 8(2): 197–206, 1999
Massimiliano Mella. Existence of good divisors on Mukai varieties.Journal of Algebraic Ge- ometry, 8(2): 197–206, 1999
1999
-
[51]
Morrison.The Geometry of K3 Surfaces
David R. Morrison.The Geometry of K3 Surfaces. Cortona Lectures, 1998
1998
-
[52]
Kieran G. O’Grady. Irreducible symplectic 4-folds and Eisenbud-Popescu-Walter sextics. Duke Mathematical Journal, 134(1): 99-137, 2006
2006
-
[53]
Kieran G. O’Grady. Double covers of EPW-sextics.The Michigan Mathematical Journal, 62: 143-184, 2013
2013
-
[54]
Kieran G. O’Grady. Periods of double EPW-sextics.Mathematische Zeitschrift, 280(1-2): 485-524, 2015
2015
-
[55]
Enriques manifolds.Journal f¨ ur die reine und angewandte Mathematik, 661: 215-235, 2011
Keiji Oguiso, Stefan Schr¨ oer. Enriques manifolds.Journal f¨ ur die reine und angewandte Mathematik, 661: 215-235, 2011
2011
-
[56]
Equivalences of derived categories and K3 surfaces.Journal of Mathematical Sciences, 84(5): 1361-1381, 1997
Dmitri Orlov. Equivalences of derived categories and K3 surfaces.Journal of Mathematical Sciences, 84(5): 1361-1381, 1997
1997
-
[57]
Automorphisms of positive entropy on some hyperK¨ ahler manifolds via derived automorphisms of K3 surfaces.Advances in Mathematics, 335: 1-26, 2018
Genki Ouchi. Automorphisms of positive entropy on some hyperK¨ ahler manifolds via derived automorphisms of K3 surfaces.Advances in Mathematics, 335: 1-26, 2018. BRIDGELAND–ENRIQUES GENERAL K3 SURFACES 31
2018
-
[58]
Stability conditions and moduli spaces for Kuznetsov components of Gushel–Mukai varieties.Geometry & Topology, 26(7): 3055–3121, 2022
Alexander Perry, Laura Pertusi, Xiaolei Zhao. Stability conditions and moduli spaces for Kuznetsov components of Gushel–Mukai varieties.Geometry & Topology, 26(7): 3055–3121, 2022
2022
-
[59]
Moduli spaces of stable objects in Enriques categories.Selecta Mathematica, New Series, 32: Article Nr
Alexander Perry, Laura Pertusi, Xiaolei Zhao. Moduli spaces of stable objects in Enriques categories.Selecta Mathematica, New Series, 32: Article Nr. 47, 2026
2026
-
[60]
Przyjalkowski, Ivan A
Victor V. Przyjalkowski, Ivan A. Cheltsov, Konstantin A. Shramov. Hyperelliptic and trigonal Fano threefolds.Izvestiya: Mathematics, 69(2): 365–421, 2005
2005
-
[61]
On the double EPW sextic associated to a Gushel–Mukai fourfold.Journal of the London Mathematical Society, 100(1): 83-106, 2019
Laura Pertusi. On the double EPW sextic associated to a Gushel–Mukai fourfold.Journal of the London Mathematical Society, 100(1): 83-106, 2019
2019
-
[62]
Vector bundles of rank 2 and linear systems on algebraic surfaces.Annals of Mathematics, 127(2): 309-316, 1988
Igor Reider. Vector bundles of rank 2 and linear systems on algebraic surfaces.Annals of Mathematics, 127(2): 309-316, 1988
1988
-
[63]
F. Enriques
Bernard Saint-Donat. Projective models of K3 surfaces.American Journal of Mathematics, 96: 602-639, 1974. Dipartimento di Matematica “F. Enriques”, Universit `a degli Studi di Milano, Via Cesare Saldini 50, 20133 Milano, Italy. Email address:ziqi.liu@unimi.it
1974
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.