[논문 리뷰] Arithmeticity of hyperbolic 3-manifolds containing infinitely many totally geodesic surfaces

G. A. Margulis, Amir Mohammadi|arXiv (Cornell University)|2019. 02. 19.

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

한 줄 요약

이 논문은 무한히 많은 완전 지측 표면을 포함하는 폐쇄된 하이퍼볼릭 3차원 다각형이 산술적임을 증명하며, 기하학적 복잡성과 산술적 구조 사이의 강력한 연결 고리를 확립한다. 초강고정성과 측도론적 이론을 사용하여, 이러한 다각형의 기본군이 PGL₂(ℂ) 내 산술적 격자와 공액임을 보이며, 3차원 다각형 위상수학과 산술기하학 분야에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

We prove that if a closed hyperbolic 3-manifold M contains infinitely many totally geodesic surfaces, then M is arithmetic.

연구 동기 및 목표

• 산술적 하이퍼볼릭 3차원 다각형이 영 또는 무한히 많은 완전 지측 표면을 포함한다는 린드의 결과의 역을 확립하기 위해.
• 린드와 맥마혼이 제기한 질문, 즉 무한한 지측 표면 수가 산술성을 암시하는가를 해결하기 위해.
• 무한히 많은 완전 지측 표면의 존재가 기본군이 산술적임을 강제함을 증명하기 위해.
• 기하학적 복잡성의 맥락에서 랭크-일 제한에서 초강고정성 기법을 확장하기 위해.

제안 방법

• 수체의 자리에서의 PGL₂(ℂ) 및 그 완비화로의 기본군의 표현에 초강고정성 정리를 적용하기 위해.
• 지측 흐름과 그들에 대한 등변 사상에 의한 상의 행동을 분석하기 위해 측도론적 및 측도론적 추론을 사용하기 위해.
• 지선의 공간에서 플래그 다양체로의 측도적 등변 사상 Ψ를 구성하고, 격자 Γ의 작용을 통해 그 상의 이미지를 분석하기 위해.
• 산술군의 약한 근사 정리와 공액성 성질을 활용하여 기본군이 반드시 산술적임을 유도하기 위해.
• Ψ의 상이 거의 확실히 PGL₂(ℝ)의 한 궤도에 포함되어 있음을 이용하여 격자가 산술적임을 유추하기 위해.
• 레마 6.5를 통해 정밀화된 측도 집중 추론을 적용하여, 거의 모든 지선에 대한 Ψ의 상이 단일 교차 또는 직선에 포함되어 있음을 보여, 대수적 고정성을 유도하기 위해.

실험 결과

연구 질문

• RQ1 폐쇄된 하이퍼볼릭 3차원 다각형이 무한히 많은 완전 지측 표면을 포함하면 그 다각형이 산술적임을 의미하는가?
• RQ2 격자가 사전에 산술적임이 알려져 있지 않은 랭크-일 경우(SO(3,1))에서 초강고정성 기법을 어떻게 조정하여 산술성을 증명할 수 있는가?
• RQ3 산술성을 강제하는 측도적 또는 기하학적 고정성 조건이 PGL₂(ℂ)의 격자에 존재하는가?
• RQ4 지선의 구조와 등변 사상에 의한 그들의 상이 산술성을 감지할 수 있는가?
• RQ5 무한한 지측 표면 수의 맥락에서 공액자(commensurator)는 산술 격자의 특성화에 어떤 역할을 하는가?

주요 결과

• 무한히 많은 완전 지측 표면을 포함하는 폐쇄된 하이퍼볼릭 3차원 다각형은 반드시 산술적이다.
• 그러한 다각형의 기본군 Γ는 PGL₂(ℂ) 내 산술 격자와 공액이다.
• 지측 흐름 사상 Ψ의 상은 거의 확실히 PGL₂(ℝ)의 작용 하에 한 궤도에 포함되어 있으며, 이는 대수적 고정성을 암시한다.
• 증명은 측도적 초강고정성 추론에 의존하며, 등변 사상 Ψ가 반드시 단일 대수적 부분군을 통해 인수화되어야 한다고 보여준다.
• 결과적으로, 폐쇄된 하이퍼볼릭 3차원 다각형이 무한히 많은 완전 지측 표면을 포함할 수 있는 유일한 방법은 그 기본군이 산술적일 때임을 확인한다.
• 기본군의 공액자에 대한 지수는 무한하며, 이는 산술성에 관한 공액성에 의한 정리 C와 일치한다.