[论文解读] Caratheodory metrics on Teichmuller spaces

Yiran Lin, Vladimir Markovic|arXiv (Cornell University)|Mar 22, 2026

Analytic and geometric function theory被引用 0

一句话总结

本论文表明在Teichmüller空间上，Carathéodory度量通常不等于Teichmüller度量，识别出七个可能仍存在等价性的例外空间，并提出一种将非相等性从模型空间传播到更大曲面的方法。

ABSTRACT

Let $S$ be an arbitrary Riemann surface whose Teichmüller space $T(S)$ has dimension at least two. A long standing problem is to determine whether the Carathéodory metric $d_C$ agrees with the Teichmüller metric $d_T$ on $T(S)$. It was shown that $d_C e d_T$ when $S$ is a closed surface of genus at least two. In this paper we study the general case, and prove that $d_C e d_T$ on $T(S)$ except possibly on the following seven Teichmüller spaces: $T^1_{0,0}$, $T^1_{0,1}$, $T^2_{0,0}$, $T^1_{0,2}$, $T^2_{0,1}$, $T^3_{0,0}$, and $T^3_{0,1}$.

研究动机与目标

• 激励并解决长期存在的问题：当维数至少为二时，Carathéodory度量是否等于Teichmüller度量？
• 通过共轭嵌入和覆盖映射将模型空间与常规曲面联系起来，建立广义非相等性结果。
• 确定一个潜在的七个异常Teichmüller空间的有限列表，并将分析集中在这些情形上。
• 通过全分支覆盖与Maclachlan–Harvey/Winarski嵌入框架，开发将非相等性传播到更大、结构更复杂的曲面的技术。

提出的方法

• 比较Teichmüller空间上Carathéodory与Teichmüller度量，并利用有限维度的已知结果。
• 使用Teichmüller空间之间的全同态映射构造，将模型空间的度量不等性传播到更大曲面。
• 使用全分化覆盖与一类Maclachlan–Harvey/Winarski嵌入框架，推导更广类的非相等性。
• 分析由特定二次微分产生的Teichmüller圆盘，以给出具体的非相等性实例。
• 应用Schwarz引理与极值圆盘考察以推导度量不等式。
• 利用Think-Thin分解与单值半径控制来处理嵌入中的双曲几何。

实验结果

研究问题

• RQ1 Carathéodory度量是否在维数至少为二的Teichmüller空间上与Teichmüller度量一致？
• RQ2 哪些Teichmüller空间可能存在等价性，能否将非相等性从模型空间传播到更一般的曲面？
• RQ3 全分支覆盖和共轭嵌入是否能将来自模型空间如T^{0}_{0,5}的非相等结果传播到更大空间？
• RQ4 Teichmüller圆盘及特定二次微分在产生显式非相等性案例中起何作用？

主要发现

• $oldsymbol{d}_{C} eq oldsymbol{d}_{ op}$在$oldsymbol{ frac{ ext{Teichmüller space}}{S}}$上，除了可能的七个列出的空间外。
• 七个潜在的异常空间为：$oldsymbol{ op^{1}_{0,0}}$、$oldsymbol{ op^{1}_{0,1}}$、$oldsymbol{ op^{2}_{0,0}}$、$oldsymbol{ op^{1}_{0,2}}$、$oldsymbol{ op^{2}_{0,1}}$、$oldsymbol{ op^{3}_{0,0}}$、以及$oldsymbol{ op^{3}_{0,1}}$。
• 若曲面是$oldsymbol{ ext{Σ}_{0,n}}$-容纳的且在$oldsymbol{ op^{0}_{0,n}}$上$d_{C} eq d_{ op}$，则在其Teichmüller空间上亦有$d_{C} eq d_{ op}$。
• 存在从模型空间的适当子集到更大Teichmüller空间的共轭映射，能近似保持Teichmüller距离，从而实现非相等性的传播。
• 全分支覆盖产生的Teichmüller空间在Teichmüller度量下是等距嵌入的，有助于通过引理1.10实现非相等性结果的传播。