[논문 리뷰] Reidemeister torsion, hyperbolic three-manifolds, and character varieties

Joan Porti|arXiv (Cornell University)|2015. 11. 02.

Geometric and Algebraic Topology참고 문헌 89인용 수 11

한 줄 요약

이 논문은 유한 체적 초등형 3차원 다양체에서 Reidemeister 토포로지에 대해 조사하며, 토포로지를 위상적 불변량으로서 그리고 SL₂(ℂ)-표현 다양체 위의 함수로서 다룬다. 이는 토포로지가 특징적인 구성요소에서 유리 함수임을 증명하며, 특히 첫 번째 Betti 수가 1인 링크 외부의 경우 정칙적임을 보이고, Weil의 코homological 식별을 통해 접선 공간을 첫 번째 코homology 군과 연결함으로써 고차원 표현과 고유 표현으로의 이론을 확장한다.

ABSTRACT

This is a survey on Reidemeister torsion for hyperbolic three-manifolds of finite volume. Torsions are viewed as topological invariants and also as functions on the variety of representations in $\operatorname{ SL}_2(\mathbb C)$. In both cases, the torsions may also be computed after composing with finite dimensional representations of $\operatorname{ SL}_2(\mathbb C)$. In addition the paper deals with the torsion of the adjoint representation as a function on the variety of $\operatorname{ PSL}_{n+1}(\mathbb C)$-characters, using that the first cohomology group with coefficients twisted by the adjoint is the tangent space to the variety of characters.

연구 동기 및 목표

• 유한 체적 초등형 3차원 다양체에 대해 Reidemeister 토포로지를 위상적 불변량으로 연구한다.
• 특히 헬로니 표현을 포함하는 특징적인 구성요소에서 SL₂(ℂ)-표현 다양체 위의 토포로지 함수로서의 성질을 분석한다.
• SL₂(ℂ)의 고차원 표현과 고유 표현으로의 토포로지 불변량을 확장한다.
• Weil의 정리에 의한 표현 다양체의 접선 공간과 첫 번째 코homology 군 간의 식별을 통해 변형 이론과의 연관성을 규명한다.
• Dehn 채움에 따른 토포로지의 행동과 체적 및 코homological 구조에 대한 함의를 조사한다.

제안 방법

• 유한 차원 SL₂(ℂ) 표현으로의 휨을 포함한 체인 복합체에 대해 조합론적 토포로지를 사용한다.
• Mayer-Vietoris 수열과 Poincaré 쌍대성을 적용하여 Dehn 채움 및 위상적 분해 하에서의 토포로지 불변량을 분석한다.
• Raghunathan의 정리에 의해 야기되는 야외성인 SL₂(ℂ)로 올린 헬로니 표현을 사용하여 스핀 구조를 고려한 위상적 불변량을 정의한다.
• Weil의 정리를 활용하여 표현 다양체의 접선 공간을 고유 표현 계수를 가진 첫 번째 코homology 군과 식별한다.
• 코homology 차원의 상부 반연속성을 적용하여 경계 토러스에서 H⁰ 코homology의 흩어짐에 대한 일반성 결과를 증명한다.
• 오비포드 Dehn 채움을 이용한 구체적 예시를 구성하여 일반적 표현을 실현하고 코homological 조건을 검증한다.

실험 결과

연구 질문

• RQ1 Reidemeister 토포로지는 초등형 3차원 다양체의 SL₂(ℂ)-표현 다양체 위의 함수로서 어떻게 행동하는가?
• RQ2 표현 다양체의 특징적인 구성요소에서 토포로지 함수가 정칙(즉, 극이 없는) 조건은 무엇인가?
• RQ3 고차원 표현에 대한 토포로지와 다양체의 체적 사이의 관계는 무엇인가?
• RQ4 Dehn 채움에 따라 토포로지가 어떻게 변하고, 이는 체적이 유계이지만 토포로지가 무한히 증가하는 다양체 수열에 대해 어떤 함의를 갖는가?
• RQ5 표현 다양체의 코homology를 통해 고유 표현의 토포로지를 기하학적으로 어떻게 해석할 수 있는가?

주요 결과

• 링크 외부(첫 번째 Betti 수가 1인 경우)에서는 SL₂(ℂ)-표현 다양체의 특징적인 구성요소에서 토포로지 함수가 정칙적이며, 극이 존재하지 않는다.
• Dehn 채움을 통해 체적이 유계이지만 토포로지가 무한히 증가하는 닫힌 초등형 3차원 다양체의 수열을 생성할 수 있으며, 이는 정리 3.28에서 보여진다.
• 고유 표현의 토포로지는 체적 추측과 관련이 있으며 양자 불변량에 나타나며, 논문에서 간략히 언급된 바 있다.
• 특징적인 구성요소의 일반적 특성에서, k₁ ≠ k₂ 이고 k₁, k₂ 중 적어도 하나가 홀수일 경우, H⁰(T²; ρ^{k₁,k₂})는 0이 된다.
• k₁과 k₂가 모두 짝수이고 k₁ ≠ k₂일 경우, H⁰(T²; ρ^{k₁,k₂}) = 1을 만족하는 특성의 집합은 표현 곡선의 비어 있지 않은 Zariski 열린 부분집합을 이룬다.
• 변형 공간에서의 주변 곡선의 변화는 토포로지로부터 유도된 공식에 의해 결정되며, 특정 조건 하에서 체적 형식을 정의할 수 있다.