[论文解读] Deformation spaces of Kleinian surface groups are not locally connected

Aaron Magid|arXiv (Cornell University)|Mar 23, 2010

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

一句话总结

本文证明了亏格 $ g \geq 2 $ 的闭曲面 $ S $ 的、同伦等价于 $ S\times I $ 的标记双曲3-流形的形变空间 $AH(S\times I)$ 不是局部连通的，从而证实了Bromberg的猜想。通过基于锥流形形变理论的改进填充定理，作者构造了收敛于同一极限的表示序列，但其几何行为却不收敛，从而表明在自碰撞点处局部连通性不成立。

ABSTRACT

For any closed surface $S$ of genus $g \geq 2$, we show that the deformation space of marked hyperbolic 3-manifolds homotopy equivalent to $S$, $AH(S imes I)$, is not locally connected. This proves a conjecture of Bromberg who recently proved that the space of Kleinian punctured torus groups is not locally connected. Playing an essential role in our proof is a new version of the filling theorem that is based on the theory of cone-manifold deformations developed by Hodgson, Kerckhoff, and Bromberg.

研究动机与目标

• 为了解决Bromberg的猜想，即对于任意亏格 $ g \geq 2 $ 的闭曲面 $ S $，$AH(S\times I)$ 不是局部连通的。
• 将穿孔环面群的非局部连通性结果推广到更高亏格的曲面群，其中Minsky的分类工具不再适用。
• 开发并应用一种新的填充定理版本，以在锥流形设定下控制德恩填充下的几何过渡。
• 通过收敛于同一极限但几何不变量发散的表示序列，分析局部连通性的失败。
• 证明 $AH(S\times I)$ 中的自碰撞点会阻止局部连通性，即使在其他此类点处空间是局部连通的。

提出的方法

• 在 $AH(S\times I)$ 中构造两组表示序列 $\eta_m$ 和 $\eta_m'$，它们收敛于同一极限 $\rho$，但具有不同的归一化尖点不变量。
• 利用改进的填充定理，基于归一化长度 $L^2$ 和扭转 $A^2$，估计在这些表示下曲线 $\gamma_1$ 的复长度 $\mathcal{L}(\gamma_1) = l + i\theta$。
• 利用涉及 $L^2$、$A^2$ 和 $\delta$（序列间分离度）的不等式，推导复长度实部与虚部的界。
• 应用引理6.2，表明极限尖点参数 $\zeta_1$ 与 $\zeta_1'$ 必须彼此接近，结合其分离度的下界，导致矛盾。
• 利用Maskit截面在水平平移下的不变性及对 $|\zeta_1|$ 的下界，导出对大 $n$ 的矛盾，表明闭包的交集不可能无限次非空。
• 最终得出结论：由于对所有充分大的 $n$，交集条件均不成立，因此 $AH(S\times I)$ 在极限点 $\sigma_0$ 处不是局部连通的。

实验结果

研究问题

• RQ1 对于任意亏格 $ g \geq 2 $ 的闭曲面 $ S $，形变空间 $AH(S\times I)$ 是否不是局部连通的？
• RQ2 能否将穿孔环面群空间的非局部连通性结果推广到更高亏格的曲面群？
• RQ3 何种几何条件可确保表示序列收敛于同一极限，同时保持几何不变量的发散？
• RQ4 在德恩填充下，尖点的归一化长度 $L^2$ 与扭转 $A^2$ 如何控制测地线的复长度？
• RQ5 改进的填充定理在检测形变空间中局部连通性失败方面起到何种作用？

主要发现

• 对于任意亏格 $ g \geq 2 $ 的闭曲面 $ S $，形变空间 $AH(S\times I)$ 不是局部连通的，从而证实了Bromberg的猜想。
• 非局部连通性的根源在于自碰撞点：表示序列收敛于同一极限，但表现出几何上不同的行为。
• 新版本的填充定理提供了复长度 $\mathcal{L}(\gamma_1)$ 的精确估计，其表达式基于归一化长度 $L^2$ 与扭转 $A^2$，误差项包含 $L^4$ 与 $A^4$。
• 当序列间分离度 $\delta$ 有下界，但 $|\zeta_1 - \zeta_1'|$ 被迫对大 $n$ 任意小，这些估计导致矛盾，违反了局部连通性的假设。
• 矛盾的产生是因为 $|\zeta_1|$ 随 $n$ 线性增长，而 $|\zeta_1 - \zeta_1'|$ 的上界却随 $1/n$ 衰减，因此对大 $n$ 该不等式不可能成立。
• 因此，$\overline{\Phi(C_n)} \cap \overline{\Phi(U - C_n)}$ 对所有充分大的 $n$ 必须为空集，与局部连通性假设矛盾。