[论文解读] Algebraic topology of Polish spaces. II: Axiomatic homology

Sergey A. Melikhov|arXiv (Cornell University)|Aug 30, 2018

Advanced Topology and Set Theory参考文献 4被引用 3

一句话总结

本文通過引入一個新的受控可加性公理，對波兰空间上的闭对的史蒂诺德–西特尼科夫同调与契赫上同调提供了完整的公理化特徵化。該公理推廣了米爾諾的可加性公理。主要結果是一個唯一性定理，表明這些同調與上同調理論由艾倫伯格–史蒂诺德公理、沃勒斯–米爾諾映射切除公理以及受控可加性公理唯一確定，且同調可透過滿足极限-余极限對稱性的胞腔（co）鏈複形計算。

ABSTRACT

Milnor proved two uniqueness theorems for axiomatic (co)homology: one for pairs of compacta (1960) and another, in particular, for pairs of countable simplicial complexes (1961). We obtain their common generalization: the Eilenberg-Steenrod axioms along with Milnor's map excision axiom and a (non-obvious) common generalization of Milnor's two additivity axioms suffice to uniquely characterize (co)homology of closed pairs of Polish spaces (=separable complete metrizable spaces). The proof provides a combinatorial description of the (co)homology of a Polish space in terms of a cellular (co)chain complex satisfying a symmetry of the form $\lim ext{colim} = ext{colim} \lim$.

研究动机与目标

• 為波兰空間上的閉對的史蒂诺德–西特尼科夫同調與契赫上同調提供完整的公理化特徵化。
• 將米爾諾針對緊緻空間與可數單純複形所提出的兩條可加性公理，統一為適用於波兰空間的單一公理。
• 確立艾倫伯格–史蒂諾德公理、沃勒斯–米爾諾映射切除公理與受控可加性公理共同唯一確定波兰空間上的同調與上同調理論。
• 透過構造一個具有極限-余極限對稱性的胞腔（co）鏈複形，提供一個計算框架，使波兰空間的同調與上同調可表示為該複形的（上）同調。

提出的方法

• 引入受控可加性公理：若波兰空間 $M$ 除去閉子集 $X$ 後可分解為緊緻集 $K_i$ 的不交並，且這些 $K_i$ 的直徑收斂於 $X$，則 $H_n(M,X)$ 同構於 $\prod H_n(K_i)$ 的子模，具體而言為某個理想 $\mathbb{K}$ 上的 $\mathbb{K}$-直積。
• 利用第一部分的對偶引理，建立胞腔（co）鏈複形構造中的對稱性 $\lim\,\operatorname*{colim} = \operatorname*{colim}\,\lim$。
• 基於反系統的三角剖分多面體 $P_i$（其中 $P_{i+1} \to P_i$ 為黏合映射）構造胞腔（co）鏈複形，每個 $P_i$ 描述 $X$ 與直徑遞減鄰域的交集。
• 將鏈複形定義為反系統 $\dots \to Q_{1K} \to Q_{0K}$ 的映射望遠鏡，其中 $Q_{iK}$ 為 $P_i$ 中與 $X$ 的緊緻子集 $K$ 的像相交的有限子複形，並證明此複形能正確計算同調。
• 證明同一複形既可表達為 $\varinjlim \varprojlim$ 又可表達為 $\varprojlim \varinjlim$，從而證明極限-余極限對稱性，並支持其作為標準對象的合理性。
• 應用映射切除公理，將全域解析 $E_\Delta(X) \to K_\Delta(X)$ 的纖維替換為緊緻對 $(P_{\alpha,[0,\infty]}, K_\alpha)$，進而使同調可透過簇的望遠鏡計算。

实验结果

研究问题

• RQ1 米爾諾針對緊緻空間與可數單純複形所提出的兩條可加性公理，能否統一為適用於波兰空間的單一公理？
• RQ2 受控可加性公理（控制 $M \setminus X$ 的可數分解且直徑收斂於 $X$）是否足以特徵化波兰空間上的史蒂諾德–西特尼科夫同調與契赫上同調？
• RQ3 波兰空間的同調是否可透過具有極限與余極限之間對稱性的胞腔（co）鏈複形來計算？
• RQ4 僅使用艾倫伯格–史蒂諾德公理、映射切除公理與受控可加性公理，能否確立波兰空間上同調與上同調理論的唯一性？
• RQ5 計算波兰空間同調的極限-余極限對稱鏈複形的幾何與代數結構為何？

主要发现

• 受控可加性公理（推廣米爾諾可加性公理）足以唯一特徵化波兰空間上閉對的史蒂諾德–西特尼科夫同調與契赫上同調。
• 波兰空間的同調與上同調同構於由直徑遞減鄰域中三角剖分多面體反系統構造的胞腔（co）鏈複形的（上）同調。
• 該（co）鏈複形具有兩種等價描述：既可表達為 $\varinjlim \varprojlim$ 又可表達為 $\varprojlim \varinjlim$，從而建立極限與余極限之間非平凡的對稱性。
• $\mathbb{K}$-直積在受控可加性公理中來自 $\mathbb{N}$ 的冪集中的特定理想 $\mathbb{K}$，該理想編碼了 $K_i$ 的直徑在 $X$ 附近趨於零的幾何條件，且此理想源自第一部分引入的濾子。
• 唯一性定理表明，任何從 $H(pt) \to H'(pt)$ 的分次同構均可唯一地延拓為滿足公理的兩種同調理論之間的自然等價，從而證明完整的公理唯一性。
• 該構造使同調與上同調可直接從公理計算，使理論在計算上可實現，而此前的特徵化方法並未達到此程度。