[論文レビュー] Kähler-Weyl manifolds of dimension 4

Peter Gilkey, Stana Nikčević|arXiv (Cornell University)|Sep 21, 2011

Geometry and complex manifolds参考文献 16被引用数 8

ひとこと要約

この論文は次元4における代数的擬ヘルミートおよび双ヘルミートケーラー＝ウェイリーカラビュラテンソルを分類し、すべてのこのような代数的曲率が幾何学的に実現可能であることを証明する。任意次元におけるケーラー＝ウェイリーマニフォールドに対してグレイの恒等式を確立し、次元4においては、任意の双/擬ヘルミート計量と特定のリー形式から一意にケーラー＝ウェイリーユニットが得られることを示し、高次元における結果がこの場合に失敗するギャップを解消する。

ABSTRACT

We determine the space of algebraic pseudo-Hermitian Kähler-Weyl curvature tensors and the space of para-Hermitian Kähler-Weyl curvature tensors in dimension 4 and show that every algebraic possibility is geometrically realizable. We establish the Gray identity for pseudo-Hermitian Weyl manifolds and for para-Hermitian Weyl manifolds in arbitrary dimension.

研究の動機と目的

• 次元4における代数的擬ヘルミートおよび双ヘルミートケーラー＝ウェイリーカラビュラテンソルの空間を分類すること。
• すべての代数的ケーラー＝ウェイリーカラビュラテンソルが、実際に存在するケーラー＝ウェイリーマニフォールドの曲率テンソルとして幾何学的に実現可能かどうかを特定すること。
• 任意次元における双/擬ヘルミートケーラー＝ウェイリーユニットにグレイの恒等式を拡張すること。
• 次元4において、定理1.1（ウェイリーユニットの自明性）が失敗する理由を解明し、任意の4次元双/擬ヘルミート多様体から一意にケーラー＝ウェイリーユニットを構成すること。
• 構造群 $\mathcal{U}_{\pm}^\star$ の表現論を用いてケーラー＝ウェイリーカラビュラテンソル空間を分解すること。

提案手法

• 群 $\mathcal{U}_{\pm}^\star = \{T \in \mathcal{O} : TJ_{\pm} = \pm J_{\pm}T\}$ の表現論を用いて、曲率テンソル空間を $\mathcal{U}_{\pm}^\star$-不変部分空間に分解する。
• ウェイリーユニットの曲率分解を適用し、(1.b)、(1.c)、(1.e)から得られる対称性を課して、$\mathfrak{K}_{\pm,\mathfrak{W}}$ をケーラー曲率テンソルとウェイリーカラビュラテンソルの共通部分として定義する。
• 写像 $\Xi(\psi)(x,y,z,w) = 2\psi(x,y)\langle z,w\rangle + \psi(x,z)\langle y,w\rangle - \psi(y,z)\langle x,w\rangle - \psi(x,w)\langle y,z\rangle + \psi(y,w)\langle x,z\rangle$ を用いて、$\Lambda^2$ の部分空間を曲率成分として実現する。
• 補題4.1を用いて、$f = \pm\frac{1}{4}x_1x_3$ に対する交代リッチテンソル $\rho_a(f)$ が $\Lambda_{\pm,J_{\pm}}^2$ および $\Lambda_{0,\mp,J_{\pm}}^2$ の成分を生成することを示し、これらが $\mathfrak{K}_{\pm,\mathfrak{W}}$ に含まれることを証明する。
• 定理2.4を適用して、$\Lambda_{0,\mp,J_{\pm}}^2$ が $\mathfrak{W}$ に重複度1で現れることを示し、これにより $\mathfrak{K}_{\pm,\mathfrak{W}}$ に対しても重複度1であることが導かれる。
• 曲率摂動を解析するため、差 $R^\nabla - R^g$ から $\otimes^2 T_P^*M \to \mathfrak{W}_P$ への写像 $\Theta$ を構成し、グレイの対称化作用素 $\mathcal{G}_\pm$ を適用して $\mathcal{G}_\pm(R^\nabla) = \mathcal{G}_\pm(R^g) = 0$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 次元4における擬ヘルミートおよび双ヘルミートケーラー＝ウェイリーカラビュラテンソルの完全な代数的分類は何か？
• RQ2 次元4におけるすべての代数的ケーラー＝ウェイリーカラビュラテンソルは、実際に存在するケーラー＝ウェイリーマニフォールドの曲率テンソルとして実現可能か？
• RQ3 任意次元における双/擬ヘルミートケーラー＝ウェイリーマニフォールドに対して、グレイの恒等式 $\mathcal{G}_\pm(R) = 0$ は成り立つか？
• RQ4 なぜ定理1.1（$m \geq 6$ におけるウェイリーユニットの自明性）は次元4で失敗するのか？ そして、非自明なケーラー＝ウェイリーユニットを一意に構成する方法は何か？
• RQ5 4次元におけるケーラー＝ウェイリーカラビュラテンソル空間内に、$\mathcal{U}_{\pm}^\star$-不変部分空間がどのように分解されるか？

主な発見

• 次元4における代数的擬ヘルミートケーラー＝ウェイリーカラビュラテンソルの空間は、不変部分空間 $W_{\pm,1}, W_{\pm,2}, W_{\pm,3}, W_{\pm,7}, W_{\pm,9}, W_{\pm,11}$ の直和に同型であり、$W_{\pm,7}$ はグレイの恒等式に対応する。
• 次元4におけるすべての代数的ケーラー＝ウェイリーカラビュラテンソルは、$g(0) = g_0$, $dg(0) = 0$, および $\phi(0) = 0$ を満たす局所モデルを構成することで、実際に存在するケーラー＝ウェイリーマニフォールドの曲率テンソルとして幾何学的に実現可能であることが示された。
• 任意の4次元双/擬ヘルミート多様体に一意に定まるケーラー＝ウェイリーユニットは $\phi = \pm\frac{1}{2}J_{\pm}^*\delta\Omega_{\pm}$ で与えられ、これにより定理1.2が確認された。
• $\Lambda_{0,\mp,J_{\pm}}^2$ は $\mathfrak{K}_{\pm,\mathfrak{W}}$ に重複度1で現れ、$\Lambda_{\pm,J_{\pm}}^2$ も重複度1で現れるが、これは $\mathfrak{W}$ では重複度2であるにもかかわらず、$\mathfrak{K}_{\pm,\mathfrak{R}}$ から除外されるためである。
• 任意次元における双/擬ヘルミートケーラー＝ウェイリーユニット構造に対して、グレイの対称化作用素 $\mathcal{G}_\pm$ は曲率テンソル上で消えることが証明され、グレイの恒等式 $\mathcal{G}_\pm(R) = 0$ が成り立つことが示された。
• ケーラー＝ウェイリーカラビュラ接続の曲率テンソル $R^\nabla$ に対して $\mathcal{G}_\pm(R^\nabla) = \mathcal{G}_\pm(R^g)$ が成り立ち、$J_{\pm}$ が可積分であるため $\mathcal{G}_\pm(R^g) = 0$ であるから、$\mathcal{G}_\pm(R^\nabla) = 0$ が成り立つ。