---
title: 'Mori Dream K3 Surface: Geometry and Cox Rings'
url: https://www.emergentmind.com/topics/mori-dream-k3-surface
type: topic
---

# Mori Dream K3 Surface: Geometry and Cox Rings

A **Mori dream K3 surface** is a K3 surface \(X\) for which the Cox ring
\[
R(X)=\bigoplus_{D\in K} H^0\bigl(X,\mathcal O_X(D)\bigr)
\]
is a finitely generated \(\mathbb C\)-algebra, equivalently a K3 surface that is a Mori dream space in the sense of Hu–Keel and ADHL. For K3 surfaces this notion admits unusually strong reformulations: finite generation of the Cox ring, rational polyhedrality of the effective cone, and finiteness of the automorphism group are equivalent. The subject therefore lies at the intersection of lattice theory, cone geometry, projective models, and explicit multigraded algebra. In the smooth case the decisive invariant is the Néron–Severi lattice; in the singular case rational double points and their resolutions enter through the Picard lattice and the behavior of negative curves [2011.00475] [2412.17036].

## 1. Definitions, cones, and equivalent criteria

For a normal projective variety \(X\) over \(\mathbb C\) with finitely generated, free divisor class group \(\mathrm{Cl}(X)\), the Cox ring is the total coordinate ring
\[
R(X)=\bigoplus_{D\in K} H^0\bigl(X,\mathcal O_X(D)\bigr),
\]
graded by \(K\), equivalently by \(\mathrm{Cl}(X)\). A projective variety is called a Mori dream space if \(R(X)\) is finitely generated. In the smooth projective situation recalled in the Picard-rank-four study, this is equivalent to the effective cone \(\mathrm{Eff}(X)\subset \mathrm{Cl}(X)_\mathbb R\) being rational polyhedral [2011.00475].

For a K3 surface, \(\mathrm{Cl}(X)\cong \mathrm{NS}(X)\), and the defining condition becomes especially rigid. The cited theorem specialized to K3 surfaces states that for an algebraic K3 surface the following are equivalent: \(X\) is a Mori dream surface, the effective cone is polyhedral, and \(\mathrm{Aut}(X)\) is finite. Thus
\[
X \text{ is a Mori dream K3 surface } \Longleftrightarrow \mathrm{Aut}(X)\text{ is finite}.
\]
When \(\rho(X)\ge 3\) and the automorphism group is finite, the surface has only finitely many \((-2)\)-curves, and the classes of \((-2)\)-curves generate the effective cone [2011.00475].

This equivalence connects birational geometry to lattice theory through the global Torelli theorem. If \(S=\mathrm{NS}(X)\), \(O(S)\) is its isometry group, and \(W^{(2)}(S)\subset O(S)\) is generated by reflections in classes of square \(-2\), then \(\mathrm{Aut}(X)\) is finite if and only if \(O(S)/W^{(2)}(S)\) is finite. A hyperbolic lattice with this property is called **2-reflective**. For Mori dream K3 surfaces, the cone geometry is therefore encoded by a hyperbolic lattice with finitely many relevant root walls [2011.00475].

In Picard number \(2\), the criterion becomes more elementary. For smooth K3 surfaces, the cited rank-two characterization states that \(X\) is Mori dream if and only if \(\mathrm{NS}(X)\) contains a class of self-intersection \(0\) or \(-2\), equivalently there is an elliptic fibration or a \((-2)\)-curve. For possibly singular projective K3 surfaces with \(\rho(X)=2\), a later refinement gives an equivalent intrinsic condition: \(X\) is Mori dream if and only if there exist two effective divisors \(D_1,D_2\) such that \(D_i^2\le 0\) and \(D_1\cdot D_2>0\) [1503.01378] [2412.17036].

## 2. Lattice-theoretic structure and classification phenomena

