[論文レビュー] Bernstein-Sato ideals and hyperplane arrangements

Lei Wu|arXiv (Cornell University)|May 27, 2020

Advanced Combinatorial Mathematics参考文献 15被引用数 5

ひとこと要約

本稿では、可約多項式の Bernstein-Sato $b$-関数の根が、その多変数 Bernstein-Sato 理想の零点集合によって完全に決定されるための基準を確立する。$`\mathscr{D}_X[\mathbf{s}]`$-加群 $`\mathscr{D}_X[\mathbf{s}]`\mathbf{f}^{\mathbf{s}}$ の Cohen-Macaulay 性を用いて、自由な超平面配置に対しては、$b$-関数の根が交差格子によって決定されることを証明し、Budur の多変数 $n/d$ 予想を確認することで、関連するトポロジカル zeta 関数の強いモノドロミー予想を証明する。

ABSTRACT

We study the relation between zero loci of Bernstein-Sato ideals and roots of b-functions and obtain a criterion to guarantee that roots of b-functions of a reducible polynomial are determined by the zero locus of the associated Bernstein-Sato ideal. Applying the criterion together with a result of Maisonobe we prove that the set of roots of the b-function of a free hyperplane arrangement is determined by its intersection lattice. We also study the zero loci of Bernstein-Sato ideals and the associated relative characteristic cycles for arbitrary central hyperplane arrangements. We prove the multivariable n/d conjecture of Budur for complete factorizations of arbitrary hyperplane arrangements, which in turn proves the strong monodromy conjecture for the associated multivariable topological zeta functions.

研究の動機と目的

• 可約多項式の $b$-関数の根が、その多変数 Bernstein-Sato 理想の零点集合によって支配される条件を特定すること。
• Bernstein-Sato 理想の対角的特殊化における等号を保証する基準を確立し、多変数理想の零点集合と一変数 $b$-関数を結びつけること。
• 自由な超平面配置に対して、$b$-関数の根が交差格子によって決定されることを証明し、格子によって決定される $b$-関数に関する予想を支持すること。
• 中心的超平面配置の完全因数分解に対して、Budur の多変数 $n/d$ 予想が成り立つことを確認し、関連するトポロジカル zeta 関数の強いモノドロミー予想を示すこと。

提案手法

• Bernstein-Sato 理想の対角的特殊化における等号を保証する基準を、$`\mathscr{D}_X[\mathbf{s}]`$-加群 $`\mathscr{D}_X[\mathbf{s}]`\mathbf{f}^{\mathbf{s}}$ の Cohen-Macaulay 性に基づいて導入する。
• 自由な配置の Bernstein-Sato 理想に対する Maisonobe の公式を適用し、多変数理想の零点集合を計算する。
• 相対的特徴的サイクルと $`\mathbb{D}`$-加群論（局所化およびコホロロジー的誘導）を用いて、$`\mathscr{D}_X[\mathbf{s}]`\mathbf{f}^{\mathbf{s}}$ の構造を分析する。
• Dubson-Kashiwara の指数定理と特徴的サイクルの局所化を用いて、相対的特徴的サイクル内の成分の重複度を計算する。
• 滑らかさを保証するため、稠密な辺 $W$ に対する商写像 $X \to X/W$ 沿いの基底変換により、一般の場合を本質的かつ既約な場合に還元する。$T^*_{\{0\}}X$-成分が保存されることを用いる。
• $q.i.$-同型と $`\iota^*`$-ファンクター性を用いて、$`\mathcal{M}_{{\bf f},m}^{{\bf k}_r,-{\bf k}_r}`$ の特徴的サイクルと $`\mathcal{N}_E`$、$`\mathcal{N}_{\{0\}}`$ の特徴的サイクルを関連づけ、オイラー特性を用いたトポロジカル計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 多変数 Bernstein-Sato 理想 $B_{\mathbf{f}}$ の零点集合が、$f = \prod f_i$ の一変数 $b$-関数の根を完全に決定する条件は何か？
• RQ2 自由な超平面配置の $b$-関数の根は、その交差格子から単独で決定可能か？
• RQ3 Budur の多変数 $n/d$ 予想は、任意の中心的超平面配置の完全因数分解に対して成り立つか？
• RQ4 中心的超平面配置に対して、多変数トポロジカル zeta 関数の強いモノドロミー予想は真か？
• RQ5 中心的超平面配置の完全因数分解に対する Bernstein-Sato 理想の零点集合の正確な構造は何か？

主な発見

• 自由な超平面配置 $D$ に対して、Bernstein-Sato 理想 $B_{f_D}$ の零点集合は、すべての稠密な辺 $W$ に対する集合 $R_W = \left\{ -\frac{\text{rank}(D_W) + k}{|J(W)|} \mid k = 0, \dots, |J(W)| - 1 \right\}$ の和集合に等しい。これは定理 1.2 の証明である。
• 中心的超平面配置の完全因数分解 ${\bf f} = (f_1, \dots, f_r)$ に対して、零点集合 $Z(B_{\bf f})$ は、$W$ が稠密な辺であるとき、すべての $k = 0, \dots, |J(W,{\bf f})| - 1$ に対して、超平面 $\sum_{j \in J(W,{\bf f})} s_j + \text{rank}(W) + k = 0$ を含む。
• Budur の多変数 $n/d$ 予想は、任意の中心的超平面配置の完全因数分解に対して確認され、関連するトポロジカル zeta 関数の強いモノドロミー予想を示唆する。
• 中心的かつ本質的な超平面配置に対して、$b$-関数の根 $s = -1$ の重複度は、正確に $n$ に等しく、これは Saito によって証明された。
• 加群 $`\iota^*(\mathcal{M}_{{\bf f},m}^{{\bf k}_r,-{\bf k}_r})`$ の特徴的サイクルは、$\ell \cdot T^*_{\{0\}}X$ に等しい。ここで $\ell = (-1)^{n-1}\chi(\mathbb{P}(X) \setminus \bigcup_{H \in D^{\{0\}}} \mathbb{P}(H))$ であり、Dubson-Kashiwara の指数定理により計算される。
• 定理 1.1 を用いて、非還元的自由配置へ一般化可能であり、$Z(B_{f_D})$ の公式はこのような場合にも拡張可能である。