[論文レビュー] Bernstein-Sato polynomials of hyperplane arrangements

Morihiko Saito|arXiv (Cornell University)|Feb 23, 2006

Advanced Combinatorial Mathematics参考文献 22被引用数 18

ひとこと要約

この論文は、一般化されたMalgrangeの公式とAomoto複体理論を用いて、複素空間内の削減済み超平面配置のBernstein-Sato多項式の明示的公式と上限を確立する。すべての根が−2より大きいことを証明し、根−1の重複度が環境次元に等しいことを示し、低次のケースにおける多項式の計算手法を提供する。3変数の場合にDenefとLoeserの予想を確認する。

ABSTRACT

We show that the Bernstein-Sato polynomial (that is, the b-function) of a hyperplane arrangement with a reduced equation is calculable by combining a generalization of Malgrange's formula with the theory of Aomoto complexes due to Esnault, Schechtman, Terao, Varchenko, and Viehweg in certain cases. We prove in general that the roots are greater than -2 and the multiplicity of the root -1 is equal to the (effective) dimension of the ambient space. We also give an estimate of the multiplicities of the roots in terms of the multiplicities of the arrangement at the dense edges, and provide a method to calculate the Bernstein-Sato polynomial at least in the case of 3 variables with degree at most 7 and generic multiplicities at most 3. Using our argument, we can terminate the proof of a conjecture of Denef and Loeser on the relation between the topological zeta function and the Bernstein-Sato polynomial of a reduced hyperplane arrangement in the 3 variable case.

研究の動機と目的

• 複素空間内における削減済み超平面配置のBernstein-Sato多項式を計算すること。
• Bernstein-Sato多項式の根に対する鋭い上限を確立すること。
• 低次元ケース（例：3変数、次数≤7）における多項式の計算手法を提供すること。
• DenefとLoeserが提起した、3変数の場合におけるトポロジカルゼータ関数とBernstein-Sato多項式の関係に関する予想を確認すること。

提案手法

• 微局所理論を用いてMalgrangeの公式を一般化し、Bernstein-Sato多項式の公式を導出する。
• Aomoto複体理論を適用して、無限次元のコホモロジー問題を有限次元線形代数に還元する。
• 特異点の埋め込み解消とモノドロミー情報を利用して、局所的Bernstein-Sato多項式を分析する。
• スペクトル理論と乗数イデアルを用いてジャンピング係数と根の重複度を研究する。
• Aomoto複体によるねじれde Rhamコホモロジー理論を適用し、コホモロジーの消失条件を計算する。
• 特異超曲面のスペクトルを用いて、根の上限における等式を検証する。

実験結果

リサーチクエスチョン

• RQ1 削減済み超平面配置のBernstein-Sato多項式の根に対する正確な上限は何か？
• RQ2 根−1の重複度は環境空間の次元に関してどのように特徴づけられるか？
• RQ3 低次の超平面配置に対してBernstein-Sato多項式を効果的に計算できるか？
• RQ4 3変数の場合におけるトポロジカルゼータ関数とBernstein-Sato多項式の関係は何か？
• RQ5 非整数根の重複度が1に等しくなる条件は何か？

主な発見

• Bernstein-Sato多項式のすべての根は−2より大きく、根−1の重複度は環境空間の有効次元に等しい。
• 任意の根αの重複度は、λ = exp(−2πiα) に基づき、配置内の強く隣接する密集エッジによって上限m(λ)で抑えられる。
• 根は、密集エッジLに対してℤ/m_Lの和集合に含まれる。ここでm_LはLにおける配置の重複度である。
• 3変数の一般配置で次数d、重複度≤3の場合、多項式を明示的に計算可能である。
• DenefとLoeserが提起した、トポロジカルゼータ関数とBernstein-Sato多項式の関係に関する予想は、3変数の場合に確認された。
• 3変数の削減済み中心超平面配置で次数d=3m、m≥1の場合、cohomology群H¹(F_f,0)_λはλ=exp(−2πi/m)に対して消失し、証明の重要な段階が確認された。