[論文レビュー] Multiplier ideals, b-function, and spectrum of a hypersurface singularity

Morihiko Saito|ArXiv.org|Feb 23, 2004

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

ひとこと要約

本稿は、Ein, Lazarsfeld, Smith, Varolin の定理の部分的逆を確立し、特異点をもつ超曲面の Bernstein-Sato 多項式（b-関数）の特定の根が、乗数イデアルのジャンピング係数であることを証明する。Milnor 共通同相群に新たなフィルトレーションを導入し、Malgrange の定理を一般化し、ホッジフィルトレーションおよび極位相フィルトレーションを介してスペクトルと関連づける。局所的に錐型の除数や超平面配置の場合は、乗数イデアルの明示的公式が得られる。

ABSTRACT

We prove that certain roots of the Bernstein-Sato polynomial (i.e. b-function) are jumping coefficients up to a sign, showing a partial converse of a theorem of L. Ein, R. Lazarsfeld, K.E. Smith, and D. Varolin. We also prove that certain roots are determined by a filtration on the Milnor cohomology, generalizing a theorem of B. Malgrange in the isolated singularity case. This implies a certain relation with the spectrum which is determined by the Hodge filtration, because the above filtration is related to the pole order filtration. For multiplier ideals we prove an explicit formula in the case of locally conical divisors along a stratification, generalizing a formula of Mustata in the case of hyperplane arrangements. We also give another proof of a formula of U. Walther on the b-function of a generic hyperplane arrangement, including the multiplicity of -1.

研究の動機と目的

• ジャンピング係数が 1 より小さい場合、その根が b-関数の根であるという結果の部分的逆を確立すること。
• 非孤立特異点にまで拡張して、Milnor のモノドロミーとホッジフィルトレーションの関係を示す Malgrange の定理を一般化すること。
• 局所的に錐型の除数がストラティフィケーションに沿って与えられる場合の乗数イデアルの明示的公式を提示すること。
• Milnor 共通同相群上の新たなフィルトレーションを用いて、特異点のスペクトルと b-関数を関連づけること。
• 一般の超平面配置の b-関数に対する Walther の公式の新しい証明を提供し、-1 における根の重複度を含む。

提案手法

• Kashiwara と Malgrange の V-フィルトレーションを用いて、乗数イデアルと b-関数を関連づける。
• Milnor 共通同相群に、ホッジフィルトレーションを含み、モノドロミー作用に対して安定な、自然なフィルトレーション $\widetilde{P}$ を導入する。
• 飽和型 Brieskorn ラティス $\widetilde{\mathcal{G}}_{f}^{(-i)}$ を用いてフィルトレーション $\widetilde{P}$ を定義し、極位相フィルトレーションと関連づける。
• 重みスペクトル系列と Bott の消去定理を用いて、射影空間上の twisted 形式のコホモロジーを計算し、スペクトルの計算に用いる。
• Twisted de Rham コホモロジーと対数形式を用いて、特定の配置における $H^2(U, L^{(5/7)})$ を計算する。
• 関係式 $\mathcal{J}(X, (\alpha+1)D) = f \mathcal{J}(X, \alpha D)$ を用いて、ジャンピング係数の周期性を活用する。

実験結果

リサーチクエスチョン

• RQ1 b-関数 $b_f(-s)$ のどの根が乗数イデアルのジャンピング係数に対応するか？
• RQ2 ホッジフィルトレーションとモノドロミーの関係を示す Malgrange の定理は、孤立特異点を超えて一般化可能か？
• RQ3 Milnor 共通同相群上のフィルトレーションを通じて、スペクトルと b-関数はどのように関連づけられるか？
• RQ4 除数がストラティフィケーションに沿って局所的に錐型である場合、乗数イデアルに対して明示的公式を与えることは可能か？
• RQ5 一般の超平面配置のスペクトルは、組合せ論的データにのみ依存するか？その証明を b-関数と乗数イデアルを用いて行えるか？

主な発見

• 条件 (a) $\xi f = f$ を満たす正則ベクトル場 $\xi$ が存在し、(b) $x$ の近傍のすべての $y \neq x$ に対して $\alpha < \alpha_{f,y}$ を満たすような $\alpha \in (0,1)$ が $b_{f,x}(-s)$ の根であれば、$D$ の $x$ における局所的ジャンピング係数である。
• $H^{n-1}(F_x, \mathbb{C})_\lambda$ 上のフィルトレーション $\widetilde{P}$ に対して、$\mathrm{Gr}_{\widetilde{P}}^p H^{n-1}(F_x, \mathbb{C})_\lambda \neq 0$ かつ $p = [n - \alpha]$ であれば、$\alpha$ は $b_{f,x}(-s)$ の根である。
• $\alpha + i$ が任意の $y \neq x$ に対して $b_{f,y}(-s)$ の根でない場合、逆も成り立つ：このような $\alpha$ が根であることは、$\widetilde{P}$ の各次元のグレーディング部分が非ゼロであることと同値である。
• $\lambda = \exp(-2\pi i \alpha)$ が $y \neq x$ における Milnor モノドロミーの固有値でない場合、根 $\alpha$ の重複度は、$\mathrm{Gr}_{\widetilde{P}}^{[n-\alpha]} H^{n-1}(F_x, \mathbb{C})_\lambda$ 上のモノドロミーの最小多項式の次数に等しい。
• 局所的に錐型の除数に対して、ストラティフィケーションに沿って乗数イデアル $\mathcal{J}(X, \alpha D)$ は明示的公式を有し、これは超平面配置に対する Mustaţǎ の結果を一般化する。
• 配置 $\{ (x^2-1)(y^2-1) = 0 \}$ の場合、計算により $\dim H^2(U, L^{(5/7)}) \neq 0$ であることが示され、$5/7$ が $b_f(-s)$ の根であることが従い、スペクトル係数 $m_{5/7} = 1$ である。