[论文解读] Equidistribution of horospheres on moduli spaces of hyperbolic surfaces

Francisco Arana–Herrera|arXiv (Cornell University)|Dec 9, 2019

Geometry and complex manifolds参考文献 20被引用 4

一句话总结

本文通过证明在负欧拉示性数曲面的双曲结构模空间中，水平球段关于Mirzakhani测度的等分布性，将Mirzakhani关于简单闭测地线的等分布结果推广至更一般的情形。利用地震流的动力学性质与几何测度论技术，本文建立了一类由多曲线上的有界紧支集函数定义的水平球段，在长度趋于无穷时，其测度关于Mirzakhani测度等分布。

ABSTRACT

Given a simple closed curve $γ$ on a connected, oriented, closed surface $S$ of negative Euler characteristic, Mirzakhani showed that the set of points in the moduli space of hyperbolic structures on $S$ having a simple closed geodesic of length $L$ of the same topological type as $γ$ equidistributes with respect to a natural probability measure as $L o \infty$. We prove several generalizations of Mirzakhani's result and discuss some of the technical aspects ommited in her original work. The dynamics of the earthquake flow play a fundamental role in the arguments in this paper.

研究动机与目标

• 将Mirzakhani关于简单闭测地线的等分布结果推广至由多曲线与有界函数定义的更一般的水平球族。
• 填补Mirzakhani原始证明中关于Teichmüller空间内水平球段及其测度行为的技术空白。
• 建立与Weil-Petersson体积形式相关的测度geodesic lamination增长的统一有界性。
• 利用地震流的遍历性与强非发散性，证明在非局部对称、非齐次空间（如黎曼曲面模空间）中的等分布结果。
• 为未来在填充测地线计数问题及相关模空间动力系统中的应用提供严格基础。

提出的方法

• 将水平球段 $ B_{\nu}^{f,L} \to \text{Teich}(S_{g,n}) $ 定义为一组不相交的简单闭曲线 $ \nu = (\nu_1, \\dots, \nu_k) $ 的双曲长度的水平集，经 $ L $ 缩放并受函数 $ f $ 支持。
• 在 $ B_{\nu}^{f,L} $ 上构造自然的水平球段测度 $ \mu_{\nu}^{f,L} $，通过在底空间上积分Weil-Petersson测度，并在纤维上积分锥化后的Thurston测度。
• 利用地震流的遍历性与强非发散性，分析当 $ L \to \infty $ 时这些测度的渐近行为。
• 通过引入与长度泛函 $ \ell_\lambda $ 关联的流数据 $ (K(\epsilon_0), K(2\epsilon_0), F^\lambda) $，应用几何测度论，利用向量场 $ F^\lambda $ 生成一参数微分同胚 $ \varphi_t^\lambda $。
• 建立雅可比行列式 $ |\text{det}(\varphi_t^\lambda)| $ 与纤维范数的统一有界性，以控制流作用下的测度畸变。
• 利用恒等式 $ \mu_{\text{wp}}(U_X(2\epsilon)) = \int_0^\infty \eta_\lambda^r(U_X(2\epsilon)) \, dr $ 将Weil-Petersson体积与水平球测度 $ \eta_\lambda^r $ 的推出测度联系起来，从而导出对 $ \eta_\lambda^1(V) $ 的定量估计。

实验结果

研究问题

• RQ1 Mirzakhani关于简单闭测地线的等分布结果如何推广至由多曲线与有界函数定义的水平球？
• RQ2 地震流在非局部对称、非齐次模空间中建立等分布性方面起到何种作用？
• RQ3 能否通过几何流与测度畸变估计导出水平球测度增长的统一有界性？
• RQ4 水平球段的渐近行为如何与Mirzakhani测度及Weil-Petersson体积形式相关联？
• RQ5 在Mirzakhani原始工作中仅依赖定性遍历性论证的基础上，还需哪些技术性改进才能完成等分布性证明？

主要发现

• 当 $ L \to \infty $ 时，水平球段测度 $ \mu_\nu^{f,L} $ 在 $ P^1\mathcal{M}_{g,n} $ 上关于Mirzakhani测度等分布，将Mirzakhani结果推广至多曲线与有界函数情形。
• 对所有 $ X \in K $ 与 $ \lambda \in \mathcal{ML}_{g,n}(K(\epsilon_0)) $，建立了统一上界 $ \eta_\lambda^1(U_X(\epsilon)) \leq C \cdot \epsilon^{6g-6+2n-1} $，其中 $ C $ 仅依赖于拓扑。
• 函数 $ C(\lambda) = \frac{C_1 \cdot 2^{6g-6+2n} \cdot C_2(\lambda)}{C_3(\lambda)} $ 在紧集 $ \mathcal{ML}_{g,n}(K(\epsilon_0)) $ 上连续且达到最大值，确保统一控制。
• 证明依赖于由向量场 $ F^\lambda $ 诱导的流 $ \varphi_t^\lambda $，该流保持水平球结构，并通过雅可比行列式控制测度畸变。
• 通过结合积分恒等式 $ \mu_{\text{wp}}(U_X(2\epsilon)) = \int_0^\infty \eta_\lambda^r(U_X(2\epsilon)) \, dr $ 与 $ \eta_\lambda^{1+t}(\varphi_t^\lambda(V)) $ 的下界估计，导出对初始测度 $ \eta_\lambda^1(V) $ 的定量控制。
• 关键技术贡献在于对Teichmüller空间中测度畸变与体积增长的严格处理，填补了Mirzakhani原始论证中关于薄部分附近水平球段行为的技术空白。