[論文レビュー] Free topological universal algebras and absolute neighborhood retracts

Тарас Банах, Olena Hryniv|arXiv (Cornell University)|Feb 17, 2010

Advanced Algebra and Logic参考文献 5被引用数 3

ひとこと要約

本稿は、完備な準多様体の族 $ \mathcal{K} $ における可算な離散的型の位相的 $ E $-代数の完全な準多様体の族において、部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間 $ X $ 上の自由位相的普遍代数 $ F_{/mathcal{K}}(X) $ が、自身で部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間であることを確立する。この結果は、チョバンの定理を用いて $ F_{\mathcal{K}}(X) $ をコンパクトな $ \mathsf{ANR} $ の列の直和極限として表現し、代数的生成関手が $ \mathsf{ANR} $ およびメトライズ能力の性質を保つことに基づく。

ABSTRACT

We prove that for a complete quasivariety $K$ of topological $E$-algebras of countable discrete signature $E$ and each submetrizable $ANR(k_ω)$-space $X$ its free topological $E$-algebra $F_K(X)$ in the class $K$ is a submetrizable $ANR(k_ω)$-space.

研究の動機と目的

• 位相的 $ E $-代数の完全な準多様体における自由位相的普遍代数の位相的性質を調査すること。
• 自由代数の構成が、部分メトライズ可能な空間における $ \mathsf{ANR}(k_{\omega}) $-性質を保存するかどうかを特定すること。
• 自由代数が $ k_{\omega} $-空間上で部分メトライズ可能かつ絶対近傍リトラクト（ANR）のままであるような条件を確立すること。
• コンパクトな $ \mathsf{ANR} $ の列の直和極限としての構造を分析することにより、既知の自由代数に関する結果を拡張すること。

提案手法

• チョバンの定理を用いて、自由代数 $ F_{\mathcal{K}}(X) $ を直和極限 $ \varinjlim \langle X_n \rangle^{L_n}_n $ として表現する。ここで $ X_n $ はコンパクトで、$ L_n $ は有限である。
• 三角形分割定理を用いて、$ X \times Q^\infty $ をコンパクトな $ \mathsf{ANR} $ の直和極限として表現する。これは、可算な局所有限な単体複体 $ T $ に対して $ X \times Q^\infty $ が $ T \times Q^\infty $ と同相であることを利用している。
• ANR定理を適用して $ X \times Q^\infty $ が $ Q^\infty $-多様体であることを示し、直和極限構造の利用を可能にする。
• 代数的生成関手 $ \langle \cdot \rangle^{L_n}_n $ が有限次元性を保ち、コンパクトな $ \mathsf{ANR} $ をコンパクトでメトライズ可能な $ \mathsf{ANR} $ に写すことの証明。
• 部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間のリトラクトは、自身でも部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間であるという事実を用いて、結果を結論づける。
• 空間 $ X $ がコンパクト有限次元的である場合、その直和極限における有限次元性の保存を活用する。

実験結果

リサーチクエスチョン

• RQ1 部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間 $ X $ 上の自由位相的 $ E $-代数 $ F_{\mathcal{K}}(X) $ が、任意の完全な準多様体 $ \mathcal{K} $ に対して、部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間のままであるか。
• RQ2 $ F_{\mathcal{K}}(X) $ がコンパクトな $ \mathsf{ANR} $ の列の直和極限としての構造を持つことと、その位相的性質との関係は何か。
• RQ3 代数的生成プロセス $ \langle \cdot \rangle^{L_n}_n $ が、コンパクト空間の $ \mathsf{ANR} $ 性質およびメトライズ能力を保存する条件は何か。
• RQ4 $ X $ の $ k_{\omega} $-空間構造が、直和極限構成を介して自由代数 $ F_{\mathcal{K}}(X) $ に引き継がれるか。
• RQ5 $ X $ がコンパクト有限次元的であるとき、自由代数 $ F_{\mathcal{K}}(X) $ もコンパクト有限次元的であるか。

主な発見

• 部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間 $ X $ 上の自由位相的 $ E $-代数 $ F_{\mathcal{K}}(X) $ は、自身でも部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間である。
• 空間 $ F_{\mathcal{K}}(X) $ は、コンパクトな $ \mathsf{ANR} $ と有限集合からなる $ k_{\omega} $-列 $ X_n $ と $ L_n $ を用いた直和極限 $ \varinjlim \langle X_n \rangle^{L_n}_n $ と同型である。
• 直和極限内の各成分 $ \langle X_n \rangle^{L_n}_n $ は、コンパクトでメトライズ可能な $ \mathsf{ANR} $ であるため、極限空間は $ \mathsf{ANR}(k_{\omega}) $-性質を継承する。
• 空間 $ X $ が $ X \times Q^\infty $ のリトラクトであることに基づき、$ F_{\mathcal{K}}(X \times Q^\infty) $ が部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間であることから、$ F_{\mathcal{K}}(X) $ も同様に部分メトライズ可能な $ \mathsf{ANR}(k_{\omega}) $-空間であることが導かれる。
• 空間 $ X $ がコンパクト有限次元的である場合、$ F_{\mathcal{K}}(X) $ もコンパクト有限次元的である。これは、有限次元的なコンパクトな空間の直和極限であるからである。
• 関手 $ \langle \cdot \rangle^{L_n}_n $ は有限次元性を保ち、有限空間およびコンパクトな $ \mathsf{ANR} $ を写すことから、極限構成において不可欠な役割を果たす。