[論文レビュー] Kaehler and para-Kaehler curvature Weyl manifolds

Peter Gilkey, Stana Nikčević|arXiv (Cornell University)|Nov 22, 2010

Geometry and complex manifolds参考文献 10被引用数 3

ひとこと要約

本稿では、次元 $ n \geq 6 $ のほぼヘルミートおよびほぼパラヘルミートのウェイリーマニフォールドに対して、カホーラまたはパラカホーラ曲率恒等式（具体的には、対称性 $ R(x,y,z,w) = \mp R(x,y,Jz,Jw) $）が満たされるならば、ウェイリ構造は自明である、すなわち局所的にリーマン接続に同値であることを確立する。この結果は、直交群の表現論と構造群作用の下での曲率テンソルの完全不変型への分解を用いて導出される。

ABSTRACT

We show that the Weyl structure of an almost-Hermitian Weyl manifold of dimension at least 6 is trivial if the associated curvature operator satisfies the Kaehler identity. Similarly if the curvature of an almost para-Hermitian Weyl manifold of dimension at least 6 satisfies the para-Kaehler identity, then the Weyl structure is trivial as well.

研究の動機と目的

• ほぼヘルミートまたはほぼパラヘルミート多様体上のウェイリ構造が自明になる条件を特定すること。
• カホーラまたはパラカホーラ曲率恒等式がウェイリ接続をリーマン接続に強制するかどうかを調査すること。
• 既知の (パラ-)カホーラウェイリマニフォールドに関する結果を高次元および非コンパクトな設定に拡張すること。
• 構造群作用の下での曲率テンソルの分解を分析し、(パラ-)カホーラ恒等式を満たす完全不変型を同定すること。
• 唯一、リーマン曲率成分が (パラ-)カホーラ対称性を満たすことを証明し、それによってウェイリ構造の自明性が導かれる。

提案手法

• 表現論を用いて、ウェイリ曲率テンソルの曲率分解を $ \text{SO}(n) $-モジュールの完全不変型に分割する。
• 定理4.7の分解を適用し、曲率テンソル空間を13個の完全不変型成分 $ W_{\bar{n},i} $（$ 1 \to 13 $）に分割する。
• 曲率テンソルに (パラ-)カホーラ恒等式 $ R(x,y,z,w) = \mp R(x,y,Jz,Jw) $ を対称性条件として課す。
• $ i = 4 $ から $ 13 $ まで（ただし $ i=9,13 $ を除く）の各完全不変型成分 $ W_{\bar{n},i} $ を分析し、(パラ-)カホーラ恒等式を満たすものかどうかを特定する。
• 複素構造またはパラ複素構造 $ J_{\pm} $ に適合した基底を用いた明示的なテンソル計算を行い、特定のフレームベクトル上で $ R $ を評価する。
• 補題4.9を適用し、$ W_{\bar{n},9} \bigoplus W_{\bar{n},13} $ のすべての非自明部分モジュールを分類し、(パラ-)カホーラ恒等式を満たすのは自明な場合に限ることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、(パラ-)カホーラ曲率恒等式がウェイリ構造を自明にするのか？
• RQ2 次元 $ n \to 6 $ において、曲率テンソルのどの完全不変型成分が (パラ-)カホーラ対称性を満たすか？
• RQ3 曲率対称性 $ R(x,y,z,w) = \mp R(x,y,Jz,Jw) $ が、ウェイリ接続がリーマン接続であることを示唆するか？
• RQ4 なぜこの結果は次元4で成り立たないのか。低次元では自明性を妨げる構造的差異は何か？
• RQ5 曲率テンソルの表現論的分解が、(パラ-)カホーラ曲率テンソル空間を同定するのにとっても役立つのはなぜか？

主な発見

• 次元 $ n \geq 6 $ のほぼヘルミートウェイリマニフォールドに対して、曲率がカホーラ恒等式 $ R(x,y,z,w) = -R(x,y,Jz,Jw) $ を満たすならば、ウェイリ構造は自明である。
• 同様に、次元 $ n \geq 6 $ のほぼパラヘルミートウェイリマニフォールドに対して、曲率がパラカホーラ恒等式 $ R(x,y,z,w) = R(x,y,Jz,Jw) $ を満たすならば、ウェイリ構造は自明である。
• $ \frak{K}_{\bar{n},\frak{W}}^{1} $ は、(パラ-)カホーラ恒等式を満たし、$ i = 4 $ から $ 13 $ の完全不変型成分 $ W_{\bar{n},i} $ の和に属する曲率テンソルの空間であるが、これは自明である：$ \frak{K}_{\bar{n},\frak{W}}^{1} = \{0\} $。
• 唯一、(パラ-)カホーラ恒等式を満たす曲率成分は、$ W_{\bar{n},1} \bigoplus W_{\bar{n},2} \bigoplus W_{\bar{n},3} $ に属するものであり、これらはリーマン曲率の対称性に対応する。
• 証明により、$ W_{\bar{n},9} \bigoplus W_{\bar{n},13} $ の非自明部分モジュールのいずれも、(パラ-)カホーラ恒等式を満たすことはなく、これはテンソル評価における符号パターンの矛盾による。
• この結果は次元4では成り立たない。文献に示される反例により、この結論の成立には次元 $ n \geq 6 $ が鋭い（sharp）ことが示されている。