[論文レビュー] A geometric decomposition of spaces into cells of different types

Gabriel Minian, Miguel Ottina|ArXiv.org|Dec 10, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 3

ひとこと要約

この論文は、古典的CW複体の幾何的一般化であるCW(A)-複体を導入する。球面の代わりに任意の基本空間Aを用いて、異なる位相的タイプの細胞から空間を構成する。ホモトピー論的枠組みを確立するため、ホワイトヘッドの定理を一般化し、CW(A)-複体間の写像がホモトピー同値であるための必要十分条件としてA-弱同値性を示す。これにより、古典的な結果がより広いクラスのセル構造を持つ空間へと拡張される。

ABSTRACT

We develop the theory of CW(A)-complexes, which generalizes the classical theory of CW-complexes, keeping the geometric intuition of J.H.C. Whitehead's original theory. We obtain this way generalizations of classical results, such as Whitehead Theorem, which allow a deeper insight in the homotopy properties of these spaces.

研究の動機と目的

• 0次元球面S⁰を任意の基点付き空間Aに置き換えることで、古典的CW複体理論を一般化すること。
• ホワイトヘッドの元来の構成の幾何的直観を保ちつつ、異なるタイプのセルから構成される空間へのホモトピー的結果の拡張を図ること。
• これらの一般化されたセル複体のホモトピー的性質、特にホモトピー同値性がA-弱同値性によってどのように検出可能であるかを調査すること。
• 特に、コア空間Aがl-連結または有限次元である場合に、CW(A)-複体における次元と連結性の振る舞いを分析すること。
• 空間をA-セルに分解する異なる方法の関係、およびAから別の空間Bへの写像によるコア空間Aの変更がもたらす影響を研究すること。

提案手法

• 構成的アプローチによりCW(A)-複体を定義：n次元セルを、付加空間としての縮小ホイッスルΣⁿ⁻¹Aと、特徴写像としての縮小コーンCΣⁿ⁻¹Aを用いて付加する。
• 押し出し図式を用いてセルの付加プロセスを形式化し、基点を保存する写像と点付き位相の整合性を保証する。
• ホモトピー拡張性質を適用する際、AがCW複体であるとき、包含写像Σⁿ⁻¹A → CΣⁿ⁻¹Aが閉形cofibrationであることを活用する。
• Σⁿ⁻¹Aの連結性とAの次元を用いて、対(Xⁿ, Xⁿ⁻¹)の連結性を分析することで、連結性の一般化結果を得る。
• A-弱同値性の概念を導入し、これに基づいてCW(A)-複体に対する一般化されたホワイトヘッドの定理を定式化する。
• 相対CW複体と強い変形再びを用いて、異なるセル付加によって得られる空間を比較し、ホモトピー同値性の結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 コア空間Aが有限次元CW複体である場合に、CW(A)-複体の次元がwell-definedである条件は何か？
• RQ2 コア空間Aが写像α:A→Bによって別の空間Bに置き換えられるとき、CW(A)-複体のホモトピー型はどのように変化するか？
• RQ3 CW(A)-複体間の写像f:X→Yがホモトピー同値であるための条件は何か？また、これはA-弱同値性によって検出可能か？
• RQ4 Aがl-連結で次元kであるとき、CW(A)-複体Xにおける対(Xⁿ, Xⁿ⁻¹)の連結性は何か？
• RQ5 AがCW(B)-複体である場合、一般化されたCW(A)-複体である空間は、一般化されたCW(B)-複体としても実現可能か？

主な発見

• コア空間Aが有限次元CW複体であるとき、CW(A)-複体の次元はwell-definedであり、古典的な次元不変性が一般化される。
• Aが有限次元のCW(B)-複体である場合、任意の一般化されたCW(A)-複体Xは、一般化されたCW(B)-複体としても記述可能であり、したがって標準的CW複体のホモトピー型を持つ。
• Aがl-連結で次元kであるとき、CW(A)-複体Xにおける対(Xⁿ, Xⁿ⁻¹)はA-(n−k+l+1)-連結である。これは古典的な連結性の境界を一般化する。
• Aがl-連結であるとき、対(Xⁿ, Xⁿ⁻¹)は(n+l+1)-連結である。これは、Aの高い連結性がスケルトンフィルトレーションの連結性を向上させることを示している。
• CW(A)-複体間の写像f:X→Yがホモトピー同値であるための必要十分条件は、それがA-弱同値性であることである。これにより、一般化されたホワイトヘッドの定理が確立される。
• βα = id_Aを満たす場合、X（CW(A)-複体）は写像φ:X→Yとψ:Y→Xを用いてCW(B)-複体Yとホモトピー同値であり、ψφ = id_Xを満たす。これは、再びを用いたコア空間の変更がホモトピー型を保存することを示している。