[论文解读] Dimers and cluster integrable systems

A. B. Goncharov, Richard Kenyon|arXiv (Cornell University)|Jul 27, 2011

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

一句话总结

本文建立了嵌入在环面上的二分图上的六价子模型与簇可积系统之间的深刻联系。结果表明，此类图上带有联络的线丛模空间构成一个泊松流形，微分同构于一个簇泊松流形，其中哈密顿量由配分函数生成，图之间的变换对应于簇突变。关键成果是通过泊松结构的 $q$-形变构造了量子可积系统，其应用涵盖电阻网络与八面体递推关系。

ABSTRACT

We show that the dimer model on a bipartite graph on a torus gives rise to a quantum integrable system of special type - a cluster integrable system. The phase space of the classical system contains, as an open dense subset, the moduli space of line bundles with connections on the graph. The sum of Hamiltonians is essentially the partition function of the dimer model. Any graph on a torus gives rise to a bipartite graph on the torus. We show that the phase space of the latter has a Lagrangian subvariety. We identify it with the space parametrizing resistor networks on the original graph.We construct several discrete quantum integrable systems.

研究动机与目标

• 建立环面上二分图上的六价子模型与簇可积系统之间的对应关系。
• 证明此类图上带有联络的线丛模空间是一个簇泊松流形。
• 通过经典泊松结构的 $q$-形变构造量子可积系统。
• 通过相空间中的拉格朗日子簇，将六价子模型与图上的电阻网络模型联系起来。
• 证明离散量子可积系统由簇自同构生成，包括八面体递推关系。

提出的方法

• 经典可积系统的相空间被识别为环面上二分图 $\Gamma$ 上带有联络的线丛模空间 $\mathcal{L}_\Gamma$。
• 哈密顿量之和本质上是六价子模型的配分函数，哈密顿量由配分函数的牛顿多边形的内部格点参数化。
• 二分图的初等变换在 $\mathcal{L}_{\Gamma_1}$ 与 $\mathcal{L}_{\Gamma_2}$ 之间诱导出双有理泊松同构，这些同构被证明是簇泊松变换。
• 通过这些变换将等价图的 $\mathcal{L}_\Gamma$ 空间粘合，形成一个全局泊松空间 $\mathcal{X}_N$，其索引为牛顿多边形 $N$，该空间继承了簇泊松流形结构。
• 通过将 $\mathcal{X}_N$ 上正则函数代数的 $q$-形变，得到一个 $\ast$-代数 $\mathcal{O}_q(\mathcal{X}_N)$，从而实现量子可积性，得到对易的量子哈密顿量。
• 该系统通过一个拉格朗日子簇 $\mathcal{R}$ 限制到电阻网络模型，其动力学由六边形网格上的立方体递推关系控制。

实验结果

研究问题

• RQ1 环面上二分图上的六价子模型如何生成具有对易哈密顿量的经典可积系统？
• RQ2 与牛顿多边形 $N$ 相关的相空间 $\mathcal{X}_N$ 的几何与代数结构是什么？
• RQ3 二分图的初等变换如何对应于模空间 $\mathcal{L}_\Gamma$ 上的簇泊松变换？
• RQ4 六价子模型能否被量子化，以生成具有对易量子哈密顿量的量子可积系统？
• RQ5 环面上的电阻网络模型如何嵌入六价子可积系统中，拉格朗日子簇 $\mathcal{R}$ 发挥了何种作用？

主要发现

• 环面上二分图 $\Gamma$ 上带有联络的线丛模空间 $\mathcal{L}_\Gamma$ 自带自然泊松结构，使其成为一个簇泊松流形。
• 若两个最小二分图的配分函数的牛顿多边形仅相差平移，则它们等价，且可通过一系列初等变换相互关联。
• 每个初等变换在 $\mathcal{L}_{\Gamma_1}$ 与 $\mathcal{L}_{\Gamma_2}$ 之间诱导出双有理泊松同构，且该同构即为 [FG03b] 中定义的簇泊松变换。
• 通过这些变换将 $\mathcal{L}_\Gamma$ 空间粘合，构造出全局相空间 $\mathcal{X}_N$，其具有簇泊松流形结构，哈密顿量由 $N$ 的内部格点参数化。
• $\mathcal{X}_N$ 上正则函数代数可进行 $q$-形变，得到 $\ast$-代数 $\mathcal{O}_q(\mathcal{X}_N)$，哈密顿量可上移为对易的量子哈密顿量族。
• 对于正方形网格图，该系统生成一个离散量子可积系统，其演化为与量子哈密顿量对易的簇自同构，且该构造实现了八面体递推关系。