[論文レビュー] Extension dimension and C-spaces

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

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

ひとこと要約

この論文は、CW複体を用いて、古典的なHurewicz次元不等式を拡張次元へ一般化し、空間の拡張次元がその繊維および基底空間の拡張次元によって有界であるような条件を確立する。主な結果として、$C$-空間のクラスに対する可分絶対近傍拡張可能空間としてのメトリクス空間の特徴付けがなされ、Ancelの問いを解決する。その結果、$C$-空間の真の部分クラスは、拡張次元のみでは区別できないことが示される。

ABSTRACT

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

研究の動機と目的

• CW複体を用いて、拡張次元の文脈における古典的なHurewicz次元不等式を拡張する。
• すべてのメトリクス$C$-空間に対して絶対近傍拡張可能であるメトリクス空間のクラスを特徴づける。
• F. Ancelが提起した、メトリクス空間が可算次元空間のクラスに対して$ANE$であるための条件に関する問いを解決する。
• すべての強可算次元的空間を含む$C$-空間の部分クラスと、$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$-空間の概念を適用し、メトリクス$C$-空間のクラス$\mathcal{C}$に対して近似$ANE$である空間は、実際に$ANE(\mathcal{C})$-空間であることを証明する。
• $\sigma$-コンパクトかつ強可算次元的空間からヒルベルト空間への$\omega$-ソフト写像を用いて、拡張を上に持ち上げる。
• coneの持ち上げと$\omega$-ソフト性を用いて、拡張を構成するための$UV(s.c.d.)$性質（一様$C$-空間に類似した写像）を用いる。
• 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})$-空間はアスphericalであり、すべての$ANE(\mathcal{C})$-空間は$\mathcal{C}$に対して近似$ANE$であるため、実際に$ANE(\mathcal{C})$-空間である。
• メトリクス空間$X$が$ANE(\mathcal{C})$-空間であるための必要十分条件は、$X$がメトリクス空間の$UV(s.c.d.)$像であることである。
• メトリクス$C$-空間のクラス$\mathcal{C}$と、すべての強可算次元的メトリクス空間を含む任意の部分クラスは、同じ$ANE$-空間を持つ。
• この論文はAncelの質問5.13(c)を解決する：メトリクス空間が可算次元空間のクラスに対して$ANE$であるための必要十分条件は、$UV(s.c.d.)$性質を満たすことである。