---
title: Special Gushel–Mukai Threefolds
url: https://www.emergentmind.com/topics/special-gushel-mukai-threefolds
type: topic
---

# Special Gushel–Mukai Threefolds

Special Gushel–Mukai threefolds are the special members of the genus-\(6\) prime Fano family: smooth Fano threefolds with Picard rank \(1\), index \(1\), and degree \(10\), realized not as ordinary quadric sections of linear sections of \(\operatorname{Gr}(2,5)\), but as double covers of a codimension-\(3\) linear section of \(\operatorname{Gr}(2,5)\) branched along a smooth quadric section, equivalently along a degree-\(10\) \(K3\) surface [2507.06995], [1510.05448]. Their geometry is governed by the covering involution, their Hodge theory differs sharply from the ordinary case, and their derived categories exhibit an Enriques-type structure whose equivariant and covering constructions recover the branch \(K3\) surface.

## 1. Definition and basic geometry

A Gushel–Mukai variety is a smooth intersection
\[
X=\operatorname{Cone}(\operatorname{Gr}(2,5))\cap Q,
\]
where \(\operatorname{Cone}(\operatorname{Gr}(2,5))\subset \mathbf P^{10}\) is the projective cone over the Plücker Grassmannian and \(Q\subset \mathbf P^{n+4}\) is a quadric hypersurface. The ordinary/special dichotomy is determined by the cone vertex: a GM variety is ordinary if the relevant linear section avoids the vertex, and special if it contains the vertex [2001.03485], [2405.10797].

In dimension \(3\), a GM threefold is a smooth Fano threefold with
\[
\operatorname{Pic}(X)=\mathbf Z H,\qquad -K_X=H,\qquad H^3=10,
\]
hence a prime Fano threefold of genus \(6\) [2405.10797], [2001.03485]. The ordinary model is
\[
X=\operatorname{Gr}(2,5)\cap \mathbf P^7\cap Q\subset \mathbf P^9.
\]
By contrast, a special Gushel–Mukai threefold is a double cover
\[
\pi:X\to Y
\]
of the codimension-\(3\) linear section
\[
Y=\operatorname{Gr}(2,5)\cap \mathbf P^6\subset \mathbf P^9,
\]
branched along a smooth quadric section
\[
S=Y\cap Q\in |-K_Y|=|\mathcal O_Y(2)|.
\]
If \(H\) denotes the hyperplane class on \(Y\), then
\[
\omega_Y\cong \mathcal O_Y(-2),\qquad -K_Y=2H,
\]
and \(S\) is a smooth \(K3\) surface of degree \(10\) [2507.06995].

The same threefold \(Y\) is described in the \(K\)-stability literature as the unique quintic del Pezzo threefold \(M_3\), characterized by
\[
\operatorname{Pic}(M_3)=\mathbf ZH,\qquad -K_{M_3}=2H,\qquad H^3=5.
\]
With \(Q_2\subset M_3\) the branch divisor, one has
\[
p^*\!\left(K_{M_3}+\frac12 Q_2\right)=K_{X_3},
\]
so \(-K_{X_3}=p^*H\), in agreement with the index-\(1\) Fano structure [2405.10797]. In this form, a special GM threefold is simultaneously a branched double cover of a degree-\(5\) del Pezzo threefold and a member of the standard GM family.

## 2. Lagrangian data, EPW geometry, and the special locus

The modern classification of GM varieties uses Lagrangian data. For lci GM varieties, one passes from GM data to an extended Lagrangian data set
\[
(V_6,V_5,A,A_1),
\]
where \(A\subset \wedge^3V_6\) is Lagrangian and \(A_1\) encodes the type: changing \(A_1\) switches between ordinary and special [1510.05448]. The dimension formula is
\[
\dim(X)=
\begin{cases}
5-\dim(A\cap \wedge^3V_5),& \text{ordinary},\\[4pt]
6-\dim(A\cap \wedge^3V_5),& \text{special}.
\end{cases}
\]
Hence a special GM threefold satisfies
\[
\dim(A\cap \wedge^3V_5)=3,
\]
whereas an ordinary GM threefold satisfies
\[
\dim(A\cap \wedge^3V_5)=2
\]
[1510.05448], [2512.13269].

Special and ordinary GM varieties are related by the opposite construction. If \(X\) is a special GM threefold, then its opposite variety \(X^{\mathrm{op}}\) is the branch divisor of the double cover, hence an ordinary GM surface; in the threefold case this is a polarized \(K3\) surface of degree \(10\) [2202.04195]. This relation is central: the special threefold and the ordinary surface share the same Lagrangian/EPW data, but differ by type.

