[論文レビュー] Nearly Kähler manifolds of constant antiholomorphic sectional curvature

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

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平面で消えるならば、そのテンソルは恒等的に消えるという、重要な補題を適用する。
• 曲率の分解 $ 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 $ が定数であることを示す。
• 可約なほぼケーラー多様体を積として分析し、非自明な成分が存在する場合、$ \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 $ であり、リッチテンソルは消える。これにより、$ \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' $ を結びつける。この関係式は定数性の証明に用いられる。