[논문 리뷰] Moduli spaces of hyperbolic 3-manifolds and dynamics on character varieties

Richard D. Canary, Peter A. Storm|arXiv (Cornell University)|2009. 11. 09.

Geometric and Algebraic Topology참고 문헌 20인용 수 4

한 줄 요약

이 논문은 표면가지가 있는 쌍곡 3차원 다면체 $M$에 대한 기본군의 외부자기동형군 $Π_1(M)$의 변형공간 $AH(M)$ 및 그 몫 $AI(M) = AH(M)/\mathrm{Out}(\pi_1(M))$에서의 동역학을 조사한다. 이 몫공간은 표면가지가 없는 쌍곡 3차원 다면체의 모듈리공간으로 간주된다. 주요 결과는 완전한 특성화: $AI(M)$가 하우스도르프이면서, 따라서 $Π_1(M)$가 $AH(M)$ 위에 제대로 이산적으로 작용하는 것은 $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$에 대해 $Π_1(M)$의 외부자기동형군의 변형공간 $AH(M)$ 및 특성다각공간 $X(M)$에서의 동역학적 행동을 이해하는 것.
• 모듈리공간으로 간주되는 $AI(M) = AH(M)/\mathrm{Out}(\pi_1(M))$의 위상적 성질을 분석하는 것. 이는 $M$과 호모토피적으로 동치인 표면가지가 없는 쌍곡 3차원 다면체의 모듈리공간으로 간주된다.
• $AI(M)$가 하우스도르프일 때와 $Π_1(M)$이 $AH(M)$ 위에 제대로 이산적으로 작용할 때를 결정하고, 이를 $M$의 기하위상수학적 구조와 연결하는 것.
• $M$ 내의 원시적 본질적 원판의 존재 여부에 기반한 $AI(M)$의 완전한 위상분류를 수립하는 것.
• $Π_1(M)$의 동역학과 몫 위상이 $Π_1(M)$의 구조뿐 아니라 $M$의 특정 위상, 특히 특성다각공간과 경계 구조에 의존한다는 것을 보여주는 것.

제안 방법

• $AH(M)$를 $Π_1(M)$의 $\mathrm{PSL}_2(\mathbb{C})$-특성다각공간 $X(M)$에 임베딩하고, $Π_1(M)$의 작용이 두 공간에서 모두 작용하도록 활용하는 것.
• 3차원 다면체의 요한슨 분류정리를 적용하여 $M$의 특성다각공간의 구조와 외부자기동형군이 간격다각공간 성분에 작용하는 방식을 분석하는 것.
• 제한사상 $r_i$를 통해 간격다각공간 성분 $\Sigma_i$와 프로젝티브 구조의 공간 $PS(\Sigma_i)$로의 사상들을 이용하여, $X(M)$ 내에서 $AH(M)$의 열린, $Π_1(M)$-불변 이웃 $W(M)$를 구성하는 것.
• 원시적 본질적 원판—$Π_1(M)$의 중심아벨 부분군을 생성하는 핵곡선을 가진, $⋯ M$에 이sov를 포함하지 않는 적절히 매립된 원판—을 핵심 위상불변량으로 사용하는 것.
• $X(M)$ 위에서의 작용의 동역학, 특히 자동형군의 수열의 행동을 활용하여, 컴acts에서의 탈출을 통해 제대로 이산적인 작용을 증명하는 것.
• 레마 9.4와 레마 9.5를 적용하여, 만약 $W(M)$ 내의 컴팩트 집합의 $Π_1(M)$-오빗이 유계이면 모순이 발생함을 보여, 제대로 이산적인 작용임을 추론하는 것.

실험 결과

연구 질문

• RQ1 콤팩트한 쌍곡가능한 3차원 다면체 $M$에 대해 $Π_1(M)$이 $AH(M)$ 위에 제대로 이산적으로 작용하는 조건은 무엇인가?
• RQ2 어떤 위상적 조건이 $AI(M) = AH(M)/\mathrm{Out}(\pi_1(M))$가 하우스도르프임을 보장하는가?
• RQ3 원시적 본질적 원판이 $M$에 존재할 경우, $Π_1(M)$의 동역학이 $AH(M)$ 및 $X(M)$에서 어떻게 영향을 미치는가?
• RQ4 $Π_1(M)$이 $AH(M)$ 위에 제대로 이산적으로 작용하지 못하는 경우는 언제이며, 이러한 실패를 초래하는 $M$의 위상적 특성은 무엇인가?
• RQ5 $Π_1(M)$이 무한할 때도 모듈리공간 $AI(M)$가 하우스도르프가 될 수 있는가? 어떤 조건에서 가능할까?

주요 결과

• $AI(M)$는 $M$이 비-twisted 간격다각공간이 아닐 때에만 $T_1$이며, 간격다각공간의 경우 무한순서 자동형군의 고정점으로 인해 $AI(M)$는 $T_1$가 아니다.
• $AI(M)$가 하우스도르프이기 위한 필요충분조건은 $M$이 원시적 본질적 원판을 포함하지 않는 것이다. 특히 $M$이 토로이드럴 경계 성분을 포함하지 않을 때 성립한다.
• $M$이 원시적 본질적 원판을 포함하면 $Π_1(M)$은 $AH(M)$ 위에 제대로 이산적으로 작용하지 않으며, $AI(M)$는 하우스도르프가 아니다.
• $M$이 액실린드릭일 경우(압축불가 경계, 본질적 원판 없음), $Π_1(M)$은 유한하므로 $AH(M)$ 및 $X(M)$ 위에 제대로 이산적으로 작용한다.
• $M$이 원시적 본질적 원판을 포함하지 않고, 토로이드럴 경계 성분도 없을 경우, $X(M)$ 내에서 $AH(M)$의 열린 $Π_1(M)$-불변 이웃 $W(M)$가 존재하며, $Π_1(M)$은 이 위에서 제대로 이산적으로 작용한다.
• 제대로 이산적인 작용의 결론은 $Π_1(M)$의 군 구조뿐 아니라 $M$의 위상에 의존한다. 예를 들어 $Π_1(M)$이 유한순서 아벨군의 부분군이지만 원시적 본질적 원판이 존재함으로써 작용이 제대로 이산적이지 않게 되는 사례가 있다.