专栏名称: 好玩的数学

好玩的数学以数学学习为主题，以传播数学文化为己任，以激发学习者学习数学的兴趣为目标，分享有用的数学知识、有趣的数学故事、传奇的数学人物等，为你展现一个有趣、好玩、丰富多彩的数学世界。

一文搞懂代数几何发展史（一）

好玩的数学 · 公众号 · 数学 · 2020-10-22 07:37

正文

作者 | 陈跃

来源 | 科学出版社数学教育

编者按

按照俄国数学家沙法列维奇的观点，代数几何在20世纪现代数学的发展历史中占据着一个相对中心的位置。抽象代数、代数拓扑与微分拓扑、整体微分几何以及分析学中的许多重要理论都是因代数几何研究的需要而提出的。我们不妨可以简单地将代数几何看成是“用多项式研究几何、用几何的想法研究多项式”的学科。特别是从代数几何中体现出来的代数与几何相互作用的方式，具有普遍的意义，目前这种思想方法已经渗透到了几乎所有的现代数学各主要分支学科中。

本文作者陈跃，原文题目《什么是代数几何》，因文章长度限制将文章分成两部分：

第1部分《一文搞懂代数几何发展史（一）》为20世纪早期及以前的很长一段时间内数学家们对代数簇的深入研究；

第2部分《一文搞懂代数几何发展史（二）》讲述从将抽象代数方法引入代数几何到概形理论的创立这一时期的发现情况。

欢迎品鉴，一文搞懂代数几何发展史。

按照俄国数学家沙法列维奇的观点，代数几何在20世纪现代数学的发展历史中占据着一个相对中心的位置。抽象代数、代数拓扑与微分拓扑、整体微分几何以及分析学中的许多重要理论都是因代数几何研究的需要而提出的。在大多数20世纪基础数学重大进步（例如获得菲尔茨奖和沃尔夫奖的工作）的背后，总能看到代数几何的影子。例如获得沃尔夫奖的陈省身与丘成桐两位先生最重要的工作就与代数几何密切相关：陈（省身）示性类被深刻地推广与运用到代数几何中，而著名的卡拉比-丘（成桐）流形则是目前代数几何中最热门的研究对象之一。本文将简要回顾代数几何的发展历史，从中可以帮助我们了解这个颇为神奇的数学分支学科。

一、在19世纪之前的探索

简单来说，代数几何的主要研究对象是“代数簇” (algebraic variety) ，最简单的代数簇 ( 也称为仿射代数簇 ) 是一组多元多项式的零点集合。对代数簇的研究实际上从古代希腊就开始了，两千年前的古希腊数学家们所熟悉的直线、圆、圆锥曲线、三次曲线等代数曲线和平面、球面、柱面和二次曲面等代数曲面都属于只用一个多项式来确定的代数簇。在没有直角坐标系的条件下，阿波罗尼乌斯 (Apollonius) 运用在今天看来很笨拙的综合几何方法对圆锥曲线作了十分详尽的研究，发现了它的许多性质。到了近代法国数学家笛卡尔 (Descartes) 和费马 (Fermat) 能够用解析几何方法来研究任意代数曲线方程的时候，事情就发生了质的飞跃。古代希腊数学家由于没有代数工具，他们只能局限于研究低次代数方程所表示的曲线或曲面，而有了解析几何之后，在理论上就可以讨论任意次数的代数曲线或曲面，从而就可以把所有的几何问题都转化为代数问题来解决。费马还证明了所有非退化的二次曲线都是圆锥曲线。微积分的发明者之一、数学家牛顿对三次平面曲线进行了初步的分类 ( 共有 72 种 ) ，而欧拉 (Euler) 则对所有的二次曲面进行了分类。

图1：笛卡尔

在 17 世纪时，德沙格 (Desargues) 通过研究画家的透视方法而形成了射影对应的概念，他还引进了无穷远点的概念。在普通的欧氏平面和空间中加入了无穷远点后，就得到了紧致的射影平面和射影空间，它们是许多经典代数簇所在的空间。另一方面，欧拉的虚数概念的引入也完成了代数方面的“封闭化”，由此可以简化数学命题的叙述。例如在射影平面中，非退化的二次曲线只有一种 ( 在普通欧氏平面中要分为椭圆、双曲线和抛物线这三种曲线 ) ，并且三次曲线不是牛顿所分的 72 种，而是只有三种曲线。

图2：牛顿

牛顿和莱布尼茨 (Leibniz) 还用所谓的“消去法”得到了确定两条代数曲线相交点的方程组 ( 即大学高等代数课本中的“结式”方程组 ) 。在此基础上，数学家贝祖 (B é zout) 证明了著名的贝祖定理：设 C 和 C’ 是次数分别为 m 和 n 的平面射影复曲线，则 C 和 C’ 相交于 mn 个点 ( 计入重数 ) 。例如从表面上看，复射影平面内的一条直线与一条抛物线的相交情形一共有四种：交于两点、交于一点、相切与无交点。但其实直线与抛物线交于一点时，它们还相交于抛物线上的无穷远点，而相切可以理解成它们相交于两个重合在一起的点，至于不相交的情形，则可以看成是它们相交于复平面上的两个被称为“圆点”的虚的无穷远点。这样，一次的直线与二次的抛物线在复射影平面上总有 1 × 2 ＝ 2 个交点。又如一个椭圆与一条三次曲线总是相交于 2 × 3 ＝ 6 个交点等等。贝祖定理实际上是代数几何中一个重要小分支——相交理论的起点。

