[論文レビュー] Hodge ideals for Q-divisors, V-filtration, and minimal exponent

Mircea Mustaţă, Mihnea Popa|arXiv (Cornell University)|Jul 5, 2018

Algebraic Geometry and Number Theory参考文献 21被引用数 16

ひとこと要約

この論文は、Q-除的のホッジイデアルと超曲面に沿ったV-フィルトレーションの明確な関係を確立し、Saitoの結果を非還元の場合に一般化する。Hodgeイデアル $ I_p''(D) $ が $ \mathscr{O}_X $ 上の $ V^\alpha $-フィルトレーションを介して計算されることを示し、微分作用素と多項式 $ Q_j(\alpha) $ を含む公式を導出し、最小指数が歪みによって有界であることを証明し、LichtinおよびKollárの問いに答えている。

ABSTRACT

We explicitly compute the Hodge ideals of Q-divisors in terms of the V-filtration induced by a local defining equation, inspired by a result of Saito in the reduced case. We deduce basic properties of Hodge ideals in this generality, and relate them to Bernstein-Sato polynomials. As a consequence of our study we establish general properties of the minimal exponent, a refined version of the log canonical threshold, and bound it in terms of discrepancies on log resolutions, addressing a question of Lichtin and Kollár.

研究の動機と目的

• SaitoのホッジイデアルとV-フィルトレーションの関係を、還元された除的から一般のQ-除的へと拡張すること。
• V-フィルトレーションを用いて、Q-除的のホッジイデアルの基本的性質を確立すること。
• ホッジイデアルをBernstein-Sato多項式および最小指数と関連付けること。
• 対数的解体における歪みを用いて最小指数を有界化することにより、LichtinおよびKollárの問いに答えること。

提案手法

• 除的 $ H $ の局所的定義方程式 $ f $ によって誘導される $ \iota_+\mathscr{O}_X $ 上の $ V^\alpha $-フィルトレーションを用いる。ここで $ D = \alpha H $ である。
• 微分作用素条件 $ \sum v_j \partial_t^j \delta \in V^\alpha \iota_+\mathscr{O}_X $ を満たすある $ \mathscr{O}_X $-加群の像として $ I_p''(D) $ を定義する。
• 多項式 $ Q_j(\alpha) = \alpha(\alpha+1)\cdots(\alpha+j-1) $ を含む公式を用いて $ I_p''(D) $ を表現する。これらは一次式の積である。
• 微局所的 $ V $-フィルトレーションとBernstein-Sato多項式の理論を用いて、ホッジイデアルのジャンプをこれらの多項式の根と関連付ける。
• 混合Hodgeモジュールおよびフィルター付き $ \mathscr{D} $-モジュールの理論を用いて、$ \mathcal{M}(f^\beta) $ 及びそのフィルトレーションの構造を分析する。
• 主定理の証明における重要な代数的関係を検証するために、$ Q_j(x) $ の組合せ的恒等式を用いる。

実験結果

リサーチクエスチョン

• RQ1 Q-除的のホッジイデアルは、超曲面に沿ったV-フィルトレーションを用いてどのように表現できるか？
• RQ2 ホッジイデアルと定義方程式のBernstein-Sato多項式との間の明確な関係は何か？
• RQ3 Q-除的の最小指数は、対数的解体における歪みとどのように関係するか？
• RQ4 ホッジイデアルのジャンプ現象は $ f $ を法として検出可能か？また、これとV-フィルトレーションの関係は何か？
• RQ5 微局所的 $ V $-フィルトレーションは、非還元的Q-除的のホッジイデアルの計算において果たす役割は何か？

主な発見

• Q-除的 $ D = \alpha H $ に対して、ホッジイデアル $ I_p''(D) $ は公式 $ I_p''(D) = \left\{ \sum_{j=0}^p Q_j(\alpha) f^{p-j} v_j \ \middle|\ \sum_{j=0}^p v_j \partial_t^j \delta \in V^\alpha \iota_+\mathscr{O}_X \right\} $ で与えられ、V-フィルトレーションとの明確な関係を確立する。
• $ I_p''(D) + (f) = \widetilde{I}_p(D) + (f) $ が成り立ち、ここで $ \widetilde{I}_p(D) $ は微局所的 $ V $-フィルトレーションイデアルである。これはホッジイデアルが $ f $ を法として決定されることを示している。
• 最小指数 $ \widetilde{\alpha}_D $ に対して $ \widetilde{\alpha}_D \geq \min\{ \alpha_E \mid E \text{ は対数的解体における例外的除的} \} $ が成り立ち、歪みを用いて有界化されている。
• もし $ I_p(\alpha Z) \neq I_p((\alpha + \epsilon)Z) $ が十分に小さい $ \epsilon > 0 $ に対して成り立つならば、$ \widetilde{b}_f(-p - \alpha) = 0 $ である。これはホッジイデアルのジャンプがBernstein-Sato多項式の根と関連していることを示している。
• 公式 $ I_p''(D) $ はSaitoの還元された除的に対する結果を一般化しており、$ D $ が還元されない場合でも成り立つ。これにより、ホッジ理論とV-フィルトレーションの関係が強化される。
• $ Q_j(x) $ の組合せ的恒等式、例えば $ Q_j(x+1) = \sum_{i=0}^j i! \binom{j}{i} Q_{j-i}(x) $ が、主定理の証明における代数的構造の検証に用いられている。