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

# Ordinary Gushel–Mukai Threefolds

An ordinary Gushel–Mukai threefold is a smooth prime Fano threefold of genus \(6\), equivalently a smooth Fano threefold of Picard rank \(1\), index \(1\), and degree \(10\), realized as a quadric section of a codimension-\(2\) linear section of \(\operatorname{Gr}(2,5)\) in its Plücker embedding. In the modern formulation, it sits simultaneously in the geometry of linear sections of Grassmannians, the EPW–Lagrangian correspondence, and the study of nontrivial semiorthogonal components of derived categories. Ordinary GM threefolds provide the three-dimensional member of the Gushel–Mukai hierarchy and are a central testing ground for questions on period maps, categorical Torelli theorems, Bridgeland stability, and birational transformations [1510.05448], [2001.03485].

## 1. Geometric definition and basic invariants

Let \(V_5\) be a \(5\)-dimensional vector space and let \(\operatorname{Gr}(2,V_5)\subset \mathbf P(\wedge^2 V_5)\cong \mathbf P^9\) be the Plücker-embedded Grassmannian. An ordinary Gushel–Mukai threefold is a smooth variety of the form
\[
X=\operatorname{Gr}(2,5)\cap \mathbf P^7\cap Q \subset \mathbf P^9,
\]
where \(\mathbf P^7\subset \mathbf P^9\) is a codimension-\(2\) linear subspace and \(Q\) is a quadric hypersurface. Equivalently, in the cone model, a GM variety is
\[
X=\operatorname{Cone}(\operatorname{Gr}(2,5))\cap \mathbf P^{n+4}\cap Q,
\]
and the variety is ordinary precisely when the linear space \(\mathbf P^{n+4}\) does not contain the cone vertex; in dimension \(3\), this recovers the Grassmannian model above [1510.05448], [1605.06568].

For a GM threefold \(X\), the polarization \(H=\mathcal O_X(1)\) satisfies
\[
H^3=10,\qquad -K_X=H,\qquad \operatorname{Pic}(X)=\mathbb Z\cdot H.
\]
Hence \(X\) is a prime Fano threefold of degree \(10\) and genus \(6\). The ordinary/special dichotomy is intrinsic: ordinary GM data are characterized by the injectivity of the map defining the Gushel structure, whereas special GM threefolds are double covers of codimension-\(3\) linear sections of \(\operatorname{Gr}(2,5)\) branched along a K3 surface or, in the cone language, correspond to linear spaces through the cone vertex [1510.05448], [2507.06995].

The Gushel morphism
\[
\gamma_X\colon X\to \operatorname{Gr}(2,5)
\]
is a closed embedding in the ordinary case. Pulling back the tautological rank-\(2\) subbundle on \(\operatorname{Gr}(2,5)\) gives the Gushel bundle. In one common notation, if \(\mathcal S\) is the tautological subbundle, then
\[
E=f^*\mathcal S^\vee,
\]
and this exceptional rank-\(2\) bundle plays a distinguished role in the derived category and in refined categorical reconstruction [2108.02946].

## 2. Lagrangian data, EPW geometry, and moduli

Ordinary GM threefolds admit a uniform description in terms of Lagrangian data \((V_6,V_5,A)\), where \(V_6\) is \(6\)-dimensional, \(V_5\subset V_6\) is a hyperplane, and \(A\subset \wedge^3V_6\) is a Lagrangian subspace. For ordinary GM threefolds one has
\[
\dim(A\cap \wedge^3V_5)=2,
\]
and, in the smooth threefold case, the relevant Lagrangian \(A\) contains no decomposable vectors [1605.05648], [1510.05448].

