[논문 리뷰] Deformations of hyperbolic convex polyhedra and 3-cone-manifolds

Grégoire Montcouquiol|arXiv (Cornell University)|2009. 03. 27.

Geometric and Algebraic Topology참고 문헌 13인용 수 5

한 줄 요약

이 논문은 변형 공간이 이면각(또는 원추 각)에 의해 국소적으로 매개변수화됨을 보여줌으로써 볼록 쌍곡 다면체와 쌍곡 원추-3-다면체의 국소 강성(local rigidity)을 확립한다. 이는 이전의 무한소 강성 결과를 확장한 것으로, 이중 구성(double construction)과 클라인 모델에서의 기하 분석을 통해, 이러한 구조의 공간이 모서리의 수와 동일한 차원을 가지며, 이면각이 국소 좌표로 기능함을 보여준다.

ABSTRACT

The Stoker problem, first formulated in 1968, consists in understanding to what extent a convex polyhedron is determined by its dihedral angles. By means of the double construction, this problem is intimately related to rigidity issues for 3-dimensional cone-manifolds. In a former paper, two such rigidity results were proven, implying that the infinitesimal version of the Stoker conjecture is true in the hyperbolic and Euclidean cases. In this second article, we prove that local rigidity holds and obtain that the space of convex hyperbolic polyhedra with given combinatorial type is locally parameterized by the set of dihedral angles, together with a similar statement for hyperbolic 3-cone-manifolds.

연구 동기 및 목표

• 고정된 조합형태를 가진 볼록 쌍곡 다면체의 변형 공간이 이면각에 의해 국소적으로 매개변수화됨을 보여, 국소 강성을 확립한다.
• 논문 [11]의 무한소 강성 결과를 쌍곡 기하 설정에서 전체 국소 강성 진술로 확장한다.
• 고정된 특이 선을 가지며 원추 각이 $2\pi$ 미만인 쌍곡 원추-3-다면체의 구조 공간이 원추 각에 의해 국소적으로 매개변수화됨을 증명한다.
• 특이 선이 3-차가 아닐 경우 발생할 수 있는 위상적 곤경을 해결하기 위해 정점 분할을 피하는 기법을 도입한다.
• 일반적인 이면각을 갖는 3차원 쌍곡 기하에서의 국소 스토퍼 문제(local Stoker problem)에 기하적 기초를 제공한다. 이는 앤드리브의 정리와 유사하지만, 일반적인 이면각을 다룬다.

제안 방법

• 변형된 다면체와 특이 선이 모서리와 정점에 해당하는 닫힌 쌍곡 원추-3-다면체 사이의 관계를 설정하기 위해 이중 구성(double construction)을 활용한다.
• 쌍곡 3차원 공간 $\mathbb{H}^3$를 $\mathbb{R}^3$의 열린 단위 구에 매립함으로써 클라인(projective) 모델을 적용하여, 볼록성과 조합적 구조를 유지한다.
• 일阶 변형(first-order deformations)을 분석하고 각 변화 기능 $d\psi_{v,i}$의 선형 독립성을 도출함으로써 변형 공간의 접공간(tangent space)을 분석한다.
• 면을 작게 줄이는 데 기반한 귀납적 추론을 통해, 코탄젠트 공간(cotangent space) 내의 종속성은 영계수를 의미함을 보여, 계수들이 자명함을 증명한다.
• 특이 모서리의 수와 동일한 차원을 가지며, $C(M,\Sigma)$로 표기되는 원추-다면체의 구조 공간이 다양체임을 증명한다.
• Pol(\mathcal{P}) \to C(M,\Sigma)$의 단사 사상과 두 공간의 동일한 차원을 이용하여 국소 미분동형사상(local diffeomorphism)을 유도함으로써, 이면각에 의한 매개변수화가 성립함을 결론짓는다.

실험 결과

연구 질문

• RQ1 고정된 조합형태를 가진 볼록 쌍곡 다면체의 공간은 그 이면각에 의해 국소적으로 매개변수화될 수 있는가?
• RQ2 원추 각이 $2\pi$ 이하인 쌍곡 원추-3-다면체에 대해 국소 강성이 성립하는가?
• RQ3 비3-차 특이 정점이 존재하는 상황에서, 무한소 강성 결과를 전체 국소 강성으로 확장할 수 있는가?
• RQ4 이중 구성은 다면체 강성과 원추-다면체 구조 사이의 관계를 어떻게 연결하는가?
• RQ5 이면각에 의한 매개변수화가 전역 강성(global rigidity)을 보장하지 못하는 이유는 무엇이며, 그 장애 요소는 무엇인가?

주요 결과

• 고정된 조합형태를 가진 볼록 쌍곡 다면체의 공간은 이면각의 튜플에 의해 국소적으로 매개변수화된다.
• 특이 선 $\Sigma$가 고정되어 있고 원추 각이 $2\pi$ 이하인 쌍곡 원추-3-다면체의 구조 공간은 원추 각에 의해 국소적으로 매개변수화된다.
• 변형 공간 $Pol(\mathcal{P})$는 $|E| + 6$ 차원의 다양체이며, $|E|$는 모서리의 수이고, 이면각이 국소 좌표로 기능한다.
• 면을 작게 줄이는 귀납적 추론을 통해 코탄젠트 공간에서의 기능 $d\psi_{v,i}$의 선형 독립성이 확립되어, 비자명한 종속성이 존재하지 않음을 보장한다.
• 이중 구성은 $Pol(\mathcal{P})$와 $C(M,\Sigma)$ 사이에 국소 미분동형사상을 유도하여, 각에 의한 매개변수화가 국소적으로 매끄럽고 가역적임을 확인한다.
• 정점 분할의 가능성이 있더라도, 변형 공간의 철저한 분석을 통해 위상적 장애를 피함으로써 결과는 유지된다.