[论文解读] Combinatorial structure of exceptional sets in resolutions of singularities

D. A. Stepanov|ArXiv.org|Nov 29, 2006

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

一句话总结

本文研究代数几何中奇点解析相关联的对偶复形的同伦型。通过环面嵌入与组合剖分技术，证明了三维终端奇点及Brieskorn奇点的对偶复形是同伦平凡的。关键贡献在于确立了此类奇点的任意良好解析中，对偶复形同伦等价于一点，意味着中间同调群平凡。

ABSTRACT

The dual complex can be associated to any resolution of singularities whose exceptional set is a divisor with simple normal crossings. It generalizes to higher dimensions the notion of the dual graph of a resolution of surface singularity. The homotopy type of the dual complex does not depend on the choice of a resolution and thus can be considered as an invariant of singularity. In this preprint we show that the dual complex is homotopy trivial for resolutions of 3-dimensional terminal singularities and for resolutions of Brieskorn singularities. We also review our earlier results on resolutions of rational and hypersurface singularities.

研究动机与目标

• 理解高维奇点解析相关联的对偶复形的拓扑结构。
• 确定三维终端奇点的解析对偶复形是否同伦平凡。
• 将先前关于有理奇点与超曲面奇点的结果推广至更广的类，包括Brieskorn奇点。
• 建立解析的组合结构与对偶复形同伦型之间的联系。
• 通过环面嵌入与剖分技术，提供一种无需完整解析计算即可分析对偶复形的一般框架。

提出的方法

• 将对偶复形 Δ(Z) 构造为良好解析 f: Y → X 中例外除子 Z 的简单法线相交情形下的关联复形。
• 应用环面嵌入理论，其中双有理态射对应于与 Δ(Z) 关联的锥多面复形的剖分。
• 通过正锥 σ₊ 的Varchenko剖分，构造部分解析 Y'' ⊂ V(Σ'')，确保所得复形 Δ(Z'') 同伦等价于完整对偶复形 Δ(Z)。
• 利用性质 (R) 确保扇 Σ'' 中的所有锥均为单体，且可在 σ₊ 内部添加新射线而不改变同伦型。
• 通过其拓扑结构分析对偶复形 Δ(Z'')：对于Brieskorn奇点，Δ(Z'') 为一点，意味着 Δ(Z) 同伦等价于一点。
• 由于同伦型在剖分下保持不变，因此可使用更简单的部分解析来推断全局拓扑性质。

实验结果

研究问题

• RQ1 三维终端奇点的良好解析的对偶复形是否同伦等价于一点？
• RQ2 Brieskorn奇点的对偶复形是否无论何种解析，其同伦型均平凡？
• RQ3 能否仅通过组合数据确定对偶复形的同伦型，而无需计算完整解析？
• RQ4 Varchenko剖分与环面嵌入理论在简化对偶复形分析中起何作用？
• RQ5 满足性质 (R) 的非退化超曲面奇点的对偶复形中间同调群如何表现？

主要发现

• 任意三维终端奇点的良好解析的对偶复形 Δ(Z) 同伦等价于一点。
• 由 x₀^a₀ + ⋯ + xₙ^aₙ = 0 定义的Brieskorn奇点，其对偶复形 Δ(Z) 同伦等价于一点，与解析方式无关。
• 在满足性质 (R) 的非退化孤立超曲面奇点中，中间同调群 Hₖ(Δ(Z), ℤ) 在 0 < k < n−1 时为零。
• 对偶复形 Δ(Z) 同伦等价于 Δ(Z'')，其中 Z'' 来自使用Varchenko剖分的部分解析，从而简化了拓扑分析。
• Brieskorn奇点的复形 Δ(Z'') 仅由一个顶点构成，确认 Δ(Z) 是可缩的。
• Δ(Z) 的同伦型在环面子剖分下保持不变，使得可通过组合扇形推导出拓扑不变量。