[論文レビュー] Lectures on controlled topology: mapping cylinder neighborhoods

Frank Quinn|ArXiv.org|Jan 22, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 9

ひとこと要約

この論文は、変形再びと制御写像を用いて、部分空間上の写像シリンダーに同相な近傍を構成することで、制御トポロジーにおける写像シリンダー近傍の存在を確立する。主な結果は、環境空間の次元が5以上、または次元4で局所基本群が小さい場合に、写像シリンダーの制御的認識定理を用いて、このような近傍が存在することを示している。

ABSTRACT

The existence theorem for mapping cylinder neighborhoods is discussed as a prototypical example of controlled topology and its applications. The first of a projected series developed from lectures at the Summer School on High-Dimensional Topology, Trieste Italy 2001

研究の動機と目的

• 制御トポロジーにおける写像シリンダー近傍の構成フレームワークを構築し、幾何学的および位相的トポロジーを橋渡しする。
• 特に分層的および非コンパクトな設定において、制御トポロジーが局所的問題をどのようにグローバルな構成的技法で扱うかを説明する。
• たんさ（tame）性、ホモトピー的リンク、スペクトル層ホモロジーが、局所基本群と障害を管理する役割を果たすことを示す。
• 制御的構成が、ノヴィコフ予想とアセンブリーマップに関連して、非制御的障害についてどのような情報を与えるかを示す。
• 写像シリンダー近傍の存在定理を代表例とする、制御トポロジーの基礎的概要を提供する。

提案手法

• 空間から部分空間へのホモトピーを、前向きにたんさ（tame）な変形を用いて構成し、変形が部分空間の近傍でどのように振る舞うかを制御する。
• 部分空間からの距離を追跡するため、Y × [0, ∞) への制御写像 f₁ を定義し、Y 座標および区間座標における変形の半径を制御可能にする。
• 区間の再パrameter化により変形空間を再構成し、t=0 で消える連続関数 ε(t) を用いて、Y 座標における δ-制御を達成する。
• 非コンパクトな制御空間に対応するため、写像シリンダー認識定理の相対的バージョンを適用し、Y × (0,1) 上の近傍に焦点を当てる。
• 障害群を記述するために、スペクトル層ホモロジーと制御的 K-理論スペクトルを用い、特に擬等長写像とアセンブリーマップの文脈で説明する。
• 局所ホモトピー型をモデル化し、分層的集合における基本群の振る舞いを制御するため、分層的ファイブレーション系を用いる。

実験結果

リサーチクエスチョン

• RQ1 空間 X の部分空間 Y が、Y 上の写像シリンダーに同相な近傍を持つための条件は何か？
• RQ2 制御的変形再びと制御写像を用いて、そのような近傍をどのように構成できるか？
• RQ3 局所基本群とホモトピー的リンクが、写像シリンダー近傍の存在を保証するために果たす役割は何か？
• RQ4 部分空間のたんさ（tame）性と変形半径の制御が、構成に与える影響は何か？
• RQ5 制御的構成が、ノヴィコフ予想の文脈において、K理論およびL理論における非制御的障害とどのように関係するか？

主な発見

• X が次元5以上、または次元4で局所基本群が小さい場合、X × [0, ∞) に写像シリンダー近傍が存在する。
• 構成は、Y × [0, ∞) への再パラメータ化された制御写像 f₁ を介した制御された変形 f に依存しており、Y × {0} の近傍で Y 座標の半径を小さく保証する。
• 区間の再パラメータ化と連続性を用いることで、Y × [0,2) 上で Y 座標における δ-制御が達成され、写像シリンダー認識定理の条件を満たす。
• 相対的認識定理のバージョンにより、所定の仮定のもとで、Y × {0} の近傍が Y × (0,1−ε) 上の写像シリンダーであることが保証される。
• この方法は、Y 上のホロリンク写像が分層的ファイブレーション系であり、制御写像 f₁ がそのような系と近似的にファイバー・ホモトピー同値である分層的集合に対しても適用可能である。
• 主要な障害理論は、制御的 K-理論スペクトルとアセンブリーマップを含み、制御的幾何的構成と K-理論および L-理論における代数的障害を結びつける。