[論文レビュー] Homogeneous para-Kähler Einstein manifolds

Dmitri V. Alekseevsky, Costantino Medori+1 more|ArXiv.org|Jun 13, 2008

Geometry and complex manifolds参考文献 45被引用数 20

ひとこと要約

この論文は、半単純リー群 $ G $ の均質的多様体 $ G/H $ が、不変パラケーラー・アインシュタイン構造 $ (g,K) $ を持つための必要十分条件が、半単純元 $ h $ のアドジョイント軌道 $ \mathrm{Ad}_G h $ の被覆であることに帰着されることを確立している。パラ複素数幾何の類似物として、著者たちは、固定された非ゼロのスカラー曲率のもとで、任意の不変パラ複素構造 $ K $ からアインシュタイン計量 $ g $ の明示的公式を導出し、このような構造を体系的に構成している。

ABSTRACT

A para-Kähler manifold can be defined as a pseudo-Riemannian manifold $(M,g)$ with a parallel skew-symmetric para-complex structures $K$, i.e. a parallel field of skew-symmetric endomorphisms with $ K^2 = \mathrm{Id} $ or, equivalently, as a symplectic manifold $(M,ω)$ with a bi-Lagrangian structure $L^\pm$, i.e. two complementary integrable Lagrangian distributions. A homogeneous manifold $M = G/H$ of a semisimple Lie group $G$ admits an invariant para-Kähler structure $(g,K)$ if and only if it is a covering of the adjoint orbit $\mathrm{Ad}_Gh$ of a semisimple element $h.$ We give a description of all invariant para-Kähler structures $(g,K)$ on a such homogeneous manifold. Using a para-complex analogue of basic formulas of Kähler geometry, we prove that any invariant para-complex structure $K$ on $M = G/H$ defines a unique para-Kähler Einstein structure $(g,K)$ with given non-zero scalar curvature. An explicit formula for the Einstein metric $g$ is given. A survey of recent results on para-complex geometry is included.

研究の動機と目的

• 半単純リー群 $ G $ に対する均質的多様体 $ G/H $ におけるすべての不変パラケーラー・アインシュタイン構造を分類すること。
• このような構造と $ \mathfrak{g} $ の半単純元のアドジョイント軌道との間の対応関係を確立すること。
• 与えられた不変パラ複素構造 $ K $ と固定された非ゼロのスカラー曲率のもとで、アインシュタイン計量 $ g $ の明示的公式を提供すること。
• これらの構造の構成と解析に用いるための、ケーラー幾何のパラ複素数版を構築すること。
• 最近のパラ複素数幾何の結果を調査し、対称的および均質的パラケーラー多様体の研究に応用すること。

提案手法

• canonical form における Koszul の公式を用いて、パラ複素数幾何におけるリッチ形式を計算する。
• Dolbeault の補題のパラ複素数版の適用と、$ \Lambda^r(T^*M \otimes \mathbb{C}) $ の $ (p,q) $-形式への分解。
• 実半単純リー代数の基本的勾配を用いて Koszul 形式 $ \psi $ を計算し、基本的重み $ \pi_i $ を用いる。
• リッチ形式 $ \rho $ からアインシュタイン計量 $ g $ を導出し、正ルートの和を用いて $ \omega^{\alpha} \wedge \omega^{-\alpha} $ 項を含む形で表現する。
• 古典的および例外的リー代数（$ \mathfrak{sl}(2,\mathbb{H}) $ および $ \mathfrak{g}_2 $ を含む）に対して、ルートベクトルおよび構造定数を用いて $ \rho $ の明示的構成を行う。
• Satake 図とルート系データを用いて、ケースの分類を行い、特定の対称空間の次元と形式を計算する。

実験結果

リサーチクエスチョン

• RQ1 どの均質的多様体 $ G/H $（半単純リー群 $ G $ に対して）が不変パラケーラー・アインシュタイン構造を持つのか？
• RQ2 与えられた不変パラ複素構造 $ K $ と固定された非ゼロのスカラー曲率のもとで、アインシュタイン計量 $ g $ を体系的にどのように構成できるか？
• RQ3 半単純元のアドジョイント軌道が、このような構造の存在を特徴付ける役割を果たすのはなぜか？
• RQ4 パラケーラー幾何における曲率形式とリッチ形式は、ルート系とカルタン部分代数の分解とどのように関係するか？
• RQ5 古典的および例外的リー群に対して、ルートベクトルと基本的重みを用いてリッチ形式 $ \rho $ の明示的形は何か？

主な発見

• 均質的多様体 $ G/H $ が不変パラケーラー構造 $ (g,K) $ を持つための必要十分条件は、半単純元 $ h \in \mathfrak{g} $ のアドジョイント軌道 $ \mathrm{Ad}_G h $ の被覆であることである。
• $ G/H $ 上の任意の不変パラ複素構造 $ K $ に対して、与えられた非ゼロのスカラー曲率を持つ一意なパラケーラー・アインシュタイン計量 $ g $ が存在し、$ g $ の明示的公式が導出されている。
• Koszul 形式 $ \psi $ は、$ A_n $ 型の場合、$ \psi = 2\sum_{k=1}^r (i_{k+1} - i_{k-1}) \pi_{i_k} $ として計算され、他のルート系に対しても同様に計算される。
• $ G^\sigma = \mathrm{SL}(2,\mathbb{H}) $ の場合、多様体の次元は 8 であり、$ \psi = 8\pi_2 = 4\alpha_1 + 8\alpha_2 + 4\alpha_3 $ であり、$ \rho $ はルート空間の和として明示的に与えられる。
• $ \mathfrak{g}_2 $ の場合、$ \Pi^1 = \{\alpha_1\} $ のとき、次元は 10、$ \psi = 10\pi_1 = 10(2\alpha_1 + \alpha_2) $ であり、$ \rho $ は $ \omega^{\pm\alpha} \wedge \omega^{\mp\alpha} $ を含む6項の和として与えられる。
• $ \mathfrak{g}_2 $ において $ \Pi^1 = \{\alpha_1, \alpha_2\} $ の場合、次元は 12、$ \psi = 4(\pi_1 + \pi_2) = 4(5\alpha_1 + 3\alpha_2) $ であり、$ \rho $ にはさまざまなルートペアに対して係数 4, 5, 3 が含まれる。