To a smooth GM threefold one associates the \(6\)-dimensional space of quadrics \(V_6=H^0(\mathbf P(W),I_X(2))\) containing \(X\), together with the Plücker hyperplane \(V_5\subset V_6\). The associated EPW sextic is
\[
Y_A=Y_A^{\ge 1}\subset \mathbf P(V_6),
\]
and, for smooth ordinary GM varieties of dimension \(3,4,5\), Debarre’s survey states that \(Y_A\) is identified with the discriminant locus of singular quadrics through \(X\) after removing the Plücker hyperplane with the appropriate multiplicity. For odd-dimensional GM varieties, the surface \(Y_A^2\) and its canonical double cover \(\widetilde Y_A^2\) are especially important: for \(n=3\),
\[
J(X)\cong \operatorname{Alb}(\widetilde Y_A^2)
\]
as principally polarized abelian varieties, where \(J(X)\) is the intermediate Jacobian of \(X\) [2001.03485].

The moduli space of smooth GM threefolds is irreducible of dimension \(22\). In the survey formulation,
\[
\dim M_{\mathrm{GM},3}=22,
\]
and the map to EPW moduli has fibers described by EPW strata:
\[
\tau_3^{-1}([A])\cong Y_A^2\cup Y_A^3.
\]
The ordinary locus is encoded by the appropriate EPW stratum, while special threefolds occur on the adjacent stratum. The same Lagrangian \(A\) can therefore underlie different GM threefolds, giving rise to the notions of period partners and dual varieties [2001.03485], [1510.05448].

This framework has direct birational consequences. Period partners of the same dimension share the same EPW sextic, and in dimension \(3\) smooth period partners are birationally isomorphic. Smooth dual GM threefolds are also birationally isomorphic. A plausible implication is that the Lagrangian \(A\) governs the birational geometry of ordinary GM threefolds more rigidly than the ambient Grassmannian presentation alone [1510.05448].

## 3. Derived categories, Kuznetsov components, and Bridgeland stability

For a GM threefold \(X\), Kuznetsov–Perry isolate a nontrivial admissible component of the derived category. In the notation of "Derived categories of Gushel-Mukai varieties" one has
\[
D^b(X)=\langle \mathcal A_X,\ \mathcal O_X,\ U_X^\vee\rangle,
\]
where \(U_X\) is the pullback of the tautological rank-\(2\) bundle on \(\operatorname{Gr}(2,5)\), and \(\mathcal A_X=\langle \mathcal O_X,U_X^\vee\rangle^\perp\) is the GM category. For threefolds, this category has Serre functor
\[
S_{\mathcal A_X}\simeq \sigma\circ [2]
\]
with \(\sigma\) a nontrivial involution, so the odd-dimensional GM category is described there as Enriques-type. Its Hochschild invariants are
\[
HH_*(\mathcal A_X)\cong k[1]\oplus k\oplus k[-1],\qquad
HH^*(\mathcal A_X)\cong k\oplus k[-2]\oplus k[-4],
\]
and
\[
K_0(\mathcal A_X)_{\mathrm{num}}\cong \mathbb Z^2
\]
with Euler form \(-I_2\) in a suitable basis [1605.06568].

Later papers use closely related notations \(K(X)\), \(\mathcal Ku(X)\), and \(A_X\). For a GM threefold they write
\[
D^b(X)=\langle K(X),E,\mathcal O_X\rangle
\quad\text{or}\quad
D^b(X)=\langle A_X,\mathcal O_X,E^\vee\rangle,
\]
and compute explicit numerical lattices of rank \(2\). One basis is
\[
\operatorname{ch}(\lambda_1)=-1+\tfrac15H^2,\qquad
\operatorname{ch}(\lambda_2)=2-H+\tfrac1{12}H^3,
\]
with Euler form \(-I_2\); another basis is
\[
x=1-2L,\qquad y=H-4L-\tfrac56P,
\]
with Euler matrix
\[
\begin{pmatrix}
-1 & -2\\
-2 & -5
\end{pmatrix}.
\]
The supplied literature therefore treats the same surface-like nontrivial component through several equivalent models adapted to stability, mutations, or Torelli arguments [2112.04769], [2108.02946].

