[论文解读] The horofunction compactification of the arc metric on Teichmüller space

Daniele Alessandrini, Lixin Liu+2 more|arXiv (Cornell University)|Nov 23, 2014

Geometric and Algebraic Topology参考文献 16被引用 6

一句话总结

本文通过弧度量——一种类似于Thurston原始度量的非对称度量——建立了带有边界的曲面的Teichmüller空间的Thurston紧化与horofunction紧化之间的自然同胚。关键结果推广了Walsh针对无边界的曲面所获得的早期工作，证明了在弧度量下测地线射线收敛于Thurston边界上的点，且horofunction紧化在拓扑上与Thurston紧化一致。

ABSTRACT

The arc metric is an asymmetric metric on the Teichm{ü}ller space T(S) of a surface S with nonempty boundary. In this paper we study the relation between Thurston's compactification and the horofunction compactification of T(S) endowed with the arc metric. We prove that there is a natural homeomorphism between the two compactifications.

研究动机与目标

• 建立带有边界的曲面的Teichmüller空间的Thurston紧化与horofunction紧化之间的拓扑等价性。
• 将Walsh关于无边界曲面在Thurston度量下的horofunction紧化结果，推广至带有边界的曲面的弧度量。
• 分析弧度量下测地线射线的收敛性，并将其与Thurston边界中的拟似测度利米纳（projective measured laminations）联系起来。
• 证明以弧度量诱导的horofunction紧化与Thurston紧化之间存在自然同胚。
• 研究弧度量的几何与拓扑性质，及其与测度利米纳和长度函数的关系。

提出的方法

• 通过弧与简单闭曲线的交叉数及双曲长度，将弧度量定义为带有边界的曲面的Teichmüller空间上的非对称Finsler型度量。
• 利用测度利米纳的遍历分解，分析测地线射线上长度函数的渐近行为。
• 通过测度利米纳的双重构造在弧度量下构建拉伸线，并利用Collar引理与交叉数估计分析其收敛性。
• 建立交叉数与双曲长度之间的关键不等式，特别是针对对裤面（pairs of pants）中的弧，以控制长度函数的增长。
• 通过证明horofunction上的取值映射诱导出一个连续、单射且 proper 的映射，从而证明以弧度量诱导的horofunction紧化与Thurston紧化同胚。
• 利用局部紧致测地度量空间中的收敛性论证，证明horofunction的收敛性蕴含Teichmüller空间中点的收敛性。

实验结果

研究问题

• RQ1 以弧度量为基准的Teichmüller空间的horofunction紧化是否与Thurston紧化同胚？
• RQ2 在弧度量下，测地线射线是否收敛于Thurston边界上的点？它们与测度利米纳有何关系？
• RQ3 是否能通过horofunction利用弧度量恢复Thurston紧化的拓扑结构？
• RQ4 在几何与拓扑性质方面，弧度量与Thurston原始非对称度量相比有何异同？
• RQ5 测度利米纳的双重在构造弧度量下的拉伸线及分析收敛性中起什么作用？

主要发现

• 对于带有边界的曲面，horofunction紧化与Thurston紧化之间存在自然同胚，该结果将Walsh的结果推广至弧度量。
• 以弧度量诱导的horofunction紧化在拓扑上等价于Thurston紧化，即两种紧化在拓扑上不可区分。
• 在弧度量下，测地线射线收敛于Thurston边界上的点，且这些极限对应于测度利米纳的拟似类（projective classes）。
• 从Teichmüller空间到horofunction空间的取值映射诱导出一个连续、单射且 proper 的映射，该映射可延拓为与Thurston紧化边界之间的同胚。
• 交叉数与弧及曲线的双曲长度之间的关键不等式确保：Teichmüller空间中序列的horofunction收敛，当且仅当该序列在Teichmüller拓扑下收敛。
• 证明依赖于利用Collar引理与交叉数估计控制长度函数的增长，特别是针对对裤面中的弧，以证明序列只有在收敛于边界点时才会逃逸至无穷远。