[논문 리뷰] Lorentzian Kleinian Groups

Thierry Barbot|arXiv (Cornell University)|2016. 09. 13.

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

한 줄 요약

이 종합 논문은 원인성 구조를 통합함으로써 고전적 클라인 군 이론을 반데시터 공간(AdS)의 등거리변환의 이산부분군인 로렌츠 클라인 군으로 확장한다. 비아인원(subgroups) — 즉 원인성 구조를 존중하는 군 — 은 잘 정의된 극한 집합과 본질적으로 비치지 않는 영역에서의 적절한 작용을 갖는다. 이는 유클리드 기하학을 로렌츠 기하학으로 일반화하며, 전역적으로 초과하는 시공간과 2+1 차원에서의 테이히뮐러 이론과 연결된다.

ABSTRACT

Classical Kleinian groups are discrete subgroups of isometries of H n. The well-known theory of Kleinian groups starts with the definition of their associated limit set in the boundary of H n , and includes the geometric properties of the quotient hyperbolic space. This approach, naively applied, fails in the Lorentzian analogue anti-de Sitter space: discrete subgroups do not act properly discontinuously, and in many cases the set of accumulation points of orbits at the conformal boundary at infinity depends on the orbit. In this survey, we point out a way to extend this classical theory by introducing causality notions: the theory of limit sets and regularity domains extend naturally to achronal subgroups. This is closely related to the notions of globally hyper-bolic spacetimes, and we present what is known about the classification of globally hyperbolic spacetimes of constant curvature. We also review the close connection revealed by G. Mess ([79]) between globally hyperbolic spacetimes of dimension 2 + 1 and Teichm{\\"u}ller space. This link can be understood via the space of time-like geodesics of anti-de Sitter space, and this space has also an interesting role, presented here, in the recent works about proper group actions on spacetimes of constant curvature.

연구 동기 및 목표

• 고전적 클라인 군 이론(하이퍼볼릭 기하학에 기반)을 원인성 개념을 핵심으로 하여 로렌츠 기하학으로 확장하기.
• 비아인원 안정자군이 비콤팩트이기 때문에 표준 클라인 군 성질(예: 균일 궤도 극한, 적절한 이산적 작용)이 반데시터 공간에서 실패하는 문제를 다루기.
• 특히 2+1 차원에서 일정 곡률을 갖는 전역적으로 초과하는 시공간을 분류하고, G. 메스의 작업을 통해 테이히뮐러 공간과 연관시키기.
• 일정 곡률 시공간에서의 적절한 군 작용을 분석하며, 특히 마르골리스 시공간과 아노소프 표현의 맥락에서 고려하기.
• 시공간에서의 시간적 지오데식과 분할의 역할을 규명하여 반데시터 공간과 평탄한 로렌츠 기하 공간에서 작용하는 이산 군의 특성화에 기여하기.

제안 방법

• 원인성 구조를 유지하는 아chronal 하위군과 같은 원인성 개념을 도입하여 극한 집합 이론의 일관된 확장을 가능하게 한다.
• 반데시터 공간의 경계를, 즉 아인슈타인 우주(Ein^{1,n-1})로 알려진 호의 경계를 극한 집합을 정의하는 자연스러운 배경으로 사용한다.
• 전역적으로 초과하는 시공간(MGHC) 이론을 적용하여 일정 곡률 로렌츠 다양체를 분류하며, 특히 AdS, dS 및 평탄한 경우를 중심으로 다룬다.
• 반데시터 공간 AdS^{1,2}를 PSL(2,R) × PSL(2,R) 내의 행렬 공간으로 식별함으로써 표현을 통한 시공간의 기하학적 해석을 가능하게 한다.
• 극한 집합에서 보이지 않는 영역인 '비치지 않는 영역' 개념을 적용하여 아chronal 군이 이산적으로 작용할 수 있도록 한다.
• 아노소프 표현과 마르골리스 불변량을 활용하여, 특히 평탄하고 반데시터 시공간에서의 적절한 작용을 특성화한다.

실험 결과

연구 질문

• RQ1 표준 성질(예: 균일 궤도 극한)이 실패하는 상황에서, 고전적 클라인 군 이론이 로렌츠 기하학으로 어떻게 확장될 수 있는가?
• RQ2 원인성이 반데시터 공간에서 잘 정의된 이산 군 작용을 정의하는 데 어떤 역할을 하는가?
• RQ3 2+1 차원에서 일정 곡률을 갖는 전역적으로 초과하는 시공간은 어떻게 분류되며, 테이히뮐러 공간과 어떤 연관성이 있는가?
• RQ4 등거리변환의 이산 부분군이 반데시터 또는 평탄한 로렌츠 기하 공간에서 적절히 이산적으로 작용하기 위한 조건은 무엇인가?
• RQ5 시공간에서의 시간적 지오데식 분할 또는 반데시터 공간에서의 복소기하학적 구조를 통해 적절한 작용의 구조를 이해할 수 있는가?

주요 결과

• 반데시터 공간의 등거리변환에 대한 아chronal 하위군은 호의 경계(즉, 아인슈타인 우주)에서 잘 정의된 극한 집합을 갖는다. 이는 하이퍼볼릭 경우의 일반화이다.
• AdS에서의 적절한 이산적 작용은 전체 공간에서가 아니라 극한 집합에서 보이지 않는 영역에서 가능하다. 이는 클라인 군 이론의 기하학적 확장을 가능하게 한다.
• 2+1 차원에서, 일정 곡률을 갖는 전역적으로 초과하는 시공간은 G. 메스가 설정한 반데시터 시공간과 두 개의 하이퍼볼릭 구조 간의 대응을 통해 테이히뮐러 공간을 통해 분류된다.
• 마르골리스 시공간(R^{1,2}를 이산군으로 나눈 몫공간)은 핸들바디와 미분동형이며, 크로익드 평면으로 둘러싸인 기본영역을 갖는다. 이들의 적절성은 마르골리스 불변량에 의해 결정된다.
• 아노소프 표현을 통해 PSL(2,R) × PSL(2,R)로 들어가는 표현에서 유도된 마르골리스 AdS 시공간은 시간적 지오데식으로 분할되며, 고차원의 구조의 무한소 극한이다.
• 평탄한 마르골리스 시공간과 달리, 마르골리스 AdS 시공간은 반드시 크로익드 기본영역을 갖는 것은 아니며, 이는 기하학적 실현 방식에서의 구조적 차이를 나타낸다.