[论文解读] Tau-functions \\`a la Dub\\'edat and probabilities of cylindrical events for double-dimers and CLE(4)

Mikhail Basok, Dmitry Chelkak|arXiv (Cornell University)|Sep 3, 2018

Advanced Algebra and Geometry被引用 8

一句话总结

本文通过单量程tau函数和基本群表示理论，建立了Temperley型区域上双偶模型中圆柱事件概率的收敛性，其极限为共形不变量。证明了这些极限与嵌套CLE(4)中相应环状层概率一致，为Dubédat关于拓扑可观测量表征CLE(4)测度的猜想提供了严格基础。

ABSTRACT

Building upon recent results of Dub\\'edat (see arXiv:1403.6076) on the convergence of topological correlators in the double-dimer model considered on Temperleyan approximations $\\Omega^\\delta$ to a simply connected domain $\\Omega\\subset\\mathbb C$ we prove the convergence of probabilities of cylindrical events for the \\emph{double-dimer loop ensembles} on $\\Omega^\\delta$ as $\\delta\ o 0$. More precisely, let $\\lambda_1,\\dots,\\lambda_n\\in\\Omega$ and $L$ be a macroscopic lamination on $\\Omega\\setminus\\{\\lambda_1,\\dots,\\lambda_n\\}$, i.e., a collection of disjoint simple loops surrounding at least two punctures considered up to homotopies. We show that the probabilities $P_L^\\delta$ that one obtains $L$ after withdrawing all loops surrounding no more than one puncture from a double-dimer loop ensemble on $\\Omega^\\delta$ converge to a conformally invariant limit $P_L$ as $\\delta \ o 0$, for each $L$. Though our primary motivation comes from 2D statistical mechanics and probability, the proofs are of a purely analytic nature. The key techniques are the analysis of entire functions on the representation variety $\\mathrm{Hom}(\\pi_1(\\Omega\\setminus\\{\\lambda_1,\\dots,\\lambda_n\\})\ o\\mathrm{SL}_2(\\mathbb C))$ and on its (non-smooth) subvariety of locally unipotent representations. In particular, we do \\emph{not} use any RSW-type arguments for double-dimers. The limits $P_L$ of the probabilities $P_L^\\delta$ are defined as coefficients of the isomonodormic tau-function studied by Dub\\'edat with respect to the Fock--Goncharov lamination basis on the representation variety. The fact that $P_L$ coincides with the probability to obtain $L$ from a sample of the nested CLE(4) in $\\Omega$ requires a small additional input, namely a mild crossing estimate for this nested conformal loop ensemble.

研究动机与目标

• 在区域的离散逼近上，严格建立双偶模型中宏观圆柱事件概率的收敛性。
• 证明极限概率具有共形不变性，并与嵌套CLE(4)中的概率一致。
• 通过拓扑可观测量对CLE(4)测度进行完整表征，填补Dubédat框架中的关键空白。
• 证明Dubédat工作中得到的拓扑相关函数唯一确定了极限测度，从而验证了双偶模型收敛于CLE(4)的猜想。

提出的方法

• 使用与基本群表示空间上Fock–Goncharov环状层基相关的单量程tau函数。
• 分析SL₂(ℂ)-表示空间及其单峰子簇上的整函数，以推导概率的收敛性。
• 应用全纯函数理论与表示空间中的展开技术，利用子域上的有界全纯函数。
• 通过Fock–Goncharov函数的级数展开的唯一性与收敛性论证，识别出系数与极限概率的关系。
• 通过对SU₂(ℂ)轨道取平均，确保不变性，并在紧致子集上导出一致展开。
• 通过在单位表示处取值，建立系数相等，从而确认极限概率的一致性。

实验结果

研究问题

• RQ1 在离散区域上的双偶模型中，圆柱事件的概率是否在网格尺寸δ→0时收敛到共形不变极限？
• RQ2 双偶模型环系的极限测度能否通过其拓扑相关函数唯一表征？
• RQ3 双偶模型中宏观环状层L的极限概率是否等于同一区域上嵌套CLE(4)中L的概率？
• RQ4 Dubédat的单量程tau函数与双偶模型中宏观环配置概率之间有何关系？
• RQ5 基本群的表示空间在编码双偶模型的拓扑可观测量中起什么作用？

主要发现

• 在ν-离散化区域上，双偶环系中观测到宏观环状层L的概率$ P_L^ u $，当$ \delta \to 0 $时收敛到共形不变极限$ P_L $。
• 极限概率$ P_L $由Fock–Goncharov环状层基下单量程tau函数的系数给出。
• 环系上的极限测度与区域上嵌套CLE(4)的分布一致，仅需一个温和的交叉估计。
• 收敛性通过表示空间上全纯函数的解析技术建立，无需依赖RSW型论证。
• tau函数展开的系数唯一确定了极限测度，证实了拓扑相关函数可表征CLE(4)律。
• 证明依赖于单峰子簇上全纯函数的消失性，该性质强制展开式中系数相等，从而证明了概率相等。