[论文解读] Ricci Yang-Mills solitons on nilpotent Lie groups

Michael Jablonski, Andrea Young|arXiv (Cornell University)|Jul 7, 2009

Geometric Analysis and Curvature Flows参考文献 13被引用 3

一句话总结

本文在2步幂零李群上引入了里奇杨-米尔斯孤立子，表明其严格弱于里奇孤立子。通过几何不变量理论与矩映射技术，作者构造了明确的例子，展示了某些李群虽不具里奇孤立子，却存在里奇杨-米尔斯孤立子，从而证明了此前被排除情形下非平凡孤立子结构的存在性。

ABSTRACT

The purpose of this paper is to introduce the Ricci Yang-Mills soliton equations on nilpotent Lie groups. In the 2-step nilpotent setting, we show that these equations are strictly weaker than the Ricci soliton equations. Using techniques from Geometric Invariant Theory, we develop a procedure to build many different kinds of Ricci Yang-Mills solitons. We finish this note by producing examples of Lie groups that do not admit Ricci soliton metrics but that do admit Ricci Yang-Mills soliton metrics.

研究动机与目标

• 在幂零李群，特别是2步幂零情形下，定义并研究里奇杨-米尔斯孤立子。
• 在该背景下证明里奇杨-米尔斯孤立子严格弱于里奇孤立子。
• 利用几何不变量理论与矩映射发展一种系统构造此类孤立子的方法。
• 识别出不具里奇孤立子度量但具里奇杨-米尔斯孤立子度量的李群。
• 解决Eberlein提出的技术性问题：在2步幂零情形下矩映射的性质。

提出的方法

• 作者在$GL_n\mathbb{R}$的表示背景下，利用几何不变量理论工具，重新表述里奇杨-米尔斯孤立子方程，引入矩映射。
• 分析2步幂零李群上左不变度量的矩映射$m_1$，利用其取值确定孤立子条件。
• 该构造依赖于通过实系数$a_1, b_i, c_i, d_i$参数化的特定矩阵块的拼接。
• 当矩映射取值满足特定代数条件时，存在里奇杨-米尔斯孤立子：$a_1^2 = b_1^2 + c_1^2 = \cdots = d_1^2 + \cdots + d_j^2$。
• 对于非平凡孤立子，矩映射不是单位矩阵的倍数，且利用稳定化子条件$B \in \text{Stab}(C)$验证孤立子的存在性。
• 通过关联导子$D \in \text{Der}(\mathfrak{g})$计算左不变张量在自同构下的李导数，将几何流与代数结构联系起来。

实验结果

研究问题

• RQ1 能否在里奇孤立子不存在的2步幂零李群上定义并构造里奇杨-米尔斯孤立子？
• RQ2 在2步幂零情形下，里奇杨-米尔斯孤立子与里奇孤立子的关系如何——具体而言，前者是否严格更弱？
• RQ3 能否利用几何不变量理论系统构造幂零李群上的里奇杨-米尔斯孤立子？
• RQ4 里奇代数结构的何种代数条件可保证里奇杨-米尔斯孤立子的存在？
• RQ5 是否存在明确的李群例子，其具有里奇杨-米尔斯孤立子但不具里奇孤立子？

主要发现

• 本文构造了一个$n-1$参数族的非同构2步幂零李代数，其具有里奇杨-米尔斯孤立子但不具里奇孤立子度量。
• 当矩映射$m_1(C)$为单位矩阵的倍数时，里奇杨-米尔斯孤立子存在的充要条件为$a_1^2 = b_1^2 + c_1^2 = \cdots = d_1^2 + \cdots + d_j^2$。
• 在非平凡情形下，当$m_1(C) \neq r\text{Id}$时，存在一个$j-1$参数族的非等距里奇杨-米尔斯孤立子，满足$4a_1^2 = 6\lambda^2 = 4(b_1^2 + \cdots + b_j^2)$。
• 通过验证矩阵$B$是代数数据$C$的稳定化子，且满足定理3.21的条件，确认了此类孤立子的存在性。
• 作者通过提供一个构造性框架，解决了Eberlein关于2步幂零情形下矩映射性质的技术性问题。
• 结果表明，里奇杨-米尔斯孤立子提供了一个严格弱于里奇孤立子的“最优”度量概念，从而扩展了具有特殊几何结构的可解李群的类。