[论文解读] Smoothness, Semistability, and Toroidal Geometry

Dan Abramovich, A. J. de Jong|arXiv (Cornell University)|Mar 24, 1996

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

一句话总结

本文提出了一种利用半稳定约化和 тор几何的新证明，证明了特征零下 Hironaka 的奇异点解耦定理。通过应用伽罗瓦变换、扇形结构以及通过理想爆破实现的典范解耦，该方法以一种几何上有意义的归纳过程，基于群作用和商构造，实现了严格正规相交除子。

ABSTRACT

We provide a new proof of the following result: Let $X$ be a variety of finite type over an algebraically closed field $k$ of characteristic 0, let $Z\subset X$ be a proper closed subset. There exists a modification $f:X_1 ar X$, such that $X_1$ is a quasi-projective nonsingular variety and $Z_1 = f^{-1}(Z)_ ed$ is a strict divisor of normal crossings. Needless to say, this theorem is a weak version of Hironaka's well known theorem on resolution of singularities. Our proof has the feature that it builds on two standard techniques of algebraic geometry: semistable reduction for curves, and toric geometry. Another proof of the same result was discovered independently by F. Bogomolov and T. Pantev. The two proofs are similar in spirit but quite different in detail.

研究动机与目标

• 为代数闭域上特征零的代数簇提供 Hironaka 奇异点解耦定理的新证明，该证明具有几何动机。
• 证明可通过半稳定约化和扇形几何实现解耦，而无需依赖 Hironaka 原始的归纳技术。
• 通过使用 $G$-严格扇形嵌入和商构造，建立典范解耦过程。
• 识别一个几何上有意义的函数 $M$，其界定了解耦方法在特征 $p$ 下仍有效的范围。
• 探讨该方法在正特征下的局限性，特别是关于群作用和商奇异点的问题。

提出的方法

• 通过维数归纳，将问题约化为在 $\mathbb{P}^{d-1}$ 上的相对纤维化，相对维数为 1。
• 通过伽罗瓦变换 $X' \to X$ 应用半稳定约化，其中基变换 $B \to \mathbb{P}^{d-1}$ 的伽罗瓦群为 $G$，确保判别分支为 $G$-严格的正规相交除子。
• 进行辅助爆破，使 $X'$ 上的 $G$-作用成为扇形结构，从而使商 $X'/G$ 成为扇形结构。
• 利用 [KKMS] 中的定理 11*，对商映射 $X'/G \to X$ 应用典范扇形解耦，得到非奇异的修改。
• 通过形式完成和赋值理论，证明在自同构下零点阶数的不变性，确保群轨道上扇形结构的一致性。
• 建立解耦是非典范的，但保持了 $X$ 的光滑部分中曲线邻域的光滑性。

实验结果

研究问题

• RQ1 能否仅通过半稳定约化和扇形几何实现奇异点解耦，而无需使用 Hironaka 的原始工具？
• RQ2 在正特征下，什么条件能保证 $G$-等变扇形嵌入的商仍为扇形结构？
• RQ3 是否存在一个几何上有意义的函数 $M$，其界定了解耦方法在特征 $p$ 下仍有效的范围？
• RQ4 能否使解耦过程在有限群作用下保持等变，特别是当 $p$ 整除 $|G|$ 时？
• RQ5 伽罗瓦群 $G$ 的阶与一族代数簇中相对亏格和除子次数之间有何关系？

主要发现

• 本文通过半稳定约化和扇形几何，为 Hironaka 解耦定理提供了新证明，且该证明在特征零下成立。
• 解耦是非典范的，但在 $X$ 的光滑部分中曲线的邻域内保持光滑，从而在这些曲线上实现局部同构。
• 在辅助爆破后，商 $X'/G$ 成为扇形结构，使得可通过 [KKMS] 中的定理 11* 应用典范扇形解耦。
• 在正特征 $p$ 下，当 $p$ 整除伽罗瓦群 $G$ 的阶时，该证明失效，因为幂幺群作用会阻止形成扇形商。
• 存在一个几何上有意义的函数 $M$，在任意有界族上均有界，使得当 $p > M([X \supset Z])$ 时，该证明成立，从而为方法的有效性提供了依赖于特征的界限。