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 の連鎖が必要なのです。

3. グロタンディークと「結合の秘密」

ダニエル・カンの Kan Complex やグロタンディークの ∞-category の文脈では、この k-invariant は「高次の結合規則（Composition law）」そのものと言えます。

• 1次（π_1）の結合は道（Path）のつなぎ合わせですが、それが2次（π_2）でどう「一貫性」を持つかは、この不変量によって記述されます。
• グロタンディークが『Pursuing Stacks』で追い求めたのは、この不変量たちが織りなす**無限階層のコヒーレンス（整合性）**でした。

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