[论文解读] Cox rings and combinatorics

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

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

一句话总结

本文提出了一种组合框架，利用捆环（bunched rings）通过其除子类群来描述具有有限生成总坐标环的正规代数簇的几何性质。该框架建立了奇点、ample 与半ample 锥以及 Fano 条件的显式判别准则，推广了典型代数几何的方法，并为非典型代数簇（包括曲面和格拉斯曼流形的商空间）提供了有效的计算工具。

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.

研究动机与目标

• 开发一种组合框架，用于描述具有有限生成总坐标环的正规代数簇的几何性质。
• 利用除子类群数据，将典型代数几何的组合方法推广至非典型代数簇。
• 基于组合数据，提供奇点、线性系正性与 Fano 条件的显式可计算判别准则。
• 通过捆环表征 $A_2$-极大代数簇，扩展几何不变理论的适用范围。
• 为如 $E_6$ 三次曲面的解析与格拉斯曼流形的环面商空间等代数簇提供有效的计算工具。

提出的方法

• 定义一个捆环 $(R, \frak{F}, \frak{Φ})$，其中 $R$ 是一个关于格 $K$ 分次的有限生成阶因子代数，$\frak{F}$ 是 $K$-齐次素生成元的系统，$\frak{Φ}$ 是 $K_{\mathbb{Q}}$ 中一组重叠的多面体锥。
• 将代数簇 $X = X(R, \frak{F}, \frak{Φ})$ 构造为 $\mathrm{Spec}(R)$ 的开子集 $ˇ{X} \subset \mathrm{Spec}(R)$ 关于由 $K$-分次诱导的环面作用的良商。
• 利用由 $\frak{F}$ 中的素生成元 $f_i$ 诱导的分层结构（以正象限 $\gamma = \mathbb{Q}_{\geq 0}^r$ 的面为指标）分析局部几何性质。
• 应用线性映射 $Q: \mathbb{Z}^r \to K$，将 $e_i$ 映射到 $f_i$ 的次数，以关联锥的几何与奇点及阶因子性。
• 通过移动锥与对偶锥构造，利用 $Q$-次数矩阵表征半ample 与 ample 锥。
• 通过 $Q$ 的核的对偶构造最小的典型嵌入代数簇 $Z(R, \frak{F}, \frak{Φ})$，其极大锥由 $\frak{F}$-捆的覆盖族导出。

实验结果

研究问题

• RQ1 如何利用除子类群中的组合数据描述具有有限生成总坐标环的正规代数簇的几何性质？
• RQ2 捆环数据的何种条件可保证代数簇在某点处为 $\mathbb{Q}$-因子化或因子化？
• RQ3 如何从组合数据显式计算此类代数簇的 ample 与 semiample 锥？
• RQ4 代数簇的 $A_2$-极大性与其作为捆环商空间实现之间有何关系？
• RQ5 能否在非典型情形下推导出 Fano 与典范除子性质的有效计算判别准则？

主要发现

• 代数簇 $X$ 的奇点可组合地确定：$X$ 在点 $x \in X(\gamma_0)$ 处为 $\mathbb{Q}$-因子化，当且仅当 $Q(\gamma_0)$ 张成 $K_{\mathbb{Q}}$。
• 对 $E_6$ 三次曲面解析的半ample 锥是 $\mathbb{Z}^7$ 中的正则锥，其本原生成元为矩阵列向量 $[0,2,1,2,2,2,1]^T$ 到 $[2,3,3,4,5,6,4]^T$。
• ample 锥是半ample 锥的相对内部，典范除子类为给定基下的 $-(2,3,4,4,5,6,3)$。
• 对 $E_6$ 曲面，其最小典型嵌入代数簇 $Z$ 有十个极大锥，包括负象限与九个二维锥，均由 $\ker(Q)$ 的对偶导出。
• 一个具有有限生成总坐标环的正规完备曲面是射影的，当且仅当任意两个非因子化奇点存在一个公共仿射邻域。
• 该构造通过 $\mathrm{Cl}(X)$ 中的组合数据，为 Kleiman-Chevalley 的拟射影性准则提供了有效版本。