[논문 리뷰] Negatively Oriented Ideal Triangulations and a Proof of Thurston's Hyperbolic Dehn Filling Theorem

Carlo Petronio, Joan Porti|ArXiv.org|1999. 01. 11.

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

한 줄 요약

이 논문은 에이프스타인-펜너 분해에서 유도된 부분적으로 평탄한 이deal 삼각형 분할을 사용하여 테르스톤의 하이퍼볼릭 디언 플링 정리의 완전하고 자가 포함된 증명을 제시한다. 진정한 이deal 삼각형 분할을 가정하지 않고, 변형 공간의 미분 가능성 가정도 피한다. 무한에 가까운 디언 플링 계수는 완전한 유한체적 하이퍼볼릭 구조와 작은 꼬리각을 가진 콘 매니폴드 구조를 유도함을 보여준다.

ABSTRACT

We give a complete proof of Thurston's celebrated hyperbolic Dehn filling theorem, following the ideal triangulation approach of Thurston and Neumann-Zagier. We avoid to assume that a genuine ideal triangulation always exists, using only a partially flat one, obtained by subdividing an Epstein-Penner decomposition. This forces us to deal with negatively oriented tetrahedra. Our analysis of the set of hyperbolic Dehn filling coefficients is elementary and self-contained. In particular, it does not assume smoothness of the complete point in the variety of deformations.

연구 동기 및 목표

• 진정한 이deal 삼각형 분할에 대한 증명되지 않은 가정 없이, 테르스톤의 하이퍼볼릭 디언 플링 정리를 엄밀하고 자가 포함된 증명을 제공하는 것.
• 에이프스타인-펜너 분해에서 유도된 진정한 이deal 삼각형 분할의 존재가 보장되지 않기 때문에, 이에 대한 가정을 피하는 데서 발생하는 문헌의 공백을 메우는 것.
• 완전한 하이퍼볼릭 및 콘 매니폴드 경우 모두에서 변형 공간의 완전한 구조에서의 미분 가능성 가정 없이 정리를 증명하는 것.
• 부분적으로 평탄한 삼각형 분할에서 발생하는 반대로 방향의 테트라헤드론을 다룰 수 있는 기하학적 및 해석적 프레임워크를 개발하는 것.
• 좋은 디언 플링 매개변수의 집합이 컴actified 매개변수 공간에서 무한의 이웃을 포함한다는 것을 증명하는 것.

제안 방법

• 유한체적 하이퍼볼릭 3차원 매니폴드에 대해 에이프스타인-펜너 분해를 사용하여 부분적으로 평탄한 이deal 삼각형 분할을 구성하여, 기울어진 테트라헤드론을 평탄한 사각형으로 포함시킨다.
• 복소해석적 변형 매개변수(형태 매개변수)를 사용하여 삼각형 분할된 매니폴드 위의 하이퍼볼릭 구조를 매개변수화하며, 반대로 방향의 테트라헤드론을 허용한다.
• 특히 완전한 구조 근처의 행동을 분석하기 위해 분석적 공간 이론과 분할 이론 도구를 적용한다.
• 개발 맵을 정의하고, 사이클의 호모로지 클래스와 같은 위상적 불변량을 사용하여 변형 공간의 이미지가 매개변수 공간의 원점 주변 이웃을 덮는다는 것을 보여준다.
• C^k에서의 구와 볼의 호모토피 및 호모로지 추론을 사용하여 변형된 구조의 이미지가 원점 주변의 전체 이웃을 포함함을 증명하고, 이는 완전한 점 근처에서의 전사성으로 이어진다.
• 변형 공간에서 형태 매개변수로의 사상이 올바르게 정의되고 작은 구 위로 전사적이며, 이미지가 전체가 아니라고 가정할 경우 반사적 사영을 통해 모순을 이끌어내는 것을 활용한다.

실험 결과

연구 질문

• RQ1 테르스톤의 하이퍼볼릭 디언 플링 정리를 진정한 이deal 삼각형 분할의 존재를 가정하지 않고 증명할 수 있는가?
• RQ2 부분적으로 평탄한 이deal 삼각형 분할의 변형에서 반대로 방향의 테트라헤드론을 어떻게 다룰 수 있는가?
• RQ3 완전한 구조에서 변형 공간의 미분 가능성 가정 없이 정리를 증명하는 것이 가능한가?
• RQ4 좋은 디언 플링 매개변수의 집합이 무한의 이웃을 포함한다는 것을 보장하기 위해 필요한 위상적 및 해석적 도구는 무엇인가?
• RQ5 겹치는 테트라헤드론을 가진 부분적으로 평탄한 삼각형 분할에 대해 어떻게 엄밀하게 하이퍼볼릭 구조를 연결할 수 있는가?

주요 결과

• 논문은 컴 pactified 매개변수 공간에서 무한에 가까운 모든 디언 플링 계수에 대해, 그로 인한 매니폴드가 완전한 유한체적 하이퍼볼릭 구조를 가짐을 증명한다.
• 모든 디언 플링 계수 선택에 대해, 무한히 작은 꼬리각을 가진 완전한 유한체적 하이퍼볼릭 콘 매니폴드의 존재를 확립한다.
• 증명은 형태 매개변수의 변형 공간이 C^k에서 원점 주변의 이웃으로 전사적으로 사상됨을 보여주며, 이는 모든 충분히 작은 꼬리각이 실현됨을 보장한다.
• 호모로지 및 호모토피 추론을 사용하여, 경계 구 위에서의 분석을 통해 변형 맵의 이미지가 원점 주위의 전체 공을 포함함을 확인한다.
• 변형 공간의 미분 가능성에 의존하지 않고, 분할된 해석적 기법과 위상적 불변량을 사용함으로써 이에 기반을 두지 않는다.
• 논문은 테르스톤의 비공식적 작업에서 검증되지 않은 진술에 의존하지 않는 완전하고 간단하며 자가 포함된 증명을 제공함으로써 문헌의 기초적 공백을 해결한다.