[論文レビュー] Birational Geometry of Toric Varieties

Edilaine Ervilha Nobili|arXiv (Cornell University)|Apr 17, 2012

Algebraic Geometry and Number Theory参考文献 24被引用数 4

ひとこと要約

この論文は、ツォリック幾何における最小モデルプログラム（MMP）のスケーリングを、Cayley-Mori多面体を導入することで、多面体論的枠組みに定式化する。Cayley-Mori多面体は、モーリ纤维空間を分類する。双有理幾何の作用を多面体上の組合せ的作用に翻訳し、低次元における2-Fanoツォリック多様体の分類を提供し、滑らかなツォリック3次元多様体で唯一2-Fanoであるのは $\mathbb{P}^3$ であることを証明する。

ABSTRACT

Toric geometry provides a bridge between algebraic geometry and combinatorics of fans and polytopes. For each polarized toric variety (X,L) we have associated a polytope P. In this thesis we use this correspondence to study birational geometry for toric varieties. To this end, we address subjects such as Minimal Model Program, Mori fiber spaces, and chamber structures on the cone of effective divisors. We translate some results from these theories to the combinatorics of polytopes and use them to get structure theorems on space of polytopes. In particular, we treat toric varieties known as 2-Fano, and we classify them in low dimensions.

研究の動機と目的

• 多面体論を用いて、ツォリック多様体におけるスケーリング付き最小モデルプログラム（MMP）の組合せ的枠組みを構築すること。
• Cayley-Mori多面体と呼ばれる新しい多面体のクラスを用いて、ツォリック幾何におけるモーリ纤维空間を特徴付けること。
• 双有理変換の下での多面体の空間およびそのチャネル分解の構造を研究すること。
• 特に3次元および4次元において、2-Fanoツォリック多様体を分類すること。
• 2-Fano条件と吹き上げ中心のファノ性との間の関係を、チャーン類の計算を通じて確立すること。

提案手法

• Cayley-Mori多面体を、高次元空間に埋め込まれた厳密に組合せ的に同型な多面体の凸包として定義し、特徴的な原点頂点を備える。
• $\mathbb{Q}$-因子的でかつ射影的なツォリック多様体におけるモーリ纤维空間とCayley-Mori多面体との間の全単射対応を確立する。
• 多面体表現の空間 $\mathcal{PP}_{\mathcal{H}}$ を凸多面体的錐としてモデル化し、同値関係で割ることで $\mathcal{P}_{\mathcal{H}}$ を定義する。
• スケーリング付きMMPを、 facet 再構成と組合せ的フリップに対応する多面体作用の系列に翻訳する。
• 随伴多面体とチャーン類の公式を用いて2-Fano条件を分析し、特に不変な曲面における $ch_2(T_X) \cdot S$ の計算を通じて分析する。
• 吹き上げ公式 $K_{\tilde{X}} = \pi^*K_X + (c-1)E$ を適用し、$ch_2(T_{\tilde{X}})$ を計算することで、中心 $Z$ の正規束に必要な条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 ツォリック幾何におけるモーリ纤维空間に正確に対応する多面体の組合せ的構造は何か？
• RQ2 スケーリング付きMMPは、関連多面体における作用の系列として完全に記述可能か？
• RQ3 ツォリック多様体が2-Fanoであるための必要十分条件は何か？ そして、定義多面体の幾何にどのような制約を与えるか？
• RQ4 3次元および4次元において、どのツォリック多様体が2-Fano条件を満たすか？
• RQ5 吹き上げ多様体 $\tilde{X}$ が2-Fanoならば、その吹き上げ中心 $Z$ はファノであると結論づけられるか？

主な発見

• Cayley-Mori多面体は、$\mathbb{Q}$-因子的でかつ射影的なツォリック多様体におけるモーリ纤维空間に正確に対応する多面体である。
• 多面体の空間 $\mathcal{P}_{\mathcal{H}}$ は $\mathbb{R}^r$ 内の閉じた凸多面体的錐であり、双有理同値類に対応するチャネルへの自然な分解を持つ。
• 極化ツォリック多様体 $(X,L)$ におけるスケーリング付きMMPは、関連多面体 $P$ における組合せ的変換の系列に対応する。これには facet 再構成とフリップが含まれる。
• 3次元では、滑らかなツォリック2-Fano多様体は $\mathbb{P}^3$ のみである。4次元では、2-Fanoツォリックファノ4-多様体の分類はバティレフの分類と一致する。
• 滑らかなツォリック多様体 $X$ の滑らかな不変部分多様体 $Z$ に沿った吹き上げ $\tilde{X}$ が2-Fanoであるならば、正規束の分解における最大の重み $a_c$ の非負性により、$Z$ がファノでなければならないことが示される。
• 例外除集合 $E$ の不変な曲面 $S$ に対して $ch_2(T_{\tilde{X}}) \cdot S$ を計算すると、$a_1, \dots, a_c$ を含む式が得られ、$ch_2(T_{\tilde{X}}) \cdot S \geq 0$ の条件から $a_c \geq 0$ が導かれる。これは $Z$ がファノであるための必要条件である。