[論文レビュー] Cox rings and combinatorics

Florian Berchtold, Juergen Hausen|ArXiv.org|Nov 7, 2003

Advanced Topics in Algebra参考文献 23被引用数 6

ひとこと要約

本稿は、全座標環が有限生成である正則多様体の divisor class group を用いた幾何的性質を記述する組合せ的枠組みを、bunched ring を用いて提示する。特異点、アンピールおよびセミアンピール錐、ファノ条件の明示的基準を確立し、トロイカル幾何学を一般化し、非トロイカル多様体（特に曲面やグラスマンニアンのトーラス商を含む）における有効な計算を可能にする。

ABSTRACT

For a variety with a finitely generated total coordinate ring, we describe basic geometric properties in terms of certain combinatorial structures living in its divisor class group. For example, we describe the singularities, we calculate the ample cone, and we give simple Fano criteria. As we show by means of several examples, these results allow explicit computations.

研究の動機と目的

• 有限生成な全座標環を持つ正則多様体の幾何的性質を記述する組合せ的枠組みの構築。
• トロイカル幾何学の組合せ的手法を、divisor class group データを用いて非トロイカル多様体へ一般化すること。
• 特異点、アンピール性、ファノ条件に関する明示的かつ計算可能な基準を、組合せ的データの観点から提供すること。
• bunched ring を用いた $A_2$-最大多様体の特徴付けを確立し、幾何的不変量理論の適用範囲を拡張すること。
• E_6 三次曲面の解消やグラスマンニアンのトーラス商を含む多様体に対する有効な計算ツールの提供。

提案手法

• 有限生成なファクタリアル代数 $R$ を、格子 $K$ による次数付きとし、$K$-同次な素生成子の系 $\frak{F}$ と、$K_{\mathbb{Q}}$ 内の重複する多面体錐の有限集合 $\frak{Φ}$ を持つ bunched ring $(R, \frak{F}, \frak{Φ})$ を定義する。
• $K$-次数に由来するトーラス作用によって、$\mathrm{Spec}(R)$ の開部分集合 $ˇ{X} \subset \mathrm{Spec}(R)$ からの良い商として、多様体 $X = X(R, \frak{F}, \frak{Φ})$ を構成する。
• 正の直交座標錐 $\gamma = \mathbb{Q}_{\geq 0}^r$ の面に添えられた素生成子 $f_i \in \frak{F}$ によって誘導される層状構造を用い、局所的幾何的性質を分析する。
• $e_i$ を $f_i$ の次数に送る線形写像 $Q: \mathbb{Z}^r \to K$ を用い、錐の幾何と特異点・ファクタリアル性の関係を定式化する。
• 行列 $Q$-次数を用いた移動錐および双対錐の構成により、セミアンピール錐とアンピール錐を特徴付ける。
• $\frak{F}$-bunch の被覆集合から導かれる、$Q$ の核の双対を用いて、最小のトーラス的環境多様体 $Z(R, \frak{F}, \frak{Φ})$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 有限生成な全座標環を持つ正則多様体の幾何的性質は、divisor class group の組合せ的データを用いてどのように記述できるか？
• RQ2 bunched ring データにどのような条件を課すと、多様体が点で $\mathbb{Q}$-ファクタリアルまたはファクタリアルになるか？
• RQ3 このような多様体のアンピール錐とセミアンピール錐は、組合せ的データから明示的にどのように計算できるか？
• RQ4 多様体の $A_2$-最大性と、bunched ring からの商としての実現との関係は何か？
• RQ5 非トロイカルな設定において、ファノ性および正則標準除 canonical divisor 性質に関する有効な計算基準を導出可能か？

主な発見

• 多様体 $X$ の特異点は組合せ的に決定される：点 $x \in X(\gamma_0)$ において $X$ が $\mathbb{Q}$-ファクタリアルであるための必要十分条件は、$Q(\gamma_0)$ が $K_{\mathbb{Q}}$ を生成することである。
• $E_6$ 三次曲面の解消におけるセミアンピール錐は、$\mathbb{Z}^7$ 内の正則錐であり、列が $[0,2,1,2,2,2,1]^T$ から $[2,3,3,4,5,6,4]^T$ までの行列の列ベクトルで与えられる。
• アンピール錐はセミアンピール錐の相対的内部であり、正則標準除類は与えられた基底において $-(2,3,4,4,5,6,3)$ に等しい。
• $E_6$ 表面の最小のトーラス的環境多様体 $Z$ は、10 個の最大錐を有し、負の直交座標錐と 9 個の 2 次元錐を含む。これらは $\ker(Q)$ の双対から導かれる。
• 有限生成な全座標環を持つ正則完全曲面は、任意の二つのファクタリアルでない特異点が共通のアフィン近傍を持つときかつそのときに限り、射影的である。
• 本構成は、$\mathrm{Cl}(X)$ 内の組合せ的データを用いた Kleiman-Chevalley の準射影性基準の有効版を提供する。