格罗滕迪克 vs 塞尔：代数几何

对话背景#

这场对谈把 1955 到 1969 年的信件、讨论班和论著摊在一张桌上。两人当时的主要交流是信件与电话，并不总是对面而坐。皮埃尔·科尔梅兹与塞尔编订的《格罗滕迪克–塞尔通信集》（法文 2001，英译 AMS 2004）覆盖这段高潮；1985 年塞尔读到《收获与播种》前几章后的回信，也收在同一传统里。下文若提到工作方式，以这批已刊通信为准，不从《收获与播种》里抽未核对的原句。

亚历山大·格罗滕迪克（Alexander Grothendieck, 1928–2014）1958 年起在布尔叙伊维特的高等科学研究所（IHÉS）任职，与让·迪厄多内合写《代数几何基础》（EGA），并主持研究所的代数几何讨论班（SGA，1960–1969）。EGA 于 1960–1967 年分成八册印出，约一千五百至一千八百页，原计划十三章，没有写完。1966 年他获菲尔兹奖，未赴莫斯科领奖。1970 年因研究所经费含军方来源而辞职，此后逐渐离开数学共同体，2014 年卒于圣利齐耶。

让-皮埃尔·塞尔（Jean-Pierre Serre, 1926–）1954 年获菲尔兹奖，当时二十七岁，仍是该奖最年轻的得主；2003 年获首届阿贝尔奖。1955 年的《代数凝聚层》（FAC）和 1956 年的 GAGA 把层与上同调送进代数几何。他是格罗滕迪克最持续的对话者：具体问题、反例、以及「这个问题能不能算完」，常常从他的信里来。

第一幕：具体与抽象#

塞尔：你的 EGA 和 SGA 把代数几何抬到前所未有的一般性。1958 年 8 月 18 日你还写信说，论著最多三年可以写完。后来写了将近十年，仍停在第四章。我有时担心：一般性是不是把具体问题淹得太远。

格罗滕迪克：三年是乐观。抽象不是目的，是让不同结构显出同一张脸的语言。概形把代数方程的零点集，和任意交换环的素理想放进同一个范畴。数论里的「整数环上的素理想」和几何里的「簇上的点」，变成同一种东西。没有这层语言，韦伊猜想连陈述都不利落。

塞尔：统一我懂。韦伊猜想、莫德尔猜想，最后仍要具体技巧。德沃克 1960 年用 $p$ 进分析先证了有限域上 $L$ 函数的有理性——那不是概形语言里长出来的。纯粹的框架不会自动把定理算完。

格罗滕迪克：德沃克走了另一条路。有理性后来也可以从 étale 上同调再得一遍。框架的用处是：问题被放到能用上同调说话的位置。先有可理解的对象，才谈得上证明。

塞尔：我 1955 年的 FAC 已经在簇上用凝聚层上同调。1957 年你的「东北」论文把阿贝尔范畴里的导出函子写成一般机器，上同调不再绑在具体的层上。你要的是：同样的词，对任意概形、任意拓扑都适用。这是推广，也是一份必须有人写完的字典。字典写不完，使用者会先拿讨论班笔记凑合。

格罗滕迪克：所以才有 SGA。EGA 是地板，SGA 是正在盖的房间。房间可以先住人，地板仍得铺。迪厄多内把我的草稿写成可印刷的法文；没有这道工序，八册 IHÉS 出版物不会按那个速度出来。1966 年我还估计，若按当时进度，后面四章又要八年。后来没有这八年。

第二幕：概形的革命#

格罗滕迪克：经典代数几何里，代数簇是多项式零点。概形把「空间」改写成：局部同构于某个交换环的谱。环 $R$ 的谱 $\operatorname{Spec}(R)$ 是素理想的集合，配扎里斯基拓扑和结构层。任意交换环都成了几何对象——多项式环、整数环、$p$ 进整数环，同一套语言。

塞尔：$\operatorname{Spec}(\mathbb{Z})$ 是一条「算术曲线」：每个素数是一个闭点，一般点对应零理想。费马方程可以看成这根底上的纤维问题。这一步确实把数论和几何焊在一起。

格罗滕迪克：焊住的不只是点。幂零元进来了。经典簇看不见无穷小邻域里的切向信息；概形把它们写成结构层里的幂零截面。非闭点——一般点——让「在一般位置」变成拓扑里的一个点，而不是一句手势。

塞尔：我的担心仍然是直观。代数簇上可以谈维数、奇点、画个实点集帮忙想。概形太一般，初学者会先迷路。1956 年的 GAGA 把射影代数簇和解析空间对上，靠的是具体的凝聚层。一般性若不能回到这种可算的对象，就只是范畴的练习。

格罗滕迪克：概形保留簇的全部信息，再多给一层。该画图的时候仍可画闭点；需要变形、需要算术、需要无穷小时，多出来的点开始工作。直观不是被取消，是被标明它适用的范围。

