Prime Fano Threefolds of Genus 12

• Prime Fano threefolds of genus 12 are smooth projective varieties with Picard rank 1, an ample anticanonical divisor, and a degree 22 embedding in projective space.
• They are realized as codimension-3 linear sections of exceptional homogeneous varieties such as the symplectic Grassmannian, leading to unique classification and moduli properties.
• These threefolds connect diverse research areas including automorphism group analysis, derived category decompositions, enumerative geometry, K-stability, and arithmetic properties.

A prime Fano threefold of genus 12, commonly designated a $V_{22}$-variety, is a smooth projective threefold $X$ with Picard rank 1 and index 1, satisfying $-K_X$ ample and $(-K_X)^3=22$, corresponding to genus $g=12$. These varieties possess an ample anticanonical divisor $H=-K_X$, leading to a degree 22 embedding in $\mathbb{P}^{13}$ via the anticanonical linear series. The study of genus-12 primes intersects contemporary research in classification theory, moduli spaces, automorphism groups, degenerations, derived categories, arithmetic finiteness, and enumerative geometry.

1. Defining Invariants and Geometric Realization

Prime Fano threefolds of genus $g$ are characterized by a unique ample divisor $H$ generating the Picard group, with $-K_X \equiv H$ and $(-K_X)^3=2g-2$. For $g=12$, $H^3=22$, the degree of $X \subset \mathbb{P}^{13}$ under the anticanonical embedding. The smooth locus of the moduli space of genus-12 Fanos is 6-dimensional, with Hodge numbers $h^{1,1}=1$ and $h^{2,1}=6$, as computed by deformation-theoretic arguments (Lin et al., 9 Jul 2025).

Mukai’s classification realizes such $X$ as a codimension-3 linear section of the symplectic Grassmannian $\mathrm{SpGr}(3,6)\subset\mathbb{P}^{13}$ or alternately an orthogonal Grassmannian. No presentation as zero loci of bundles on classical Grassmannians exists in genus 12; the construction is inherently exceptional homogeneous (Lin et al., 9 Jul 2025).

2. Classification and Automorphism Groups

A comprehensive classification of $V_{22}$-varieties with positive-dimensional automorphism groups over a perfect field $k$ yields three types, determined by the structure of the identity component of the reduced automorphism group scheme $\Aut_{X/k,red}^\circ$:

• $\mathbb{G}_{a,k}$-type,
• $\mathbb{G}_{m,k}$-type,
• $\mathrm{PGL}_{2,k}$ (Mukai–Umemura type).

In positive characteristic, the Mukai–Umemura $V_{22}$ arises precisely when $\mathrm{char}\,k \neq 2,5$. The set of $\mathbb{G}_m$-type varieties is parameterized by $$\mathbb{P}^1(k)\setminus\{(0:1),(1:1),(5:4),(1:0)\}$$, and explicit formulas describe automorphism group actions and stabilizers for rational quintic curves in the split del Pezzo $V_5\subset\mathbb{P}^6$ (Ito et al., 15 Jan 2026).

Over finite fields $\mathbb{F}_q$, counting formulas for the number of isomorphism classes of each type are given explicitly. For instance,

$$N_{\mathrm{PGL}_2,q} = \begin{cases} 0 & 2\mid q\text{ or }5\mid q \ 1 & \text{otherwise}\end{cases},$$

and analogous formulas hold for $\mathbb{G}_a$- and $\mathbb{G}_m$-types.

3. Moduli, Degenerations, and Derived Categories

Smooth $V_{22}$-varieties admit semiorthogonal decompositions:

$\Db(X_{12}) = \langle \mathcal{A}_{X_{12}},\, \mathcal{O}_{X_{12}},\, \mathcal{U}_{X_{12}}^\vee \rangle,$

with nontrivial component $\mathcal{A}_{X_{12}}\simeq\Db(\mathrm{Qu}_3)$, where $\mathrm{Qu}_3$ is the Kronecker quiver. This nontrivial derived category structure is stable under one-parameter degenerations connecting $V_{22}$ to del Pezzo threefolds $Y_5$ of degree 5 via categorical absorption of singularities (Kuznetsov et al., 2023).

