[论文解读] The Prescribed Ricci Curvature Problem on Homogeneous Spaces with Intermediate Subgroups

M. D. Gould, Artem Pulemotov|arXiv (Cornell University)|Oct 9, 2017

Geometric Analysis and Curvature Flows被引用 10

一句话总结

该论文在存在H与G之间的中间子群的前提下，为紧李群G的齐次空间M = G/H上存在G-不变的黎曼度量g满足Ric(g) = cT（其中T为给定的G-不变对称(0,2)-张量，c > 0）建立了充分条件。该条件以T的特征值上的一组显式不等式系统表示，当同伦表示分解为两个非等价不可约分量时，该条件也变为必要条件。该结果将先前关于预定 Ricci 曲率问题的研究拓展至非极大子群的情形，并为广义旗流形上的 Ricci 迭代提供了新的存在性定理。

ABSTRACT

Consider a compact Lie group $G$ and a closed subgroup $H0$ such that the Ricci curvature of $g$ equals $cT$ for a given $T\in\mathcal M$. This condition is also necessary if the isotropy representation of $M$ splits into two inequivalent irreducible summands. Immediate and potential applications include new existence results for Ricci iterations.

研究动机与目标

• 将预定 Ricci 曲率问题的研究从H < G为紧李群G中的极大子群的情形拓展至更一般情况。
• 当H非极大时，基于李代数数据，为G/H上Ric(g) = cT（c > 0）建立可解性判据。
• 为广义旗流形提供一个适用框架，此前在该类空间上关于预定 Ricci 曲率问题的研究成果有限。
• 通过主存在性定理，推导出齐次空间上 Ricci 迭代的新存在结果。
• 当同伦表示分解为两个非等价不可约分量时，刻画此类度量存在的必要与充分条件。

提出的方法

• 作者利用h与g之间的中间子代数，将M = G/H的切空间分解为G-不变子空间。
• 在G-不变度量空间上定义泛函，并使用变分法寻找全局最大值，从而保证Ric(g) = cT的解存在。
• 关键估计通过迹泛函和李代数的结构常数导出，尤其涉及负定双线性型B与Casimir算子。
• 该方法依赖于对齐次度量 Ricci 曲率公式的分析，并将其表示为同伦表示不可约分量上T的特征值的函数。
• 充分条件以涉及T的特征值与同伦分量维数的不等式组形式表达。
• 该方法推广了DeTurck与Pulemotov的早期结果，通过细化对中间子代数的分析，将结果拓展至非极大同伦子群的情形。

实验结果

研究问题

• RQ1 当H不是G的极大子群时，齐次空间M = G/H上是否存在G-不变的黎曼度量g，使得Ric(g) = cT（T为给定的G-不变对称(0,2)-张量，c > 0）？
• RQ2 能否在不依赖同伦子群极大性的前提下，为广义旗流形上的预定 Ricci 曲率问题提供一个可解准则？
• RQ3 在存在中间子群的前提下，哪些精确的代数不等式可保证此类度量g与常数c > 0的存在？
• RQ4 当同伦表示分解为两个非等价不可约分量时，所提出的充分条件是否也变为必要条件？
• RQ5 能否利用该新准则建立齐次空间上 Ricci 迭代的存在性？

主要发现

• 给出了在M = G/H上存在G-不变度量g满足Ric(g) = cT（c > 0）的充分条件，其形式为T的特征值上的一组显式不等式系统。
• 当M的同伦表示分解为两个非等价不可约分量时，该条件也变为必要条件。
• 对于广义旗流形G₂/U(2)，若z₂/(z₁ + z₃) > 1/12且z₃/(2z₁ + z₂) > 3/10，其中z₁, z₂, z₃为T的特征值，则此类度量的存在性得以保证。
• 该方法通过推论2.36，为齐次空间上的 Ricci 迭代提供了新的存在性结果，支持了满足Ric(gᵢ) = gᵢ₋₁的序列(gᵢ)的归纳构造。
• 证明中的关键估计依赖于迹泛函和李代数的结构常数，尤其涉及负定双线性型B与Casimir算子。
• 该框架适用于一大类齐次空间，包括所有广义旗流形，为非极大同伦子群情形下的预定 Ricci 曲率问题提供了系统性解决方法。