[论文解读] Homogeneous Einstein Metrics on SO(n)

C.N. Pope|arXiv (Cornell University)|Jan 18, 2010

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

一句话总结

该论文通过使用在 SO(n) × SO(p) × SO(q) 子群下不变的左不变度量试探法，显式构造了 SO(n) 上的齐次爱因斯坦度量，其中 p + q = n。在这些对称性约束下求解爱因斯坦方程，证明了在 SO(2k) 上存在 (3k−4) 个非等价的爱因斯坦度量，在 SO(2k+1) 上存在 (3k−3) 个，表明随着维度增加，此类度量的数量无界增长。

ABSTRACT

It is well known that every compact simple Lie group G admits an Einstein metric that is invariant under the independent left and right actions of G. In addition to this bi-invariant metric, with G x G symmetry, it was shown by D'Atri and Ziller that every compact simple Lie group except SU(2) and SO(3) admits at least one further homogeneous Einstein metric, invariant under G x H, where H is some proper subgroup of G. In this paper we consider the Lie groups G=SO(n) for arbitrary n, and provide an explicit construction of (3k-4) inequivalent homogeneous Einstein metrics on SO(2k), and (3k-3) inequivalent homogeneous Einstein metrics on SO(2k+1).

研究动机与目标

• 系统构造 SO(n) 上超越标准双不变度量的新齐次爱因斯坦度量。
• 探究在紧致单李群上，非等价齐次爱因斯坦度量的数量是否随维度增加而增长。
• 在基于 SO(n) 的 SO(p)×SO(q) 子群的受限度量试探法下，提供爱因斯坦方程的显式、非退化解。
• 通过为所有有效的划分 n = p + q 构造解，建立 SO(n) 上非等价爱因斯坦度量数量的下界。
• 通过从曲率和体积导出的无量纲不变量 I₁ 和 I₂ 确认度量的非等价性。

提出的方法

• 在 SO(n) 上提出一个左不变度量试探法，其中三个不同的压缩参数 x₁, x₂, x₃ 对应该伴随表示在 SO(p) × SO(q) ⊂ SO(n) 下的分解。
• 使用 Cartan-Maurer 结构方程 dL_{AB} = L_{AC} ∧ L_{CB}，代数地推导出曲率张量和里奇张量，以度量分量表示。
• 施加爱因斯坦条件 R_{μν} = λg_{μν}，得到关于度量参数 x₁, x₂, x₃ 的代数方程组。
• 通过引入比值 y = x₁/x₃ 来简化方程组，将方程组约化为每个 (p,q) 划分下的关于 y 的三次方程。
• 通过计算无量纲不变量 I₁ = λ^{d/2}V 和 I₂ = R^{abcd}R_{abcd}λ^{-2} 来区分解，以确认度量的非等价性。
• 通过划分 n = p + q 并统计所有此类划分下非退化、非双不变解的数量，对解进行分类。

实验结果

研究问题

• RQ1 对于任意 n，SO(n) 上存在多少个非等价的齐次爱因斯坦度量？
• RQ2 随着 SO(n) 维度的增加，此类度量的数量是否可以无界增长？
• RQ3 子群对称性 SO(p) × SO(q) 在简化 SO(n) 上爱因斯坦度量构造中起什么作用？
• RQ4 所构造的度量是否真正非等价，如何严格验证这一点？
• RQ5 这些解是否包含双不变度量，如果是，它们如何与之区分？

主要发现

• 该论文显式构造了 SO(2k) 上的 (3k−4) 个非等价齐次爱因斯坦度量（k ≥ 2），并为所有有效划分 n = p + q 提供了解。
• 对于 SO(2k+1)，同样构造了 (3k−3) 个非等价齐次爱因斯坦度量（k ≥ 2），使用相同的基于对称性的试探法。
• 对于每个满足 q ≥ 2 且 p = n−q 的划分 (p,q)，爱因斯坦方程最多产生三个不同的解，对应于压缩参数 y = x₁/x₃ 的三个不同值。
• 决定解的关于 y 的三次方程通常具有三个实数、非退化的根，每个根对应一个具有不同曲率不变量的独立爱因斯坦度量。
• 在特殊情况下，如 q = 2 或 p = q ≥ 3 时，三次方程可有理化分解，产生一个或两个额外的非退化解，超出双不变度量情况。
• 不同解的不变量 I₁ 和 I₂ 取值不同，确认了它们的非等价性，并验证了分类的正确性。