[论文解读] Weights on cohomology, invariants of singularities, and dual complexes

Donu Arapura, Parsa Bakhtary+1 more|arXiv (Cornell University)|Feb 21, 2011

Algebraic Geometry and Number Theory参考文献 15被引用 5

一句话总结

本文通过德利涅的上同调权过滤，引入了奇点的基于权重的不变量，证明了其解析解消的例外除子上同调中权为零部分的维数等于其对偶复形的贝蒂数。关键贡献在于对上同调中权空间的普遍界，改进了早期结果，并证明对于孤立的有理奇点和科恩-麦克aul伊奇点，其对偶复形的高阶贝蒂数为零，从而表明其有理同伦型为球面的楔积。

ABSTRACT

In this paper, we extract natural invariants of a singularity by using the Deligne weight filtration on the cohomology of an exceptional fibre of a resolution, and also on the intersection cohomology of the link. Our primary goal is to study and give natural bounds on the weights in terms of direct images of differential forms. These bounds can be made explicit for various standard classes such as rational, isolated normal Cohen-Macaulay and toroidal singularities, and lead to strong restrictions on the topology of these singularities. A secondary goal of this paper is to make the weight filtration, and related constructions, more widely accessible. So we have tried to make the presentation somewhat self contained. This is supersedes our earlier preprint arXiv:0902.4234.

研究动机与目标

• 通过解析解消的例外纤维上同调的德利涅权过滤，发展奇点的不变量。
• 建立纤维和奇点链上同调中权空间维数的上界。
• 将对偶复形的同伦不变性推广至孤立奇点和简单交叉除数之外的情形。
• 证明对于有理奇点和科恩-麦克aul伊奇点，其对偶复形的高阶贝蒂数为零，从而表明其为球面楔积的有理同伦型。

提出的方法

• 利用解析解消的例外除子上同调中的德利涅权过滤，通过权为零部分定义不变量。
• 应用公式 $ W_0(H^i(D, \mathbb{C})) = H^i(\Sigma_D, \mathbb{C}) $，将权为零的上同调识别为对偶复形的上同调。
• 运用弱因子分解和爆破技巧，证明在正规双有理映射下，对偶复形的同伦不变性。
• 利用分解定理，将奇点链的不变量与纤维的不变量关联，将结果推广至交上同调。
• 应用精细因子分解定理（7.6, 7.7），将同伦不变性推广至非孤立奇点和非除子性纤维。
• 通过连续爆破构造对偶复形上的相容形变收缩，证明嵌套复形之间的同伦等价。

实验结果

研究问题

• RQ1 解析解消的对偶复形的同伦型是否仅依赖于补集的双有理类？
• RQ2 上同调上的权过滤能否为奇点（尤其是有理奇点和科恩-麦克aul伊奇点）提供强拓扑不变量？
• RQ3 能否以纤维上同调为基准，对 $ W_j(H^i(f^{-1}(y), \mathbb{C})) $ 的维数施加上界？
• RQ4 孤立有理奇点的解析解消的对偶复形是否总是可缩的？是否存在仍能捕捉其拓扑的弱不变量？
• RQ5 对于托罗伊德或科恩-麦克aul伊奇点，不变量 $ w^i_j(y) = \dim W_j(H^i(f^{-1}(y), \mathbb{C})) $ 的行为如何？

主要发现

• 权为零的上同调维数 $ \dim W_0(H^i(f^{-1}(y), \mathbb{C})) $ 等于对偶复形 $ \Sigma_{f^{-1}(y)} $ 的第 $ i $ 个贝蒂数，从而为奇点提供了一个拓扑不变量。
• 对于孤立的正规科恩-麦克aul伊奇点 $ (Y,y) $，当 $ 0 < i < \dim Y - 1 $ 时，不变量 $ w^i_0(y) $ 为零，表明对偶复形具有球面楔积的有理同伦型。
• 对于托罗伊德奇点，当 $ j < i/2 $ 且 $ i > 0 $ 时，有 $ w^i_j(y) = 0 $，表明高阶权空间有强消失性。
• 除子 $ E \subset X $ 的解析解消的对偶复形的同伦型仅依赖于 $ X \setminus E $ 的正规双有理类，将早期结果推广至非孤立奇点。
• 不变量 $ w^i_j(y) $ 的上界由沿纤维的 $ p $-形式的 $ (i-p) $-阶上同调之和给出（其中 $ p \leq j $），从而提供了一个普遍的上同调上界。
• 孤立有理奇点的解析解消的对偶复形具有平凡的高阶贝蒂数，从而证实了斯坦波夫猜想的一个较弱形式。