[论文解读] Cohomology rings of certain seven dimensional manifolds

Christine Escher, Shari K. Ultman|ArXiv.org|Oct 11, 2008

Commutative Algebra and Its Applications参考文献 13被引用 3

一句话总结

本文利用双圆盘丛结构与上同调的长正合列，计算了四类七维单连通同余维一流形在 $S^3 \times S^3$-作用下的积分上同调环。关键结果为：$N_{(p_-,q_-)(p_+,q_+)}$ 与 $O_{(p,q:m)}$ 家族的上同调环属于 $E_r$ 型，且给出了显式的生成元与关系；而 $L$ 与 $M$ 家族的环结构则同构于已知流形（如 Eschenburg 空间与 $S^3$-丛 over $S^4$）的上同调环。这些环通过拓扑不变量区分了微分同胚类型。

ABSTRACT

We calculate the cohomology rings of a collection of seven dimensional manifolds supporting an S^3 x S^3-action with one dimensional orbit space. These manifolds are of interest to differential geometers studying non-negative and positive sectional curvature. From this collection, we identify several families of manifolds for which there exist well-known topological invariants distinguishing homeomorphism and diffeomorphism types.

研究动机与目标

• 确定四类七维单连通同余维一流形在 $S^3 \times S^3$-作用下的积分上同调环。
• 识别能区分这些家族内微分同胚类型的拓扑不变量。
• 通过计算完整的环结构，扩展先前关于上同调群的研究结果，特别是对 $N$ 与 $O$ 家族中此前未知环结构的计算。
• 确立某些流形的上同调环属于 $E_r$ 型，从而可利用拓扑不变量进行微分同胚分类。

提出的方法

• 使用双圆盘丛构造 $M = D(G/K_-) \cup_{\text{id}} D(G/K_+)$，其中 $G = S^3 \times S^3$，以拓扑方式建模流形。
• 对对 $(M, G/K_\pm)$ 应用上同调的长正合列，以计算上同调群及生成元之间的关系。
• 运用引理 2.2，验证在限制同态的满射性与像条件成立时，上同调环为 $E_r$ 型。
• 分析同伦群 $H \subseteq K_- \subseteq G$ 与 $H \subseteq K_+ \subseteq G$，以确定 $G/K_\pm$ 与 $G/H$ 的结构，其为球面或 lens 空间。
• 通过 $H^2$、$H^4$、$H^5$ 与 $H^7$ 中的生成元计算环结构，其中如 $xy$ 的乘积生成 $H^7$。
• 根据参数约束（如 $p_\pm, q_\pm$ 的奇偶性及 $m=1$ 或 $m=2$）区分情形，以处理不同的上同调群结构。

实验结果

研究问题

• RQ1 七维流形 $N_{(p_-,q_-)(p_+,q_+)}$ 在 $S^3 \times S^3$-作用下的积分上同调环结构为何？
• RQ2 当 $m=1$ 与 $m=2$ 时，$O_{(p,q:m)}$ 家族的上同调环有何不同？其环类型为何？
• RQ3 是否能完全描述 $L_{(p_-,q_-)(p_+,q_+)}$ 家族的上同调环，特别是当 $p_+$ 为奇数或偶数时？
• RQ4 这些家族的上同调环是否支持能区分微分同胚类型的拓扑不变量？
• RQ5 $M_{(p_-,q_-)(p_+,q_+)}$ 家族的上同调环是否同构于 $S^3$-丛 over $S^4$ 的上同调环，如先前工作所暗示？

主要发现

• 当 $r = |p_+^2 q_-^2 - p_-^2 q_+^2|$ 为奇数时，$N_{(p_-,q_-)(p_+,q_+)}$ 的上同调环同构于 Eschenburg 空间的上同调环，其中 $H^2(N) = \mathbb{Z} \cdot x$，$H^5(N) = \mathbb{Z} \cdot y$，且 $xy$ 生成 $H^7(N) \cong \mathbb{Z}$。
• 对于 $O_{(p,q:m)}$，当 $|p|$ 与 $|q|$ 不全为 1 时，其上同调环为 $E_r$ 型，其中 $r = |p^2 - q^2|$，且 $H^2(O) = \mathbb{Z} \cdot x$，$H^5(O) = \mathbb{Z} \cdot y$，$xy$ 生成 $H^7(O) \cong \mathbb{Z}$。
• 当 $L$ 家族中 $p_+$ 为奇数时，$H^4(L) \cong \mathbb{Z}_r$，其中 $r = \frac{1}{4}|p_+^2 q_-^2 - p_-^2 q_+^2|$，且环为 $E_r$ 型，$r$ 为偶数。
• 当 $L$ 家族中 $p_+$ 为偶数时，$H^3(L) \cong \mathbb{Z}_2$，$H^5(L) \cong \mathbb{Z} \oplus \mathbb{Z}_2$，$H^4(L) \cong \mathbb{Z}_r$，其中 $r = |p_+^2 q_-^2 - p_-^2 q_+^2|$ 为奇数，环结构由 $x^2$ 生成 $H^4(L)$ 且 $xy$ 生成 $H^7(L)$ 确定。
• $M_{(p_-,q_-)(p_+,q_+)}$ 家族的上同调环同构于 $S^3$-丛 over $S^4$ 的上同调环，其中 $H^4(M) \cong \mathbb{Z}_r$，$r = \frac{1}{8}|p_+^2 q_-^2 - p_-^2 q_+^2|$，且 $y$ 与 $z$ 分别生成 $H^4(M)$ 与 $H^7(M)$。
• 对所有家族，上同调环均为 $E_r$ 型；当 $r$ 为奇数时，环结构支持可通过拓扑方法计算的微分同胚不变量，如文献 [KS] 所示。