[论文解读] Biquotients with singly generated rational cohomology

Vitali Kapovitch, Wolfgang Ziller|arXiv (Cornell University)|Oct 16, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 5

一句话总结

本文分类了有理系数上单生成的上同调环的双商空间，证明唯一能作为双商空间实现的同胚球面是 Gromoll-Meyer 球面 $Sp(2)/\!/Sp(1)$。通过有理上同调、庞特里亚金类以及 Wall 的几乎微分同胚分类，作者表明此类双商空间要么是紧致的秩一对称空间，要么是 15 个特定的齐次或双商空间之一，其中 Gromoll-Meyer 球面是唯一的同胚球面。

ABSTRACT

We classify all biquotients whose rational cohomology rings are generated by one element. As a consequence we show that the Gromoll-Meyer 7-sphere is the only exotic sphere which can be written as a biquotient.

研究动机与目标

• 分类所有有理上同调环由单一元素生成的紧致、单连通双商空间。
• 确定哪些同胚球面可以实现为双商空间，解决微分几何中长期存在的问题。
• 将经典齐次情形下有理球面与射影空间的分类推广至更广泛的双商空间设定。
• 区分具有同构有理上同调但不同拓扑不变量（如庞特里亚金类和 Eells-Kuiper 不变量）的双商空间。

提出的方法

• 利用有理上同调环结构对单生成的双商空间进行分类，利用此类环由次数和挠子群决定的事实。
• 应用 Wall 对 5-连通 11-流形的几乎微分同胚分类，使用 linking 形式、二次型以及到 $\pi_4(SO)$ 的同态等不变量。
• 计算庞特里亚金类以区分具有相同有理上同调的双商空间，如 $\mathbb{CP}^{2n-1}$ 类型空间。
• 利用 Eells-Kuiper 不变量和 $PL/\mathrm{O}$-障碍理论分析 $H_5 \cong \mathbb{Z}_2$ 的 11-流形的微分同胚类型，表明最多存在 992 种不同的光滑结构。
• 利用 $G_2$ 和 $Sp(2)$ 中子群的指数，通过诱导映射在 $\pi_3$ 上的作用对双商构造中的嵌入和作用进行分类。
• 通过上同调环和整上同调群比较双商空间与齐次空间，表明尽管同调相似，仍可通过特征类加以区分。

实验结果

研究问题

• RQ1 哪些双商空间具有由单一元素生成的有理上同调环？
• RQ2 除了 Gromoll-Meyer 球面外，是否还有其他同胚球面可以实现为双商空间？
• RQ3 具有同构有理上同调的双商空间在拓扑上如何不同？哪些不变量可将它们区分开来？
• RQ4 具有 $H_5 \cong \mathbb{Z}_2$ 和 $H_{11} \cong \mathbb{Z}$ 的单连通 11-流形的几乎微分同胚类型是什么？
• RQ5 双商空间 $G_2/\!/SU(2)$ 和 $SO(7)/SO(5)$ 是否微分同胚，还是它们之间相差一个同伦 11-球面？

主要发现

• 唯一为同胚球面的双商空间是 Gromoll-Meyer 球面 $Sp(2)/\!/Sp(1)$，其与 $S^7$ 同胚但不微分同胚于标准球面。
• 双商空间 $G_2/\!/SU(2)$ 同胚于 $T^1S^6 \simeq SO(7)/SO(5)$，但其微分同胚类型尚未确定，可能与 992 个同伦 11-球面之一的连通和不同。
• 空间 $SO(2n+1)/(SO(2n-1)\times SO(2))$ 和 $\triangle SO(2)\backslash SO(2n+1)/SO(2n-1)$ 具有同构的有理上同调环和整上同调群，与 $\mathbb{CP}^{2n-1}$ 相同，但其庞特里亚金类不同。
• 双商空间 $\triangle SU(2)\backslash SO(4n+1)/SO(4n-1)$ 具有与 $\mathbb{HP}^{2n-1}$ 相同的整上同调，但环结构不同。
• 恰好有 15 个不同的双商空间（11 个齐次和 4 个非齐次）其有理上同调由单一元素生成，包括 Gromoll-Meyer 球面和 $G_2/\!/SU(2)$。
• 具有 $H_5 \cong \mathbb{Z}_2$ 的 11-流形的定向几乎微分同胚类型由 Eells-Kuiper 不变量决定，最多存在 992 种不同的光滑结构。