[논문 리뷰] Algebraic topology of Polish spaces. II: Axiomatic homology

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

Advanced Topology and Set Theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 새로운 제어된 가환성 공리(Controlled Additivity Axiom)를 도입하여 폴란드 공간의 닫힌 쌍에 대한 스틴로드–시트니코프 호모로지와 체히 코호모로지의 완전한 공리적 특성화를 제공한다. 이는 밀너의 가환성 공리들을 일반화한 것이다. 핵심 결과는 Eilenberg–Steenrod 공리들, Wallace–Milnor 맵 분리 공리, 그리고 제어된 가환성 공리를 만족하는 이론이 스틴로드–시트니코프 호모로지와 체히 코호모로지를 유일하게 결정한다는 유일성 정리이며, 이는 극한과 쌍대극한 대칭성을 만족하는 셀룰러 (코)체인 복합체를 통한 호모로지 계산을 가능하게 한다.

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$.

연구 동기 및 목표

• 폴란드 공간의 닫힌 쌍에 대한 스틴로드–시트니코프 호모로지와 체히 코호모로지의 완전한 공리적 특성화를 제공한다.
• 콤���타와 가чёт한 심플리시얼 복합체에 대해 유효한 밀너의 두 가환성 공리를 폴란드 공간에 적용 가능한 하나의 통합 공리로 일반화한다.
• Eilenberg–Steenrod 공리들, Wallace–Milnor 맵 분리 공리, 그리고 제어된 가환성 공리를 조합하여 폴란드 공간에서의 호모로지 및 코호모로지 이론이 유일하게 결정됨을 입증한다.
• 극한과 쌍대극한 대칭성을 만족하는 셀룰러 (코)체인 복합체를 통한 표현을 통해 폴란드 공간의 호모로지 및 코호모로지를 계산할 수 있는 계산 프레임워크를 제공한다.

제안 방법

• 제어된 가환성 공리 도입: 폴란드 공간 $M$에서 닫힌 부분집합 $X$를 뺀 공간 $M \setminus X$가 직교합으로 분해되고, 각 컴팩트 집합 $K_i$의 지름이 $X$에 수렴하도록 하면, $H_n(M,X)$ 는 $\prod H_n(K_i)$ 의 부분군과 동형이며, 특히 특정 이상수 $\mathbb{K}$ 에 대한 $\mathbb{K}$-직접합이다.
• 제1부에서 유도된 이중성 보조정리(duality lemma)를 사용하여 셀룰러 (코)체인 복합체 구성에서 $\lim\,\operatorname*{colim} = \operatorname*{colim}\,\lim$ 의 대칭성을 확립한다.
• 각 $P_i$ 가 점점 줄어드는 지름을 가진 $X$ 의 이웃을 포함하는 삼등분 다면체의 역계열(inverse system)을 기반으로 한 셀룰러 (코)체인 복합체를 구성한다.
• 체인 복합체를 역계열 $\dots \to Q_{1K} \to Q_{0K}$ 의 사영한 맵핑 텔레스코프(mapping telescope)로 정의하며, 여기서 $Q_{iK}$ 는 $X$ 의 컴팩트 부분집합 $K$ 의 상과의 교차를 포함하는 $P_i$ 의 유한 부분복합체이다. 이 복합체가 정확한 호모로지를 계산함을 보인다.
• 동일한 복합체가 $\varinjlim \varprojlim$ 와 $\varprojlim \varinjlim$ 두 방식으로도 나타남을 보여, 극한과 쌍대극한 사이의 비자명한 대칭성을 증명하고, 이를 표준 대상으로 사용할 수 있음을 정당화한다.
• 맵 분리 공리를 적용하여, 유니버설 분해 $E_\Delta(X) \to K_\Delta(X)$ 의 섬세한 구조를 컴팩트 쌍 $(P_{\alpha,[0,\infty]}, K_\alpha)$ 로 대체함으로써, 클러스터의 텔레스코프를 통한 호모로지 계산이 가능하게 한다.

실험 결과

연구 질문

• RQ1 밀너의 두 가환성 공리—콤팩트 공간과 가чёт한 심플리시얼 복합체에 대해 유효한 것들—을 폴란드 공간에 적용 가능한 하나의 공리로 통합할 수 있는가?
• RQ2 지름이 수렴하는 $M \setminus X$ 의 가чёт한 분해를 다루는 제어된 가환성 공리가, 폴란드 공간에서의 스틴로드–시트니코프 호모로지와 체히 코호모로지를 특성화하는 데 충분한가?
• RQ3 극한과 쌍대극한 사이의 대칭성을 보이는 셀룰러 (코)체인 복합체를 통해 폴란드 공간의 호모로지를 계산할 수 있는가?
• RQ4 Eilenberg–Steenrod 공리들, 맵 분리 공리, 그리고 제어된 가환성 공리를 유일하게 사용하여 폴란드 공간에서의 호모로지 및 코호모로지 이론의 유일성을 확립할 수 있는가?
• RQ5 폴란드 공간의 호모로지를 계산하는 데 사용되는 극한과 쌍대극한 대칭성을 가지는 체인 복합체의 기하학적 및 대수적 구조는 무엇인가?

주요 결과

• 밀너의 가환성 공리를 일반화하는 제어된 가환성 공리는 폴란드 공간의 닫힌 쌍에 대해 스틴로드–시트니코프 호모로지와 체히 코호모로지를 유일하게 특성화하는 데 충분하다.
• 폴란드 공간의 호모로지 및 코호모로지는 점점 줄어드는 이웃을 가진 삼등분 다면체의 역계열로부터 구성된 셀룰러 (코)체인 복합체의 (코)호모로지와 동형이다.
• 이 (코)체인 복합체는 $\varinjlim \varprojlim$ 과 $\varprojlim \varinjlim$ 두 방식으로 동일하게 기술될 수 있으며, 이는 극한과 쌍대극한 사이의 비자명한 대칭성을 증명한다.
• 제어된 가환성 공리에서 나타나는 $\mathbb{K}$-직접합은 자연수 집합의 멱집합 내의 특정 이상수 $\mathbb{K}$ 에서 유래되며, 이는 $K_i$ 의 지름이 $X$ 근처에서 0으로 수렴하는 기하학적 조건을 코딩한다. 이 이상수는 제1부에서 도입된 필터링으로부터 유도된다.
• 유일성 정리에 따르면, $H(pt) \to H'(pt)$ 의 계급적 동형사상이 두 공리를 만족하는 호모로지 이론 간의 자연적 동치로 유일하게 확장되며, 이는 공리적 유일성의 완전성을 입증한다.
• 이 구성은 이론의 공리를 바탕으로 폴란드 공간의 호모로지 및 코호모로지를 직접 계산할 수 있게 하여, 이전의 특성화 방식들이나 불가능했던 계산 가능성을 실현한다.