丹尼尔·奎伦（Daniel Gray Quillen）

现代代数 K 理论的主建筑师与同伦代数的奠基人：以模型范畴、Q 构造和塞尔猜想的证明，把同伦论方法注入代数与几何，1978 年菲尔兹奖得主。

一、生平与时代背景

丹尼尔·格雷·奎伦（Daniel Gray Quillen，常被称为 Dan）1940 年生于美国新泽西州奥兰治（Orange，New Jersey）。确切生日学界记载有出入：多数权威来源（含维基百科、HandWiki 等）记为 6 月 22 日，而 MacTutor 数学史档案记为 6 月 27 日——此处存疑（见第六节）。父亲查尔斯·西尔维斯特·奎伦（Charles Sylvester Quillen，1909—1989）受训为化学工程师，后任职业高中物理教师；母亲艾玛·刘易斯·格雷（Emma Lewis Gray，1910—1999）是秘书，是推动他早年发展的关键人物。丹是家中两个儿子的长子。

12 岁时父亲给他一本微积分书，点燃了他对数学的热情；一度着迷国际象棋，但因竞技强度太大而兴趣减退。他获奖学金入纽瓦克学院（Newark Academy，一所优质私立中学），并在中学最后一年之前就因奖学金项目提前一年（1957 年 9 月）进入哈佛大学——因表现极其出色，中学仍补发了毕业证书。1959 年他参加第 20 届普特南数学竞赛，获普特南奖学金（Putnam Fellow）。1961 年以优异成绩（magna cum laude）获哈佛学士学位，1962 年获硕士学位。1961 年 6 月 3 日他与让·普莱塞（Jean Plesset）结婚，二人因共同的音乐爱好相识（哈佛管弦乐团：让拉中提琴，丹自称敲三角铁/偶奏小号），最终育有六个孩子。

本科毕业后奎伦在哈佛师从拉乌尔·博特（Raoul Bott）攻读博士，1964 年以论文《过定线性偏微分方程组的形式性质》获博士学位。博特对他影响至深——奎伦后来说博特让他明白"做优秀数学家不必反应快"。博士毕业后他入麻省理工学院（MIT）任教，此后长期任职 MIT，期间多次访学：1968—1969 年作为斯隆学者在巴黎 IHÉS，深受亚历山大·格罗滕迪克（Alexander Grothendieck）影响；1969—1970 年在普林斯顿高等研究院，深受迈克尔·阿蒂亚（Michael Atiyah）影响，这一年是他最多产的时期；1973—1974 年作为古根海姆学者再访 IHÉS。1984—2006 年他任牛津大学玛格达伦学院（Magdalen College）Waynflete 纯粹数学教授（缘起于他在波恩马克斯·普朗克研究所休假时与阿蒂亚的交流）。2006 年 65 岁时退休。

奎伦性格温和、谦逊、低调，很少公开露面，但每次出现几乎都带着惊人的新定理。晚年罹患阿尔茨海默病，逐渐丧失做数学、演奏音乐、阅读与理性思考的能力；2010 年曾因走失被警方搜寻。2011 年 4 月 30 日，他在佛罗里达州盖恩斯维尔（Gainesville；MacTutor 误拼为 "Gainsville"）的 Haven 安宁疗护中心因阿尔茨海默晚期并发症辞世，享年 70 岁。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 模型范畴与同伦代数（1967）

问题背景：20 世纪中叶同调代数发展出把同伦型/同调群赋予群、代数等非空间对象的方法；格罗滕迪克与 Verdier 发明了导出范畴（Abel 范畴的同伦范畴类比），Daniel Kan 证明拓扑空间的同伦范畴可由单纯集经组合方式得到。但缺少一个统一框架回答：在任意范畴中何时可以"局部化一类态射并称结果为同伦范畴"？

关键思想：奎伦在 Springer 讲义《同伦代数》（LNM 43，1967）中定义了模型范畴：一个范畴 $\mathcal C$ 配有三类态射——弱等价（W）、纤维化（F）、上纤维化（C），满足五组公理（有限极限/余极限存在；三类对收缩封闭；弱等价满足 2-of-3；提升公理：无环上纤维化对纤维化有左提升性质，上纤维化对无环纤维化有左提升性质；分解公理：任意态射可分解为无环上纤维化∘纤维化与上纤维化∘无环纤维化）。同伦范畴 $\mathrm{Ho}(\mathcal C)$ 由 $\mathcal C$ 对弱等价作形式局部化得到。

