[论文解读] On the topology of a small cover associated to a shellable complex

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

Topological and Geometric Data Analysis参考文献 7被引用 5

一句话总结

本论文计算了小覆盖 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ 的整上同调与博克斯坦谱序列，其中 $K$ 是一个纯壳复形，且商空间由实 момента角复形 $\mathbb{R}\mathcal{Z}_K$ 上的极大自由 $\mathbb{Z}_2^k$-作用导出。该计算依赖于 $K$ 的一个胞腔分解，该分解由 $K$ 的一个壳化构造而来，从而为这些拓扑空间提供了明确的代数不变量。

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.

研究动机与目标

• 确定与壳复形相关的壳复形小覆盖的整上同调环。
• 分析此类小覆盖的博克斯坦谱序列。
• 通过壳化导出的PL胞腔分解，建立拓扑不变量的框架。
• 为小覆盖提供明确的代数不变量，作为实环化流形的拓扑类比。
• 将 $K$ 的组合壳化性质与商空间 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ 的上同调性质相联系。

提出的方法

• 将实 момента角复形 $\mathbb{R}\mathcal{Z}_K$ 作为关于具有 $m$ 个顶点的单纯复形 $K$ 的典范 $\mathbb{Z}_2^m$-空间使用。
• 在 $\mathbb{R}\mathcal{Z}_K$ 上应用极大自由 $\mathbb{Z}_2^k$-作用，形成商空间 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$，该空间为小覆盖。
• 基于纯壳复形 $K$ 的一个壳化，构建 $Y$ 的PL胞腔分解，从而支持上同调计算。
• 利用PL胞腔分解，显式计算 $Y$ 的整上同调群。
• 利用胞腔结构与 $\mathbb{Z}_2$-系数数据，分析 $Y$ 的博克斯坦谱序列。
• 利用 $K$ 的壳化性质，确保胞腔结构良好，从而支持代数计算。

实验结果

研究问题

• RQ1 当 $K$ 为纯壳复形时，小覆盖 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ 的整上同调环是什么？
• RQ2 此类小覆盖的博克斯坦谱序列的行为如何？能否显式计算？
• RQ3 对 $K$ 的壳化在多大程度上决定了 $Y$ 的上同调结构？
• RQ4 能否利用壳化诱导的PL胞腔分解来计算 $Y$ 的上同调群？
• RQ5 组合壳化性质与相关小覆盖的拓扑不变量之间存在何种关系？

主要发现

• 通过纯壳复形 $K$ 的壳化诱导的PL胞腔分解，显式计算了小覆盖 $Y$ 的整上同调群。
• 博克斯坦谱序列在全范围内被计算，完整描述了基于胞腔结构的 $\mathbb{Z}_2$-系数上同调。
• 上同调计算的关键在于 $K$ 的壳化的存在性，该性质确保了 $\mathbb{R}\mathcal{Z}_K$ 的规则且可计算的胞腔分解。
• 在 $\mathbb{R}\mathcal{Z}_K$ 上的极大自由 $\mathbb{Z}_2^k$-作用导致了定义良好的商空间 $Y$，其继承了与壳化兼容的有限CW结构。
• 由此得到的 $Y$ 的上同调群由壳化的组合性质决定，将拓扑不变量与离散几何联系起来。
• 博克斯坦谱序列的显式计算揭示了通过 $\mathbb{Z}_2$-系数数据与微分模式所确定的 $H^*(Y; \mathbb{Z})$ 的 $\mathbb{Z}$-系数结构。