[论文解读] Well-rounded equivariant deformation retracts of Teichmüller spaces

Lizhen Ji|arXiv (Cornell University)|Feb 4, 2013

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

一句话总结

本文通过定义一个正余维数的、${\mathrm{Mod}}_g$-稳定的、良好化简的子空间 $S$，并证明从 $\mathcal{T}_g$ 到 $S$ 存在一种内在的、${\mathrm{Mod}}_g$-等变的形变收缩，从而构建了 Teichmüller 空间 $\mathcal{T}_g$ 的 ${\mathrm{Mod}}_g$-等变形变收缩。其关键贡献在于，通过将一个到 $\mathcal{T}_g(\varepsilon)$ 的规范形变收缩（$\varepsilon$ 足够小）推广，实现了映射类群的通用空间 $\underline{E}{\mathrm{Mod}}_g$ 的共(compact)模型，解决了早期方法的局限性，并将此前仅适用于格点空间的良好化简形变收缩原理推广到了双曲曲面的 Teichmüller 空间。

ABSTRACT

In this paper, we construct spines, i.e., $\Mod_g$-equivariant deformation retracts, of the Teichmüller space $\T_g$ of compact Riemann surfaces of genus $g$. Specifically, we define a $\Mod_g$-stable subspace $S$ of positive codimension and construct an intrinsic $\Mod_g$-equivariant deformation retraction from $\T_g$ to $S$. As an essential part of the proof, we construct a canonical $\Mod_g$-deformation retraction of the Teichmüller space $\T_g$ to its thick part $\T_g(\varepsilon)$ when $\varepsilon$ is sufficiently small. These equivariant deformation retracts of $\T_g$ give cocompact models of the universal space $\underline{E}\Mod_g$ for proper actions of the mapping class group $\Mod_g$. These deformation retractions of $\T_g$ are motivated by the well-rounded deformation retraction of the space of lattices in $\R^n$. We also include a summary of results and difficulties of an unpublished paper of Thurston on a potential spine of the Teichmüller space.

研究动机与目标

• 为映射类群 ${\mathrm{Mod}}_g$ 构造一个 $\mathcal{T}_g$ 的、共(compact)且有限类型的 ${\mathrm{Mod}}_g$-等变形变收缩。
• 将此前仅用于格点空间的“良好化简形变收缩原理”推广到双曲曲面（$g \geq 2$）的 Teichmüller 空间。
• 通过构造一个向量场，其流能将 $\mathcal{T}_g$ 均匀地形变到良好化简轨迹的邻域，从而克服早期方法（如 Thurston 未发表的方法）的失败。
• 提供一个既共(compact)又维数最小的 $\underline{E}{\mathrm{Mod}}_g$ 的模型，该模型与 ${\mathrm{Mod}}_g$ 的虚拟上同调维数相容。
• 建立从 $\mathcal{T}_g$ 到其厚部分 $\mathcal{T}_g(\varepsilon)$ 的规范形变收缩（$\varepsilon$ 足够小），确保等变性与适当的收敛性。

提出的方法

• 将良好化简轨迹 $P$ 定义为最短测地线充满曲面的双曲曲面集合，并构造一个仅依赖于 $g$ 的邻域 $P_{B\varepsilon}$（$B > 1$）。
• 在 $\mathcal{T}_g$ 的一个覆盖的每个开集上构造一个局部向量场（以非充满的简单闭测地线集合 $\Gamma$ 为指标），使其增加 $\Gamma$ 中所有测地线的长度。
• 利用不相交简单闭测地线 $\delta$ 的长度泛函的梯度 $\nabla\ell(\delta)$，定义一个方向，可同时增加非充满集合中所有短程线的长度。
• 通过覆盖的子有限划分构造 $\mathcal{T}_g$ 上的全局向量场 $X_\varepsilon$，确保 $X_\varepsilon$ 仅在 $P_{B\varepsilon}$ 上为零，且在 $\mathcal{T}_g \setminus P_{B\varepsilon}$ 上非零。
• 证明 $X_\varepsilon$ 的流能将 $\mathcal{T}_g$ 均匀地形变到 $P_{B\varepsilon}$，从而克服了早期方法中仅能将紧致子集形变但无法形变整个空间的问题。
• 证明从 $\mathcal{T}_g$ 到 $P_{B\varepsilon}$ 的形变收缩是 ${\mathrm{Mod}}_g$-等变的，并诱导出 $\underline{E}{\mathrm{Mod}}_g$ 的共(compact)模型。

实验结果

研究问题

• RQ1 能否构造一个从 $\mathcal{T}_g$ 到正余维数的良好化简子空间的规范、${\mathrm{Mod}}_g$-等变形变收缩？
• RQ2 基于非充满测地线的长度梯度构造的向量场，是否能产生一个将 $\mathcal{T}_g$ 均匀地形变到良好化简轨迹邻域的流？
• RQ3 能否通过改进向量场与流的构造，克服 Thurston 未发表方法的失败（即流无法均匀地将整个空间形变）？
• RQ4 能否为映射类群 $\mathrm{Mod}_g$ 构造一个共(compact)且有限类型的 $\Gamma$-CW-复形的 $\underline{E}{\mathrm{Mod}}_g$ 模型？
• RQ5 当 $\varepsilon$ 足够小时，从 $\mathcal{T}_g$ 到其厚部分 $\mathcal{T}_g(\varepsilon)$ 的形变收缩，如何与最小维数骨架的存在性相关联？

主要发现

• 从 $\mathcal{T}_g$ 到一个正余维数的、${\mathrm{Mod}}_g$-稳定的良好化简子空间 $S$ 存在一个规范的、${\mathrm{Mod}}_g$-等变形变收缩，从而提供了 $\underline{E}{\mathrm{Mod}}_g$ 的共(compact)模型。
• 该构造建立了从 $\mathcal{T}_g$ 到其厚部分 $\mathcal{T}_g(\varepsilon)$（$\varepsilon > 0$ 足够小）的形变收缩，该收缩是内在的且 ${\mathrm{Mod}}_g$-等变的。
• 该方法通过确保所构造的向量场 $X_\varepsilon$ 的流能将整个空间 $\mathcal{T}_g$ 均匀地形变到邻域 $P_{B\varepsilon}$，从而克服了 Thurston 未发表方法中的关键缺陷（即仅能处理紧致子集而无法处理全空间）。
• 利用不相交测地线 $\delta$ 的长度梯度 $\nabla\ell(\delta)$，可确保非充满短程线集合中的所有长度被同时增加，从而实现向良好化简轨迹的受控形变。
• 由此产生的形变收缩给出了一个维数等于 ${\mathrm{Mod}}_g$ 的虚拟上同调维数的有限 $\mathrm{Mod}_g$-CW-复形模型，达到了最小可能的维数。
• 该构造将此前仅适用于 $\mathbb{R}^n$ 中格点空间的“良好化简形变收缩原理”推广到了 Teichmüller 空间，为研究映射类群作用提供了新的几何与动力学框架。