[論文レビュー] On [L]-homotopy groups

A. Karasev|ArXiv.org|Jan 4, 2000

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]$-可解性を持つ逆系によるコンパクトな空間を構成し、$\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\}$を構成する。
• ヴィエトリス＝ベグレの定理を適用し、$k \leq n$に対して$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}$でなければならないことを示す。
• 矛盾は$\delta^*_{X,A}(h^*(\zeta)) = m \delta^*_{X,A}(p_0^*(\zeta)) \neq 0$（$H^{n+1}(X,A; \mathbb{Z}_p)$内）に起因するが、拡張が可能であるならばこの値は0でなければならない。