[论文解读] Moduli spaces of hyperbolic 3-manifolds and dynamics on character varieties

Richard D. Canary, Peter A. Storm|arXiv (Cornell University)|Nov 9, 2009

Geometric and Algebraic Topology参考文献 20被引用 4

一句话总结

本文研究了外自同构群 $\mathrm{Out}(\pi_1(M))$ 在双曲3-流形的形变空间 $AH(M)$ 及其商空间 $AI(M) = AH(M)/\mathrm{Out}(\pi_1(M))$ 上的动力学行为，其中 $AI(M)$ 作为与 $M$ 同伦等价的无标记双曲3-流形的模空间。关键结果为完全刻画：当且仅当 $M$ 不含原始本质环状带（primitive essential annuli）时，$AI(M)$ 是豪斯多夫空间（因此 $\mathrm{Out}(\pi_1(M))$ 在 $AH(M)$ 上作用为局部离散），特别是当 $M$ 无环状边界分量时成立。

ABSTRACT

The space AH(M) of marked hyperbolic 3-manifold homotopy equivalent to a compact 3-manifold with boundary M sits inside the PSL_2(C)-character variety X(M) of π_1(M). We study the dynamics of the action of Out(π_1(M)) on both AH(M) and X(M). The nature of the dynamics reflects the topology of M. The quotient AI(M)=AH(M)/Out(π_1(M)) may naturally be thought of as the moduli space of unmarked hyperbolic 3-manifolds homotopy equivalent to M and its topology reflects the dynamics of the action.

研究动机与目标

• 理解紧致双曲化3-流形 $M$ 的 $\mathrm{Out}(\pi_1(M))$ 在形变空间 $AH(M)$ 和表征簇 $X(M)$ 上的动力学行为。
• 分析商空间 $AI(M) = AH(M)/\mathrm{Out}(\pi_1(M))$ 的拓扑性质，将其解释为与 $M$ 同伦等价的无标记双曲3-流形的模空间。
• 确定 $AI(M)$ 为豪斯多夫空间的条件，以及 $\mathrm{Out}(\pi_1(M))$ 在 $AH(M)$ 上作用为局部离散的条件，并将其与 $M$ 的几何拓扑结构联系起来。
• 基于 $M$ 中是否存在原始本质环状带，对 $AI(M)$ 建立完全的拓扑分类。
• 表明动力学行为与商空间的拓扑不仅依赖于 $\mathrm{Out}(\pi_1(M))$，还依赖于 $M$ 的具体拓扑结构，特别是其特征子流形和边界结构。

提出的方法

• 利用 $AH(M)$ 嵌入到 $\mathrm{PSL}_2(\mathbb{C})$-表征簇 $X(M)$ 中，借助 $\mathrm{Out}(\pi_1(M))$ 在两个空间上的作用。
• 应用乔尔森（Johannson）对3-流形的分类定理，分析 $M$ 的特征子流形结构，以及外自同构在区间丛分量上的作用。
• 通过限制映射 $r_i$ 到区间丛分量 $\Sigma_i$ 及其射影结构空间 $PS(\Sigma_i)$，构造 $X(M)$ 中包含 $AH(M)$ 的一个开的、$\mathrm{Out}(\pi_1(M))$-不变邻域 $W(M)$。
• 引入原始本质环状带（properly embedded annuli not isotopic into $\partial M$ whose core curves generate maximal abelian subgroups）作为关键的拓扑不变量。
• 利用在 $X(M)$ 上的作用动力学，特别是自同构序列的行为，通过其离开紧致集的性质来证明作用的局部离散性。
• 应用引理9.4与引理9.5，证明若 $\mathrm{Out}(\pi_1(M))$-轨道在 $W(M)$ 的紧致子集上保持有界，则产生矛盾，从而推出作用为局部离散。

实验结果

研究问题

• RQ1 对于紧致双曲化3-流形 $M$，$\mathrm{Out}(\pi_1(M))$ 在 $AH(M)$ 上何时时作用为局部离散？
• RQ2 何种 $M$ 的拓扑条件可保证商空间 $AI(M) = AH(M)/\mathrm{Out}(\pi_1(M))$ 为豪斯多夫空间？
• RQ3 $M$ 中原始本质环状带的存在如何影响 $\mathrm{Out}(\pi_1(M))$ 在 $AH(M)$ 和 $X(M)$ 上的动力学行为？
• RQ4 $\mathrm{Out}(\pi_1(M))$ 在 $AH(M)$ 上何时无法作用为局部离散？其失败的拓扑原因是什么？
• RQ5 $\mathrm{Out}(\pi_1(M))$ 为无限群时，模空间 $AI(M)$ 是否仍可为豪斯多夫空间？在何种条件下成立？

主要发现

• $AI(M)$ 是 $T_1$ 当且仅当 $M$ 不是无扭区间丛，当 $M$ 为区间丛时 $AI(M)$ 不是 $T_1$，原因在于无限阶自同构的不动点。
• $AI(M)$ 是豪斯多夫空间当且仅当 $M$ 不含原始本质环状带，特别是当 $M$ 无环状边界分量时成立。
• 若 $M$ 包含一个原始本质环状带，则 $\mathrm{Out}(\pi_1(M))$ 不在 $AH(M)$ 上作用为局部离散，且 $AI(M)$ 不是豪斯多夫空间。
• 当 $M$ 为无筒（acylindrical，即边界不可压缩且无本质环状带）时，$\mathrm{Out}(\pi_1(M))$ 为有限群，因此在 $AH(M)$ 和 $X(M)$ 上作用为局部离散。
• 当 $M$ 不含原始本质环状带且无环状边界分量时，存在一个 $\mathrm{Out}(\pi_1(M))$-不变的开邻域 $W(M) \subset X(M)$，使得 $\mathrm{Out}(\pi_1(M))$ 在 $W(M)$ 上作用为局部离散。
• 局部离散性的结论依赖于 $M$ 的拓扑结构，而不仅依赖于 $\mathrm{Out}(\pi_1(M))$ 的群结构；例如，当 $\mathrm{Out}(\pi_1(M))$ 为几乎阿贝尔群但存在原始本质环状带时，作用仍不为局部离散。