[논문 리뷰] Volume Optimization, Normal Surfaces and Thurston's Equation on Triangulated 3-Manifolds

Feng Luo|arXiv (Cornell University)|2009. 03. 06.

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

한 줄 요약

이 논문은 삼차원 다면체에 대한 유한차원 변분 원리에서, 원주값 각도 구조(S¹-angle structures) 위에서의 부피 함수가 작용으로서 기능하는 것을 제안한다. 이 부피 함수의 임계점은 흐르스토프의 접합 방정식(하이퍼볼릭 계량에 대한 것) 또는 하켄의 정상 표면 방정식(필수 표면에 대한 것)의 해를 제공하며, 이는 컴팩트하고 부드러운 S¹-각도 구조 공간 위에서의 부피 최대화를 통해 포incare 추측의 새로운 변분 공식화를 이룬다.

ABSTRACT

We propose a finite dimensional variational principle on triangulated 3-manifolds so that its critical points are related to solutions to Thurston's gluing equation and Haken's normal surface equation. The action functional is the volume. This is a generalization of an earlier program by Casson and Rivin for compact 3-manifolds with torus boundary. Combining the result in this paper and the work of Futer-Guéritaud, Segerman-Tillmann and Luo-Tillmann, we obtain a new finite dimensional variational formulation of the Poncare-conjecture. This provides a step toward a new proof the Poincaré conjecture without using the Ricci flow.

연구 동기 및 목표

• 토러스 경계를 가진 3차원 다면체에서 카손과 리빈의 부피 기반 변분 프로그램을 닫혀 있고 삼각분할된 가짜-3차원 다면체로 일반화하기.
• S¹-각도 구조 위에서의 부피 함수를 사용하여, 흐르스토프의 접합 방정식과 하켄의 정상 표면 방정식에 대한 유한차원 변분 공식화를 수립하기.
• S¹-각도 구조의 컴팩트 공간 위에서 부피 함수의 임계점이 부드러운 점에서는 흐르스토프의 방정식의 해를, 비부드러운 점에서는 2-사각형 유형 해(정확히 한 개 또는 두 개의 비영인 사각형 좌표를 가짐)를 가진 하켄의 정상 표면 방정식의 해를 제공함을 보여주기.
• 단순 연결이고 최소 삼각분할을 가진 경우, 부피 함수의 부드러운 최대점의 존재성과 흐르스토프의 방정식의 가역성 간의 연결을 통해 포incare 추측의 새로운 변분 공식화를 제공하기.

제안 방법

• 닫혀 있고 올바르게 방향이 주어진 삼각분할된 가짜-3차원 다면체 (M,T) 위에서 S¹-각도 구조의 공간 SAS(M,T)를 정의하고, 이것이 컴팩트하고 닫혀 있으며 부드러운 다양체임을 보여주기.
• 각 S¹-각도 구조에 대해 밀너-로바체프스키 함수를 통해 부피를 부여하고, 연속적인 실수 부피 함수 V: SAS(M,T) → ℝ를 정의하기.
• 부피 함수의 미분 가능성 분석: 부드러운 임계점은 흐르스토프의 접합 방정식의 해에 해당함.
• 부위수의 임계점은 부위수의 부피 함수가 정상 표면 방정식의 해를 생성함을 보여주며, 정확히 한 개 또는 두 개의 비영인 사각형 좌표를 가짐(2-quad-type 해).
• SAS(M,T)의 컴팩트성 덕분에 부피 함수의 최대점이 존재함을 보장하기.
• 퓨터-쥐에리오, 세게르만-틸만, 루오-틸만의 결과를 활용하여, 부위수의 최대점이 위상적 제약(기약성, 토로이달성, 시에프트-섬유화 또는 RP²#RP²#RP² 합성합 포함 여부)과 연결됨을 밝히기.

실험 결과

연구 질문

• RQ1 닫혀 있고 삼각분할된 3차원 다면체 위에서 S¹-각도 구조 공간의 부피 함수는 항상 최대값을 취하는가? 그리고 그 임계점에 의해 암시되는 위상적 정보는 무엇인가?
• RQ2 S¹-각도 구조 위에서 부위수 함수의 부드러운 임계점은 흐르스토프의 접합 방정식의 해를 구성하는 데 사용될 수 있는가?
• RQ3 부위수 함수의 비부드러운 임계점은 정확히 한 개 또는 두 개의 비영인 사각형 좌표를 가진 하켄의 정상 표면 방정식의 해에 해당하는가?
• RQ4 최소 삼각분할을 가진 닫혀 있고 기약적이며 방향이 주어진 3차원 다면체에서, 부위수 함수의 부드러운 최대점의 존재는 흐르스토프의 접합 방정식의 해 존재를 충분히 보장하는가?
• RQ5 최소 삼각분할에서 부드러운 최대점이 존재하지 않는 것은 다면체가 기약적이거나 토로이드럴이거나 시에프트-섬유화이거나 세 개의 RP² 합성합을 포함함을 의미하는가?

주요 결과

• 모든 닫혀 있고 방향이 주어진 삼각분할된 가짜-3차원 다면체 (M,T) 에 대해 S¹-각도 구조 공간 SAS(M,T) 는 컴팩트하고 닫혀 있으며 부드러운 다양체이다.
• SAS(M,T) 위에서의 부피 함수 V: SAS(M,T) → ℝ 는 연속적이며, SAS(M,T) 의 컴팩트성 덕분에 최대값을 취한다.
• 부위수 함수 V 의 최대점 p 가 부드럽다면, p 는 흐르스토프의 접합 방정식의 해를 제공한다.
• 부위수 함수 V 의 최대점 p 가 비부드럽다면, p 는 정확히 한 개 또는 두 개의 비영인 사각형 좌표를 가진 하켄의 정상 표면 방정식의 2-quad-type 해를 제공한다.
• 최소 삼각분할을 가진 닫혀 있고 기약적이며 방향이 주어진 3차원 다면체에서, V 의 모든 최대점이 부드럽다면, 다면체는 흐르스토프의 접합 방정식의 해를 지닌다 (추측 1).
• 최소 삼각분할을 가진 닫혀 있고 기약적이며 방향이 주어진 3차원 다면체에서, 부위수 함수가 비부드러운 최대점을 가진다면, 다면체는 기약적이거나 토로이드럴이거나 시에프트-섬유화이거나 세 개의 프로젝티브 평면의 합성합을 포함한다 (정리 1.2).