[论文解读] Integral cohomology groups of real toric manifolds and small covers

Li Cai, Suyoung Choi|arXiv (Cornell University)|Apr 24, 2016

Advanced Combinatorial Mathematics参考文献 20被引用 15

一句话总结

本文通过纯壳化单纯复形 $K$ 的排列，利用由其导出的 PL 单元分解，计算了实 toric流形和小覆盖的整上同调群。通过分析单元上链复形并显式计算 Bockstein 族谱序列，作者确定了 $H^*(Y;\mathbb{Z})$ 的加法结构，对于一个具体例子，在第 0 至第 3 个度数中分别揭示了 $\mathbb{Z}$、$\mathbb{Z} \oplus \mathbb{Z}$、$\mathbb{Z} \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2$ 和 $\mathbb{Z}_2$。

ABSTRACT

For a simplicial complex $K$ with $m$ vertices, there is a canonical $\mathbb Z_2^m$-space known as a real moment angle complex $\mathbb R \mathcal Z_K$. In this paper, we consider the quotient spaces $Y=\mathbb R \mathcal Z_K / \mathbb Z_2^{k}$, where $K$ is a pure shellable complex and $\mathbb Z_2^k \subset \mathbb Z_2^m$ is a maximal free action on $\mathbb R \mathcal Z_K$. A typical example of such spaces is a small cover, where a small cover is known as a topological analog of a real toric manifold. We compute the integral cohomology group of $Y$ by using the PL cell decomposition obtained from a shelling of $K$. In addition, we compute the Bockstein spectral sequence of $Y$ explicitly.

研究动机与目标

• 计算小覆盖和实 toric 流形的整上同调群，它们是复 toric 品种的拓扑类比。
• 解决实 toric 品种的整上同调环缺乏完整描述的问题，特别是 $2^k$-挠性（$k > 1$）的情况。
• 提供一种系统方法，利用 PL 单元分解和排列，计算 $\mathbb{Z}$ 系数的上同调。
• 显式计算此类空间的 Bockstein 族谱序列，以从 $\mathbb{Z}_2$-上同调恢复整上同调。
• 建立子复形 $K_\omega$ 上的单纯上同调与商空间 $Y$ 上的单元上同调之间的联系。

提出的方法

• 利用商空间 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ 的 PL 单元分解，其中 $\mathbb{R}\mathcal{Z}_K$ 是实 moment angle 复形，且 $\mathbb{Z}_2^k$ 作用自由。
• 利用纯壳化单纯复形 $K$ 的排列，构造子复形的正规扩展序列并定义临界单纯形。
• 通过转移映射构造 $Y$ 的定向单元链复形，并对其对偶化以获得上链复形。
• 应用单纯收缩映射 $\rho$ 计算临界单元上的单元上边界 $\overline{d}'$，并将其与 Bockstein 同态 $Sq^1$ 关联。
• 在 $E_2$-页同构于 $H^*(Y; \mathbb{Z}_2)$ 的 Bockstein 族谱序列上应用，通过 $Sq^1$ 作用显式计算微分。
• 依赖于万有系数定理，将 $\mathbb{Z}_2$-上同调结果提升至整上同调，识别挠分量。

实验结果

研究问题

• RQ1 当 $2^k$-挠性（$k > 1$）非平凡时，如何计算小覆盖和实 toric 流形的整上同调群？
• RQ2 商空间 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ 的单元上链复形与子复形 $K_\omega$ 的单纯上同调之间有何关系？
• RQ3 是否可以显式计算此类空间的 Bockstein 族谱序列，以从 $\mathbb{Z}_2$-上同调恢复整上同调？
• RQ4 如何通过 $K$ 的排列诱导出允许上同调计算的 $Y$ 的单元分解？
• RQ5 对于一个壳化复形 $K$ 关联的小覆盖，$H^*(Y; \mathbb{Z})$ 的加法结构是什么？

主要发现

• 通过 Bockstein 族谱序列计算了 $Y$ 的整上同调，其中 $E_2$-页同构于 $H^*(Y; \mathbb{Z}_2)$，且微分由 $Sq^1$ 确定。
• 对于一个具体例子（$K$ 为 7 个顶点的单纯 3-多面体的边界，且具有特征函数 $\lambda$），整上同调为：$H^0(Y;\mathbb{Z}) \cong \mathbb{Z}$，$H^1(Y;\mathbb{Z}) \cong \mathbb{Z} \oplus \mathbb{Z}$，$H^2(Y;\mathbb{Z}) \cong \mathbb{Z} \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2$，$H^3(Y;\mathbb{Z}) \cong \mathbb{Z}_2$。
• 在该例子中，Bockstein 族谱序列在 $E_2$-页崩溃，且 $H^2(Y;\mathbb{Z})$ 中的 $\mathbb{Z}_2$-挠性来自 $Sq^1$ 在 $\mathbb{Z}_2$-上链上的像。
• 临界单元上的单元上边界 $\overline{d}'$ 对应于收缩子复形 $K_\omega$ 中的单纯上边界，从而实现显式计算。
• 该方法适用于任何由满足非退化条件的 $\mathbb{Z}_2$-特征函数定义的纯壳化单纯复形 $K$ 所导出的小覆盖或实 toric 流形。
• 即使 $K$ 不是纯的，只要其在 Björner 和 Wachs 意义下是壳化的，该上同调计算依然有效，尽管本文聚焦于纯壳化复形以保证分段线性流形结构。