[논문 리뷰] On the isometry group and the geometric structure of compact stationary Lorentzian manifolds

Paolo Piccione, Abdelghani Zeghib|arXiv (Cornell University)|2010. 02. 03.

Geometric Analysis and Curvature Flows참고 문헌 13인용 수 5

한 줄 요약

이 논문은 무한한 성분을 가진 이sovmetry 군을 갖는 컴팩트 정적 로렌츠 다양체를 조사하며, 유한 커버를 통해 그들이 평탄한 로렌츠 토러스와 컴팩트 리만 또는 빛처럼 보이는 다양체의 곱(또는 암묵적 곱)으로 분해된다는 것을 증명한다. 핵심 결과는 이sovmetry 군의 항등성분의 비콤팩트성과 시간적 칼링 장의 존재에 기반한 구조적 분류를 수립한다.

ABSTRACT

We study the geometry of compact Lorentzian manifolds that admit a somewhere timelike Killing vector field, and whose isometry group has infinitely many connected components. Up to a finite cover, such manifolds are products (or amalgamated products) of a flat Lorentzian torus and a compact Riemannian (resp., lightlike) manifold.

연구 동기 및 목표

• 비콤팩트 이sovmetry 군을 갖는 컴팩트 로렌츠 다양체의 기하적 구조를 이해하기 위해.
• 어느 부분에서든 시간적 칼링 장의 역할이 이러한 다양체의 전반적 기하학을 결정하는 방식을 분석하기 위해.
• 이sovmetry 군의 연결 성분이 무한히 많은 컴팩트 정적 로렌츠 다양체의 구조를 분류하기 위해.
• 기존의 등급 작용 결과를 비콤팩트 이sovmetry 군에 대해 연결 성분이 무한히 많은 경우로 확장하기 위해.
• 이러한 다양체가 평탄한 로렌츠 토러스와 컴팩트 리만 또는 빛처럼 보이는 성분을 포함하는 곱 또는 암묵적 곱으로 유한 커버를 갖는 조건을 규명하기 위해.

제안 방법

• 이sovmetry 군의 이산 부분의 수반 작용을 사용하여 이sovmetry 군의 구조를 분석한다.
• 하리쉬-찬드라–볼 정리를 적용하여 유리 로렌츠 형식과 관련된 정수 격자에서의 직교군에 대한 연구를 수행한다.
• 단순 연결 다양체의 곱에 대한 원군의 자유이고 적절한 대각선 작용을 통해 몫 다양체를 구성한다.
• 대각선 S¹ 작용에 의해 유도된 피브레이션의 장기 정적 호모토피 수열을 분석하여 몫의 기본군을 결정한다.
• [17]의 결과를 활용하여 SL(2,R) 또는 온도스코프 군의 등급 작용에 대한 구조적 결과를 활용하여 비단순 연결 로렌츠 다양체를 분류한다.
• 이산 몫 Γ = Iso(M,g)/Iso₀(M,g)의 성격에 따라, 기본 평면 및 비평면 사례로 나누어 모순에 의한 증명과 케이스 분석을 수행한다.

실험 결과

연구 질문

• RQ1 이sovmetry 군의 연결 성분이 무한히 많은 컴팩트 정적 로렌츠 다양체의 기하적 구조는 무엇인가?
• RQ2 비콤팩트 이sovmetry 군과 시간적 칼링 장을 갖는 컴팩트 로렌츠 다양체가 곱 또는 암묵적 곱으로 분해되는 조건은 무엇인가?
• RQ3 이sovmetry 군의 항등성분이 비콤팩트일 경우, 다양체의 전반적 위상수학적 및 기하학적 성질은 어떻게 제약을 받는가?
• RQ4 단순 연결 컴팩트 로렌츠 다양체의 이sovmetry 군이 무한히 많은 성분을 가질 경우, 그것이 콤팩트일 수 없는가?
• RQ5 기본군이 평탄한 로렌츠 토러스를 포함하는 곱으로 유한 커버를 갖는 컴팩트 로렌츠 다양체인지 여부를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 이sovmetry 군의 연결 성분이 무한히 많은 컴팩트 정적 로렌츠 다양체는 유한 커버를 통해 평탄한 로렌츠 토러스와 컴팩트 리만 또는 빛처럼 보이는 다양체의 곱 또는 암묵적 곱으로 분해된다.
• 이sovmetry 군이 비콤팩트이고 항등성분이 시간적 궤도를 포함한다면, 그 안에는 국소적으로 SL(2,R) 또는 온도스코프 군과 동형인 비자명한 인자가 존재해야 한다.
• 다양체가 단순 연결일 경우 이sovmetry 군은 반드시 콤팩트여야 하며, 따라서 그것이 무한히 많은 성분을 가질 경우 유한 커버는 단순 연결일 수 없다.
• 몫 다양체 Z = (X × Y)/S¹은 X와 Y가 모두 단순 연결이면 단순 연결이지만, π₁(X) × π₁(Y)가 순환군이 아니면 단순 연결이 아니다.
• 몫 다양체 Z에 정의된 로렌츠 계량은 대각선 S¹ 작용의 등급 작용으로 인해 잘 정의되며 일관된 계량 구조를 유도한다.
• 분류 결과는 이산 몫 Γ = Iso(M,g)/Iso₀(M,g)의 구조에 의존하며, Γ가 기본 평면인지 여부에 따라 다른 결론을 이끌어낸다.