Local Cohomological Defect and a Conjecture of Mustata-Popa

技术摘要：局部上同调缺陷与 Mustat¸˘a-Popa 猜想

问题陈述
本文研究了“局部上同调缺陷”（local cohomological defect, $lcdef$），这是一种针对复代数簇的奇异性不变量，由于其拓扑与全纯特征以及在 Lefschetz 型定理中的作用，近期受到了广泛关注。对于一个嵌入在 $d$ 维光滑簇 $Y$ 中的 $n$ 维复代数簇 $X$，$lcdef(X)$定义为$\max{q : H^q_X(\mathcal{O}_Y) \neq 0} - c$，其中$c = d-n$。

Mustat¸˘a 和 Popa [MP22] 建立了一个核心公式，将 $lcdef(X)$ 表示为 Du Bois 复形 $\Omega^p_X$ 的深度（depth）之和：
$$lcdef(X) = n - \min_{0 \le p \le n} \{ \text{depth } \Omega^p_X + p \}.$$
虽然该公式独立于嵌入方式，但要预先计算它，需要确定所有 $p \le n$ 的 $\text{depth } \Omega^p_X$。之前的研究结果（如 Ogus [Og73] 和 Dao-Takagi [DT16]）表明，对于较小的 $k$ 值（具体为 $k \le 3$），条件 $\text{depth } \mathcal{O}_X \ge k$ 会推导出 $lcdef(X) \le n-k$。然而，这一模式在 $k > 3$ 时失效了。本文旨在：

1. 确定计算 $lcdef(X)$所需的最小$p$ 范围。
2. 证明 Mustat¸˘a-Popa 关于对数微分形式的高阶直接像消失性的猜想。
3. 提供一个用于限定 $lcdef(X)$ 的精细判据，以扩展 Dao-Takagi 以及 Park-Popa [PP25] 已有的结果。

方法论
本文的基础是混合 Hodge 模（mixed Hodge modules）理论（Saito [Sa88, Sa90]）。其核心技术方法是将 Du Bois 复形与平凡 Hodge 模 $\mathbb{Q}^H_X[n]$ 的分次 de Rham 片段进行识别。

关键方法步骤包括：

• 复形的识别： 利用 Saito 的结果 $\Omega^p_X \cong \text{gr}^F_{-p} DR(\mathbb{Q}^H_X[n])[p-n]$。这使得可以将关于 Du Bois 复形的深度问题转化为关于混合 Hodge 模的分次 de Rham 片段的消失性问题。
• 权重过滤分析： 证明过程利用了混合 Hodge 模上的权重过滤 $W_\bullet$。具体而言，本文分析了“RHM-缺陷”对象 $K^\bullet_X$，该对象是通过涉及交截上同调 Hodge 模 $IC^H_X$ 的 distinguished triangle 定义的。一个关键观察是，虽然 $\mathbb{Q}^H_X[n]$ 不具备必要的权重界限，但缺陷对象 $K^\bullet_X$（及其对偶）满足特定的权重约束（分别为 $\le n-1$ 和 $\ge -n+1$）。
• 谱序列论证： 作者采用了将分次 de Rham 片段的上同调与底层模的上同调联系起来的谱序列。一个关键的技术引理（Proposition 6.5）建立了一个抽象的消失性陈述：如果分次 de Rham 片段在低指数 $p \le m$ 且高上同调次数 $j \ge c$ 时消失，那么它们在对称范围的高指数 $p \ge -c - m - w$ 处也必然消失，前提是该模具有权重 $\ge w$。
• 亏格函数（Perversity Functions）： 本文引入了一族由整数 $0 \le d \le n$ 参数化的“亏格缺陷”（perversity defects）$pdef(X, d)$。这些函数泛化了$lcdef(X)$（对应于中间亏格$d=n$）和构造亏格（constructible defect，零亏格 $d=0$）。它们通过 Whitney 分层中各点的小穿孔邻域的上同调来解释。

主要贡献与结果

