[논문 리뷰] Cohomological dimension theory of compact metric spaces

Alexander Dranishnikov|ArXiv.org|2005. 01. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 60

한 줄 요약

이 종합적 논문은 컴팩트 거리 공간에 대한 코homological 차원 이론에 대해 포괄적인 개요를 제공하며, 특히 정수 및 p진 계수를 갖는 아벨 군에 대한 코homological 차원에 중점을 둔다. 이 논문은 코homological 소멸성, Eilenberg-MacLane 공간의 확장 성질, 차원 이론적 성질 간의 기본적인 동치 관계를 수립하고, Bockstein 및 Alexandroff 정리와 같은 핵심 결과를 증명하며, $M_p$와 같은 특정 컴팩트라의 차원을 결정한다.

ABSTRACT

This is a detailed introductory survey of the cohomological dimension theory of compact metric spaces.

연구 동기 및 목표

• 컴팩트 거리 공간에 대한 코homological 차원 이론에 대해 상세하고 접근하기 쉬운 종합적 서술를 제공함으로써 Kuzminov 및 다른 이들의 이전 작업을 업데이트하고 확장함.
• 코homological 차원, Eilenberg-MacLane 공간의 확장 성질, Čech 코homology 소멸성 간의 관계를 명확히 함.
• 코homological 차원 조건의 동치성과 해상도 정리가 차원 이론에서 차지하는 역할과 같은 기본 결과를 수립함.
• Bockstein 및 Alexander 쌍대성 기법을 사용하여 $M_p$와 같은 특정 컴팩트라와 그 곱의 코homological 차원을 분석함.
• 코homological 차원이 곱과 역극한 하에서 어떻게 행동하는지, 특히 p진 및 유리수 계수와의 관계에서 밝혀냄.

제안 방법

• 닫힌 부분집합 $A \subset X$ 에 대해 $\check{H}^n(X,A;G) \neq 0$ 가 되는 최대 $n$ 을 정의함으로써 코homological 차원 $\operatorname{dim}_G X$ 를 정의하고, $K(G,n)$-공간의 확장 성질과의 동치성을 증명함.
• 쌍의 장점 정렬 수열과 보편 계수 정리를 사용하여 코homological 차원을 코homology 소멸성과 호모토피 확장 성질과 연결함.
• Bockstein 스펙트럴 시퀀스와 Bockstein 정리를 적용하여 $G = \mathbb{Z}_p$, $\mathbb{Z}_{(p)}$, $\mathbb{Q}$, $\mathbb{Z}_{p^\infty}$ 에 대해 $\operatorname{dim}_G X$ 를 계산함. 이때 $\operatorname{dim}_G X = \max \{ \operatorname{dim}_{\mathbb{Z}_r} X \}$ 이며 $r$ 는 소수임을 이용함.
• 해상도 사상과 몫 사상 $\bar{q}: DM_{\alpha,f} \to Y$ 를 구성하여 부분집합의 코homology 를 그 역상의 코homology 와 연결함. 다섯 개의 보조정리(5 Lemma) 를 사용하여 동형사상을 증명함.
• 구의 와이드 합에서 차수 $p$ 의 사상이 $q \neq p$ 인 경우 $\mathbb{Z}_q$-코homology 에서 동형사상을 유도함을 이용하여 $\check{H}^3(F;\mathbb{Z}_q) = 0$ 를 보임.
• 해상도 정리와 $X$ 가 차원 3인 AR임을 이용하여 $\check{H}^3(F^\prime;\mathbb{Z}_q) = 0$ 를 보이고, 따라서 $\check{H}^3(F;\mathbb{Z}_q) = 0$ 를 유도함.

실험 결과

연구 질문

• RQ1 컴팩트 거리 공간 $X$ 에 대해 코homological 차원 $\operatorname{dim}_G X$ 의 동치 특성은 무엇인가요?
• RQ2 특히 계수가 서로 다른 소수에서 국소화된 경우, 코homological 차원은 컴팩트라의 곱에서 어떻게 행동합니까?
• RQ3 $M_p$ 컴팩트라의 $\mathbb{Z}_p$, $\mathbb{Z}_{(p)}$, $\mathbb{Q}$, $\mathbb{Z}_{p^\infty}$ 에 대한 코homological 차원은 무엇입니까?
• RQ4 해상도 정리와 더 단순한 공간의 역극한을 통해 컴팩트라의 코homological 차원을 계산할 수 있습니까?
• RQ5 $M_p \times M_q$ 의 곱에서 코homological 차원이 로그 법칙 $\dim M_p + \dim M_q$ 와 얼마나 다를 수 있습니까?

주요 결과

• Bockstein 및 Alexandroff 정리에 의해 $M_p$ 에 대해 $\operatorname{dim}_{\mathbb{Z}_p} M_p = \operatorname{dim}_{\mathbb{Z}_{(p)}} M_p = \operatorname{dim}_{\mathbb{Z}_{p^\infty}}} M_p = 4$ 라고 밝혀졌다.
• 동일한 $M_p$ 에 대해 모든 소수 $q \neq p$ 에 대해 $\operatorname{dim}_{\mathbb{Q}} M_p = \operatorname{dim}_{\mathbb{Z}_q} M_p = \operatorname{dim}_{\mathbb{Z}_{p^\infty}}} M_p = 3$ 이며, 이는 닫힌 부분집합에서 $\check{H}^3(F;\mathbb{Z}_q)$ 가 소멸하기 때문이다.
• $p$ 와 $q$ 가 서로 다른 소수일 때 곱 $M_p \times M_q$ 는 $\dim(M_p \times M_q) = 7$ 이며, 이는 로그 법칙 $\dim M_p + \dim M_q = 8$ 와 모순된다. 이는 $r = p,q$ 인 $\mathbb{Z}_r$-코homology 의 행동 때문이며.
• 코homological 차원 $\operatorname{dim}_G X$ 는 단조적이다: 모든 닫힌 부분집합 $A \subset X$ 에 대해 $\operatorname{dim}_G A \leq \operatorname{dim}_G X$ 이다.
• 정수 계수에 대한 코homological 차원은 커버링 차원과 같다: 컴팩트라에 대해 $\operatorname{dim}_{\mathbb{Z}} X = \dim X$ 이다.
• 모든 비자명한 아벨 군 $G$ 에 대해 $n$ 차원의 다각형체 $K$ 에 대해 $\operatorname{dim}_G K = n$ 이며, 이는 코homological 차원이 호모토피 유형의 위상적 불변량임을 보여준다.