The EPW description makes the moduli-theoretic position of the special locus precise. For GM threefolds, the fiber of the natural map from GM moduli to EPW moduli has the form
\[
\pi_3^{-1}([A])\simeq Y_{A^\perp}^{\,2}\cup Y_{A^\perp}^{\,3},
\]
where the piece \(Y_{A^\perp}^{\,2}\) parametrizes ordinary GM threefolds and the piece \(Y_{A^\perp}^{\,3}\) parametrizes special GM threefolds [2001.03485]. Thus special GM threefolds form the deeper degeneracy stratum in the EPW picture. At the same time, a special GM threefold has the same corrected discriminant and hence the same EPW sextic as its associated ordinary partner [1510.05448]. This indicates that the special character is not detected by the sextic \(Y_A\) alone; it depends on the type datum and the specific position of \(V_5\).

## 3. Hodge theory and infinitesimal Torelli

For special GM threefolds, the covering involution \(\iota\) fundamentally alters the infinitesimal Torelli problem. The infinitesimal period map is
\[
d\mathcal P: H^1(X,T_X)\longrightarrow \operatorname{Hom}\!\bigl(H^1(X,\Omega_X^2),\,H^2(X,\Omega_X^1)\bigr),
\]
and the double-cover structure makes it \(\iota\)-equivariant. Using Konno’s decomposition for double covers, one obtains
\[
H^1(X,T_X)\cong H^1(Y,T_Y(-\log S))\oplus H^1(Y,T_Y(-1)),
\]
together with corresponding splittings for the Hodge spaces. In the special GM case, the anti-invariant part of the infinitesimal period map is zero, and
\[
H^1(Y,T_Y(-1))\subset \ker d\mathcal P.
\]
Moreover,
\[
\dim H^1(Y,T_Y(-1))=3,\qquad h^1(X,T_X)=22,
\]
so the invariant part has dimension \(19\) [2507.06995].

The main infinitesimal Torelli theorem is that the invariant part
\[
H^{1}(Y,T_{Y}(-\log S))\rightarrow \operatorname{Hom}\!\bigl( H^{1}(Y,\Omega^{2}_{Y}(\log S)(-1)), H^{2}(Y,\Omega^{1}_{Y}(\log S)(-1)) \bigr)
\]
is injective. Consequently,
\[
\ker d\mathcal P \cong H^1(Y,T_Y(-1)), \qquad \dim \ker d\mathcal P =3
\]
[2507.06995]. This is the precise infinitesimal Torelli statement for special GM threefolds: \(d\mathcal P\) is not injective, but its invariant part is injective, and the entire failure of injectivity comes from the anti-invariant directions produced by the covering involution.

The geometric interpretation is equally specific. The invariant subspace
\[
H^1(Y,T_Y(-\log S))
\]
parametrizes first-order deformations preserving the structure of \(X\) as a special GM threefold, namely deformations of the branch \(K3\) surface \(S\subset Y\) inside the fixed rigid threefold \(Y\). The \(3\)-dimensional kernel consists of normal directions leaving the special locus toward possibly ordinary GM threefolds [2507.06995]. This is why the paper treats special GM threefolds as hyperelliptic-type members of the genus-\(6\) family: the involution contributes precisely the extra invisible directions.

The proof reduces the problem to a twisted infinitesimal Torelli statement on the branch \(K3\) surface. One has an injection
\[
H^1(Y,T_Y(-\log S))\hookrightarrow H^1(S,T_S),
\]
with image a \(19\)-dimensional subspace \(H^1(S,T_S)_0\subset H^1(S,T_S)\), while
\[
h^1(S,T_S)=20.
\]
The missing \(1\)-dimensional direction corresponds to the polarization inherited from \(Y\), and the unrestricted map on all of \(H^1(S,T_S)\) is not injective [2507.06995]. This sharply distinguishes the special GM Torelli statement from the usual \(K3\) infinitesimal Torelli theorem.

## 4. Derived categories, Enriques structure, and categorical Torelli

For a GM threefold \(X\), the derived category admits a semiorthogonal decomposition
\[
D^b(X)=\langle \mathcal A_X,\mathcal O_X,\mathcal U_X^\vee\rangle,
\]
and equivalently
\[
D^b(X)=\langle \Ku(X),E,\mathcal O_X\rangle,
\]
where \(E\) is the pullback of the tautological rank-\(2\) subbundle on \(\operatorname{Gr}(2,5)\) and \(E(H)\cong E^\vee\) [1605.06568], [2108.02946]. The nontrivial component is not geometric in the sense of being \(D^b(S)\) for a variety \(S\): for odd-dimensional GM varieties, and hence for GM threefolds, the GM category is an Enriques category rather than a K3 category [1605.06568].