塞尔：范围一旦标出来，我反而能用。我需要的是：某个具体模空间、某条椭圆曲线在局部域上的约化，能在这套语言里写成一个可计算的态射。你常嫌椭圆曲线「永远是椭圆曲线」。对我来说，算得完的例子是框架是否有用的第一块试金石。

第三幕：上同调的力量#

塞尔：早期合作里，我把凝聚层的上同调做成工具。你把它放进导出函子，再放到更一般的拓扑上。韦伊猜想要的不是扎里斯基上同调——那套拓扑太粗，提供不了足够的贝蒂数。

格罗滕迪克：étale 拓扑是为这件事造的。有限域上没有经典的解析拓扑。SGA 1 先把 étale 覆盖和基本群写下；SGA 4 再把拓扑斯和 étale 上同调展开；SGA 5 走向 $\ell$ 进系数和 $L$ 函数。拓扑斯是「空间」的再一次放宽：点可以很少，覆盖却足够做上同调。韦伊猜想里的有理性、函数方程，可以在这套上同调里陈述，并与拓扑的贝蒂数对照。黎曼–罗赫一旦写成层与 K 理论之间的交换图，一条本来绑在曲线上的公式就可以迁移。

塞尔：德沃克已经用 $p$ 进方法拿下有理性。你的路线是：造一种韦伊上同调，使有限域上的几何看起来像拓扑。1963–1965 年讨论班把 étale 和 $\ell$ 进的主要性质讲出来。剩下最硬的一块，是黎曼假设的类比。

格罗滕迪克：我希望用代数循环上的标准猜想，把这一块做成形式推论。标准猜想至今大多未证。德利涅 1974 年绕开它们，用 $\ell$ 进上同调的细致性质证明了韦伊猜想里那条「黎曼假设」。框架被用了；我设想的那条最短路径没有走通。

塞尔：绕开不是失败。你要的是从标准猜想推出一切；他要的是把这条猜想证完。1964 年 8 月 16 日你已经在信里谈动机；1965 年 8 月 27 日那封把标准猜想写得更明确。动机是「终极」的上同调理论——各种上同调只是它的实现。这件事仍然未完成。

格罗滕迪克：未完成，不等于方向错。韦伊猜想是试金石，动机是地质层。试金石可以先被敲响，地层仍值得挖。

第四幕：数学的愿景#

格罗滕迪克：我相信数学的统一性比分支的表面差异更重要。概形、层、拓扑斯、动机，都是为了让联系有一个最一般的住所。先找到住所，再把家具搬进去。

塞尔：我更相信「具体的统一」。韦伊猜想把代数几何、数论、拓扑连在一起，是因为有限域上的点计数写出了 $L$ 函数，而 $L$ 函数看起来像黎曼 zeta。联系是定理建立的，不是范畴先宣布的。

格罗滕迪克：没有概形和 étale 上同调，那条联系没有可运算的上同调群。语言不是装饰。它决定哪些箭头可以被写下来。

塞尔：语言我会用。我反对的是：把还算不完的一般理论，当成已经解决了具体问题。1964 年秋天那些信里，你不耐烦「永远是椭圆曲线、永远是阿贝尔簇」。可数论里大量最硬的陈述，恰恰先出现在这些「永远」的对象上。模形式、伽罗瓦表示，后来也是这样。

格罗滕迪克：椭圆曲线是纤维。我要看的是纤维所在的底。底弄清楚了，纤维上的计算才知道自己在哪一层。

塞尔：也许我们只是在强调同一件事的不同工序。你先铺底，我先把纤维上的数算对。没有底，计算缺乏位置；没有数，底只是一张空地图。

第五幕：退隐与遗产#

塞尔：1970 年你离开 IHÉS。公开的理由是经费里有军方来源。

格罗滕迪克：数学不该靠武器的预算来供养。那一年的决裂还有别的层——工作的体量、讨论班的节奏、我对共同体的失望。经费是可以写进辞职信的那一层。此后我在法兰西学院短期开过课，参加「生存与生活」，去蒙彼利埃教书，再往后就很少出现在数学家的会场里。

塞尔：德利涅把韦伊猜想证完，用的是你留下的 étale 机器。动机和标准猜想仍在原地。许多人觉得这是损失。

格罗滕迪克：学生继续做，就是遗产的一部分。我不能要求每个人都按我的路径走完。未完成的理论需要新的手，不一定需要我继续按同一速度写 EGA 的第五章。

塞尔：遗产不在某一条定理的署名。今天凡是用概形、层、拓扑斯说话的人，都在用你改过的几何语言。语言一旦改掉，就回不去用多项式零点当唯一对象的那种几何。

格罗滕迪克：语言会留下。人可以选择不站在讲台上。

第六幕：数学的美学#

格罗滕迪克：最深的数学是把隐藏结构变成普通话。概形不是发明一种时髦对象，是发现代数与几何本来共用一种空间概念。把这种概念写下来，具体问题才有正确的房间。

塞尔：最深的数学也可以是：一个看起来不可能的问题被真正算完。韦伊猜想的最后一步、莫德尔猜想后来的证明——推动边界的是定理，不是框架的厚度。

