[論文レビュー] Thom-Sebastiani theorems for filtered D-modules and for multiplier ideals

Laurenţiu Maxim, Morihiko Saito+1 more|arXiv (Cornell University)|Oct 24, 2016

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

ひとこと要約

本稿は、KashiwaraおよびMalgrangeのV-フィルトレーションと代数的部分微局所化を用いて、乗数イデアルとフィルター付きD-加群のためのThom-Sebastiani定理を確立する。$X = f_1 + f_2$ であるとき、乗数イデアル ${\mathcal{J}}(\alpha X)$ が成分からのイデアルのテンソル積の和に分解されることを示し、従来の混合Hodgeモジュールに基づく手法がイデアル自体ではなく部分的なグレーディング情報しか得られなかったという長年の文献的ギャップを、完全なイデアル構造を捉える直接的構成により解消する。

ABSTRACT

We give a proof of the Thom-Sebastiani type theorem for holonomic filtered $D$-modules satisfying certain good conditions (including Hodge modules) by using algebraic partial microlocalization. By a well-known relation between multiplier ideals and $V$-filtrations of Kashiwara and Malgrange, the argument in the proof implies also a Thom-Sebastiani type theorem for multiplier ideals, which cannot be deduced from a already known proof of the Thom-Sebastiani theorem for mixed Hodge modules (since the latter gives only the information of graded pieces of multiplier ideals). We also sketch a more elementary proof of the Thom-Sebastiani type theorem for multiplier ideals (as communicated to us by M.~Mustaţǎ), which seems to be known to specialists, although it does not seem to be stated explicitly in the literature.

研究の動機と目的

• 積空間上の関数の和のケースにおける乗数イデアルのThom-Sebastiani型定理を確立すること。これは、従来のHodgeモジュール理論のみでは到達できなかった。
• 代数的部分微局所化を用いて、フィルター付き正則 $\mathcal{D}$-加群のThom-Sebastiani定理の新しい証明を提供すること。これにより、既存の方法が得られるグレーディング部分情報にとどまらず、より広範な情報が得られる。
• 関数の和における乗数イデアルの構造とジャンピング係数の関係を明らかにすること。特に特異性および対数正則閾値ととの関係を明確にする。
• 従来の混合Hodgeモジュールに基づく証明が、乗数イデアルのグレーディング部分のみを捉えており、イデアル自体を捉えていなかったという文献上のギャップを解消すること。

提案手法

• 関数の和 $f = f_1 + f_2$ に関連するフィルター付き $\mathcal{D}$-加群上のV-フィルトレーションを分析するために、代数的部分微局所化を用いる。
• KashiwaraおよびMalgrangeのV-フィルトレーションと乗数イデアルとの既知の関係を適用し、$\mathcal{D}$-加群の結果をイデアル論的命題に翻訳する。
• 関数 $f$ のグラフ埋め込みから得られるフィルター付き $\mathcal{D}$-加群 $({\mathcal{B}}_f, F)$ を、直接像函手 $(i_f)_*^\mathcal{D}$ を用いて構成する。
• フィルター付き $\mathcal{D}$-加群の構造を用いて、$\mathbf{e}(-\alpha)$-固有空間 $\varphi^{(\alpha)}_f({\mathcal{O}}_Y, F)$ を、$\mathrm{Gr}_V^\alpha({\mathcal{B}}_f, F)$ として定義する。
• 微局所V-フィルトレーションとGauss-Manin系との整合性を用いて、局所座標における乗数イデアルの構造を分析する。
• 既知の結果 [La]、[Mu]、[Sa6] を用いて、イデアル論的分解を $\mathcal{D}$-加群の枠組みに結びつける。

実験結果

リサーチクエスチョン

• RQ1 混合Hodgeモジュールのグレーディング部分情報に依存せずに、乗数イデアルのThom-Sebastiani定理を確立できるか？
• RQ2 フィルター付き $\mathcal{D}$-加群上のV-フィルトレーションが、$X = f_1 + f_2$ に対して完全な乗数イデアル $\mathcal{J}(\alpha X)$ の直接的構成を可能にするか？
• RQ3 $X = f_1 + f_2$ のジャンピング係数および対数正則閾値は、$X_1$ および $X_2$ のそれらとどのように関係するか？
• RQ4 $\mathcal{J}(\alpha X) = \sum_{\alpha_1 + \alpha_2 = \alpha} \mathcal{J}(\alpha_1 X_1) \boxtimes \mathcal{J}(\alpha_2 X_2)$ がすべての $\alpha \in (0,1)$ に対して成り立ち、さらにすべての $\alpha \in \mathbb{Q}$ に拡張可能か？
• RQ5 $c_1 = c_2 = 1$ の場合に、$\mathcal{J}((f_1 + f_2)^\alpha) = \sum_{\alpha_1 + \alpha_2 = \alpha} \mathcal{J}((f_1)^{\alpha_1}) \boxtimes \mathcal{J}((f_2)^{\alpha_2})$ の等式が、重み付き斉次性の仮定なしに成り立つか？

主な発見

• $\alpha \in (0,1)$ に対して $\mathcal{J}(\alpha X) = \sum_{\alpha_1 + \alpha_2 = \alpha} \mathcal{J}(\alpha_1 X_1) \boxtimes \mathcal{J}(\alpha_2 X_2)$ が成り立つことを証明し、完全なイデアル論的Thom-Sebastiani定理を確立する。
• 関連するグレーディング部分の分解 $\mathcal{G}(\alpha X) = \sum_{\alpha_1 + \alpha_2 = \alpha} \mathcal{G}(\alpha_1 X_1) \boxtimes \mathcal{G}(\alpha_2 X_2)$ を示し、乗数イデアルのグレーディング部分の分解を提供する。
• 対数正則閾値は $\mathrm{lct}(X) = \min\{1, \mathrm{lct}(X_1) + \mathrm{lct}(X_2)\}$ を満たし、この不変量における加法性が確認される。
• ジャンピング係数は $\mathrm{JC}(X) \cap (0,1) = (\mathrm{JC}(X_1) + \mathrm{JC}(X_2)) \cap (0,1)$ を満たし、関数の和におけるジャンピング係数の集合が加法的であることが示される。
• 代数的部分微局所化とV-フィルトレーションを用いることで、従来のHodgeモジュールに基づく証明がグレーディング部分情報しか得られないのに対し、完全なイデアル構造にアクセス可能である。
• $f_1$ や $f_2$ が重み付き斉次でない場合についても、解体とGAGAを用いて重み付き斉次の場合への還元により、公式が成り立つことを確認する。