K 理论为何把代数系于拓扑与数论

数论：整数环的 K_0 与 K_1

设 O_K 为数域 K 的整数环。两个经典不变量主宰其算术：理想类群 Cl(O_K)，度量唯一分解之失效；以及单位群 O_K^×，由Dirichlet 单位定理描述。K 理论一举吸收两者。

O_K = ring of integers of a number field K, a Dedekind domain.

DEGREE 0:   K_0(O_K) ~= Z (+) Cl(O_K).
   The rank-Z part is the free piece; the reduced part is the
   class group. So |Cl(O_K)| = h_K, the class number, lives in K_0.

DEGREE 1:   K_1(O_K) ~= O_K^x   (SK_1 = 0, Bass-Milnor-Serre).
   By Dirichlet's unit theorem,
       O_K^x  ~=  mu_K  (+)  Z^{r_1 + r_2 - 1},
   roots of unity times a free part of rank r_1 + r_2 - 1.

Worked example:  K = Q(sqrt(-5)),  O_K = Z[sqrt(-5)].
   Cl(O_K) = Z/2  (the ideal (2, 1+sqrt(-5)) is non-principal),
   so  K_0 = Z (+) Z/2,  h_K = 2.
   Units: only +-1, so  K_1 = O_K^x = {+1, -1} = Z/2.

对 O_K：K_0 打包类数，K_1 打包单位（Dirichlet）。整套基础算术尽在两个 K 群中。

在此处的统一上停一停。类数与单位秩——出现在 Dedekind zeta 函数解析类数公式中的两个数——恰是 K_0 与 K_1 的结构。K 理论没有发明新的算术；它揭示了两个旧不变量是同一对象的 0 次与 1 次影子。

拓扑：为何用字母 K、为何向量丛

K 理论诞生于拓扑。把「R 上的射影模」换成「空间 X 上的向量丛」——当 X 紧致时，二者经 Serre–Swan 定理精确吻合：X 上的丛与连续函数环 C(X) 上的射影模相同。向量丛的 Grothendieck 群就是拓扑 K 理论 K^0(X)，而字母 K（取自德文 Klasse，「类」）是有意共享的。

猜想之桥：K 群与 zeta 值

最深的回报至今部分仍是猜想。Quillen 算出了有限域的 K 理论；Z 本身的高阶 K 群 K_n(Z) 困难得多，并直接联系到 Riemann zeta 函数 ζ(s) 的特殊值。这是 Lichtenbaum 与 Quillen 猜想的内容，借 Voevodsky 与 Rost 对 Bloch–Kato／范数剩余猜想的证明，大部分如今已成定理。

Flavour of the K(Z) <-> zeta dictionary (orders of finite groups,
for even index >= 2):

   |K_{4k+2}(Z)|  /  |K_{4k+1}(Z)|   ~   numerator/denominator of
                                          a Bernoulli-number ratio
                                          = essentially  zeta(-1-2k).

Concrete known values:
   K_0(Z) = Z
   K_1(Z) = Z/2          ( = {+-1}, the units )
   K_2(Z) = Z/2
   K_3(Z) = Z/48
   K_4(Z) = 0
   K_5(Z) = Z
   K_7(Z) = Z/240    <-- 240 = denominator of zeta(-3) = B_4/4 data

The appearance of 240 and 48 is NOT a coincidence: these are the
denominators of zeta values, predicted by the Lichtenbaum conjecture.

Z 的高阶 K 群的阶编码 zeta 值的分母——代数、拓扑、数论同账。

退后一步，看看一个构造做成了什么。从「给模的同构类做减法」这一无所凭依处出发，我们建起 K_0；推及自同构给出 K_1 与行列式；探查行变换之间的关系给出 K_2 与 Steinberg 符号；而单一的同伦论想法产出全部高阶 K。一路上，类群、单位定理、向量丛与 zeta 值，悉数化为同一对象的不同侧面。正是这种汇聚——而非任何单个计算——使代数 K 理论值得攀登。