[论文解读] On homotopical and homological $Z_n$-sets

Тарас Банах, Robert Cauty+1 more|arXiv (Cornell University)|Feb 14, 2010

Advanced Topology and Set Theory参考文献 29被引用 4

一句话总结

本文利用代数拓扑工具研究了同调 $Z_n$-集，通过 Hurewicz 同构定理建立了其在 $\mathrm{LC}^{[}1]$-空间中与同伦 $Z_n$-集的等价性。推导了这些集合的乘法、除法和 $k$-次方根公式，并证明在度量可分的 $\mathrm{LC}^{[}n]$-空间中，同调 $Z_n$-点的集合是一个 $G_\delta$-集，其应用涵盖无穷维拓扑中的上同调维数与扩张维数。

ABSTRACT

We survey some properties of homotopical and homological $Z_n$-sets in topological spaces.

研究动机与目标

• 通过相对同调群表征 $\mathrm{LC}^{[}n]$-空间中的同调 $Z_n$-集。
• 通过 Hurewicz 同构定理建立 $\mathrm{LC}^{[}1]$-空间中同伦 $Z_n$-集与同调 $Z_n$-集的等价性。
• 利用 Künneth 公式推导同调 $Z_n$-集的代数公式——乘法、除法和 $k$-次方根公式。
• 证明在度量可分的 $\mathrm{LC}^{[}n]$-空间中，同调 $Z_n$-点的集合是一个 $G_\delta$-集。
• 研究空间类 $\mathcal{Z}_n^\mathbb{Z}$ 和 $\overline{\mathcal{Z}}_n^\mathbb{Z}$ 的拓扑性质，包括上同调维数与扩张维数。

提出的方法

• 定义闭子集 $A \subset X$ 为同调 $Z_n$-集，若对所有 $k < n+1$ 及所有开集 $U \subset X$，有 $H_k(U, U \setminus A) = 0$。
• 应用 Hurewicz 同构定理，将 $\mathrm{LC}^{[}1]$-空间中同伦 $Z_n$-集与同调 $Z_n$-集联系起来。
• 利用 Künneth 公式推导同调 $Z_n$-集的乘法、除法和 $k$-次方根公式。
• 采用不可约同调障碍与 Steinke 的分离维数 $\mathsf{t}(\cdot)$ 概念，通过逐点条件表征 $Z_n$-集。
• 应用 Bockstein 理论证明：一个集合是 $G$-同调 $Z_n$-集当且仅当对所有 $H \in \sigma(G)$（即 $G$ 的 Bockstein 系列）其均为 $H$-同调 $Z_n$-集。
• 证明：若 $A$ 是 $X$ 中的同调 $Z_n$-集，$B$ 是 $Y$ 中的同调 $Z_m$-集，则 $A \times B$ 是 $X \times Y$ 中的同调 $Z_{n+m+1}$-集。

实验结果

研究问题

• RQ1 在 $\mathrm{LC}^{[}1]$-空间中，何时一个同伦 $Z_2$-集也是 $n > 2$ 的同调 $Z_n$-集？
• RQ2 同调群的何种代数条件可表征同调 $Z_n$-集？
• RQ3 类 $\mathcal{Z}_n^\mathbb{Z}$ 和 $\overline{\mathcal{Z}}_n^\mathbb{Z}$ 在乘积、除法和 $k$-次方根下的行为如何？
• RQ4 同调 $Z_n$-集与任意系数群 $G$ 的上同调维数 $\dim_G(X)$ 之间有何关系？
• RQ5 在何种条件下，局部紧致的 ANR 空间 $X$ 不是 $C$-空间，或不具有扩张维数 $\leq L$（$L$ 为非可缩的 CW 复形）？

主要发现

• 在 Tychonov $\mathrm{LC}^{[}1]$-空间中，一个同伦 $Z_2$-集是同伦 $Z_n$-集当且仅当它是同调 $Z_n$-集。
• 在度量可分的 $\mathrm{LC}^{[}n]$-空间 $X$ 中，同调 $Z_n$-点的集合 $\mathcal{Z}_n^\mathbb{Z}(X)$ 是一个 $G_\delta$-集。
• 若局部紧致的 ANR 空间 $X \in \mathcal{Z}_\infty^\mathbb{Z}$，则它不是 $C$-空间，且对任意非可缩的 CW 复形 $L$，有 $\mbox{e-dim}X \not\leq L$。
• 乘法定理指出：若 $A$ 是 $X$ 中的同调 $Z_n$-集，$B$ 是 $Y$ 中的同调 $Z_m$-集，则 $A \times B$ 是 $X \times Y$ 中的同调 $Z_{n+m+1}$-集。
• 若闭子集 $A \subset X$ 具有有限分离维数 $d = \mathsf{t}(A)$，则 $A$ 是 $G$-同调 $Z_n$-集，当且仅当对每个点 $a \in A$，$a$ 是 $X$ 中的 $G$-同调 $Z_{n+d}$-点。
• 若闭子集 $A \subset X$ 具有超限分离维数 $\mathsf{trt}(A)$，则 $A$ 是 $G$-同调 $Z_\infty$-集当且仅当对每个点 $a \in A$，$a$ 是 $X$ 中的 $G$-同调 $Z_\infty$-点。