∑ 数学名人档案库
← 返回 亚历山大·格罗滕迪克 简介档案 深度档案
代数几何范畴论拓扑

亚历山大·格罗滕迪克（Alexander Grothendieck）

以「概形」与「相对观点」重建整个代数几何的人——20 世纪下半叶纯粹数学最宏大、最深远的统一者。

一、生平与时代背景

亚历山大·格罗滕迪克（Alexander Grothendieck，在法国常写作 Alexandre）于 1928 年 3 月 28 日出生在德国柏林。他的家庭背景深刻塑造了其一生：父亲亚历山大·"萨沙"·夏皮罗（Alexander "Sascha" Schapiro，1890—1942）是出身乌克兰诺沃济布科夫的俄罗斯犹太无政府主义者，曾因参加 1905 年革命被判死刑（因年幼改为终身监禁），1917 年革命后越狱，继续为无政府主义战斗，多次被俘越狱，失去左臂；母亲约翰娜·"汉卡"·格罗滕迪克（Johanna "Hanka" Grothendieck，1900—1957）出身汉堡一个新教德国家庭，是左翼记者。由于母亲当时仍与记者约翰内斯·拉达茨（Johannes Raddatz）有婚姻关系，他出生时登记名为 Alexander Raddatz，1929 年母亲离婚后改随母姓 Grothendieck。父母从未正式结婚。（[存疑] 父亲在西班牙内战中的角色：一说以无政府民兵身份参战，一说仅作非战斗辅助人员，学界记载不一。）

1933 年纳粹上台后，父亲先逃往巴黎，母亲随后前往，五岁的格罗滕迪克被留在汉堡，由路德宗牧师威廉·海多恩（Wilhelm Heydorn）一家抚养至 1939 年。海多恩一家参与反希特勒抵抗运动，处境危险，1939 年 4 月将他送上火车去法国与父母团聚。

二战期间，他与母亲作为"不受欢迎的危险外国人"被法国当局先后拘留在 Rieucros 营（靠近芒德）和 Gurs 集中营。父亲则被关押在 Le Vernet 营，1942 年被维希政府移交给纳粹，运往奥斯维辛遇害。格罗滕迪克辗转逃到新教和平主义村庄 Le Chambon-sur-Lignon，藏进当地的 Collège Cévenol 中学，多次在纳粹搜捕时躲入森林，靠此幸存。1945 年他在该校取得中学毕业文凭（baccalauréat）。整个村庄后来（1990 年）被以色列追认为"国际义人"。

战后（1945—1948），他进入蒙彼利埃大学读数学。他对中学与大学教材中"只教计算、不给定义"极为不满——例如没人认真定义曲线长度、曲面面积、立体体积。他在几乎无人指导、近乎与世隔绝的情况下，独立重发现了勒贝格测度与积分的一般版本。这段经历奠定了他一生"用定义取代技巧"的数学风格。

1948 年他赴巴黎高等师范学院，参加 亨利·嘉当（Henri Cartan） 的代数拓扑与层论研讨班，接触到谢瓦莱、迪厄多内、施瓦茨、韦伊等顶尖人物，以及同龄的塞尔（Jean-Pierre Serre）。因当时他更感兴趣的是拓扑向量空间，嘉当与韦伊建议他去南锡大学，那里有迪厄多内（Jean Dieudonné）与刚获菲尔兹奖的施瓦茨（Laurent Schwartz）。1949 年他前往南锡。

在南锡，迪厄多内与施瓦茨把一篇关于局部凸空间对偶性的论文末尾列出的 14 个未解问题交给了他。他在几个月内用全新构造全部解决，并以此完成博士论文。1953 年 2 月 28 日，他在巴黎答辩博士论文 《拓扑张量积与核空间》(Produits tensoriels topologiques et espaces nucléaires)，导师为迪厄多内与施瓦茨。答辩后他即宣布"这个领域已经死了，没什么可做的了"——当时在场的马尔格朗日（Bernard Malgrange）回忆了这一幕。

