[論文レビュー] L'idéal de Bernstein d'un arrangement libre d'hyperplans linéaires

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

Polynomial and algebraic computation被引用数 10

ひとこと要約

本稿は、線形超平面の自由配置のバーレンシュタインイデアルを決定し、それが主イデアルであることを証明し、その生成元を、既約局所配置の積として明示的に計算する。主な結果は、交差ラティスと局所配置の余次元に基づいて、バーレンシュタイン＝サトウ多項式の閉形式の公式を提示するもので、ブレード配置や2次元配置に対する既知の結果を一般化する。

ABSTRACT

Let $ V $ a vector space of dimension $n$. A family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplans $V$ defines an arrangement $ {\cal A} $ of $ V $. For $ i \in \{ 1, \ldots, p \} $, let $ l_i $ be a linear form on $V$ with $H_i$ as kernel. We denote by $A_V ({\bf C}) $, the Weyl algebra of algebraic differential operators on $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_n ({\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 $. The goal of this article is to determine this ideal when $ {\cal A} $ is a free arrangement constituted by linear hyperplans within the meaning of K. Saito.

研究の動機と目的

• 線形超平面の自由配置のバーレンシュタインイデアルを特徴づけること。
• このような配置におけるバーレンシュタイン＝サトウ多項式の構造を特定すること。
• 配置の組合せ的データに基づいて、バーレンシュタインイデアルの生成元に対する明示的かつ閉形式の公式を提供すること。
• 2次元配置およびブレード配置に対する既知の結果を、任意の自由配置へ一般化すること。

提案手法

• 本稿は、対数的微分と、配置に接する微分のモジュール D(A) の理論を用いる。
• 自由配置の文脈においてバーレンシュタイン＝サトウ関数方程式を適用し、D(A) が自由 S-加群であるという事実を活用する。
• 主な技術は、D-加群 M = D[s]f^s の特徴的多様体 W^{lat} の特異点集合とその成分を分析することである。
• W^{lat} ∩ H の既約成分を、局所特徴的多様体 W^{lat}_{X,(l_j)_{j∉J(X)}} と超平面 ∑_{j∈J(X)} s_j = 0 の積として特定する。
• 導出には D-加群の双対性理論と、代数 A_n(C) の構造を用いる。
• 最終的な公式は、配置の局所構造とグローバルなモノドロミー作用、およびバーレンシュタイン＝サトウ多項式の対称性を組み合わせることで得られる。

実験結果

リサーチクエスチョン

• RQ1 線形超平面の自由配置におけるバーレンシュタインイデアルの構造は何か？
• RQ2 自由配置のバーレンシュタイン＝サトウ多項式は、その組合せ的データにどのように依存するか？
• RQ3 特徴的多様体 W^{lat} のどの成分が、D-加群 M = D[s]f^s の特異点集合に寄与するか？
• RQ4 ラティス論的不変量を用いて、自由配置のバーレンシュタイン＝サトウ多項式を明示的に計算できるか？
• RQ5 既約局所配置は、f^s のメロモーマル続行の極を決定する上で果たす役割は何か？

主な発見

• 自由配置 A のバーレンシュタインイデアルは主イデアルであり、単一の多項式 b_A(s_1,…,s_p) によって生成される。
• 生成元は、L’(A) に属するすべての既約局所配置 A_X について、j = 0 から 2(card J(X) − r(X)) まで変化する項 (∑_{i∈J(X)} s_i + r(X) + j) の積として与えられる。
• 2次元の場合、生成元は ∏_{i=1}^p (s_i + 1) × ∏_{j=0}^{2(p−2)} (s_1 + ⋯ + s_p + 2 + j) に簡略化される。
• ブレード配置 (x_i − x_j) の場合、生成元は {1,…,n} のすべての部分集合 I についての積であり、k が (|I|−1)(|I|−2) まで変化する項 ∑_{i<j, i,j∈I} s_{i,j} + |I|−1 + k を含む。
• f^s のメロモーマル続行の極は、まさにこの多項式の根であり、配置成分の余次元と局所的既約性によって決定される。
• 配置のスロープ（すなわち、W^{lat} ∩ H の特異成分の射影）は、既約局所配置 A_X に対して ∑_{j∈J(X)} s_j = 0 である超平面である。