[논문 리뷰] Deformation spaces of Kleinian surface groups are not locally connected

Aaron Magid|arXiv (Cornell University)|2010. 03. 23.

Geometric and Algebraic Topology참고 문헌 35인용 수 5

한 줄 요약

이 논문은 고리수 $g \geq 2$를 가진 닫힌 곡면 $S$와 호모토피적으로 동치인 표준화된 쌍곡 3차원 다각형의 변형 공간 $AH(S\times I)$가 국소적으로 연결되어 있지 않음을 증명한다. 이는 Bromberg의 추측을 확인하는 것이다. 원추다각형 변형 이론에 기반한 개선된 메시지 정리의 버전을 사용하여, 동일한 극한에 수렴하는 표현의 수열을 구성함으로써 기하학적 행동이 수렴하지 않는 현상을 보여주며, 이는 국소적 연결성의 실패를 입증한다. 특히 자기충돌점(self-bumping points)에서 국소적 연결성이 성립하지 않음을 밝힌다.

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.

연구 동기 및 목표

• 고리수 $g \geq 2$인 닫힌 곡면 $S$에 대해 $AH(S\times I)$가 국소적으로 연결되어 있지 않다는 Bromberg의 추측을 해결하는 것.
• Minsky의 분류 도구가 적용되지 않는 고리수 2 이상의 표면 군으로, 구멍이 있는 토러스 군의 국소적 연결성 실패 결과를 일반화하는 것.
• 원추다각형 설정에서 딜링(Dehn filling)에 따른 기하 전이를 제어하는 새로운 버전의 메시지 정리를 개발하고 적용하는 것.
• 동일한 극한에 수렴하는 표현 수열을 분석하여 기하 불변량이 수렴하지 않는 경우를 통해 국소적 연결성의 실패를 분석하는 것.
• 표면 군의 변형 공간 $AH(S\times I)$에서 자기충돌점이 국소적 연결성을 방해함을 보여주는 것, 즉 다른 자기충돌점에서는 국소적 연결성이 성립하더라도 전체 공간은 국소적으로 연결되어 있지 않다는 점을 밝히는 것.

제안 방법

• 동일한 극한 $\rho$로 수렴하는 $AH(S\times I)$ 내의 두 수열 $\eta_m$과 $\eta_m'$을 구성하지만, 이들의 정규화된 커프스 불변량은 서로 다름.
• 개선된 메시지 정리를 사용하여, 표현에 기반해 곡선 $\gamma_1$의 복소 길이 $\mathcal{L}(\gamma_1) = l + i\theta$를 정규화된 길이 $L^2$와 비틀림 $A^2$에 기반해 추정함.
• 정규화된 길이 $L^2$, 비틀림 $A^2$, 그리고 수열 간 간격 $\delta$를 포함한 부등식을 통해 복소 길이의 실수부와 허수부에 대한 범위를 유도함.
• 레마 6.2를 적용하여, 최종 커프스 매개변수 $\zeta_1$과 $\zeta_1'$는 서로 가까워야 하며, 이는 간격의 하한과 결합될 경우 모순을 일으킴.
• 마스크릿 슬라이스의 수평 이동에 대한 불변성과 $|\zeta_1|$의 하한을 이용하여, 큰 $n$에 대해 모순을 유도함. 이는 닫힘의 교차가 유한번 이상 성립할 수 없음을 의미함.
• 결론적으로, 모든 큰 $n$에 대해 교차 조건이 실패하므로, 극한점 $\sigma_0$에서 $AH(S\times I)$는 국소적으로 연결되어 있지 않음을 도출함.

실험 결과

연구 질문

• RQ1 고리수 $g \geq 2$인 닫힌 곡면 $S$에 대해 변형 공간 $AH(S\times I)$가 국소적으로 연결되어 있지 않은가?
• RQ2 구멍이 있는 토러스 군 공간의 국소적 연결성 실패 결과를 고리수 2 이상의 표면 군으로 확장할 수 있는가?
• RQ3 표현 수열이 동일한 극한에 수렴하면서도 기하 불변량이 수렴하지 않는 경우, 어떤 기하 조건이 성립하는가?
• RQ4 커프스의 정규화된 길이 $L^2$와 비틀림 $A^2$는 딜링 하에서 기하선의 복소 길이에 어떻게 영향을 미치는가?
• RQ5 개선된 메시지 정리는 변형 공간에서 국소적 연결성의 실패를 탐지하는 데 어떤 역할을 하는가?

주요 결과

• 고리수 $g \geq 2$인 닫힌 곡면 $S$에 대해 변형 공간 $AH(S\times I)$는 국소적으로 연결되어 있지 않으며, 이는 Bromberg의 추측을 확인한다.
• 국소적 연결성의 실패는 표현 수열이 동일한 극한으로 수렴하지만 기하학적으로 다른 행동을 보이는 자기충돌점에서 기인한다.
• 새로운 버전의 메시지 정리는 정규화된 길이 $L^2$와 비틀림 $A^2$에 기반해 복소 길이 $\mathcal{L}(\gamma_1)$에 대한 정밀한 추정치를 제공하며, 오차 범위는 $L^4$와 $A^4$를 포함한다.
• 간격 $\delta$가 하한이 존재함에도 불구하고, $|\zeta_1 - \zeta_1'|$이 큰 $n$에 대해 임의로 작아지게 되면 추정치가 모순을 일으키며, 국소적 연결성의 가정에 위배된다.
• 이 모순은 $|\zeta_1|$이 $n$에 대해 선형으로 증가하는 반면, $|\zeta_1 - \zeta_1'|$의 상한은 $1/n$ 비율로 감소하기 때문에, 큰 $n$에선 불가능해진다.
• 따라서 충분히 큰 모든 $n$에 대해 $\overline{\Phi(C_n)} \cap \overline{\Phi(U - C_n)}$ 는 공집합이어야 하며, 이는 국소적 연결성의 가정에 모순된다.