[论文解读] On the anticanonical complex

Christoff Hische, Milena Wrobel|arXiv (Cornell University)|Aug 6, 2018

Algebraic Geometry and Number Theory参考文献 9被引用 6

一句话总结

本文将反 canonical 复形引入为一种组合工具，用于分类高复杂度 torus 作用下的 Mori dream 空间中的奇点，扩展了其在复杂度为一的情况下的先前应用。主要贡献是一条定理，表明此类代数簇的对数终端、经典和终端奇点由反 canonical 复形上的有界性与格点条件所刻画，其应用包括对具有一个维数极大 torus 作用的三维经典 Fano 内蕴二次曲面的分类。

ABSTRACT

The anticanonical complex has been introduced as a natural generalization of the toric Fano polytope and so far has been succesfully used for the study of varieties with a torus action of complexity one. In the present article we enlarge the area of application of the anticanonical complex to varieties with a torus action of higher complexity, for example, general arrangement varieties. As an application of our techniques we classify the three-dimensional canonical Fano intrinsic quadrics with automorphism group having a maximal torus of dimension one.

研究动机与目标

• 将反 canonical 复形理论从复杂度为一的 torus 作用扩展至更高复杂度的代数簇，如一般排列簇。
• 为具有 torus 作用的 Q-Gorenstein Mori dream 空间中的对数终端、经典和终端奇点提供一种组合判别准则。
• 建立反 canonical 复形存在的条件，并通过其边界结构编码分歧度。
• 将该框架应用于对具有一个维数极大 torus 作用的三维经典 Fano 内蕴二次曲面进行分类。
• 证明：若极大轨道商存在半局部 toric 弱热带化，则原代数簇也存在反 canonical 复形。

提出的方法

• 通过包含 toric 环境空间 $Z_X$ 和 $Z_Y$ 的交换图构造极大轨道商 $X \dashrightarrow Y$，其中 $Y$ 是具有范畴商结构的完备代数簇。
• 定义 $Y$ 的半局部 toric 弱热带可解性概念，确保其弱热带化 $Y' \to Y$ 在强意义上局部为 toric。
• 证明：若 $Y$ 允许半局部 toric 弱热带化，则 $X$ 亦然，从而可构造反 canonical 复形 $\mathcal{A} \subseteq \mathrm{trop}(X)$。
• 利用边界 $\partial \mathcal{A}$ 编码来自 toric 环境解析的分歧度，推广了 toric 情况下的 Fano 多面体构造。
• 将该框架应用于一般排列簇，其可显式构造至 $\mathbb{P}^c$ 的极大轨道商，并描述此情形下 $\mathcal{A}$ 的结构。
• 利用 $\mathcal{A}$ 上的格点条件刻画奇点：有界性对应对数终端，相对内部仅含 0 对应经典，仅含 0 和扇的本原射线生成元对应终端。

实验结果

研究问题

• RQ1 Q-Gorenstein Mori dream 空间在 torus 作用复杂度大于一的条件下，何时存在反 canonical 复形？
• RQ2 反 canonical 复形如何用于刻画高复杂度 torus 作用下的对数终端、经典和终端奇点？
• RQ3 极大轨道商 $X \dashrightarrow Y$ 在构造 $X$ 的反 canonical 复形过程中起什么作用？
• RQ4 一般排列簇的反 canonical 复形能否显式描述？其结构揭示了 $X$ 的奇点的何种信息？
• RQ5 具有一个维数极大 torus 作用的三维经典 Fano 内蕴二次曲面有哪些？如何对它们进行分类？

主要发现

• 根据推论 1.2，反 canonical 复形 $\mathcal{A}$ 对每个 Q-Gorenstein 一般排列簇均存在。
• Q-Gorenstein Mori dream 空间 $X$ 的奇点至多为对数终端，当且仅当其反 canonical 复形 $\mathcal{A}$ 有界。
• Q-Gorenstein Mori dream 空间 $X$ 的奇点至多为经典，当且仅当原点是 $\mathcal{A}$ 相对内部中唯一的格点。
• Q-Gorenstein Mori dream 空间 $X$ 的奇点至多为终端，当且仅当 $\mathcal{A}$ 仅包含原点和 $Z_X$ 扇的本原射线生成元作为格点。
• 根据命题 8.9，不存在具有一个维数极大 torus 作用的三维终端 Fano 内蕴二次曲面。
• 对具有一个维数极大 torus 作用的三维经典 Fano 内蕴二次曲面的分类，恰好得到五个非同构的代数簇，其同构类由 Fano 指数和有效锥结构区分。