[논문 리뷰] On the Full Holonomy of Lorentzian Manifolds with Parallel Weyl Tensor

Daniel Schliebner|arXiv (Cornell University)|2012. 04. 26.

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

한 줄 요약

이 논문은 완전히 평행한 Weyl 텐서를 가지며, conformally flat이거나 국소적으로 대칭이 아닌 컴팩트 루차이프 맨포ลด의 전체 호로노미 군을 계산한다. 이러한 다양체가 지선적으로 완비됨을 증명하고, 그 분해형 덮개가 완비된 pp-웨이브 메트릭과 등급임을 보여준다. 핵심 결과는 감소된 호로노미가 R^{n−2}임을 보이고, 기본군 조건이 만족될 경우 전체 호로노미 군이 R^{n−2}와 일치함을 보인다. 또한, 분해형 덮개의 등급군의 항등성분이 SO(n−2)의 부분군 S와 히센버그 군 He(n−2)의 반직곱과 동형임을 보여준다.

ABSTRACT

We compute the full holonomy group of compact Lorentzian manifolds with parallel Weyl tensor, which are neither conformally flat nor locally symmetric, for the case where the fundamental group is contained in a distinguished subgroup G of the isometry group of the universal cover. To prove this, we show that every such compact Lorentzian manifold has to be geodesically complete. Moreover we characterize the identity component of the isometry group for this universal cover and show that G is up to a discrete factor contained in the latter. Concretely, we prove that the identity component of the isometry group is isomorphic to a semidirect product of a subgroup of SO(n) with the Heisenberg group.

연구 동기 및 목표

• 완전히 평행한 Weyl 텐서를 가지며, conformally flat이거나 국소적으로 대칭이 아닌 컴팩트 루차이프 맨포ลด의 전체 호로노미 군을 결정하는 것.
• 호로노미 및 등급군 분석에 필수적인 지선적 완비성을 확보하기 위해 이러한 컴팩트 다양체의 지선적 완비성을 증명하는 것.
• 분해형 덮개의 등급군의 항등성분이 SO(n−2)의 부분군과 히센버그 군 He(n−2)의 반직곱임을 특성화하는 것.
• 기본군이 특정 (2n−3)-차원 부분군 G ≅ ℤ ⋉ He(n−2)에 포함될 경우, 호로노미를 제약하는 데서 기본군의 역할을 명확히 하는 것.

제안 방법

• 호로노미 원리와 전체적으로 영이 되는 평행 분포(올자크 분포)의 존재를 이용하여 호로노미 표현을 제약하는 것.
• Weyl 텐서가 본질적으로 평행한 다양체에 대한 Derdziński와 Roter의 분류 결과를 적용하여, 분해형 덮개가 완비된 pp-웨이브 메트릭임을 식별하는 것.
• 특정 미분방정식의 해의 전역 존재성에 관한 [CFS03]의 결과를 이용하여, 분해형 덮개의 지선적 완비성을 증명하는 것.
• 분해형 덮개 위의 케일링 벡터장 분석을 통해 등급군의 대수를 규명하고, 등급군의 항등성분을 식별하는 것.
• 히센버그 대수의 원소들과 SO(n−2)의 리대수 간의 교환관계를 이용하여 반직곱의 구조를 구성하는 것.
• 리부분군 S ⊂ SO(n−2)를 추적하지 않은 자기수반 연산자 A ∈ End(V)의 중심화자로 특성화하는 것.

실험 결과

연구 질문

• RQ1 완전히 평행한 Weyl 텐서를 가지며, conformally flat이거나 국소적으로 대칭이 아닌 컴팩트 루차이프 맨포ลด의 전체 호로노미 군은 무엇인가?
• RQ2 기본군 π₁(M)가 어떤 조건을 만족할 경우 전체 호로노미 군 Hol(M^n, g)이 R^{n−2}와 일치하는가?
• RQ3 분해형 덮개의 등급군의 항등성분은 리군의 구조적 측면에서 어떻게 특성화될 수 있는가?
• RQ4 이러한 분해형 덮개의 등급군의 최대 가능한 차원은 얼마이며, 이는 연산자 A에 어떻게 의존하는가?
• RQ5 기본군이 π₁(M) ⊂ ℤ ⋉ He(n−2)임을 가정하는 것은, 완전히 평행한 Weyl 텐서를 가진 컴팩트 루차이프 맨포ลด의 맥락에서 얼마나 제약적인가?

주요 결과

• 완전히 평행한 Weyl 텐서를 가진 모든 컴팩트 루차이프 맨포ลด (M^n, g)의 분해형 덮개 (fM, eg) 는 R^n 위의 완비된 pp-웨이브 메트릭과 등급이다.
• 이러한 모든 컴팩트 루차이프 맨포ลด는 지선적으로 완비되며, 관련된 미분방정식의 최대 해가 전체 실수선에서 정의되어 있다.
• M^n, g의 감소된 호로노미 군은 R^{n−2}와 동형이며, 이는 호로노미 표현의 최대 아벨 부분군이다.
• 기본군 π₁(M)가 G ≅ ℤ ⋉ He(n−2)에 포함되어 있다면, 전체 호로노미 군 Hol(M^n, g)는 R^{n−2}와 일치한다.
• 분해형 덮개의 등급군의 항등성분은 S ⋉ He(n−2)와 동형이며, 여기서 S는 추적을 가진 자기수반 연산자 A와 교환되는 SO(n−2)의 리부분군이다.
• 특정 경우에서 dim V = n−2 이고 A가 차원 n−3과 1인 고유공간을 가질 경우, 등급군의 차원은 n(n+1)/2 − (2n−3)이며, 이는 SO(n−2) × He(n−2)의 최대 가능 차원보다 엄밀히 작다.