[논문 리뷰] Lorentzian manifolds with transitive conformal group

Dmitri V. Alekseevsky|arXiv (Cornell University)|2016. 11. 10.

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

한 줄 요약

이 논문은 전이적이고 본질적인 동형군을 갖는 루체르티안 다양체를 두 유형으로 분류한다: 비정확한 등장 표현을 갖는 유형 A와 정확한 등장 표현을 갖는 유형 B이다. 4차원 비동형 평탄하지 않은 루체르티안 다양체에서 전이적이고 본질적인 동형군을 갖는 경우에 대해 완전한 분류를 제공하며, 이들은 모두 히젠베르크 유형의 리 대수와 동형성 생성자로 구성된 특정 기하 구조와 동형 등거리임을 보여준다.

ABSTRACT

We study pseudo-Riemanniasn manifolds $(M,g)$ with transitive group of conformal transformation which is essential, i.e. does not preserves any metric conformal to $g$. All such manifolds of Lorentz signature with non exact isotropy representation of the stability subalgebra are described. A construction of essential conformally homogeneous manifolds with exact isotropy represenatation is given. Using spinor formalism, we prove that it provides all 4-dimensional non conformally flat Lorentzian 4-dimensional manifolds with transitive essentially conformal group.

연구 동기 및 목표

• 동형군이 전이적이고 본질적인 루체르티안 다양체를 등장 표현에 따라 두 유형으로 분류하는 것.
• 전이적이고 본질적인 동형군을 갖는 4차원 비동형 평탄하지 않은 루체르티안 다양체에 대한 완전한 분류를 제공하는 것.
• 동형성 생성자를 갖는 계단형 리 대수 구조를 사용하여 유형 B의 새로운 동형 등거리 다양체의 가닥을 구성하는 것.
• 모든 이러한 4차원 다양체가 특정 히젠베르크 대수와 비자명한 동형성과 관련된 기하 구조와 동형 등거리임을 증명하는 것.
• 스핀어 형식을 사용하여 4차원에서의 분류의 완전성을 확립하는 것.

제안 방법

• 동형군의 관련 계단형 리 대수 구조를 활용하여 리 대수를 $\mathfrak{g}^{-1} = V$, $\mathfrak{g}^0 = j(\mathfrak{h})$, $\mathfrak{g}^1 = \ker j$로 분해한다.
• 편일차 유클리드 공간에 대한 표준 분해 $V = \mathbb{R}p + E + \mathbb{R}q$를 적용하여 등장 표현을 분석하고 동형성 $D = \mathrm{id} + q \wedge p$를 식별한다.
• 계단형 리 대수 $\mathfrak{g} = \mathbb{R}D + V$를 사용하여 동형 등거리 다양체 $M = G/H$를 구성한다. 여기서 $V = \mathbb{R}p + \mathfrak{heis}(E) + \mathbb{R}q$이며, $\mathfrak{heis}(E)$는 $E$ 위의 비퇴화 2형식 $\omega$로 정의된 히젠베르크 대수이다.
• 히젠베르크 대수의 도함수를 유지하고 계단형 구조를 보존하기 위해 조건 $ (A\cdot\omega)(x,y) = \lambda\omega(x,y) $를 도입한다.
• 스핀어 형식과 $\mathbb{S}^2$에서의 4형식의 분류를 사용하여 웨일 텐서를 분석하고, 비동형 평탄하지 않은 다양체가 특정 유형의 동형성을 가져야 한다는 것을 보여준다.
• 동형군이 웨일 텐서에 작용하는 방식을 활용하여 가능한 등장 표현을 제약하고, 4차원에서 비동형 평탄하지 않은 경우에만 $D = \mathrm{id} + q \wedge p$를 갖는 유형 B 다양체가 가능하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 전이적이고 본질적인 동형군을 갖는 4차원 비동형 평탄하지 않은 루체르티안 다양체의 완전한 분류는 무엇인가?
• RQ2 등장 표현이 정확한 유형 B의 모든 동형 등거리 루체르티안 다양체는 어떻게 구성할 수 있는가?
• RQ3 등장 표현과 곡률 텐서에 어떤 조건이 있어야 동형 등거리 루체르티안 다양체가 비동형 평탄하지 않은가?
• RQ4 4차원에서 어떤 동형 구조가 전이적이고 본질적인 동형군을 갖는가, 그리고 어떻게 기하학적으로 실현되는가?
• RQ5 스핀어 형식을 사용하여 전이적 동형 대칭성을 갖는 비동형 평탄하지 않은 4차원 루체르티안 다양체를 완전히 분류할 수 있는가?

주요 결과

• 전이적이고 본질적인 동형군을 갖는 4차원 비동형 평탄하지 않은 루체르티안 다양체는 모두 히젠베르크 대수와 동형성 생성자 $D = \mathrm{id} + q \wedge p$로 구성된 다양체 $M(\lambda, \omega, A)$와 동형 등거리이다.
• 이러한 다양체의 곡률 연산자는 $R_{px} = (A^a A^s - A^s A - J A^s)x \wedge q$로 주어지며, 여기서 $J$는 $g^{-1} \circ \omega = 2J$로 정의된 복소 구조이다.
• 등장 대수는 비자명한 동형성 $D = \mathrm{id} + C$를 포함해야 하며, 비동형 평탄하지 않은 경우, 기저 변경을 제외하고 $C = q \wedge p$이다.
• 이러한 다양체의 웨일 텐서는 펄트وف 유형 (4) 또는 (31)의 4형식과 대응하며, 동형군이 이에 비자명하게 작용한다.
• 계단형 리 대수 $\mathfrak{g} = \mathbb{R}D + V$를 사용한 유형 B 다양체의 구성에서 $V = \mathbb{R}p + \mathfrak{heis}(E) + \mathbb{R}q$는 모든 이러한 비동형 평탄하지 않은 4차원 예제를 제공한다.
• 분류는 완전하다: 이 가닥 이외에 전이적이고 본질적인 동형군을 갖는 4차원 비동형 평탄하지 않은 루체르티안 다양체는 존재하지 않는다.