[论文解读] Behavior of geodesic-length functions on Teichmueller space

Scott A. Wolpert|ArXiv.org|Jan 19, 2007

Geometric and Algebraic Topology参考文献 48被引用 5

一句话总结

本文利用魏尔-彼得森（WP）几何研究了在汤川空间上测地线长度函数的行为，推导出测地线长度函数的WP梯度与Hessian的精确展开式。研究建立了复Hessian与实Hessian之间的统一可比性，证明了测地线长度函数沿WP测地线的严格凸性，并将这些结果应用于在扩充汤川空间上群作用的不动点定理，借助CAT(0)几何与能量极小化映射。

ABSTRACT

Let $\mathcal T$ be the Teichmüller space of marked genus $g$, $n$ punctured Riemann surfaces with its bordification $\Tbar$ the {\em augmented Teichmüller space} of marked Riemann surfaces with nodes, \cite{Abdegn, Bersdeg}. Provided with the WP metric $\Tbar$ is a complete CAT(0) metric space, \cite{DW2, Wlcomp, Yam2}. An invariant of a marked hyperbolic structure is the length $\ell_α$ of the geodesic $α$ in a free homotopy class. A basic feature of Teichmüller theory is the interplay of two-dimensional hyperbolic geometry, Weil-Petersson (WP) geometry and the behavior of geodesic-length functions. Our goal is to develop the understanding of the intrinsic local WP geometry through a study of the gradient and Hessian of geodesic-length functions. Considerations include expansions for the WP pairing of gradients, expansions for the Hessian and covariant derivative, comparability models for the WP metric, as well as the behavior of WP geodesics including a description of the Alexandrov tangent cone at the augmentation. Approximations and applications for geodesics close to the augmentation are developed. An application for fixed points of group actions is described. Bounding configurations and functions on the hyperbolic plane is basic to our approach. Considerations include analyzing the orbit of a discrete group of isometries and bounding sums of the inverse square exponential-distance.

研究动机与目标

• 通过测地线长度函数的梯度与Hessian理解汤川空间的内在局部几何。
• 在汤川空间的边界（扩充）附近，推导WP度量配对、Hessian及协变导数的渐近展开式。
• 建立测地线长度函数的复Hessian与实Hessian之间的统一可比性。
• 将几何分析应用于扩充汤川空间上群作用的不动点问题。
• 使用芬彻尔-尼森坐标与水平带模型，提供基于度量与坐标的分析，以简化形变向量场的计算。

提出的方法

• 使用调和Beltrami微分与艾歇勒积分描述双曲平面上的无穷小形变。
• 应用平均值估计与离散群在上半平面作用的轨道分析，以控制涉及反平方指数距离的和。
• 采用无限水平带模型简化形变向量场的计算，并推导测地线长度Hessian的紧凑表达式。
• 推导一个比较模型度量 $4dr^2 + r^6 d heta^2$，以在扩充附近近似WP度量。
• 应用扩充汤川空间边界处的亚历山德罗夫切触锥结构，分析测地线行为与群作用。
• 利用Izeki-Nayatani准则，证明能量极小化等变映射在CAT(0)空间中的存在性，以扩充汤川空间为靶空间。

实验结果

研究问题

• RQ1 在魏尔-彼得森度量下，测地线长度函数的梯度与Hessian行为如何，特别是在汤川空间的边界附近？
• RQ2 对于不相交的测地线 $\alpha, \beta$，WP配对 $\langle \operatorname{grad}\ell_{\alpha}, \operatorname{grad}\ell_{\beta} \rangle$ 的精确渐近展开式是什么？
• RQ3 测地线长度Hessian在复结构与实结构之间能在多大程度上实现统一可比？
• RQ4 WP测地线在扩充附近的行为如何？边界处的亚历山德罗夫切触锥结构是怎样的？
• RQ5 在何种条件下，汤川空间上的群作用存在不动点？这与CAT(0)几何及能量极小化映射有何关联？

主要发现

• 测地线长度函数的复Hessian与实Hessian满足统一可比性界：$\partial\overline{\partial}\ell_{\alpha} \leq \operatorname{Hess}\ell_{\alpha} \leq 3\partial\overline{\partial}\ell_{\alpha}$。
• 对于不相交的测地线 $\alpha, \beta$，WP配对满足 $\langle \operatorname{grad}\ell_{\alpha}, \operatorname{grad}\ell_{\beta} \rangle - \frac{2}{\pi}\ell_{\alpha}\delta_{\alpha\beta} = O(\ell_{\alpha}^2\ell_{\beta}^2)$，且当 $\ell_{\alpha}, \ell_{\beta} \leq c_0$ 时常数一致。
• 梯度 $\ell_{\alpha}^{1/2}$ 的范数满足 $\langle \lambda_{\alpha}, \lambda_{\alpha} \rangle = \frac{1}{2\pi} + O(\ell_{\alpha}^3)$，表明根测地线长度在几何分析中具有实用性。
• 测地线长度函数沿WP测地线是严格凸的，该结果由Hessian分析与形变向量场结构推导得出。
• 扩充汤川空间 $\overline{\mathcal{T}}$ 是一个完备的 $CAT(0)$ 空间，且在扩充处的亚历山德罗夫切触锥同构于希尔伯特空间中的一个闭凸锥。
• 建立了群作用的不动点定理：若群 $\Gamma$ 在一个单纯复形上作用，且其邻域满足谱隙条件 ($\lambda_1 > 1/2$)，则 $\Gamma$ 在 $\overline{\mathcal{T}}$ 上的任意等距作用必有不动点。