[论文解读] Highly connected 7-manifolds and non-negative curvature

Sebastian Goette, Martin Kerin+1 more|arXiv (Cornell University)|May 16, 2017

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

一句话总结

本文通过十维同余维一流形的商构造，构建了一个六参数族高度连通的七维流形，其上存在 SO(3)-不变的非负截面曲率度量。该文显式计算了 Eells-Kuiper 不变量，证明了所有奇异七球面均 admits 这类度量——解决了微分几何中关于奇异球面上非负曲率的长期悬而未决问题。

ABSTRACT

In this article, a six-parameter family of highly connected 7-manifolds which admit an SO(3)-invariant metric of non-negative sectional curvature is constructed and the Eells-Kuiper invariant of each is computed. In particular, it follows that all exotic spheres in dimension 7 admit an SO(3)-invariant metric of non-negative curvature.

研究动机与目标

• 构建一个六参数族七维高度连通流形，其上具有 SO(3)-不变的非负截面曲率度量。
• 通过计算 Eells-Kuiper 不变量，确定这些流形的微分同胚类型。
• 证明所有奇异七球面均 admits 一种非负截面曲率度量，推广了关于双商和同余维一作用的先前结果。
• 将 Grove-Ziller 对 S³-丛 over S⁴ 上非负曲率度量的构造推广至更广泛的七维流形类。
• 通过 Eells-Kuiper 不变量与 q-不变量，对这些流形的微分同胚类型提供完整分类。

提出的方法

• 将十维同余维一流形 P¹⁰_{a,b} 构造为 S⁴ 上的主 (S³×S³)-丛，由六个整数 a₁,a₂,a₃,b₁,b₂,b₃ 参数化。
• 施加条件 gcd(a₁,a₂±a₃)=gcd(b₁,b₂±b₃)=1 且 aᵢ,bᵢ≡1 mod 4，以确保 P¹⁰_{a,b} 上存在自由等距的 S³ 作用。
• 形成商流形 M⁷_{a,b} = P¹⁰_{a,b}/S³，并赋予其诱导度量，从而得到具有 SO(3)-不变非负曲率的七维流形。
• 利用涉及奇数符号算子的示性数与小特征值贡献的绝热极限公式，计算 Eells-Kuiper 不变量。
• 利用 Leray-Serre 谱序列研究 Seifert 纤维丛 π: M⁷_{a,b} → B⁴_{a,b}，以计算极小特征值的贡献。
• 推导出 Eells-Kuiper 不变量的闭式表达式：μ(M⁷_{a,b}) = (|n| − a₁²b₁²m²)/(2⁵·7·n) − D(a) + D(b) mod 1，其中 n = 1/8·由 aᵢ², bᵢ² 构成的 2×2 矩阵的行列式。

实验结果

研究问题

• RQ1 所有奇异七球面是否均可装备 SO(3)-不变的非负截面曲率度量？
• RQ2 作为十维同余维一流形商的七维高度连通流形的微分同胚类型为何？
• RQ3 此类流形的 Eells-Kuiper 不变量如何依赖于整数参数 aᵢ, bᵢ？
• RQ4 该构造能否推广至 S³-丛 over S⁴ 之外，以包含具有相同曲率与对称性质的非平凡七维流形？
• RQ5 Eells-Kuiper 不变量的精确公式如何用参数 a 和 b 表示，且其如何区分微分同胚类型？

主要发现

• 所有奇异七球面均 admits SO(3)-不变的黎曼度量，且其截面曲率为非负，证实了非负曲率几何中一个重大猜想。
• 所构造七维流形的 Eells-Kuiper 不变量为 μ(M⁷_{a,b}) = (|n| − a₁²b₁²m²)/(2⁵·7·n) − D(a) + D(b) mod 1，其中 D(a) 与 D(b) 通过涉及 ϱ(x) = 1（若 x≡1 mod 3），−1（若 x≡2 mod 3）的 Ramanujan 和定义。
• 当 n ≠ 0 时，上同调满足 H⁴(M⁷_{a,b};ℤ) = ℤ_|n|；当 n = 0 时，H³ 与 H⁴ 均为 ℤ，表明其拓扑复杂度取决于行列式参数 n。
• 当 a₁ = b₁ = 1 时，该构造包含所有 Milnor 球面作为特例，此时所得流形微分同胚于 S³-丛 over S⁴。
• Eells-Kuiper 不变量的公式属于 ℚ/ℤ，且分母整除 28，确保其可区分所有 28 个同伦七球面的定向微分同胚类型。
• 极小特征值对 Eells-Kuiper 不变量的贡献恰好为 |n|/(2⁵·7·n)，由流形上 dξ 的纤维积分导出，其中 ξ 是一个具有非零纤维积分的 3-形式。