[논문 리뷰] Towards a classification of Lorentzian holonomy groups

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

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

한 줄 요약

이 논문은 비분해형이며 비기약형인 루체지언 다중구조에서의 호로니 단위군을 분류하기 위해, SO(n)-사영이 𝔘(n/2) 내에 있거나 단순 기약 성분으로 이루어져 있을 경우, 그 호로니 대수의 SO(n)-사영이 리만형 호로니 대수임을 증명함으로써 수행한다. 이 결과는 약한-버거 대수와 실 및 복소 리 대수의 표현 이론을 사용하여 버거 호로니 분류를 루체지언 기하학으로 확장한다.

ABSTRACT

If the holonomy representation of an $(n+2)$--dimensional simply-connected Lorentzian manifold $(M,h)$ admits a degenerate invariant subspace its holonomy group 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 the case if $G\subset U(n/2)$ or if the irreducible acting components of $G$ are simple.

연구 동기 및 목표

• 비분해형이며 비기약형인 루체지언 다중구조의 호로니 군을 분류하기 위해 그 호로니 대수의 SO(n)-사영을 분석한다.
• 루체지언 호로니 대수의 SO(n)-사영이 반드시 리만형 호로니 대수여야 하는지 여부를 규명한다.
• 약한-버거 대수를 도입하고 분석하여 버거 호로니 분류를 루체지언 기하학으로 확장한다.
• 루체지언 다중구조의 호로니 대수가 리만형 호로니 대수로부터 특정 구성 방법을 통해 유도될 수 있는 조건을 수립한다.
• 특히 실 및 복소 표현의 유형에 중점을 두어 호로니 대수의 표현 이론적 구조를 조사한다.

제안 방법

• 분해-워 분해 정리를 사용하여, 유일한 불변 광속 부분공간을 가진 비분해형이며 비기약형인 루체지언 다중구조로 분류를 단순화한다.
• 호로니 대수를 (ℝ × 𝔰𝔬(n)) ⋉ ℝⁿ 의 부분대수로 분석하며, SO(n)-사영 G = pr_{𝔰𝔬(n)}(Holₚ(M,h)) 에 중점을 둔다.
• 버거 대수와 유사한 곡률 조건을 만족하는 리 대수를 약한-버거 대수로 정의하며, 곡률 자기변환의 공간 ℬₕ(𝔤) 를 통해 정의한다.
• 실 및 복소 리 대수를 분류하기 위해 표현 이론을 적용하며, 정규형, 복소형, 허수형을 구분하기 위해 불변 형식 θ 와 β 를 사용한다.
• 실 직교/심플렉틱 표현과 복소 유니터리/역유니터리 표현 사이의 대응을 활용하여 비실형 표현을 분석한다.
• 기약 비실형 표현에 대해 양의 정부호 불변 형식이 존재하면 유니터리가 되며, 이는 비직교성과 β 형식의 소멸을 암시함을 이용한다.

실험 결과

연구 질문

• RQ1 루체지언 호로니 대수의 SO(n)-사영이 리만형 호로니 대수일 조건은 무엇인가?
• RQ2 곡률 조건 ℬₕ(𝔤) 에 의해 정의되는 약한-버거 대수가 𝔘(n/2) 내에 있을 경우, 이를 리만형 호로니 대수로 분류할 수 있는가?
• RQ3 SO(n)-성분의 기약성과 단순성은 그것이 리만형 호로니 대수로 나타나는 데 어떤 역할을 하는가?
• RQ4 실 표현에 대한 불변 형식 θ 와 β 는 표현의 복소 구조와 유형(실형, 복소형, 허수형)과 어떻게 관련이 있는가?
• RQ5 비실형 표현에 대해 양의 정부호 불변 이차형식 h 가 존재하면, 해당 복소 표현이 유니터리임을 의미하는가?

주요 결과

• 비분해형이며 비기약형인 루체지언 다중구조의 호로니 대수의 SO(n)-사영 G 는 G ⊂ 𝔘(n/2) 이면 리만형 호로니 대수이다.
• G 의 기약 성분이 단순하다면, G 는 리만형 호로니 대수이다.
• ℬₕ(𝔤) 에 의해 정의된 곡률 조건을 만족하는 약한-버거 대수는 제시된 조건 하에 리만형 호로니 대수임이 입증된다.
• 양의 정부호 불변 형식 h 를 가진 기약 비실형 표현의 경우, 해당 복소 표현은 유니터리이며, 직교가 될 수 없으며 β^h = 0 임을 의미한다.
• 비실형 표현에 대해 양의 정부호 h 가 존재하면, 복소 표현은 유니터리가 되며, 따라서 실 표현은 직교가 아니라 심플렉틱임을 의미한다.
• 실 직교/심플렉틱 표현과 복소 유니터리/역유니터리 표현 사이의 대응은 헤르미트 형식의 실부와 허수부를 통해 수립된다.