[论文解读] The dual complex of singularities

Tommaso de Fernex, Janós Kollár+1 more|arXiv (Cornell University)|Dec 7, 2012

Algebraic Geometry and Number Theory参考文献 41被引用 19

一句话总结

该论文通过dlt修正，为具有Q-柯里 canonical 类的孤立奇点建立了唯一（模分段线性同胚）的规范、良定义的对偶复形。证明了该最小对偶复形（DMR）是奇点的拓扑不变量，且所有与解析相关的对偶复形均与之同伦等价或坍缩至它，推广了关于有理连通簇族中对偶复形可缩性的结果。

ABSTRACT

The dual complex of a singularity is defined, up-to homotopy, using resolutions of singularities. In many cases, for instance for isolated singularities, we identify and study a "minimal" representative of the homotopy class that is well defined up-to piecewise linear homeomorphism. This is derived from a more global result concerning dual complexes of dlt pairs. As an application, we also show that the dual complex of a log terminal singularity as well as the one of a simple normal crossing degeneration of a family of rationally connected manifolds are contractible.

研究动机与目标

• 为孤立奇点定义一个与解析选择无关的规范、最小代表对偶复形。
• 证明当 canonical 类为Q-柯里时，该最小对偶复形（DMR）在分段线性同胚下是良定义的。
• 证明所有来自解析的对偶复形均与最小者同伦等价，且在Q-因子性条件下坍缩至它。
• 将这些结果推广至有理连通簇族，并证明此类情形下对偶复形的可缩性。

提出的方法

• 作者使用dlt修正——即满足对偶对 (Y, E) 为除子对数极小，且 K_Y + E 在 X 上为拟有效（nef）的射影、双有理态射——作为构造最小对偶复形的关键工具。
• 他们证明：对于dlt对 (X, Δ)，snc除数 E = Supp(g⁻¹(Δ^{=1})) 的对偶复形与 log 极小中心 Δ^{=1} 的并的对偶复形同伦等价。
• 主要技术工具是一个整体定理：在适当假设下，解析下总拉回 Δ^{=1} 的对偶复形与 Δ^{=1} 本身的对偶复形同伦等价。
• 他们引入了商-对数极小（qdlt）对的类，该类在法诺收缩下保持不变，并允许提取具有亏格 −1 的除子。
• 他们应用极小模型程序（MMP）将问题约化至法诺纤维化，通过维数归纳法证明对偶复形的可缩性。
• 他们利用拟代数几何方法在局部构造dlt修正，并将其整体延拓，确保与对偶复形结构相容。

实验结果

研究问题

• RQ1 能否为奇点的对偶复形定义一个与解析选择无关的规范、最小代表？
• RQ2 任何孤立Q-柯里奇点的解析对偶复形是否都与该最小代表同伦等价？
• RQ3 在Q-因子性条件下，对偶复形是否坍缩至最小代表？
• RQ4 在何种条件下，有理连通簇族退化情形下的对偶复形是可缩的？
• RQ5 商-dlt对与 log 极小中心及对偶复形的结构有何关系？

主要发现

• 对于复数域上任意孤立奇点 (0 ∈ X)，若 K_X 为Q-柯里，则在dlt修正中例外除子的对偶复形在分段线性同胚下唯一，构成规范不变量 DMR(0 ∈ X)。
• 所有由此类奇点的解析产生的对偶复形均与 DMR(0 ∈ X) 同伦等价，确立了奇点的拓扑不变量。
• 若 X 为Q-因子且解析在奇点外为同构，则对偶复形坍缩至 DMR(0 ∈ X)，其等价性强于同伦等价。
• 对于具有有理连通一般纤维和qdlt总空间的族 f: X → (0 ∈ C)，中心纤维的对偶复形是可缩的。
• qdlt对中 Δ^{=1} 的对偶复形在法诺收缩下保持不变，且此类族中中心纤维的对偶复形通过归纳法可缩。
• dlt对 (X, Δ) 的对偶复形与 Δ^{=1} 的对偶复形同伦等价，且当 Δ^{=1} 为Q-柯里时坍缩至它。