[论文解读] Positively curved metrics on symmetric spaces with large symmetry rank

Lee Kennard|arXiv (Cornell University)|Sep 20, 2012

Geometric Analysis and Curvature Flows参考文献 12被引用 3

一句话总结

本文建立了对对称空间上存在正曲率黎曼度量的上同调障碍，表明此类流形在对称秩较大时，其有理上同调必须在某一程度内呈4-周期性。关键结果是：若一个单连通、正曲率流形的对称秩至少为 $2\log_2 n + \frac{c}{2} - 1$，则其有理上同调在度数 $c$ 以内呈4-周期性，这极大地限制了可能具有此类度量的对称空间类型——除球面与秩一或低秩格拉斯曼流形的乘积外，大多数秩为2或更高的对称空间均被排除。

ABSTRACT

We prove an obstruction at the level of rational cohomology in small degrees to the existence of positively curved metrics with large symmetry rank. The symmetry rank bound is logarithmic in the dimension of the manifold. As an application, we provide evidence for a generalized conjecture of Hopf that says that no symmetric space of rank at least two admits a metric with positive curvature.

研究动机与目标

• 研究秩 ≥2 的对称空间是否可 admits 正曲率度量，以拓展霍普夫猜想。
• 基于大对称秩流形的小度数有理上同调，建立拓扑障碍。
• 通过限制正曲率对称空间可能的有理上同调类型，为广义霍普夫猜想提供证据。
• 分析高对称秩对正曲率流形的贝蒂数与有理殆射性的影响。
• 通过对称秩约束将结果与博特定理和陈氏猜想联系起来。

提出的方法

• 将度数 $c$ 以内的4-周期有理上同调定义为关键拓扑条件：存在类 $x \in H^4(M;\mathbb{Q})$，使得乘以 $x$ 在度数 $0 < i < c-4$ 内诱导同构。
• 利用对称秩条件 $\geq 2\log_2 n + \frac{c}{2} - 1$，通过等变上同调与谱序列技术推导出上同调障碍。
• 应用库恩斯泰因定理与维数计数论证，在周期性假设下比较流形乘积中的贝蒂数。
• 利用对称空间及其有理上同调环的分类结果，约束满足周期性条件的可能对称空间类型。
• 利用上同调中乘法映射的单射性与满射性，证明除第一个不可约因子外，其余不可约因子必为球面。
• 将结果与已知例子（如 $\mathbb{C}P^n$、$\mathbb{H}P^n$ 和格拉斯曼流形）比较，表明仅特定乘积可满足该上同调条件。

实验结果

研究问题

• RQ1 在高对称秩下，秩 ≥2 的对称空间是否可 admits 正曲率度量？
• RQ2 若一正曲率流形的对称秩至少为 $2\log_2 n + \frac{c}{2} - 1$，其必须满足何种有理上同调条件？
• RQ3 在如此对称秩约束下，哪些对称空间可具有在度数 $c$ 以内的4-周期有理上同调？
• RQ4 在高对称秩下，有理上同调的4-周期性条件是否可排除形如 $S^k \times S^{n-k}$（其中 $1 < k < 16$）的乘积？
• RQ5 高对称秩在多大程度上意味着正曲率流形中奇数贝蒂数的消失？

主要发现

• 若一闭合、单连通、正曲率的 $n$-维流形的对称秩至少为 $2\log_2 n + \frac{c}{2} - 1$，则其有理上同调在度数 $c$ 以内呈4-周期性。
• 当 $c \geq 16$ 时，任何具有此类流形有理上同调的对称空间 $N$ 必须是球面与一个秩一对称空间或格拉斯曼流形 $SO(p+q)/SO(p)\times SO(q)$（其中 $p \in \{2,3\}$）的乘积。
• 对于 $1 < k < 16$ 的 $S^k \times S^{n-k}$，其有理上同调无法满足高对称秩下所需的4-周期性条件，因此此类乘积无法 admits 具有大对称秩的正曲率度量。
• 若 $n \equiv 0 \mod 4$，则 $M$ 在小于 $c$ 的度数内的有理上同调与 $S^n$、$\mathbb{C}P^{n/2}$ 或 $\mathbb{H}P^{n/4}$ 一致，这意味着 $b_{2i+1}(M) = 0$ 对所有 $2i+1 < c$ 成立。
• 此类流形的贝蒂数 $b_4(M)$ 与 $b_8(M)$ 至多为1，这排除了在高对称秩下 $\mathbb{C}P^n$、$\mathbb{H}P^n$ 或 $\mathrm{Ca}P^2$ 的连通和。
• 对称秩为 $2\log_2(4n+1)$ 的正曲率流形的基本群同构于有理上同调球面的基本群，支持陈氏猜想的修正版本。