[论文解读] Orbits of non-simple closed curves on a surface

Jenya Sapir|arXiv (Cornell University)|Feb 29, 2016

Mathematical Dynamics and Fractals参考文献 8被引用 6

一句话总结

本文研究双曲曲面上非单一线路闭测地线的映射类群轨道，给出了自交数不超过 $K$ 且长度不超过 $L$ 的此类轨道数量的紧致界。该文提出一种基于裤分解的新型组合模型，将几何问题转化为词组合问题，从而得到轨道计数的渐近界，进一步细化了 Mirzakhani 对单一线路闭测地线的生长结果。

ABSTRACT

The mapping class group of a surface $§$ acts on the set of closed geodesics on $§$. This action preserves self-intersection number. In this paper, we count the orbits of curves with at most $K$ self-intersections, for each $K \geq 1$. (The case when $K=0$ is already known.) We also restrict our count to those orbits that contain geodesics of length at most $L$, for each $L >0$. This result complements a recent result of Mirzakhani, which gives the asymptotic growth of the number of closed geodesics of length at most $L$ in a single mapping class group orbit. Furthermore, we develop a new, combinatorial approach to studying geodesics on surfaces, which should be of independent interest.

研究动机与目标

• 确定自交数不超过 $K$ 的闭测地线的映射类群轨道数量的渐近增长。
• 通过理解对总数有贡献的不同轨道数量，细化 Mirzakhani 对有界长度闭测地线的渐近计数。
• 为研究曲面上的测地线开发一种组合框架，将几何约束转化为裤分解上的词组合问题。
• 建立此类轨道数量的上下界，特别是在长度有界 $L$ 的限制下。

提出的方法

• 为每条测地线 $\gamma$ 和一个裤分解 $\Pi$ 构造一个组合词模型 $w_\Pi(\gamma)$，将其表示为绕裤边曲线绕行的路径。
• 利用词模型通过组合参数估计 $\gamma$ 的长度和自交数，从而将几何约束转化为离散计数问题。
• 使用二项式系数估计和 Stirling 型界控制此类词的数量，从而得到轨道计数的指数型上界。
• 应用不等式 $\binom{a+b}{b} \leq e^{b \log(2e a/b)}$ 控制由长度和交点约束产生的组合配置的增长。
• 通过分析两种情形 $M = \min\{d_X L + d_S \sqrt{K}, d_S K\}$，推导出 $\#\mathcal{O}(L,K)$（即长度 $\leq L$ 且自交数 $\leq K$ 的轨道数量）的上界。
• 利用 [Sap15b] 中对双曲裤面的 $\#\mathcal{G}^c(L,K)$ 的先前下界，在 $L$ 和 $K$ 满足适当条件时，推导出 $\#\mathcal{O}(L,K)$ 的下界。

实验结果

研究问题

• RQ1 在双曲曲面 $\mathcal{S}$ 上，有多少个映射类群轨道包含自交数不超过 $K$ 的闭测地线？
• RQ2 当 $K \to \infty$ 时，此类轨道数量的渐近增长如何，特别是当限制在长度 $\leq L$ 的测地线时？
• RQ3 基于裤分解的组合模型能否有效近似闭曲线的几何不变量（如长度和自交数）？
• RQ4 轨道数量 $\mathcal{O}(L,K)$ 如何随 $L$ 和 $K$ 增长？目前已知的最紧致上下界是什么？
• RQ5 曲线词表示的组合复杂度与其几何性质之间有何关系？

主要发现

• 自交数不超过 $K$ 的闭测地线的映射类群轨道数量满足 $\frac{1}{12}2^{\sqrt{K/12}} \leq \#\mathcal{O}(\cdot,K) \leq e^{d_{\mathcal{S}} \sqrt{K} \log d_{\mathcal{S}} \sqrt{K}}$，其中 $d_{\mathcal{S}}$ 仅依赖于曲面 $\mathcal{S}$。
• 对于长度不超过 $L$ 的曲线，此类轨道数量满足 $\#\mathcal{O}(L,K) \leq \min\left\{ e^{d_{\mathcal{S}} \sqrt{K} \log\left(d_X \frac{L}{\sqrt{K}} + d_X\right)}, e^{d_{\mathcal{S}} \sqrt{K} \log d_{\mathcal{S}} \sqrt{K}} \right\}$，其中常数依赖于 $\mathcal{S}$ 和度量 $X$。
• 建立了 $\#\mathcal{O}(L,K)$ 的下界：若 $L \geq 8l_X$ 且 $K \geq 12$，则 $\#\mathcal{O}(L,K) \geq \frac{1}{12} \min\left\{ 2^{L/(8l_X)}, 2^{\sqrt{K/12}} \right\}$，其中 $l_X$ 为与度量相关的常数。
• 基于裤分解的组合模型可有效从词表示估计长度和自交数，从而将几何问题转化为离散计数问题。
• 通过二项式系数界和 Stirling 型估计推导出 $\#\mathcal{O}(L,K)$ 的上界，指数部分受 $\sqrt{K} \log(\text{关于 } K \text{ 的多项式})$ 控制。
• 结果细化了 Mirzakhani 对闭测地线的渐近计数，提供了对贡献轨道数量的控制，尤其适用于非单一线路曲线。