More precisely, for odd-dimensional GM varieties one has
\[
S_{\mathcal A_X}\cong \sigma\circ [2],
\]
with \(\sigma\) a nontrivial involution. If \(X\) is special, this involution is induced by the covering involution of the double cover. In the threefold notation of the categorical Torelli paper,
\[
S_{\Ku(X)}=\tau[2]
\]
for a special GM threefold \(X\) with covering involution \(\tau\) [1605.06568], [2108.02946]. This is the categorical signature of specialness: the Enriques involution is geometric.

The same phenomenon appears in covering constructions. For a special GM threefold, the equivariant Kuznetsov component recovers the branch surface:
\[
\Ku(X)^{\mu_2}\simeq D^b(\mathcal B),
\]
where \(\mathcal B\) is the branch \(K3\) surface [2108.02946]. Equivalently, the CY\(_2\) cover of the Enriques category \(\Ku(X)\) is the derived category of the opposite GM surface \(X^{\mathrm{op}}\), a degree-\(10\) \(K3\) surface [2202.04195]. This identifies special GM threefolds as noncommutative Enriques objects with a genuine \(K3\) cover.

This structure yields a categorical Torelli theorem that is stronger in the special case than in the ordinary one. For general special GM threefolds \(X\) and \(X'\),
\[
\Ku(X)\simeq \Ku(X') \Longrightarrow X\cong X'
\]
[2108.02946]. The proof uses the identity \(S_{\Ku(X)}=\tau[2]\): any equivalence of Kuznetsov components must commute with Serre functors, hence with the involutions, so it descends to an equivalence of the equivariant categories and therefore of the derived categories of the branch \(K3\) surfaces. Since the branch surfaces are degree-\(10\), Picard-rank-\(1\) \(K3\) surfaces, derived equivalence implies isomorphism, and the rigidity of the ambient del Pezzo threefold recovers the double cover [2108.02946].

By contrast, the ordinary case is less rigid. For general ordinary GM threefolds, the Kuznetsov component alone generally determines only the birational class, and a refined Torelli statement requires an additional distinguished object [2108.02946]. The broader categorical classification of GM threefolds states that equivalent Kuznetsov components occur exactly for period partners or duals, and in particular imply birationality; special points are included in that classification [2202.04195]. The special case is distinguished because the involution upgrades birational categorical Torelli to isomorphism-level categorical Torelli.

## 5. Bridgeland stability, Kuznetsov moduli, and EPW surfaces

Bridgeland stability conditions exist on the Kuznetsov component of every GM variety, hence in particular on the Kuznetsov component of every special GM threefold [1912.06935]. For GM threefolds, the stability conditions constructed by Bayer, Lahoz, Macrì, and Stellari are preserved by the Serre functor up to the natural \(\widetilde{\mathrm{GL}_2^+(\mathbf R)}\)-action, and in fact
\[
S_{\Ku(X)}[-2]\cdot \sigma=\sigma
\]
for stability conditions in the relevant orbit [2112.04769]. The same paper proves that all Serre-invariant stability conditions on the Kuznetsov component of a GM threefold lie in a single \(\widetilde{\mathrm{GL}_2^+(\mathbf R)}\)-orbit [2112.04769]. For a special GM threefold, this Serre invariance is the categorical form of invariance under the covering involution.

When \(X\) is the special GM threefold associated with a strongly smooth ordinary GM surface \(S\), the equivariant relation between \(\Ku(X)\) and \(D^b(S)\) becomes an explicit moduli machine. The numerical Grothendieck group of \(\Ku(X)\) has rank \(2\), with basis \(\kappa_1,\kappa_2\) satisfying
\[
\operatorname{ch}(\kappa_1)=1-\frac{1}{5}h^2,\qquad \operatorname{ch}(\kappa_2)=2-h+\frac{1}{12}h^3,
\]
and Euler form \(-I_2\), where \(h=c_1(\mathcal O_X(1))\). Under the inflation map, the classes \(-\kappa_1\) and \(-\kappa_2\) correspond to the Mukai vectors
\[
(1,0,-1),\qquad (2,-H,2)
\]
on the branch surface \(S\) [2512.13269]. The induced stability condition \(\sigma_X\) on \(\Ku(X)\) then yields two distinguished moduli spaces:
\[
M_{\sigma_X}(-\kappa_1)\cong \widetilde Y_{A(X)^\perp}^{\ge 2},\qquad
M_{\sigma_X}(-\kappa_2)\cong \widetilde Y_{A(X)}^{\ge 2}.
\]
Thus the double dual EPW surface and the double EPW surface associated with a special GM threefold are realized as moduli spaces of semistable objects on its Kuznetsov component [2512.13269]. These identifications refine the Bayer–Perry statement on equivalent Kuznetsov components: the action on \(\kappa_1,\kappa_2\) distinguishes period-partner behavior from period-dual behavior [2512.13269].

The Hilbert schemes of curves on special GM threefolds also interact nontrivially with Bridgeland moduli. For a special smooth GM threefold \(X_{10}\), the Hilbert scheme
\[
\mathcal H=\Hilb^{3t+1}(X)
\]
of twisted cubics is a smooth irreducible projective threefold if \(X_{10}\) is general among special GM threefolds, and singular if \(X_{10}\) is not general. In the general case there exists an irreducible component \(\mathcal Z\) of a moduli space of Bridgeland stable objects in \(\Ku(X_{10})\) such that
\[
\mathcal H\to \mathcal Z
\]
is a divisorial contraction [2012.12193]. The special geometry of the branch divisor controls the singularities in the nongeneral case.

A different projectivity result applies to a general GM threefold \(Y\). For coprime integers \(a,b\) and any Serre-invariant stability condition \(\sigma_Y\) on \(\Ku(Y)\), the moduli space
\[
M_{\sigma_Y}^Y(a,b)
\]
is a projective scheme [2404.11598]. The paper explicitly presents this theorem for a general GM threefold and notes that this class can be either ordinary or special. The proof uses a finite morphism from the threefold moduli space to a projective moduli space on a general GM fourfold containing \(Y\) as a hyperplane section [2404.11598]. This places special GM threefolds inside a broader hyperplane-section comparison framework between Enriques-type and K3-type Kuznetsov components.

## 6. Birationality, \(K\)-stability, and terminological clarifications

In the EPW/Lagrangian theory, special GM threefolds participate in the same birational web as ordinary ones. Smooth period partners of dimension \(3\) are birationally isomorphic, and smooth dual GM threefolds are also birationally isomorphic [1510.05448]. Combined with the later categorical classification of GM threefolds, this yields a stable picture: equivalence of Kuznetsov components implies period-partner or dual behavior and hence birationality, while the special case is sharpened by the categorical Torelli theorem to actual isomorphism for general special threefolds [2202.04195], [2108.02946].

From the viewpoint of \(K\)-stability, the threefold case is already settled in the literature cited by recent work: all smooth GM threefolds are \(K\)-stable. For a special GM threefold \(X_3\to M_3\), the log-pair description
\[
p^*\!\left(K_{M_3}+\frac12Q_2\right)=K_{X_3}
\]
identifies special GM threefolds with the log Fano pair \((M_3,\frac12Q_2)\), and
\[
X_3\ \text{is \(K\)-polystable}\iff (M_3,\tfrac12Q_2)\ \text{is \(K\)-polystable}
\]
[2405.10797]. The 2024 \(K\)-stability paper does not prove a new threefold theorem; rather, it records that the stronger statement “all smooth GM threefolds are \(K\)-stable” was already known and uses the double-cover/log-pair framework as the three-dimensional prototype for higher-dimensional special GM manifolds [2405.10797].

A recurrent terminological ambiguity deserves explicit separation. In the standard Mukai–Debarre–Kuznetsov sense, a special GM threefold is the double-cover type described above. By contrast, a 1-nodal ordinary GM threefold is a singular ordinary GM threefold, not a special GM variety in the standard sense. Recent work on nodal GM varieties studies this singular locus as a distinguished degeneration of ordinary GM threefolds and develops its own conic-bundle and Clifford-algebra description, but it explicitly notes that these are not special GM varieties in the usual classification terminology [2602.14109]. This distinction matters because both settings involve extra involutions and special birational structures, but they belong to different strata of the GM landscape.

Special Gushel–Mukai threefolds therefore occupy a sharply defined position at the intersection of Fano geometry, \(K3\) surfaces, EPW degeneracy loci, and noncommutative surface theory. Their defining double-cover involution governs their deformation theory, explains the precise form of infinitesimal Torelli, endows their Kuznetsov components with geometric Enriques structure, and makes possible a categorical Torelli theorem that is stronger than in the ordinary case.

Source: https://www.emergentmind.com/topics/special-gushel-mukai-threefolds