精确表述（例子）：拓扑空间的 Serre 模型结构、单纯集的 Kan–Quillen 模型结构、链复形的投射/内射模型结构都是模型范畴；投射/内射分解正是上纤维化/纤维化消解（cofibrant/fibrant replacement）。这统一了同调代数的导出范畴与拓扑的同伦范畴。

与前人关系：综合格罗滕迪克- Verdier 导出范畴与 Kan 的单纯方法；当时几乎无人关注，30 年后成为同伦代数（∞-范畴、稳定同伦范畴）的基础。

局限性：原书高度抽象、几乎无例子与应用；其全部威力由后人（如 Lurie 的 ∞-范畴论）逐步释放。

2. 有理同伦理论（1969）

问题背景：计算空间的有理同伦群 $\pi_i(X)\otimes\mathbb Q$ 极其困难。

关键思想：奎伦 1969 年证明：单连通（或更一般幂零）空间的有理同伦范畴等价于微分分次李代数（DGLA）的同伦范畴——对每个空间 $X$ 可构造其奎伦模型 $\lambda(X)$，一个自由 DGLA，其上同调等于 $X$ 的有理同伦李代数。等价地（Sullivan 独立给出），有理同伦范畴也等价于交换微分分次代数（CDGA）的同伦范畴（Sullivan 模型）。

精确表述（奎伦等价）：存在伴随函子 $\lambda:\mathrm{Top}*\rightleftarrows\mathrm{DGLA}$，在单连通幂零空间上诱导有理同伦范畴与 DGLA 同伦范畴的等价；$\pi_i(X)\otimes\mathbb Q\cong H(\lambda(X))$。

与前人关系：与 Dennis Sullivan 独立发展（Sullivan 侧重 CDGA 与具体计算）；二人共同创立有理同伦理论。

局限性：只捕捉有理（扭-free）信息；挠同伦群不在其范围内。

3. Adams 猜想、复配边与形式群、有限群上同调（1970—1971 丰产期）

这一时期奎伦几乎同时做出多项奠基性工作，均源自他在代数几何（格罗滕迪克 étale 同伦）与模表示论之间建立的桥梁。

(a) Adams 猜想：Adams 1963 年猜想：对有限复形上的向量丛 $\xi$ 与 Adams 运算 $\psi^k$，存在与 $k$ 相关的整数 $e(k)$ 使得 $e(k)(\psi^k(\xi)-\xi)$ 的球面纤维化平凡，即 $J(\psi^k(\xi))=J(\xi)$。奎伦给出两种证明：代数几何方法（用 étale 同伦，细节由其学生 Eric Friedlander 补全）与模表示论方法（他本人完成，关键观察是离散群 $GL_n(\bar{\mathbb F}_p)$ 与李群 $GL_n(\mathbb C)$ 的分类空间在远离 $p$ 处有相同同调）。Dennis Sullivan 几乎同时用不同方法独立证明。

(b) 复配边与形式群律：奎伦 1969 年指出复配边环 $MU_$ 上携带一个形式群律（复配边的形式群律），且是泛的：对任意环 $R$ 上的形式群律 $F$，存在唯一环同态 $MU_\to R$ 把泛形式群律映到 $F$。这重新导出 Milnor 1960 年用 Adams 谱序列得到的 $MU_*\cong\mathbb Z[x_1,x_2,\dots]$（偶次生成元）的计算，且完全不依赖 Adams 谱序列，只用流形上几何幂运算的基本性质。这成为色同伦（chromatic）理论的基石。

(c) 有限群 mod $p$ 上同调的结构定理：奎伦证明（Atiyah–Swan 猜想）：有限群 $G$ 的 mod $p$ 上同调环 $H^(G;\mathbb F_p)$ 的 Krull 维数等于 $G$ 的初等阿贝尔 $p$ 子群的最大秩；并给出奎伦分层：$\mathrm{Spec}\,H^(G;\mathbb F_p)$ 是各初等阿贝尔 $p$ 子群 $E$ 的像 $\mathrm{Im}(H^(G)\to H^(E))$ 之并（模去正规化子作用）。

与前人关系：综合格罗滕迪克动机、Milnor 配边、Atiyah–Swan 猜想；为后来色同伦与群上同调的几何化奠基。

4. 高阶代数 K 理论：Q 构造（1973）

问题背景：格罗滕迪克在代数几何中引入 $K_0$（Grothendieck 群），Whitehead 引入 $K_1$（Whitehead 群），Bass、Milnor 定义了 $K_2$，但 $n\ge 3$ 的高阶 $K$ 群长期缺少良好定义。

