[论文解读] The Weil-Petersson Isometry Group

Howard Masur, Michael Wolf|ArXiv.org|Aug 8, 2000

Geometric and Algebraic Topology参考文献 14被引用 12

一句话总结

该论文证明了，当 $3g-3+n > 1$ 且 $(g,n) \neq (1,2)$ 时，Teichm"uller 空间 $T_{g,n}$ 上的 Weil-Petersson 度量的每个等距同构均由扩展映射类群 $\mathrm{Mod}^*(g,n)$ 的元素诱导。证明过程将等距同构延拓至度量完备化空间，利用其在曲线复形上的作用将等距同构识别为一个映射类，并通过 Weil-Petersson 测地线方向上双曲长度函数的凸性，证明该等距同构在内部必为平凡，因此由一个映射类诱导。

ABSTRACT

We prove that every Weil-Petersson isometry of the Teichmuller space T(g,n) is induced by an element of the extended mapping class group; here 3g-3+n > 1 and (g,n) is not (1,2). Our method follows Ivanov's proof of the Royden's analogous theorem for the Teichmuller metric: we study the action of an isometry on the frontier of the metric completion of the Teichmuller space, and show that the isometry then induces an automorphism on the relevant complex of curves. Some synthetic geometry of the Weil-Petersson metric completes the proof.

研究动机与目标

• 建立 Weil-Petersson 度量的 Royden 型定理，类比于经典 Teichm"uller 度量的结果。
• 证明 $T_{g,n}$ 上 Weil-Petersson 度量的每个等距同构均由扩展映射类群 $\mathrm{Mod}^*(g,n)$ 的元素诱导。
• 将等距同构延拓至 $T_{g,n}$ 的度量完备化空间，其中包含对应于曲线被压扁的低维 Teichm"uller 空间的边界。
• 利用在曲线复形 $C(F)$ 上的诱导作用将等距同构与一个映射类关联，借助关于 $C(F)$ 自同构的已知结果。
• 通过反证法证明等距同构在 $T_{g,n}$ 上的作用是平凡的，利用测地线方向上长度函数的凸性以及 CAT(0) 空间中的不动点估计。

提出的方法

• 将给定的 Weil-Petersson 等距同构从 $T_{g,n}$ 延拓至其度量完备化空间，该空间包含对应于被压扁曲线的低维 Teichm"uller 空间之边界 $A_{g,n}$。
• 证明延拓后的等距同构保持边界的每个连通分支，从而在曲线复形 $C(F)$ 上诱导出一个自同态。
• 利用 Ivanov 定理（以及 Korkmaz 和 Luo 的推广）得出 $C(F)$ 上的诱导自同构来自 $\mathrm{Mod}^*(g,n)$ 的某个元素。
• 应用 Wolpert 的结果：双曲长度函数 $l_c(x)$ 沿 Weil-Petersson 测地线是凸的，用于分析不动点集。
• 构造一个 $I$-不变函数 $D(x)$，定义为 $x$ 到 $I$-不变集 $B_0$ 中点的 Weil-Petersson 距离的平均值，并利用严格凸性找到唯一的不动点 $y_0$。
• 估计不动点 $y_0$ 到每个极大压扁边界分支的距离，证明其一致有界，从而推出除非等距同构在 $T_{g,n}$ 上平凡，否则产生矛盾。

实验结果

研究问题

• RQ1 Teichm"uller 空间 $T_{g,n}$ 上的 Weil-Petersson 度量的每个等距同构是否均由扩展映射类群 $\mathrm{Mod}^*(g,n)$ 的元素诱导？
• RQ2 等距同构在 $T_{g,n}$ 的度量完备化空间上的作用如何延拓，特别是对压扁黎曼曲面的边界？
• RQ3 能否利用在曲线复形 $C(F)$ 上的诱导作用将等距同构与一个映射类关联？在何种条件下成立？
• RQ4 双曲长度函数 $l_c(x)$ 沿 Weil-Petersson 测地线的凸性在证明等距同构为平凡时起何作用？
• RQ5 如何结合 CAT(0) 空间中的不动点集与双曲几何的几何估计，排除非平凡等距同构的存在？

主要发现

• 对于满足 $3g-3+n > 1$ 且 $(g,n) \neq (1,2)$ 的情况，$T_{g,n}$ 上的每个 Weil-Petersson 等距同构均由扩展映射类群 $\mathrm{Mod}^*(g,n)$ 的元素诱导。
• 该等距同构可连续延拓至度量完备化空间，保持边界 $A_{g,n}$ 的每个连通分支不变，其中 $A_{g,n}$ 由具有节点或尖点的低维 Teichm"uller 空间组成。
• 在曲线复形 $C(F)$ 上的诱导作用是一个自同构，根据已知结果，该自同构来自 $\mathrm{Mod}^*(g,n)$ 的某个元素。
• 该等距同构的不动点集非空，且与每个极大压扁边界分支的距离一致有界，上界为 $2\epsilon + 3\rho$。
• Weil-Petersson 距离函数的严格凸性以及长度函数 $l_c(x)$ 的凸性，使得可通过在不变集上使用质心论证构造出唯一的不动点 $y_0$。
• 与一般 CAT(0) 不动点理论的矛盾——即非空不动点集不可能同时与所有边界分支一致接近——迫使不动点集为整个 $T_{g,n}$，从而证明等距同构为平凡，故其由一个映射类诱导。