此后他兴趣迅速转向拓扑与几何：1953—1955 年在巴西圣保罗大学（持南森护照，因拒绝服兵役而不愿入法国籍）；1955—1956 年在美国堪萨斯大学劳伦斯分校，在这里发展了阿贝尔范畴理论，写出著名的 "Tôhoku 论文"，彻底重写了层上同调。1957 年他被扎里斯基（Oscar Zariski）邀请访问哈佛，但因拒绝签署美国"忠诚宣誓"而作罢（他甚至表示不介意因此入狱，只要能读书）。

1958 年他受聘于新成立的 高等科学研究所（IHÉS） 任研究教授，1959—1970 年是他与整个代数几何的"黄金时代"：他主持的 Séminaire de Géométrie Algébrique（SGA）使 IHÉS 成为世界代数几何中心，他本人是其灵魂。这一时期他给出了 K 理论、概形、格罗滕迪克-黎曼-罗赫定理、平展上同调、韦伊猜想的有理性与函数方程等。1966 年获菲尔兹奖，但为抗议苏联体制，拒绝亲赴莫斯科领奖。1967 年越战期间，他前往河内，在防空洞里授课，写出《越南的数学生活》。

1970 年，因发现 IHÉS 接受法国军方资助，加之个人与政治信念的驱动，他愤然离开 IHÉS，实质上退出了数学界。此后他在法兰西学院任两年临时教授（1970—1972），1973 年回到蒙彼利埃大学任教，并愈发与数学共同体疏离。他创办并投身反战、反军事、环保组织 "Survivre"（后改名 Survivre et Vivre） 数年。1971 年他终于取得法国国籍（此前为无国籍人士，持南森护照）。

