[논문 리뷰] The Volume of complete anti-de Sitter 3-manifolds

Nicolas Tholozan|arXiv (Cornell University)|2015. 09. 14.

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

한 줄 요약

이 논문은 SO₀(2,1)의 이산 부분군 j×ρ(Γ)에 의한 몫으로 구성된 완전한 반-데시터 3차원 다양체의 부피가, 푸크시안 표현 j와 엄격하게 지배되는 표현 ρ의 오일러 클래스의 합에 비례한다는 것을 증명한다. 이는 연속적인 반-데시터 구조의 변형에 대해 부피가 일정하게 유지됨을 의미하는 국소 부피 고정성(local volume rigidity)을 암시한다.

ABSTRACT

Up to a finite cover, closed anti-de Sitter $3$-manifolds are quotients of $\mathrm{SO}_0(2,1)$ by a discrete subgroup of $\mathrm{SO}_0(2,1) imes \mathrm{SO}_0(2,1)$ of the form \[j imes ρ(Γ)~,\] where $Γ$ is the fundamental group of a closed oriented surface, $j$ a Fuchsian representation and $ρ$ another representation which is "strictly dominated" by $j$. Here we prove that the volume of such a quotient is proportional to the sum of the Euler classes of $j$ and $ρ$. As a consequence, we obtain that this volume is constant under deformation of the anti-de Sitter structure. Our results extend to (not necessarily compact) quotients of $\mathrm{SO}_0(n,1)$ by a discrete subgroup of $\mathrm{SO}_0(n,1) imes \mathrm{SO}_0(n,1)$.

연구 동기 및 목표

• 폐쇄된 반-데시터 3차원 다양체의 부피가 반-데시터 구조의 변형에 대해 일정한지 여부라는 미해결 문제를 해결하는 것.
• 콤���한 경우를 초월하여 SO₀(n,1)의 이산 부분군 SO₀(n,1)×SO₀(n,1)에 의한 몫으로의 부피 계산을 일반화하는 것.
• 특히 ρ가 j에 의해 엄격하게 지배될 때, 부피가 표현 j와 ρ에 대해 정확히 어떻게 의존하는지 규명하는 것.
• 특히 부피 불변량이 덜 이해되는 고차원 홀수 차원에서 이러한 몫의 가능한 부피의 범위를 탐색하는 것.

제안 방법

• AdS₃를 SO₀(2,1)로 식별하고, Killing 계량을 갖춘 이와 함께 SO₀(2,1)×SO₀(2,1)의 좌우 곱셈 작용을 사용.
• Killing 계량에 의해 유도된 SO₀(2,1) 위의 부피 형식을 사용하여, 이산 부분군 Γ = j×ρ(Γ)에 대해 몰입 Γ\SO₀(2,1)의 부피를 정의.
• ℍ²에서 ℍ²로의 (j,ρ)-등변 매핑 f를 사용하고, ρ의 부피를 ∫_{j(Γ)\ℍ²} f*vol^{ℍ²}로 정의하며 적절히 정규화.
• 오빗 공간 위에서의 적분을 통해 몰입의 부피와 j 및 ρ의 오일러 클래스 합의 비례성을 확립.
• 유사한 부피 적분 구성과 표현 이론적 도구를 사용하여, n ≥ 3인 경우 SO₀(n,1)로의 프레임워크를 확장.
• 적절한 이산 작용과 수축 가능한 등변 매핑의 존재를 보장하는 Guéritaud–Kassel 정리에 기반하여, 부피 적분의 정의역을 정의.

실험 결과

연구 질문

• RQ1 완전한 반-데시터 3차원 다양체의 부피는 그 반-데시터 구조의 연속적 변형에 대해 일정한가?
• RQ2 SO₀(n,1) 몰입의 부피와 정의 표현의 위상수학적 불변량(예: 오일러 클래스) 사이의 정확한 관계는 무엇인가?
• RQ3 n ≥ 3 차원에서, 푸크시안 표현 j에 의해 엄격하게 지배되는 표현 ρ에 대해 비영 부피를 실현할 수 있는가?
• RQ4 특히 Γ가 격자일 경우, SO₀(n,1)의 이산 부분군 j×ρ(Γ)에 의한 몰입의 가능한 부피 값은 무엇인가?
• RQ5 몰입의 유한 부피 성질이 j가 이산적이고 충실하며, j(Γ)가 SO₀(n,1)의 격자임을 의미하는가?

주요 결과

• SO₀(2,1)에 대한 j×ρ(Γ)의 몰입으로 구성된 완전한 반-데시터 3차원 다양체의 부피는 j와 ρ의 오일러 클래스 합에 비례한다.
• 이 비례성은 부피가 반-데시터 구조의 연속적 변형에 대해 일정하게 유지됨을 의미하는 국소 부피 고정성(local volume rigidity)을 암시한다.
• 푸크시안 j와 j에 의해 엄격하게 지배되는 ρ에 대해, 정규화된 부피 1/(2π) × Vol(j×ρ(Γ)\SO₀(2,1))는 1에서 4g−5 사이의 정수 값을 가진다. 여기서 g는 표면의 종수이다.
• 고차원 홀수 차원 n ≥ 3에서는 이러한 몰입의 부피가 유한하며, ρ의 부피에 의존하지만 가능한 값의 전체 범위는 아직 알려져 있지 않다.
• 논문은 SO₀(n,1)의 이산 부분군 SO₀(n,1)×SO₀(n,1)에 의한 몰입의 부피 계산을 위한 프레임워크를 제공하며, 3차원 결과를 일반화한다.
• n ≥ 3 차원에서 j에 의해 엄격하게 지배되는 표현 ρ에 대해 비영 부피를 실현할 수 있는지 여부는 여전히 열린 질문이며, 알려진 예시(예: 항등사상의 변형)는 모두 영 부피를 낳는다.