[논문 리뷰] On [L]-homotopy groups

A. Karasev|ArXiv.org|2000. 01. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 3

한 줄 요약

이 논문은 임의의 유한 CW 복합체 $ L $이 $[S^n] < [L] \leq [S^{n+1}]$를 만족할 때, $[L]$-호모토피 군 $\pi_n^{[L]}(S^n)$가 $\mathbb{Z}$와 동형임을 증명한다. 확장 차원 이론과 $[L]$-호모토피 동치를 이용하여, $[L]$-해결 가능성을 갖는 역계열을 통해 컴actum을 구성하고, $\pi_n^{[L]}(S^n) \cong \mathbb{Z}_m$이라는 가정으로부터 모순을 도출함으로써 군이 무한 순환임을 증명한다.

ABSTRACT

Some properties of [L]-homotopy group for finite complex L are investigated. It is proved that for complex L whose extension type lying between Sn and Sn+1 n-th [L]-homotopy group of Sn is isomorphic to Z.

연구 동기 및 목표

• 표준 호모토피 군과 $L$의 확장 유형을 이용해 구면의 $[L]$-호모토피 군을 계산하는 것.
• $[S^n]$과 $[S^{n+1}]$ 사이에 엄격히 놓여 있는 $[L]$에 대해 $\pi_n^{[L]}(S^n)$을 결정하는 열린 문제를 해결하는 것.
• 이러한 $L$에 대해 $\pi_n^{[L]}(S^n) \cong \mathbb{Z}$임을 증명하여 고전 호모토피 이론을 $[L]$-호모토피 프레임워크로 확장하는 것.

제안 방법

• 공간 $X$에 대해 $\mathop{\rm ed}\nolimits(X) \leq [L]$일 때, $[L]$-호모토피를 확장 성질을 통해 정의한다.
• $[L]$-유일성 $\mathop{\rm ANE}\nolimits([L])$ 컴팩텀과 약간의 $[L]$-부드러운 사상들을 이용해 $[L]$-구면 $S^n_{[L]}$을 구성한다.
• $X_0 = D^{n+1}$, $\mathop{\rm mesh}\nolimits \to 0$, 그리고 $[L]$-해결 가능성을 갖는 컴팩트 다각형의 역계열 $\{X_i, p^{i+1}_i\}$을 구성한다.
• Vietoris-Begle 정리를 적용하여, $k \leq n$에 대해 $p_0^*: H^k(S^n; \mathbb{Z}_p) \to H^k(A; \mathbb{Z}_p)$의 코homology 동형을 분석한다.
• 쌍 $(X, A)$의 정확한 수열을 이용해 $\delta^*_{X,A}$를 분석하고, $\pi_n^{[L]}(S^n) \cong \mathbb{Z}_m$이라는 가정으로부터 모순을 도출한다.
• $p_0^*(\zeta)$가 $H^n(A; \mathbb{Z}_p) \cong \mathbb{Z}_p$의 생성자를 이루고, $h = z_m p_0$이 $p > m$이면 $\delta^*_{X,A}(h^*(\zeta)) = m \delta^*_{X,A}(p_0^*(\zeta)) \neq 0$임을 이용하여 확장이 불가능함을 보인다.

실험 결과

연구 질문

• RQ1 $[L]$가 $[S^n]$과 $[S^{n+1}]$ 사이에 엄격히 놓여 있을 때 $\pi_n^{[L]}(S^n)$의 구조는 무엇인가요?
• RQ2 $[L]$-호모토피 군은 표준 호모토피 군과 $L$의 코homological 자료를 이용해 계산될 수 있나요?
• RQ3 주어진 확장 유형 제약 조건 하에서 $[L]$-호모토피 군 $\pi_n^{[L]}(S^n)$은 여전히 $\mathbb{Z}$와 동형입니까?

주요 결과

• 모든 유한 CW 복합체 $L$에 대해 $[S^n] < [L] \leq [S^{n+1}]$를 만족할 때, $[L]$-호모토피 군 $\pi_n^{[L]}(S^n)$는 $\mathbb{Z}$와 동형이다.
• 증명은 $X_0 = D^{n+1}$이고 $\mathop{\rm mesh}\nolimits \to 0$인 $[L]$-해결 가능성을 갖는 역계열로부터 컴팩텀 $X = \lim S$를 구성하는 데 기반한다.
• 코homological 분석 결과 $H^n(X; \mathbb{Z}_p) = 0$이며, $p_0^*: H^n(S^n; \mathbb{Z}_p) \to H^n(A; \mathbb{Z}_p)$는 동형이므로 $p_0^*(\zeta)$는 차수 $p$의 생성자를 이룬다.
• $p > m$이면 $h = z_m p_0$은 $X$ 위로 확장될 수 없으며, 이는 $\pi_n^{[L]}(S^n) \cong \mathbb{Z}_m$이라는 가정과 모순된다. 따라서 군은 $\mathbb{Z}$여야 한다.
• 모순은 $H^{n+1}(X,A; \mathbb{Z}_p)$에서 $\delta^*_{X,A}(h^*(\zeta)) = m \delta^*_{X,A}(p_0^*(\zeta)) \neq 0$이지만, 확장이 가능하려면 이 값이 0이어야 하므로 발생한다.