1. 计算约简（定理 A）：
   本文证明，要确定是否 $lcdef(X) \le n-k$，并不需要检查所有的 $p$。只需检查对于 $p \le \lceil (k-3)/2 \rceil$ 是否满足 $\text{depth } \Omega^p_X + p \ge k$ 即可。

   • 意义： 这恢复并略微扩展了 Ogus 和 Dao-Takagi 在 $k \le 3$ 时的结果，并解释了为什么仅涉及 $\text{depth } \mathcal{O}_X$ 的简单模式在 $k > 3$ 时会失效。

2. 一般深度传播（定理 B）：
   一个更一般的结论指出，如果对于所有 $p \le m$，都有 $\text{depth } \Omega^p_X + p \ge k$，那么对于所有 $p \ge k - m - 2$，该不等式同样成立。这是驱动定理 A 中约简过程的核心引擎。

3. 证明 Mustat¸˘a-Popa 猜想（推论 D）：
   本文证明了 [MP22] 中的猜想 14.1：如果 $\text{depth } \mathcal{O}_X \ge j+2$，则对于对数解析 $f: Z \to Y$，有 $R^{d-2}f_* \Omega^{d-j}_Y(\log E) = 0$。

   • 机制： 通过使用定理 B 并取 $m=0$，作者展示了 $\text{depth } \Omega^0_X \ge j+2$ 会推导出 $\text{depth } \Omega^j_X \ge 2$。由于 $\text{depth } \Omega^0_X \ge \text{depth } \mathcal{O}_X$，因此该猜想成立。这扩展了以往仅限于孤立奇异性或在有限集之外的合理奇异性的知识。

4. 通过亏格缺陷进行的精细界限（定理 F）：
   本文提供了一个关于 $lcdef(X) \le n-k$ 的充要条件，该条件泛化了 Dao-Takagi 和 Park-Popa 的准则。具体而言，$lcdef(X) \le n-k$ 当且仅当：

   • 对于固定的 $m$，对于所有 $p \le m$，都有 $\text{depth } \Omega^p_X + p \ge k$，且
   • $pdef(X, k - 2m - 4) \le n - k$。
   • 意义： 该公式通过引入测量相对于特定亏格函数的穿孔邻域上同调的项——即亏格缺陷项，捕捉到了 $k > 3$ 时简单深度模式的“失效”。

5. 特定情况的显式公式：

   • 推论 7.11（定理 E）： 如果 $X$ 满足对于 $p \le m-1$，$\text{depth } \Omega^p_X + p \ge n$，且 $\text{depth } \Omega^m_X \le m+3$，那么 $lcdef(X)$可由$\max{0, n - \text{depth } \Omega^m_X - m}$ 显式确定。
   • 推论 8.5： 对于偶数 $k$， $lcdef(X) \le n-k$ 等价于对于 $p \le (k-4)/2$，有 $\text{depth } \Omega^p_X + p \ge k$，且构造亏格 $cdef(X) \le n-k$。

重要性与主张
本文声称通过以下方式提供了 $lcdef(X)$ 的“完整图景”：

• 解释了模式 $\text{depth } \mathcal{O}_X \ge k \implies lcdef(X) \le n-k$ 在 $k > 3$ 时失效的原因。
• 在全泛型情形下证明了 Mustat¸˘a-Popa 猜想，移除了之前对 $X$ 的奇异性限制。
• 使用混合 Hodge 模和亏格缺陷提供了一个统一的框架，涵盖并改进了现有的界限（特别是 Ogus、Dao-Takagi 和 Park-Popa 的结果）。
• 为 $lcdef(X)$ 的拓扑特征与全纯特征之间的等价性提供了直接解释，这是一个在 [MP22] 中提出的问题。

作者强调，他们的结果严格源自混合 Hodge 模理论，并不依赖于新的实验数据或未经验证的未来推论。这项工作被呈现为对奇异性和 Hodge 理论研究中特定开放问题的理论性解决。