REVIEW 2 major objections 63 references
Bridgeland-Enriques general K3 surfaces detect categorical degeneration of special Gushel-Mukai threefolds.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
Introduces Bridgeland-Enriques general K3 surfaces whose degree-10 family detects categorical degeneration of special Gushel-Mukai threefolds and whose higher-degree families relate to Hodge-special Gushel-Mukai fourfolds and double EPW sextics.
T0 review reviewed 2026-07-03 challenge →
load-bearing objection The paper defines Bridgeland-Enriques general K3 surfaces and claims the degree-10 family detects categorical degeneration of special Gushel-Mukai threefolds. the 2 major comments →
Bridgeland-Enriques general K3 surfaces
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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.
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.
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
Cite this review
Pith. "Pith review of Bridgeland-Enriques general K3 surfaces." pith.science (2026). https://pith.science/paper/77MAMS53
@misc{pith2026260702281,
author = {Pith},
title = {Pith review of: Bridgeland-Enriques general K3 surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/77MAMS53}},
note = {Machine review of arXiv:2607.02281}
}
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.
Reference graph
Works this paper leans on
-
[1]
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
work page 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
work page 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
work page 2019
-
[4]
Arend Bayer, Tom Bridgeland. Derived automorphism groups of K3 surfaces of Picard rank 1.Duke Mathematical Journal, 166(1): 75-124, 2017
work page 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
work page 2021
-
[6]
Arend Bayer, Emanuele Macr` ı. Projectivity and birational geometry of Bridgeland moduli spaces.Journal of the American Mathematical Society, 27(3): 707-752, 2014
work page 2014
-
[7]
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
work page 2014
-
[8]
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]
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
work page 2023
-
[10]
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
work page 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
work page 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
work page 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
work page 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
work page 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
work page 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
work page 2019
-
[19]
Fred Diamond, Jerry Shurman.A First Course in Modular Forms, Springer, 2005
work page 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
work page 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
work page 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
work page 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]
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
work page 2015
-
[26]
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
work page 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
work page 2021
-
[28]
Taro Hayashi. Non-symplectic involutions of normal K3 surfaces associated with Hirzebruch surfaces.Geometriae Dedicata, 218(6): article 112, 2024
work page 2024
-
[29]
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
work page 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
work page 2002
-
[31]
Daniel Huybrechts.Fourier–Mukai transforms in Algebraic Geometry. Oxford University Press, 2006
work page 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
work page 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
work page 2012
-
[34]
Daniel Huybrechts. On derived categories of K3 surfaces, symplectic automorphisms and the Conway group.Advanced Studies in Pure Mathematics, 69: 387-405, 2016
work page 2016
-
[35]
Cambridge University Press, 2016
Daniel Huybrechts.Lectures on K3 Surfaces. Cambridge University Press, 2016
work page 2016
-
[36]
Cambridge University Press, 2010
Daniel Huybrechts, Manfred Lehn.The Geometry of Moduli Spaces of Sheaves (2nd Edition). Cambridge University Press, 2010
work page 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
work page 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]
Kotaro Kawatani. Fourier–Mukai transformations on K3 surfaces withρ= 1 and Atkin–Lehner involutions.Journal of Algebra, 417: 103-115, 2014
work page 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
work page 2006
-
[41]
Alexander Kuznetsov, Alexander Perry. Derived categories of cyclic covers and their branch divisors.Selecta Mathematica: New Series, 23: 389-423, 2017
work page 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
work page 2018
-
[43]
Alexander Kuznetsov, Alexander Perry. Categorical cones and quadratic homological projec- tive duality.Annales Scientifiques de l’ENS, 56(1): 1-57, 2023
work page 2023
-
[44]
Alexander Kuznetsov, Evgeny Shinder. Derived categories of Fano threefolds and degenera- tions.Inventiones mathematicae, 239(3): 377-430, 2025
work page 2025
-
[45]
Ziqi Liu. On two families of Enriques categories over K3 surfaces.Mathematische Zeitschrift, 313(3): article number 45, 2026
work page 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
work page 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]
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
work page 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
work page 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
work page 1999
-
[51]
Morrison.The Geometry of K3 Surfaces
David R. Morrison.The Geometry of K3 Surfaces. Cortona Lectures, 1998
work page 1998
-
[52]
Kieran G. O’Grady. Irreducible symplectic 4-folds and Eisenbud-Popescu-Walter sextics. Duke Mathematical Journal, 134(1): 99-137, 2006
work page 2006
-
[53]
Kieran G. O’Grady. Double covers of EPW-sextics.The Michigan Mathematical Journal, 62: 143-184, 2013
work page 2013
-
[54]
Kieran G. O’Grady. Periods of double EPW-sextics.Mathematische Zeitschrift, 280(1-2): 485-524, 2015
work page 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
work page 2011
-
[56]
Dmitri Orlov. Equivalences of derived categories and K3 surfaces.Journal of Mathematical Sciences, 84(5): 1361-1381, 1997
work page 1997
-
[57]
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
work page 2018
-
[58]
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
work page 2022
-
[59]
Alexander Perry, Laura Pertusi, Xiaolei Zhao. Moduli spaces of stable objects in Enriques categories.Selecta Mathematica, New Series, 32: Article Nr. 47, 2026
work page 2026
-
[60]
Victor V. Przyjalkowski, Ivan A. Cheltsov, Konstantin A. Shramov. Hyperelliptic and trigonal Fano threefolds.Izvestiya: Mathematics, 69(2): 365–421, 2005
work page 2005
-
[61]
Laura Pertusi. On the double EPW sextic associated to a Gushel–Mukai fourfold.Journal of the London Mathematical Society, 100(1): 83-106, 2019
work page 2019
-
[62]
Igor Reider. Vector bundles of rank 2 and linear systems on algebraic surfaces.Annals of Mathematics, 127(2): 309-316, 1988
work page 1988
-
[63]
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
work page 1974
This paper was first reviewed by grok-4.3 on July 3, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.