Blowups and contractions along rational quartic curves in $Y_5$ produce nodal prime Fano threefolds $X$ of genus 12. Across these degenerations, the equivalence $\mathcal{A}_{X_{12}}\cong\mathcal{B}_{Y_5}$ holds, realized by explicit adjoint Fourier–Mukai functors.

The moduli stack $\mathcal{MF}\mathcal{M}_{X_{12}}$ of pairs $(X,\mathcal{U}_X)$, where $\mathcal{U}_X$ is the Mukai bundle (rank 2, $c_1(\mathcal{U}_X)=K_X$, $H^\bullet(X,\mathcal{U}_X)=0$), is a smooth irreducible Deligne–Mumford stack of dimension 10, with a Cartier divisor boundary parametrized by degenerate pairs emanating from del Pezzo geometry. The moduli dimension is unchanged by the addition of the Mukai bundle (Kuznetsov et al., 2023).

4. Enumerative Geometry and Rational Curves

The moduli space $\overline{\mathcal{M}}_{0,0}(V_{22},d)$ of stable rational curves of anticanonical degree $d$ is irreducible of dimension $d$. For each $d\geq1$ there is exactly one main component $M_d$ parametrizing maps birational onto their image, and two “multicover” loci corresponding to degree-$d$ covers of lines and conics. Very free rational curves of degree $2n$ passing through $n$ general points are counted by enumerative Gromov–Witten invariants with virtual class equal to the fundamental class.

Geometric Manin's Conjecture, in this context,

$\overline{N}(V, q, d) \sim \frac{q^3}{1-q^{-1}}q^d$

as $d\to\infty$, is confirmed via dimension and component counts for $V_{22}$ (Lehmann et al., 2018).

5. Infinitesimal Torelli and Moduli Rigidity

For prime Fano threefolds of genus 12, the infinitesimal period map

$$d\Phi: H^1(X,T_X) \to \mathrm{Hom}(H^{2,1}(X), H^{1,2}(X))$$

is identically zero; i.e., its kernel is $H^1(X,T_X)\cong\mathbb{C}^6$, the entire tangent space to moduli. The Kuznetsov component $K(X)$ has trivial Hochschild cohomology in degree 2, precluding the possibility of a Torelli theorem. Therefore, varieties in the $V_{22}$ family are not distinguished by their Hodge structures—the period map is locally constant on moduli (Lin et al., 9 Jul 2025).

A plausible implication is that derived categories and Chow motives afford a finer classification, matching the categorical absorption and moduli boundary phenomena described above.

6. Singularities, K-Stability, and Kähler–Einstein Metrics

Singular prime Fano threefolds of genus 12 with a single ordinary double point (node) form four distinct five-dimensional families (Prokhorov classification). A general member of these families is K-polystable; for all divisorial valuations $\nu$, the $\beta$-invariant $\beta(\nu)=A_X(\nu)-S_X(\nu)>0$, with explicit formulas for $A_X$ and $S_X$ via volume integrals and log discrepancies (Denisova et al., 21 Jun 2025). By Yau–Tian–Donaldson correspondence, these $X$ admit singular Kähler–Einstein metrics on their smooth locus.

These one-nodal families appear as explicit boundary divisors in the compact K-moduli space of degree 22 Fano threefolds. The categorical absorption results connect derived categories of these degenerations to those of degree-5 del Pezzo threefolds (Kuznetsov et al., 2023).

7. Arithmetic, Shafarevich Properties, and Open Problems

For Mukai–Umemura and $\mathbb{G}_m$-type $V_{22}$, the Shafarevich conjecture holds: the set of integral models with good reduction outside a fixed set $S$ is finite. For $\mathbb{G}_a$-type, there exist infinitely many integral models due to variations in units modulo fourth powers, so the Shafarevich property fails (Ito et al., 15 Jan 2026). Over $\mathbb{Z}$, no smooth projective model admits generic fiber with positive-dimensional automorphism group, though $V_{22}$-schemes of Picard rank $>1$ exist.

Prominent open problems include the detailed characterization of degenerations (“walls”) in equal and positive characteristic, ramification phenomena for integral models in mixed characteristic, and unique lifting behavior in the presence of large automorphism groups. The numerical coincidence of the intermediate Jacobians, $\mathrm{Jac}(X_{12})\cong\mathrm{Jac}(Y_5)$, underscores a rich interplay between derived, Hodge-theoretic, and arithmetic invariants (Kuznetsov et al., 2023).