[论文解读] Infinitesimal rigidity of collapsed gradient steady Ricci solitons in dimension three

Huai-Dong Cao, Chenxu He|arXiv (Cornell University)|Dec 8, 2014

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

一句话总结

本文通过证明任何保持圆对称性和最大标量曲率的单参数形变均非本质，从而证明了三维雪茄孤立子——一个在三维中坍塌的梯度稳态里奇孤立子——的无穷小刚性。该结果支持哈密顿关于此类孤立子连续族的猜想，并确立了具有两个对易的卡林格场的非平坦三维稳态孤立子的唯一性。

ABSTRACT

The only known example of collapsed three-dimensional complete gradient steady Ricci solitons so far is the 3D cigar soliton $N^2 imes \mathbb{R}$, the product of Hamilton's cigar soliton $N^2$ and the real line $\mathbb{R}$ with the product metric. R. Hamilton has conjectured that there should exist a family of collapsed positively curved three-dimensional complete gradient steady solitons, with $\mathsf{S}^1$-symmetry, connecting the 3D cigar soliton. In this paper, we make the first initial progress and prove that the infinitesimal deformation at the 3D cigar soliton is non-essential. In Appendix A, we show that the 3D cigar soliton is the unique complete nonflat gradient steady Ricci soliton in dimension three that admits two commuting Killing vector fields.

研究动机与目标

• 研究R. 哈密顿所提出的猜想：是否存在一个连续族的坍塌、正曲率、三维梯度稳态里奇孤立子，具有S¹对称性。
• 在对称性约束下，分析三维雪茄孤立子$N^2 \times \mathbb{R}$的无穷小形变。
• 确定此类形变是否本质或非本质，即是否源于微分同胚和缩放。
• 确立在三维中具有两个对易卡林格向量场的完备非平坦梯度稳态里奇孤立子的唯一性。
• 为在三维中构造新的坍塌稳态孤立子提供基础性进展。

提出的方法

• 施加两个圆对称性条件：存在非平凡的卡林格向量场，且所有形变在某一点处达到标量曲率最大值。
• 将度量的首阶变分方程组约化为关于势函数变分的单个椭圆型偏微分方程。
• 分析在上半平面上满足特定增长估计的椭圆方程$LW = 0$的正解的唯一性。
• 利用两个对易卡林格场的度量结构，导出规范形式：$ds^2 = y^2(dt + A(x,y)dx)^2 + \frac{B^2(x,y)}{y^2}dx^2 + \Omega^2(y)dy^2$。
• 应用李导数条件$\mathcal{L}_{X_2}g = 0$以约束度量分量，将其约化为仅依赖于$x$和$y$的函数。
• 通过曲率计算，在正截面曲率假设下导出矛盾，从而证明唯一性。

实验结果

研究问题

• RQ1 是否存在一个连续族的坍塌、正曲率、三维梯度稳态里奇孤立子，具有$\mathsf{S}^1$对称性，且连接三维雪茄孤立子？
• RQ2 在对称性和曲率最大值约束下，三维雪茄孤立子的无穷小形变是否非本质？
• RQ3 三维雪茄孤立子是否为在三维中具有两个对易卡林格向量场的唯一完备非平坦梯度稳态里奇孤立子？
• RQ4 在具有两个对易卡林格场和正曲率的条件下，度量和势函数的结构与分析约束为何？
• RQ5 在非紧致孤立子的形变理论中，能否移除在某一点处标量曲率取最大值的技术性假设？

主要发现

• 在圆对称性条件下，三维雪茄孤立子的无穷小形变$h = g'(0)$是非本质的，即源于微分同胚和缩放。
• 三维雪茄孤立子$N^2 \times \mathbb{R}$是三维中唯一具有两个对易卡林格向量场的完备非平坦梯度稳态里奇孤立子。
• 证明依赖于在上半平面上满足指定增长行为的椭圆方程$LW = 0$的正解的唯一性。
• 曲率计算表明，若$f$的Hessian为正定，则正截面曲率的假设将导致矛盾，从而排除此类度量。
• 在对称性条件下，度量结构被完全约束，导出规范形式，其中$\Omega = \Omega(y)$，$\xi = \xi(x)$，$\eta = 1$，且$B = p(y)/\eta(x)$。
• 该结果为哈密顿关于三维中具有$\mathsf{S}^1$对称性的坍塌稳态孤立子连续族存在的猜想提供了强有力证据。