[논문 리뷰] Para-quaternionic reduction

Srdjan Vukmirović|ArXiv.org|2003. 04. 27.

Advanced Differential Geometry Research참고 문헌 5인용 수 15

한 줄 요약

이 논문은 파라-쿼aternionic Kähler 및 파라-hyperKähler 다양체의 이론을 수립하며, 각각 $\mathrm{Sp}(n,\mathbb{R})\oplus\mathrm{Sp}(1,\mathbb{R})$ 및 $\mathrm{Sp}(n,\mathbb{R})$의 호로노미 군을 통해 특성화한다. 대칭 및 hyperKähler 축소와 유사한 축소 절차를 수립하여, $\mathbb{R}^+$의 자유로운 등거리 작용에 의한 파라-쿼aternionic Kähler 다양체의 몫이 새로운 파라-쿼aternionic Kähler 다양체가 되며, 4차원에서의 명시적 예가 포함되어 있다.

ABSTRACT

The pseudo-Riemannian manifold $M=(M^{4n},g), n \geq 2$ is para-quaternionic K\" ahler if $hol(M) \subset sp(n, \RR) \oplus sp(1, \RR).$ If $hol(M) \subset sp(n, \RR),$ than the manifold $M$ is called para-hyperK\" ahler. The other possible definitions of these manifolds use certain parallel para-quaternionic structures in $\End (TM),$ similarly to the quaternionic case. In order to relate these different definitions we study para-quaternionic algebras in details. We describe the reduction method for the para-quaternionic K\" ahler and para-hyperK\" ahler manifolds and give some examples. The decomposition of a curvature tensor of the para-quaternionic type is also described.

연구 동기 및 목표

• 파라-쿼aternionic Kähler 및 파라-hyperKähler 다양체의 이론을 호로노미 군 특성화를 통해 체계적으로 발전시키기.
• 파라-쿼aternionic 구조에 대해 대칭 및 hyperKähler 축소와 유사한 축소 절차 수립하기.
• 쿼aternionic 경우의 결과를 확장하여 파라-쿼aternionic 타입 텐서의 곡률 분해를 제공하기.
• 특히 4차원에서의 축소를 통해 파라-쿼aternionic Kähler 다양체의 명시적 예를 구성하기.
• 파라-쿼aternion의 기하학적 및 대수적 성질, 특히 접선다양체 위의 구조 정의에서의 역할 탐색하기.

제안 방법

• 호로노미 $\mathrm{Hol}(M) \subset \mathrm{Sp}(n,\mathbb{R})\oplus\mathrm{Sp}(1,\mathbb{R})$를 통해 파라-쿼aternionic Kähler 다양체를 특성화하고, $\mathrm{Hol}(M) \subset \mathrm{Sp}(n,\mathbb{R})$를 통해 파라-hyperKähler 다양체를 특성화하기.
• 생성자 $i^2 = -1$, $j^2 = k^2 = 1$, $ij = -ji = -k$를 만족하는 파라-쿼aternion $\tilde{\mathbb{H}} = C(1,1)$의 대수적 구조를 사용하여 접선다양체 위의 엔도모르피즘 범주 정의하기.
• 등거리 작용을 하며 파라-쿼aternionic 구조를 보존하는 리군 $G \cong \mathbb{R}^+$의 맥락에서 순간 맵 형식 적용하기.
• $\mathcal{K} = \{p \in M \mid f(p) = 0\}$이 되는 축소된 다양체 $\tilde{M} = \mathcal{K}/G$ 정의하기. 여기서 $f$는 $\mathfrak{g}^*$에 값이 나는 순간 맵이다.
• 축소된 다양체 $\tilde{M}$ 위에 유도된 거의 헤르미트 파라-쿼aternionic 구조 $\tilde{\Omega}$가 평행하다는 것을 증명하여, $\tilde{M}$이 파라-쿼aternionic Kähler임을 보장하기.
• 곡률 분해 정리(정리 4.1 및 4.2)를 적용하여 파라-쿼aternionic 타입 곡률 텐서 분석하고, 예시에서 Osserman 성질 검증하기.

실험 결과

연구 질문

• RQ1 파라-쿼aternionic Kähler 및 파라-hyperKähler 다양체는 호로노미 군을 통해 어떻게 특성화될 수 있는가?
• RQ2 대칭 및 hyperKähler 축소와 유사한 파라-쿼aternionic Kähler 다양체에 적합한 축소 절차는 무엇인가?
• RQ3 파라-쿼aternionic 다양체의 곡률 텐서는 어떻게 분해되며, 쿼aternionic 경우와 비교해보면 어떠한가?
• RQ4 파라-쿼aternionic Kähler 다양체의 명시적 예는 축소를 통해 어떻게 구성될 수 있으며, 그 기하학적 성질은 무엇인가?
• RQ5 축소된 다양체가 국소적으로 Osserman이 되는 조건은 무엇이며, 언제 전역적으로 Osserman이 아니게 될 수 있는가?

주요 결과

• 파라-쿼aternionic Kähler 다양체는 호로노미 $\mathrm{Hol}(M) \subset \mathrm{Sp}(n,\mathbb{R})\oplus\mathrm{Sp}(1,\mathbb{R})$로, 파라-hyperKähler 다양체는 $\mathrm{Hol}(M) \subset \mathrm{Sp}(n,\mathbb{R})$로 특성화되며, 둘 다 차원 $4n$과 서명 $(2n,2n)$을 가진다.
• 파라-쿼aternionic Kähler 다양체의 곡률 텐서는 $\mathrm{Sp}(n,\mathbb{R})\oplus\mathrm{Sp}(1,\mathbb{R})$에 대해 불가약 성분으로 분해되며, 명시적 분해는 정리 4.2에 기재되어 있다.
• 자유로운 등거리 $G \cong \mathbb{R}^+$-작용에 의한 파라-쿼aternionic Kähler 다양체 $M$의 축소는 새로운 파라-쿼aternionic Kähler 다양체 $\tilde{M}$을 유도하며, 이는 정리 5.2에서 증명되었다.
• $\tilde{M}_{p,q} = \mathcal{K}_{p,q}/G$는 서명 $(2,2)$의 4차원, 에인슈타인, 자기 dual 다양체이며, $\tilde{\mathbb{H}}P^2$에서 $G$-작용을 통해 $p,q$의 가중치로 구성된다.
• $\tilde{M}_{p,q}$는 국소적으로 Osserman이지만, 전역적으로 Osserman이 아니며 국소적으로 동차하지 않다. 이는 자코비 연산자의 고유값 분석(식 26)으로 입증된다.
• 축소된 다양체에서 자코비 연산자의 고유값 공식(26)에서 $|h(V_X)|^2 / |V|^2$ 비율은 단위 방향 $X$에 따라 영향을 받지 않으며, 이는 국소적 Osserman 성질을 보장한다.