[论文解读] Compactifications of subvarieties of tori

Jenia Tevelev|ArXiv.org|Dec 16, 2004

Geometric and Algebraic Topology参考文献 14被引用 4

一句话总结

本文提出了一种利用非阿基米德阿莫eba上的多面体结构构造代数环面子簇紧化的新方法，得到具有理想几何性质（如组合性法线交叉和科恩-麦克aul伊奇异点）的热带紧化。关键贡献是一个构造性、组合性的框架，该框架推广了卡普兰诺夫的可见轮廓，并为超平面排列的补集提供了对数卡斯蒂安模型。

ABSTRACT

We study compactifications of subvarieties of algebraic tori defined by imposing a sufficiently fine polyhedral structure on their non-archimedean amoebas. These compactifications have many nice properties, for example any k boundary divisors intersect in codimension k. We consider some examples including $M_{0,n}\subset\bar M_{0,n}$ (and more generally log canonical models of complements of hyperplane arrangements) and compact quotients of Grassmannians by a maximal torus.

研究动机与目标

• 开发一种系统化方法，用于构造代数环子簇的良态紧化。
• 确立此类紧化具有理想几何性质（如组合性法线交叉和科恩-麦克aul伊奇异点）的条件。
• 将卡普兰诺夫的可见轮廓构造推广至高余维子簇及超平面排列补集。
• 将热带紧化与现有的商构造（如GIT和希尔伯特商）联系起来。
• 证明紧化的对数卡斯蒂安线丛是充分正且全局生成的。

提出的方法

• 通过乘法映射 $\Psi: T \times \overline{X} \to \mathbb{P}$ 定义在光滑toric簇 $\mathbb{P}$ 中子簇 $X$ 的闭包，从而构造热带紧化，要求忠实平坦性。
• 应用 $\mathbb{P}$ 的希尔伯特纲量，构造格罗滕迪克-toric簇 $\mathbb{P}_{\text{Gr}}$，即 $[\overline{X}]$ 的 $T$-轨道闭包的正规化。
• 将可见轮廓 $\overline{X}_{\text{vc}}$ 定义为 $X/T_X$ 在 $\mathbb{P}_{\text{Gr}}$ 中的闭包，其特征为 $\overline{X}_{\text{vc}} = \{[Y] \in \mathbb{P}_{\text{Gr}} \mid e \in Y\}$，其中 $e$ 为单位元。
• 利用非阿基米德阿莫eba和拉福尔格的横截性论证，确保此类紧化的存在性。
• 利用由权函数 $\omega$ 导出的单纯形 $\Delta(r,n)$ 的拟阵分解，分析初等理想与交比。
• 依赖与拉福尔格横截性相关的扇形 $\mathcal{F}_{\text{Laf}}$，以比较拟阵分解的粗化与初等理想。

实验结果

研究问题

• RQ1 任何环子簇是否都能在光滑toric环境空间中拥有组合性法线交叉的热带紧化？
• RQ2 在何种条件下，热带紧化具有光滑乘法映射和层状奇异点？
• RQ3 可见轮廓构造如何推广卡普兰诺夫对格拉斯曼流形的原始定义？
• RQ4 紧化的对数卡斯蒂安线丛是否全局生成且充分正？
• RQ5 紧化上的交比如何反映初等理想的组合结构？

主要发现

• 任何环子簇 $X$ 都可在光滑toric簇 $\mathbb{P}$ 中拥有热带紧化 $\overline{X}$，其边界除子在 $k$ 个除子时相交于余维数 $k$。
• 若 $X$ 是 schön，则任意热带紧化 $\overline{X} \subset \mathbb{P}$ 的乘法映射光滑，为正规嵌入，且具有层状奇异点。
• $\overline{X}_{\text{vc}}$ 的对数卡斯蒂安线丛全局生成，且等于法丛的行列式。
• 对于本质的、连通的超平面排列补集，$\overline{X}_{\text{vc}}$ 是对数卡斯蒂安模型，且对数卡斯蒂安丛充分正。
• 初等理想 $\mathcal{I}_\omega$ 决定紧化上任意交比是否为 $0$、$1$、$\infty$，或以上皆非。
• 热带扇形 $\mathcal{F}_{\text{trop}}$ 中任意锥的内部位于拉福尔格扇形 $\mathcal{F}_{\text{Laf}}$ 中某个锥的内部，确保了拟阵分解的适当粗化。