格罗滕迪克：你追求在具体问题上走深。我追求在框架上走宽。宽不是稀薄。宽是为了让深度可以迁移：从特征零到有限域，从簇到算术概形。

塞尔：没有宽度的深度会窄，只能处理同一类方程。没有深度的宽度会空，只剩箭头和泛性质。两者都需要。1985 年 7 月 23 日我写信给你，复述过你的工作方式：不正面砸开问题，而用一般理论的涨潮把它淹没、溶解。那封信是可以核对的。涨潮对 1960 年代的代数几何有效。我问过另一句：到了 1968–1970 年附近，涨潮是否已经淹不到某些问题——比如模形式那一侧——而你不喜欢改用另一种风格。

格罗滕迪克：涨潮不是唯一的海。有人更愿意绕过礁石。德利涅绕开标准猜想，你觉得漂亮；我看见的是：本该成为地基的陈述，被技巧替代了。两种审美可以同时存在，不必互相取消对方的定理。

塞尔：同一封信里我也写了：绕开问题这个念头对你是陌生的，对我则常常是喜悦。德利涅在《讲义》第 900 卷里绕过霍奇循环仍得到可用的 $\ell$ 进表示结果，我喜欢。你的拒绝，我读得懂，但不跟着走。

第七幕：数学的未来#

塞尔：你怎样看此后的代数几何？

格罗滕迪克：统一会继续。代数、几何、拓扑、数论之间的墙会更薄。范畴论提供的不是「万有理论」的口号，是让墙变薄时仍能说话的语法。动机若被做成可用的范畴，许多表面上不同的上同调会显出同一块骨头。

塞尔：多样性也会继续。新问题会逼出新工具，不一定先经过一座万有框架。朗兰兹纲领把伽罗瓦表示和自守形式配对，方向上像你要的统一，工序上更像数论学家习惯的具体对象。BSD、霍奇猜想，至今仍是硬的具体陈述。

格罗滕迪克：统一和多样可以住在一起。一个够一般的框架，应当装得下无穷多种纤维。装不下的时候，不是多样赢了，是框架还太窄。

塞尔：或者是：有些问题需要另一套手感，涨潮帮不上忙。这不是对 EGA 的否定。没有 EGA，今天的算术几何没有共同语言。有了 EGA，仍要有人去算一条曲线、一个模空间、一个伽罗瓦表示。语言和计算，谁也不代替谁。

分析#

格罗滕迪克与塞尔的合作，是二十世纪代数几何里最有效的一对分工。格罗滕迪克把几何对象改写成概形，把上同调改写成可迁移的机器；塞尔提供可计算的问题、凝聚层的原型，以及不断把一般陈述拽回例子的压力。通信集比任何事后回忆都更清楚：统一的语言和具体的数，是同一项工程的两道工序。

方法论上，格罗滕迪克倾向于先铺最一般的地板；塞尔倾向于先确认这块地板上能走出一条可证明的定理。韦伊猜想的完成方式——德利涅使用 étale 机器、绕开标准猜想——恰好落在两人张力的中间：框架被证实有用，格罗滕迪克设想的那条「从标准猜想一泻而下」的路径没有成为历史。

核心分歧#

根本分歧不是「要不要抽象」，而是抽象应当承担什么职责。格罗滕迪克认为，只有在最一般的框架里，不同结构之间的同一才能被看见，问题才能被正确地陈述。塞尔认为，框架的意义要由它能解决的具体问题来兑现；绕开一块尚未铺好的地基、先把定理证完，可以是正当的数学。涨潮与绕行，是两种可核对的工作伦理，不是一句「个性和缓」的空话。

当代启示#

当代算术几何同时继承了两边。概形语言是默认语法；朗兰兹纲领、动机的各种实现、以及仍未解决的标准猜想、霍奇猜想，继续迫使一般理论与具体计算对话。德利涅的路线证明：学生可以在老师的机器里走出老师不喜欢的证明。这不是背叛框架，是框架真正被使用的方式。

延伸思考#

• 动机理论和标准猜想是否还必须按格罗滕迪克设想的形状完成，才算「真正」理解韦伊猜想？
• 当一个一般框架暂时算不完关键例子时，绕行应当被鼓励，还是被看成地基未竟？
• 数学训练若只教概形语言而不教可计算的例子，或只教例子而不教语言，会分别丢失哪一层理解？

延伸阅读：格罗滕迪克与迪厄多内《代数几何基础》(EGA, 1960–1967)；塞尔《代数凝聚层》(Faisceaux algébriques cohérents, 1955)；皮埃尔·科尔梅兹、让-皮埃尔·塞尔编《格罗滕迪克–塞尔通信集》(SMF 2001 / AMS 2004)；Allyn Jackson 等编《Alexandre Grothendieck 1928–2014》(AMS Notices 纪念专辑, 2016)；Winfried Scharlau《Wer ist Alexander Grothendieck?》(多卷传记)