[论文解读] Birational Geometry of Toric Varieties

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

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

一句话总结

本论文通过引入分类 Mori 纤维空间的 Cayley-Mori 多面体，建立了一个用于 toric 几何中带缩放的极小模型程序（MMP）的多面体理论框架。该研究将双有理几何操作转化为多面体上的组合操作，对低维的 2-Fano toric 代数簇进行了分类，并证明了唯一一个光滑的 toric 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.

研究动机与目标

• 通过多面体理论，为 toric 代数簇中的带缩放极小模型程序（MMP）发展一个组合框架。
• 通过一类新多面体——Cayley-Mori 多面体，刻画 toric 几何中的 Mori 纤维空间。
• 研究在双有理变换下多面体空间及其墙分解的结构。
• 对低维（特别是三维和四维）的 2-Fano toric 代数簇进行分类。
• 通过陈类计算，建立 2-Fano 条件与爆破中心的 Fano 性质之间的联系。

提出的方法

• 将 Cayley-Mori 多面体定义为在高维空间中嵌入的、具有特殊原点顶点的严格组合等价多面体的凸包。
• 在 $\mathbb{Q}$-因子化投影 toric 代数簇中，建立 Cayley-Mori 多面体与 Mori 纤维空间之间的一一对应关系。
• 将多面体表示的空间 $\mathcal{PP}_{\mathcal{H}}$ 建模为一个凸多面锥，并通过等价关系商化，定义 $\mathcal{P}_{\mathcal{H}}$。
• 将带缩放的 MMP 转化为一系列多面体操作：面重配置和组合性翻转，分别对应于除子性收缩和翻转。
• 利用伴随多面体和陈类公式分析 2-Fano 条件，特别通过在不变曲面上计算 $ch_2(T_X) \cdot S$。
• 应用爆破公式 $K_{\tilde{X}} = \pi^*K_X + (c-1)E$，并计算 $ch_2(T_{\tilde{X}})$，以推导出对中心 $Z$ 的法丛的条件。

实验结果

研究问题

• RQ1 在多面体中，哪些组合结构精确对应于 toric 几何中的 Mori 纤维空间？
• RQ2 如何将带缩放的 MMP 完全描述为关联多面体上的一系列操作？
• RQ3 一个 toric 代数簇为 2-Fano 的必要与充分条件是什么？这些条件如何约束其定义多面体的几何结构？
• RQ4 在三维和四维中，哪些 toric 代数簇满足 2-Fano 条件？
• RQ5 若一个爆破 $\tilde{X}$ 是 2-Fano，是否意味着其爆破中心 $Z$ 必为 Fano？

主要发现

• Cayley-Mori 多面体正是 $\mathbb{Q}$-因子化投影 toric 代数簇中与 Mori 纤维空间相关联的多面体。
• 多面体空间 $\mathcal{P}_{\mathcal{H}}$ 是 $\mathbb{R}^r$ 中的一个闭合凸多面锥，并可自然地分解为对应于双有理等价类的墙。
• 在极化 toric 代数簇 $(X,L)$ 上的带缩放 MMP 对应于关联多面体 $P$ 上的一系列组合变换，包括面重配置和翻转。
• 在三维中，唯一一个光滑的 toric 2-Fano 代数簇是 $\mathbb{P}^3$；在四维中，2-Fano toric Fano 四叉的分类与 Batyrev 的分类一致。
• 若光滑 toric 代数簇 $X$ 沿光滑不变子簇 $Z$ 进行爆破后得到的 $\tilde{X}$ 是 2-Fano，则 $Z$ 必为 Fano，这由法丛分解中最大权 $a_c$ 的非负性所证明。
• 对例外除子 $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$ 为 Fano 的必要条件。