[论文解读] Grothendieck's Dessins d'Enfants in a Web of Dualities. II

Jian Zhou|arXiv (Cornell University)|Jun 30, 2019

Advanced Combinatorial Mathematics参考文献 48被引用 5

一句话总结

本文确立了格罗滕迪克的儿童画计数中，艾纳德-奥兰蒂内拓扑递归的谱曲线由A型Narayana数控制，将儿童画计数与Coxeter群、非交叉划分、自由概率及丛代数的组合学联系起来。儿童画tau函数的亏格零一函数给出的谱曲线揭示了其与广义Narayana数及可积系统中涌现几何的深层联系。

ABSTRACT

We show that the spectral curve for Eynard-Orantin topological recursions satisfied by counting Grothendieck's dessins d'enfants are related to Narayana numbers. This suggests a connection of dessins to combinatorics of Coxeter groups, noncrossing partitions, free probability theory, and cluster algebras.

研究动机与目标

• 探索格罗滕迪克儿童画在KP层级和拓扑递归框架下的涌现几何。
• 通过亏格零相关函数，识别儿童画计数的谱曲线和Bergman核。
• 揭示儿童画计数与Narayana数、Catalan数及其推广等组合不变量之间的联系。
• 将儿童画计数置于格罗莫夫-威滕理论、矩阵模型与拓扑递归之间多重对偶性的统一框架中。
• 基于广义Narayana数的生成函数，对B/C型和D型广义儿童画提出谱曲线的猜想。

提出的方法

• 推导儿童画tau函数的亏格零一函数，通过代数几何确定谱曲线。
• 计算亏格零二函数，识别Bergman核为 $ B(z_1,z_2) = \frac{dz_1 dz_2}{(z_1 - z_2)^2} $，这是艾纳德-奥兰蒂内递归的关键组成部分。
• 利用Kac-Schwarz算子和Sato Grassmannian基构造量子谱曲线，并将其与超几何型微分方程联系起来。
• 应用涌现几何框架，表明谱曲线自然源于KP层级的大相空间。
• 将儿童画理论的亏格零一函数与威滕-孔采维奇及矩阵模型理论的对应函数进行比较，揭示从Catalan数到Narayana数的转变。
• 利用广义Narayana数的生成函数及其有理参数化，对B/C型和D型儿童画提出谱曲线的猜想。

实验结果

研究问题

• RQ1 在儿童画计数的艾纳德-奥兰蒂内拓扑递归中，谱曲线与Narayana数等组合不变量有何关系？
• RQ2 亏格零一函数在确定儿童画计数谱曲线中的作用是什么？
• RQ3 广义Narayana数（A型、B/C型、D型）的生成函数如何对应不同类型的儿童画及其谱曲线？
• RQ4 KP层级的涌现几何如何统一儿童画计数与其他格罗莫夫-威滕型理论？
• RQ5 B/C型和D型‘干净’儿童画的谱曲线显式形式是什么？其如何从广义Narayana数的生成函数推导得出？

主要发现

• 儿童画tau函数的亏格零一函数为 $ G_{0,1}(x) = \frac{1}{2s}\left(1 - \frac{s(u+v)}{x} - \sqrt{1 - \frac{2s(u+v)}{x} + \frac{s^2(u-v)^2}{x^2}}\right) $，其中编码了A型Narayana数。
• 儿童画计数的谱曲线为 $ y^2 = \frac{1}{4s^2}\left(1 - \frac{2(u+v)s}{x} + \frac{(u-v)^2 s^2}{x^2}\right) $，由亏格零一函数导出。
• 递归的Bergman核为 $ B(z_1,z_2) = \frac{dz_1 dz_2}{(z_1 - z_2)^2} $，其中 $ z_j $ 通过 $ x_j $、$ u $、$ v $ 和 $ s $ 的有理函数定义。
• B/C型儿童画的生成函数为 $ \sum_{n=0}^\infty \frac{s^n}{x^{n+1}} \sum_{k=0}^n \binom{n}{k}^2 u^{n-k} v^k = \frac{1}{\sqrt{x^2 - 2s(u+v)x + s^2(u-v)^2}} $，由此导出一个猜想的谱曲线。
• 对于D型儿童画，生成函数包含与Narayana型生成函数导数相关的修正项，表明其谱曲线结构具有独特性。
• 本文猜想D型儿童画的谱曲线与一个修正生成函数相关，涉及 $ \frac{s(u+v)}{2x^2} + \frac{2 - \frac{s(u+v)}{x} + \frac{s^2(u-v)^2}{x^2}}{2x\sqrt{1 - \frac{2s(u+v)}{x} + \frac{s^2(u-v)^2}{x^2}}} $，表明其具有更丰富的代数结构。