Injectivity and Vanishing for the Du Bois Complexes of Isolated Singularities

技術的サマリー：孤立特異点に対するデュ・ボワ複体の単射性と消滅

問題提起
本論文は、次元 $n$ の複素代数多様体 $X$ に関連する、$\Omega^k_X$ と表記されるデュ・ボワ複体のホモロジー的性質を取り扱います。コホモロジー層 $H^i\Omega^k_X$ の台は $[0, n]$ の範囲内に存在することが知られており、Steenbrink による古典的な結果により $i > n-k$ において $H^i\Omega^k_X = 0$ が成り立つことが確立されていますが、残りの範囲におけるコホモロジーの振る舞いは十分に理解されていません。具体的には、著者らは高次コホモロジーが消滅する条件（消滅定理）と、これらの複体の双対の単射性について調査します。主な焦点は、超曲面や局所完全交叉（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. 射影的場合への還元: コンパクト化と問題の局所的性質を利用することで、著者らは一般の場合を射影多様体の場合に還元します。多様体が大域的に pre-$(k-1)$-Du Bois であるが、有限個の点を除いてのみ pre-$k$-Du Bois であるという、より強い命題を証明します。
4. ホモロジー代数: 証明は、導来圏における完全三角形、導来圏における深さの性質、および局所コホモロジー次元と層の深さとの関係に大きく依存しています。
5. 交差複体: 論文の第 2 部において、著者らは混合ホッジ加群の理論、特に定数ホッジ加群 $\mathbb{Q}^H_X[n]$ と交差複体 $IC^H_X$ の間の関係を利用し、交差デュ・ボワ複体（$I\Omega^k_X$）に対する類似の結果を確立します。

主要な貢献と結果

1. 孤立特異点に対する単射性定理（定理 D）
本論文は、デュ・ボワ複体の双対のコホモロジーに対する基本的な単射性の結果を確立します。

• 定理: $X$ を孤立した pre-$(k-1)$-Du Bois 特異点を持つ多様体とします。このとき、写像
  $$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)$$
  はコホモロジーにおいて単射です。
• 意義: これは、$k=0$ に対する Kovács-Schwede による単射性定理および任意の $k$ に対する LCI 多様体に関する結果を、任意の孤立特異点の場合に一般化したものです。特に、右辺において $\Omega^k_X$ ではなく $H^0\Omega^k_X$ を用いる定式化が採用されています。これは、非 LCI の場合、pre-$(k-1)$-Du Bois の仮定の下で $\Omega^k_X$ が必ずしも適切に振る舞わないため必要となります。

2. 消滅定理（定理 A および系 B）
単射性の結果を用いて、著者らはデュ・ボワ複体のコホモロジーに関する消滅命題を導き出します。

• 定理 A: $X$ が孤立した pre-$(k-1)$-Du Bois 特異点を持つならば、次が成り立ちます：
  $$H^i\Omega^k_X = 0 \quad \text{for} \quad 0 < i < \text{depth } H^0\Omega^k_X - 1.$$
  これは、0 次コホモロジー層の深さに基づいた具体的な消滅の範囲を提供します。
• 系 B: $X$ が次元 $s$ の閉集合を除いて（pre-）Du Bois であるならば、次が成り立ちます：
  $$H^i\Omega^0_X = 0 \quad \text{for} \quad 0 < i < \text{depth } \mathcal{O}_X - s - 1.$$
  これは、$k=0$ に対する Steenbrink の結果を任意の特異点集合に対して拡張したものです。

3. 「スライド」消滅則（命題 C）
著者らは、シンプルながら以前は注目されていなかった規則を特定しました：すべての $p \le k-1$ に対して $H^{n-p-1}\Omega^p_X = 0$ ならば、$H^{n-k}\Omega^k_X = 0$ です。これにより、異なる次数にわたって消滅結果が伝播することが可能になります。

4. 有理特異点への応用
単射性定理は、孤立の場合において $k$-有理特異点が $k$-Du Bois 特異点を意味することを簡潔に証明するものとなります。これは 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$ for $0 < i < \text{depth } H^0 I\Omega^k_X - s - 1$。

6. 非消滅の例と限界
本論文は、局所完全交叉に対する消滅結果が、特定の深さの条件なしには任意の Cohen-Macaulay 多様体や一般的な孤立特異点へ自動的に拡張されないことを示す反例（例 7.8, 7.9, 7.11）を提供します。これらの例は、$H^0\Omega^k_X$ の深さが、次元と余次元のみから予測される範囲よりも厳密に小さい可能性があることを浮き彫りにします。

予想
著者らは、一般（非孤立）の場合に対する 2 つの主要な予想を提案します：

• 予想 G: 単射性定理（定理 D）は、孤立特異点の仮定なしに、pre-$(k-1)$-Du Bois 特異点を持つ多様体に対して成り立つ。
• 予想 H: 消滅定理（定理 A）は、次元 $s$ の閉集合を除いて pre-$(k-1)$-Du Bois かつ pre-$k$-Du Bois である多様体に対して成り立つ。

意義と主張
本論文は、必ずしも局所完全交叉ではない孤立特異点の文脈における、デュ・ボワ複体に対する単射性と消滅の最初の体系的な扱いを提供すると主張します。焦点を $H^0\Omega^k_X$ の深さに移し、双対写像の単射性を利用することで、著者らはこれらの複体のホモロジー的振る舞いに対する洗練された理解を提供します。結果は、よく理解されている LCI 場合と一般的な特異点の場合との間の架け橋として機能し、提供された反例はこれらの消滅定理の境界を明確にします。また、この研究は、提案された予想を通じて非孤立特異点への将来の調査の基礎を築いています。