[논문 리뷰] On homotopical and homological $Z_n$-sets

Тарас Банах, Robert Cauty외 1명|arXiv (Cornell University)|2010. 02. 14.

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

한 줄 요약

이 논문은 대수적 위상수학 도구를 사용하여 호모로지적 $Z_n$-집합을 도입하고 연구하며, 투명한 호모토피 이sovorphism 정리에 의해 $\mathrm{LC}^{[}1]$-공간에서 호모토피적 $Z_n$-집합과의 동치성을 확립한다. 이 집합들에 대해 곱셈, 나눗셈, 및 $k$-근 공식을 유도하며, 메트릭 분리 가능한 $\mathrm{LC}^{[}n]$-공간에서 호모로지적 $Z_n$-점들의 집합이 $G_\delta$-집합임을 증명하고, 무한차원 위상수학에서 코homological 차원과 확장 차원에 응용한다.

ABSTRACT

We survey some properties of homotopical and homological $Z_n$-sets in topological spaces.

연구 동기 및 목표

• 호모로지적 $Z_n$-집합을 상대 호모로지 군을 사용하여 $\mathrm{LC}^{[}n]$-공간에서 특성화하기.
• 투명한 호모토피 이sovorphism 정리에 의해 $\mathrm{LC}^{[}1]$-공간에서 호모토피적 $Z_n$-집합과 호모로지적 $Z_n$-집합의 동치성을 확립하기.
• Künneth 공식을 사용하여 호모로지적 $Z_n$-집합에 대한 대수적 공식—곱셈, 나눗셈, 및 $k$-근—을 도출하기.
• 메트릭 분리 가능한 $\mathrm{LC}^{[}n]$-공간에서 호모로지적 $Z_n$-점들의 집합이 $G_\delta$-집합임을 증명하기.
• 클래스 $\mathcal{Z}_n^\mathbb{Z}$ 및 $\overline{\mathcal{Z}}_n^\mathbb{Z}$의 위상적 성질, 특히 코homological 차원과 확장 차원을 조사하기.

제안 방법

• 닫힌 부분집합 $A \subset X$가 모든 $k < n+1$ 및 모든 열린 집합 $U \subset X$에 대해 $H_k(U, U \setminus A) = 0$ 를 만족하면, 이를 호모로지적 $Z_n$-집합으로 정의한다.
• 투명한 호모토피 이sovorphism 정리를 적용하여 $\mathrm{LC}^{[}1]$-공간에서 호모토피적 $Z_n$-집합과 호모로지적 $Z_n$-집합을 연결한다.
• Künneth 공식을 사용하여 호모로지적 $Z_n$-집합에 대한 곱셈, 나눗셈, 및 $k$-근 공식을 도출한다.
• 기초적인 분리 조건을 갖는 호모로지 장벽과 Steinke의 분리 차원 $\mathsf{t}(\cdot)$ 개념을 사용하여 점별 조건을 통해 $Z_n$-집합을 특성화한다.
• Bockstein 이론을 적용하여, 어떤 집합이 $G$-호모로지적 $Z_n$-집합임과 동시에 모든 $H \in \sigma(G)$, 즉 $G$의 Bockstein 가족에 속하는 $H$에 대해 $H$-호모로지적 $Z_n$-집합임이 동치임을 보인다.
• 호모로지적 $Z_n$-집합인 $A$와 호모로지적 $Z_m$-집합인 $B$의 곱 $A \times B$가 $X \times Y$에서 호모로지적 $Z_{n+m+1}$-집합임을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $\mathrm{LC}^{[}1]$-공간 내 호모토피적 $Z_2$-집합이 $n > 2$에 대해 호모로지적 $Z_n$-집합이 되는가?
• RQ2 호모로지 군에 대한 어떤 대수적 조건이 호모로지적 $Z_n$-집합을 특성화하는가?
• RQ3 클래스 $\mathcal{Z}_n^\mathbb{Z}$ 및 $\overline{\mathcal{Z}}_n^\mathbb{Z}$는 곱, 나눗셈, 및 $k$-근 연산에서 어떻게 행동하는가?
• RQ4 호모로지적 $Z_n$-집합과 임의의 계수 군 $G$에 대한 코homological 차원 $\dim_G(X)$ 사이의 관계는 무엇인가?
• RQ5 국소적으로 컴팩트한 ANR 공간 $X$가 $C$-공간이 아니거나 비수축 가능한 $L$에 대해 확장 차원 $\leq L$를 만족하지 않는 조건은 무엇인가?

주요 결과

• Tychonov $\mathrm{LC}^{[}1]$-공간 내 호모토피적 $Z_2$-집합은 호모토피적 $Z_n$-집합이 되기 위한 필요충분조건으로서, 호모로지적 $Z_n$-집합임이어야 한다.
• 메트릭 분리 가능한 $\mathrm{LC}^{[}n]$-공간 $X$에서 호모로지적 $Z_n$-점들의 집합 $\mathcal{Z}_n^\mathbb{Z}(X)$는 $G_\delta$-집합이다.
• 국소적으로 컴팩트한 ANR 공간 $X \in \mathcal{Z}_\infty^\mathbb{Z}$는 $C$-공간이 아니며, 임의의 비수축 가능한 CW-복합체 $L$에 대해 $\mbox{e-dim}X \not\leq L$ 를 만족한다.
• 곱셈 정리에 따르면, 만약 $A$가 $X$에서 호모로지적 $Z_n$-집합이고 $B$가 $Y$에서 호모로지적 $Z_m$-집합이라면, $A \times B$는 $X \times Y$에서 호모로지적 $Z_{n+m+1}$-집합이다.
• 유한한 분리 차원 $d = \mathsf{t}(A)$를 갖는 닫힌 부분집합 $A \subset X$는 각 점 $a \in A$가 공간 $X$ 내에서 $G$-호모로지적 $Z_{n+d}$-점이면, $G$-호모로지적 $Z_n$-집합이다.
• 순서수적 분리 차원 $\mathsf{trt}(A)$를 갖는 닫힌 부분집합 $A \subset X$는 각 점 $a \in A$가 공간 $X$ 내에서 $G$-호모로지적 $Z_\infty$-점이면, $G$-호모로지적 $Z_\infty$-집합이다.