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 理論值得攀登。