[論文レビュー] Classification of Fuchsian systems and their connection problem

Toshio Oshima|ArXiv.org|Nov 18, 2008

Molecular spectroscopy and chirality参考文献 16被引用数 25

ひとこと要約

この論文は、中間畳み込み操作を用いてリーマン球面上のフクシアン系を分類し、有限なスペクトル型を持つ基本形に変換する。可約でないフクシアン系とカク＝ムーディ代数の正ルートとの間の対応を確立し、可約性がスペクトル型が分解不能であること、または負の指数を持つことと同値であることを証明する。固定された指数に対しては、有限個の基本的タイプが存在する。

ABSTRACT

We review the Deligne-Simpson problem, a combinatorial structure of middle convolutions and their relation to a Kac-Moody root system discoverd by Crawley-Boevey. We show with examples that middle convolutions transform the Fuchsian systems with a fixed number of accessory parameters into fundamental systems whose spectral type is in a finite set and we give an explicit connection formula for solutions of Fuchsian differential equations without moduli.

研究の動機と目的

• リーマン球面上のフクシアン系を中間畳み込みおよび拡張操作を用いて分類すること。
• 可約でないフクシアン系とカク＝ムーディ代数の正ルートとの間の関係を確立すること。
• 行列の組によるスペクトル型が可約に実現可能であるための条件を特定すること。
• 固定された指数に対して、基本的スペクトル型が有限個しか存在しないことの証明。
• モジュライを含まないフクシアン方程式の解の明示的接続公式の提供。

提案手法

• 中間畳み込みおよび拡張操作を用いて、フクシアン系を基本形に変換する。
• スペクトル型を記述するため、$\mathbf{m} \in \mathcal{P}_{k+1}^{(n)}$ なる分割の組を定義する。
• 指数 $\operatorname{idx}(\mathbf{m}, \mathbf{m}')$ およびピオンカレ指数 $\operatorname{Pidx}\mathbf{m}$ を導入し、可約性を分類する。
• デレーヌ＝シンプソン問題およびカク＝ムーディ根系理論を応用し、可約な実現の特徴づけを行う。
• 積分変換およびモノドロミー対応を用いて、解の接続を分析する。
• 分解理論およびパラメータの一般性を用いて、可約性条件の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 どのスペクトル型のフクシアン系が行列の組により可約に実現可能か？
• RQ2 中間畳み込みは、付加的パラメータおよびスペクトル型に関して、どのようにフクシアン系を変換するか？
• RQ3 指数 $\operatorname{idx}(\mathbf{m})$ とフクシアン系の可約性の関係は何か？
• RQ4 固定された指数に対して、中間畳み込み操作の下で、何種類の基本的スペクトル型が存在するか？
• RQ5 いつ、フクシアン系がその解の明示的接続公式をもつのか？

主な発見

• スペクトル型 $\mathbf{m}$ が可約に実現可能であるための必要十分条件は、$\mathbf{m}$ が分解不能であること、または $\operatorname{idx}\mathbf{m} < 0$ であり、かつ $\alpha_{\mathbf{m}}$ が正ルートであることである。
• 基本的タイプの有限性および指数公式 $\operatorname{Pidx}d\overline{\mathbf{m}} = 1 + d^2(\operatorname{Pidx}\overline{\mathbf{m}} - 1)$ の結果として、固定された $\operatorname{idx}\mathbf{m}$ を持つ基本的スペクトル型は有限個に限られる。
• すべての $\lambda_{j,\nu} = 0$ であるノンポテン型（nilpotent case）は、$\operatorname{ord}\mathbf{m} = 1$ または $\mathbf{m}$ が基本的で、例8.3の特別な場合（$m \geq 2$）でないときに限り、可約でない組をもつ。
• 中間畳み込みは、固定された付加的パラメータを持つ系を、有限集合に属するスペクトル型を持つ基本系に写す。
• §9で、モジュライを含まない解の接続公式が明示的に構成されている。
• モノドロミー群と中間畳み込みの対応は、積分変換を用いて明確に記述されている。