[论文解读] Cohomological rigidity of real Bott manifolds

Yoshinobu Kamishima, Mikiya Masuda|Osaka City University (Osaka City University)|Jul 26, 2008

Advanced Combinatorial Mathematics参考文献 11被引用 7

一句话总结

本文通过证明两个实 Bott 流形当且仅当其具有 ℤ/2 系数的上同调环同构时微分同胚，确立了实 Bott 流形的上同调刚性。证明依赖于通过矩阵不变量分析基本群并应用关于平坦流形的 Bieberbach 定理，同时表明在初等阿贝尔 2-群作用下不变的平坦黎曼度量，可将实 Bott 流形与其他实 toric 流形区分开来。

ABSTRACT

A real Bott manifold is the total space of iterated RP^1 bundles starting with a point, where each RP^1 bundle is projectivization of a Whitney sum of two real line bundles. We prove that two real Bott manifolds are diffeomorphic if their cohomology rings with Z/2 coefficients are isomorphic. A real Bott manifold is a real toric manifold and admits a flat riemannian metric invariant under the natural action of an elementary abelian 2-group. We also prove that the converse is true, namely a real toric manifold which admits a flat riemannian metric invariant under the action of an elementary abelian 2-group is a real Bott manifold.

研究动机与目标

• 使用 ℤ/2 上同调环解决实 Bott 流形的上同调刚性问题。
• 通过平坦黎曼度量和群作用，建立实 Bott 流形在实 toric 流形中的刻画。
• 通过基本群同构和 Bieberbach 定理，将上同调环同构与微分同胚联系起来。
• 在维度 4 以内对实 Bott 流形进行分类，并将其与立方体上的小覆盖联系起来。

提出的方法

• 使用实 Bott 层的典范丛构造来描述 ℤ/2 系数上同调环，方法是利用 Stiefel-Whitney 类。
• 通过编码层中线丛 Whitney 和数据的矩阵来表示每个实 Bott 流形。
• 以矩阵等价类的形式推导出上同调环同构的必要与充分条件。
• 利用群扩张理论，从上同调环同构构造实 Bott 流形基本群之间的单同态。
• 通过分析群上同调并应用 Hochschild-Serre 族谱序列，证明该单同态是同构。
• 应用 Bieberbach 定理，得出平坦流形的基本群同构意味着微分同胚的结论。

实验结果

研究问题

• RQ1 若两个实 Bott 流形具有同构的 ℤ/2 系数上同调环，它们是否微分同胚？
• RQ2 哪些实 toric 流形允许在初等阿贝尔 2-群作用下不变的平坦黎曼度量？
• RQ3 ℤ/2 系数的上同调环能否对实 Bott 流形进行微分同胚分类？
• RQ4 在维度 4 以内，实 Bott 流形的微分同胚类有多少个？
• RQ5 每个 n-维立方体上的小覆盖是否都同胚于一个 n-维实 Bott 流形？

主要发现

• 两个实 Bott 流形微分同胚当且仅当它们的 ℤ/2 系数上同调环作为分次环同构。
• 实 Bott 流形的基本群完全由其 ℤ/2 系数上同调环决定。
• 若一个实 toric 流形允许在秩为 n 的初等阿贝尔 2-群作用下不变的平坦黎曼度量，则它必然是一个实 Bott 流形。
• 在维度 4 时，实 Bott 流形恰好有 12 个微分同胚类。
• n-维立方体上的小覆盖同胚于 n-维实 Bott 流形，且在维度 4 时，其同胚类数量为 12。
• 对于 (ℤ/2)^n 在 ℤ 上的非平凡作用，ℤ/2 系数的上同调群 H² 同构于 (ℤ/2)^{n-1}，该结果在证明基本群同构中起关键作用。