k-invariant
k-invariant（k-不変量）は、Postnikov Tower（ポストニコフ塔）を一段ずつ積み上げていく際に、「下の階層と次の階層をどのように『ひねって』結合するか」を指定する接着剤のようなデータのことです。数学的には、コホモロジー類（Cohomology class）として定義されます。
1. 接合部
ビルを建てるとき、1階の上に2階を載せるとします。
- 1階 (Xₙ₋₁): すでに完成している低次の構造。
- 2階の素材 (K(πₙ, n)): 新しく追加する $n$ 次のホモトピー群の情報。
- k-invariant (θ): 1階の形状に合わせて、2階をどう歪ませて固定するかを決める設計指示書です。
もし k-invariant が「ゼロ（自明）」であれば、それは単なる直積（ひねりのない単純な積み重ね）になります。しかし、現実の空間や複雑なシステムでは、この不変量が「ひねり」を加えることで、円周や球面のような多様な形（構造）が生まれます。
2. 数学的な役割
Postnikov Tower のステップ Xₙ → Xₙ₋₁ において、k-invariant は以下の写像（またはそのホモトピー類）として現れます。
θₙ: Xₙ₋₁ → K(πₙ(X), n+1)
- 情報の不整合を測る: 下の階層 X_{n-1} において、次の次元 n で「閉じているはずのループが閉じていない」といった「穴」や「ひねり」を検知します。
- ファイブレーションの定義: この θₙ を使って、プルバック（Pullback）という操作により次の階層 X_nを作り出します。
つまり、空間 X のホモトピー型を完全に復元するには、各次数のホモトピー群 πₙ だけでなく、それらを繋ぐ k-invariant の連鎖が必要なのです。
k-invariantのkには特段の意味がないとされています。