[논문 리뷰] A classification of radial and totally geodesic ends of properly convex real projective orbifolds

Suhyoung Choi|arXiv (Cornell University)|2013. 04. 05.

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

한 줄 요약

이 논문은 강한 기약성과 적절히 볼록한 실수 프로젝티브 $n$차원 오비폴드의 반경 방향 및 완전 평행 이완 끝을, 호로니 표현의 고유값 조건을 분석하여 분류한다. 아핀 다각형, 평탄한 띠오르스턴 기하학, 리만형 잡다한 기하학의 기법을 사용하여, 적절한 조건 하에서 오직 렌즈형 또는 수평면형 끝만 존재할 수 있음을 증명함으로써, 이러한 끝의 완전한 위상수학적 및 역학적 분류를 확립한다.

ABSTRACT

Real projective structures on $n$-orbifolds are useful in understanding the space of representations of discrete groups into $SL(n+1, \mathbb{R})$ or $PGL(n+1, \mathbb{R})$. A recent work shows that many hyperbolic manifolds deform to manifolds with such structures not projectively equivalent to the original ones. The purpose of this paper is to understand the structures of ends of real projective $n$-dimensional orbifolds. In particular, these have the radial or totally geodesic ends. Hyperbolic manifolds with cusps and hyper-ideal ends are examples. For this, we will study the natural conditions on eigenvalues of holonomy representations of ends when these ends are manageably understandable. The main techniques are the theory of Fried and Goldman on affine manifolds, a generalization of the work of Goldman, Labourie, and Margulis on flat Lorentzian $3$-manifolds and the work on Riemannian foliations by Molino, Carrière, and so on. We will show that only the radial or totally geodesic ends of lens type or horospherical ends exist for strongly irreducible properly convex real projective orbifolds under the suitable conditions.

연구 동기 및 목표

• 강한 기약성과 적절히 볼록한 실수 프로젝티브 $n$-오비폴드에서 반경 방향 및 완전 평행 이완 끝의 유형을 분류하기 위해.
• 홀로니 표현을 이용한 실수 프로젝티브 오비폴드의 끝의 기하학적 및 역학적 구조를 이해하기 위해.
• 홀로니 군에 대한 균일한 중간 고유값 조건이 만족될 경우, 어떤 끝 유형—렌즈형 또는 수평면형—이 발생할 수 있는지 규명하기 위해.
• 하이퍼볼릭 기하학과 아핀 기하학의 결과를 오비폴드의 실수 프로젝티브 구조로 더 넓은 맥락으로 확장하기 위해.
• 일반적인 위상수학적 및 기하학적 특성화를 위해 $\mathbb{S}^n$ 내의 불변 볼록 도메인과 그 경계를 통해 끝을 기술하기 위해.

제안 방법

• 균일한 중간 고유값 조건을 고려하여 오비폴드 끝의 홀로니 표현을 고유값 조건으로 분석한다.
• 프리드와 골드먼의 아핀 다각형 이론을 적용하여 실수 프로젝티브 기하학에서의 끝 기하학을 연구한다.
• 골드먼, 라보르리에, 마르굴리의 평탄한 띠오르스턴 3차원 다각형 이론을 고차원 실수 프로젝티브 오비폴드로 일반화한다.
• 리만형 잡다한 기하학 이론(Molino, Carrière)을 활용하여 무한대 경계와 끝 행동의 구조를 분석한다.
• 무한대 경계 $\Omega$를 포함하는 불변 볼록 도메인 $L \subset \mathbb{S}^n$을 구성하여 렌즈형 이웃을 형성한다.
• 힐버트 기하학과 튜브 이웃의 기법을 적용하여, $V/\Gamma$ 내에서 $\Omega/\Gamma$의 엄밀히 볼록한 컴acts 이웃 $W'$의 존재를 보인다.

실험 결과

연구 질문

• RQ1 강한 기약성과 적절히 볼록한 실수 프로젝티브 $n$-오비폴드에서 반경 방향 또는 완전 평행 이완 끝이 어떤 유형으로 발생할 수 있는가?
• RQ2 홀로니 표현에 대한 어떤 고유값 조건이 렌즈형 또는 수평면형 끝을 유도하는가?
• RQ3 $\mathbb{S}^n$ 내에 $\Gamma$-불변이고 $\Omega$를 포함하며 경계가 엄밀히 볼록인 열린 도메인 $L$을 구성할 수 있는가?
• RQ4 무한대 경계 $\partial\Omega$에서의 점근적 완전 평행 이완 초평면 $h(x)$는 끝의 구조를 어떻게 결정하는가?
• RQ5 대칭점 사상과 열린 반구의 교차는 $\Omega$의 볼록 이웃을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 균일한 중간 고유값 조건 하에서, 강한 기약성과 적절히 볼록한 실수 프로젝티브 오비폴드에서는 오직 렌즈형 또는 수평면형 끝만 존재할 수 있다.
• $\partial\Omega$의 각 $x \in \partial\Omega$에 대해 유일한 점근적 완전 평행 이완 초평면 $h(x)$가 존재하며, $x \mapsto h(x)$는 연속적이다.
• $\Gamma$-불변이고 엄밀히 볼록한 열린 도메인 $L \subset \mathbb{S}^n$이 존재하여 $\Omega$를 포함하고 $\Omega$의 한쪽 이웃에 포함되며, 렌즈형 이웃을 형성한다.
• 구성된 도메인 $W'$의 경계는 엄밀히 볼록하고, 컴acts 몰입 $\Omega/\Gamma$와 양의 거리를 유지하므로 튜브 이웃의 컴팩턴스를 보장한다.
• 초기 도메인 $V = \bigcap_{x \in \partial\Omega} H'(x)$가 적절히 볼록하지 않다면, $\overline{\Omega}$를 포함하는 열린 반구의 교차를 통해 새로운 $\Gamma$-불변 적절히 볼록한 도메인을 구성할 수 있다.
• 오비폴드 $V/\Gamma$ 내에서 $\Omega/\Gamma$의 컴팩트 튜브 이웃 $M$이 존재하면, $\Omega/\Gamma$와 $\partial M/\Gamma$ 사이에 양의 거리가 존재하므로 엄밀히 볼록한 $W'$를 구성할 수 있다.