[论文解读] 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

一句话总结

本文通过在有理函数上的泊松相容丛代数中将这些变换构造为丛突变序列，为考克斯eter–托达流中的广义巴克隆德–达布变换建立了一个丛代数框架。关键贡献是通过圆盘和环形区域内的有向网络实现了这些变换的几何实现，通过边界测量和威耳函数将可积系统、丛代数与泊松几何联系起来。

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.

研究动机与目标

• 开发一个与圆盘和环形区域内平面有向网络诱导的泊松结构相容的丛代数框架。
• 将广义巴克隆德–达布变换表征为保持威耳函数的丛变换序列。
• 通过基于网络的边界测量，将考克斯eter双布鲁盖特胞状集上的可积托达流与丛代数结构统一起来。
• 在有向网络变换与 $G^{u,v}/\mathbf{H}$ 上的哈密顿流之间建立几何与代数对应关系。
• 证明 $G^{u,v}/\mathbf{H}$ 上的达布变换 $\mathcal{D}$ 来源于所构造的丛代数 $\mathcal{A}$ 中特定的丛突变序列。

提出的方法

• 在圆盘中构造与考克斯eter元 $u,v \in S_n$ 相关的平面有向网络 $N_{u,v}$，在环形区域中构造 $N_{u,v}^\circ$。
• 利用 $N_{u,v}$ 的边界测量定义 $GL_n$ 中的考克斯eter双布鲁盖特胞状集 $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}$ 中丛突变的复合，具体使用序列 $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}$，其中 $w = s_{n-1} \cdots s_1$。
• 证明 $G^{u,v}/\mathbf{H}$ 上的达布变换 $\mathcal{D}$ 对应于威耳函数上的平移 $H_i \mapsto H_{i+1}$，该平移通过映射 $\eta(M(\lambda)) = \lambda M(\lambda) - H_0$ 实现。

实验结果

研究问题

• RQ1 如何利用丛代数技术系统地构造考克斯eter–托达流的广义巴克隆德–达布变换？
• RQ2 托达流的威耳函数与圆盘和环形区域中平面有向网络的边界测量之间存在何种精确关系？
• RQ3 由网络边权诱导的 $G^{u,v}/\mathbf{H}$ 上的泊松结构，与 $\mathcal{R}_n$ 上的丛代数结构之间有何关系？
• RQ4 达布变换 $\mathcal{D}$ 能否表示为泊松相容丛代数中的一系列丛突变？
• RQ5 平移算子 $H_i \mapsto H_{i+1}$ 在丛代数框架内实现达布变换的过程中起什么作用？

主要发现

• 考克斯eter–托达流的广义巴克隆德–达布变换在 $\mathcal{R}_n$ 上的泊松相容丛代数 $\mathcal{A}$ 中被实现为丛变换序列。
• 证明了 $G^{u,v}/\mathbf{H}$ 上的达布变换 $\mathcal{D}$ 与由 $F(X) = \frac{1}{2}\operatorname{tr}(\log^2 X)$ 生成的哈密顿流的单时间步映射完全一致。
• $\mathcal{D}$ 在 $G^{u,v}/\mathbf{H}$ 上的作用通过映射 $\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}}$ 明确构造为 $T^{w^{-1},w}_{u,v} \circ (T_{2n-3} \circ \cdots \circ T_1) \circ T^{w^{-1},w}_{u,v}$，其中 $w = s_{n-1} \cdots s_1$，通过丛突变实现了平移 $H_i \mapsto H_{i+1}$。
• 通过固定稳定变量 $x_{2n} = 1$，该构造可限制到 $SL_n$，使丛代数 $\mathcal{A}_1$ 与 $SL_n$ 中的双布鲁盖特胞状集对齐。