Weak Del Pezzo Surfaces

• Weak del Pezzo surfaces are smooth projective surfaces defined by a nef and big anticanonical divisor, classified by degree values from 1 to 9.
• They feature structured Picard groups and ADE-type root systems, with (-1) and (-2)-curves determining the singularities on their anticanonical models.
• Their derived categories support full exceptional collections and 2-tilting bundles, linking geometric constructions to non-commutative crepant resolutions.

A weak del Pezzo surface is a smooth projective surface $X$ over an algebraically closed field such that its anticanonical divisor $-K_X$ is nef and big, i.e., for all irreducible curves $C\subset X$, $(-K_X\cdot C)\geq 0$, and $( -K_X )^2 = K_X^2 > 0$. If $-K_X$ is ample, $X$ is called a (strong) del Pezzo surface. The classification, geometry, and homological structures of weak del Pezzo surfaces link classical Lie theory, birational geometry, and modern non-commutative algebra. Their subtlety lies in the possible presence of $(-2)$-curves, mild surface singularities of Du Val type on their anticanonical models, and the richness of their derived categories.

1. Anticanonical Model and Classification

Given $X$ as above, the degree $d = K_X^2$ satisfies $-K_X$0. Up to isomorphism, every weak del Pezzo surface is either:

• $-K_X$1 (degree 8), the Hirzebruch surface $-K_X$2 (degree 8), or
• the blow-up of $-K_X$3 in $-K_X$4 points in "almost general position" (no three collinear, etc., for the strong case, with relaxations in the weak case allowing special configurations giving $-K_X$5-curves) (Tomonaga, 30 Oct 2025).

The anticanonical linear system $-K_X$6 is base point free; it gives rise to the anticanonical map $-K_X$7, whose image $-K_X$8 is the normal anticanonical model. If $-K_X$9 is not ample, then $C\subset X$0 acquires rational double point (ADE) singularities, each coming from contracting an effective $C\subset X$1-curve on $C\subset X$2 (Blache et al., 2023).

The negative curves on $C\subset X$3 are only $C\subset X$4- and $C\subset X$5-curves. The set of $C\subset X$6-classes (those $C\subset X$7 with $C\subset X$8) always forms a root system of ADE-type, its configuration governed by the combinatorics of $C\subset X$9 and its subsystems, depending on the degree and singularity content (Elagin et al., 2017).

2. Picard Group Structure and Root Subsystems

The Picard group $(-K_X\cdot C)\geq 0$0 for a weak del Pezzo surface blown up in $(-K_X\cdot C)\geq 0$1 points has basis $(-K_X\cdot C)\geq 0$2 (class of a line, exceptional divisors), with intersection numbers $(-K_X\cdot C)\geq 0$3, $(-K_X\cdot C)\geq 0$4, $(-K_X\cdot C)\geq 0$5, $(-K_X\cdot C)\geq 0$6 ($(-K_X\cdot C)\geq 0$7), and

$(-K_X\cdot C)\geq 0$8

with $(-K_X\cdot C)\geq 0$9 (Perepechko, 2023, Tomonaga, 30 Oct 2025).

The root system of $( -K_X )^2 = K_X^2 > 0$0-classes $( -K_X )^2 = K_X^2 > 0$1 has ADE-type depending on degree: | $( -K_X )^2 = K_X^2 > 0$2 | $( -K_X )^2 = K_X^2 > 0$3 type | |---|-------------| | 7 | $( -K_X )^2 = K_X^2 > 0$4 | | 6 | $( -K_X )^2 = K_X^2 > 0$5 | | 5 | $( -K_X )^2 = K_X^2 > 0$6 | | 4 | $( -K_X )^2 = K_X^2 > 0$7 | | 3 | $( -K_X )^2 = K_X^2 > 0$8 | | 2 | $( -K_X )^2 = K_X^2 > 0$9 | | 1 | $-K_X$0 |

The configuration of effective roots encodes the singularities on $-K_X$1; the subsystems, through their Dynkin diagrams, describe precisely which ADE singularities are present (Lubbes, 2013, Lubbes, 2018, Elagin et al., 2017).

3. Construction by Blow-Up and Special Loci

Any weak del Pezzo surface of degree $-K_X$2 is the blow-up of $-K_X$3 at $-K_X$4 points $-K_X$5 in almost general position. Special alignments among these points (three collinear, six on a conic, points infinitely near, etc.) produce effective $-K_X$6-curves, whose classes are explicitly described (e.g., $-K_X$7 for three collinear). Each configuration maps directly to a root subsystem, and hence to the Du Val singularities on the anticanonical image $-K_X$8.

A notably efficient encoding of such singularity types is via C1 labels—combinatorial structures labeling root subsystem types—which classify isomorphism classes of weak del Pezzo surfaces up to Weyl group action (Lubbes, 2013). These enable algorithmic construction of weak del Pezzo surfaces with prescribed singularity configuration.

