[论文解读] Polyhedral Divisors and Algebraic Torus Actions

Klaus Altmann, Juergen Hausen|ArXiv.org|Jun 19, 2003

Algebraic Geometry and Number Theory参考文献 13被引用 5

一句话总结

本文通过在半正则代数面上使用'恰当多面体除子'，对具有有效代数环作用的正规仿射代数簇进行了完整的组合分类。它通过证明此类代数簇可作为由这些除子构建的分次代数的谱而得到推广，从而将恰当多面体除子与正规仿射 $T$-簇之间建立范畴等价关系，推广了经典的扇形与广义锥构造理论。

ABSTRACT

We provide a complete description of normal affine varieties with effective algebraic torus action in terms of what we call proper polyhedral divisors on semiprojective varieties. Our theory extends classical cone constructions of Dolgachev, Demazure and Pinkham to the multigraded case, and it comprises the theory of affine toric varieties.

研究动机与目标

• 提供具有有效代数环作用的正规仿射代数簇的完整分类。
• 统一并推广经典扇形几何与 $\mathbb{C}^*$-作用下广义仿射锥的构造理论。
• 在恰当多面体除子与正规仿射 $T$-簇之间建立函子性对应关系。
• 为给定 $T$-簇提供计算其定义多面体除子的规范方法。
• 通过除子的组合数据表征轨道结构与等变同构关系。

提出的方法

• 在半正则代数簇 $Y$ 上定义恰当多面体除子 $\mathfrak{D}$ 为形式和 $\sum \Delta_i \otimes D_i$，其中 $\Delta_i \subset N_\mathbb{Q}$ 为具有共同指向尾锥 $\sigma$ 的多面体。
• 对 $u \in \sigma^\vee \cap M$ 定义求值映射 $u \mapsto \mathfrak{D}(u) = \sum \min_{v \in \Delta_i} \langle u, v \rangle D_i$。
• 要求当 $u$ 属于 $\sigma^\vee$ 的相对内部时，$\mathfrak{D}(u)$ 为半正则且大，以保证恰当性。
• 构造分次代数 $A = \bigoplus_{u \in \sigma^\vee \cap M} \Gamma(Y, \mathcal{O}(\mathfrak{D}(u)))$，其为正规且有限生成。
• 定义代数簇 $X = \operatorname{Spec}(A)$，通过 $M$-分次结构赋予其 $T = \operatorname{Spec}(\mathbb{C}[M])$-作用。
• 利用 GIT 商墙结构与双有理变换构造任意给定 $T$-簇的最小多面体除子。

实验结果

研究问题

• RQ1 如何利用组合数据完全分类具有有效环作用的正规仿射代数簇？
• RQ2 恰当多面体除子在何种意义上推广了经典扇形与广义锥构造？
• RQ3 何种条件可确保多面体除子定义出正规且有限生成的代数，从而生成正规仿射代数簇？
• RQ4 如何从其定义多面体除子中恢复 $T$-簇的轨道结构与局部几何？
• RQ5 在何种条件下，两个多面体除子会给出等变同构的 $T$-簇？

主要发现

• 映射 $\mathfrak{D} \mapsto X = \operatorname{Spec}(A)$ 定义了一个从半正则代数面上恰当多面体除子到正规仿射 $T$-簇的几乎满射且忠实的协变函子。
• 在对基代数簇进行双有理变换局部化后，该函子成为范畴等价，从而实现完全分类。
• 分次代数 $A = \bigoplus_{u \in \sigma^\vee \cap M} \Gamma(Y, \mathcal{O}(\mathfrak{D}(u)))$ 为正规且有限生成，确保 $X$ 是正规仿射代数簇。
• 对于具有 $T = (\mathbb{C}^*)^2$-作用的仿射三乘积 $X = V(z_1^3 + z_2^4 + z_3 z_4)$，其在 $\mathbb{P}^1$ 上的定义多面体除子的系数为 $\Delta_0 = (1/3, 0) + \sigma$，$\Delta_1 = (-1/4, 0) + \sigma$，$\Delta_\infty = (\{0\} \times [0,1]) + \sigma$，其中 $\sigma$ 是由 $(1,0)$ 与 $(1,12)$ 生成的锥。
• 通过将 $X$ 与 $(\mathbb{K}^*)^n$ 的交集在商扇形簇中的正规化像拉回，可构造 $T$-簇 $X$ 的最小多面体除子。
• $X$ 的轨道结构由多面体除子的组合学编码，局部轨道数据可从尾锥与系数多面体中恢复。