[论文解读] Non-Abelian number theory and the structure of curves on surfaces

Moira Chas|arXiv (Cornell University)|Aug 9, 2016

Mathematical Dynamics and Fractals参考文献 4被引用 3

一句话总结

本文通过分析映射类群作用下的轨道，研究了具有一个边界分量的环面上曲线的组合学，揭示了固定自相交数与词长的曲线数量渐近增长为 $ \ell^2 $ 的有理倍数，其系数与欧拉函数相关。关键贡献在于通过米尔扎哈尼的渐近公式，建立了非交换数论、双曲几何与算术之间的新联系，提出了关于增长系数有理性和结构的六个精确猜想。

ABSTRACT

In this note we study numerically the combinatorics of curves and geodesics on the torus with one boundary component. A potential computational difficulty is avoided by counting inside specific orbits of the mapping class group up to a certain length, either geometric or combinatorial. Some cases are rigurolosly determined and the Euler totient function emerges. More complicated orbits are computed to suggest an array of formulae continuing to involve the Euler totient function. We formulate six precise conjectures. These include a novel study of an "inverse" function of the Mirzakhani's asymptotics. The geometric part of our study was motivated by the rationality aspect of these asymptotics.

研究动机与目标

• 理解映射类群作用下，具有固定自相交数的环面（一个边界分量）上曲线的增长规律。
• 通过聚焦于给定长度下映射类群轨道，克服曲线计数中指数增长带来的计算挑战。
• 建立组合词长增长与几何长度渐近行为之间的联系，尤其基于米尔扎哈尼的工作。
• 提出并检验关于欧拉函数、有理系数与曲线上轨道结构之间关系的猜想。
• 将观察到的模式推广至一般亏格 $ g $ 与 $ n $ 个边界分量的双曲曲面，提出一个基于算术与拓扑的非交换数论框架。

提出的方法

• 计算映射类群 $ M(1,1) $ 的轨道中，词长不超过 $ \ell $ 的无向曲线数量，使用基本群生成元 $ a, b, A, B $ 的循环约化词。
• 使用欧拉函数 $ \Phi(n) $ 计算自相交数 $ k = 0,1,2,3 $ 的轨道的确切计数，表明 $ c_\ell(\alpha) = 2\sum \Phi(\cdot) $。
• 在单孔环面上构造显式的双曲度量，以计算曲线的几何长度，从而与基于词长的渐近公式进行比较。
• 将米尔扎哈尼的几何长度渐近公式与组合词长结果进行比较，发现其有理系数一致。
• 通过数值实验与图形分析，支持关于曲线计数渐近行为的猜想，包括米尔扎哈尼增长公式的反函数。
• 将观察到的模式推广至更高亏格与边界分量，提出一个根植于算术与拓扑的非交换数论框架。

实验结果

研究问题

• RQ1 在单孔环面上，给定曲线轨道中，固定自相交数与词长的曲线数量如何增长？
• RQ2 此类轨道的增长系数能否以欧拉函数表示为有理数形式，且是否与米尔扎哈尼的几何渐近公式一致？
• RQ3 米尔扎哈尼渐近函数的反函数与给定轨道中曲线的几何长度之间是否存在函数关系？
• RQ4 词长渐近展开中 $ \ell^2 $ 项的系数是否与几何长度计数导出的有理常数一致？
• RQ5 涉及欧拉函数与有理系数的观测到的增长模式，能否推广至所有亏格 $ g $ 与 $ n $ 个边界分量的双曲曲面？

主要发现

• 当自相交数 $ k = 0 $ 时，曲线轨道中词长为 $ \ell $ 的曲线数量恰好为 $ 2\Phi(\ell) $，累计计数渐近于 $ \frac{6}{\pi^2}\ell^2 $。
• 当 $ k = 1 $ 且部分适用于 $ k = 2 $ 时，每条轨道中词长为 $ \ell $ 的曲线数量可精确表示为欧拉函数之和，从而得到有理增长系数。
• 每条轨道中曲线的几何长度渐近公式与基于词长的系数一致，米尔扎哈尼常数被分解为拓扑、几何与轨道特异性部分，全部为有理数。
• 所有自相交数为 $ k $ 的曲线轨道的增长系数 $ p_\alpha $ 之和比此类轨道的总数少一，暗示深层的算术结构。
• 猜想 4 提出，所有此类曲线计数均可表示为 $ 2\sum \Phi\left(\frac{\ell + j_i}{k_i}\right) $，暗示渐近增长为 $ \frac{6}{\pi^2} p \ell^2 $，其中 $ p $ 为有理数，且该猜想在 $ k \leq 3 $ 的数据中得到支持。
• 在词长与几何长度两种设定下，增长系数的有理性表明，双曲曲面存在更广泛的非交换数论框架。