[论文解读] 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函数的强单体性猜想。

提出的方法

• 基于$`\mathscr{D}_X[\mathbf{s}]`$-模$`\mathscr{D}_X[\mathbf{s}]`\mathbf{f}^{\mathbf{s}}$的Cohen-Macaulay性质，提出一个确保Bernstein-Sato理想对角化特化中等式成立的判定准则。
• 应用Maisonobe对自由排列的Bernstein-Sato理想公式，计算多变量理想零点集。
• 利用相对特征循环与$`\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)$，当$W$为稠密边时，$B_{\bf f}$的零点集包含超平面$\sum_{j \in J(W,{\bf f})} s_j + \text{rank}(W) + k = 0$，其中$k = 0, \dots, |J(W,{\bf f})| - 1$。
• Budur的多变量$n/d$猜想对任意中心超平面排列的完全分解得到证实，从而推出相关拓扑zeta函数的强单体性猜想。
• 对于中心本质超平面排列，$b$-函数根$s = -1$的重数恰好为$n$，即环境空间的维数，此结果由Saito证明。
• 模$`\mathscr{D}`$-模$`\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})$的公式亦适用于此类情形。