丹尼尔·奎伦 · 世界数学发展史

获奖原因

丹尼尔·奎伦（Daniel Quillen，1940–2011）获 1978 年菲尔兹奖，核心成就是创立高阶代数 K-理论（higher algebraic K-theory），把 K 群从 $K_0,K_1,K_2$ 推广到任意 $K_n$ 。

在此之前， $K_0(R)$ （投射模的Grothendieck群）、 $K_1(R)$ （单位群/ $\mathrm{GL}$ ）、 $K_2(R)$ （Steinberg/Milnor 群）已有定义，但” $K_3,K_4,\dots$ 是什么”长期无解。奎伦用同伦论给出统一定义：对环 $R$ ， $K_n(R)=\pi_n\big(B\mathrm{GL}(R)^+\big),$ 其中 $B\mathrm{GL}(R)^+$ 是对分类空间做”plus 构造”（消去非阿贝尔基本群而不改变同调）；等价地，他用Q-构造（在一个”拟范畴” $Q(\mathcal{P})$ 上取分类空间）得到同样的 $K_n$ 。由此他算出有限域的 K-群： $K_{2i-1}(\mathbb{F}_q)\cong \mathbb{Z}/(q^i-1),\qquad K_{2i}(\mathbb{F}_q)=0,$ 并给出 Adams 运算驱动的Bott 周期性式解释。他还与萨斯林（Suslin）独立证明了塞尔猜想：多项式环上的投射模必自由（ $P$ 为 $R[x_1,\dots,x_n]$ 上投射模 ⇒ $P\cong R^n$ 自由）。

奎伦另开创了同伦代数（模型范畴，model categories），为同伦论提供公理框架。

问题来龙去脉

一、问题：K 群到哪儿去了？

代数 K-理论起源于拓扑与代数几何的” Grothendieck 群”： $K_0(R)$ 把投射模 $[P]\mapsto$ 类，符号差、指标都落在这里。随后：

$K_1(R)=\mathrm{GL}(R)/E(R)$ （稳定一般线性群的商，测量”稳定同构 vs 真正同构”）；
$K_2(R)$ （Milnor，用 Steinberg 关系）捕捉中心扩张。

但鲍特（Bott）在拓扑 K-理论中发现周期性 $K^{n+2}\cong K^n$ ，而代数的 $K_3,K_4,\dots$ 根本没有定义。一个核心难题：能否用统一的、可与同伦论对接的方式，定义所有高阶 $K_n(R)$ ？ 这关系到拓扑 K-理论（Atiyah–Hirzebruch）与代数 K-理论的统一，以及类域论/代数数论中 $K_2$ 与范剩余符号的联系（Milnor、 Bass–Tate）。

二、奎伦的突破：plus 构造与 Q-构造

奎伦的洞见是：把 K 理论”几何化”为同伦群。

Plus 构造：对空间 $X=B\mathrm{GL}(R)$ （其 $\pi_1=\mathrm{GL}(R)$ 非阿贝尔），奎伦定义一种手术 $X\mapsto X^+$ ：在不改变同调 $H_*(X^+)$ 的前提下，消去由”完美子群” $E(R)$ （稳定初等矩阵）生成的基本群。结果 $B\mathrm{GL}(R)^+$ 有阿贝尔基本群，且 $K_n(R)=\pi_n(B\mathrm{GL}(R)^+).$ 这套”K 群 = 加号空间的同伦群”给出了定义。
Q-构造（等价表述）：定义范畴 $\mathcal{P}(R)$ （有限生成投射 $R$ -模），构造一个”拟范畴” $Q\mathcal{P}$ ，其分类空间满足 $\pi_n(Q\mathcal{P})\cong K_n(R)$ 。Q-构造更范畴化，便于推广到概型、遗传范畴乃至导出代数几何（后来的 Waldhausen K-理论、谱 K-理论都源于此）。

两个构造在适当意义下一致，确立了 K 理论是可加范畴上的同伦不变量。

三、关键计算：有限域的 K-群

奎伦证明最令人叫绝的是对有限域 $\mathbb{F}_q$ ：利用”plus 构造”在 $\mathrm{GL}(\mathbb{F}_q)$ 上的伽罗瓦作用与Adams 运算 $\psi^k$ （由群环的 Frobenius 提升），他得到： $K_{2i-1}(\mathbb{F}_q)\cong \mathbb{Z}/(q^i-1),\quad K_{2i}(\mathbb{F}_q)=0.$ 这模拟并解释了拓扑 K-理论的 Bott 周期；且与局部类域论吻合—— $K_2^M(\mathbb{F}_q)$ 的 Milnor 符号与范剩余符号对应。该计算是后来奎伦–利希滕鲍姆猜想（连接 K-理论与 étale 上同调）与 Bloch–Kato 猜想的源头。

四、意义与后续

代数 K-理论成为主学科：奎伦的定义使高阶 K 理论成为代数几何（ motifs、 motivic 上同调）、数论（整环的 K-群与特殊值）、拓扑（ surgery 理论中的 $L$ -群、K-理论障碍）的通用语言。
塞尔猜想的副产品：为处理 $K_1$ ，奎伦发展出”稳定化 + 初等矩阵”技巧，最终与萨斯林各自证明塞尔猜想（多项式环上投射模自由），是交换代数里程碑。
模型范畴：他晚年的《同伦代数》（1967）提出模型范畴公理，统一了拓扑、同伦代数、层上同调的”弱等价”框架，深刻影响现代同伦理论与导出代数几何（Lurie 等工作）。

奎伦以”用同伦论的眼光重铸代数不变量”的风格，把 K 理论从零散的低阶群提升为系统的同伦理论，是 20 世纪代数拓扑与代数几何交汇处最关键的人物之一。