[論文レビュー] Multiplier ideals, V-filtration, and spectrum

Nero Budur, Morihiko Saito|ArXiv.org|May 8, 2003

Algebraic Geometry and Number Theory参考文献 10被引用数 14

ひとこと要約

この論文は代数的D加群理論における乗数イデアルとV-フィルトレーションの明確な関係を確立し、乗数イデアルが構造層上のV-フィルトレーションと一致することを示している。混合Hodgeモジュールと消失サイクルを用いて、(0,1]内のジャンピング係数が Bernstein-Sato 多項式の根であるという結果の新しい証明がなされ、特に指数 ≤1 または > dim X−1 の場合にスペクトルの公式が精緻化されている。

ABSTRACT

For an effective divisor on a smooth algebraic variety or a complex manifold, we show that the associated multiplier ideals coincide essentially with the filtration induced by the filtration V constructed by B. Malgrange and M. Kashiwara. This implies another proof of a theorem of L. Ein, R. Lazarsfeld, K.E. Smith and D. Varolin that any jumping coefficient in the interval (0,1] is a root of the Bernstein-Sato polynomial up to sign. We also give a refinement (using mixed Hodge modules) of the formula for the coefficients of the spectrum for exponents not greater than one or greater than the dimension of the variety minus one.

研究の動機と目的

• 滑らかな多様体の構造層上における乗数イデアルとV-フィルトレーションの明確な対応関係を確立すること。
• Ein, Lazarsfeld, Smith, Varolin が示した定理である「(0,1]内のジャンピング係数が Bernstein-Sato 多項式の根である」という結果の、V-フィルトレーションと混合Hodgeモジュールを用いた新しい証明を与えること。
• 特に指数 ≤1 または > dim X−1 の場合に、特異点をもつ超曲面のスペクトルの公式を混合Hodgeモジュールを用いて精緻化すること。
• 解体の特異的除法上の層のコホモロジーを用いて、V-フィルトレーションの各成分数がスペクトルとどのように関係するかを明らかにすること。

提案手法

• 特異点の埋め込み解体を用いて、D加群 B_f 上での乗数イデアルとV-フィルトレーションを定義する。
• 双フィルター付き直接像の理論と混合Hodgeモジュールを用いて、V-フィルトレーションと消失コホモロジー上のHodgeフィルトレーションを関連付ける。
• 解体の特異的除法 E 上に、V-フィルトレーションの成分数を計算する層 K_α と K′_α を定義する。
• Serreの双対性と巡回被覆を用いて、K_α と K′_α のコホモロジーをMilnorファイバーのコホモロジー上のHodgeフィルトレーションと関連付ける。
• 混合Hodgeモジュールの双対性定理を適用し、H^j(F_x, ℂ) 上のHodgeフィルトレーションと K_α および K′_α のコホモロジーを関連付ける。
• H^j(E, K_α) とMilnorファイバーのコホモロジーの (n−1)-番目のフィルトレーション成分との間に自然な同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな多様体の構造層上における乗数イデアルとV-フィルトレーションの関係は何か？
• RQ2 ジャンピング係数が(0,1]に含まれるという事実を、V-フィルトレーションと混合Hodgeモジュールを用いて再証明できるか？
• RQ3 特異点をもつ超曲面のスペクトルとV-フィルトレーションの成分数との間の明確な関係は何か？
• RQ4 特異的除法 E 上の層 K_α と K′_α は、コホモロジーを用いてどのようにスペクトルを計算するか？
• RQ5 混合Hodgeモジュールは、指数 ≤1 または > dim X−1 の場合にスペクトルの公式をどのように精緻化するか？

主な発見

• 非ジャンピングな α に対して、構造層上のV-フィルトレーションは V^α𝒪_X = 𝒥(αD) を満たし、一般に 𝒥(αD) = V^{α+ε}𝒪_X および V^α𝒪_X = 𝒥((α−ε)D) が十分小さい ε > 0 に対して成り立つ。
• V-フィルトレーションの成分数は、すべての有理数 α に対して Gr_V^α𝒪_X = ℐ(D,α)（乗数イデアル商）を満たす。
• スペクトル係数 n_α は、点 x における層の茎 ℐ(D,x,α) の次元に等しく、0 < α ≤ 1 に対して n_α = dim ℐ(D,x,α) が成り立つ。
• j ∈ ℤ および α ∈ (0,1] に対して、自然な同型 H^j(E, K_α) ≅ F^{n−1}H^{j+n−1}(F_x, ℂ)_e(−α) および H^j(E, K′_α) ≅ F^{n−1}H_c^{j+n−1}(F_x, ℂ)_e(−α) が成り立つ。
• スペクトル係数 n_α は n−1 < α < n のとき、n_α = χ(E, K′_{n−α}) を満たし、双対性に基づく公式が得られる。
• Milnorファイバーのコホモロジー上のHodgeフィルトレーションは、Gr_F^p H^j(F_x, ℂ) = 0（p < 0 および p > j のとき）を満たし、期待されるHodge理論的境界が確認される。