[論文レビュー] Cox rings of du Val singularities

Laura Facchini, Víctor González‐Alonso+1 more|arXiv (Cornell University)|Feb 3, 2015

Coding theory and cryptography参考文献 2被引用数 3

ひとこと要約

この論文は、最小解消の相対線形系群を用いて、表面特異点のCox環を定義し、特に $\mathbb{D}_n$, $\mathbb{E}_6$, $\mathbb{E}_7$, $\mathbb{E}_8$ のdu Val特異点についてそのCox環を計算する。主な貢献は、例外除集合内の $(-2)$-曲線の幾何から導かれる関係を持つ多項式環の商として、これらの環の明示的表現を提供することにある。

ABSTRACT

In this note we introduce Cox rings of singularities and explicitly compute them in the case of du Val singularities $\mathbb{D}_n,\mathbb{E}_6,\mathbb{E}_7$ and $\mathbb{E}_8$.

研究の動機と目的

• 正則な表面特異点に対するCox環の概念を定義・形式化し、滑らかな多様体からの古典的構成を特異点へ拡張すること。
• 相対線形系群が自由かつ有限生成であるような状況において、$(-2)$-曲線の構造を用いて、Cox環を体系的に計算する方法を提供すること。
• 最も単純で対称性の高いクラス、すなわちdu Val特異点から出発し、より一般の表面特異点のCox環を研究する基盤を築くこと。
• du Val特異点（特に $\mathbb{D}_n$, $\mathbb{E}_6$, $\mathbb{E}_7$, $\mathbb{E}_8$）に対して、Cox環を明示的に計算すること。

提案手法

• 表面特異点 $(X,O)$ のCox環を、$\widetilde{X}$ を最小解消、$\operatorname{Pic}(\widetilde{X}/X)$ を相対線形系群として、$\operatorname{Cox}(X) = \bigoplus_{L \in \operatorname{Pic}(\widetilde{X}/X)} H^0(\widetilde{X}, L)$ と定義する。
• 例外除集合 $E = \pi^{-1}(O)$ 内の $(-2)$-曲線 $E_i$ によって誘導される同型 $\operatorname{Pic}(\widetilde{X}/X) \cong \mathbb{Z}^n$ を用い、$\delta_i(L) = \deg(L|_{E_i})$ を多重次数として定める。
• 相対線形系群によるグレーディングを通じて、$\operatorname{Cox}(X)$ 上にトーラス作用を構成し、Geometric Invariant Theory (GIT) を用いて特異点を商として構成する。
• $\mathbb{D}_n$ の場合、$E_i$ に対応する切断 $y_i$ を用いた線形束の再帰的還元により、単項式を用いた表現を得る。
• $\mathbb{E}_n$ 特異点の場合は、削減補題を用いて余分な変数を除去した後、多項式環の商として $y_1x_1^2 + y_2y_3^2x_3^3 + \cdots + y_{n-1}^{n-4}x_{n-1}^{n-3} = 0$ という単一の関係式によってCox環を導出する。
• 解消の双対グラフの構造に従い、変数の割り当てと関係式の構成を行い、多重次数グレーディングと整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 相対線形系群が自由である正則表面特異点に対して、Cox環を滑らかな多様体から拡張することは可能か？
• RQ2 du Val特異点 $\mathbb{D}_n$, $\mathbb{E}_6$, $\mathbb{E}_7$, $\mathbb{E}_8$ のCox環の明示的構造は何か？
• RQ3 $\mathbb{E}_n$ 特異点のCox環は、多項式環の商として単一の定義関係式で記述可能か？ もしそうなら、その関係式の形は？
• RQ4 より一般的な $(-2)$-曲線の配置において、削減補題（例：補題4.6）が失敗する条件は何か？ そして、Cox環の構造にどのような影響を与えるか？
• RQ5 du Val特異点に用いられた手法は、Hirzebruch-Jung特異点や非-Dynkin型配置を含む、より一般の表面特異点へどの程度拡張可能か？

主な発見

• $\mathbb{D}_n$ 特異点のCox環は、$\mathbb{C}[x_1, x_2, x_3, y_0, y_1, \dots, y_n] / (y_1x_1^2 + y_2y_3^2x_3^3 + \cdots + y_{n-1}^{n-4}x_{n-1}^{n-3})$ と同型であり、明示的な単項式生成子と関係式を持つ。
• $\mathbb{E}_6$ の場合、Cox環は $\mathbb{C}[Z_1, Z_2, Z_3, Z_4] / (Z_2^2 - Z_3Z_4)$ であり、$Z_i$ は $x_i$ と $y_i$ の単項式として表され、特異点はこの超曲面と線形部分集合の交差として実現される。
• $\mathbb{E}_7$ のCox環は $\mathbb{C}[Z_1, Z_2, Z_3, Z_4] / (Z_3^2 - Z_2Z_4)$ であり、特異点は立方超曲面 $H_7$ との交差として得られる。
• $\mathbb{E}_8$ のCox環は $\mathbb{C}[Z_1, Z_2, Z_3] / (Z_2^5 + Z_3^3 + Z_1^2)$ であり、これは $E_8$-構成に対応する。
• $\mathbb{E}_n$ 特異点の定義関係式の一般形は $y_1x_1^2 + y_2y_3^2x_3^3 + \cdots + y_{n-1}^{n-4}x_{n-1}^{n-3} = 0$ であり、低ランクの場合のパターンと一致する。
• $\mathbb{D}_n$ で用いられる削減補題は、より複雑な構造（例：長さ1の枝を持たない三重節点）では失敗することが示され、この手法が双対グラフ構造に敏感であることが明らかになった。