Stable Homotopy
安定ホモトピー
DEFINITION
位相空間のホモトピー類を「懸垂 (suspension) で十分に振った後で見たもの」として扱う枠組みです。具体的には、空間 $X$ の懸垂 $\Sigma X$ を繰り返し取って得られる「スペクトラム (spectrum)」を基本対象とします。不安定ホモトピー(球面のホモトピー群 $\pi_n(S^k)$ など)が次元によって複雑に変動するのに対し、安定領域 $n \gg k$ では構造がはるかに規則的になります。代数的トポロジーの中心的な計算対象であり、現代的にはクロマティック・ホモトピー理論(Morava K-理論、Lubin–Tate 理論)として体系化されています。「安定」という言葉が示す通り、極限を取って初めて見える普遍的な対象です。
§01 押さえるべき要点
- 懸垂 $\Sigma X$ を繰り返した極限を捉える視点
- 基本対象は空間ではなくスペクトラム(懸垂が同型を与える対象の族)
- 球面のホモトピー群 $\pi_n(S^k)$ は $n - k$ が大きいと「安定値」に達する(Freudenthal の懸垂定理)
- スペクトラム圏は三角圏の典型例で、現代的には ∞-圏として扱われる
- Adams スペクトル系列・クロマティック理論などの強力な計算装置が体系化