[论文解读] The dimer model on Riemann surfaces, I

Nathanaël Berestycki, Benoît Laslier+1 more|arXiv (Cornell University)|Nov 25, 2019

Mathematical Dynamics and Fractals参考文献 38被引用 10

一句话总结

本文通过引入一种在穿孔面上实现的Temperley离散化，为黎曼曲面上的二聚模型建立了数学基础，从而通过添加穿孔解决了拓扑障碍，确保了模型的适定性。证明了高度涨落收敛于一个通过与Temperley森林之间的双射及拓扑卷绕条件表征的共形不变标度极限，确认了在非单连通曲面上的标度极限中具有普遍性。

ABSTRACT

This is the first article in a series of two papers in which we study the Temperleyan dimer model on an arbitrary bounded Riemann surface of finite topolgical type. The end goal of both papers is to prove the convergence of height fluctuations to a universal and conformally invariant scaling limit. In this part we show that the dimer model on the Temperleyan superposition of a graph embedded on the surface and its dual is well posed, provided that we remove an appropriate number of punctures. We further show that the resulting dimer configuration is in bijection with an object which we call Temperleyan forest, whose law is characterised in terms of a certain topological condition. Finally we discuss the relation between height differences and Temperleyan forest, and give a criterion guaranteeing the convergence of the height fluctuations in terms of the Temperleyan forest.

研究动机与目标

• 通过添加穿孔以解决拓扑障碍，为有限型黎曼曲面建立一个适定的二聚模型。
• 定义一种保持液相行为与标度极限中共形不变性的黎曼曲面Temperley离散化。
• 通过与满足特定拓扑与概率条件的Temperley森林之间的双射来表征二聚模型。
• 将高度函数涨落与嵌入树及CRSF（循环根生成森林）的卷绕联系起来，从而实现收敛性分析。

提出的方法

• 引入图及其对偶图在黎曼曲面上的Temperley叠加概念，确保与拓扑结构的兼容性。
• 利用二聚配置与Temperley森林之间的双射，其中森林的分布由其在万有覆盖上的拓扑卷绕条件决定。
• 应用Wilson算法生成一个有向的、带边界的循环根生成森林（CRSF），作为高度函数构造的骨干。
• 通过分析万有覆盖中路径的卷绕来控制高度函数及其涨落的行为。
• 通过割集探索的局部耦合技术比较随机游动路径并控制卷绕偏差。
• 利用一致穿越估计与万有覆盖紧子集上的Möbius不变覆盖论证，证明了卷绕偏差的指数尾部界。

实验结果

研究问题

• RQ1 在具有非平凡拓扑的通用黎曼曲面上，如何一致地定义二聚模型，考虑到高度函数对边界和拓扑条件的敏感性？
• RQ2 哪些拓扑与概率条件可确保黎曼曲面上的循环根生成森林（CRSF）为Temperley型，即与二聚模型的标度极限相容？
• RQ3 黎曼曲面上的高度函数涨落如何与万有覆盖中嵌入树及CRSF路径的卷绕相关联？
• RQ4 在标度极限中，何种条件可保证高度函数涨落收敛于一个共形不变的极限？
• RQ5 高度函数的收敛性是否可归约为对万有覆盖中随机游动路径卷绕的控制？

主要发现

• 在曲面上适当添加穿孔后，黎曼曲面上的二聚模型变得适定，从而实现了稳定的Temperley离散化。
• 建立了二聚配置与Temperley森林之间的双射，其中森林的分布由其在万有覆盖上的拓扑卷绕条件表征。
• 证明了在万有覆盖上的高度函数等价于某个单值函数的梯度，其涨落由CRSF的卷绕决定。
• 通过一致穿越估计与覆盖空间技术，证明了卷绕偏差的指数尾部界，从而对路径涨落实现了严格控制。
• 在不变性原理与穿越估计假设下，建立了高度函数在分布意义上的收敛性，其极限为共形不变且与离散化序列无关。
• 高度涨落的极限分布为共形不变且具有普遍性，不依赖于Temperley离散化序列的具体选择，从而在该设定下证实了Kenyon–Okounkov猜想。