[論文レビュー] Gevrey solutions of irregular hypergeometric systems in two variables

María‐Cruz Fernández‐Fernández, Francisco Jesús Castro Jiménez|arXiv (Cornell University)|Nov 20, 2008

Polynomial and algebraic computation参考文献 12被引用数 4

ひとこと要約

本稿は、アフィン平面単項式曲線に関連する2変数の不規則超幾何系の特異点におけるゲヴレ級数解を完全に記述する。Γ級数と初等的なD加群技法を用いて、このような系の不規則性複体が perverse sheaf であることを証明し、解析的勾配を $ b/a $ として特定する。これは、特定の状況における勾配比較定理を確認するものである。

ABSTRACT

We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine plane monomial curve. We also describe the irregularity complex of such a system with respect to its singular support.

研究の動機と目的

• 特異点における不規則超幾何系 $ \mathcal{M}_A(\beta) $ のゲヴレ級数解を明示的に記述すること。ただし $ A = (a_1\; a_2) $ で $ \gcd(a_1,a_2) = 1 $ とする。
• 特異台 $ Y $（座標軸の和集合）に関する不規則性複体 $ \operatorname{Irr}_Y(\mathcal{M}_A(\beta)) $ を分析すること。
• 初等的手法を用いて、不規則性複体が $ Y $ 上の perverse sheaf であることを証明し、Mebkhoutの一般結果を確認すること。
• 座標軸に関する系の解析的勾配を $ b/a $ として特定し、これが代数的勾配と一致することを確認すること。
• 非原点における $ Y $ 上の点での不規則性複体の0次コホモロジーの基底を提供し、モノドロミー固有値を明示的に記述すること。

提案手法

• ゲルファンド、カプラノフ、ゼレヴィンスキーによって導入されたΓ級数を用い、一般点における正則解をパrameter化する。
• 滑らかな曲線 $ Y $ に沿った $ s $ 階のゲヴレ級数の形式的定義（$ \sum \frac{1}{i!^{s-1}} f_i(x_1) x_2^i $ の収束を用いる）。
• 複体 $ \mathcal{O}_{\widehat{X|Y}}(s) $ と $ \mathcal{Q}_Y(s) $ を含む複体のハイパーコホモロジーとして、不規則性複体 $ \operatorname{Irr}_Y^{(s)}(\mathcal{M}_A(\beta)) $ を構成する。
• $ \mathcal{D}_X $-加群における $ \mathcal{E}xt $-コホモロジーの長完全列を用いて、点 $ p \in Y $ における $ \operatorname{Irr}_Y^{(s)}(\mathcal{M}_A(\beta)) $ の構造を分析する。
• 演算子 $ E = a x_1 \partial_{x_1} + b x_2 \partial_{x_2} - \beta $ 及びその形式的級数への作用を用いて、解の構造を導出する。
• モノドロミーの計算に、$ k = 0, \dots, a-1 $ に対して $ \exp\left(\frac{2\pi i(\beta - b k)}{a}\right) $ の固有値を用い、perversityのコサポート条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 特異行列 $ A = (a_1\; a_2) $ に対する不規則超幾何系 $ \mathcal{M}_A(\beta) $ の原点におけるゲヴレ級数解の構造は何か？
• RQ2 特異台 $ Y $ の原点および非特異点における不規則性複体 $ \operatorname{Irr}_Y(\mathcal{M}_A(\beta)) $ の振る舞いはいかなるものか？
• RQ3 $ \mathcal{M}_A(\beta) $ の不規則性複体は $ Y $ 上の perverse sheaf か？ また、深いつまりのD加群理論を用いずにこれを示せるか？
• RQ4 座標軸に関する $ \mathcal{M}_A(\beta) $ の解析的勾配は何か？ そして代数的勾配とどのように比較できるか？
• RQ5 点 $ p \in Y \setminus \{(0,0)\} $ における不規則性複体の0次コホモロジーの基底は明示的に記述できるか？

主な発見

• 原点における不規則性複体 $ \operatorname{Irr}_Y(\mathcal{M}_A(\beta)) $ の局所化は、定理4.1で示されるように0である。
• 点 $ p \in Y \setminus \{(0,0)\} $ において、不規則性複体 $ \operatorname{Irr}_Y^{(s)}(\mathcal{M}_A(\beta)) $ は $ b/a \leq s \leq \infty $ に対して0次に集中し、$ 1 \leq s < b/a $ に対しては0である。これは $ s = b/a $ に一意のギャップを有することを示す。
• 点 $ p \in Y \setminus \{(0,0)\} $ における不規則性複体の0次コホモロジーは、$ \mathcal{O}_{\widehat{X|Y}}(s) $ と $ \mathcal{Q}_Y(s) $ の複体のハイパーコホモロジーとして明示的に記述可能である。
• 不規則性複体のモノドロミー固有値は、$ k = 0, \dots, a-1 $ に対して $ \exp\left(\frac{2\pi i(\beta - b k)}{a}\right) $ であり、解の基底から明示的に計算可能である。
• 系 $ \mathcal{M}_A(\beta) $ の $ Y $ に関する解析的勾配は $ b/a $ であり、これは代数的勾配と一致する。これにより、この状況における勾配比較定理が確認される。