[論文レビュー] Quivers and difference Painleve equations

Philip Boalch|ArXiv.org|Jun 18, 2007

Algebraic structures and combinatorial models参考文献 25被引用数 19

ひとこと要約

本稿では、Fuchsian系の対称性として、星型アフィン・ディンキン図形に対応するクーヴァー多様体を介して、$E_6$、$E_7$、$E_8$ 型のアフィン・ウェーラー対称性群を有する差分・ピカード方程式の自然なLax対を構成する。主な結果として、クロネイマーのハイパーカレルクーヴァー多様体と Sakai の離散・ピカード方程式の分類との直接的な対応関係を確立し、アフィン・ウェーラー群の平行移動部分群が、Fuchsian系の2次元モジュライ空間上で所望の差分・ピカード方程式として作用することを示している。

ABSTRACT

We will describe natural `Lax pairs' for the difference Painleve equations with affine Weyl symmetry groups of types E6, E7 and E8, showing that they do indeed arise as symmetries of certain Fuchsian systems of differential equations.

研究の動機と目的

• アフィン・ウェーラー対称性群が $E_6$、$E_7$、$E_8$ 型である、未解決の差分・ピカード方程式に対する明示的なLax対を構成すること。
• これらの対称性を、Fuchsian系（$\mathbb{P}^1$ 上の対数的接続）のモジュライ空間への双有理的作用として実現すること。
• 星型アフィン・ディンキン図形に対するクロネイマーのクーヴァー多様体と、サカイによる離散・ピカード方程式の分類との間の幾何的ブリッジを確立すること。
• アフィン・ウェーラー群の平行移動部分群が、系を支配する2階非線形差分方程式として作用することを示すこと。
• 文献[41]の問題Aを解消し、2次元モジュライ空間内に、所望の対称性群を有する線形系を同定すること。

提案手法

• 星型アフィン・ディンキン図形に付随するクーヴァー多様体を用いて、$\mathbb{P}^1$ 上のFuchsian系をパラメータ化する。
• Fuchsian系のモジュライ空間を、ランクを増加させた $\widehat{\mathcal{O}}_1 \times \cdots \times \widehat{\mathcal{O}}_m / \!\! / \mathrm{GL}_N(\mathbb{C})$ の商として構成する。
• メイケの対応を適用して、Fuchsian系のランクを決定する：$E_6$、$E_7$、$E_8$ に対してそれぞれ3、4、6である。
• クーヴァー多様体上の有限ウェーラー群作用を、残留固有値内の固有値の置換により、全アフィン・ウェーラー群へと上げる。
• 特定の固有値の置換（$m$番目の脚の最初の2つの固有値を入れ替えるもの）が、射影によってアフィン・ディンキン図形の中心的反射 $r_1$ を誘導することを示す。
• 次の同型を確立する：$N_{\mathcal{Q}}(\mathrm{pr}(\lambda)) \cong N_{\mathcal{Q}^+}(\lambda) \cong N_{\mathcal{Q}^+}(\mathrm{perm}(\lambda)) \cong N_{\mathcal{Q}}(r_1(\mathrm{pr}(\lambda)))$。

実験結果

リサーチクエスチョン

• RQ1 アフィン・ウェーラー対称性群が $E_6$、$E_7$、$E_8$ 型である差分・ピカード方程式に対して、Lax対をどのように構成できるか？
• RQ2 これらの対称性の幾何的起源は、線形系とモジュライ空間の観点からどのように解釈できるか？
• RQ3 星型アフィン・ディンキン図形に対するクロネイマーのクーヴァー多様体と、サカイによる離散・ピカード方程式の分類とは、どのように関係しているか？
• RQ4 アフィン・ウェーラー群のモジュライ空間への作用は、Fuchsian系における固有値の置換によって実現可能か？
• RQ5 Fuchsian系の残留固有値構造とアフィン・ウェーラー群の根系との間の正確な対応関係は何か？

主な発見

• 本稿では、$\mathbb{P}^1$ 上のFuchsian系の対称性として、$E_6$、$E_7$、$E_8$ 対称性群を有する差分・ピカード方程式に対して明示的なLax対を構成している。
• これらのFuchsian系のモジュライ空間が、星型アフィン・ディンキン図形に対応するクロネイマーのクーヴァー多様体と同型であることが示されている。
• アフィン・ウェーラー群のモジュライ空間への作用は、Fuchsian系の残留行列の固有値の置換の上昇により実現されている。
• アフィン・ディンキン図形の中心的反射 $r_1$ は、ランクを増加させた系における $m$ 番目の脚の最初の2つの固有値を入れ替える置換に正確に対応する。
• アフィン・ウェーラー群の平行移動部分群が、2次元モジュライ空間上で所望の2階非線形差分方程式として作用する。
• 本構成により、文献[41]の問題Aが解かれており、必要な線形系が適切な対称性群とモジュライ次元を有することを同定している。