[論文レビュー] Hodge ideals and microlocal V-filtration

Morihiko Saito|arXiv (Cornell University)|Dec 27, 2016

Algebraic Geometry and Number Theory参考文献 4被引用数 20

ひとこと要約

この論文は、除数のミロンゴ・デ・ラーム複体のホッジフィルトレーションによって定義されるホッジイデアルと微小局所的V-フィルトレーションの間の明確な関係を確立し、ホッジイデアルが除数イデアルを法として、微小局所的V-フィルトレーションの正の整数部に一致することを示している。主な結果は、除数のj-対数正則性がその微小局所的対数正則閾値によって決定され、これは縮小されたベルンシュタイン＝サトウ多項式の最大根の負数に等しいということである。

ABSTRACT

We show that the Hodge ideals in the sense of Mustata and Popa are quite closely related to the induced microlocal V-filtration on the structure sheaf, defined by using the microlocalization of the V-filtration of Kashiwara and Malgrange. More precisely the former coincide, module the ideal of the divisor, with the part of the latter indexed by positive integers, although they are different without modulo the ideal in general. This coincidence implies that the $j$-log-canonicity in their sense is determined by the microlocal log-canonical threshold of the divisor, which coincides with the maximal root of the reduced (or microlocal) Bernstein-Sato polynomial up to a sign.

研究の動機と目的

• ムスタカとポパが定義したホッジイデアルと、カシワラとマルグラングによって導入された微小局所的V-フィルトレーションとの関係を明確化すること。
• ホッジイデアルが除数のイデアルを法として、微小局所的V-フィルトレーションの正の整数部に一致することを示すこと。
• 除数のj-対数正則性がその微小局所的対数正則閾値によって決定されることを確立すること。この閾値は、縮小されたベルンシュタイン＝サトウ多項式の最大根の負数に等しい。
• 微小局所的対数正則閾値が、除数に沿った横断的で滑らかな部分多様体への制限に関して安定しており、ホイットニーの層に沿って定数であることの証明。

提案手法

• V-フィルトレーションの微小局所化を用いて、$\mathcal{O}_X$ 上の微小局所的$\widetilde{V}$-フィルトレーションを定義すること。
• 混合ホッジモジュールおよびフィルター付き$\mathcal{D}$-モジュールの理論を用いて、ホッジイデアルと$\mathcal{O}_X(*D)$ 上のホッジフィルトレーションとの関係を結ぶこと。
• 同型 $\mathrm{Gr}^{\alpha}_{\widetilde{V}}\mathcal{O}_X \cong \mathrm{Gr}^{p}_{F}(\varphi_{f,\lambda}\mathcal{O}_X)$ で、$p = -\lfloor 1 - \alpha \rfloor$ とし、微小局所的V-フィルトレーションと消失サイクルを結びつけること。
• フィルター付きデ・ラーム関手とその準逆関手を用いて、$\mathcal{O}_X(*D)$ 上のホッジフィルトレーションと、極の順序フィルトレーションを備えた複体 $\Omega^{\bullet}_X(\log D)$ の関係を結ぶこと。
• GAGAとエタール引き戻しを用いて、局所的モデル（例：$\mathbb{C}^n$）からの結果を一般の多様体へと転送し、特異点の解消と整合性を保つこと。
• 混合ホッジモジュールの導来圏における開直接像の一意性を用いて、解消を介するかホッジフィルトレーションを介するかにかかわらず、ホッジイデアルの定義の一貫性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 ホッジイデアルは、構造層上の微小局所的V-フィルトレーションとどのように関係しているか？
• RQ2 微小局所的対数正則閾値は、縮小されたベルンシュタイン＝サトウ多項式の最大根と一致するか？
• RQ3 除数のj-対数正則性は、$j \leq \mathrm{mlct}(D) - 1$ と同値か？
• RQ4 微小局所的対数正則閾値は、除数に沿った横断的で滑らかな部分多様体への制限に関して安定か？
• RQ5 微小局所的対数正則閾値は、除数のホイットニーの層に沿って定数か？

主な発見

• 除数$D$のホッジイデアル$\mathcal{I}^{(D,p)}$ を$D$のイデアル$\mathcal{I}_D$ を法として割ったものと、微小局所的V-フィルトレーションの$\widetilde{V}^{p+1}\mathcal{O}_X$ 成分が等しい。
• $D$のj-対数正則性が成り立つのは、$j \leq \mathrm{mlct}(D) - 1$ であるときであり、かつそのときに限る。ここで$\mathrm{mlct}(D)$ は微小局所的対数正則閾値を表す。
• 微小局所的対数正則閾値$\mathrm{mlct}(D)$ は、縮小されたベルンシュタイン＝サトウ多項式$\widetilde{b}_f(s)$ の最大根の負数に等しく、すなわち$\mathrm{mlct}(D) = -\widetilde{\alpha}_f$ である。
• 微小局所的対数正則閾値は、除数に沿ったホイットニーの層に横断的に交わる滑らかな部分多様体への制限に関して安定しており、各層上で定数である。
• 分離された重み付き斉次特異点に対しては、$\mathrm{mlct}(D) = \sum w_i$ が成り立ち、これは特異点の重みの総和に等しい。
• 微小局所的V-フィルトレーションの各層$\mathrm{Gr}^{\alpha}_{\widetilde{V}}\mathcal{O}_X$ は、$\alpha$ が微小局所的対数正則閾値以上であるときのみ非ゼロであり、この閾値は$\mathrm{Gr}^{\alpha}_{\widetilde{V}}\mathcal{O}_X \neq 0$ となる最小の$\alpha$ として実現される。