关键思想：奎伦在《高阶代数 K 理论 I》中给出两个等价构造： - + 构造：对环 $R$，$K_i(R)=\pi_i(BGL(R)^+)$（$i\ge 1$），其中 $BGL(R)^+$ 是对 $BGL(R)$ 作 Quillen + 构造（杀去 $GL(R)$ 的完满正规子群 $E(R)$ 而不改变同调），外加 $K_0$。 - Q 构造：对正合范畴 $\mathcal P$（如环上有限生成投射模），定义范畴 $Q\mathcal P$，令 $K_i(\mathcal P)=\pi_{i+1}(BQ\mathcal P)$。Q 构造适用范围更广，并满足 dévissage、消解（resolution）、局部化长正合列等基本定理。

精确表述：对环 $R$，$K_0(R)$ 是有限生成投射模的 Grothendieck 群，$K_1(R)=GL(R)/[GL,GL]$，$K_2(R)=\ker(St(R)\to GL(R))$（Milnor），高阶 $K_i$ 由上述同伦群给出。对正则环（如域、$\mathbb Z$、多项式环）有 $K_i(R)\cong K_i(R[t])$。

与前人关系：统一并大幅推广了 Grothendieck、Whitehead、Bass、Milnor 的低阶 K 理论；是 1978 年菲尔兹奖的核心依据。Hyman Bass 评 Q 构造："像登上一颗新的友好数学行星"。

局限性：高阶 K 群的具体计算极其困难（如 $K_i(\mathbb Z)$ 的计算涉及数论与球稳定同伦群，历经多年）。

5. 塞尔猜想的证明（奎伦-苏斯林定理，1976）

问题背景：塞尔 1955 年猜想：域（或 PID）上的多项式环 $k[x_1,\dots,x_n]$ 上的每个有限生成投射模都是自由的（已知是稳定自由的）。这是代数 K 理论中最著名的问题之一。

关键思想：1976 年奎伦与苏斯林（Andrei Suslin）各自独立给出证明。奎伦的证明使用奎伦拼贴（Quillen patching）/局部-整体原理：若模在每个局部环 $R_{\mathfrak m}$ 上自由，则它在 $R[t]$ 上由 $R$ 上的模扩张得到；结合 Horrocks 定理与归纳，逐步把自由性从 $R_{\mathfrak m}[t]$ 提升到 $R[t]$。

精确表述（奎伦-苏斯林定理）：若 $R$ 是主理想整环（或更一般的零维环/域），则 $R[x_1,\dots,x_n]$ 上每个有限生成投射模是自由的。对域 $k$，$k[x_1,\dots,x_n]$ 上有限生成投射模均自由。

与前人关系：解决了塞尔悬置 20 余年的猜想；推动了多项式环上投射模与代数向量丛的研究。

局限性：对一般正则环（非域/PID）的多项式环，投射模未必自由（存在非自由投射模）。

6. 循环同调与非交换几何（与 Loday、Cuntz 合作）及奎伦度量

问题背景：循环同调（Connes、Tsygan 独立引入）是非交换几何的基础上同调理论。

关键思想：奎伦与让-路易·洛代（Jean-Louis Loday）合作系统发展循环同调，引入双变循环上同调（bivariant cyclic cohomology），证明了割除定理（excision），并给出代数 K 理论与循环同调之间的陈特征映射。与约阿希姆·孔茨（Joachim Cuntz）合作发展了局部凸代数的 K 理论与循环同调。

奎伦度量（1985）：对黎曼曲面（或一般复流形）上的 $\bar\partial$ 算子族，奎伦在行列式线丛上构造了一个自然度量（奎伦度量），其曲率由黎曼曲率的显式公式给出（奎伦曲率公式），在数学物理（反常抵消、模空间上的度量）中起核心作用。

四、代表著作与文献

• 《同伦代数》（Homotopical Algebra），Lecture Notes in Mathematics 43，Springer，1967。模型范畴的奠基文献。
• 《有理同伦理论》（Rational homotopy theory），Annals of Math. 90 (1969), 205–295。
• 《初等阿贝尔 p 子群与上同调》等关于有限群 mod p 上同调的系列论文，Annals of Math. (1971)。
• 《配边与形式群》（Elementary proofs of some results of cobordism theory using Steenrod operations 及关于 formal groups 的工作），1969–1971。
• 《高阶代数 K 理论 I》（Higher algebraic K-theory. I），in Algebraic K-theory I, LNM 341 (1973), 85–147。Q 构造。
• 《多项式环上的投射模》（Projective modules over polynomial rings），Invent. Math. 36 (1976), 167–171。塞尔猜想。
• （与 J.-L. Loday）《循环同调与矩阵李代数的同调》等，1983–1984。
• 《黎曼曲面的 Cauchy–Riemann 算子的行列式》（Determinants of Cauchy-Riemann operators over a Riemann surface），Funct. Anal. Appl. 19 (1985), 31–34。奎伦度量。

