知识/定理
格罗滕迪克《EGA》/《SGA》：概形（scheme）理论——把代数几何重构为现代语言，连接数论与几何。
公式
概形 = 环的整体化：$\operatorname{Spec}(R)$（素数理想空间）；函子性 $X\mapsto\mathcal{O}_X$。
证明思路
（范畴论化）以「结构层+拓扑空间」统一代数簇与环论，用上同调/层论工具。
应用/例子
费马大定理（怀尔斯）、朗兰兹纲领、算数几何——现代代数几何的通用语言。
意义/影响
「上帝般的抽象」；格罗滕迪克重构了数学的分工方式（结构主义宣言）。