On two families of Enriques categories over K3 surfaces

Ziqi Liu

arxiv: 2412.06921 · v5 · pith:MEZUPMTRnew · submitted 2024-12-09 · 🧮 math.AG

On two families of Enriques categories over K3 surfaces

Ziqi Liu This is my paper

Pith reviewed 2026-05-23 07:32 UTC · model grok-4.3

classification 🧮 math.AG

keywords Enriques categoriesK3 surfacesmoduli spacessemistable objectsGushel-Mukai threefoldsquartic double solidsEPW sexticsbirational involutions

0 comments

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.

The paper examines the moduli spaces of semistable objects in Enriques categories that arise from quartic double solids and from special Gushel-Mukai threefolds. These moduli spaces are shown to coincide with known geometric objects, including the double EPW sextic and cube attached to a general Gushel-Mukai surface and Beauville's birational involution on the Hilbert scheme of two points on a quartic K3 surface. The work also identifies singular loci in several of these moduli spaces and produces an explicit birational involution on O'Grady's hyperkähler tenfold. An appendix supplies a general criterion that decides when an equivariant category of a K3 surface qualifies as an Enriques category.

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

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

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.

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.

Desk Editor's Note private letter to a colleague

The paper gives a workable criterion for equivariant K3 categories to be Enriques and applies it to two families to recover the double EPW sextic, EPW cube, and Beauville involution in a modular way.

read the letter

The main takeaway is that Liu supplies an explicit criterion in the appendix for when an equivariant category on a K3 surface qualifies as Enriques, then applies it to the categories coming from quartic double solids and special Gushel-Mukai threefolds. This produces modular recoveries of the double EPW sextic and cube for a general Gushel-Mukai surface, plus Beauville's birational involution on the Hilbert scheme of two points on a quartic K3. The text also describes singular loci in some of the moduli spaces and gives a birational involution on O'Grady's hyperkähler tenfold. The logic chain from the criterion through the equivariance and stability checks to the geometric identifications looks direct, with no obvious circularity or hidden assumptions flagged in the stress test. What the paper does cleanly is link categorical moduli constructions back to these classical objects without introducing new parameters or fitted data. The soft spots sit in the verification steps for the two specific families: confirming the required equivariance and the precise stability conditions on the semistable objects. Those checks are technical and geometry-dependent, so their correctness determines how far the moduli identifications go. If they hold, the rest follows. The paper is aimed at people working on derived categories of K3 surfaces, moduli of objects in them, and the resulting hyperkähler varieties. It deserves a serious referee because the criterion is stated generally enough to be reusable and the recoveries are concrete. I would send it to peer review.

Referee Report

0 major / 3 minor

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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard background in derived categories, stability conditions, and K3 surface geometry without introducing new free parameters or invented entities; the criterion in the appendix is presented as a new test rather than a postulate.

axioms (1)

domain assumption Existence and properties of Enriques categories over K3 surfaces and semistable objects in their moduli spaces.
Invoked throughout the abstract as the foundation for studying the two families and recovering constructions.

pith-pipeline@v0.9.0 · 5671 in / 1251 out tokens · 22536 ms · 2026-05-23T07:32:23.432949+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation 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.lean washburn_uniqueness_aczel unclear

?

unclear
Relation 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

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

Derived-natural automorphisms on Hilbert schemes of points on generic K3 surfaces
math.AG 2025-01 unverdicted novelty 4.0

Characterizes involutions on Hilb^n(X) for generic K3 surface X induced by autoequivalences of D^b(X).