让 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。略过它正是「相差一个直和项」之类错误的经典来源。把这一范畴论框架揣在口袋里；正是它让同一批定理能同时服务于代数、几何与拓扑。