[论文解读] Lorentz Ricci solitons on 3-dimensional Lie groups

Kensuke Onda|ArXiv.org|Jun 1, 2009

Geometric Analysis and Curvature Flows参考文献 6被引用 7

一句话总结

本文通过显式计算联络与黎曼曲率张量，将三维海森堡群 $H_3$ 上的左不变洛伦兹度量 $g_1$ 表征为一个收缩的非梯度里奇孤立子。此外，还证明了平坦欧几里得平面 $E(2)$ 和平坦洛伦兹平面 $E(1,1)$ 的等距群也具有收缩的非梯度洛伦兹里奇孤立子结构，从而在爱因斯坦度量之外提供了洛伦兹几何中的新例子。

ABSTRACT

The three-dimensional Heisenberg group $H_3$ has three left-invariant Lorentz metrics $g_1$, $g_2$ and $g_3$. They are not isometric each other. In this paper, we characterize the left-invariant Lorentzian metric $g_1$ as a Lorentz Ricci soliton. This Ricci soliton $g_1$ is a shrinking non-gradient Ricci soliton. Likewise we prove that the isometry group of flat Euclid plane E(2) and the isometry group of flat Lorentz plane E(1,1) have Lorentz Ricci solitons.

研究动机与目标

• 识别并表征三维李群上的左不变洛伦兹里奇孤立子，特别是海森堡群 $H_3$。
• 通过证明 $g_1$ 满足里奇孤立子方程但不是爱因斯坦度量，将其与 $H_3$ 上的 $g_2$ 和 $g_3$ 区分。
• 将分析扩展至平坦欧几里得平面 $E(2)$ 和平坦洛伦兹平面 $E(1,1)$ 的等距群，表明它们也支持里奇孤立子结构。
• 展示洛伦兹情形下非梯度里奇孤立子的存在性，与黎曼情形中非梯度孤立子罕见的情况形成对比。

提出的方法

• 使用李群上左不变度量的 Levi-Civita 联络公式，通过伴随映射与余伴随映射表示：$\nabla_X Y = \frac{1}{2}\{[X,Y] - (\text{ad}X)'Y - (\text{ad}Y)'X\}$。
• 为每种度量构造左不变标架与余标架，以坐标自适应基表示度量并计算曲率张量。
• 通过联络系数导出的黎曼曲率张量计算里奇曲率张量。
• 验证特定向量场 $X$ 在 $H_3$、$E(2)$ 和 $E(1,1)$ 上满足里奇孤立子方程 $2\text{Ric} + \mathcal{L}_X g - 4g = 0$。
• 通过证明 $\nabla_i X_j - \nabla_j X_i \neq 0$ 对某些 $i,j$ 成立，证明向量场 $X$ 不是梯度场，从而确认其非梯度性质。
• 利用已知的测地完备性与曲率结果（例如，$g_2$ 具有常曲率 $-1/4$，$g_3$ 是平坦的）来阐明孤立子行为的背景。

实验结果

研究问题

• RQ1 海森堡群 $H_3$ 上的左不变洛伦兹度量 $g_1$ 是否满足里奇孤立子方程？若是，它属于何种类型的孤立子？
• RQ2 $g_1$ 为何是非梯度里奇孤立子？这与黎曼情形下的行为有何不同？
• RQ3 平坦欧几里得平面 $E(2)$ 和平坦洛伦兹平面 $E(1,1)$ 的等距群是否支持左不变洛伦兹里奇孤立子结构？
• RQ4 孤立子方程中向量场 $X$ 的几何意义是什么？其非梯度性质为何重要？
• RQ5 $H_3$ 上 $g_1$、$g_2$ 和 $g_3$ 的曲率性质如何与它们的孤立子状态相关？

主要发现

• 三维海森堡群 $H_3$ 上的左不变洛伦兹度量 $g_1$ 满足里奇孤立子方程 $2\text{Ric} + \mathcal{L}_X g - 4g = 0$，其中特定向量场 $X = 2(z\cos y + x\sin y)F_1 + 2(x\cos y - z\sin y)F_3$，确认其为收缩里奇孤立子。
• $H_3$ 上的向量场 $X$ 不是梯度场，因为 $\nabla_1 X_2 - \nabla_2 X_1 = -4(-z\sin y + x\cos y) \neq 0$，从而证明该孤立子为非梯度型。
• $H_3$ 上的度量 $g_1$ 不是爱因斯坦度量，因其里奇张量与度量不成比例，但依然满足孤立子方程。
• $E(2)$ 的平坦欧几里得平面的等距群在度量 $g_1 = -dz^2 + (e^z dx + e^{-z} dy)^2 + (e^z dx - e^{-z} dy)^2$ 下支持一个收缩的非梯度洛伦兹里奇孤立子结构，且存在一个三参数族的向量场 $X$ 满足孤立子方程。
• $E(1,1)$ 的平坦洛伦兹平面的等距群也支持一个收缩的非梯度洛伦兹里奇孤立子，其中 $g_1$ 满足 $2\text{Ric} + \mathcal{L}_X g - 4g = 0$，且 $X$ 为含常数 $a$、$b$、$c$ 的一般向量场，非梯度性通过 $\nabla_3 X_2 - \nabla_2 X_3 \neq 0$ 得到验证。
• $E(1,1)$ 上 $g_1$ 的里奇张量仅在 $R_{33} = -2$ 处非零，其余分量为零，确认其非爱因斯坦性质，而孤立子条件因 $X$ 的特定形式而成立。