Fano Surfaces: Geometry, Invariants & Applications

• Fano surfaces are smooth projective surfaces with ample anticanonical bundles that include classical del Pezzo surfaces.
• The classical Fano surface parametrizes lines on a smooth cubic threefold, exhibiting well-studied geometric invariants and an exceptional Albanese structure.
• These surfaces underpin advances in enumerative geometry, mirror symmetry, and the study of Kähler–Einstein metrics in algebraic geometry.

A Fano surface, most classically, is the moduli space of lines on a smooth cubic threefold in projective 4-space, but the term "Fano surface" also refers more generally to smooth projective surfaces whose anticanonical bundle is ample. These objects are central in algebraic and complex geometry, interacting with Hodge theory, arithmetic, moduli of vector bundles, enumerative geometry, mirror symmetry, and the study of canonical metrics.

1. Definition and Classification

A Fano surface, in the classical sense, is defined as

$$S = F_1(F) = \{\, \ell \subset F \mid \ell \cong \mathbb P^1 \,\}$$

where $F \subset \mathbb P^4$ is a smooth cubic threefold; thus, $S$ parametrizes lines on $F$ (Roulleau, 2010). More generally, a Fano surface is a smooth projective surface $X$ whose anticanonical bundle $-K_X$ is ample, equivalently a del Pezzo surface (Tosatti, 2010, Nakanishi, 2023). The del Pezzo classification states that every Fano surface is, up to isomorphism, one of:

• $\mathbb P^2$ (degree 9),
• $\mathbb P^1 \times \mathbb P^1$ (degree 8),
• the Hirzebruch surfaces $F_n$ with $0 \leq n \leq 7$ (degree $F \subset \mathbb P^4$0),
• blow-ups of $F \subset \mathbb P^4$1 at $F \subset \mathbb P^4$2 points in general position (degree $F \subset \mathbb P^4$3) (Tosatti, 2010, Nakanishi, 2023).

For toric Fano surfaces, the list is limited to $F \subset \mathbb P^4$4, and the blow-ups of $F \subset \mathbb P^4$5 at two or three toric points (Nakanishi, 2023, Hong et al., 2018).

2. Geometry and Topological Invariants

Consider $F \subset \mathbb P^4$6 for a smooth cubic threefold. The surface $F \subset \mathbb P^4$7 is of general type with: $F \subset \mathbb P^4$8 and $F \subset \mathbb P^4$9 (Roulleau, 2010, Roulleau, 2010, Collino, 2012, Roulleau, 2012). The irregularity $S$0 is exceptional among algebraic surfaces and links $S$1 to its Albanese variety, which in this case is a principally polarized abelian fivefold, canonically isomorphic to the intermediate Jacobian $S$2 of the cubic threefold (Collino et al., 2011, Roulleau, 2012).

The cotangent sheaf $S$3 is globally generated, and the tangent bundle theorem of Clemens–Griffiths provides a canonical isomorphism $S$4 (Roulleau, 2010). The Albanese embedding is an injection, so $S$5 is realized as a subvariety of its Albanese (Roulleau, 2010, Roulleau, 2012).

Topologically, $S$6 has Betti numbers: $S$7 and does not satisfy the $S$8 property: $S$9 (Collino, 2012).

3. Picard Group and Curves of Low Genus

The Néron–Severi group $F$0 of a Fano surface is determined by an exact sequence

$F$1

and the Picard number satisfies $F$2 (Roulleau, 2010, Roulleau, 2010). For very general cubic threefolds, $F$3, but in special loci (e.g., the Fermat cubic) one attains the maximal value $F$4 (Roulleau, 2010).

An intricate structure appears when considering the configurations of genus 1 (elliptic) and genus 2 curves. The Fano surface of the Fermat cubic contains 30 elliptic curves $F$5, and their intersection numbers are explicitly calculable (Roulleau, 2010): $F$6 Genus 2 curves arise via involutions of type II associated with automorphisms of the cubic threefold. For the Klein cubic, the surface exhibits 55 genus 2 curves whose intersection matrix and lattice structure have been analyzed in (Roulleau, 2010, Roulleau, 2010):

