[논문 리뷰] Spin(9) geometry of the octonionic Hopf fibration

Liviu Ornea, Maurizio Parton외 2명|arXiv (Cornell University)|2012. 08. 04.

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

한 줄 요약

이 논문은 오ктون론 히브의 스피너(9) 기하학을 조사하여, $S^{15}$ 위의 임의의 수직 벡터장이 적어도 하나의 영점을 가져야 한다고 증명함으로써, $S^1$-하위피브레이션의 존재하지 않음을 재확인한다. 또한 국소적으로 동형평행인 스피너(9)-다양체를 분류하여, 이들은 $S^{15} \times \mathbb{R}$에 유한차수로 쌓인다며, $\mathrm{Sp}(1)_\Delta \subset \mathrm{Spin}(9)$의 유한부군을 통해 이러한 다양체의 완전한 목록을 제공한다.

ABSTRACT

We deal with Riemannian properties of the octonionic Hopf fibration S^{15}-->S^8, in terms of the structure given by its symmetry group Spin(9). In particular, we show that any vertical vector field has at least one zero, thus reproving the non-existence of S^1 subfibrations. We then discuss Spin(9)-structures from a conformal viewpoint and determine the structure of compact locally conformally parallel Spin(9)-manifolds. Eventually, we give a list of examples of locally conformally parallel Spin(9)-manifolds.

연구 동기 및 목표

• 오кт론론 히브의 리만 기하학적 성질을 $\mathrm{Spin}(9)$ 대칭성을 이용하여 분석한다.
• 모든 수직 벡터장이 적어도 하나의 영점을 가져야 한다는 점을 보여, 오кт론론 히브에서 $S^1$-하위피브레이션의 존재하지 않음을 재확인한다.
• 국소적으로 동형평행인 $G$-구조의 일반적 체계를 $G = \mathrm{Spin}(9)$의 경우로 확장한다.
• 국소적으로 동형평행인 $\mathrm{Spin}(9)$-다양체를 분류하고, $\mathrm{Sp}(1)_\Delta \subset \mathrm{Spin}(9)$의 유한부군을 통해 명시적인 예를 제시한다.

제안 방법

• $\mathrm{SO}(8)$에서의 삼중성에 기반한 $\mathrm{Spin}(9)$의 $S^{15}$에 대한 작용을 이용하여 오кт론론 히브의 기하학을 분석한다.
• 삼중성 원리를 적용하여, $S^{15}$에서 고정점을 갖지 않는 대각선 부분군 $\mathrm{Sp}(1)_\Delta \subset \mathrm{Spin}(9)$를 구성한다.
• 국소적으로 동형평행인 $\mathrm{Spin}(9)$-구조의 링 포멀과 링 벡터장을 분석하여, 링 벡터장이 결코 영점이 되지 않음을 보인다.
• 국소적으로 동형평행인 $\mathrm{Spin}(9)$-다양체 위에 8차원의 임의의 폴로노미를 구성한다.
• $\mathrm{Sp}(1)_\Delta$의 유한부군 중 $S^{15}$에서 고정점을 갖지 않는 것을 식별함으로써 이러한 다양체를 분류하며, $\mathrm{Sp}(1)$의 유한부군에 대한 기존 분류를 활용한다.
• 국소적으로 동형평행인 $\mathrm{Spin}(9)$-다양체의 기본 겹침은 $\mathbb{R}^{16} \setminus \{0\}$, 즉 $S^{15}$ 위의 콘과 등각적으로 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 오кт론론 히브 $S^{15} \to S^8$의 섬유에 접하는 $S^{15}$ 위의 임의의 수직 벡터장은 반드시 영점을 가져야 하는가?
• RQ2 오кт론론 히브에서 $S^1$-하위피브레이션의 존재하지 않음을, $S^{15}$ 위의 벡터장 분석을 통해 재확인할 수 있는가?
• RQ3 국소적으로 동형평행인 $\mathrm{Spin}(9)$-구조를 갖는 국소적으로 유한한 다양체의 구조는 어떠한가?
• RQ4 이러한 다양체를 $S^{15}$ 위의 유한군 작용을 통해 어떻게 분류할 수 있는가?
• RQ5 $\mathrm{Sp}(1)_\Delta \subset \mathrm{Spin}(9)$의 유한부군 중 $S^{15}$에서 고정점을 갖지 않는 것은 무엇이며, 이에 대응하는 $\mathrm{Spin}(9)$-다양체는 어떠한가?

주요 결과

• 오кт론론 히브 $S^{15} \to S^8$의 섬유에 접하는 $S^{15}$ 위의 임의의 전역 벡터장은 적어도 하나의 영점을 가져야 하며, 이는 $S^1$-하위피브레이션의 존재하지 않음을 확인한다.
• 국소적으로 동형평행인 $\mathrm{Spin}(9)$-다양체의 리만 기본 겹침은 $\mathbb{R}^{16} \setminus \{0\}$, 즉 $S^{15}$ 위의 콘과 등각적으로 동치이다.
• 이러한 다양체는 $S^{15} \times \mathbb{R}$에 유한차수로 쌓여 있으며, 8차원의 임의의 폴로노미를 갖는다.
• 국소적으로 동형평행인 $\mathrm{Spin}(9)$-다양체의 분류는 $\mathrm{Sp}(1)_\Delta \subset \mathrm{Spin}(9)$의 유한부군 중 $S^{15}$에서 고정점을 갖지 않는 것들을 찾는 것으로 귀결된다.
• 모든 이러한 다양체는 $\mathrm{Sp}(1)$의 유한부군—순환군, 이중이면체군, 사면체군, 정팔면체군, 정십이면체군—을 $\mathrm{Sp}(1)_\Delta$로 올려진 것으로부터 유도되며, 명시적인 생성자를 제공한다.
• 모든 이러한 다양체에서 링 벡터장은 영점이 되지 않으며, 이는 $\mathrm{Spin}(7)_\Delta$-구조의 존재를 의미하며, 등장하는 등장의 분류를 고정점을 갖지 않는 작용으로 단순화한다.