[論文レビュー] An Algorithm of Constructing Cohomological Series Solutions of Holonomic Systems

Nobuki Takayama|ArXiv.org|Sep 23, 2003

Commutative Algebra and Its Applications参考文献 5被引用数 4

ひとこと要約

この論文は、D-加群の文脈において自由分解と境界作用素を活用することで、正則系のコホロロジー的級数解の基底を構成するためのアルゴリズムを提示する。b-関数を用いてオーキュの方法を一般化し、無限次元の問題を有限次元の計算に還元することで、A-超幾何系におけるゲヴレイクラスの明示的解の構成が可能になる。

ABSTRACT

We present an algorithm to construct a basis of k-th extension group of a D-module M in ring of the formal power series Ext_D^k(M,O).

研究の動機と目的

• 正則D-加群のk番目のコホロロジー的解空間 Ext^k_D(D/I, ŝO) の基底を明示的に構成するためのアルゴリズムを開発すること。
• b-関数と項順序を用いて、1変数作用素に対するオーキュの方法を多変数の場合に一般化すること。
• A-超幾何系におけるゲヴレイクラスの級数解を計算するための体系的な手順を提供すること。
• 標的加群 ŝO が正則でない場合に、拡張群のアルゴリズム的計算を可能とし、既存のアルゴリズムの限界を克服すること。

提案手法

• D-加群 M = D/I の自由分解を、境界作用素 ψ_i 及びその転置を用いて構成する。
• 分解に Hom_D(⋅, ŝO) を適用し、形式的べき級数加群のコチェーン複体を得る。
• 形式的べき級数環 ŝO を重みベクトル w と項順序 ≺ を用いて、C 上の無限次元ベクトル空間として符号化する。
• b-関数を用いて、無限次元系を切断 τ_m を通じて有限次元線形代数問題に還元する。
• 切断された境界写像 τ_m(Â^T) 及び τ_m(̄B^T) の核と像を計算し、各次数 m における近似解を得る。
• 線形非同次系を反復的に解き、次数 m から m+1 への解の拡張を実行し、べき級数展開における一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ŝO が正則でない場合に、k番目のコホロロジー的解空間 Ext^k_D(D/I, ŝO) の基底をどのようにアルゴリズム的に構成できるか。
• RQ2 b-関数は、無限次元D-加群計算を有限次元線形代数に還元する際に果たす役割は何か。
• RQ3 自由分解と境界作用素は、A-超幾何系の文脈でコホロロジー的解を計算するためにどのように利用できるか。
• RQ4 この方法は、不規則特異点を有する系においてゲヴレイクラスの解を構成するために拡張可能か。
• RQ5 パラメータ行列 A = (1,2) を有するA-超幾何系の解空間の構造は何か。

主な発見

• 与えられた系における Ext^0_D(M, ŝO) の次元は 1 であり、基底は級数 ∑_{m,n} (2)_{m+n}(3)_m(5)_n / (m!n!) x^m y^n で与えられる。
• 原点における Ext^1_D(M, ŝO) の次元は 2 であり、τ_0(Â^T) の核を τ_0(̄B^T) の像で割ることで基底が構成される。
• 0次近似の基底は (1, 0, -5y) および (0, 1, 3x) であり、単項式順序 [[0,0,0],[1,0,0],[2,1,0],[2,0,1]] で符号化されている。
• 1次近似は非同次系を解くことで得られ、解として (1+10y, 0, -5y-45yx+60y²/2!) および (0, 1+6x, 3x-36x²/2!+27yx) が得られる。
• 2次近似は有理数係数で計算され、例えば 1 + 10y + (1601775000/10611803)x² + ... のように得られ、収束性と一貫性が確認される。
• この方法はゲヴレイ-1クラスにおける解の構成に成功しており、A-超幾何系への適用可能性が示された。