Automorphism Group	Number of Genus 2 Curves
$F$7	1
$F$8	3
$F$9	3
$X$0	5
$X$1	7
$X$2	15
$X$3	55

These curves generate, up to finite index, the full Néron–Severi group in the maximal Picard number cases (Roulleau, 2010, Roulleau, 2010).

4. Arithmetic and Abel–Jacobi Structure

The Albanese map realizes $X$4 as an embedded subvariety in its principally polarized abelian variety, yielding a tight connection between the geometry of lines on $X$5, Hodge theory, and arithmetic (Collino et al., 2011, Roulleau, 2012). The canonical polarization aligns with the theta divisor on the intermediate Jacobian.

Over fields finitely generated over the prime field (with char $X$6), the Fano surface of lines on a smooth cubic threefold satisfies the Tate conjecture: the cycle class map

$X$7

is an isomorphism (Roulleau, 2012).

The Abel–Jacobi image of the Fano cycle $X$8, where $X$9 is the image under the [−1] involution, is not algebraically equivalent to zero, and its infinitesimal invariant distinguishes the cubic threefold via a Torelli-type theorem (Collino et al., 2011).

5. Enumerative and Homological Mirror Symmetry Aspects

For a general complete intersection $-K_X$0, the Fano scheme $-K_X$1 of projective $-K_X$2-planes is a surface precisely in cases classified by Ciliberto–Zaidenberg (Ciliberto et al., 2019). For cubic threefolds ($-K_X$3), the Fano surface is the unique irregular case ($-K_X$4) among surfaces of lines on hypersurfaces. The degree and Chern numbers are computable via Schubert calculus and Bott residue formulas.

Mirror symmetry for toric Fano surfaces is approached through the SYZ construction: the mirror Landau–Ginzburg potential is constructed using the moment polytope and counts Maslov-index discs. Homological mirror symmetry is verified for all toric del Pezzo surfaces by a Morse-theoretic category on the moment polytope $-K_X$5, with a quasi-equivalence

$-K_X$6

where $-K_X$7 is the toric Fano surface, and $-K_X$8 is the Morse–$-K_X$9 category of weighted gradient trees on $\mathbb P^2$0. Explicit computations are performed for $\mathbb P^2$1, and their blow-ups (Nakanishi, 2023, Hong et al., 2018).

6. Kähler–Einstein Metrics and Reductivity

Fano surfaces, as del Pezzo surfaces, admit Kähler–Einstein metrics if and only if the Lie algebra of holomorphic vector fields $\mathbb P^2$2 is reductive; this is the content of Tian's theorem (Tosatti, 2010). For example, $\mathbb P^2$3 and $\mathbb P^2$4 (and blow-ups of $\mathbb P^2$5 at $\mathbb P^2$6 points in general position) admit such metrics, while blow-ups at one or two points do not, due to non-reductive automorphism algebras.

The sufficiency follows from the continuity method, partial $\mathbb P^2$7 estimates (bounding the density of states), and invariants such as the $\mathbb P^2$8-invariant and Futaki invariant.

7. Degenerations, Topology, and Further Directions

The topology of Fano surfaces has been studied via degenerations of the ambient cubic threefold, for instance to the Segre primal, leading to an explicit cell decomposition and a demonstration that $\mathbb P^2$9 is not a $\mathbb P^1 \times \mathbb P^1$0 space (Collino, 2012). The boundary complex is linked to the Kneser graph $\mathbb P^1 \times \mathbb P^1$1, and the failure of $\mathbb P^1 \times \mathbb P^1$2 relates to the presence of nontrivial second homotopy. Such analyses suggest further directions in the study of their representation theory, cohomology, and higher dimensional analogues.

Additionally, explicit construction and analysis of Fano surfaces with specified configurations of elliptic or genus 2 curves, or with maximal automorphism groups (e.g., the Fermat and Klein cubics), enhance understanding of the global geometry and moduli of these exceptional surfaces (Roulleau, 2010, Roulleau, 2010, Roulleau, 2010).