The Néron–Severi lattice of a complex K3 surface is an even lattice of signature \((1,\rho-1)\). For Mori dream K3 surfaces, this lattice controls both automorphisms and the effective cone. The Picard-rank-four classification makes this explicit: if \(X\) is an algebraic complex K3 surface with \(\rho(X)=4\) and finite automorphism group, then \(\mathrm{NS}(X)\) is isometric to one of \(14\) lattices \(V_1,\dots,V_{14}\), listed explicitly as
\[
\begin{aligned}
V_1 &= (8)\oplus 3A_1,\quad
V_2 = (-4)\oplus (4)\oplus A_2,\quad
V_3 = (4)\oplus A_3,\\
V_{3+k} &= U(k)\oplus 2A_1,\quad k=1,2,3,4,\\
V_{7+k} &= U(k)\oplus A_2,\quad k=1,2,3,\\
V_{11} &= U(6)\oplus A_2,\quad
V_{12} = \begin{bmatrix} 0 & -3\\ -3& 2 \end{bmatrix} \oplus A_2,
\end{aligned}
\]
together with the explicitly displayed matrices \(V_{13}\) and \(V_{14}\). Hence a K3 surface with \(\rho=4\) is a Mori dream K3 surface if and only if its Néron–Severi lattice is one of these \(14\) Vinberg lattices [2011.00475].

For each such lattice \(V_i\), the family \(\mathcal F_i\) consists of K3 surfaces with \(\mathrm{NS}(X)\cong V_i\), and the corresponding moduli space \(\mathcal M_i\) has dimension \(20-\rho=16\). The same work computes, for every \(V_i\), the set \(E(X)\) of extremal rays of the effective cone, identifies these rays with classes of \((-2)\)-curves, and gives explicit Hilbert bases for both the effective and nef cones. This Hilbert-basis data is then used to bound and in many cases determine the degrees of minimal generators of the Cox ring [2011.00475].

The singular theory introduces an allied but distinct lattice notion. A sublattice \(L\subset \Lambda_{K3}\) is called a **Mori dream lattice** if there exists a smooth K3 surface with Picard lattice isometric to \(L\) that is a Mori dream space. The main structural statement in the singular setting is that if the Picard lattice of a singular K3 surface is Mori dream, then the surface itself is Mori dream. This transfers the smooth lattice classification into a criterion for singular K3 surfaces with rational double points [2412.17036].

A plausible implication is that the smooth and singular theories are organized by the same discrete lattice data, but with different geometric realizations: smooth models are controlled directly by \(\mathrm{NS}(X)\), while singular models are controlled by the pullback lattice inside the Picard lattice of the minimal resolution.

## 3. Projective models and explicit Cox rings

For Picard number \(4\), the lattice classification is accompanied by a detailed geometric classification of projective models. Each family \(\mathcal F_i\) admits an explicit realization, such as complete intersections of quadrics, quartic surfaces with prescribed reducible hyperplane sections, or double covers of \(\mathbb P^2\) or Hirzebruch surfaces with controlled branch data. Examples include:

- \(\mathcal F_1\): complete intersections of three quadrics in \(\mathbb P^5\) having three nodes.
- \(\mathcal F_3\): minimal resolutions of double covers of \(\mathbb P^2\) branched along a plane sextic with a double point and two bitangent lines through the point.
- \(\mathcal F_5\): minimal resolutions of double covers of \(\mathbb P^2\) branched along a plane sextic with three nodes.
- \(\mathcal F_{10}\): smooth quartic surfaces in \(\mathbb P^3\) with one hyperplane section that is the union of four lines.
- \(\mathcal F_{12}\) and \(\mathcal F_{13}\): double covers of \(\mathbb P^2\) branched along a smooth plane sextic with three 3-tangent lines, distinguished by whether the cover is trivial or non-trivial over their union [2011.00475].