Bridgeland stability conditions on the Kuznetsov component of a GM threefold are constructed by restricting double-tilt stability on \(D^b(X)\). The stability-condition literature proves that the resulting conditions are preserved by the Serre functor up to the \(\widetilde{\mathrm{GL}}_2^+(\mathbb R)\)-action, and that there is a unique \(\widetilde{\mathrm{GL}}_2^+(\mathbb R)\)-orbit of Serre-invariant stability conditions on the GM-threefold Kuznetsov component [2112.04769]. For general GM threefolds, moduli spaces
\[
M^Y_{\sigma_Y}(a,b)
\]
of \(\sigma_Y\)-semistable objects of class \(a\lambda_1+b\lambda_2\) are projective schemes, confirming the projectivity expected in earlier work [2404.11598].

## 4. Period maps, infinitesimal Torelli, and categorical reconstruction

The Hodge-theoretic period map for ordinary GM threefolds takes values in \(\mathcal A_{10}\), the moduli of principally polarized abelian \(10\)-folds, via the intermediate Jacobian. The period map is highly non-injective: the 2025 infinitesimal Torelli study recalls the result of Debarre–Iliev–Manivel that for an ordinary GM threefold the differential of the period map has a \(2\)-dimensional kernel. The same paper identifies this kernel categorically:
\[
\ker d\mathcal P_X \cong \operatorname{Hom}(\mathcal U_X,\mathcal Q_X^\vee),
\]
and
\[
\mathbb P\ker d\mathcal P_X
\]
is identified with the exceptional locus of the birational contraction from the Fano surface of conics to a Bridgeland moduli space in the Kuznetsov component [2507.06995].

