[논문 리뷰] A convexity theorem for real projective structures

Jaejeong Lee|ArXiv.org|2007. 05. 27.

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

한 줄 요약

이 논문은 면을 통해 접합된 볼록 $n$-다면체들로 구성된 실 프로젝티브 다양체가 볼록 또는 적절히 볼록이 되기 위한 충분조건을 확립한다. 인접한 두 다면체가 한 면을 共유할 때 그 합집합이 볼록인 잔여 볼록성 조건을 사용하여, 삼각형 다면체가 존재하지 않는 한 결과 구조는 볼록이며, 추가로 어떤 다면체의 쌍대가 두꺼운 경우 결과 다양체는 적절히 볼록이 됨을 증명한다. 이 결과는 평면 볼록성 정리들을 고차원 실 프로젝티브 기하로 일반화한다.

ABSTRACT

Given a finite collection P of convex n-polytopes in RP^n (n>1), we consider a real projective manifold M which is obtained by gluing together the polytopes in P along their facets in such a way that the union of any two adjacent polytopes sharing a common facet is convex. We prove that the real projective structure on M is (1) convex if P contains no triangular polytope, and (2) properly convex if, in addition, P contains a polytope whose dual polytope is thick. Triangular polytopes and polytopes with thick duals are defined as analogues of triangles and polygons with at least five edges, respectively.

연구 동기 및 목표

• 실 프로젝티브 다양체가 볼록 $n$-다면체들을 접합하여 구성될 때 그가 볼록 또는 적절히 볼록이 되는 데 필요한 충분조건을 확립하는 것.
• 카포비치가 처음 제시한 평면 볼록성 정리들을 다면체 및 쌍대 조건을 통해 고차원으로 일반화하는 것.
• 삼각형 다면체와 두꺼운 쌍대를 가진 다면체를 각각 삼각형과 오각형의 고차원 일반화로 정의하고 특성화하는 것.
• 반사군이나 무한 복합체에 기반한 기존 결과들과 보완되는 실 프로젝티브 구조에 대한 볼록성 기준을 제공하는 것.
• 구성적 기하학적 기법을 통해 평면 타일링에서의 잔여 볼록성 조건을 고차원 프로젝티브 다양체로 확장하는 것.

제안 방법

• 임의의 두 인접한 $n$-다면체가 한 면을 共유할 때 그 합집합이 $\mathbb{S}^n$ 내에서 볼록인 셋업을 갖춘 잔여 볼록 $n$-복합체를 정의한다.
• 쌍대가 두껍지 않은 $n$-다면체를 '삼각형 다면체'로 정의하여 $\mathbb{R}^2$의 삼각형을 일반화한다.
• 모든 릿지 링크에서 최소 5개의 면을 갖는 쌍대 다면체를 '두꺼운 쌍대'로 정의하여 $\geq 5$개의 변을 갖는 다각형을 일반화한다.
• 유일 피복에서 $\mathbb{S}^n$으로의 개발 맵 $dev: \tilde{M} \to \mathbb{S}^n$을 사용하여 프로젝티브 구조를 올리고 잔여 볼록성에 의해 이미지 분석을 수행한다.
• 곡률이 아래로 유계인 알렉산드로프 공간 내 볼록성 결과를 적용하여 개발 맵의 이미지가 전역적으로 볼록함을 유도한다.
• 쌍대성과 구면 기하를 활용하여 복합체 내의 링크와 잔여 구조를 분석하여 구조가 필요한 위상적 및 기하적 제약 조건을 만족함을 보장한다.

실험 결과

연구 질문

• RQ1 볼록 $n$-다면체들을 접합하여 구성된 실 프로젝티브 다양체가 전역적으로 볼록이 되기 위한 조건은 무엇인가?
• RQ2 그러한 다양체가 볼록 뿐 아니라, 닫힘에 프로젝티브 직선을 포함하지 않는 '적절히 볼록'이 되기 위한 조건은 무엇인가?
• RQ3 카포비치의 평면 타일링 정리—삼각형이 없거나 오각형이 있는 경우에 관한 것—을 어떻게 고차원으로 일반화할 수 있는가?
• RQ4 다면체와 그 쌍대의 조합적 및 기하적 성질 중 결과 프로젝티브 구조의 볼록성을 보장하는 것은 무엇인가?
• RQ5 잔여 볼록성만으로도 전역 볼록성을 보장할 수 있으며, 적절한 볼록성을 확보하기 위해 추가로 필요한 조건은 무엇인가?

주요 결과

• 유한한 볼록 $n$-다면체의 집합이 삼각형 다면체를 포함하지 않으며, 인접한 다면체들이 프로젝티브 면 쌍합 조건에 따라 접합되어 인접한 합집합이 볼록일 경우, 그로 인한 실 프로젝티브 다양체는 볼록하다.
• 추가로, 어떤 다면체의 쌍대가 두껍다면(각 릿지 링크에서 최소 5개의 면을 가짐), 그로 인한 다양체는 적절히 볼록하다.
• 제시된 조건 하에서 유일 피복에서 $\mathbb{S}^n$으로의 개발 맵은 (적절히) 볼록 도메인 위로 프로젝티브 동형사상이다.
• 증명은 구조를 유일 피복으로 올리고 잔여 볼록성 조건을 활용하여 알렉산드로프 공간의 성질과 구면 다면체의 성질을 통해 전역 볼록성을 유도한다.
• 결과는 평면 볼록성 정리를 고차원으로 일반화하며, 반사군이나 무한 복합체에 기반한 기존 결과들과 독립적인 새로운 기준을 제공한다.
• 이 틀은 반사적이지 않은 접합 맵에도 적용 가능하므로, 비너브의 기본 도메인 정리나 카포비치의 무한 다면체 복합체 결과로 다루지 못한 경우를 포함한다.