[論文レビュー] 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

ひとこと要約

本稿は、$ℂ^n$ 内の一般の中心的超平面配置 $τ_p$ に対するベルンシュタイン＝サト理想（または 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.

研究の動機と目的

• $ℂ^n$ 内の一般の中心的超平面配置 $τ_p$ に対するベルンシュタイン＝サト理想 $Π(\u03c4_p)$ を計算すること。
• 超平面の数 $p$ が次元 $n$ を超える場合のベルンシュタイン＝サト理想の構造を特定すること。
• 理想が主理想であること、および $s_1, \ldots, s_p$ の変数を用いてその生成子を明示的に記述すること。
• ベルンシュタイン理想と、配置の自然な層化における各層のラグランジュ的正規双対多様体との関係を特定すること。
• 生成子 $l_1^{s_1}\cdots l_p^{s_p}$ を持つ $\mathcal{D}$-加群の特徴的多様体 $W^\sharp$ とその付随する次数付き構造を分析すること。

提案手法

• $τ_p$ に対するベルンシュタイン＝サト理想 $Π(\u03c4_p)$ を、多項式 $b(s_1,\ldots,s_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}$ を満たす。
• 多変数設定へのベルンシュタイン＝サト多項式の一般化を用い、特に線形形式の単項式への微分作用素の作用に注目する。
• 変数 $s_i$ と微分作用素の間の関係を導くために、$l_1^{s_1}\cdots l_p^{s_p}$ の annihilator 理想 $\mathrm{Ann}(l_1^{s_1}\cdots l_p^{s_p})$ を $\mathcal{D}$-代数内で用いる。
• 超平面に関連したねじれた微分作用素 $\tilde{U}_{i,J}$ を導入し、交換関係を導出し、単項式 $l_1^{s_1}\cdots l_p^{s_p}$ を消滅させることを示す。
• オイラー作用素の対称冪とその単項式への作用を用い、次の基本的恒等式を導出する：$\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}$。
• 特徴的多様体 $W^\sharp$ とその $H=0$ での交わりを分析し、その既約成分が配置の各層の正規双対多様体に対応することを示し、これによりベルンシュタイン理想の傾きと構造を同定する。

実験結果

リサーチクエスチョン

• RQ1 一般の中心的超平面配置 $τ_p$ が $ℂ^n$ 内に $p$ 個の超平面を持つとき、ベルンシュタイン＝サト理想 $Π(\u03c4_p)$ の構造は何か？
• RQ2 ベルンシュタイン＝サト理想の生成子は、次元 $n$ に対して超平面数 $p$ がどのように依存するか？
• RQ3 対称和 $s_1 + \cdots + s_p$ はベルンシュタイン理想の定義方程式においてどのような役割を果たすか？
• RQ4 $W^\sharp \cap \{H=0\}$ の既約成分は配置の各層とどのように関係するか？
• RQ5 $p = n+1$ および $p \geq n+2$ の場合に、$Π(\u03c4_p)$ の正確な生成子の形は何か？

主な発見

• For $p \leq n$, the Bernstein-Sato ideal $\mathcal{B}(\mathcal{A}_p)$ is principal and generated by $\prod_{i=1}^p (s_i + 1)$.
• For $p = n+1$, the ideal $\mathcal{B}(\mathcal{A}_{n+1})$ is principal and generated by $\prod_{j=1}^{n+1}(s_j+1)\prod_{k=0}^n(s_1+\cdots+s_{n+1}+n+k)$.
• For $p \geq n+2$, the polynomial $\prod_{j=1}^{p}(s_j+1)\prod_{k=0}^{2(p-n)+n-2}(s_1+\cdots+s_p+n+k)$ lies in $\mathcal{B}(\mathcal{A}_p)$, providing a non-trivial element of the ideal.
• The irreducible components of $W^\sharp_{l_1,\ldots,l_{n+1}} \cap \{H=0\}$ are $n+2$ in number: $n+1$ components corresponding to $s_i = 0$ for $i=1,\ldots,n+1$, and one corresponding to $s_1 + \cdots + s_{n+1} = 0$.
• The slopes of the arrangement $l_1,\ldots,l_{n+1}$ are the hyperplanes $s_i = 0$ for $i=1,\ldots,n+1$ and $s_1 + \cdots + s_{n+1} = 0$, confirming the expected structure from the theory of $\mathcal{D}$-modules.
• The variety $W^\sharp_{l_1,\ldots,l_{n+1}}(0)$, the fiber over $s_i = 0$, is the union of the conormal varieties to all strata of the arrangement, including $T^\ast_{\mathbb{C}^n}\mathbb{C}^n$, $T^\ast_{\cap H_{i_j}}\mathbb{C}^n$ for $1 \leq k \leq n-1$, and $T^\ast_0\mathbb{C}^n$, confirming its Lagrangian conic structure.