Categorical Torelli results sharpen this picture. For a general ordinary GM threefold \(X\), the Kuznetsov component together with the projected tautological bundle determines the variety:
\[
\bigl(K(X),\pi(E)\bigr)\quad\Longrightarrow\quad X.
\]
More precisely, if \(\Phi\colon K(X)\xrightarrow{\sim}K(X')\) sends \(\pi(E)\) to \(\pi(E')\), then \(X\cong X'\). Without the extra object, the Kuznetsov component determines the birational class of a general ordinary GM threefold. For general special GM threefolds, \(K(X)\) alone determines the isomorphism class [2108.02946].

The same paper reformulates the Debarre–Iliev–Manivel conjecture on fibers of the classical period map by introducing a categorical period map whose fiber over \(A_X\) is the disjoint union
\[
C_m(X)/\iota \ \sqcup\ M_G^X(2,1,5)/\iota',
\]
where \(C_m(X)\) is the minimal model of the Fano surface of conics and \(M_G^X(2,1,5)\) is a rank-\(2\) sheaf moduli space. In the general ordinary case, the conjectural fiber of the classical period map is therefore recast as the fiber of a categorical map governed by the Kuznetsov component [2108.02946].

## 5. Lines, conics, twisted cubics, and quadrics

The low-degree curve geometry of ordinary GM threefolds is unusually rich. For a general GM threefold, the Hilbert scheme of lines \(F_1(X)\) is a smooth connected curve of genus \(71\), and the natural map to the EPW surface is the normalization of a \(10\)-nodal curve inside \(Y_A^2\cap \mathbf P(V_5)\) [2001.03485].

Conics form the most classical surface-type parameter space. Debarre’s survey reports Logachev’s result that the Hilbert scheme of conics on a GM threefold is the blow-up of \(Y_A^2\) at one point [2001.03485]. A later analysis of quadrics on GM varieties gives, for a smooth ordinary GM threefold \(X\), a more explicit description:
\[
G_1(X)\simeq \operatorname{Bl}_{p_X'}\bigl(\widetilde Y_{A^\perp}^{\ge 2}\bigr),
\]
the blowup of the double dual EPW surface at one point lying over the Plücker point. In the same framework, \(G_1(X)\) is a connected Cohen–Macaulay surface of pure dimension \(2\), and GM threefolds contain no planes:
\[
F_2(X)=\varnothing.
\]
The construction proceeds through a family of conics \(Q/B\) over
\[
B\simeq \operatorname{Bl}_{p_X}\mathbf P^5,
\]
whose corank stratification matches the blowup of the dual EPW stratification [2409.03528].

Twisted cubics on general GM threefolds provide a further bridge to derived geometry. For a GM threefold \(Y\), the Hilbert scheme \(Hilb_Y^{3t+1}\) parametrizes Cohen–Macaulay twisted cubics. For a general \(Y\), it is a smooth irreducible threefold. Projection to the Kuznetsov component gives a morphism
\[
p_Y\colon Hilb_Y^{3t+1}\to M_{\sigma_Y}^Y(1,-1),
\]
which is an open immersion away from a locus \(S\), and \(S\) is a \(\mathbf P^1\)-bundle over the Hilbert scheme of lines. The image \(p_Y(S)\) is identified with the Hilbert scheme of lines, so the Bridgeland moduli space \(M_{\sigma_Y}^Y(1,-1)\) is a threefold birational to the Hilbert scheme of twisted cubics, with the \(\mathbf P^1\)-families of residue cubics contracted along the line locus [2501.12964].

These curve spaces interact directly with hyperkähler geometry in one higher dimension. If \(Y\) is a hyperplane section of a general GM fourfold \(X\), the Bridgeland moduli spaces on \(K(Y)\) map to moduli on \(K(X)\), and for the class \((1,-1)\) the images are Lagrangian subvarieties in the hyperkähler sixfold associated with twisted cubics on \(X\). A family of such GM-threefold hyperplane sections gives a Lagrangian covering family of the double EPW cube [2501.12964], [2404.11598].

## 6. Birational transformations, explicit examples, singular models, and stability

Ordinary GM threefolds are linked by birational operations known as conic transforms and line transforms. The classification-and-birationalities paper proves that smooth period partners and smooth dual GM varieties of the same dimension are birationally isomorphic. In dimension \(3\), this yields infinitely many non-isomorphic prime Fano threefolds birationally equivalent to a given ordinary GM threefold [1510.05448].

Rationality questions remain a major theme. Debarre’s survey states that a general GM threefold is not rational and records the expectation that all smooth GM threefolds should be irrational, while noting that a full proof for all smooth members was not available there [2001.03485]. An explicit ordinary GM threefold with a faithful \(\mathrm{PSL}(2,\mathbf F_{11})\)-action was later constructed and proved irrational by analyzing its intermediate Jacobian; the same paper exhibits a complete \(2\)-dimensional family of irrational smooth ordinary GM threefolds associated with the same Lagrangian \(A\) [2101.01959].

The singular, nodal case has its own birational-categorical structure. A \(1\)-nodal ordinary GM threefold
\[
X_3=G(2,5)\cap Q_p\cap \mathbf P^7
\]
with a unique node \(p\) admits a blowup \(\widetilde X_3\) and a relative Atiyah flop to a conic bundle
\[
R_3\to \mathbf P^2
\]
with smooth sextic discriminant. The categorical resolution of the Kuznetsov component is then identified with the Clifford category
\[
\mathcal A_{X_3}\simeq D^b(\mathbf P^2,\mathcal C_3),
\]
and this categorical resolution determines the birational class of a general \(1\)-nodal ordinary GM threefold [2602.14109].

K-stability adds another moduli-theoretic layer. The K-stability paper recalls that all smooth GM threefolds are K-stable and studies ordinary GM threefolds as divisors
\[
Q_3\in |2H|
\]
on the quintic del Pezzo fourfold \(M_4\). For a general ordinary GM threefold \(Q_3\subset M_4\), the K-semistable domain of the pair is
\[
(M_4,Q_3)=\left[\frac19,\frac78\right].
\]
This interval controls the K-stability of special GM fourfolds realized as double covers of \(M_4\) branched along \(Q_3\), and shows that ordinary GM threefolds occupy a natural boundary position in K-moduli wall-crossing [2405.10797].

Taken together, these results place ordinary Gushel–Mukai threefolds at a junction where Grassmannian linear-section geometry, EPW degeneracy theory, noncommutative surface-like categories, Bridgeland moduli, and birational transformations all interact through a common rank-\(2\) categorical core.

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