讓 K 理論可計算的正合列

為何我們根本想要正合列

無法計算的不變量只是裝飾。同調代數之所以強大，是因為它的不變量坐落於正合列中：知道三項中的兩項加上連接映射，常常就能定死第三項。K 理論被設計成同樣運作。其口號是：K_0 與 K_1 是同一條長正合列最底下的兩塊，由扮演邊緣映射角色的連接同態 ∂: K_1 → K_0 相連。

局部化序列的實戰

最有用的一條正合列把一個環、一個局部化，以及你「殺掉」的東西聯繫起來。對帶分式域 F 的Dedekind 整環 R，對一個極大理想取逆——或一次性對全體取逆——便給出局部化序列。在最底層算出來，它讀作一條短正合列，字面上重建了理想類群。

R a Dedekind domain, F = Frac(R), primes p ranging over Max(R).
Localization sequence (low-degree piece):

  K_1(R) -> K_1(F) --d--> (+)_p K_0(R/p) -> K_0(R) -> K_0(F) -> 0

Unpack each term:
  K_1(F) = F^x        (units of the field)
  K_0(R/p) = Z        (each residue field, one Z per prime)
  K_0(F)  = Z         (F is a field)

The map d: F^x -> (+)_p Z sends a unit to its tuple of valuations:
        d(x) = ( v_p(x) )_p          = the divisor of x.

Now take cokernels. The free group on primes (+)_p Z is the group of
fractional ideals; modding by the image of d (principal divisors) gives

        ker( K_0(R) -> Z )  =  Coker(d)  =  Cl(R) = ideal class group.

So  K_0(R) ~= Z (+) Cl(R),  i.e.  reduced K_0 = Cl(R).

Dedekind 整環的局部化序列字面上把 Cl(R) 作為 div: F^× → Div(R) 的餘核輸出。

盯住那個映射 ∂(x) = (v_p(x))_p。它把一個主理想對應到它的素分解——與經典素因子分解同樣的數據，如今重生為一個 K 理論連接同態。類群——你最初作為唯一分解失效之度量而遇見的對象——從一個蛇引理式的邊緣映射中掉了出來。這正是 K 理論不再顯得抽象的時刻。

函子性與正合範疇

這一切之所以成立，是因為 K_n 是函子。環映射 R → S 誘導 K_n(R) → K_n(S)；有限平坦映射甚至誘導一個反向的轉移 S → R。其自然的輸入不是環而是正合範疇——一個模範疇連同一類指定的短正合列——而 K 理論是從正合範疇出發的函子。這正是為何射影模的 K_0 與全體模的 G_0 都有定義，也是為何上面的局部化序列實則是關於正合範疇之商的陳述。

還有一處冪等完備化的微妙：正合範疇的 K_0 唯有在你劈裂每個投影子之後，才等於其冪等完備化的 K_0。略過它正是「相差一個直和項」之類錯誤的經典來源。把這一範疇論框架揣在口袋裡；正是它讓同一批定理能同時服務於代數、幾何與拓撲。