[논문 리뷰] Idéal de Bernstein d'un arrangement central générique d'hyperplans

Philippe Maisonobe|arXiv (Cornell University)|2016. 10. 06.

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.

연구 동기 및 목표

• 일반적인 중심 초평면 배치 $\mathcal{A}_p$ 에서 Bernstein-Sato 이상 $\mathcal{B}(\mathcal{A}_p)$ 를 계산하기 위해.
• 초평면 수 $p$ 가 차원 $n$ 을 초과할 경우 Bernstein-Sato 이상의 구조를 규명하기 위해.
• 이상이 주 이상임을 확인하고 변수 $s_1, \ldots, s_p$ 에 따라 그 생성자를 명시적으로 기술하기 위해.
• 다항식 $l_1^{s_1}\cdots l_p^{s_p}$ 가 생성하는 $\mathcal{D}$-모듈의 특성다양체 $W^\sharp$ 를 통해 특이성 지원과 관련된 구조를 분석하기 위해.
• 배치의 자연스러운 분할에서의 궤도의 라그랑주 쌍대다양체와 Bernstein-Sato 이상을 연결하기 위해.

제안 방법

• Bernstein-Sato 함수방정식과 $\mathcal{D}$-모듈의 대수적 프레임워크를 사용하여 이상 $\mathcal{B}(\mathcal{A}_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}$.
• 다변수 설정으로 일반화된 Bernstein-Sato 다항식 이론을 적용하며, 선형형식의 단항식에 대한 미분연산자의 작용에 중점을 둔다.
• 다항식 $l_1^{s_1}\cdots l_p^{s_p}$ 의 영항 이상 $\mathrm{Ann}(l_1^{s_1}\cdots l_p^{s_p})$ 를 $\mathcal{D}$-대수에서 사용하여 미분연산자와 $s_i$ 변수 사이의 관계를 유도한다.
• 초평면과 관련된 변형된 미분연산자 $\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$ 과의 교차에서의 성질을 분석하여, 그의 기약성분들이 배열의 궤도의 쌍대접선다양체와 대응됨을 보이고, 이로부터 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$ 인 경우 Bernstein 이상의 생성자의 정확한 형태는 무엇인가?

주요 결과

• 모든 $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$ 개이다: $i=1,\ldots,n+1$ 에 대해 $s_i = 0$ 에 대응하는 $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}$-모듈 이론에 따르면 기대되는 구조를 확인한다.
• $s_i = 0$ 에서의 섬유 $W^\sharp_{l_1,\ldots,l_{n+1}}(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$ 을 포함한다. 이는 그가 라그랑주 쌍대구조를 가짐을 확인한다.