[论文解读] Models of discretized moduli spaces, cohomological field theories, and Gaussian means

Jørgen Ellegaard Andersen, Leonid Chekhov+2 more|arXiv (Cornell University)|Jan 23, 2015

Topological and Geometric Data Analysis参考文献 54被引用 14

一句话总结

本文建立了高斯矩阵模型的亏格滤波矩与康特绍维奇–佩纳矩阵模型（KPMM）之间的组合联系，后者通过拓扑递归生成离散模空间 $χ_{g,s}^{\mathrm{disc}}$ 的体积。利用吉文塔尔型分解与拓扑递归，证明了离散体积的拟多项式性，并通过两种独立方法计算了 $χ_{g,1}$ 的亏格 $g$ 潜在函数的一阶次领修正项，验证了精化哈雷尔–察吉耶尔递推与吉文塔尔变换之间的一致性。

ABSTRACT

We prove combinatorially the explicit relation between genus filtrated $s$-loop means of the Gaussian matrix model and terms of the genus expansion of the Kontsevich--Penner matrix model (KPMM). The latter is the generating function for volumes of discretized (open) moduli spaces $M_{g,s}^{\\mathrm{disc}}$ given by $N_{g,s}(P_1,\\dots,P_s)$ for $(P_1,\\dots,P_s)\\in{\\mathbb Z}_+^s$. This generating function therefore enjoys the topological recursion, and we prove that it is simultaneously the generating function for ancestor invariants of a cohomological field theory thus enjoying the Givental decomposition. We use another Givental-type decomposition obtained for this model by the second authors in 1995 in terms of special times related to the discretisation of moduli spaces thus representing its asymptotic expansion terms (and therefore those of the Gaussian means) as finite sums over graphs weighted by lower-order monomials in times thus giving another proof of (quasi)polynomiality of the discrete volumes. As an application, we find the coefficients in the first subleading order for ${\\mathcal M}_{g,1}$ in two ways: using the refined Harer--Zagier recursion and by exploiting the above Givental-type transformation. We put forward the conjecture that the above graph expansions can be used for probing the reduction structure of the Delgne--Mumford compactification $\\overline{\\mathcal M}_{g,s}$ of moduli spaces of punctured Riemann surfaces.

研究动机与目标

• 建立高斯矩阵模型的亏格滤波矩与康特绍维奇–佩纳矩阵模型（KPMM）之间的直接组合关系。
• 证明KPMM自由能通过拓扑递归生成模空间 $χ_{g,s}^{\mathrm{disc}}$ 的离散体积 $N_{g,s}(P_1,\dots,P_s)$。
• 利用源自吉文塔尔型分解的图展开，证明 $N_{g,s}(P_1,\dots,P_s)$ 的拟多项式性。
• 通过精化哈雷尔–察吉耶尔递推与吉文塔尔变换两种方法，计算 $χ_{g,1}$ 的亏格 $g$ 潜在函数的一阶次领修正项，并验证结果一致性。

提出的方法

• 将KPMM用作离散体积 $N_{g,s}(P_1,\dots,P_s)$ 的生成函数，其为 $P_i$ 的拟多项式。
• 对KPMM的谱曲线应用拓扑递归，证明其生成具有初等相关函数 $\chi(\mathcal{M}_{g,s})$ 的量子上同调场论的祖先不变量。
• 利用KPMM的吉文塔尔型分解，将其分解为两个通过博戈柳博夫正则变换关联的康特绍维奇模型，将自由能项表示为图的有限和。
• 将亏格展开中的各项表示为加权图和：顶点（康特绍维奇模型项）、内部边（正则变换中的二次项）、外部半边/普通边（对应 $T^{\pm}_{2n}$）。
• 利用维拉斯罗约束与弦/稀释方程，计算一阶修正项所需的交点数 $\langle\tau_{3g-3}\tau_2\rangle_g$ 与 $\langle\tau_{3g-5}\rangle_{g-1}$。
• 应用精化哈雷尔–察吉耶尔递推，并与吉文塔尔变换结果比较，验证 $T^{+}_{6g-6}$ 的系数。

实验结果

研究问题

• RQ1 高斯矩阵模型的亏格滤波矩与康特绍维奇–佩纳矩阵模型的亏格展开之间有何关系？
• RQ2 能否通过吉文塔尔型分解导出的图展开，证明离散体积 $N_{g,s}(P_1,\dots,P_s)$ 的拟多项式性？
• RQ3 $χ_{g,1}$ 的亏格 $g$ 潜在函数的一阶次领修正项为何？两种独立方法是否给出一致结果？
• RQ4 KPMM自由能的图展开是否反映了德利涅–穆默福德紧化 $̅{\mathcal{M}}_{g,s}$ 的约化结构？
• RQ5 KPMM的拓扑递归与上同调场论及量子曲线结构之间有何关系？

主要发现

• KPMM的自由能是高斯矩阵模型的预解式的原函数，从而将其与谱曲线和量子曲线相联系。
• KPMM通过拓扑递归生成离散体积 $N_{g,s}(P_1,\dots,P_s)$，其为 $P_i$ 的拟多项式，且仅依赖于 $P_i$ 的偶次幂。
• $χ_{g,1}$ 的亏格 $g$ 潜在函数的一阶次领修正项为 $\frac{1}{5}[12g^2 - 7g + 5]$ 乘以 $T^{+}_{6g-6}$，该结果通过两种不同方法独立得出。
• $T^{+}_{6g-6}$ 的系数经由精化哈雷尔–察吉耶尔递推与吉文塔尔型变换双重验证，结果一致。
• KPMM自由能项的图展开通过具有标记顶点与边的图的有限和，为 $N_{g,s}(P_1,\dots,P_s)$ 的拟多项式性提供了新证明。
• 交点数 $\langle\tau_{3g-3}\tau_2\rangle_g$ 被计算为 $\frac{1}{5}[12g(g-1)+5]\langle\tau_{3g-2}\rangle_g$，该结果对修正项至关重要。