These projective models are obtained using Saint-Donat’s theory of linear systems on K3 surfaces. If \(D\) is nef and big, then either \(|D|\) is base-point free or \(D\sim aF+E\) with \(F\) elliptic and \(E\) a \((-2)\)-curve with \(F\cdot E=1\). If \(|D|\) is base-point free and \(D\) is big and nef, then the associated morphism is either \(2:1\) or birational onto its image, contracting exactly the \((-2)\)-curves orthogonal to \(D\). This is the mechanism behind the repeated appearance of double-plane, double-Hirzebruch, and quartic models [2011.00475].

The Cox ring reflects these models in multigraded form. For K3 surfaces, the degrees of a minimal generating set of \(R(X)\) are constrained to be:

1. classes of \((-2)\)-curves;
2. sums of at most three elements of the Hilbert basis of the nef cone;
3. divisors of the form \(2(F+F')\), where \(F,F'\) are smooth elliptic curves with \(F\cdot F'=2\) [2011.00475].

In some families the paper gives full presentations. For \(V_4=U\oplus 2A_1\),
\[
R(X)\cong \mathbb C[T_1,\dots,T_7]/(T_7^2-\tilde f(T_1,\dots,T_6)),
\]
where \(T_1,\dots,T_5\) correspond to the \(5\) \((-2)\)-curves, \(T_6\) to the preimage of the positive section on \(\mathbb F_4\), and \(T_7\) to the preimage of the branch curve. For \(V_5=U(2)\oplus 2A_1\), the Cox ring is again a hypersurface ring with one quadratic relation expressing the branch equation of the double cover. For \(V_6\), the Cox ring has \(9\) generators and \(3\) relations explicitly tied to the branch sextic written in the form
\[
x_3^2 = F_1 F_2 G_1 G_2 + F^2
\]
in \(\mathbb P(1,1,1,3)\) [2011.00475].

This pattern is consistent across the rank-four families: the \((-2)\)-curves govern the effective cone, selected nef divisors govern the main projective models, and the Cox ring packages both kinds of data into a finitely generated multigraded algebra.

## 4. Hypersurfaces in Mori dream ambient spaces

A major extrinsic construction of Mori dream K3 surfaces comes from hypersurfaces in Mori dream spaces. For a normal irreducible hypersurface \(X\subset Z\) defined by a homogeneous section \(f\in R(Z)_w\), with \(Z\) a Mori dream space and the embedding good, the fundamental criterion is that the induced map
\[
i_R:R(Z)\to R(X)
\]
gives an isomorphism
\[
R(X)\cong R(Z)/(f)
\]
if and only if three conditions hold: the characteristic preimage \(X:=p_Z^{-1}(X)\) is big in \(\bar X\), \(\widehat U_X\) is big in \(\widehat X\), and \(i^*:\mathrm{Cl}(Z)\xrightarrow{\sim}\mathrm{Cl}(X)\) is an isomorphism [1109.0566].

In the ample and spanned situation, this simplifies. If \(Z\) is a Mori dream space of dimension at least \(3\), and \(X\subset Z\) is defined by a general section of an ample base-point-free class, then under the hypotheses recorded in Corollary 2.3 it suffices to check the characteristic-space bigness condition. In the smooth case, a useful criterion is
\[
\operatorname{codim}_{\bar Z}V(J_{\mathrm{irr}(Z)})\ge 3,
\]
which implies
\[
R(X)\cong R(Z)/(f).
\]
Since \(R(Z)\) is finitely generated, the quotient is finitely generated as well, so \(X\) is automatically a Mori dream space [1109.0566].

Specializing dimensionally, if \(Z\) is a smooth Fano threefold and \(X\in |-K_Z|\) is a smooth anticanonical divisor, then \(X\) is a K3 surface. The paper does not work out the threefold ambient case in detail, but states directly that Theorem 2.1 and Corollary 2.3 apply verbatim in dimension \(3\), with the extra spannedness condition on \((P_w)^*K_Z(1)\). Consequently, if \(Z\) is a smooth toric Fano threefold, \(-K_Z\) very ample and spanned, and \(\operatorname{codim}_{\bar Z}V(J_{\mathrm{irr}(Z)})\ge 3\), then for a smooth anticanonical K3 surface \(X\in |-K_Z|\),
\[
R(X)\cong R(Z)/(f),
\]
so \(X\) is a Mori dream K3 surface [1109.0566].

This gives an ambient-space criterion for producing Mori dream K3 surfaces. It complements intrinsic criteria such as finite automorphism group or polyhedral effective cone by replacing them with verifiable conditions on an ambient Mori dream threefold, class-group restriction, and the irrelevant locus in the Cox spectrum. The same paper emphasizes the main failure modes: \(i^*\) may fail to be an isomorphism, the characteristic preimage may fail to be big, or new divisor classes may appear on the hypersurface [1109.0566].

## 5. Extremal contractions and singular Mori dream K3 surfaces

The smooth theory does not remain unchanged under contractions. A central problem studied in the extremal-contraction paper is whether a non–Mori Dream K3 surface can admit an extremal contraction of a single \((-2)\)-curve to a singular surface that is a Mori Dream Space. The answer is affirmative. An **admissible pair** \((X,X')\) consists of a K3 surface \(X\) that is not a Mori Dream Space and a singular surface \(X'\) obtained by contracting exactly one smooth rational curve \(N\subset X\) with \(N^2=-2\), such that \(X'\) is a Mori Dream Space. The singularity is a single \(A_1\) rational double point [1503.01378].

Let
\[
M:=N^\perp_{\mathrm{NS}(X)}.
\]
Then there exists a K3 surface \(Y\) with \(\mathrm{NS}(Y)\cong M\), and \(\mathrm{NS}(X')\cong M\cong \mathrm{NS}(Y)\). Under the hypothesis that there is no \((-2)\)-curve \(B_X\subset X\) with \(B_X\cdot N=1\), the nef cones coincide:
\[
\operatorname{Nef}(X')=\operatorname{Nef}(Y).
\]
From this one obtains the central criterion: under the same hypothesis, \(Y\) is a Mori Dream Space if and only if \(X'\) is a Mori Dream Space [1503.01378].

This leads to a lattice-theoretic classification of admissible configurations. The paper proves that if \((X,X')\) is an admissible pair, then \(\rho(X)\ge 3\); under the no-intersection-\(1\) hypothesis, one has \(\rho(X)\neq 19\); if \(\rho(X)\ge 4\), only finitely many Néron–Severi lattices occur; and for \(\rho(X)\ge 10\) a complete list is given. It also proves that \(\rho=3\) is the minimal Picard number for such a phenomenon and constructs infinitely many examples with \(\rho=3\) [1503.01378].

The later singular-K3 paper reframes this in more general terms. A singular K3 surface is a normal projective surface with at most rational double points, \(K_X\sim 0\), and \(h^1(X,\mathcal O_X)=0\). If \(\pi:\widetilde X\to X\) is the minimal resolution, then \(\widetilde X\) is a smooth K3 surface and the exceptional curves form ADE Dynkin diagrams. The main theorem states: if the Picard lattice \(\Lambda_X\) of a singular K3 surface is a Mori dream lattice, then \(X\) is a Mori dream surface [2412.17036].

For Picard rank \(2\), the same paper gives a sharp criterion:
\[
X \text{ Mori dream } \Longleftrightarrow \exists\, D_1,D_2\ \text{effective},\ D_i^2\le 0,\ D_1\cdot D_2>0.
\]
It then applies this to a K3 surface with a single \(A_n\) singularity. If \(X\) has Picard rank \(2\), its singular locus consists of a single point of type \(A_n\), and \(X\) contains an irreducible curve of negative self-intersection, then \(X\) is a Mori dream space provided
\[
n\notin\{11,14,15\}.
\]
The proof uses the inverse Cartan matrix of \(A_n\), the decomposition \(\pi^*D=\bar D+E_D\), and the effectivity criterion
\[
D^2+\{E_D\}^2>-4
\]
for the fractional exceptional part \(\{E_D\}\) [2412.17036].

These results show that singularities can improve Mori dream behavior. The weighted-projective examples in the same work make this concrete: very general hypersurfaces such as \(X_{21}\subset \mathbb P(1,3,7,10)\), \(X_{12}\subset \mathbb P(1,1,4,6)\), \(X_{10}\subset \mathbb P(1,1,3,5)\), \(X_9\subset \mathbb P(1,1,3,4)\), and \(X_5\subset \mathbb P(1,1,1,2)\) carry explicit negative curves with positive pairwise intersection, hence are Mori dream by the rank-two criterion [2412.17036].

## 6. Moduli, coverings, and higher-dimensional analogues

In the Picard-rank-four classification, the explicit models are strong enough to yield unirationality results for the associated lattice-polarized moduli spaces. The moduli spaces \(\mathcal M_i\) are unirational for
\[
i\in\{1,3,4,5,6,7,8,9,10,11,12\},
\]
and \(\mathcal M_3\) is rational. The proofs proceed by describing the relevant branch sextics, quartics, or nets of quadrics as open subsets of linear systems or products of vector spaces, then quotienting by the corresponding projective automorphism group [2011.00475].

A distinct but related perspective comes from étale coverings in codimension \(1\). For a Mori Dream Enriques surface \(X\), the canonical \(1\)-covering \(\widetilde X\to X\) constructed from the Cox-ring and toric framework coincides with the universal topological covering, and \(\widetilde X\) is a K3 surface. However, the universal K3 covering of an Enriques surface has infinite automorphism group, so it is never a Mori Dream Space. At the same time, it admits a canonical embedding into a \(Q\)-factorial toric variety with free class group, via the universal \(1\)-cover of the canonical ambient toric variety [1902.04784]. This sharply distinguishes “Mori dream K3 surface” from “K3 surface arising as a canonical cover of a Mori dream surface.”

Finally, the higher-dimensional hyperkähler analogue replaces the K3 Picard lattice by Markman’s extended Hodge lattice. For projective irreducible holomorphic symplectic manifolds of K3\(^n\)-type, the Mori cone is generated by the positive cone together with images \(\theta^\vee(a)\) of algebraic classes \(a\in\widetilde\Lambda_{\mathrm{alg}}\) satisfying
\[
a^2\ge -2,\qquad |(a,v)|\le \frac{v^2}{2},\qquad (h,\theta^\vee(a))>0.
\]
Extremal rays satisfy the uniform bound
\[
(R,R)\ge -\frac{n+3}{2}.
\]
Although the paper does not assert that every projective K3\(^n\)-type manifold is a Mori Dream Space in Hu–Keel’s sense, it describes a wall-and-chamber structure governed by a Weyl group generated by reflections in exceptional divisors, with behavior explicitly compared to Mori dream geometry [1307.2291].

This suggests a precise higher-dimensional analogue of the surface picture: on K3 surfaces, the nef and effective cones are controlled by the Néron–Severi lattice and its \((-2)\)-classes; on K3\(^n\)-type manifolds, the corresponding cone structure is controlled by the extended lattice and classes of square at least \(-2\), together with the constraint involving the primitive vector \(v\) [1307.2291].

A Mori dream K3 surface is therefore best viewed not as an isolated class of surfaces but as a meeting point of several equivalent structures: finite automorphism group, polyhedral effective cone, finitely generated Cox ring, and a Néron–Severi lattice of restricted reflective type. Smooth examples admit explicit realizations as quartics, double planes, double covers of Hirzebruch surfaces, or hypersurfaces in Mori dream ambient spaces; singular examples arise both from extremal contractions and from weighted-projective models; and the surrounding theory extends naturally to Enriques covers and to K3\(^n\)-type hyperkähler geometry [2011.00475] [1109.0566] [1503.01378] [2412.17036] [1902.04784] [1307.2291].

Source: https://www.emergentmind.com/topics/mori-dream-k3-surface