图3 莱布尼茨

二、19世纪对代数簇的初步研究

到了 19 世纪上半叶的射影几何理论正式登场后，才初步形成了一些关于复代数曲线与复代数簇的代数几何定理。以法国数学家庞斯列 (Poncelet) 为代表的一批数学家建立了射影几何的系统理论，总结和整理了大量的射影几何命题和方法，特别是射影变换的理论。例如可以将圆锥曲线看成是两个相互射影对应线束的对应直线的交点轨迹等。在射影几何里还有一些涉及到计数几何 (enumerative geometry) 的定理，例如可以证明每个三次代数曲面上都有 27 条直线、每条非退化四次平面代数曲线都有 28 条与曲线同时相切两次的双切线、与 5 条已知圆锥曲线都相切的圆锥曲线一共有 3264 条等结论。

黎曼是 19 世纪最伟大的数学家。他在研究阿贝尔积分理论的过程中提出了内蕴的“黎曼面”的概念和黎曼面上代数函数的理论。阿贝尔积分是复变函数论中与复代数曲线紧密相关的一种复积分，它来源于微积分中更早的“椭圆积分”，而研究椭圆积分的最初目的则是为了计算椭圆的周长 ( 我们在微积分里已经知道，类似于求椭圆周长的这种定积分是没有原函数的，它们只能通过近似计算的方法来求出定积分的值 ) 。现在在复平面内，如果 f(x,y) 是一个二元复多项式，那么 f(x,y) ＝ 0 就定义了一条复代数曲线，注意在这里可以取复数值的 x 和 y 都是实 2 维的复变量，因此复平面就可以看成是实 4 维空间，而相当于两个实数等式的复数等式 f(x,y) ＝ 0 实际上又确定了两个 4 维空间中的曲面，由于每增加一个实数等式就相当于减少一个几何维数，于是复代数曲线 f(x,y) ＝ 0 实际上就是一个 4 － 2 ＝ 2 维的实曲面。这样，每一条复代数曲线都对应了一个抽象的被称为黎曼面的几何对象。黎曼的初始目标是对黎曼面上所有的阿贝尔积分进行分类，由此出发他得到了一系列刻画黎曼面性质的重要定理。由黎曼面与代数曲线的对应关系可知，他实际上是得到了不少关于代数曲线理论的重要成果，因此我们可以讲，是黎曼首创了用分析来研究代数曲线的方法。

图4 黎曼

黎曼首次发现了“亏格”这一现代几何的基本概念 ( 对应了几何对象上“洞”的个数 ) ，并提出了代数几何中最基本的双有理变换的思想。双有理变换是一种比射影变换更加宽泛的变换，它能够保持代数曲线的亏格不变，并且此时两条代数曲线上的有理函数域一定是同构的。注意到有理函数域是一个代数对象，因此这实际上就是建立了几何与代数之间的初步联系。从黎曼的时代到现在，从某种程度上说，整个代数几何主要就是在研究一般代数簇的双有理分类问题。黎曼和他的学生罗赫一起还发现了著名的 ( 代数曲线上的 ) 黎曼 - 罗赫定理，这个定理反映了代数曲线上的由全体有理函数组成的线性空间的性质是如何受到亏格这一几何不变量控制的。这个深刻定理后来在 20 世纪被推广到了高维代数簇的情形，并直接导致了著名的阿蒂亚 - 辛格指标定理的发现。

黎曼在 1854 年的著名演讲中所给出 n 维黎曼流形的初步概念，不仅仅是为了研究物理学意义上几何空间的需要，其实也是在为探索一般的高维代数簇性质所做的准备工作。黎曼在历史上第一次发现，在一般的高维微分流形上也可以设置任意的度量。他经过推算发现了刻画黎曼流形局部几何性质的主要不变量——黎曼曲率张量。这些张量实际上成为了现代整体微分几何发展的起点，并且最终都会通过某种形式进入到了代数几何的理论中。更令人难以置信的是，黎曼在研究数论时所提出的大名鼎鼎“黎曼猜想”，后来竟也变成了推动代数几何发展的强大动力！所谓的黎曼猜想是说：复变函数黎曼函数的全部复零点的实部都等于。黎曼猜想是一个内涵极其丰富的猜想，它应该是现代数学中还没有被证明的最重要的猜想。

代数数论的研究其实也是推动代数几何理论发展的另一个重要来源。为了研究代数数域的需要， 19 世纪的德国数学家克罗内克 (Kronecker) 和戴德金 (Dedekind) 等人引入理想、赋值和除子等基本概念。以这些数学家为代表的“代数学派”的工作目标是设法对黎曼用分析方法给出的结果试图作出纯代数的证明，毋庸置疑，这对代数几何这门学科的性质来讲是至关重要的。与此同时，以马克斯·诺特 (Max Noether) 和克莱布施 (Clebsch) 为代表的“几何学派”继续从经典射影几何的角度研究复代数曲线，他们发现了平面曲线奇点解消的“胀开” (blow up) 方法。

三、19世纪末到20世纪早期对代数簇的深入研究

从 19 世纪末期开始，代数几何的发展进入了一个新的历史阶段。以皮卡 (Picard) 和庞加莱 (Poincar é

一文搞懂代数几何发展史（一）

正文

一、在19世纪之前的探索

二、19世纪对代数簇的初步研究

三、19世纪末到20世纪早期对代数簇的深入研究

请到「今天看啥」查看全文