[论文解读] 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 $ 拥有一个不变的para-Kähler爱因斯坦结构 $ (g,K) $ 当且仅当它是某个半单元素 $ h $ 的伴随轨道 $ \mathrm{Ad}_G h $ 的覆叠。通过使用para复几何的类似Kähler几何的方法，作者在给定非零标量曲率的前提下，从任意不变的para复结构 $ 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 $ 上所有不变para-Kähler爱因斯坦结构进行分类。
• 建立此类结构与 $ \mathfrak{g} $ 中半单元素的伴随轨道之间的对应关系。
• 以不变para复结构 $ K $ 和标量曲率为基础，提供爱因斯坦度量 $ g $ 的显式公式。
• 发展para复几何的类似Kähler几何的方法，用于构造和分析这些结构。
• 综述近期para复几何的研究成果，并将其应用于对对称及齐性para-Kähler流形的研究。

提出的方法

• 使用Koszul公式计算典范形式以求得para复几何中的Ricci形式。
• 应用para复几何中Dolbeault引理的类似形式，并将 $ \Lambda^r(T^*M \otimes \mathbb{C}) $ 分解为 $ (p,q) $-形式。
• 通过实半单李代数的基本分次计算Koszul形式 $ \psi $，并利用基本权 $ \pi_i $。
• 从Ricci形式 $ \rho $ 推导出爱因斯坦度量 $ g $，其表达式以正根的和的形式表示，包含 $ \omega^{\alpha} \wedge \omega^{-\alpha} $ 项。
• 显式构造 $ \rho $ 关于根向量和结构常数的表达式，适用于经典和例外李代数，包括 $ \mathfrak{sl}(2,\mathbb{H}) $ 和 $ \mathfrak{g}_2 $。
• 利用Satake图和根系数据对情形进行分类，并计算特定对称空间的维数与形式。

实验结果

研究问题

• RQ1 哪些半单李群的齐性流形 $ G/H $ 允许存在不变的para-Kähler爱因斯坦结构？
• RQ2 如何从给定的不变para复结构 $ K $ 和固定的非零标量曲率系统地构造爱因斯坦度量 $ g $？
• RQ3 半单元素的伴随轨道在表征此类结构存在性方面起什么作用？
• RQ4 para-Kähler几何中的曲率形式与Ricci形式如何与根系及Cartan子代数分解相关联？
• RQ5 对于经典和例外李群，Ricci形式 $ \rho $ 关于根向量和基本权的显式形式是什么？

主要发现

• 齐性流形 $ G/H $ 拥有不变para-Kähler结构 $ (g,K) $ 当且仅当它是某个半单元素 $ h \in \mathfrak{g} $ 的伴随轨道 $ \mathrm{Ad}_G h $ 的覆叠。
• 对于 $ G/H $ 上任意不变para复结构 $ K $，存在唯一一个具有给定非零标量曲率的para-Kähler爱因斯坦度量 $ 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} $ 的项之和。
• 当 $ \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。