[論文レビュー] Monodromy of A-hypergeometric functions

Frits Beukers|arXiv (Cornell University)|Jan 3, 2011

Nonlinear Waves and Solitons参考文献 16被引用数 18

ひとこと要約

本稿では、複雑な幾何的ホロノミー変形を避けて、メリン＝バーンズ積分と局所級数展開を用いてA超幾何的系のモノドロミー群を組み合わせ論的に計算する手法を提示する。非共鳴条件のもとで、モノドロミー群はスカラー倍を除き一意な不変ヘルミート形式をもつことが示され、その符号は三角形分割上の三角関数積によって定まる。

ABSTRACT

Using Mellin-Barnes integrals we give a method to compute a relevant subgroup of the monodromy group of an A-hypergeometric system of differential equations. Presumably this group is the full monodromy group of the system. This article is a major rewrite of an article posted 2 years ago.

研究の動機と目的

• 複雑な幾何的輪郭変形に依存せずに、A超幾何的系のモノドロミー群を組み合わせ論的に行う手法の開発。
• A行列の正則三角形分割に関連する局所解を用いたモノドロミー群の特徴付け。
• 非共鳴系において、スカラー倍を除き一意な不変ヘルミート形式が存在することの確立。
• メリン＝バーンズ積分が解の基底をなす場合に、モノドロミー生成子を計算する実用的アルゴリズムの提供。
• 古典的系、例えばAppell F2およびE(3,6)に対して本手法を検証し、同型変換による先行結果との整合性を示す。

提案手法

• A行列の正則三角形分割に対応する級数展開からの局所モノドロミーを利用する。
• 多変数メリン＝バーンズ積分を介して局所解を結ぶことで、グローバルモノドロミーを構成する。
• メリン＝バーンズ積分が解の基底をなすという仮定4.5を適用し、完全に組み合わせ論的構成を可能にする。
• 第6節のレシピに従い、三角形分割データと留数計算を用いてモノドロミー行列を計算する。
• ボックス作用素子とトーリックイデアルIAの対応関係を用いて、微分系HA(α)を定義する。
• 既存のモノドロミー生成子との比較のため、同型変換を用い、Appell F2およびE(3,6)における先行研究との一貫性を確認する。

実験結果

リサーチクエスチョン

• RQ1 A超幾何的系のモノドロミー群は、明示的な輪郭変形を用いずに、組み合わせ論的に計算可能か？
• RQ2 メリン＝バーンズ積分が解の基底をなすとき、モノドロミー群の構造はいかなるものか？
• RQ3 実パラメータをもつ非共鳴A超幾何的系に対して、一意な不変ヘルミート形式が存在するか？
• RQ4 不変ヘルミート形式の符号は、三角形分割データおよび収束方向とどのように関係するか？
• RQ5 本手法で計算されたモノドロミー生成子は、既知の事例における古典的アプローチの生成子と同型か？

主な発見

• E(3,6)系に対して82個のモノドロミー行列を計算したが、生成子の集合が異なっても、先行結果と整合的であった。
• Appell F2系において、計算されたモノドロミー行列はKato (1981) の結果と同型であることが確認され、群の同値性が裏付けられた。
• E(3,6)系は、6個の特定の格子点を含むBゾノトープによって、メリン＝バーンズ解の基底をもつことが検証された。
• 非共鳴A超幾何的系に実パラメータαをもつ場合、一意な不変ヘルミート形式が存在し、その符号はPicard, Terada, Deligne-Mostowの結果と一致する。
• 符号は、三角形分割上のπγiIの正弦積の符号によって定まることが、予想通りに特定された。
• 三角形分割とメリン＝バーンズ積分からの組み合わせ論的データを用いることで、幾何的複雑性を回避し、アルゴリズム的計算を可能にした。