[論文レビュー] Roots of Bernstein-Sato polynomials of certain homogeneous polynomials with two-dimensional singular loci

Morihiko Saito|arXiv (Cornell University)|Mar 16, 2017

Algebraic Geometry and Number Theory参考文献 30被引用数 11

ひとこと要約

本稿では、$ \mathbb{P}^3 $ 上の強自由で局所的に正の重み付き同次的超曲面に対して、特異点集合が2次元である同次多項式の Bernstein-Sato 多項式の根を計算する新しい手法を開発する。この手法は、極順序スペクトル系列が $ E_2 $ または $ E_3 $ で退化することを用い、特に原点に支持される根を完全に特定可能にする対称性条件を $ E_2 $-項に課すことが鍵となる。

ABSTRACT

For a homogeneous polynomial of $n$ variables, we present a new method to compute the roots of Bernstein-Sato polynomial supported at the origin, assuming that general hyperplane sections of the associated projective hypersurface have at most weighted homogeneous isolated singularities. Calculating the dimensions of certain $E_r$-terms of the pole order spectral sequence for a given integer $r\in[2,n]$, we can detect its degeneration at $E_r$ for certain degrees. In the case of strongly free, locally positively weighted homogeneous divisors on ${\mathbb P}^3$, we can prove its degeneration almost at $E_2$ and completely at $E_3$ together with a symmetry of a modified pole-order spectrum for the $E_2$-term. These can be used to determine the roots of Bernstein-Sato polynomials supported at the origin, except for rather special cases.

研究の動機と目的

• 特異点集合が2次元である同次多項式に対して、原点に支持される Bernstein-Sato 多項式の根を計算する手法を開発すること。
• このような多項式に対して、極順序スペクトル系列が $ E_2 $ および $ E_3 $ でどのように退化するかを分析すること。
• $ \mathbb{P}^3 $ 上の強自由で局所的に正の重み付き同次的超曲面に対して、$ E_2 $-項における対称性条件を確立すること。
• スペクトル系列のデータとモノドロミー固有空間を用いて、特別な場合を除き Bernstein-Sato 多項式の根を特定すること。
• Macaulay2 および Singular を用いた計算的検証により、スペクトル系列の挙動と超曲面の自由性を確認すること。

提案手法

• 微局所極順序スペクトル系列 $ E_r^{p,q}(f)_k $ を用い、これは極順序フィルトレーションを施したミルナー特異点コホモロジーへ収束する。
• 特定の次数における $ E_r $-項の次元計算により、$ r = 2 $ または $ 3 $ のときのスペクトル系列の退化を検出する。
• 強自由な超曲面に対して、$ \mathbb{P}^3 $ 上ではスペクトル系列がほとんど $ E_2 $ で退化し、完全に $ E_3 $ で退化するため、根の計算が可能になる。
• $ E_2 $-項の修正された極順序スペクトルに、対称性条件を課すことで Bernstein-Sato 多項式の根を再構成する。
• このアプローチは、$ E_r^{p,q}(f)_k $ を de Rham コホモロジー複体に $ df $-twist を施した微分作用素から得られる $ M^{(r)} $, $ N^{(r)} $, $ Q^{(r)} $ のコホモロジー群と特定することに依存する。
• 計算的検証は、ヤコビアンイデアルのシンギュラリティモジュールの最小基底のサイズを用いて、スペクトル系列の挙動と超曲面の自由性を Macaulay2 および Singular で確認する。

実験結果

リサーチクエスチョン

• RQ1 特異点集合が2次元である同次多項式に対して、原点に支持される Bernstein-Sato 多項式の根を計算可能か？
• RQ2 強自由で局所的に正の重み付き同次的超曲面が $ \mathbb{P}^3 $ 上にある場合、極順序スペクトル系列は $ E_2 $ または $ E_3 $ で退化するか？
• RQ3 スペクトル系列の $ E_2 $-項における対称性条件を用いて、Bernstein-Sato 多項式の根を再構成可能か？
• RQ4 本質的仮定が、スペクトル系列における特定のコホモロジー類の消滅を保証する役割を果たすか？
• RQ5 Macaulay2 や Singular などの計算ツールを用いて、スペクトル系列の退化および自由性条件をどのように検証できるか？

主な発見

• 強自由で局所的に正の重み付き同次的超曲面が $ \mathbb{P}^3 $ 上にある場合、極順序スペクトル系列はほとんど $ E_2 $ で退化し、完全に $ E_3 $ で退化する。これにより根の計算が可能になる。
• $ E_2 $-項の修正された極順序スペクトルに適用される対称性条件により、原点に支持される Bernstein-Sato 多項式の根を完全に特定可能になる。
• スペクトル系列の退化は、特に $ r = 2,3 $ のときの $ E_r $-項の次元計算により検出される。
• 特別な場合を除き、$ E_2 $-項とその対称性を用いて Bernstein-Sato 多項式の根が符号を除き完全に特定される。
• 本質的仮定の下で、不変量 $ \widetilde{a}_k, \widetilde{b}_k, \widetilde{c}_k $ はそれぞれ区間 $ [d+3, 2d] $, $ [2d+2, 3d-1] $, $ [3d+2, \infty) $ に支持される。
• 計算的検証により、スペクトル系列の挙動と係数 $ \varepsilon_k $ の非負性が確認され、理論的結果を支持する。