[论文解读] Nonnegatively curved 5-manifolds with non-abelian symmetry

Fábio Luiz Borges Simas|arXiv (Cornell University)|Dec 20, 2012

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

一句话总结

该论文分类了在 SO(3) 或 SU(2) 作用下有效且支持不变非负曲率度量的五维单连通流形。通过轨道空间分析、双商流形构造及曲率约束，证明此类流形在等变微分同胚意义下仅可能为 S⁵、S³×S²、吴流形 W=SU(3)/SO(3)，或特定双商流形 Nₘ,ₙˡ；对于正曲率情形，仅 S⁵ 搭配线性作用是可能的，而 W 及其他 Nₘ,ₙˡ 因固定点集维数或同伦障碍被排除。

ABSTRACT

We classify compact simply-connected 5-dimensional manifolds which admit a metric of nonnegative curvature with a connected non-abelian group acting by isometries. We show that they are diffeomorphic to either S^5, S^3 x S^2, the nontrivial S^3-bundle over S^2 or the Wu-manifold, SU(3)/SO(3). This result is a consequence of our equivariant classification of all SO(3) and SU(2)-actions on compact simply-connected 5-manifolds. In the case of positive curvature we obtain a partial classification.

研究动机与目标

• 对 admit 一个连通非阿贝尔李群（SO(3) 或 SU(2)）作用并支持不变非负曲率度量的五维单连通流形进行分类。
• 在相同对称性假设下，确定哪些流形可支持正曲率度量。
• 利用轨道空间几何与同伦数据，对这些流形在等变微分同胚意义下进行完整分类。
• 分析固定点集与同伦群在阻碍正曲率中的作用，特别是通过 Frankel 引理与 Gauss-Bonnet 论证。
• 构造并表征一族双商流形 Nₘ,ₙˡ，作为具有非负曲率的非阿贝尔群作用于五维流形的模型空间。

提出的方法

• 通过分析其微分同胚类型，对所有 admit 非阿贝尔李群作用的单连通五维流形进行分类：S⁵、S³×S²、S³ 上的非平凡丛、S³×S² 的连通和，以及吴流形 W 和布里埃斯科恩流形 B 的连通和。
• 通过自由 S¹ 作用 (p, (z,w)) ↦ (p xˡ, (xᵐ z, xⁿ w)) 构造双商流形 Nₘ,ₙˡ = (SU(2) × S³)/S¹，其中 x ∈ S¹ ⊂ SU(2)，并证明当 m+n 为偶数时，其微分同胚于 S³×S²；否则微分同胚于 S³ ×̃ S²。
• 在 Nₘ,ₙˡ 上定义 SO(3) 或 SU(2) 作用，通过 SU(2) 因子上的左乘法实现，并计算同伦类型：Zₘ、Zₙ、Zgcd(m,n) 或 SO(2)，当 gcd(m,n) 为偶数时，无效核为 Z₂。
• 应用 O’Neill 公式，证明 S³×S³ 上的标准乘积度量在 Nₘ,ₙˡ 上诱导出非负曲率的不变度量。
• 利用轨道空间几何：商流形 M/G 是具有边界的三维轨道丛，其曲率性质（非负或正）通过 O’Neill 公式继承。
• 应用 Soul 定理与 Gauss-Bonnet 公式，约束孤立固定点的数量：非负曲率情形 ≤3 个，正曲率情形 ≤2 个，依据轨道空间多边形中的角度和。

实验结果

研究问题

• RQ1 哪些单连通五维流形 admit 有效 SO(3) 或 SU(2) 作用并支持不变非负曲率度量？
• RQ2 在相同对称性条件下，哪些流形可支持正曲率度量？
• RQ3 此类作用下轨道空间 M/G 的结构如何？其曲率如何约束可能的流形？
• RQ4 同伦群与固定点集如何通过 Frankel 引理阻碍正曲率？
• RQ5 哪些双商流形 Nₘ,ₙˡ 是正曲率的候选者？m, n, l 需满足何种条件？

主要发现

• 唯一 admit 有效 SO(3) 或 SU(2) 作用并支持不变非负曲率度量的单连通五维流形为 S⁵、S³×S²、吴流形 W=SU(3)/SO(3)，以及双商流形 Nₘ,ₙˡ。
• 对于正曲率，仅 S⁵ 搭配线性 SO(3) 或 SU(2) 作用可支持此类度量；其余候选者，包括 W 和 gcd(m,n)≥3 的 Nₘ,ₙˡ，均被排除。
• W 上的作用恰好有三个孤立固定点，违反了在具有此类对称性的正曲率流形中最多允许两个固定点的上界。
• 当 gcd(m,n)≥3 时，双商流形 Nₘ,ₙˡ 的主同伦群 Zgcd(m,n) 的固定点集维数为 3，违反了正曲率流形中 Frankel 引理的条件。
• N₀,₀¹ 的固定点集为两个 3-球面的不相交并，同样违反了 Frankel 引理中关于正曲率情形的维数和约束。
• 对于满足 gcd(m,n)=1 或 2 的固定 m,n，仅三个 Nₘ,ₙˡ 是正曲率的候选者，此结论由等变性与同伦分析得出。