[논문 리뷰] Nearly Kähler manifolds of constant antiholomorphic sectional curvature

Georgi Ganchev, Ognian Kassabov|arXiv (Cornell University)|2010. 09. 14.

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

한 줄 요약

이 논문은 점별로 일정한 반다형 섹션 곡률을 갖는 거의 켈러 다양체에 대해 슈어의 정리의 유사체를 수립하며, 차원 M > 4일 경우 이러한 곡률이 반드시 일정하다는 것을 증명한다. 이들 다양체는 ℂⁿ, ℂℙⁿ, ℂ𝔻ⁿ 또는 S⁶와 국소적으로 등장하는 것으로 분류되며, 기존의 켈러 및 다형 곡률 설정에서의 결과를 거의 켈러 맥락으로 확장한다.

ABSTRACT

A classification theorem for nearly Kähler manifolds of constant antiholomorphic sectional curvature is proved.

연구 동기 및 목표

• 점별로 일정한 반다형 섹션 곡률을 갖는 거의 켈러 다양체에 대해 슈어의 정리의 유사체를 수립하기 위해.
• 차원 제약 조건 하에서 점별로 일정한 반다형 섹션 곡률을 갖는 거의 켈러 다양체를 분류하기 위해.
• 켈러 기하학에서의 곡률 분류 결과를 거의 켈러 기하학으로 확장하여, 특히 반다형 평면에 대해 적용하기 위해.
• 텐서 항등식과 미분기하학 도구를 사용하여 이러한 다양체의 곡률 텐서 구조와 리치 텐서의 평행성 분석하기 위해.

제안 방법

• 임의의 허미션 다양체에서 반다형 섹션 곡률과 곡률 텐서 $ R $ 을 정의하며, 접공간의 정규직교 기저를 사용한다.
• 텐서 $ R' = R(\cdot,\cdot,J\cdot,J\cdot) $ 를 활용하고, 리치 텐서 $ S, S' $, 스칼라 곡률 $ \tau, \tau' $ 및 그 공변도함수를 포함하는 항등식을 유도한다.
• 특정 (0,4)-텐서가 편대칭성, 순환성 및 $ J $-불변성 조건을 만족하고, 다형 및 반다형 2평면에서 0이면 그 텐서가 0이 되는 핵심 보조정리를 적용한다.
• 곡률 분해 $ R = \frac{1}{6}\psi + \nu R_1 - \frac{2n-1}{3}\nu R_2 $ 를 유도하며, 여기서 $ \psi $ 는 리치 텐서와 $ J $-행동을 포함한다.
• 항등식 $ X(\tau - \tau') = 0 $ 과 $ \nabla_X S $ 의 평행성 을 이용하여, 차원 $ M > 4 $ 에서 $ \nu $ 가 일정함을 보인다.
• 이 reducible 거의 켈러 다양체를 곱으로서 분석하여, 비자명한 성분이 존재하면 $ \nu = 0 $ 이 되며, 이를 통해 다형 곡률과 리치 곡률이 0임을 이용해 분류를 도출한다.

실험 결과

연구 질문

• RQ1 차원 > 4인 거의 켈러 다양체에서 반다형 섹션 곡률의 점별 일정성이 전역 일정성을 유도하는가?
• RQ2 점별로 일정한 반다형 섹션 곡률을 갖는 거의 켈러 다양체의 곡률 텐서의 정확한 대수적 형태는 무엇인가?
• RQ3 어떤 기약 또는 비기약 거의 켈러 다양체가 점별로 일정한 반다형 섹션 곡률을 가질 수 있는가?
• RQ4 이 곡률 조건 하에서 리치 텐서와 스칼라 곡률은 어떻게 관련되어 있는가?
• RQ5 고정 곡률을 갖는 켈러 다양체의 분류 결과를 반다형 평면에 대해 거의 켈러 설정으로 확장할 수 있는가?

주요 결과

• 차원 $ 2n > 4 $ 인 거의 켈러 다양체에서 점별로 일정한 반다형 섹션 곡률 $ \nu $ 는 $ \nu $ 가 전역적으로 일정함을 의미한다.
• 곡률 텐서는 $ R = \frac{1}{6}\psi + \nu R_1 - \frac{2n-1}{3}\nu R_2 $ 로 분해되며, 여기서 $ \psi $ 는 리치 텐서와 복소構조에 의존한다.
• 리치 텐서는 평행하다: $ \nabla_X S = 0 $, 곡률 항등식과 $ \nu $ 의 일정성에 의해 유도된다.
• 만일 다양체가 기약이면, 에인슈타인이며 일정한 다형 섹션 곡률을 가지며, 따라서 국소적으로 $ \mathbb{C}^n $, $ \mathbb{C}\mathbb{P}^n $, $ \mathbb{C}\mathbb{D}^n $ 또는 $ \mathbb{S}^6 $ 와 등장한다.
• 비기약 다양체의 경우 $ \nu = 0 $ 이며, 리치 텐서는 0이 되며, 이는 $ \nu = 0 $ 이고 $ k \geq 2 $ 일 때 $ \mathbb{C}^n $ 으로 분류되거나, $ \mathbb{C}^{n_1} \times \cdots \times \mathbb{C}^{n_k} $ 로 분류됨을 의미한다.
• 스칼라 곡률 관계식 $ \nu = \frac{(2n+1)\tau - 3\tau'}{8n(n^2-1)} $ 가 성립하며, $ \nu $ 를 $ \tau $ 와 $ \tau' $ 와 연결하고, 일정성 증명에 사용된다.