[論文レビュー] Geometry of the Pfaff lattices

Yuji Kodama, Virgil U. Pierce|arXiv (Cornell University)|May 3, 2007

Advanced Algebra and Geometry参考文献 9被引用数 5

ひとこと要約

本稿は、リー代数の分解とモーメント写像理論を用いて、有限の Pfaff 格子をハミルトニアン系として完全可積分性を確立する。実の同スペクトル多様体が、対称群 $S_n$ の置換体（permutahedron）に微分同相であることを証明し、その頂点がフローの不動点に対応することを示す。これにより、$\tau$-関数と歪直交多項式を用いた幾何的分類が可能になる。

ABSTRACT

Pfaff lattice was introduced by Adler and van Moerbeke to describe the partition functions for the random matrix models of GOE and GSE type. The partition functions of those matrix models are given by the Pfaffians of certain skew-symmetric matrices called the moment matrices, and they are the $τ$-functions of the Pfaff lattice. In this paper, we study a finite version of the Pfaff lattice equation as a Hamiltonian system. In particular, we prove the complete integrability in the sense of Arnold-Liouville, and using a moment map, we describe the real isospectral varieties of the Pfaff lattice. The image of the moment map is a convex polytope whose vertices are identified as the fixed points of the flow generated by the Pfaff lattice.

研究の動機と目的

• アーノルド＝リウヴィルの意味で有限 Pfaff 格子の完全可積分性を確立すること。
• モーメント写像を用いて実の同スペクトル多様体の幾何を記述すること。
• GSE-Pfaff 格子に対して、モーメント写像の像を、対称群 $S_n$ の置換体として特定すること。
• $\tau$-関数が歪直交多項式および確率的行列理論のモーメント行列とどのように関係するかを特定すること。
• モーメント多面体の構造とその面を用いて、解の漸近的挙動を特徴づけること。

提案手法

• 自己同型 $\sigma(X) = JX^TJ$ によって誘導されるリー代数の分解 $\mathfrak{sl}(2n,\mathbb{R}) = \mathfrak{k} \oplus \mathfrak{sp}(n,\mathbb{R})$ を用い、ハミルトニアン構造を定義する。
• $\tau$-関数を歪直交多項式から導かれるモーメント行列のペファンによって構成する。
• Pfaff 格子の位相空間へのモーメント写像 $\mu$ を定義し、Cartan の代数の双対空間 $\mathfrak{h}^*_{\mathbb{R}}$ に写像する。
• モーメント写像の像が、$S_n$ の置換体であることを特定し、フローの不動点に対応する頂点を持つ凸多面体であることを示す。
• $SL(2n)$ の作用の構造を用いて、射影空間 $\mathbb{P}(\wedge^k\mathbb{R}^n)$ 上で $\tau$-関数の解を分類する。
• $SL(2n,\mathbb{R})$ の SR 分解を用い、一意な行列分解を定義することで、実行列上でのハミルトニアン系の適切な定式化を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限 Pfaff 格子をどのようにハミルトニアン系として定式化し、完全可積分性を証明できるか？
• RQ2 Pfaff 格子の実同スペクトル多様体の幾何的構造は何か？
• RQ3 Pfaff 格子の $\tau$-関数は、モーメント行列および歪直交多項式とどのように関係するか？
• RQ4 位相空間上のモーメント写像の像は何か？ そして、それが解の分類にどのように寄与するか？
• RQ5 モーメント多面体の頂点は、Pfaff フローの不動点とどのように対応するか？

主な発見

• Pfaff 格子は、アーノルド＝リウヴィルの意味で完全可積分であり、$2n^2 + n$ 個の独立したポisson可換な運動積分をもつ。
• Pfaff 格子の実同スペクトル多様体は、凸多面体（置換体）に微分同相であり、その頂点はフローの不動点に対応する。
• GSE-Pfaff 格子に対して、モーメント写像の像は、最高重み $w_* = (n-1, n-2, \dots, 1, 0)$ を持つ $S_n$ の置換体であり、$SL(n,\mathbb{R})$ の基本表現に対応する。
• $\tau$-関数は、モーメント行列のペファンの和として表現され、$\tau_{2k} = \sum_{i_1<\cdots<i_k} \Delta(i_1,\dots,i_k)^4 E_{i_1}^2 \cdots E_{i_k}^2$ と表され、歪直交多項式と関係する。
• モーメント多面体の面は、非一般の軌道に対応し、たとえば $c_2 = 0$ のとき、系は次元が低い部分系（例：$n=3$ のとき $n=2$ の系に還元）に縮退する。
• $n=3$ のときの六角形のモーメント多面体は、$b_1 = \partial \ln \tau_2 / \partial t_1$ および $b_2 = \partial \ln \tau_4 / \partial t_1$ の漸近的挙動の双対グラフから生じ、辺は非一般のフローを示す。