[论文解读] On a toroidalization for klt singularities

Joaquí­n Moraga|arXiv (Cornell University)|Jan 1, 2021

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

一句话总结

本文建立了 klt 奇点上有限群作用的环面化原理，证明此类作用可通过 G-等变双有理变换变为环面化。关键结果表明，任意有限群作用在 klt 奇点上，均存在一个有界指数的正规交换子群，该子群在更高模型上环面化作用，且群作用固定一个公共的对数卡斯蒂恩中心，并将群实现为环面作用的子群。这为 klt 奇点的区域基本群的乔丹性质提供了几何实现。

ABSTRACT

In this article, we prove a toroidalization principle for finite actions on klt singularities. As an application, we prove that the Jordan property for the regional fundamental group of klt singularities can be realized geometrically: by extracting a toric singularity over the klt germ. In the course of the proof, we will prove statements about finite actions on dual complexes and almost fixed points in the fibers of equivariant Fano type morphisms. Furthermore, we will prove that the rank of a fundamental group of the klt singularity is bounded above by its regularity.

研究动机与目标

• 建立 klt 奇点上有限群作用的环面化原理，推广此类作用类似于环道作用的思想。
• 证明 klt 奇点的区域基本群的乔丹性质可通过提取一个环道奇点实现几何化。
• 通过其正则性有界 klt 奇点的基本群的秩，建立拓扑与几何不变量之间的联系。
• 分析等变 Fano 型态射中对偶复形上的有限群作用及纤维上的几乎固定点。

提出的方法

• 构造一个 G-等变的射影双有理态射 π: Y → X，提取 r 个素除子 E1, ..., Er，这些除子在正规交换子群 A ⊲ G 作用下不变。
• 确保交集 Z = E1 ∩ ⋯ ∩ Er 非平凡且 A-不变，且 A 在 Z 的某个分支上作用为恒等映射。
• 证明 (Y, E1 + ⋯ + Er) 在 Z 的通用点 ηZ 处为形式环面化，将 A 实现为 Gr_m 的子群。
• 利用对偶复形和等变 Fano 型态射的结构，分析在固定基点上的纤维中几乎固定点。
• 应用 klt 奇点中补体和正则性的有界性结果，控制对数卡宾-雅可布结构的秩与卡宾指数。
• 利用广义对偶对与模量部分的理论，分析商空间与双有理模型下群作用的行为。

实验结果

研究问题

• RQ1 能否通过双有理变换对 klt 奇点上的有限群作用实现环面化，将群实现为环面作用的子群？
• RQ2 能否通过提取一个环道奇点，几何化实现 klt 奇点区域基本群的乔丹性质？
• RQ3 klt 奇点基本群的秩是否被其正则性有界？
• RQ4 在 Fano 型代数簇或 klt 奇点上的有限群作用是否在等变态射的纤维中存在几乎固定点，且存在有界指数子群固定这些点？
• RQ5 卡宾指数在控制有限群作用于广义对数卡宾-雅可布对的行为中起什么作用？

主要发现

• 对于任意 n 维 klt 奇点 (X, x) 及其上的有限群 G 作用，存在一个正规交换子群 A ⊲ G，其指数至多为 c(n)，其中 c(n) 仅依赖于 n，使得 A 在 G-等变双有理变换后实现为环面化作用。
• A 在变换空间 Y 上的作用固定 r 个素除子交集的某个分支 Z，且 A 嵌入到 Gr_m 中，使该作用在 Z 的通用点处实现为环面作用。
• 交换子群 A 的秩 r 被 klt 奇点的正则性有界，建立了拓扑与几何不变量之间的直接联系。
• 在 klt 奇点芽上存在一个秩为 r 的大有限交换群作用，意味着存在 r 个对数卡斯蒂恩位置，其交集支撑一个环面结构。
• 在 G-等变 Fano 型态射中，固定点上的纤维包含一个被有界指数子群固定的几乎固定点，推广了关于对偶复形和群作用的结果。
• 反例表明，卡宾指数的控制至关重要：若无此控制，即使在系数受控的广义对偶对中，群作用的有界性与环面化仍会失效。