[论文解读] Idéal de Bernstein d'un arrangement central générique d'hyperplans

Philippe Maisonobe|arXiv (Cornell University)|Oct 6, 2016

Constraint Satisfaction and Optimization被引用 4

一句话总结

本文确定了 $\mathbb{C}^n$ 中一般中心超平面排列的 Bernstein-Sato 理想（或 b-函数），表明其为主理想并显式计算出其生成元。当 $p \leq n$ 时，该理想由 $\prod_{i=1}^p (s_i + 1)$ 生成；当 $p = n+1$ 时，由 $\prod_{j=1}^{n+1}(s_j+1)\prod_{k=0}^n(s_1+\cdots+s_{n+1}+n+k)$ 生成；当 $p \geq n+2$ 时，证明了某种涉及 $s_i$ 对称和的特定乘积属于该理想。

ABSTRACT

Let $ V $ a vector space of dimension $n$. A $V$ family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplanes being distinct two by two defines an arrangement $ {\cal A}_p = {\cal A} ( H_1, \ldots ,H_p ) $ of $ V $. For $ i \in \{ 1, \ldots, p \} $, let $ l_i $ be a linear form on $V$ with $H_i$ as kernel. This arrangement is generic if the intersection of every sub-family of $n$ hyperplanes of the arranfement is reduced to zero. Let $A_V ({\bf C}) $, be the Weyl algebra of algebraic differential operators with coefficients in the symetric algebra denoted $S$ of the dual of $V$. Following J. Bernstein, the ideal constituted by polynomials $ b \in {\bf C} [s_1, \ldots, s_p] $ such that : $$ \; \; b (s_1, \ldots, s_p) \, l_1^{s_1} \ldots l_p^{s_p} \in A_V ({\bf C}) [s_1, \ldots, s_p] \, l_1^ {s_1 + 1} \ldots l_p^{s_p + 1} $$ is not reduced to zero. This ideal does not depend on the choice of linear forms $l_i $ which define the hypersurfaces $H_i$. The goal of this article is to precise this ideal.

研究动机与目标

• 计算 $\mathbb{C}^n$ 中一般中心超平面排列 $\mathcal{A}_p$ 的 Bernstein-Sato 理想 $\mathcal{B}(\mathcal{A}_p)$。
• 确定当超平面数 $p$ 超过维数 $n$ 时 Bernstein-Sato 理想的结构。
• 证明该理想为主理想，并显式描述其生成元关于变量 $s_1, \ldots, s_p$ 的形式。
• 通过特征簇 $W^\sharp$ 分析由 $l_1^{s_1}\cdots l_p^{s_p}$ 生成的 $\mathcal{D}$-模的奇异支集及其相关分次结构。
• 将 Bernstein-Sato 理想与排列在 $\mathbb{C}^n$ 上自然分层中各层的拉格朗日法丛变体相关联。

提出的方法

• 使用 $\mathcal{D}$-模的代数框架及 Bernstein-Sato 函数方程，将理想 $\mathcal{B}(\mathcal{A}_p)$ 定义为满足 $b \cdot l_1^{s_1}\cdots l_p^{s_p} \in \mathcal{D}[s_1,\ldots,s_p] \cdot l_1^{s_1+1}\cdots l_p^{s_p+1}$ 的多项式 $b(s_1,\ldots,s_p)$ 的集合。
• 应用 Bernstein-Sato 多变量多项式理论及其推广，特别关注微分算子对线性形式幂次的乘积的作用。
• 利用 $\mathcal{D}$-代数中 $l_1^{s_1}\cdots l_p^{s_p}$ 的零化理想 $\mathrm{Ann}(l_1^{s_1}\cdots l_p^{s_p})$，推导微分算子与变量 $s_i$ 之间的关系。
• 引入与超平面相关的扭曲微分算子 $\tilde{U}_{i,J}$，以推导交换关系并使该单项式被零化。
• 使用欧拉算子的对称幂及其对单项式的行动，导出关键恒等式：$\prod_{j=0}^{k-1}(s_1+\cdots+s_p + n + j) \cdot l_1^{s_1}\cdots l_p^{s_p} = \sum C_k^{i_1,\ldots,i_n} \partial^{i_1}_{x_1}\cdots \partial^{i_n}_{x_n} x_1^{i_1}\cdots x_n^{i_n} \cdot l_1^{s_1}\cdots l_p^{s_p}$。
• 分析 $\mathcal{D}$-模的特征簇 $W^\sharp$ 及其与超平面 $H=0$ 的交集，表明其不可约分支对应于排列各层的法丛，据此识别斜率与 Bernstein 理想的结构。

实验结果

研究问题

• RQ1 对于 $\mathbb{C}^n$ 中 $p$ 个超平面的一般中心排列，Bernstein-Sato 理想 $\mathcal{B}(\mathcal{A}_p)$ 的结构是什么？
• RQ2 Bernstein-Sato 理想的生成元如何依赖于超平面数 $p$ 与维数 $n$ 的关系？
• RQ3 对称和 $s_1 + \cdots + s_p$ 在 Bernstein 理想的定义方程中起什么作用？
• RQ4 特征簇 $W^\sharp \cap \{H=0\}$ 的不可约分支如何与排列的分层相关？
• RQ5 当 $p = n+1$ 和 $p \geq n+2$ 时，$\mathcal{B}(\mathcal{A}_p)$ 的生成元的确切形式是什么？

主要发现

• 当 $p \leq n$ 时，Bernstein-Sato 理想 $\mathcal{B}(\mathcal{A}_p)$ 为主理想，由 $\prod_{i=1}^p (s_i + 1)$ 生成。
• 当 $p = n+1$ 时，理想 $\mathcal{B}(\mathcal{A}_{n+1})$ 为主理想，由 $\prod_{j=1}^{n+1}(s_j+1)\prod_{k=0}^n(s_1+\cdots+s_{n+1}+n+k)$ 生成。
• 当 $p \geq n+2$ 时，多项式 $\prod_{j=1}^{p}(s_j+1)\prod_{k=0}^{2(p-n)+n-2}(s_1+\cdots+s_p+n+k)$ 属于 $\mathcal{B}(\mathcal{A}_p)$，提供了该理想中的非平凡元素。
• $W^\sharp_{l_1,\ldots,l_{n+1}} \cap \{H=0\}$ 的不可约分支共有 $n+2$ 个：$n+1$ 个对应于 $s_i = 0$（$i=1,\ldots,n+1$），一个对应于 $s_1 + \cdots + s_{n+1} = 0$。
• 排列 $l_1,\ldots,l_{n+1}$ 的斜率为超平面 $s_i = 0$（$i=1,\ldots,n+1$）和 $s_1 + \cdots + s_{n+1} = 0$，与 $\mathcal{D}$-模理论预期的结构一致。
• 纤维 $W^\sharp_{l_1,\ldots,l_{n+1}}(0)$（在 $s_i = 0$ 处）是排列所有分层的法丛的并集，包括 $T^\ast_{\mathbb{C}^n}\mathbb{C}^n$、$T^\ast_{\cap H_{i_j}}\mathbb{C}^n$（$1 \leq k \leq n-1$）以及 $T^\ast_0\mathbb{C}^n$，确认其拉格朗日锥形结构。