五、师承、学派与同时代交往

• 老师：博士导师拉乌尔·博特（Raoul Bott，哈佛）；博特的几何眼光与"不必快"的治学态度深刻塑造了他。
• 三大影响：博特、格罗滕迪克（IHÉS 1968–69，范畴化与动机思想）、阿蒂亚（IAS 1969–70，K 理论与指标理论）；此外受 Daniel Kan 的单纯方法与 Dennis Sullivan 的影响。
• 重要合作者：让-路易·洛代（循环同调）、约阿希姆·孔茨（局部凸代数 K 理论/循环同调）；学生 Eric Friedlander（完成 étale 同伦版 Adams 猜想）、Ken Brown、Jeanne Duflot 等。
• 同时代互动：与 Sullivan 独立发展有理同伦、几乎同时证明 Adams 猜想（不同方法）；与苏斯林独立证明塞尔猜想；与 Atiyah 在牛津共事多年。
• 学派归属：MIT 代数拓扑学派（博特、Kan 传统）与格罗滕迪克式代数几何的结合，跨越代数、拓扑与几何。

六、争议、公案与历史评价

• 出生日期存疑：MacTutor 数学史档案记奎伦生于 1940 年 6 月 27 日，而维基百科、HandWiki、学术传记站点等多数来源记为 6 月 22 日；MIT 官方讣告与《Notices》纪念文集仅记"1940–2011，享年 70 岁"，未列具体日期。两说并存，本档案无法裁决，特此标「存疑」。
• 与 Sullivan 的并行发现：有理同伦理论（奎伦的 DGLA 模型 vs Sullivan 的 CDGA 模型）与 Adams 猜想（奎伦的代数几何/表示论方法 vs Sullivan 的不同方法）均为几乎同时的独立发现，学界普遍承认二人各自的独立贡献，无优先权之争。
• 与 Suslin 的并行发现：塞尔猜想 1976 年由奎伦与苏斯林独立证明，二人成果并列，称为奎伦-苏斯林定理，无归属争议。
• 历史评价：1978 年菲尔兹奖授予他"作为高阶代数 K 理论的主建筑师"；AMS 2012 年纪念文集称他"比任何人都更负责把代数 K 理论塑造成今日的样子，并展示了它的力量与优雅"。海曼·巴斯总结："数学天赋常表现为解题或建理论，奎伦是罕见的能以强有力的一般思想解决艰深具体问题、并统一多元方法的例子。"
• 晚年：阿尔茨海默病夺去了他做数学与音乐的能力，结局令人痛惜——一个以清晰与精确著称的数学家，最终被剥夺了清晰与精确。

七、身后影响与学术谱系

• 模型范畴：成为同伦代数的基石，衍生出 ∞-范畴论（Lurie）、稳定模型范畴、奎伦模型结构等，是现代同伦论与高等范畴论的基础语言。
• 代数 K 理论：Q 构造与 + 构造使高阶 K 理论成为一个完整领域，连接代数几何、数论、算子代数与拓扑；推动了 K 理论在算术几何（如 Beilinson 猜想）与非交换几何中的应用。
• 有理同伦：成为研究空间有理同伦型的标准工具，在辛几何、弦拓扑、形变理论中有广泛应用。
• 循环同调：与 Connes 的工作共同奠定非交换几何的同调基础。
• 奎伦度量/行列式线丛：在数学物理（反常、共形场论、模空间量子化）与代数几何（模空间上的行列式丛）中成为标准工具。
• 学术谱系：博特→奎伦→Friedlander/Brown/Duflot 等；其思想影响了从同伦论到代数几何的数代数学家，被称为"同伦代数之父"。

八、延伸阅读与权威来源

• Daniel Quillen (1940 – 2011) — MacTutor History of Mathematics：权威传记（注意其生日记为 6 月 27 日，与多数来源不同）。
• Daniel Quillen, 1940–2011 — Notices of the AMS 59(10), 2012（Friedlander & Grayson 编，含 Segal 长篇数学传记）：权威纪念文集，含工作综述。
• Daniel Quillen — Graeme Segal, EMS Newsletter / 牛津讣告：数学传记。
• Fields Medal 1978 — IMU：授奖介绍。
• Daniel Quillen — Wikipedia：交叉核对（生日记为 6 月 22 日）。
• Mathematical Genealogy Project — Quillen 条目：导师为博特。
• Hyman Bass 等，《Higher algebraic K-theory: a recollection》等综述，见 2000 年 Journal of K-Theory 奎伦六十寿辰特辑。