1. 引言
Ricci孤立子的概念是由R. Hamilton在80年代中期提出的,它是Ricci流的自相似解,是爱因斯坦流形的自然推广[1]。J. Lauret最先研究了幂零连通李群上左不变的黎曼Ricci孤立子,证明了此时黎曼Ricci孤立子和代数Ricci孤立子是完全等价的[2],后期又拓展到伪黎曼流形中。研究Ricci孤立子可以更好地认识Ricci流的奇异结构,再结合几何方法得到一些重要的几何拓扑结构。近些年来,在黎曼流形的背景下,有关Ricci流、平均曲率流、孤立子等问题的研究越来越多。
2011年,J. Lauret给出了可解连通李群上的左不变黎曼代数Ricci孤立子的结构[3]。2016年,Batat和Onda深入研究并得出了三维洛伦兹李群上的所有代数Ricci孤立子都是可解孤立子的结论,值得一提的是,发现了李群G2、G5和G6上的新孤立子与黎曼情况的结果相反,即洛伦兹Ricci孤立子不一定是代数Ricci孤立子[4]。在研究孤立子理论问题时,常常会特别关注代数Ricci孤立子的存在情况,具体而言希望能得到孤立子存在时的充要条件或充分条件。对于三维非单模左不变洛伦兹度量李群上的代数Ricci孤立子研究,可追溯到对非线性偏微分方程和洛伦兹李群结合中去,通过计算代数Ricci孤立子,我们可以深入理解其代数性质和Ricci流方程的特殊解形式[5]。2021年,Z. Yan和S. Deng研讨了幂零李群上洛伦兹代数Ricci孤立子的结构,并完整刻画了中心退化时代数Ricci孤立子的具体结构[6],利用该结论可以构造一类新的伪黎曼度量代数Ricci孤立子。同年,王勇和吴彤得到了具有三种不同分布的三维洛伦兹李群上与Bott联络相关的仿射Ricci孤立子的分类[7]。随着学科间的交叉融合,群论、泛函分析、代数几何以及拓扑学等,都有孤立子理论的应用。李群、联络和Ricci孤立子在广义相对论和数学物理的领域中是相互联系的,共同构成了理解宇宙弯曲性质的数学框架。
基于上述工作,本文将文献[8]中在具有积结构三维洛伦兹李群上与两种联络有关的代数Ricci孤立子结构的思想,拓展到具体一类三维非单模左不变洛伦兹度量李群上与三种联络相关的两类代数Ricci孤立子存在的情形,在具有左不变洛伦兹度量g和李代数g1的三维非单模洛伦兹李群G1的例子中[9],得到了李群G1的Levi-Civita联络、Canonical联络、Kobayashi-Nomizu联络以及Ricci算子有关结果,进而证得该群与三种联络相关的两类代数Ricci孤立子存在的条件定理。
本文的结构安排如下:在预备知识一节中,详细介绍了李群G1的具体结构和与三种联络有关的两类代数Ricci孤立子的定义;在3~5节中,给出并详细证明了李群G1分别与三种联络相关的第一类代数Ricci孤立子存在定理。有关第二类代数Ricci孤立子存在情况文中末尾给出了总结性说明。
2. 预备知识
三维非单模李群G1上李代数g1的自同构群如下
(2.1)
此时,我们可以得到如下结论:
定理2.1 李群G1上的左不变洛伦兹度量等价于下面形式矩阵度量的自同构群
(2.2)
其中,矩阵中的
大于0。
证明:设g是李群G1上的左不变洛伦兹度量,
是一个半对称、非退化的实矩阵
(2.3)
由于
,令
,
,有
(2.4)
从而计算可以得到
(2.5)
其中T为转置,
且
是一个半对称、非退化的实矩阵。
由于
(2.6)
我们假设存在矩阵
,使得
(2.7)
其中
。
设
(2.8)
通过计算可以得到
(2.9)
综上,具有李代数g1的三维非单模李群G1上的左不变洛伦兹度量[g]等价于形式矩阵度量的自同构群。
本文主要研究具有左不变洛伦兹度量
和李代数g1的三维非单模洛伦兹李群G1,李代数g1满足
(2.10)
其中
是伪标准正交基,y3是类时向量。即知道三维非单模洛伦兹李群G1上的内积结构J满足
(2.11)
李群G1的具体结构如下,见表1所示。
Table 1. The concrete structure of Lie Groups G1
表1. 李群G1的具体结构
李代数 |
|
相关的连通、单连通李群 |
|
李代数的自同构群 |
|
左不变洛伦兹度量 |
|
下面分别给出与三种联络有关的两类代数Ricci孤立子的定义:
设
和
,如果满足
(2.12)
称
是与Levi-Civita联络
有关的第一类(第二类)代数Ricci孤立子。
设
和
,如果满足
(2.13)
称
是与Canonical联络
有关的第一类(第二类)代数Ricci孤立子。
设
和
,如果满足
(2.14)
称
是与Kobayashi-Nomizu联络
有关的第一类(第二类)代数Ricci孤立子。
其中c是实数,D是g的李导数,即对任意的
,都有
(2.15)
3. 李群G1与Levi-Civita联络相关的代数Ricci孤立子存在定理
代数Ricci孤立子与Levi-Civita联络之间的关系,主要体现在几何学研究黎曼流形的度量结构当中。Levi-Civita联络是描述流形上度量的一种方式,用于研究流形上的平行移动;而代数Ricci孤立子则是描述流形上的一种特殊曲率性质,与流形的Ricci曲率有关。关于三维非单模左不变洛伦兹度量李群G1与Levi-Civita联络相关的代数Ricci孤立子存在情况,我们有如下结论:
定理3.1
是与Levi-Civita联络
有关的第一类代数Ricci孤立子当且仅当
,特别地,
(3.1)
证明:设
是G1的Levi-Civita联络,经过计算知G1的Levi-Civita联络
如下
由Levi-Civita联络
的曲率[10]张量公式
,知
与Levi-Civita联络
的曲率R如下
根据
是伪标准正交基,
是类时向量,由
的Ricci张量公式
知
的Levi-Civita联络
左不变洛伦兹度量
如下
用
表示Ricci算子Ric,则有
根据第一类代数Ricci孤立子的定义
,有
通过公式(2.15),计算得到
,正是与
有关的第一类代数Ricci孤立子存在的条件。
4. 李群G1与Canonical联络相关的代数Ricci孤立子存在定理
Canonical联络与Kahler流形的Hodge-de Rham复有关,代数Ricci孤立子和Canonical联络的结合通常用于研究Kahler几何或者复几何。关于三维非单模左不变洛伦兹度量李群G1与Canonical联络相关的代数Ricci孤立子存在情况,我们有如下结论:
定理4.1
与Canonical联络
有关的第一类代数Ricci孤立子当且仅当
,特别地,
(4.1)
证明:设
表示
的Canonical联络,计算得到
联络如下
由
的Canonical联络
曲率公式
,知
根据
是伪标准正交基,y3是类时向量,通过
的Ricci张量公式
计算可知
的Canonical联络
左不变洛伦兹度量
如下
设
表示Ricci算子Ric0,则有
根据第一类代数Ricci孤立子的定义
,有
通过公式(2.15),计算得到
,正是与
有关的第一类代数Ricci孤立子存在的条件。
5. 李群G1与Kobayashi-Nomizu联络相关的代数Ricci孤立子存在定理
Kobayashi-Nomizu联络是一种特殊的非退化二次曲率联络,是由Kobayashi和Nomizu在20世纪中叶提出的,对研究复流形的几何性质起着关键作用。关于三维非单模左不变洛伦兹度量李群G1与Kobayashi-Nomizu联络相关的代数Ricci孤立子存在情况,我们有如下结论:
定理5.1 如果
是与Kobayashi-Nomizu联络
有关的第一类代数Ricci孤立子,则
,此时
可取任意值。
证明:设
来表示
的Kobayashi-Nomizu联络,根据
是伪标准正交基,y3是类时向量,计算
的
联络如下
由
联络的曲率张量公式
,知
的
联络曲率张量
如下
通过
与Kobayashi-Nomizu联络
有关的Ricci张量公式
计算可知,
的Kobayashi-Nomizu联络
左不变洛伦兹度量
如下
用
表示Ricci算子Ric1,继而有
根据第一类代数Ricci孤立子的定义
,有
通过公式(2.15)计算知,此时
可取任意值.这意味着李群G1与Kobayashi-Nomizu联络相关的第一类代数Ricci孤立子的存在不依赖于特定的度量或其他背景结构条件,表明第一类代数Ricci孤立子具有很强的普遍性和独立性。
6. 研究结论
3~5节给出了具有左不变洛伦兹度量g和李代数g1的三维非单模洛伦兹李群G1,与三种联络有关的第一类代数Ricci孤立子存在情况。有关第二类代数Ricci孤立子存在情况,之所以没有单独给出,是因为左不变洛伦兹度量矩阵是对称、非退化的实矩阵。由第二类代数Ricci孤立子的定义可知,与三种联络有关的第二类代数Ricci孤立子存在情况,其实和第一类代数Ricci孤立子存在情况完全一致。本文主要讨论的是李群G1上的左不变洛伦兹度量等价于公式(2.2)这种类型矩阵度量的自同构群,由该矩阵的特点知伪标准正交基y3是类时向量。在后续工作中,可以从改变Ricci张量公式入手,考虑伪标准正交基y2是类时向量的情形,并求其孤立子情况。
基金项目
黑龙江省教育厅省属高校基本科研业务费项目,项目编号:1453ZD029。
NOTES
*通讯作者。