[論文レビュー] Modified A-hypergeometric Systems

Nobuki Takayama|ArXiv.org|Jun 30, 2007

Polynomial and algebraic computation参考文献 9被引用数 3

ひとこと要約

本稿は、元のGKZ系に追加の変数 $t$ を導入し、Gröbナ変形と吹き上げ幾何から着想を得た変数変換を用いて、修正された ${\cal A}$-超幾何系を導入する。この系は、元の系と同様に正則的であり、階数も等しいことを確立し、$t=0$ 沿いでの indicial 多項式を、局所的解の解析に用いる主要な道具として導出する。非斉次な $A$ に対して、$H_A(\beta)$ の階数が ${\rm vol}(A)$ 以上であることを証明する。修正された系により、斜度や形式的級数解に関する新たな知見が得られ、特に indicial 多項式が消えたり、根の差が整数でなかったりする場合に有効である。

ABSTRACT

We will introduce a modified system of A-hypergeometric system (GKZ system) by applying a change of variables for Groebner deformations and study its Groebner basis and the indicial polynomials along the "exceptional hypersurface".

研究の動機と目的

• 元のGKZ系に補助変数 $t$ を追加することで、$t=0$ の近傍における局所的解析を容易にする修正された ${\cal A}$-超幾何系を導入すること。
• 修正された系のGröbナ基底と、超曲面 $t=0$ 沿いでの indicial 多項式を研究し、グローバルおよび局所的解析への第一歩とする。
• 非斉次な $A$ に対して $\text{rank}(H_A(\beta)) \geq \text{vol}(A)$ の下界を、Go Okuyama が提起した問いを解決する形で新たに証明すること。

提案手法

• 変数変換 $y_i = t^{w_i}x_i$ を用いて、$y$-空間における元の ${\cal A}$-超幾何系を、$({\bf C}^n \times {\bf C}^*)$ 上の修正系 $H_{A,w}(\beta)$ に持ち上げる。
• 修正系は、拡張行列 $\tilde{A}$ から得られる微分作用素とトーリック関係を含む、$D$-加群環 $D = {\bf C}\langle x_1,\dots,x_n,t,\partial_1,\dots,\partial_n,\partial_t\rangle$ 上の左イデアルとして構成される。
• $\tilde{A}$ に付随するトーリックイデアル $I_{\tilde{A}}$ に対してGröbナ基底技法を適用し、$t^m \notin I_{\tilde{A}}$ となるように、飽和を用いて条件を満たす。
• $t=0$ 沿いでの indicial 多項式は、標準対と初期イデアル $\text{in}_\tau(I_{\tilde{A}})$ の引き抜きを用いて導出され、$\sum_{(\partial^\beta,\sigma) \in \mathcal{T}(M)} (s - w \cdot \beta^{(\partial^\beta,\sigma)})$ の形をとる。
• 変数 $t$ に関するラプラス変換を用いて、修正系を拡張された ${\cal A}$-超幾何系 $\tilde{A}$ に対する元の系と関連づけ、正則的および階数の保存を証明する。
• indicial 多項式が非ゼロで、根の差が整数でない場合、$t^e \sum c_k(x) t^k$ の形をした形式的級数解 $c_k \in {\bf C}[1/x_1,\dots,1/x_n,x_1,\dots,x_n]$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 ${\cal A}$-超幾何系をどのように修正すれば、特に斜度やモノドロミーと関連して、$t=0$ の近傍における局所的挙動をより良く解析できるか？
• RQ2 $t=0$ 沿いでの修正系の indicial 多項式の構造は何か？ そして、形式的解の存在性とどのように関係するか？
• RQ3 修正された系が、非斉次な $A$ に対して $\text{rank}(H_A(\beta)) \geq \text{vol}(A)$ の下界を新たに証明する手がかりを与えるか？
• RQ4 修正された系が $t=0$ 沿いに形式的プアウゼ級数解をもつのはどのような条件下か？ また、いつ持たないか？

主な発見

• 修正系 $H_{A,w}(\beta)$ は、任意の $w \in \mathbb{Z}^n$ の選択に関わらず、正則的であり、元の $H_A(\beta)$ と同じ正則的階数を持つ。
• $t=0$ 沿いでの indicial 多項式は、$M = \text{in}_\tau(I_{\tilde{A}})$ として、$\sum_{(\partial^\beta,\sigma) \in \mathcal{T}(M)} (s - w \cdot \beta^{(\partial^\beta,\sigma)})$ で与えられ、$\mathcal{T}(M)$ が空ならばゼロである。
• indicial 多項式が非ゼロで、根の差が整数でない場合、$t^e \sum_{k=0}^\infty c_k(x) t^k$ の形をした形式的級数解が存在し、$c_k \in {\bf C}[1/x_1,\dots,1/x_n,x_1,\dots,x_n]$ を満たす。
• $A = (-1,1,2)$, $\beta = (1/2)$, $w = (-2,-1,0)$ の場合、indicial 多項式はゼロであり、これにより形式的解は存在しないことが示され、Bessel関数と関連する系と整合的である。
• $w = (3,2,1)$ の場合、indicial 多項式は $(s - 3/2)(s + 1/4)(s - 7/4)$ に等しく、Risa/Asir の `generic_bfct` を用いて計算され、定理3の公式を確認した。
• $t=0$ の周りの局所モノドロミー群は、$\text{diag}(-1, \exp(\pi i /2), -\exp(\pi i /2))$ によって生成され、非自明なモノドロミー挙動を示している。