[论文解读] $\mathsf S^1$-actions on $4$-manifolds and fixed point homogeneous manifolds of nonnegative curvature

Wolfgang Spindeler|arXiv (Cornell University)|Oct 6, 2015

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

一句话总结

本文通过构造一系列在商空间 $M/\mathsf{S}^1$ 上的正曲率度量，使其在 Gromov-Hausdorff 拓扑下收敛到奇异商度量，从而为具有圆对称性的单连通、非负曲率 4-流形的等变分类提供了无需依赖庞加莱猜想的几何证明。此外，本文建立了不动点齐次流形的双圆盘丛分解，进而证明了闭的、单连通的、非负曲率的环面流形是有理椭球的。

ABSTRACT

This is a slightly altered version of the authors thesis from 2014. In the first main part we show that the quotient space of a compact, simply connected and nonnegatively curved Riemannian 4-manifold by an effective, isometric circle-action admits an approximation in Gromov-Hausdorff topology by smooth, positively curved Riemannian 3-manifolds. In the second main part we show that a compact, nonnegatively curved and fixed point homogeneous manifold is diffeomorphic to the unit normal bundles of two smooth closed submanifolds glued together along their boundaries. As a corollary we show that a compact and simply connected torus manifold admitting an invariant metric of nonnegative curvature is rationally elliptic.

研究动机与目标

• 为具有 $\mathsf{S}^1$-对称性的非负曲率、单连通 4-流形的等变分类提供一个几何证明，避免依赖庞加莱猜想。
• 在非负曲率与等距群作用下，建立不动点齐次流形的双圆盘丛分解。
• 利用分解结果，证明闭的、单连通的、非负曲率的环面流形是有理椭球的。
• 通过 Ricci 流与度量逼近，解析轨道空间 $M/\mathsf{S}^1$ 的奇点，实现向奇异商度量的 Gromov-Hausdorff 收敛。

提出的方法

• 构造商空间 $M/\mathsf{S}^1$ 上的一系列光滑、正曲率的黎曼度量，使其在 Gromov-Hausdorff 拓扑下收敛到奇异商度量。
• 对奇异轨道的局部邻域（包括不动点周围的球与奇异集的管状邻域）应用解析技术。
• 在解析后的空间 $M^*$ 上应用 Ricci 流，构造一族具有正曲率的度量，使其收敛到原始商度量。
• 利用截面表示与环面作用分析不动点分支的拓扑结构与法丛。
• 运用 van Kampen 定理与纤维丛的同伦正合列推导不动点分支的单连通性。
• 对环面秩进行归纳，证明非负曲率流形上环面作用的不动点分支是单连通的，且本身也是环面流形。

实验结果

研究问题

• RQ1 能否在不引用庞加莱猜想的前提下，证明具有 $\mathsf{S}^1$-对称性的非负曲率、单连通 4-流形的等变分类？
• RQ2 在非负曲率与等距群作用下，不动点齐次流形的拓扑结构是什么？
• RQ3 如何通过几何方法解析轨道空间 $M/\mathsf{S}^1$ 的奇点，以恢复曲率性质？
• RQ4 在不动点齐次情形下，不动点集的拓扑与流形整体结构之间存在何种关系？
• RQ5 闭的、单连通的、非负曲率的环面流形是否为有理椭球？

主要发现

• 存在一系列在 $M/\mathsf{S}^1$ 上的光滑、正曲率度量，其在 Gromov-Hausdorff 意义下收敛到奇异商度量，从而提供了无需庞加莱猜想的分类几何证明。
• 沿奇异闭曲线的 $M/\mathsf{S}^1$ 的二重分支覆盖也允许存在一系列光滑、正曲率度量，收敛到奇异度量。
• 在非负曲率与等距作用下，不动点齐次流形可分解为关于最大维不动点分支与另一光滑 $\mathsf{G}$-不变子流形的双圆盘丛。
• 此类分解中的最大维不动点分支是单连通的，并继承了非负曲率。
• 该不动点分支被证明是非负曲率的环面流形，从而可对结构定理进行归纳应用。
• 因此，任意闭的、单连通的、非负曲率的环面流形都是有理椭球的，因其有理同伦群为有限维。