[论文解读] Non-negative curvature obstructions in cohomogeneity one and the Kervaire spheres

Karsten Grove, Burkhard Wilking+2 more|ArXiv.org|Jan 31, 2006

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

一句话总结

该论文证明了某些同调维数为一的流形，包括当 $ n \geq 4 $、$ d \geq 3 $ 时的 Brieskorn 流形 $ M^{2n-1}_d $，尽管其奇异轨道的余维数为二，却无法拥有不变的非负截面曲率度量。通过表示论障碍与齐性丛上的曲率分析，作者证明当稳定化表示在法向量球面上不作用传递时，非负曲率将不成立，从而反驳了一个猜想：所有同调维数为一的流形都拥有此类度量。

ABSTRACT

In contrast to the homogeneous case, we show that there are compact cohomogeneity one manifolds, that do not support invariant metrics of non-negative sectional curvature. In fact we exhibit infinite families of such manifolds including the exotic Kervaire spheres. Such examples exist for any codimension of the singular orbits except for the case where both are equal to two, where existence of non-negatively curved metrics is known.

研究动机与目标

• 调查是否所有同调维数为一的流形都如先前工作所猜想的那样，拥有不变的非负截面曲率度量。
• 识别同调维数为一作用中非负曲率的全局障碍，特别是当奇异轨道的余维数大于二时。
• 构造无限多族同调维数为一的流形，其无法支持不变的非负曲率度量。
• 解决 Kervaire 球面作为 Brieskorn 流形实现的情形，证明当 $ n \geq 4 $、$ d \geq 3 $ 时，它们不具有此类度量。

提出的方法

• 分析 $ \mathrm{SO}(2) \times \mathrm{SO}(n) $ 在 Brieskorn 流形 $ M^{2n-1}_d \subset \mathbb{C}^{n+1} $ 上的同调维数为一度量作用，其定义为 $ z_0^d + \sum_{i=1}^n z_i^2 = 0 $ 且 $ \sum |z_i|^2 = 1 $。
• 利用轨道空间 $[0, t_0]$ 建模度量结构，并通过稳定化表示研究法丛几何。
• 将曲率条件应用于法丛，推导出非负曲率蕴含主轨道上范数函数 $ h(t) $ 的凹性，其中 $ h(0) = 1 $、$ h'(0) = 0 $ 且 $ h(t) \leq 1 $。
• 引入由交换生成元张成的二维平面 $ A = X_1 + Y_2 $、$ B = X_2 + Y_1 $，以计算黎曼曲率张量 $ R(A,B,B,A) $，从而导出涉及 $ \delta = 1 - h^2 $ 与内积 $ Q([Y_2,X_2] - [X_1,Y_1], P_t^{-1}([Y_2,X_2] - [X_1,Y_1])) $ 的曲率不等式。
• 运用表示论证明：若 $ \mathsf{K}'/\mathsf{H}' $ 在 $ \mathbb{S}^{k-1} $ 上不作用传递，则 $ \delta(t) $ 无法满足所需的曲率界限，从而导致矛盾。
• 通过 $ \mathrm{SO}(\ell) $ 在次数 $ m \geq 2 $ 的调和多项式上的不可约表示 $ \mu_m $ 构造无限多族同调维数为一的流形，证明当 $ \ell \geq 3 $ 时，它们无法支持非负曲率。

实验结果

研究问题

• RQ1 所有同调维数为一的流形是否如 [GZ1] 中所猜想的那样，都拥有不变的非负截面曲率度量？
• RQ2 当 $ n \geq 4 $、$ d \geq 3 $ 时，Brieskorn 流形 $ M^{2n-1}_d $ 是否能支持不变的非负曲率度量？
• RQ3 在同调维数为一的流形中，奇异轨道余维数 $ \geq 3 $ 时，哪些全局几何障碍会阻止非负曲率？
• RQ4 在何种稳定化表示条件下，同调维数为一作用中的非负曲率会失效？

主要发现

• 定理 A 证明了当 $ n \geq 4 $ 且 $ d \geq 3 $ 时，Brieskorn 流形 $ M^{2n-1}_d $ 不具有 $ \mathrm{SO}(2) \times \mathrm{SO}(n) $-不变的非负截面曲率度量。
• 当 $ n = 4 $ 时，$ \mathrm{SU}(2) $ 子群在 $ M^7_d $ 上自由作用，商为 $ \mathbb{S}^4 $，但原流形仍无法支持非负曲率。
• 定理 B 证明了对任意满足 $ (\ell_-, \ell_+) \neq (2,2) $ 且 $ \ell_\pm \geq 2 $ 的对 $ (\ell_-, \ell_+) $，存在无限多族同调维数为一的流形，其奇异轨道余维数为 $ \ell_\pm $，且无法支持不变的非负曲率度量。
• 推论 3.4 对所有 $ \ell \geq 3 $、$ m \geq 2 $ 构造了此类障碍，利用 $ \mathrm{SO}(\ell) $ 在次数 $ m $ 调和多项式上的表示 $ \mu_m $，得到余维数 $ \geq 3 $ 的无限多族。
• 障碍出现在稳定化表示在法向量球面上不作用传递时，通过函数 $ \delta(t) = 1 - h(t)^2 $ 及其导数导致曲率界限矛盾。
• 结果表明，非负曲率障碍是全局性的：每个部分（奇异轨道上的圆盘丛）本身都具有非负曲率，但整个流形却不具有。