[论文解读] Counting curves, and the stable length of currents

Viveka Erlandsson, Hugo Parlier+1 more|Bristol Research (University of Bristol)|Dec 18, 2016

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

一句话总结

该论文确定了在曲面上给定拓扑类型的曲线数量的渐近增长速率，表明在度量空间上的离散、余紧等距作用下，该计数以 $6g - 6 + 2r$ 次多项式增长。关键贡献在于证明了通过此类作用中的平移长度定义的曲线的稳定长度，可连续且齐次地延拓至当前空间，从而实现通过几何与动力学方法的精确计数。

ABSTRACT

Let $γ_0$ be a curve on a surface $Σ$ of genus $g$ and with $r$ boundary components and let $π_1(Σ)\curvearrowright X$ be a discrete and cocompact action on some metric space. We study the asymptotic behavior of the number of curves $γ$ of type $γ_0$ with translation length at most $L$ on $X$. For example, as an application, we derive that for any finite generating set $S$ of $π_1(Σ)$ the limit $$\lim_{L o\infty}\frac 1{L^{6g-6+2r}}\{γ ext{ of type }γ_0 ext{ with }S ext{-translation length}\le L\}$$ exists and is positive. The main new technical tool is that the function which associates to each curve its stable length with respect to the action on $X$ extends to a (unique) continuous and homogenous function on the space of currents. We prove that this is indeed the case for any action of a torsion free hyperbolic group.

研究动机与目标

• 理解在曲面基本群的等距群作用下，固定拓扑类型的曲线数量的渐近增长行为。
• 将曲线的平移长度（即稳定长度）概念延拓至当前空间，确保其连续性与齐次性。
• 证明此类曲线的计数增长率是 $6g - 6 + 2r$ 次多项式，且该指数与度量或作用无关，只要作用是离散且余紧的。
• 通过当前理论，将关于双曲及非正曲率曲面的已知结果推广至任意度量作用。
• 将渐近增长常数分解为仅依赖于曲线类型的因子与仅依赖于作用的因子。

提出的方法

• 将曲线的稳定长度定义为 $\pi_1(\Sigma)$ 在测地度量空间 $X$ 上的等距作用下的下确界平移长度。
• 通过连续且齐次的延拓，将稳定长度函数从曲线（共轭类）扩展至当前空间。
• 利用当前理论与映射类群的作用分析特定类型曲线的轨道结构。
• 以 Mirzakhani 和 Erlandsson-Souto 关于双曲及非正曲率度量中长度增长的结果作为基础工具。
• 构造曲面 $\Sigma$ 内部的一个紧致子曲面 $\Sigma_K$，使得所有类型为 $\gamma_0$ 的曲线的最小长度代表元均位于 $\Sigma_K$ 的统一邻域内。
• 利用最小长度测地线实现最小交点数（Freedman-Hass-Scott）的事实，来控制曲线绕边界分量的缠绕次数。

实验结果

研究问题

• RQ1 在曲面基本群的离散、余紧等距作用下，固定拓扑类型 $\gamma_0$ 的曲线数量，其平移长度不超过 $L$ 的增长是否为多项式？
• RQ2 对于任意无挠双曲群作用，是否可将曲线的稳定长度连续且齐次地延拓至当前空间？
• RQ3 此类曲线计数的精确渐近增长速率为何？其是否仅依赖于亏格、边界分量及作用？
• RQ4 渐近增长常数是否可分解为仅依赖于曲线类型的因子与仅依赖于作用的因子？
• RQ5 该结果是否推广了已知的关于双曲及非正曲率度量的渐近计数结果？

主要发现

• 对于任意 $\pi_1(\Sigma)$ 在测地度量空间 $X$ 上的离散、余紧等距作用，极限 $\lim_{L\to\infty} \frac{1}{L^{6g-6+2r}} |\{\gamma \in \mathcal{S}_{\gamma_0} \mid \ell_X(\gamma) \leq L\}|$ 存在且为正。
• 对于任意无挠双曲群作用，稳定长度函数可唯一延拓为当前空间上的连续且齐次函数。
• 对于 $\pi_1(\Sigma)$ 的任意有限生成集 $S$，类型为 $\gamma_0$ 且 $S$-平移长度不超过 $L$ 的曲线数量，其渐近增长为 $L^{6g-6+2r}$，且常数为正。
• 不同类型 $\eta$ 与 $\eta'$ 的曲线数量之间的渐近增长比为有理数：$\frac{n_\eta}{n_{\eta'}}$，其中 $n_\eta \in \mathbb{Q}$。
• 该结果推广了推论 1.3：对于 $\Sigma$ 内部任意完备黎曼度量 $\rho$，类型为 $\gamma_0$ 且 $\rho$-长度不超过 $L$ 的曲线数量，其增长为 $L^{6g-6+2r}$，且常数为正。
• 存在一个紧致子曲面 $\Sigma_K$，使得所有类型 $\gamma_0$ 的最小长度代表元均位于 $\Sigma_K$ 的统一邻域内，从而保证了在 $\Sigma_K$ 上限制的万有覆叠作用的余紧性。