[论文解读] Resolving 3-dimensional toric singularities

Dimitrios I. Dais|ArXiv.org|Oct 25, 2001

Commutative Algebra and Its Applications参考文献 43被引用 15

一句话总结

本文提出了一种通过格点剖分与toric爆破实现3维toric奇点解析的构造性、组合方法，重点研究通过格点三角剖分实现的crespant、投影解析。研究证明所有2^k种crespant解析均源于对特定格点多边形剖分完成盒对角线，且证明了仅含普通双点的唯一终端化存在，从而在toric设定下完成了crespant解析的完整分类。

ABSTRACT

This paper surveys, in the first place, some basic facts from the classification theory of normal complex singularities, including details for the low dimensions 2 and 3. Next, it describes how the toric singularities are located within the class of rational singularities, and recalls their main properties. Finally, it focuses, in particular, on a toric version of Reid's desingularization strategy in dimension three

研究动机与目标

• 为3维toric奇点提供一种完整、算法化的crespant、投影解析分类。
• 在三维情形下建立Reid解析策略的toric版本，采用离散几何与组合技术。
• 证明给定toric奇点的所有2^k种可能crespant解析均源于对特定格点多边形剖分完成盒对角线。
• 证明存在唯一一个仅含普通双点且允许crespant、投影解析的3维toric三叉簇奇点的终端化。

提出的方法

• 该方法从具有Gorenstein、3维锥的奇异toric簇出发，沿1维子簇进行一系列T-等变、crespant、投影爆破。
• 利用格点多边形及其内点的组合结构，定义初始多边形的逐次剖分，通过内格点凸包生成新的中心锥。
• 该构造依赖于多边形剖分的格点三角剖分分类，其中每种盒对角线完成方式对应一种不同的crespant解析。
• 通过ampelness准则（定理3.3）验证所得双有理态射的投影性，确保所有解析均为投影的。
• 该方法系统地分阶段应用爆破过程，每步对应于沿射线的扇形结构星形剖分。
• 整个过程基于锥的几何、对偶格点与对偶半群的Hilbert基之间的相互作用，对例外除子实现显式控制。

实验结果

研究问题

• RQ1 如何利用组合数据系统地构造3维toric奇点的所有crespant、投影解析？
• RQ2 中心格点多边形（定义为初始多边形内点的凸包）在解析过程中起什么作用？
• RQ3 所有2^k种可能的crespant解析是否均可通过盒对角线完成的三角剖分实现，且是否均为投影的？
• RQ4 是否存在一个唯一的3维toric奇点终端化，其仅含普通双点并允许crespant解析？
• RQ5 超平面截面的Laufer-Reid不变量与奇点的嵌入维数有何关系？

主要发现

• 所有2^3 = 8种crespant、投影、完整解析均源于对图4中最终多边形剖分完成盒对角线。
• toric三叉簇奇点Z_τ_P的终端化是唯一的，且仅含普通双点。
• 奇点U_σ的嵌入维数为14，一般超平面截面的Laufer-Reid不变量为13，计算为edim - 1。
• 解析过程完全构造性且组合化，依赖于扇形中沿1维子簇的连续toric爆破，每步均保持crespant性与投影性。
• 所有结果双有理态射的投影性由ampelness准则（定理3.3）保证，确保所有解析均为投影的。
• 该方法通过显式格点三角剖分实现了所有2^k种可能的crespant解析，为该类奇点提供了完整分类。