Local Cohomological Defect and a Conjecture of Mustata-Popa

技術的要約：局所コホモロジー欠損とMustat¸˘a-Popaの予想

問題設定
本論文は、複素代数多様体の特異点不変量であり、その位相的およびホロモーフィックな特徴付けやレフシェッツ型の定理における役割から近年関心を集めている「局所コホモロジー欠陥（local cohomological defect, $lcdef$）」を研究している。次元$n$の複素代数多様体$X$が次元$d$の滑らかな多様体$Y$に埋め込まれているとき、$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. Dao-TakagiおよびPark-Popa [PP25] の結果を拡張する、 $lcdef(X)$ を抑え込むための精緻化された判定基準を提供すること。

手法
本論文は、根本的に混合ホッジ加群（mixed Hodge modules）（Saito [Sa88, Sa90]）の理論に基づいている。核心となる技術的手法は、Du Bois複体を自明なホッジ加群 $\mathbb{Q}^H_X[n]$ の次数付きde Rham成分として特定することである。

主な手法ステップは以下の通りである：

• 複体の特定： $\Omega^p_X \cong \text{gr}^F_{-p} DR(\mathbb{Q}^H_X[n])[p-n]$ というSaitoの結果を利用する。これにより、Du Bois複体の深さに関する問いを、混合ホッジ加群の次数付きde Rham成分に関する消滅に関する問いへと翻訳することが可能になる。
• ウェイト・フィルトレーションの解析： 本論文は、混合ホッジ加群上のウェイト・フィルトレーション $W_\bullet$ を活用する。具体的には、「RHM欠損（RHM-defect）」対象 $K^\bullet_X$ を、交差コホモロジーホッジ加群 $IC^H_X$ を含む区分的三角形を通じて定義し、その解析を行う。重要な観察として、$\mathbb{Q}^H_X[n]$ は必要なウェイト境界を満たさないが、欠損対象 $K^\bullet_X$ （およびその双対）は特定のウェイト制約（それぞれ $\le n-1$ および $\ge -n+1$）を満たすことが挙げられる。
• スペクトル系列の議論： 次数付きde Rham成分のコホモロジーと、基礎となる加群のコホモロジーを関連付けるスペクトル系列を用いる。主要な技術的補題（Proposition 6.5）は、抽象的な消滅の言明を確立している：もし次数付きde Rjam成分が低い指数 $p \le m$ および高いコホモロジー次数 $j \ge c$ で消滅する場合、加群がウェイト $w$ 以上を持つならば、それらは対称的な範囲の高い指数 $p \ge -c - m - w$ においても消滅しなければならない。
• パーバーシティ関数（Perversity Functions）： 本論文では、整数 $0 \le d \le n$ でパラメータ化された「パーバーシティ欠損（perversity defects）」$pdef(X, d)$の族を導入する。これらは$lcdef(X)$（これは中間パーバーシティ$d=n$ に対応する）や構成的欠損（constructible defect, パーバーシティ $d=0$）を一般化したものである。これらは、Whitney層化における点の小さな穴あき近傍のコホモロジーを通じて解釈される。

主要な貢献と結果

1. 計算の簡約化（Theorem A）：
   本論文は、$lcdef(X) \le n-k$ を判定するために、すべての $p$ をチェックする必要はないことを証明している。$p \le \lceil (k-3)/2 \rceil$ に対してのみ条件 $\text{depth } \Omega^p_X + p \ge k$ をチェックすれば十分である。

   • 意義： これは $k \le 3$ におけるOgusおよびDao-Takagiの結果を回収し、わずかに拡張するものであり、なぜ $\text{depth } \mathcal{O}_X$ のみの単純なパターンが $k > 3$ で失敗するのかを説明している。

2. 一般的な深さの伝播（Theorem B）：
   より一般的な結果として、もしすべての $p \le m$ に対して $\text{depth } \Omega^p_X + p \ge k$ ならば、同じ不等式はすべての $p \ge k - m - 2$ に対しても成立すると述べている。これがTheorem Aにおける簡約化を駆動するエンジンである。

3. Mustat¸˘a-Popa予想の証明（Corollary D）：
   本論文は、[MP22] のConjecture 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$ である。

   • メカニズム： $m=0$ を用いたTheorem Bにより、$\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. パーバーシティ欠損による精緻化された境界（Theorem F）：
   本論文は、Dao-TakagiおよびPark-Popaの判定基準を一般化する、$lcdef(X) \le n-k$ の必要十分条件を提供する。具体的には、$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. 特定ケースの明示的な公式：

   • Corollary 7.11 (Theorem 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}$ によって明示的に決定される。
   • Corollary 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$ で失敗することを説明している。
• $X$ の特異性に関する従来の制限を取り除き、Mustat¸˘a-Popa予想を全般にわたって証明している。
• 混合ホッジ加群とパーバーシティ欠損を用いた統一的な枠組みを提供し、既存の境界（特にOgus, Dao-Takagi, Park-Popaによるもの）を包含し改善している。
• [MP22] で提起された問題である、$lcdef(X)$ の位相的特徴付けとホロモーフィックな特徴付けの間の等価性を直接的に説明している。

著者らは、これらの結果が混合ホッジ加群の理論から厳密に導出されたものであり、新しい実験的データや未証明の将来的な含意には依存していないことを強調している。本研究は、特異点およびホッジ理論の研究における特定の未解決問題に対する理論的な解決策として提示されている。