[論文レビュー] Generalized Bäcklund-Darboux transformations for Coxeter-Toda flows from a cluster algebra perspective

Michael Gekhtman, Michael Shapiro+1 more|arXiv (Cornell University)|Jun 7, 2009

Advanced Combinatorial Mathematics参考文献 26被引用数 9

ひとこと要約

本稿では、ドメインとアニュラス内の有向ネットワークを用いた境界測定とウェイの関数を通じて、コックスター–トーダフローにおける一般化されたバックリンド–ダーボウ変換を、有理関数の空間上のポアソン適合クラスター代数におけるクラスター変異の系列として構成することにより、一般化されたバックリンド–ダーボウ変換のためのクラスター代数フレームワークを確立する。主な貢献は、ディスクとアニュラスにおける有向ネットワークを通じた幾何的実現であり、可積分系、クラスター代数、ポアソン幾何を境界測定とウェイの関数によって結びつける。

ABSTRACT

We present the third in the series of papers describing Poisson properties of planar directed networks in the disk or in the annulus. In this paper we concentrate on special networks N_{u,v} in the disk that correspond to the choice of a pair (u,v) of Coxeter elements in the symmetric group and the corresponding networks N_{u,v}^\circ in the annulus. Boundary measurements for N_{u,v} represent elements of the Coxeter double Bruhat cell G^{u,v} in GL_n. The Cartan subgroup acts on G^{u,v} by conjugation. The standard Poisson structure on the space of weights of N_{u,v} induces a Poisson structure on G^{u,v}, and hence on its quotient by the Cartan subgroup, which makes the latter into the phase space for an appropriate Coxeter--Toda lattice. The boundary measurement for N_{u,v}^\circ is a rational function that coincides up to a nonzero factor with the Weyl function for the boundary measurement for N_{u,v}. The corresponding Poisson bracket on the space of weights of N_{u,v}^\circ induces a Poisson bracket on the certain space of rational functions, which appeared previously in the context of Toda flows. Following the ideas developed in our previous papers, we introduce a cluster algebra A on this space, compatible with the obtained Poisson bracket. Generalized Bäcklund--Darboux transformations map solutions of one Coxeter--Toda lattice to solutions of another preserving the corresponding Weyl function. Using network representation, we construct generalized Bäcklund-Darboux transformations as appropriate sequences of cluster transformations in A.

研究の動機と目的

• ディスクとアニュラス内の平面的有向ネットワークが誘導するポアソン構造と整合するクラスター代数フレームワークを構築すること。
• ウェイ関数を保存するクラスター変換の系列として一般化されたバックリンド–ダーボウ変換を特徴づけること。
• ネットワークに基づく境界測定を用いて、コックスター二重ブリュアートセル上の可積分トーダフローとクラスター代数構造を統一すること。
• ネットワーク変換と $G^{u,v}/\mathbf{H}$ 上のハミルトニアンフローとの幾何的・代数的対応関係を確立すること。
• Darboux 変換 $\mathcal{D}$ が、構築されたクラスター代数 $\mathcal{A}$ 内の特定のクラスター変異の系列から生じることを示すこと。

提案手法

• コックスター元 $u,v \in S_n$ に対応するディスク内の平面的有向ネットワーク $N_{u,v}$ とアニュラス内の $N_{u,v}^\circ$ を構築する。
• $N_{u,v}$ の境界測定を用いて、$GL_n$ のコックスター二重ブリュアートセル $G^{u,v} \subset GL_n$ の要素を定義し、$G^{u,v}$ およびその商 $G^{u,v}/\mathbf{H}$ 上にポアソン構造を誘導する。
• 有理関数としてのウェイ関数 $m(\lambda)$ を $N_{u,v}^\circ$ の境界測定から定義し、$N_{u,v}$ のウェイ関数と非ゼロ係数で関連づける。
• $\mathcal{R}_n$ 上の有理関数の空間上で、誘導されたポアソン括弧と適合するクラスター代数 $\mathcal{A}$ を定義する。
• 一般化されたバックリンド–ダーボウ変換を、$\mathcal{A}$ 内のクラスター変異の合成として実現する。具体的には、$w = s_{n-1} \cdots s_1$ を用いて、$T_{\mathcal{D}} = T^{w^{-1},w}_{u,v} \circ (T_{2n-3} \circ \cdots \circ T_1) \circ T^{w^{-1},w}_{u,v}$ という系列を用いる。
• $G^{u,v}/\mathbf{H}$ 上の Darboux 変換 $\mathcal{D}$ が、ウェイ関数における $H_i \mapsto H_{i+1}$ のシフトに対応し、$\eta(M(\lambda)) = \lambda M(\lambda) - H_0$ という写像によって実現されることを示す。

実験結果

リサーチクエスチョン

• RQ1 コックスター–トーダフローにおける一般化されたバックリンド–ダーボウ変換を、クラスター代数技法を用いて体系的に構成する方法は何か？
• RQ2 トーダフローのウェイ関数とディスクおよびアニュラス内の平面的有向ネットワークの境界測定との間の明確な関係は何か？
• RQ3 ネットワークの辺の重みから誘導される $G^{u,v}/\mathbf{H}$ 上のポアソン構造と、$\mathcal{R}_n$ 上のクラスター代数構造との関係は何か？
• RQ4 Darboux 変換 $\mathcal{D}$ は、ポアソン適合クラスター代数におけるクラスター変異の系列として表現可能か？
• RQ5 シフト作用素 $H_i \mapsto H_{i+1}$ は、クラスター代数フレームワーク内での Darboux 変換の実現において果たす役割は何か？

主な発見

• コックスター–トーダフローにおける一般化されたバックリンド–ダーボウ変換は、$\mathcal{R}_n$ 上のポアソン適合クラスター代数 $\mathcal{A}$ 内のクラスター変換の系列として実現される。
• $G^{u,v}/\mathbf{H}$ 上の Darboux 変換 $\mathcal{D}$ は、$F(X) = \frac{1}{2}\operatorname{tr}(\log^2 X)$ によって生成されるハミルトニアンフローの時間1写像と一致することが示された。
• $\mathcal{D}$ の作用は、$\eta(M(\lambda)) = \lambda M(\lambda) - H_0$ という写像により完全に記述され、これはウェイ関数の係数における $H_i \mapsto H_{i+1}$ のシフトに対応する。
• 変換 $\mathcal{D}$ は、$\mathcal{D} = \rho_{u,v} \circ \mathbf{x}_{u,v} \circ \eta \circ m_{u,v}$ と表され、ここで $m_{u,v}$, $\mathbf{x}_{u,v}$, および $\rho_{u,v}$ はウェイ関数空間上のネットワークに基づく写像である。
• クラスター変換系列 $T_{\mathcal{D}}$ は、$w = s_{n-1} \cdots s_1$ を用いて、$T^{w^{-1},w}_{u,v} \circ (T_{2n-3} \circ \cdots \circ T_1) \circ T^{w^{-1},w}_{u,v}$ として明示的に構成され、変異を用いて $H_i \mapsto H_{i+1}$ のシフトが実現される。
• 安定変数 $x_{2n} = 1$ を固定することにより、$SL_n$ に制限され、クラスター代数 $\mathcal{A}_1$ は $SL_n$ 内の二重ブリュアートセルと一致する。