写像空間を用いた構成

連続写像の成す空間 (写像空間) は, 代数的トポロジーで重要な役割を果す。そのため, たとえ研究対象が 可微分多様体であっても, 可微分多様体の圏の中だけで話をすませるわけにはいかないのである。

• 連続写像全体の成す集合 \(\mathrm{Map}(X,Y)\) の上の コンパクト開位相
• 基点付き空間 \(X\) に対し, そのループ空間 \(\Omega X\)
• 多重ループ空間 \(\Omega ^n X\)
• 基点付き空間 \(X\) に対し, 基点から出発する path の空間 \(PX\) と path-loop fibration \[ \Omega X \longrightarrow PX \longrightarrow X \]
• Mooreループ空間と Moore path の空間
• free loop space
• mapping track
• cosimplicial space \(X^{\bullet }\) に対し, その totalization \(\mathrm{Tot}(X^{\bullet })\)
• 連続写像の homotopy fiber
• 位相空間の図式の homotopy limit

連続写像の homotopy fiber については, Puppe の [Pup74] がある。 位相空間 \(F\) を fixし, homotopy fiber が \(F\) である連続写像の圏を考え, その圏がどのような操作で閉じているかを調べている。

その拡張として, 局所化を考えた Chacholski と Pitsch と Scherer の [CPS] がある。

Path に条件を付けると, path の空間の様々な部分空間ができる。ループ空間 や free loop space もその一種である。他に Hingston と Oancea [HO] が考えている \(\CP ^n\) の中の \(\RP ^n\) に終点を持つ道の空間のようなものも考えられている。

写像空間を考える上で, exponential law あるいは adjointness は非常に重要である。

• 連続写像 \[ f : X\times Y \longrightarrow Z \] に対し, そのadjoint \[ \ad (f) : X \longrightarrow \mathrm{Map}(Y,Z) \] の定義

References

[CPS]

W. Chacholski, W. Pitsch, and J. Scherer. Homotopy pull-back squares up to localization. arXiv: math/0501250.

[HO]

Nancy Hingston and Alexandru Oancea. The space of paths in complex projective space with real boundary conditions. arXiv: 1311.7292.

[Pup74]

Volker Puppe. “A remark on “homotopy fibrations””. In: Manuscripta Math. 12 (1974), pp. 113–120.