[논문 리뷰] Towards a classification of Lorentzian holonomy groups. Part II: Semisimple, non-simple weak-Berger algebras

Thomas Leistner|arXiv (Cornell University)|2003. 09. 17.

Advanced Topics in Algebra참고 문헌 6인용 수 19

한 줄 요약

이 논문은 레이포르티언 홀로노미 그룹의 분류를 완성하여, 임의의 분해 불가능하고 비기약이 아닌 레이포르티언 홀로노미 대수에서 so(n)-사영이 항상 리만형 홀로노미 대수임을 증명한다. 루트 시스템 분석과 약한-버지 대수 조건을 활용하여, 단순하지 않은 복소수 약한-버지 대수들이 항상 리만형 홀로노미 대수의 복소화임을 보이며, 이에 따라 모든 이러한 레이포르티언 홀로노미 군이 G ⋉ ℝⁿ 형태를 띠게 되며, 여기서 G는 리만형 홀로노미 군임을 증명한다.

ABSTRACT

The holonomy group of an (n+2)-dimensional simply-connected, indecomposable but non-irreducible Lorentzian manifold (M,h) is contained in the parabolic group $(\mathbb{R} imes SO(n))\ltimes \mathbb{R}^n$. The main ingredient of such a holonomy group is the SO(n)--projection $G:=pr_{SO(n)}(Hol_p(M,h))$ and one may ask whether it has to be a Riemannian holonomy group. In this paper we show that this is always the case, completing our results of the first part math.DG/0305139. We draw consequences for the existence of parallel spinors on Lorentzian manifolds.

연구 동기 및 목표

• 분해 불가능하고 비기약이 아닌 레이포르티언 홀로노미 대수의 열거를 완성하기 위해, 단순하지 않은 복소수 약한-버지 대수의 열거를 해결함으로써 레이포르티언 홀로노미 군의 분류를 완성하는 것.
• 모든 기하학적으로 기하학적으로 작용하는, 단순하지 않은 복소수 약한-버지 대수는 항상 리만형 홀로노미 대수의 복소화임을 증명하는 것.
• 분해 불가능하고 비기약이 아닌 레이포르티언 홀로노미 대수의 so(n)-사영은 항상 리만형 홀로노미 대수임을 증명하는 것.
• 이 분류를 레이포르티언 다양체 위의 평행 스핀어 필드의 존재성에 적용하여, 그 홀로노미가 G ⋉ ℝⁿ 형태여야 하며, 여기서 G는 평행 스핀어를 가진 리만형 홀로노미 대수여야 함을 보이는 것.
• 유형 3 및 4 홀로노미 대수의 구조적 특성화를 제공하여, 중심 성분을 갖는 기존의 리만형 홀로노미 대수들과 연결하는 것.

제안 방법

• 메트릭에 대한 순환 대칭 조건을 만족하는 텐서 공간 Bₕ(ℊ)를 통해 정의된 약한-버지 대수 조건을 활용한다.
• 복소수 기하학적 기하학적 약한-버지 대수를 분류하기 위해 루트 공간 및 무게 공간 분해 기법을 적용한다.
• Lei03에서 제시된 특성화를 활용하여, 약한-버지 대수의 무게 집합이 루트 및 무게에 대해 특정 포함 관계를 만족함을 증명한다.
• Borel-Lichnerowicz 유형의 분해를 이용하여 so(n)-사영 G = pr_{so(n)}(Holₚ(M,h))의 구조를 분석한다.
• 실수형 약한-버지 대수의 경우 그 복소화 역시 약한-버지 대수임을 이용하여 복소수 리 대수 기법을 적용한다.
• Bou00에서 제시된 결과를 활용하여, 홀로노미 대수의 중심에서 ℝᵏ로의 전상사상이 존재할 경우, 유형 1 또는 2에서 유형 3 또는 4의 메트릭을 구성할 수 있음을 응용한다.

실험 결과

연구 질문

• RQ1 모든 단순하지 않은 복소수 약한-버지 대수는 리만형 홀로노미 대수의 복소화인가?
• RQ2 분해 불가능하고 비기약이 아닌 레이포르티언 홀로노미 대수의 so(n)-사영은 반드시 리만형 홀로노미 대수로 나타나는가?
• RQ3 유형 1–4 중 어떤 홀로노미 유형이 레이포르티언 다양체에서 평행 스핀어 필드의 존재를 허용하는가?
• RQ4 평행 스핀어를 가진 레이포르티언 다양체의 홀로노미 대수가 유형 4일 수 있는가, 아니면 반드시 유형 2로 제한되어야 하는가?
• RQ5 평행 스핀어를 가진 레이포르티언 다양체의 홀로노미 구조를 결정하는 데 있어 so(n)-사영의 중심의 역할은 무엇인가?

주요 결과

• 모든 기하학적으로 기하학적으로 작용하는, 단순하지 않은 복소수 약한-버지 대수는 항상 리만형 홀로노미 대수의 복소화이다.
• 분해 불가능하고 비기약이 아닌 레이포르티언 다양체의 홀로노미 대수의 so(n)-사영 G는 항상 리만형 홀로노미 대수이다.
• 모든 약한-버지 대수는 리만형 다양체의 홀로노미 대수이며, 이러한 대수의 분류가 완성된다.
• 평행 스핀어를 가진 레이포르티언 다양체의 홀로노미 대수는 항상 G ⋉ ℝⁿ 형태이며, 여기서 G는 평행 스핀어를 가진 리만형 홀로노미 대수이다.
• 유형 4 홀로노미 대수는 평행 스핀어 필드를 지닐 수 없다. 그 이유는 so(n)-사영이 𝔰𝔬(2) 합성 성분을 포함하고 있으며, 이들의 스핀 표현은 비자명하고 자명한 부분 표현을 갖지 않기 때문이다.
• 평행 스핀어를 가진 레이포르티언 다양체에 대해 가능한 유일한 리만형 홀로노미 대수 G는 {0}, 𝔤₂, 𝔟(7), 𝔰𝔭(k), 또는 𝔰𝔲(k)이다.