[論文レビュー] Irregular hypergeometric D-modules

María‐Cruz Fernández‐Fernández|arXiv (Cornell University)|Jun 18, 2009

Commutative Algebra and Its Applications被引用数 6

ひとこと要約

本稿は、C^n 内の座標部分空間に沿って不規則な超幾何Dモジュール MA(β) のGevery級数解を構成し、座標超平面に沿った勾配の組合せ的特徴付け—以前は鋭い行列に限って知られていた—が、任意のフルランク整数行列 A に対しても成り立つことを証明する。解空間のGevery次元の下界を多面体体積を用いて定め、非常に一般なパラメータに対して等号が成り立つことを示し、比較定理を用いて解析的・代数的勾配理論を統一する。

ABSTRACT

We study the irregularity of hypergeometric D-modules $\mathcal{M}_A (\beta )$ via the explicit construction of Gevrey series solutions along coordinate subspaces in $X =\mathbb{C}^n$. As a consequence, we prove that along coordinate hyperplanes the combinatorial characterization of the slopes of $\mathcal{M}_A (\beta)$ given by M. Schulze and U. Walther in [21] still holds without any assumption on the matrix A. We also provide a lower bound for the dimensions of the spaces of Gevrey solutions along coordinate subspaces in terms of volumes of polytopes and prove the equality for very generic parameters. Holomorphic solutions outside the singular locus of $\mathcal{M}_A (\beta)$ can be understood as Gevrey solutions of order one along X at generic points and so they are included as a particular case.

研究の動機と目的

• 座標部分空間に沿って、GKZ超幾何Dモジュール MA(β) の不規則性を、Gevery級数解の明示的構成によって研究すること。
• 以前は鋭い行列に限って成り立っていた座標超平面に沿った勾配の組合せ的特徴付けを、任意のフルランク整数行列 A に拡張すること。
• 多面体体積を用いて、座標部分空間に沿ったGevery解空間の次元に対する下界を提供すること。
• 非常に一般なパrameter β に対して、この下界が実際の次元と等しくなることを証明すること。
• 比較定理を用いて、滑らかな超曲面に沿って、解析的勾配と代数的勾配理論を統一すること。

提案手法

• 一般化されたΓ級数を用いて、座標部分空間 Yσ = {xᵢ = 0 : i ∉ σ} に沿って、s = max{|A⁻¹ₐₐᵢ| : i ∉ σ} のGevery級数解を明示的に構成する。
• Geveryフィルトレーションおよび解析的勾配の理論を適用し、非収束Gevery解と MA(β) の不規則性との関係を関連付ける。
• SchulzeとWalther [25] による s-特徴的サイクルの重複度公式を用いて、不規則性複体における余接バンドルの重複度を計算する。
• (s + ε)-特徴的サイクルおよび (1 + ε)-特徴的サイクルを用いて、座標超平面上の一般点における不規則性複体の次元を計算する。
• LaurentとMebkhoutの比較定理を適用し、滑らかな超曲面に沿って、ホロノミックDモジュールの代数的勾配と解析的勾配が一致することを示す。
• 格子および射影された格子の凸包における体積正規化を用いて、解空間の次元を多面体体積で表現する。

実験結果

リサーチクエスチョン

• RQ1 座標超平面に沿った MA(β) の組合せ的勾配特徴付けは、鋭い行列に限らず、任意のフルランク整数行列 A に対しても成り立つか？
• RQ2 多面体体積を用いて、座標部分空間に沿ったGevery解空間の次元に対する下界は何か？
• RQ3 どのパラメータ β に対して、Gevery解空間の次元に対する下界が等号となるか？
• RQ4 座標超平面に沿った MA(β) の解析的勾配と代数的勾配はどのように関係し、この文脈で比較定理を適用できるか？
• RQ5 特異点集合の外側の正則関数解は、空間全体 X に沿って1次Gevery解として解釈可能か？

主な発見

• 以前 Schulze と Walther によって鋭い行列に対して確立された、座標超平面に沿った MA(β) の勾配の組合せ的特徴付けは、任意のフルランク整数行列 A に対しても成り立つ。
• 座標部分空間に沿ったGevery解空間の次元に対する下界は、行列 A に関連する特定の多面体の正規化体積の和で与えられる。
• 非常に一般なパrameter β に対して、Gevery解空間の次元に対する下界が達成され、等号が成り立つ。
• 座標超平面 Y に沿った MA(β) の不規則性複体の一般点における次元は、体積の差として与えられる： ∑_{n∉τ∈Φₛᴬ} volZd(∆τ) − ∑_{n∉τ∈Φ₁ᴬ} volZd(∆τ)。
• σ ∈ T′ に対応する構成されたGevery級数 φₖₛ は、非常に一般な β に対して、共通定義域 U ⊆ Y 内の QY(s) の非ゼロ類の基底をなす。
• 座標超平面に沿った MA(β) の解析的勾配と代数的勾配は一致し、この文脈における比較定理の有効性が確認された。