[論文レビュー] On the Cox ring of Del Pezzo surfaces

Ulrich Derenthal|ArXiv.org|Mar 4, 2006

Algebraic Geometry and Number Theory被引用数 15

ひとこと要約

この論文は、$r \leq 8$ におけるデル・ペッツォ表面 $S_r$ のコクセル環の定義関係がすべて二次的であることを明示的に特定し、バチェーヴとポポフの予想を裏付ける。$r \leq 7$ では、コクセル環が多項式環の剰余環として与えられ、そのイデアルは、(1)-ルーリング、(2)-ルーリング、(3)-ルーリングに由来する二次的関係によって生成され、各次数におけるこれらの関係の明示的な数が提示されている。

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.

研究の動機と目的

• $r \leq 8$ における滑らかなデル・ペッツォ表面 $S_r$ のコクセル環を生成する完全な二次的関係の集合を特定すること。
• バチェーヴとポポフの予想、すなわち $r \in \{4,\dots,8\}$ のとき、$S_r$ のコクセル環が二次的関係によって生成されることを検証すること。
• $r \leq 7$ に対して、関係のイデアルが根元的であることを証明し、多項式環の剰余環としてのコクセル環の明確な表示を得ること。
• $r \leq 6$ の既知の結果を $r = 7$ および $r = 8$ に拡張すること。この場合、負の曲線およびルーリングの構造がより複雑になる。

提案手法

• 論文は、$r$ 個の一般点での $\mathbb{P}^2$ の吹き上げとしてのデル・ペッツォ表面の幾何的構造を用い、$\operatorname{Pic}(S_r)$ の基底を $H, E_1, \dots, E_r$ とし、交線形式を計算して負の曲線およびルーリングを同定する。
• 三種類の関係を特定する：(1)-ルーリング（標準的ルーリング）、(2)-ルーリング（例：$-K_{S_7}$）、(3)-ルーリング（例：$2\cdot(-K_{S_8})$）、それぞれがコクセル環における特定の二次的関係を寄与する。
• $r \leq 7$ に対して、イデアル $J_r$ が根元的であることが示され、$\operatorname{Cox}(S_r) = R_r / J_r$ が成り立つ。ここで $R_r$ はコクセル環の生成元による多項式環である。
• $r = 8$ に対して、イデアル $J_8$ は、(1)-ルーリングから10,800の関係、(2)-ルーリングから6,480の関係、(3)-ルーリング $2\cdot(-K_{S_8})$ から119の関係が生成され、合計17,399の二次的関係からなる。
• 論文は、$r=8$ に対して $E_8$ のワイル群の構造を用いて負の曲線を分類し、その交差パターンを特定し、ルーリングを体系的に数える。
• 定義された関係によって定まる代数的集合が標準的アフィン開集合 $U_D$ で被覆されることを示し、点でのヤコビアン基準を検証して、零点集合の滑らかさおよび既約性を確認する。

実験結果

リサーチクエスチョン

• RQ1 バチェーヴとポポフの予想に従い、$r \leq 8$ における $S_r$ のコクセル環のすべての定義関係が二次的であるか？
• RQ2 $S_7$ および $S_8$ のコクセル環は、多項式環の根元的イデアルによる剰余環として、$R_r / J_r$ の形で提示可能か？
• RQ3 $S_8$ のコクセル環を生成する二次的関係の正確な数と種別（(1)-、(2)-、および (3)-ルーリングに由来するもの）は何か？
• RQ4 $S_7$ の関係イデアルは根元的か？ その場合、$\operatorname{Cox}(S_7)$ が $R_7 / J_7$ として完全に記述可能か？
• RQ5 $S_8$ の負の曲線の交差パターンは、コクセル環の関係構造をどのように決定するか？

主な発見

• $r \in \{4,\dots,7\}$ に対して、コクセル環 $\operatorname{Cox}(S_r)$ は、ルーリングおよび高次ルーリングに由来する二次的関係によって生成される根元的イデアル $J_r$ を用いて $R_r / J_r$ と同型である。
• $S_7$ における (1)-ルーリングに由来する二次的関係の数は504、(2)-ルーリングは25で、合計529の関係が $J_7$ に含まれる。$S_8$ では、(1)-ルーリングから10,800、(2)-ルーリングから6,480、(3)-ルーリング $2\cdot(-K_{S_8})$ から119の関係が生成され、合計17,399の関係が $J_8$ に含まれる。
• $J_7$ は根元的であり、$\operatorname{Cox}(S_7) = R_7 / J_7$ が成り立つ。これはバチェーヴとポポフの予想が $r=7$ に対しても成立することを確認する。
• 論文は、$S_8$ のコクセル環を $R_8 / \operatorname{rad}(J_8)$ として完全かつ明示的に記述する。ここで $J_8$ は17,399の二次的関係によって生成される。
• $\operatorname{Spec}(R_8 / J_8)$ は、一般点で既約的かつ滑らかであり、特定の点における定義方程式のヤコビアンがランク231を示す。
• $r=8$ における $E_8$ のワイル群の構造を用いて、240個の負の曲線およびその交差パターンを分類し、すべての二次的関係を体系的に導出可能であることを示した。