Injectivity and Vanishing for the Du Bois Complexes of Isolated Singularities

技术摘要：孤立奇点杜布瓦复形的单射性与消失性

问题陈述
本文探讨了与 $n$ 维复代数簇 $X$ 相关的杜布瓦复形（记为 $\Omega^k_X$）的同调性质。虽然已知上同调层 $H^i\Omega^k_X$ 的支撑位于区间 $[0, n]$ 内，且 Steenbrink 的一个经典结果确立了 $H^i\Omega^k_X = 0$ 在 $i > n-k$ 时成立，但剩余范围内上同调的行为尚不明确。具体而言，作者研究了高阶上同调消失（消失定理）的条件以及这些复形对偶的单射性质。研究的主要焦点是具有孤立奇点的簇，将此前已知于超曲面和局部完全交（LCI）的结果推广到这一更广泛的设定中。该研究还探讨了交复形的类比，并针对非孤立情形提出了猜想。

方法论
作者结合了霍奇理论技术、导出范畴论证和对偶理论。

1. 霍奇至德拉姆谱序列：核心工具是射影簇的霍奇至德拉姆谱序列在 $E_1$ 项的退化。这使得作者能够将杜布瓦复形的上同调与常值层的上同调联系起来。
2. 对偶化与单射性：核心技术策略涉及分析通过对偶化典范映射 $H^0\Omega^k_X \to \Omega^k_X$ 所得到的态射。具体而言，作者在导出范畴中研究了如下映射：
   $$R\text{Hom}_{\mathcal{O}_X}(\Omega^k_X, \omega^\bullet_X) \to R\text{Hom}_{\mathcal{O}_X}(H^0\Omega^k_X, \omega^\bullet_X)$$
   其中 $\omega^\bullet_X$ 是对偶化复形。
3. 归约至射影情形：通过利用紧化及问题的局部性质，作者将一般情形归约至射影簇。他们证明了一个更强的命题：簇在全局上是预 $(k-1)$-杜布瓦的，但在除去有限个点后仅是预 $k$-杜布瓦的。
4. 同调代数：证明严重依赖导出范畴中的正合三角、导出范畴中深度的性质，以及局部上同调维数与层深度之间的关系。
5. 交复形：对于论文的第二部分，作者利用混合霍奇模理论，特别是常值霍奇模 $\mathbb{Q}^H_X[n]$ 与交复形 $IC^H_X$ 之间的关系，建立了交杜布瓦复形（$I\Omega^k_X$）的类比结果。

主要贡献与结果

1. 孤立奇点的单射定理（定理 D）
本文确立了杜布瓦复形对偶的上同调的一个基本单射结果。

• 定理：设 $X$ 是具有孤立预 $(k-1)$-杜布瓦奇点的簇。则态射
  $$R\text{Hom}_{\mathcal{O}_X}(\Omega^k_X, \omega^\bullet_X) \to R\text{Hom}_{\mathcal{O}_X}(H^0\Omega^k_X, \omega^\bullet_X)$$
  在上同调上是单射。
• 意义：这将 Kovács-Schwede 针对 $k=0$ 的先前单射定理以及针对 LCI 簇（针对任意 $k$）的结果推广到了任意孤立奇点的情形。值得注意的是，该表述在右侧使用了 $H^0\Omega^k_X$ 而非凯勒微分形式层 $\Omega^k_X$，这是因为在非 LCI 情形下，在预 $(k-1)$-杜布瓦假设下 $\Omega^k_X$ 可能表现不佳。

2. 消失定理（定理 A 与推论 B）
利用单射结果，作者推导出了杜布瓦复形上同调的消失陈述。

• 定理 A：若 $X$ 具有孤立预 $(k-1)$-杜布瓦奇点，则：
  $$H^i\Omega^k_X = 0 \quad \text{对于} \quad 0 < i < \text{depth } H^0\Omega^k_X - 1.$$
  这基于第 0 次上同调层的深度提供了一个具体的消失界。
• 推论 B：若 $X$ 在除去一个 $s$ 维闭子集后是（预）杜布瓦的，则：
  $$H^i\Omega^0_X = 0 \quad \text{对于} \quad 0 < i < \text{depth } \mathcal{O}_X - s - 1.$$
  这将 Steenbrink 针对 $k=0$ 的结果推广到了任意奇点集。

3. “滑动”消失规则（命题 C）
作者发现了一条简单但此前未被注意的规则：若对所有 $p \le k-1$ 有 $H^{n-p-1}\Omega^p_X = 0$，则 $H^{n-k}\Omega^k_X = 0$。这使得消失结果能够在不同次数间传播。

4. 有理奇点的应用
单射定理提供了一个简洁的证明，表明在孤立情形下，$k$-有理奇点蕴含 $k$-杜布瓦奇点。这恢复了 LCI 簇的已知结果，并将其推广到孤立奇点，且无需依赖局部上同调上的霍奇滤过（该理论在非 LCI 情形下尚未完全发展）。

5. 交复形类比
本文建立了交杜布瓦复形（$I\Omega^k_X$）的平行结果。

• 定理 10.3：一个关于 $\Omega^k_X$ 与 $I\Omega^k_X$ 对偶的单射结果。
• 推论 11.3：在孤立奇点或 LCI 条件下，交复形的消失定理成立：$H^i I\Omega^k_X = 0$ 对于 $0 < i < \text{depth } H^0 I\Omega^k_X - s - 1$。

6. 非消失示例与局限性
本文提供了反例（示例 7.8、7.9、7.11），表明局部完全交的消失结果在没有特定深度条件的情况下，不会自动推广到任意 Cohen-Macaulay 簇或一般孤立奇点。这些示例突显了 $H^0\Omega^k_X$ 的深度可能严格小于仅由维数和余维数所预测的界。

猜想
作者针对一般（非孤立）情形提出了两个主要猜想：

• 猜想 G：单射定理（定理 D）对具有预 $(k-1)$-杜布瓦奇点的簇成立，无需孤立奇点假设。
• 猜想 H：消失定理（定理 A）对在除去一个 $s$ 维闭子集后是预 $(k-1)$-杜布瓦且预 $k$-杜布瓦的簇成立。

意义与主张
本文声称提供了在孤立奇点（不一定是局部完全交）背景下，对杜布瓦复形的单射性与消失性的首次系统性处理。通过将焦点转移到 $H^0\Omega^k_X$ 的深度并利用对偶映射的单射性，作者提供了对这些复形同调行为的更精细理解。这些结果充当了已充分理解的 LCI 情形与一般奇点情形之间的桥梁，而提供的反例则阐明了这些消失定理的边界。此外，通过提出的猜想，该工作也为未来关于非孤立奇点的研究奠定了基础。