k-invariant

k-invariant（k-不変量）は、Postnikov Tower（ポストニコフ塔）を一段ずつ積み上げていく際に、「下の階層と次の階層をどのように『ひねって』結合するか」を指定する接着剤のようなデータのことです。数学的には、コホモロジー類（Cohomology class）として定義されます。

1. 接合部

ビルを建てるとき、1階の上に2階を載せるとします。

• 1階 (X_n-1): すでに完成している低次の構造。
• 2階の素材 (K(π_n, n)): 新しく追加する $n$ 次のホモトピー群の情報。
• k-invariant (θ): 1階の形状に合わせて、2階をどう歪ませて固定するかを決める設計指示書です。

もし k-invariant が「ゼロ（自明）」であれば、それは単なる直積（ひねりのない単純な積み重ね）になります。しかし、現実の空間や複雑なシステムでは、この不変量が「ひねり」を加えることで、円周や球面のような多様な形（構造）が生まれます。

2. 数学的な役割

Postnikov Tower のステップ X_n → X_n-1 において、k-invariant は以下の写像（またはそのホモトピー類）として現れます。

θ_n: X_n-1 → K(π_n(X), n+1)

1. 情報の不整合を測る: 下の階層 X_{n-1} において、次の次元 n で「閉じているはずのループが閉じていない」といった「穴」や「ひねり」を検知します。
2. ファイブレーションの定義: この θ_n を使って、プルバック（Pullback）という操作により次の階層 X_nを作り出します。

つまり、空間 X のホモトピー型を完全に復元するには、各次数のホモトピー群 π_n だけでなく、それらを繋ぐ k-invariant の連鎖が必要なのです。

k-invariantのkには特段の意味がないとされています。