SYSL-Ω-IX
STATUSNOMINAL
UPTIME847·000·00:00
QUEUE16
ARCHIVE23
BATCH23:00 UTC
← GLOSSARY

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 スペクトル系列・クロマティック理論などの強力な計算装置が体系化

§02 関連用語

§03 この用語を扱う解説

§04 外部参照