[논문 리뷰] Convex projective generalized Dehn filling

Suhyoung Choi, Gye‐Seon Lee외 1명|arXiv (Cornell University)|2016. 11. 08.

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

한 줄 요약

이 논문은 d=4,5,6인 경우 완전하고 유한체적인 쌍곡 d-다면체에서의 촉점(혹은 cusp)을 가진 최초로 알려진 예를 구성한다. 이들에 대해 무한히 많은 일반화된 디븐 필링이 이루어지며, 그 결과 얻어진 궤도들은 적절히 볼록한 실수 사영 기하학적 구조를 갖는다. 코크세터 다면체와 변형 이론을 사용하여, 저자들은 이러한 구조들이 그로모프-쌍곡 상대군으로부터 유래됨을 보이며, 사영 d-공간 내에서 엄밀히 볼록하지 않은 나누어 떨어지는 영역을 생성한다. 이는 디븐 필링 현상이 쌍곡 기하학을 넘어서는 확장이다.

ABSTRACT

For $d=4, 5, 6$, we exhibit the first examples of complete finite volume hyperbolic $d$-manifolds $M$ with cusps such that infinitely many $d$-orbifolds $M_{m}$ obtained from $M$ by generalized Dehn filling admit properly convex real projective structures. The orbifold fundamental groups of $M_m$ are Gromov-hyperbolic relative to a collection of subgroups virtually isomorphic to $\mathbb{Z}^{d-2}$, hence the images of the developing maps of the projective structures on $M_m$ are new examples of divisible properly convex domains of the projective $d$-space which are not strictly convex, in contrast to the previous examples of Benoist.

연구 동기 및 목표

• 3차원 쌍곡 다양체를 넘어서 고차원으로 디븐 필링의 범위를 확장하기.
• d=4,5,6인 완전하고 유한체적인 쌍곡 d-궤도(orbifolds)를 촉점과 함께 구성하여, 그 일반화된 디븐 필링이 적절히 볼凸한 실수 사영 기하학적 구조를 갖는다는 것을 보장하기.
• 벤로이의 엄밀히 볼凸한 예와 대비되는, 사영 d-공간 내에서 나누어 떨어지는, 엄밀히 볼凸하지 않은 영역의 새로운 예를 제시하기.
• 이러한 사영 기하학적 구조에서 Z^{d-2} 부분군에 대해 그로모프-쌍곡성이 유지됨을 보여주기.
• 라벨된 코크세터 다면체의 변형 공간을 통해 이러한 구조를 구성하는 프레임워크 수립하기.

제안 방법

• π의 부분배수인 이면각을 갖는 쌍곡 코크세터 d-다면체를 구성하여 이산 반사군이 되도록 보장하기.
• 디븐 필링 연산을 모델링하기 위해 조합적·기하적 제약 조건을 통해 라벨된 코크세터 다면체 G_m^i를 정의하기.
• 충족된 궤도 M_m 위의 사영 기하학적 구조를 매개변수화하기 위해 변형 공간 C(G_m^i)를 사용하기.
• 다면체 P_m의 극한을 분석하여 군 작용의 적절한 볼凸성과 코컴팩트성을 검증하기.
• 코크세터 군 이론과 란너 다면체를 적용하여 상대적 쌍곡성과 비퇴화성을 확보하기.
• 개발 지도가 사영 공간 RP^d 내에서 나누어 떨어지는, 엄밀히 볼凸하지 않은 볼凸 영역을 유도함을 검증하기.

실험 결과

연구 질문

• RQ1 d≥4인 경우, 완전하고 유한체적인 쌍곡 d-궤도의 일반화된 디븐 필링이 적절히 볼凸한 실수 사영 기하학적 구조를 갖는가?
• RQ2 무한히 많은 필링에 대해 이러한 사영 기하학적 구조가 존재하며, 기하학적으로 서로 다를까?
• RQ3 결과로 얻어진 사영 기하학적 구조가 사영 d-공간 내에서 엄밀히 볼凸하지 않은 나누어 떨어지는 볼凸 영역을 유도할 수 있는가?
• RQ4 필링된 궤도의 기본군의 대수적 구조는 어떻게 되며, Z^{d-2} 부분군에 대해 그로모프-쌍곡성인가?
• RQ5 코크세터 다면체는 고차원에서 이러한 사영 기하학적 구조를 생성하는 구조적 도구로 사용될 수 있는가?

주요 결과

• d=4,5,6인 경우, 저자들은 촉점을 지닌 완전하고 유한체적인 쌍곡 d-궤도를 구성하였으며, 그 일반화된 디븐 필링이 적절히 볼凸한 실수 사영 기하학적 구조를 갖는다는 것을 보였다.
• 각 다양체에 대해 무한히 많은 이러한 필링이 존재하며, Z^{d-2} 부분군에 대해 그로모프-쌍곡인 기본군을 갖는 궤도를 생성한다.
• 이 구조의 개발 지도의 영역은 나누어 떨어지며, 적절히 볼凸하지만 엄밀히 볼凸하지 않은 RP^d 내의 영역이다.
• 이 구성은 라벨된 코크세터 다면체의 변형 공간 C(G_m^i)에 의존하며, 이는 비어 있지 않으며 이산적이고 코컴팩트한 작용을 지원한다.
• 이 예들은 d≥4인 사영 d-공간 내에서 나누어 떨어지며 엄밀히 볼凸하지 않은 영역에 대해 알려진 최초의 예이다.
• 이 방법은 디븐 필링 현상이 쌍곡 기하학을 넘어서 실수 사영 기하학 영역으로 확장됨을 보여준다.