1980 年代他写下大量未刊手稿，包括千余页的回忆录 《收获与播种》(Récoltes et Semailles)、研究纲领 《纲领概要》(Esquisse d'un programme，1984)、《追寻栈》(À la poursuite des Champs / Pursuing Stacks)、《穿越伽罗瓦理论的长征》(La Longue Marche à travers la Théorie de Galois)、《导数子》(Les Dérivateurs) 等。1988 年他拒绝了克拉福德奖（Crafoord Prize，与德利涅分享），并正式退休。1991 年他隐居到法国西南部比利牛斯山区的 Lasserre 村，与外界几乎断绝联系，继续思考数学与哲学（先近佛教，后转向一种带有天主教色彩的基督教神秘主义），直至逝世。

2014 年 11 月 13 日，他在 Ariège 省 Saint-Girons 的医院去世，享年 86 岁。（[存疑] 个别来源记去世地为 Saint-Lizier，或日期为 11 月 14 日；主流权威来源（MacTutor、AMS 讣告）作 11 月 13 日 Saint-Girons，他生前居住地为 Lasserre。）

他一生有多名子女：与南锡房东之女生下 Serge；与 Mireille 生下 Johanna、Mathieu、Alexandre，后与 Mireille 结婚。

二、学术生涯年表

年份 事件
1928 3 月 28 日出生于德国柏林，登记名 Alexander Raddatz，后随母姓 Grothendieck。
1933 纳粹上台，父亲逃往巴黎，母亲随后前往；他被寄养在汉堡牧师海多恩家。
1939 4 月被送往法国与父母团聚；父亲旋即被关押于 Le Vernet 营。
1940 与母亲被拘于 Rieucros 营，获准在附近芒德的村小上学。
1942 父亲被维希政权移交纳粹，在奥斯维辛遇害；他辗转逃至 Le Chambon-sur-Lignon。
1945 在 Collège Cévenol 取得中学毕业文凭；入蒙彼利埃大学，独立重发现勒贝格积分。
1948 赴巴黎高等师范学院，参加 Henri Cartan 的代数拓扑与层论研讨班。
1949 听从 Cartan 与 Weil 建议，转往南锡大学，师从 Dieudonné 与 Schwartz。
1953 2 月 28 日答辩博士论文《拓扑张量积与核空间》，几个月内解出 Dieudonné-Schwartz 的 14 个公开问题。
1953—1955 任教于巴西圣保罗大学（持南森护照），完成最后一批泛函分析论文。
1955—1956 在堪萨斯大学转向代数拓扑与同调代数，发展阿贝尔范畴，撰写 "Tôhoku 论文"。
1957 发表 "Sur quelques points d'algèbre homologique"（东北数学杂志），将层上同调重建为导出函子。
1958 受聘为 IHÉS 研究教授；同年在爱丁堡国际数学家大会上提出概形纲领。
1959 IHÉS"黄金时代"开始：与 Dieudonné 合著 EGA，主持 SGA 研讨班。
1960 FGA（Fondements de la Géométrie Algébrique）系列 Bourbaki 报告开始，系统奠基下降理论与可表函子。
1960—1967 EGA 各卷（Éléments de géométrie algébrique）陆续出版，最终共四章八册。
1960—1969 SGA（Séminaire de Géométrie Algébrique）各卷研讨班：SGA 1（基本群）到 SGA 7（单值化）。
1962 在伍兹霍尔（Woodshole）代数几何暑期学院期间，与他人共同提出 Woods Hole 不动点公式。
1963—1964 SGA 4：系统建立拓扑斯理论与平展上同调；提出六函子形式体系。
1965 用 ℓ 进上同调证明韦伊猜想的函数方程部分，并给出 L 函数的上同调诠释。
1966 获菲尔兹奖，表彰其在代数几何、同调代数与 K 理论的工作；拒绝赴莫斯科领奖。
1967 访问河内，在防空洞中授课，写出《越南的数学生活》。
1970 因 IHÉS 接受军方资助而离开，实质上退出数学界；同年在尼斯 ICM 上激烈抨击学界。
1970—1972 法兰西学院临时教授；创办并领导反战环保组织 Survivre（后 Survivre et Vivre）。
1971 取得法国国籍（此前长期无国籍）。
1973 回到蒙彼利埃大学任教授，逐渐与数学共同体疏离。
1981 完成约 1600 页手稿《穿越伽罗瓦理论的长征》(La Longue Marche)。
1983 开始写《追寻栈》(Pursuing Stacks)，起于致 Quillen 的一封 12 页信。
1984 提交《纲领概要》(Esquisse d'un programme) 申请 CNRS 职位；写出千页回忆录《收获与播种》。
1988 拒绝与 Deligne 分享的克拉福德奖；正式退休。
1990—1991 完成约 2000 页手稿《导数子》(Les Dérivateurs)。
1991 隐居比利牛斯山区 Lasserre 村，与外界断绝联系。
2014 11 月 13 日于 Saint-Girons 逝世，享年 86 岁。

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

1. 拓扑张量积、核空间与 Grothendieck 不等式（泛函分析，1953） 问题背景：迪厄多内与施瓦茨在研究 Fréchet 空间及其极限的对偶性时，遇到 14 个无法解决的局部凸空间问题。关键思想：格罗滕迪克在博士论文中引入拓扑张量积（projective tensor product $\otimes_\pi$ 与 injective tensor product $\otimes_\varepsilon$）这一全新构造，并由此定义核空间（nuclear spaces）——一种使得两种张量积典范同构的局部凸空间。精确表述：局部凸空间 $E$ 称为核的，若对任意局部凸空间 $F$，恒有 $E\otimes_\pi F \cong E\otimes_\varepsilon F$。他证明施瓦茨空间、测试函数空间 $\mathcal D$ 等都是核的，从而分布论中的许多对偶现象获得统一解释。论文还包含著名的 Grothendieck 不等式：存在常数 $K_G$（实情形 $\pi/2 \le K_G \le \pi/(2\ln(1+\sqrt2))$），使得对任意希尔伯特空间上的 $n\times n$ 矩阵 $(a_{ij})$ 与单位向量 $x_i,y_j$，有 $\left|\sum_{i,j}a_{ij}\langle x_i,y_j\rangle\right| \le K_G \max_{|s_i|=|t_j|=1}\left|\sum a_{ij}s_i t_j\right|$。与前人关系：超越了施瓦茨分布论的具体计算，建立了抽象张量积范畴框架。局限性：他很快认为该领域"已死"而转向几何；但 Grothendieck 不等式后来在算子代数、量子信息（与 EPR 佯谬、Tsirelson 界相关）中意外焕发新生。

2. Tôhoku 论文：阿贝尔范畴与层上同调的导出函子化（1957） 问题背景：此前 Cartan-Eilenberg 的同调代数依赖于具体的模与投射/内射分解，层上同调缺乏统一的抽象基础。关键思想：格罗滕迪克在《东北数学杂志》发表 Sur quelques points d'algèbre homologique，引入阿贝尔范畴（abelian category） 公理（含 (AB5) 过滤余极限正合、足够内射子等），证明在任何有足够内射子的阿贝尔范畴中都可以构造导出函子 $R^iF$，从而层上同调 $H^i(X,\mathcal F)$ 仅仅是整体截面函子 $\Gamma(X,-)$ 的第 $i$ 个右导出函子。精确表述：若 $(X,\mathcal O_X)$ 是环空间，则 $H^i(X,\mathcal F) = R^i\Gamma(X,\mathcal F)$，且长正合列、消没定理等全部形式地推出。与前人关系：把 Cartan-Eilenberg 从模推广到任意阿贝尔范畴；首次使层上同调脱离"用 Čech 或软层分解"的具体技术。这是整个现代同调代数与代数几何的语言基石。局限性：当时只处理了阿贝尔（交换）情形，非交换上同调要到后来的 stack/导出范畴才统一。

3. 概形（scheme）理论与相对观点（EGA，1960 起） 问题背景：经典代数几何把簇定义为多项式零点集，局限于代数闭域、整环、诺特环，难以容纳数论中的有限域、$\mathbb Z$ 上的几何以及"坏"纤维。关键思想：格罗滕迪克大胆接受任何含幺交换环 $A$ 都定义一个仿射概形 $\operatorname{Spec} A$——其点是 $A$ 的素理想，结构层 $\mathcal O$ 不是函数层而是局部环层。更根本的是他坚持相对观点：永远研究一个态射 $f:X\to S$（$S$-概形），经典的"域 $k$ 上的簇"只是 $S=\operatorname{Spec}k$ 的特例；系统地考虑基变换 $X' = S'\times_S X$。Deligne 指出，在概形范畴中纤维积总存在，这使范畴具有良好的闭包性质，即使允许"怪异"概形也值得。精确表述：概形是局部同构于仿射概形的局部环空间；$S$-概形的范畴有有限极限，特别是纤维积。函子观点：由米田引理，$X$ 可等同于其点函子 $h_X:S'\mapsto \operatorname{Hom}(S',X)$，定义对象往往先定义它表示的函子（如 Hilbert 概形 $\operatorname{Hilb}(X)$ 表示平坦闭子概形函子）。与前人关系：继承 Zariski 把交换代数引入几何的路线、Serre 的 FAC/Cartier 层论，但把"空间"彻底代数化、相对化。局限性：EGA 原计划 13 章，实际只完成 4 章（出版 8 册）便因他退出而中断；完整的相交理论、对偶等散见于 SGA 与后人续作。

4. 下降理论、纤维范畴与可表函子（FGA，1959—1962） 问题背景：如何把局部定义的几何对象沿覆盖"粘"成整体对象？经典 Zariski 拓扑太粗，无法捕捉数论中的局部-整体原理。关键思想：格罗滕迪克在 Bourbaki 报告（FGA）中建立下降理论（descent theory）：对于忠实平坦拟紧（fpqc）覆盖 $u:S'\to S$，一个 $S'$ 上的对象连同"下降数据"（在 $S'\times_S S'$ 上的同构与闭链条件）等价于一个 $S$ 上的对象。这把伽罗瓦下降、 Zariski 粘合、层的定义都统一为同一模式。他还引入纤维范畴（fibered category） 与后来的代数叠（algebraic stack） 语言，来处理模空间问题中的自同构（如曲线的模空间 $\mathcal M_g$ 不是概形而是叠）。精确表述：$S'$ 上的拟凝聚层连同 fpqc 下降数据等价于 $S$ 上的拟凝聚层（fpqc 下降定理）。与前人关系：推广了经典伽罗瓦下降（Pierre Cartier 评价："格罗滕迪克用伽罗瓦下降证明了伽罗瓦理论"）。可表性的最终判据由 Artin（1969）在代数空间/叠框架下完善。局限性：叠的完整理论要到 Deligne-Mumford（1969）与 Artin 才定型。

5. 格罗滕迪克拓扑（site）与拓扑斯（topos）（SGA 4，1963—1964） 问题背景：Zariski 拓扑开集太少，其上的层上同调无法给出良好的高阶同伦/上同调（如代数基本群、韦伊猜想所需的上同调）。关键思想：格罗滕迪克把"拓扑"的概念从"开集族"抽象为覆盖族的公理——一个 site（格罗滕迪克拓扑） 是一个范畴加上指定的覆盖族；一个 topos（拓扑斯） 是 site 上集合层的范畴，它本身可看作"一个广义拓扑空间"。这使得"开覆盖"可以被 étale 覆盖、fpqc 覆盖等取代。精确表述：拓扑斯是一个等价于某个 site 上集合层范畴的范畴；它有自己的内部逻辑与层上同调。SGA 4 全卷题为 Théorie des topos et cohomologie étale des schémas。与前人关系：Serre 曾引入 isotrivial 主齐性空间作为 étale 拓扑的前身；Lawvere-Tierney 后来把 topos 发展为直觉主义集合论的模型。对格罗滕迪克而言，topos 的意义远超 étale：晶体上同调、刚性解析空间、叶状结构的商都是某种 topos。局限性：一般 topos 理论高度抽象，日常代数几何仍主要使用具体 site；高阶 topos（∞-topos）由 Lurie 等在 21 世纪发展，成为导出代数几何的基础。

6. 平展上同调与 ℓ 进上同调（SGA 4 / SGA 5） 问题背景：韦伊猜想需要一种在特征 $p>0$ 下仍能扮演"奇异上同调"角色的上同调，使 Lefschetz 不动点公式成立。关键思想：用 étale site 构造平展上同调 $H^i_{\text{ét}}(X,\Lambda)$；对素数 $\ell\neq p$，取逆极限得到ℓ 进上同调 $H^i(X,\mathbb Z_\ell)=\varprojlim H^i_{\text{ét}}(X,\mathbb Z/\ell^n)$，再张量得 $H^i(X,\mathbb Q_\ell)$。Deligne 回忆："$H^1$ 合理并不令人惊讶，奇迹是高阶 $H^i$ 也合理。"精确表述：对有限域 $\mathbb F_q$ 上光滑射影簇 $X$，几何 Frobenius $F$ 作用于 $H^i_{\text{ét}}(X,\mathbb Q_\ell)$，且 zeta 函数分解为 $Z(X,t)=\prod_i \det(1-Ft\,|\,H^i)^{(-1)^{i+1}}$。与前人关系：Serre 曾尝试用韦伊的"抽象代数簇"定义上同调未竟；Dwork 于 1960 先用 $p$-adic 分析证明了有理性，格罗滕迪克随后给出上同调诠释。局限性：ℓ 进上同调依赖 $\ell$ 的选取；不同 $\ell$ 之间的比较（"独立性"）由他的标准猜想起草，后由多人证明。

7. 韦伊猜想的有理性、函数方程与上同调诠释（1965） 问题背景：韦伊 1949 年提出关于有限域上代数簇 zeta 函数的四个猜想（有理性、函数方程、黎曼假设类似、Betti 数解释）。关键思想：格罗滕迪克用 ℓ 进上同调把 zeta 函数 $Z(X,t)$ 解释为 Frobenius 作用在各上同调群上的特征多项式的交替积，从而有理性（Dwork 1960 已先证，他给出上同调证明）与函数方程（1965 年证明，利用 Poincaré 对偶与六函子）成为形式推论；黎曼假设类似（特征值绝对值 $q^{i/2}$）则归结为他提出的标准猜想（standard conjectures）。精确表述的函数方程：$Z(X,1/(q^n t)) = \pm q^{n\chi/2} t^{-\chi} Z(X,t)$，其中 $n=\dim X$，$\chi$ 为欧拉示性数。与前人关系：Dwork 先证有理性；格罗滕迪克证明函数方程与给出 Betti 数解释；黎曼假设部分由他的学生德利涅（Pierre Deligne）于 1974 年用更精细的权重论证完成（并未依赖标准猜想）。局限性：标准猜想至今未完全证明，是动机理论的核心障碍。

8. K 理论与 Grothendieck-Riemann-Roch 定理（1957—1958） 问题背景：经典 Riemann-Roch 定理把曲线的线性系维数与亏格联系起来，Hirzebruch 将其推广到高维紧复流形（用陈类与 Todd 类），但只对射影簇、且用拓扑方法。关键思想：格罗滕迪克定义格罗滕迪克群 $K(X)$——向量丛（或凝聚层）范畴对短正合列的商群（$[E]+[F]=[E']$ 当 $0\to E\to E'\to F\to 0$），从而把 Riemann-Roch 变成函子性陈述：对真态射 $f:X\to Y$，存在陈特征 $\operatorname{ch}$ 与 Todd 类 $\operatorname{td}$，使得 $\operatorname{ch}\circ f_! = f_\circ(\operatorname{ch}\cdot \operatorname{td}(T_f))$。精确表述：$\operatorname{ch}(f_![\mathcal F]) = f_(\operatorname{ch}(\mathcal F)\cdot \operatorname{td}(T_f))$ 在 $K$ 与上同调之间交换。与前人关系：包含 Hirzebruch Riemann-Roch 为 $Y=$ 一点的特例；$K$ 的记法来自德语 Klasse（他解释因 $C(X)$ 已被连续函数空间占用）。这一思想开创了整个 K 理论（拓扑 K 理论由 Atiyah-Hirzebruch 跟进，代数 K 理论由 Quillen 等发展）。局限性：高阶代数 K 群的定义需要 Quillen 的 Q 构造或 Waldhausen 构造。

9. 六函子形式体系与相对对偶（coherent 与 étale） 问题背景：上同调理论的各种构造（正像、紧支正像、逆像、例外逆像、张量积、内部 Hom）之间需要一套统一的形式化，使对偶（Serre 对偶、Poincaré 对偶）成为相对的、函子性的。关键思想：在导出范畴中，对态射 $f:X\to Y$ 定义六个函子：$Rf_, Rf_!$（正像、紧支正像），$Lf^, Rf^!$（逆像、例外逆像），$\overset{L}{\otimes}, R\mathcal{H}om$（导出张量积、内部 Hom）。它们满足伴随关系（$Rf_! \dashv Rf^!$、$Lf^* \dashv Rf_$）、基变换定理与投影公式，给出相对 Serre 对偶与相对 Poincaré 对偶，以及比 Woods Hole 公式更一般的 Lefschetz 不动点公式。精确表述（对偶）：对光滑 $f$ 相对维数 $d$，$Rf^!\mathcal O_Y \cong \omega_f[d]$（相对对偶复形），从而 $Rf_R\mathcal{H}om(\mathcal F,\omega_f[d]) \cong R\mathcal{H}om(Rf_!\mathcal F,\mathcal O_Y)$。与前人关系：coherent 情形由格罗滕迪克 1963 年给出（Hartshorne 整理为 Residues and Duality）；同一形式体系被他与学生推广到 étale 上同调，证明方法完全不同却同样成立，这让 Deligne 惊叹为"奇迹"。局限性：完整的 Verdier 对偶与无界导出范畴的处理由后人（Spaltenstein、Lipman 等）补全。

10. 动机（motives）与标准猜想、权的瑜伽 问题背景：存在众多上同调理论（奇异、ℓ 进、de Rham、晶体），它们对同一簇给出相关却不同的群；是否存在一个万有上同调理论，其余都是它的实现？关键思想：格罗滕迪克提出动机范畴 $\mathcal M_k$：把光滑射影簇 $X$ 映为其动机 $h(X)$，它应分解为 $h^i(X)$（按上同调次数），且所有经典上同调都是 $h(X)$ 经某个"实现函子"得到的。为了让 Künneth 分解与相交配对的代数性成立，他提出标准猜想（C：Künneth 投影是代数的；D：相交配对诱导的极化是正定的；B：Lefschetz 算子的逆是代数的）。精确表述（标准猜想 B）：对强 Lefschetz 同构 $L^{n-i}:H^i\to H^{2n-i}$，其逆 $L^{i-n}\Lambda$ 由代数对应诱导。这些猜想若成立，则韦伊猜想的黎曼假设部分形式推出。与前人关系：是对"上同调统一"的最大胆设想，源自他与 Serre 的通信。"权的瑜伽（yoga of weights）"由 Deligne 发展为证明黎曼假设的关键。局限性：标准猜想至今未被证明，动机范畴的构造只能在无条件情形（Voevodsky 三角动机，或用上同调实现定义的 Jannsen 动机）进行；完整的格罗滕迪克动机仍待标准猜想。

11. 代数基本群（SGA 1）与单值化（SGA 7） 问题背景：拓扑基本群不能直接用于代数簇，因为 Zariski 拓扑太粗；需要一个纯代数的类似物来表达"有限覆叠"。关键思想：格罗滕迪克在 SGA 1 中定义代数基本群 $\pi_1(X,\bar x)$ 为有限平展覆叠范畴的自同构群（profinite 群），对 $\mathbb C$ 上的簇它是拓扑基本群的 profinite 完备化。精确表述：$\pi_1(X,\bar x) = \varprojlim_G \operatorname{Aut}(Y/X)$，遍历有限 Galois 平展覆叠 $Y\to X$。SGA 7 进一步研究单值化（monodromy）：族 $X\to S$ 在退化纤维附近的作用，提出并部分证明了半稳定约化定理（后由 Artin-Winters、Mumford 等完成）。与前人关系：推广了经典的伽罗瓦群（$\operatorname{Spec}k$ 的基本群即绝对伽罗瓦群）；他后来的《La Longue Marche》与《Esquisse d'un programme》继续发展"孩子的画（dessins d'enfants）"与绝对伽罗瓦群在模曲线双曲覆叠上的作用。局限性：完整的几何基本群（非 profinite）理论在代数几何中仍不充分。

12. 晶体上同调的思想（SGA 与 Berthelot 发展） 问题背景：特征 $p$ 下需要一个"de Rham 型"的上同调来检测 $p$ 部分信息（ℓ 进上同调对 $\ell=p$ 失效）。关键思想：格罗滕迪克提出晶体上同调的想法：把簇 $X$ 嵌入一个在 $\mathbb Z_p$（或 Witt 向量）上光滑的邻域 $T$，考虑 $X$ 在 $T$ 中的"无穷小邻域"上的层（即"晶体"），取整体 de Rham 上同调。精确表述：晶体上同调 $H^i_{\text{cris}}(X/W)$ 是 $X$ 的晶拓斯（crystalline topos）上的上同调，是 $W(k)$ 上的有限生成模。与前人关系：由他的学生 Pierre Berthelot 在博士论文（1974）中系统建立；后发展出刚性上同调。它在 $p$ 进霍奇理论中至关重要。局限性：晶拓斯技术上极难处理，常需回到 de Rham 复形的解释。

13. 范畴论、导出范畴与"相对观点"的统一纲领 问题背景：20 世纪中叶数学分支林立，缺乏共同语言。关键思想：格罗滕迪克把范畴与函子提升为基本工作语言，强调"研究对象不如研究对象之间的关系（态射）"，以及"相对化"（任何 $X$ 都是某个基 $S$ 上的 $X\to S$）。他与 Verdier 共同建立导出范畴（Verdier 三角范畴、局部化），使六函子、谱序列、对偶等获得统一表达。精确表述：导出范畴 $D(\mathcal A)$ 是复形范畴对拟同构的局部化，在其中复形成为"到拟同构唯一"的对象。与前人关系：导出范畴由 Verdier 在格罗滕迪克指导下于 1963 年的论文中定义（因格罗滕迪克已退出，由他人代答辩）；三角范畴、导出函子现在是同调代数、代数几何、表示论、数学物理的通用语言。局限性：无界导出范畴、dg 增强、稳定 ∞ 范畴等由后人在 20—21 世纪补全。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源