[论文解读] On the Cox ring of Del Pezzo surfaces

Ulrich Derenthal|ArXiv.org|Mar 4, 2006

Algebraic Geometry and Number Theory被引用 15

一句话总结

本文明确定義了當 $ r \leq 8 $ 時，Del Pezzo 曲面 $ S_r $ 的 Cox 環的二次關係，確認了 Batyrev 與 Popov 的猜想：所有定義關係皆為二次。對於 $ r \leq 7 $，Cox 環被表示為多項式環模一個由 rulings、$(2)$-rulings 和 $(3)$-rulings 所生成的根式理想，並為每一種關係提供了明確的數量。

ABSTRACT

Let S_r be the blow-up of P^2 in r general points, i.e., a smooth Del Pezzo surface of degree 9-r. For r <= 7, we determine the quadratic equations defining its Cox ring explicitly. The ideal of the relations in Cox(S_8) is calculated up to radical. As conjectured by Batyrev and Popov, all the generating relations are quadratic.

研究动机与目标

• 確定光滑 Del Pezzo 曲面 $ S_r $（$ r \leq 8 $）的 Cox 環之完整二次關係集合。
• 驗證 Batyrev 與 Popov 的猜想：對於 $ r \in \{4,\dots,8\} $，$ S_r $ 的 Cox 環由二次式生成。
• 證明對於 $ r \leq 7 $，關係的理想為根式，從而給出 Cox 環作為多項式環商的精確表示。
• 將已知結果從 $ r \leq 6 $ 延伸至 $ r = 7 $ 和 $ r = 8 $，此兩種情況下負曲線與 rulings 的結構變得更為複雜。

提出的方法

• 本文利用 Del Pezzo 曲面作為 $ \mathbb{P}^2 $ 在 $ r $ 個一般點上進行 blown-up 的幾何結構，以 $ H, E_1, \dots, E_r $ 給出 $ \operatorname{Pic}(S_r) $ 的基，並透過計算交點形式來識別負曲線與 rulings。
• 識別出三種關係類型：來自 $(1)$-rulings（標準 rulings）、$(2)$-rulings（例如 $-K_{S_7}$）與 $(3)$-rulings（例如 $2\cdot(-K_{S_8})$），每一類在 Cox 環中貢獻特定的二次關係。
• 對於 $ r \leq 7 $，證明理想 $ J_r $ 為根式，且 $ \operatorname{Cox}(S_r) = R_r / J_r $，其中 $ R_r $ 為 Cox 環生成元上的多項式環。
• 對於 $ r = 8 $，理想 $ J_8 $ 由 10,800 條來自 $(1)$-rulings 的關係、6,480 條來自 $(2)$-rulings 的關係，以及 119 條來自 $(3)$-ruling $2\cdot(-K_{S_8})$ 的關係所生成，總計 17,399 條二次關係。
• 本文利用 $ r=8 $ 時的 $ E_8 $ Weyl 群結構來分類負曲線及其交點模式，進而實現 rulings 的系統性計數。
• 證明由關係定義的代數集被標準仿射開集 $ U_D $ 覆蓋，並在一點上驗證雅可比準則，以確認零點集的光滑性與不可約性。

实验结果

研究问题

• RQ1 對於 $ r \leq 8 $ 的 $ S_r $，其 Cox 環的所有定義關係是否如 Batyrev 與 Popov 所猜想的皆為二次？
• RQ2 $ S_7 $ 和 $ S_8 $ 的 Cox 環是否可表示為多項式環模一個由二次關係生成的根式理想？
• RQ3 $ S_8 $ 的 Cox 環由 $(1)$-、$(2)$- 和 $(3)$-rulings 所生成的二次關係之確切數量與類型為何？
• RQ4 $ S_7 $ 的關係理想是否為根式？這是否意味著 $ \operatorname{Cox}(S_7) $ 可完全表示為 $ R_7 / J_7 $？
• RQ5 在 $ S_8 $ 上負曲線的交點模式如何決定 Cox 環關係的結構？

主要发现

• 對於 $ r \in \{4,\dots,7\} $，Cox 環 $ \operatorname{Cox}(S_r) $ 同構於 $ R_r / J_r $，其中 $ J_r $ 為由 rulings 及高階 rulings 所生成的根式理想。
• 在 $ S_7 $ 中，來自 $(1)$-rulings 的二次關係數量為 504，來自 $(2)$-rulings 的為 25，總計 $ J_7 $ 中有 529 條關係。在 $ S_8 $ 中，來自 $(1)$-rulings 的關係有 10,800 條，來自 $(2)$-rulings 的有 6,480 條，來自 $(3)$-ruling $2\cdot(-K_{S_8})$ 的有 119 條，總計 $ J_8 $ 中有 17,399 條關係。
• $ J_7 $ 為根式，且 $ \operatorname{Cox}(S_7) = R_7 / J_7 $，確認 Batyrev 與 Popov 對 $ r=7 $ 的猜想。
• 本文提供了 $ S_8 $ 的 Cox 環的完整且明確的描述，表示為 $ R_8 / \operatorname{rad}(J_8) $，其中 $ J_8 $ 由 17,399 條二次關係生成。
• $ \operatorname{Spec}(R_8 / J_8) $ 顯示為不可約且在一般點處光滑，且在特定點上，定義方程的雅可比行列式具有滿秩 231。
• 利用 $ r=8 $ 時的 $ E_8 $ Weyl 群結構，分類了 240 條負曲線及其交點模式，進而實現所有二次關係的系統推導。