[论文解读] Paysage Systolique Des Surfaces Hyperboliques Compactes De Caracteristique -1

Matthieu Gendulphe|arXiv (Cornell University)|Aug 1, 2005

Analytic and geometric function theory参考文献 7被引用 7

一句话总结

本文针对欧拉示性数为 -1 的紧致双曲曲面（包括具有两个边界的实射影平面、具有一个边界的克莱因瓶，以及三个射影平面的连通和）确定了最优的舒尔特不等式。通过采用与舒尔特测地线相适应的泰希米勒空间胞分解，作者识别出临界点，并计算了舒尔特函数及高阶舒尔特函数的全局最大值，给出了以边界长度和几何参数的双曲余弦函数表示的精确上界。

ABSTRACT

We determine optimal inequalities for the systole of all hyperbolic compact surfaces of caracteristic -1. First, we study the geometry and topology of these surfaces. Then, we describe the action of modular groups on Teichmüller spaces. Finaly, we give cell decompositions of fundamental domains such as the set of systoles is constant over a cell. Other optimal inequalities for other metric invariants are also given.

研究动机与目标

• 确定具有欧拉示性数 -1 的紧致双曲曲面（包括非可定向曲面，如具有两个边界的实射影平面和具有一个边界的克莱因瓶）的最优舒尔特不等式。
• 分析这些曲面的几何与拓扑结构，特别关注超椭圆对合与典范卵形测地线的作用。
• 将泰希米勒空间分解为若干胞腔，使得每个胞腔内舒尔特测地线的类型保持不变，从而实现对舒尔特函数的系统研究。
• 识别泰希米勒空间上舒尔特函数的所有临界点（包括优态、完美与极端临界点），特别是其全局最大值点。
• 将分析扩展至高阶舒尔特函数（2-舒尔特、3-舒尔特），并推导出这些不变量在同类曲面上的最优界。

提出的方法

• 构造每类曲面的定向双重覆盖，以分析其典范卵形测地线（即其提升在定向覆盖中将曲面分离的唯一测地线）。
• 利用映射类群在泰希米勒空间上的作用定义基本区域，并根据舒尔特测地线的类型将该区域分解为胞腔。
• 使用适配于边界长度与扭转参数的芬克尔-尼尔森型坐标，对三胞亏格非可定向曲面的泰希米勒空间进行参数化。
• 定义一种胞腔分解，使得每个胞腔对应一种固定的舒尔特测地线类型（如可定向、不可定向或卵形），从而保证舒尔特函数在每个胞腔内为常数。
• 应用双曲三角恒等式与优化技术，计算每个胞腔上舒尔特函数及高阶舒尔特函数的最大值。
• 通过对称性与对偶性论证，特别是在单边界环面的情况下，将优化问题简化为对称构型（如正则曲面）进行处理。

实验结果

研究问题

• RQ1 对于欧拉示性数为 -1 的紧致双曲曲面，其舒尔特函数的最优上界是什么？
• RQ2 舒尔特函数在这些曲面的泰希米勒空间中如何变化？其临界点位于何处？
• RQ3 2-舒尔特与3-舒尔特函数在这些曲面上的最大值是多少？在何种几何构型下达到？
• RQ4 如何将非可定向双曲曲面的泰希米勒空间分解为舒尔特测地线类型保持不变的胞腔？
• RQ5 典范卵形测地线在示性数为 -1 的曲面的全局几何与舒尔特结构中起何种作用？

主要发现

• 对于示性数为 -1 的闭合双曲曲面，最优舒尔特界为 $\cosh(s) \leq \frac{5 + \sqrt{17}}{2} \approx 4.5616$，等号在泰希米勒空间中的某特定临界点处取得。
• 对于具有一个长度为 $b_1$ 的边界的克莱因瓶，舒尔特满足 $\cosh(s) \leq \cosh\left(\frac{b_1}{4}\right) + 1$，最大值在对称构型下实现。
• 对于具有两个长度分别为 $b_1$ 与 $b_2$ 的边界的实射影平面，舒尔特满足 $\cosh(s) \leq \cosh\left(\frac{b_1}{2}\right) + \cosh\left(\frac{b_2}{2}\right) + 1$，最大值在平衡构型下取得。
• 对于具有一个长度为 $b_1$ 的边界的环面，最优界为 $\cosh\left(\frac{s}{2}\right) \leq \cosh\left(\frac{b_1}{6}\right) + \frac{1}{2}$，与 Schmutz（1993）的结果一致。
• 2-舒尔特在泰希米勒空间中的点 $M_2$ 处取得最大值，其表达式为 $\cosh(l_{\gamma'_1}/2) + 1$，最大值为 $\frac{1 + \sqrt{5}}{2} \approx 1.618$。
• 在泰希米勒空间 $\mathcal{T}_3^{-}$ 上，3-舒尔特函数无界，因为与卵形不相交的不可定向测地线的长度可被任意缩小。