4. Homological and Non-Commutative Structures

For any weak del Pezzo surface $-K_X$9, the derived category $X$0 admits full exceptional collections of line bundles, and the existence of a $X$1-tilting bundle (a vector bundle whose endomorphism algebra has $X$2) is equivalent to being weak del Pezzo. Concretely:

• If $X$3 is $X$4-tilting, $X$5 is $X$6-representation-infinite, so its $X$7-Calabi–Yau completion (Ginzburg DG algebra) yields a non-commutative crepant resolution (NCCR) of the corresponding Du Val cone $X$8 of $X$9 (Tomonaga, 30 Oct 2025).
• The classical Beilinson and extended Dynkin quiver algebras appear as endomorphism algebras in degrees $(-2)$0 and lower. The tilting bundle construction proceeds via mutation of full exceptional collections followed by universal extensions to kill higher Exts.

This connects the geometry of weak del Pezzo surfaces to the representation theory of finite-dimensional algebras and non-commutative algebraic geometry, especially via the parallel between geometric blown-up models and NCCR theory.

5. Real, Arithmetic, and Moduli Aspects

The classification of weak del Pezzo surfaces over the real numbers or finite fields naturally extends to their moduli, arithmetic, and automorphism content:

• Real Forms: Real weak del Pezzo surfaces are classified by pairs of Dynkin diagrams encoding the invariants under the real involution and the arrangement of real effective root subsystems. Explicit formulas describe the associated Néron–Severi lattices, root system splittings, and cone polyhedral structure (Lubbes, 2018).
• Arithmetic Types: Over finite fields, the Frobenius action on the Picard group, decomposed into conjugacy classes in the Weyl group (stabilizers of root subsystems), defines the "arithmetic type" of the surface. The explicit realization of all types (at least for $(-2)$1) has been achieved, often via blow-up constructions and pencils of quadrics, with point-count and zeta function formulas depending only on this type (Blache et al., 2023).
• Moduli Stratification: The moduli of weak del Pezzo surfaces stratify according to root subsystem type and arithmetic invariants, with further refinement given by real structure, configuration of $(-2)$2- and $(-2)$3-curves, and automorphism group actions.

6. Applications: Codes, Universal Torsors, and Affine Cones

Weak del Pezzo surfaces appear in several applied and explicit contexts:

• Algebraic Geometric Codes: Codes are constructed by evaluating sections of the anticanonical sheaf at rational points of $(-2)$4, with minimum distance depending on the structure of $(-2)$5-curves and genus-1 linear systems. The arithmetic of blow-ups and contractions controls the rational point count algorithmically (Blache et al., 2023).
• Universal Torsors and Cox Rings: For an explicit weak del Pezzo pair $(-2)$6, universal torsor and Cox ring descriptions provide a platform for studying integral points, heights, and forms of Manin's conjecture. For example, for quartic surfaces with $(-2)$7 singularities, integral point counting corresponds to lattice points in certain polytopes defined via the universal torsor parameterization (Derenthal et al., 2021).
• Automorphism and Flexibility: Affine cones over weak del Pezzo surfaces polarized by very ample divisors may be generically flexible—i.e., have infinitely transitive automorphism group actions—when there exist sufficient cylinder structures covering the ample cone. This property is amenable to combinatorial and algorithmic verification (Perepechko, 2023).
• Fibrations and Cylinders: The existence of $(-2)$8-cylinders in fibrations of weak del Pezzo surfaces is highly constrained, with only degree $(-2)$9 minimal weak del Pezzo surfaces (such as $X$0 or certain $X$1-type) admitting such cylinders (Sawahara, 2019).

7. Singularities, Log Versions, and Volume Bounds

A weak (log) del Pezzo surface may be equipped with a boundary divisor $X$2 such that $X$3 is big and nef. The singularities of the anticanonical model $X$4 are rational double (ADE) points; the classification of possible log pairs, volume bounds $X$5, and their relation to the Picard number of minimal resolutions have been completely worked out. For $X$6-lc pairs, optimal upper bounds on the anticanonical volume are achieved only in the $X$7 or special Hirzebruch surface cases (Jiang, 2013). These bounds are sensitive to the number and arrangement of negative curves and directly inform classification and boundedness results in Fano geometry.

---

This synthesis demonstrates that weak del Pezzo surfaces form a central class linking birational surface theory, Lie-theoretic combinatorics, derived category methods, and applied algebraic geometry across arithmetic, geometric, and homological dimensions (Tomonaga, 30 Oct 2025, Lubbes, 2013, Elagin et al., 2017, Blache et al., 2023, Perepechko, 2023, Lubbes, 2018, Sawahara, 2019, Derenthal et al., 2021, Jiang, 2013, Blache et al., 2023).