[Paper Review] Picard-graded Betti numbers and the defining ideals of Cox rings

Antonio Laface, Mauricio Velasco|ArXiv.org|Jul 22, 2007

Algebraic Geometry and Number Theory5 references3 citations

TL;DR

This paper introduces Picard-graded Betti numbers as a tool to study the defining ideals of Cox rings of Mori Dream spaces, particularly Del Pezzo surfaces. By constructing complexes of sheaf cohomology groups whose homology computes Betti numbers, the authors provide a geometric method to analyze minimal generators of the Cox ring ideal, leading to a new proof that the Cox rings of Del Pezzo surfaces (degree >1) are quadratic algebras.

ABSTRACT

Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how the homology of these complexes can be studied by purely geometric methods. As an application of these techniques we give a simple new proof of a characterization of the Cox rings of Del Pezzo surfaces (of degree >1) conjectured by Batyrev and Popov.

Motivation & Objective

• To develop a geometric method for computing Picard-graded Betti numbers of Cox rings using sheaf cohomology complexes.
• To characterize the degrees of minimal generators of the defining ideal of a Cox ring in terms of geometric invariants.
• To provide a new proof of the Batyrev-Popov conjecture that Cox rings of Del Pezzo surfaces are quadratic algebras.
• To establish conditions under which the first Betti number vanishes, particularly for nef divisors of anticanonical degree ≥2.
• To unify and extend previous results on the structure of Cox rings of rational surfaces via syzygetic techniques.

Proposed method

• Define a complex $\mathbb{A}(D)$ of sheaf cohomology groups $H^0(X, D - C_{i_1} - \cdots - C_{i_j})$ for each divisor $D$ in $\operatorname{Pic}(X)$.
• Use the Koszul complex resolution of the residue field to relate the homology of $\mathbb{A}(D)$ to the $\operatorname{Pic}(X)$-graded Betti numbers of $\operatorname{Cox}(X)$.
• Show that $b_{i,D}(\operatorname{Cox}(X)) = \dim_k H_i(\mathbb{A}(D))$, linking algebraic Betti numbers to geometric cohomology.
• Apply Kawamata-Viehweg vanishing to show $h^1(D - A - B - C) = 0$ under specific curve configuration conditions.
• Use a combinatorial game on exceptional curves (the 'capture game') to verify vanishing of higher cohomology in Del Pezzo surfaces.
• Prove that all minimal generators of the Cox ring ideal lie in anticanonical degree 2 by induction and vanishing of $b_{1,D}$ for relevant $D$.

Experimental results

Research questions

• RQ1 What is the geometric meaning of the Picard-graded Betti numbers of a Cox ring?
• RQ2 Under what conditions does the first Betti number $b_{1,D}(\operatorname{Cox}(X))$ vanish for a given divisor $D$?
• RQ3 Can the defining ideal of the Cox ring of a Del Pezzo surface be shown to be generated in degree 2 using geometric syzygy methods?
• RQ4 How can the structure of exceptional curves on Del Pezzo surfaces be used to control cohomological vanishing in syzygy complexes?
• RQ5 Is there a uniform geometric criterion for the vanishing of $H^1$ in the complexes $\mathbb{A}(D)$ that implies quadratic presentation of the Cox ring?

Key findings

• The $\operatorname{Pic}(X)$-graded Betti numbers of $\operatorname{Cox}(X)$ are computed as the dimensions of the homology groups of the complex $\mathbb{A}(D)$, which are built from sheaf cohomology of line bundles.
• For any Del Pezzo surface $X_r$ with $4 \leq r \leq 7$, the ideal defining $\operatorname{Cox}(X_r)$ has all minimal generators in anticanonical degree 2, proving the Batyrev-Popov conjecture.
• The vanishing of $b_{1,D}(\operatorname{Cox}(X))$ for all nef divisors $D$ of degree $\geq 2$ that contract curves is established via cohomological vanishing in the complex $\mathbb{A}(D)$.
• For $r=7$, the vanishing of $b_{1,D}(\operatorname{Cox}(X_7))$ for all $D$ of anticanonical degree $\geq 3$ is proven using the 'capture game' on exceptional curves and Kawamata-Viehweg vanishing.
• The complex $\mathbb{A}(D)$ provides a geometric realization of the Koszul syzygy complex, allowing the use of intersection theory and curve configurations to deduce Betti number vanishing.
• The proof shows that the defining ideal of the Cox ring of a Del Pezzo surface is generated by quadrics, confirming that $\operatorname{Cox}(X_r) \cong k[V_r]/Q_r$ for $4 \leq r \leq 7$.