[论文解读] Flag manifolds, symmetric $\fr{t}$-triples and Einstein metrics

Ioannis Chrysikos|arXiv (Cornell University)|Oct 19, 2010

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

一句话总结

本文引入了广义旗流形 $G/K$（其中 $b_2(G/K)=1$）及完全旗流形上的对称 $\t$-三元组——即和为零的 $\t$-根三元组，并建立了其与 isotropy 表示中非零结构常数 $c_{ij}^k$ 的对应关系。作者对 $G = \text{SO}(7)$ 的 $\t$-根与对称 $\t$-三元组进行了分类，求解了具有五个 isotropy 分量的旗流形的齐次爱因斯坦方程，并证明了恰好存在三种非同构的 $\text{SO}(7)$-不变爱因斯坦度量，其中两种为凯勒-爱因斯坦度量，一种为非凯勒度量。

ABSTRACT

Let $G$ be a compact connected simple Lie group and let $M=G^{\bb{C}}/P=G/K$ be a generalized flag manifold. In this article we focus on an important invariant of $G/K$, the so called $\fr{t}$-root system $R_{\fr{t}}$, and we introduce the notion of symmetric $\fr{t}$-triples, that is triples of $\fr{t}$-roots $ξ, ζ, η\in R_{\fr{t}}$ such that $ξ+η+ζ=0$. We describe their properties and we present an interesting application on the structure constants of $G/K$, quantities which are straightforward related to the construction of the homogeneous Einstein metric on $G/K$. Next we classify symmetric $\fr{t}$-triples for generalized flag manifolds $G/K$ with second Betti number $b_{2}(G/K)=1$, and we treat also the case of full flag manifolds $G/T$, where $T$ is a maximal torus of $G$. In the last section we construct the homogeneous Einstein equation on flag manifolds $G/K$ with five isotropy summands, determined by the simple Lie group $G=\SO(7)$. By solving the corresponding algebraic system we classify all $\SO(7)$-invariant (non-isometric) Einstein metrics, and these are the very first results towards the classification of homogeneous Einstein metrics on flag manifolds with five isotropy summands.

研究动机与目标

• 引入并研究广义旗流形 $G/K$ 上的对称 $\t$-三元组——即和为零的 $\t$-根三元组。
• 将对称 $\t$-三元组与 isotropy 表示的结构常数 $c_{ij}^k$ 关联起来，这些常数控制着 $G/K$ 的几何结构。
• 对第二贝蒂数 $b_2 = 1$ 的旗流形以及完全旗流形 $G/T$ 上的对称 $\t$-三元组进行分类。
• 求解具有五个 isotropy 分量的 $\text{SO}(7)$-旗流形的齐次爱因斯坦方程，并对所有非同构的 $\text{SO}(7)$-不变爱因斯坦度量进行分类。

提出的方法

• 将 $\t$-根定义为复李代数 $\fk^\bC$ 的中心的实形式 $\t$ 上互补根的限制，从而形成 $\t$-根系 $R_\t$。
• 引入对称 $\t$-三元组为 $\t^*$ 中满足 $(\t, \t, \t) \to 0$ 的三元组，建立其与非零结构常数 $c_{ij}^k$ 之间的双射对应关系。
• 利用 $\text{SO}(7)$ 的 Weyl 群作用与根系性质，分析 isotropy 分量的对称性与等距性。
• 为具有五个不可约 $\text{Ad}(K)$-模的 $G/K$ 构造齐次爱因斯坦方程，其参数由五个正参数 $x_1, \dots, x_5$ 表示。
• 利用结构常数 $c_{ij}^k$ 推导出爱因斯坦条件所导致的代数方程组，并求解该方程组。
• 通过 Weyl 群反射（如 $s_{\t_2 + 2\t_3}$）应用等距性判别准则，以确定爱因斯坦度量的等价性。

实验结果

研究问题

• RQ1 对称 $\t$-三元组与 $G/K$ 的 isotropy 表示的结构常数 $c_{ij}^k$ 之间有何关系？
• RQ2 第二贝蒂数 $b_2(G/K) = 1$ 的广义旗流形上对称 $\t$-三元组的分类是什么？
• RQ3 具有五个 isotropy 分量的旗流形上，$\text{SO}(7)$-不变爱因斯坦度量有哪些？
• RQ4 这些爱因斯坦度量中哪些是等距的，共有多少种非同构的度量？

主要发现

• 对称 $\t$-三元组与非零结构常数 $c_{ij}^k$ 之间存在双射对应，将代数数据与几何不变量联系起来。
• 对于 $\text{SO}(7)/\text{U}(1)^2 \times \text{SU}(2)$，作者识别出恰好存在三种非同构的 $\text{SO}(7)$-不变爱因斯坦度量。
• 其中两种度量为凯勒-爱因斯坦度量，分别源于两种非等价的复结构，且在各自对中彼此等距。
• 第三种度量为非凯勒度量，且与凯勒-爱因斯坦度量不等距，也不与任何 $\text{SO}(7)$-不变复结构相容。
• 度量 $(c)$ 与 $(d)$ 通过 Weyl 群反射 $s_{\t_2 + 2\t_3}$ 实现等距，该反射交换 $\fm_1$ 与 $\fm_5$，同时保持 $\fm_2, \fm_3, \fm_4$ 不变。
• 该分类结果确认：$M = \text{SO}(7)/\text{U}(1)^2 \times \text{SU}(2)$ 在缩放意义下恰好存在三种非同构的 $\text{SO}(7)$-不变爱因斯坦度量。