[论文解读] Dynamics of Convex Cocompact Subgroups of Mapping Class Groups

Ilya Gekhtman|arXiv (Cornell University)|Apr 8, 2012

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

一句话总结

本文通过在投影测度 foliation 空间上发展 Patterson-Sullivan 理论，建立了映射类群凸共 compact 子群中轨道增长与闭测地线的渐近计数公式。证明了轨道与伪 Anosov 元素共轭类的增长遵循 Margulis 型渐近行为，且 Bowen-Margulis 测度是混合的，将负曲率流形上的经典结果推广至 Teichmüller 动力系统。

ABSTRACT

For a convex cocompact subgroup $G

研究动机与目标

• 将 Margulis 和 Roblin 在负曲率流形上的渐近计数结果，从负曲率流形推广至映射类群的凸共 compact 子群在 Teichmüller 空间上的作用。
• 为 $ G < \mathrm{Mod}(S) $ 建立轨道增长的渐近公式，类比于 $ e^{-hR} |B_R(x) \cap Gy| \to \Lambda(x)\Lambda(y) $，其中 $ h $ 为收敛指数。
• 证明翻译长度 $ \leq R $ 的本原伪 Anosov 元素共轭类数量满足 $ hR e^{-hR} n_M(R) \to 1 $，与经典闭测地线计数结果一致。
• 尽管 Teichmüller 空间不具备全局负曲率，仍通过 $ \mathrm{PMF} $ 上的共形密度构造 $ G $-不变且混合的 Bowen-Margulis 型测度于单位余切丛。
• 证明 $ G $ 中伪 Anosov 元素的拉伸因子的对数生成 $ \mathbb{R} $ 的一个在稠密子群，从而确保长度谱的非算术性。

提出的方法

• 为 $ G < \mathrm{Mod}(S) $ 在 Thurston 边界 $ \mathrm{PMF} $ 上的作用发展 Patterson-Sullivan 理论的类比，构造唯一 $ G $-共形密度 $ \nu_x $，其支撑于极限集 $ \Lambda(G) \subset \mathrm{PMF} $。
• 通过使用 Busemann 函数对 $ \nu_x \times \nu_x $ 进行缩放，构造 $ Q^1(S) $ 上的有限紧支集 $ G $-不变测度 $ \mu $。
• 通过在 $ G $ 的长度谱上建立非退化条件，利用列车轨道坐标将一个子半群嵌入 $ \mathrm{SL}_n(\mathbb{R}) $，满足 Guivarch-Urban 条件，从而证明所得测度 $ \mu $ 是混合的。
• 使用遍历论技巧与 Hodge 范数估计，控制具有短平坦曲线的测地线段的贡献，重点关注那些在模空间的厚部分花费均匀比例时间的测地线段。
• 应用类似于 Roblin 的技术来计数行为良好的测地线，表明渐近行为由具有受控共轨行为的线段主导。
• 通过在局部邻域 $ \widehat{V}(x,r) $ 上使用单位分解论证，将测度的局部收敛性推广至全局弱收敛，从而完成渐近公式的证明。

实验结果

研究问题

• RQ1 能否在映射类群的凸共 compact 子群作用于 Teichmüller 空间时，建立类似于 Margulis 在负曲率流形上结果的渐近轨道增长公式？
• RQ2 翻译长度不超过 $ R $ 的本原伪 Anosov 元素共轭类数量是否满足与经典情况相同的渐近公式 $ hR e^{-hR} n_M(R) \to 1 $？
• RQ3 尽管 Teichmüller 空间不具备全局负曲率，与凸共 compact 子群 $ G < \mathrm{Mod}(S) $ 关联的 Bowen-Margulis 测度是否是混合的？
• RQ4 凸共 compact 子群 $ G $ 的长度谱（以伪 Anosov 元素拉伸因子的对数衡量）是否生成 $ \mathbb{R} $ 的一个在稠密子群，从而确保其非算术性？
• RQ5 能否为 $ G $ 构造 $ \mathrm{PMF} $ 上的共形密度，并利用它在 $ Q^1(S) $ 上定义一个有限、$ G $-不变的测度，使其行为类似于 Bowen-Margulis 测度？

主要发现

• 对于 $ G < \mathrm{Mod}(S) $，其轨道增长满足 $ \lim_{R\to\infty} e^{-hR} |B_R(x) \cap Gy| = \Lambda(x)\Lambda(y) $，其中 $ h $ 为收敛指数，$ \Lambda $ 为 $ \mathrm{Teich}(S) $ 上的连续 $ G $-不变函数。
• 翻译长度 $ \leq R $ 的本原伪 Anosov 元素共轭类数量满足 $ \lim_{R\to\infty} hR e^{-hR} n_M(R) = 1 $，确认了 Margulis 型渐近行为。
• 在 $ Q^1(S) $ 上构造的 Bowen-Margulis 型测度 $ \mu $ 是混合的，这对通过遍历理论证明计数结果至关重要。
• $ G $ 中伪 Anosov 元素的拉伸因子的对数生成 $ \mathbb{R} $ 的一个在稠密子群，证明了 $ G $ 的长度谱的非算术性。
• 渐近公式由那些在模空间厚部分花费均匀比例时间的测地线段控制，从而避免了短平坦曲线引起的病态行为。
• 通过在局部邻域 $ \widehat{V}(x,r) $ 上使用单位分解论证，实现了计数测度的全局收敛，极限测度与不变测度 $ \widetilde{\mu} $ 成比例。