[논문 리뷰] Affine Coxeter Extensions of the Two-Holed Projective Plane

William M. Goldman, Gregory Laun|arXiv (Cornell University)|2015. 11. 17.

Geometric Analysis and Curvature Flows참고 문헌 7인용 수 3

한 줄 요약

이 논문은 두 개의 구멍이 있는 실수 평면의 기본군의 이중 확장에 대한 적절한 아핀 변형을 분류하며, 크로익( crooked ) 기본 도메인을 갖는 적절한 아핀 변형의 공간이 프로젝티브 공간 내의 사각형에 내접한 육각형을 이룬다는 것을 보여준다. 또한 크로익 기본 도메인을 갖지 않는 적절한 작용의 존재를 증명하여, 옹호성의 결과를 비옹호성의 하이퍼볼릭 표면으로 확장한다.

ABSTRACT

A Margulis spacetime is a complete flat affine Lorentzian 3-manifold with free fundamental group. Associated to $M$ is a noncompact complete hyperbolic surface $Σ$. We study double extensions of $π_1 (M) \cong π_1 (Σ)$ when $Σ$ is homeomorphic to a projective plane minus two discs. We classify proper actions of this double extension on Minkowski space and show that there exist proper actions that do not admit crooked fundamental domains.

연구 동기 및 목표

• 두 개의 구멍이 있는 실수 평면의 기본군의 코크스터 확장에 대한 적절한 아핀 작용을 분류하는 것.
• 비콤팩트 하이퍼볼릭 표면이 두 개의 구멍이 있는 크로스 표면과 위상적으로 동일한 마르굴리 스페이스타임에 의해 이중 커버되는 아핀 오비폴드를 연구하는 것.
• 크로익 기본 도메인 이론을 비옹호성 하이퍼볼릭 표면으로 확장하는 것.
• 그러한 군의 적절한 아핀 변형이 크로익 기본 도메인을 갖는지 여부를 결정하는 것.

제안 방법

• 두 개의 구멍이 있는 실수 평면의 초이드라일 삼등분을 사용하여 크로익 평면의 구성 생성.
• 고정된 이deal 삼등분에 대해 변형 공간을 매개변수화하기 위해 크로익 이deal 삼등분 이론을 적용.
• 이deal 삼등분의 변화에 따른 변형 공간의 변화를 기록하기 위해 플립 그래프를 활용.
• 플립 그래프의 딜로가로 간주되는 아크 복합체를 사용하여 전체 변형 공간을 기술.
• 삼각형 기본 도메인의 세 번째 변의 호모토피 유형에 대한 지오데식 대표를 θ로 매개변수화.
• 프로젝티브 공간에서 크로익 기본 도메인의 기하학을 분석하기 위해 변형 공간을 프로젝티브화.

실험 결과

연구 질문

• RQ1 코크스터 확장된 두 개의 구멍이 있는 실수 평면의 기본군에 대한 모든 적절한 아핀 변형이 크로익 기본 도메인을 갖는가?
• RQ2 크로익 기본 도메인을 갖는 적절한 아핀 변형의 공간은 오비폴드 몰입의 하이퍼볼릭 구조 공간과 어떻게 관련이 있는가?
• RQ3 그러한 변형에 대해 프로젝티브화된 크로익 기본 도메인 공간의 기하학적 형태는 무엇인가?
• RQ4 크로익 기본 도메인을 갖지 않는 적절한 아핀 변형이 존재하는가? 만약 존재한다면, 어떻게 특징지어지는가?
• RQ5 지오데식 대표 θ를 변화시키면 변형 공간의 구조에 어떤 영향을 미치는가?

주요 결과

• 고정된 θ에 대해 크로익 기본 도메인을 갖는 적절한 아핀 변형의 공간은 오비폴드 몰입의 하이퍼볼릭 구조의 모듈리 공간 위의 여섯 변을 가진 콘이다.
• 이 콘은 프로젝티브화되어 사각형 Q에 내접한 육각형 H로 나타나며, 이는 인덱스 2의 자유군에 대한 크로익 기본 도메인의 프로젝티브화된 공간을 매개변수화한다.
• 지오데식 대표 θ를 변화시키면 육각형 대신 8각형이 되며, 두 개의 꼭짓점이 구간으로 대체된다.
• 크로익 기본 도메인을 갖지 않는 적절한 아핀 변형이 존재하며, 이는 Q ∖ H 내의 점들에 대응한다.
• 변형 행렬에 의해 양의 정사각형 영역이 사영되는 이미지는 Q에 내접한 오각형 P₁이며, 위쪽 꼭짓점은 랭크 1 행렬 M₃에 대응한다.
• 다른 구성으로부터 두 번째 오각형 P₂를 얻을 수 있으며, P₁과의 교차는 더 작은 사각형 Q_small을 형성하여 변형 공간의 기하학적 구조를 확인한다.