[论文解读] Extension dimension and C-spaces

Alex Chigogidze, Vesko Valov|ArXiv.org|Feb 1, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 11

一句话总结

本文将经典的Hurewicz维数不等式推广至使用CW复形的扩张维数，建立了空间的扩张维数由其纤维和基空间的扩张维数有界时的条件。一个关键结果将$C$-空间类的可度量化局部邻域扩张器表征为精确的无挠$ANE(χ)$-空间，解决了Ancel提出的问题，并表明仅通过扩张维数无法区分$C$-空间的任一真子类。

ABSTRACT

Some generalizations of the classical Hurewicz formula are obtained for extension dimension and C-spaces.

研究动机与目标

• 将经典的Hurewicz维数不等式推广至使用CW复形的扩张维数设定。
• 表征所有可度量化$C$-空间的绝对邻域扩张器的类。
• 解决F. Ancel关于可度量化空间在何种条件下为可数维空间类的$ANE$的问题。
• 表明$C$-空间类及其包含强可数维空间的所有子类具有相同的$ANE$-空间，意味着它们无法通过扩张维数加以区分。

提出的方法

• 引入扩张维数的广义Hurewicz型不等式：若$f: X \to Y$是闭满射且$\dim Y \leq m$，且对所有$y \in Y$有$\text{e-dim}(\mathbb{I}^m \times f^{-1}(y)) \leq K$，则$\text{e-dim} X \leq K$。
• 利用CW复形之间的关系$L \leq K$（其中$L \in AE(X)$蕴含$K \in AE(X)$）来定义扩张类型。
• 应用近似$ANE$-空间的概念，并证明每个关于类$\mathcal{C}$（可度量化$C$-空间类）的近似$ANE$都是实际的$ANE(\mathcal{C})$-空间。
• 利用从$\sigma$-紧致、强可数维空间到希尔伯特空间的$\omega$-柔软映射，实现扩张的提升。
• 利用$UV(s.c.d.)$性质（一致$C$-空间类映射）通过锥提升和$\omega$-柔软性构造扩张。
• 应用Zarichnyi关于$\omega$-柔软映射到希尔伯特立方体的结果，为扩张问题构建提升框架。

实验结果

研究问题

• RQ1 在何种条件下，空间$X$的扩张维数在闭映射下有界依赖于其纤维和基空间的扩张维数？
• RQ2 能否通过其绝对邻域扩张器的扩张性质来表征可度量化$C$-空间类？
• RQ3 若一个可度量化空间满足$UV(s.c.d.)$性质，它是否为可数维空间类的$ANE$？
• RQ4 包含所有强可数维可度量化空间的$C$-空间子类是否与完整类$\mathcal{C}$具有相同的$ANE$-空间？
• RQ5 仅通过扩张维数能否区分所有可度量化$C$-空间类与其真子类？

主要发现

• 广义Hurewicz不等式成立：若$f: X \to Y$是闭满射且$\dim Y \leq m$，且对所有$y \in Y$有$\text{e-dim}(\mathbb{I}^m \times f^{-1}(y)) \leq K$，则$\text{e-dim} X \leq K$。
• 若对所有$y \in Y$有$\text{e-dim} f^{-1}(y) \leq K$，则$\text{e-dim} X \leq \Sigma^m K$，其中$\Sigma^m K$是$K$的$m$重悬垂。
• 每个$AE(\mathcal{C})$-空间都是无挠的，且每个$ANE(\mathcal{C})$-空间都是$\mathcal{C}$的近似$ANE$，这意味着它是实际的$ANE(\mathcal{C})$-空间。
• 可度量化空间$X$是$ANE(\mathcal{C})$-空间当且仅当它是某个可度量化空间的$UV(s.c.d.)$像。
• 可度量化$C$-空间类$\mathcal{C}$及其包含所有强可数维可度量化空间的任意子类具有完全相同的$ANE$-空间。
• 本文解决了Ancel的第5.13(c)问：可度量化空间是可数维空间类的$ANE$当且仅当它满足$UV(s.c.d.)$性质。