[论文解读] The Backward behavior of the Ricci and Cross Curvature Flows on SL(2,R)

Xiaodong Cao, John Guckenheimer+1 more|arXiv (Cornell University)|Jun 23, 2009

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

一句话总结

该论文证明，在SL(2,ℝ)流形上，里奇流与交叉曲率流的最大解在向后时间方向上，通常起源于赫氏不等式型的次黎曼几何。通过分析局部齐性3-流形上的曲率演化常微分方程，作者证明：在典型初值条件下，当时间趋近于有限向后奇点时，经缩放的度量一致收敛于赫氏群度量，从而解决了几何流领域长期悬而未决的关键问题。

ABSTRACT

This paper is concerned with properties of maximal solutions of the Ricci and cross curvature flows on locally homogeneous three-manifolds of type SL(2,R). We prove that, generically, a maximal solution originates at a sub-Riemannian geometry of Heisenberg type. This solves a problem left open in earlier work by two of the authors.

研究动机与目标

• 解决先前研究中未解决的SL(2,ℝ)流形上里奇流与交叉曲率流的向后行为问题。
• 证明在SL(2,ℝ)上，这些流的最大解在时间趋近于有限向后奇点时，通常起源于赫氏型次黎曼度量。
• 通过解决SL(2,ℝ)情形，完成对所有局部齐性3-流形的向后渐近行为的分类。
• 分析SL(2,ℝ)情形下控制曲率演化的常微分方程组，其动力学行为比其他布里阿希类型更为复杂。

提出的方法

• 通过在单连通覆叠SL(2,ℝ)上的左不变度量，将里奇流与交叉曲率流约化为局部齐性3-流形上的常微分方程组。
• 以曲率变量(a, c)和角参数θ表示常微分方程组(3.4)，使用类似极坐标的(r, θ)坐标研究奇点附近的流行为。
• 应用向量场比较技术：构造辅助向量场Y以证明横截性与轨迹分离性，从而证明非轴向轨迹不会趋近原点。
• 利用不变流形理论与渐近分析，识别出2维锥面S₀为正向渐近于(0,1)的轨迹集合，对应于赫氏极限。
• 通过证明X-轨迹在(θ,r)平面上严格位于Y-轨迹之上，证明所有不在r轴或θ轴上的轨迹均不会趋近原点。
• 利用对称性与坐标变换，将结果推广至对称情形(B < C)，从而完成对向后行为的完整分类。

实验结果

研究问题

• RQ1 SL(2,ℝ)流形上里奇流与交叉曲率流的向后行为是否收敛于赫氏型次黎曼度量，如其他布里阿希类型中所观察到的那样？
• RQ2 SL(2,ℝ)情形下控制曲率演化的常微分方程组的结构是什么？其与更简单齐性情形有何不同？
• RQ3 是否存在除r轴或θ轴外的其他轨迹趋近于原点（对应于奇异度量）？
• RQ4 对于典型初值，其向后极限是否可表征为配备自然次黎曼度量的赫氏群？

主要发现

• 对于SL(2,ℝ)流形上的典型初值度量，向后时间奇点为有限值，即T_b < ∞。
• 存在一个定义在(−T_b, 0)上的正函数r(t)，使得当t → −T_b时，r²(t)g(t)一致收敛于赫氏型次黎曼度量。
• 在极限度量空间中任意点的切锥，等距同构于配备标准次黎曼结构的3维赫氏群H₃。
• 常微分方程组(3.7)中唯一渐近于原点的轨迹位于r轴或θ轴上，其他所有轨迹均不趋近原点。
• 在(a,c)-平面上，流线被一个2维锥面S₀分隔，该锥面对应于收敛于赫氏极限的解集。
• 分析确认，对于典型初值，向后极限具有普遍性，从而完成了对所有类型(b)局部齐性3-流形向后行为的完整分类。