[论文解读] Statistical hyperbolicity in Teichmüller space

Spencer Dowdall, Moon Duchin+1 more|arXiv (Cornell University)|Aug 27, 2011

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

一句话总结

该论文证明了Teichmüller空间表现出统计双曲性：尽管在严格意义上并非双曲空间，但测地线通常会花费正比例的时间处于厚部分；在多种自然测度（Hausdorff、Busemann、Holmes–Thompson、视觉测度以及Masur–Veech测度）下，大球面上点之间的平均距离渐近于$2r$，表明最大发散。这说明‘大多数三角形几乎是细长的’，且当测地线在其长度的正比例部分处于厚区域时，其测地线段满足稳健的细三角形性质。

ABSTRACT

In this paper we explore the idea that Teichmüller space is hyperbolic "on average." Our approach focuses on studying the geometry of geodesics which spend a definite proportion of time in some thick part of Teichmüller space. We consider several different measures on Teichmüller space and find that this behavior for geodesics is indeed typical. With respect to each of these measures, we show that the average distance between points in a ball of radius r is asymptotic to 2r, which is as large as possible. Our techniques also lead to a statement quantifying the expected thinness of random triangles in Teichmüller space, showing that "most triangles are mostly thin."

研究动机与目标

• 研究Teichmüller空间是否在‘平均’意义上表现出类似双曲的行为，尽管它并非$δ$-双曲的。
• 确定在各种自然测度下，测地线在Teichmüller空间的厚部分花费确定比例时间是否为典型情况。
• 通过统计发散指数$E(X)$量化Teichmüller空间中三角形的普遍细长性。
• 建立Teichmüller空间中大球面上点之间的平均距离渐近于$2r$，表明最大发散与统计双曲性。
• 证明对于在其长度的正比例部分处于厚区域的测地线段，细三角形性质成立，推广了先前的结果。

提出的方法

• 定义统计发散指数$E(X) = \lim_{r\to\infty} \frac{1}{r} \int_{\mathcal{S}_r(x)\times\mathcal{S}_r(x)} d(y,z)\, d\mu_r(y)d\mu_r(z)$，以衡量空间发散的速度。
• 在Teichmüller空间上使用多种测度：Hausdorff测度、Busemann测度、Holmes–Thompson测度、来自二次微分的视觉测度，以及Masur–Veech测度。
• 证明这些测度彼此绝对连续，并通过显式不等式关联，从而实现在不同测度间传递概率结果。
• 通过映射类群上的随机游走分析随机测地线，利用Teichmüller空间的厚部分与薄部分的结构。
• 应用大偏差估计与指数尾部界，控制测地线在厚集之外花费的时间比例，使用函数$u_\tau$与$s_{2i}$追踪停留时间。
• 使用矩生成函数与指数鞅技巧，界定随机游走花费超过比例$\rho$的时间在共 compact 集之外的概率，从而得到关于$n$的指数衰减。

实验结果

研究问题

• RQ1 在自然测度下，Teichmüller空间中的测地线是否通常在其长度的正比例部分处于厚区域？
• RQ2 Teichmüller空间中大球面上点之间的平均距离是否趋近于$2r$，表明最大发散与统计双曲性？
• RQ3 细三角形性质能否推广至在其长度的正比例部分处于厚区域的测地线段，而不仅限于完全处于厚区域的测地线段？
• RQ4 Teichmüller空间上的多种自然测度——Hausdorff、Busemann、视觉测度、Masur–Veech测度——是否彼此绝对连续，从而实现一致的概率分析？
• RQ5 随机测地线在厚区域停留的期望时间比例是多少？这与三角形的普遍细长性有何关联？

主要发现

• 在所有考虑的测度下，Teichmüller空间中半径为$r$的大球面上点之间的平均距离渐近于$2r$，确认了统计双曲性。
• 对任意$\epsilon>0$与$0<\theta\leq1$，存在常数$C,L$，使得若测地线段$I\subset[x,y]$长度$\geq L$，且其至少$\theta$的比例长度位于$\epsilon$-厚区域，则对所有$z$，$I$与$[x,z]\cup[y,z]$的$C$-邻域相交，推广了Rafi的细三角形结果。
• 在所研究的所有测度——Hausdorff、Busemann、Holmes–Thompson、视觉测度与Masur–Veech测度——下，随机测地线在厚集之外花费超过比例$\rho$时间的概率，随测地线长度呈指数衰减。
• 在这些测度下，Teichmüller空间的统计发散指数$E(X)$等于$2$，表明其在最大发散的意义上是‘统计双曲’的。
• 若每条边在其长度的超过一半部分位于厚区域，则Teichmüller空间中的随机三角形在‘几乎全部’意义上是细长的，即每条边均匀地靠近另两条边的并集。
• Teichmüller空间上的测度彼此绝对连续，且其密度在上下文中由显式常数一致有界，从而可在不同几何与测度框架间实现稳健的概率转移。