[논문 리뷰] Hyperbolic volume of representations of fundamental groups of cusped 3-manifolds

Stefano Francaviglia|ArXiv.org|2003. 05. 19.

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

한 줄 요약

이 논문은 경계에 구멍이 있는 3차원 다면체의 기본군의 PSL(2,ℂ)에 대한 표현에 대해 쌍곡기하 체적의 잘 정의됨을 증명하며, 표현에만 의존하고 이상적 삼각형 분할의 직선화를 통해 계산될 수 있음을 보여준다. 핵심 결과는 리지디티 정리이다: 만약 표현의 체적이 다면체의 쌍곡기하 체적과 일치하면, 그 표현은 이산적이고 충실한 것으로 되며, 이는 모스트의 리지디티를 비콤팩트 상황으로 일반화한다.

ABSTRACT

Let W be a compact manifold and let ρbe a representation of its fundamental group into PSL(2,C). The volume of ρis defined by taking any ρ-equivariant map from the universal cover of W to H^3 and then by integrating the pull-back of the hyperbolic volume form on a fundamental domain. It turns out that such a volume does not depend on the choice of the equivariant map. Dunfield extended this construction to the case of a non-compact (cusped) manifold M, but he did not prove the volume is well-defined in all cases. We prove here that the volume of a representation is always well-defined and depends only on the representation. We show that this volume can be easily computed by straightening any ideal triangulation of M. We show that the volume of a representation is bounded from above by the relative simplicial volume of M. Finally, we prove a rigidity theorem for representations of the fundamental group of a hyperbolic manifold. Namely, we prove that if M is hyperbolic and vol(ρ)=vol(M) then ρis discrete and faithful.

연구 동기 및 목표

• 비콤팩트이고 경계에 구멍이 있는 3차원 다면체에 대한 표현의 쌍곡기하 체적이 잘 정의되어 있는지 해결하는 것.
• 가짜-개발 지도를 사용하여 쌍곡기하 체적의 정의를 콤팩트에서 경계에 구멍이 있는 다면체로 확장하는 것.
• 이상적 삼각형 분할의 직선화를 통해 체적을 계산하는 방법을 설정하는 것.
• 리지디티 정리 증명: 만약 표현의 체적이 다면체의 쌍곡기하 체적과 일치하면, 그 표현은 이산적이고 충실한 것으로 된다.
• 쌍곡기하 체적 방정식의 해를 이용한 3차원 다면체의 쌍곡기하성에 대한 기준을 제공하는 것.

제안 방법

• 비콤팩트 케이스에서 표현의 체적을 정의하기 위해 가짜-개발 지도를 사용한다.
• 등변성 지도와 삼각형 분할에 대한 직선화 개념을 도입한다.
• 구멍에 대한 콘 구조를 적용하여 적분 가능성과 체적 행동을 통제한다.
• 동치류의 풀링 코homology 클래스가 호모토피에 대해 불변임을 이용하여 체적의 독립성을 증명한다.
• 표현의 체적에 상한을 주기 위해 상대적 단체 체적을 사용한다.
• 서스턴의 쌍곡기하화 정리와 쌍곡기하성 방정식의 기하적 해의 성질을 적용한다.

실험 결과

연구 질문

• RQ1 경계에 구멍이 있는 3차원 다면체의 기본군에 대한 표현 ρ: π₁(M) → PSL(2,ℂ)에 대해 쌍곡기하 체적이 가짜-개발 지도의 선택에 관계없이 잘 정의되어 있는가?
• RQ2 표현의 체적은 다면체의 이상적 삼각형 분할을 직선화하여 계산될 수 있는가?
• RQ3 표현의 체적과 다면체의 상대적 단체 체적 사이의 관계는 무엇인가?
• RQ4 표현의 체적이 다면체의 쌍곡기하 체적과 일치할 경우, 어떤 조건에서 이산성과 충실성이 보장되는가?
• RQ5 쌍곡기하성 방정식의 영이 아닌 체적 해가 존재하면, 그 3차원 다면체는 완전한 쌍곡기하 구조를 가질 수 있는가?

주요 결과

• 비콤팩트이고 경계에 구멍이 있는 3차원 다면체에 대해, 표현 ρ: π₁(M) → PSL(2,ℂ)의 체적은 가짜-개발 지도의 선택에 관계없이 잘 정의되어 있으며, 이는 잘 정의되어 있다.
• 어떤 이상적 삼각형 분할을 직선화한 후, 직선화된 단체의 체적을 합하여 표현의 체적을 계산할 수 있다.
• 모든 표현 ρ의 체적은 v₃ × (M, ∂M)의 상대적 단체 체적에 의해 상한으로 제한되며, 여기서 v₃는 ℍ³ 내의 정규 이상적 단체의 체적이다.
• 만약 M가 완전하고 유한 체적을 갖는 쌍곡기하 3차원 다면체이며 vol(ρ) = vol(M)이라면, ρ는 이산적이고 충실하며, 어떤 φ ∈ PSL(2,ℂ)에 대해 ρ(γ) = φ∘γ∘φ⁻¹이다.
• 비제로 체적을 갖는 쌍곡기하성 방정식의 해는 기하적 해(즉, 완전한 쌍곡기하 구조)의 존재를 의미하며, 최대 체적을 갖는 해는 기하적이다.
• 만약 어떤 삼각형 분할에 대한 쌍곡기하성 방정식의 모든 해가 체적이 0이라면, 그 다면체는 쌍곡기하가 아니며, 이는 비쌍곡성에 대한 기준을 제공한다.