代数几何的演进：从代数簇到概形

在20世纪当代数学的繁密分支学科中，代数几何是一门十分重要而又比拟荒谬的分支，它与代数、分析、数论、几何、拓扑以及数学物理等各主要学科都有紧密的接洽，执行上，抽象代数、代数拓扑、微分拓扑、举座微分几缘何及分析学中的许多重要表面都是因代数几何接洽的需要而提倡的。因此代数几安在数学中起着一种中心纽带的作用，是当代数学统一化趋势的主要体现者。但是从19世纪到20世纪的中世，代数几何其实一直是在一个穷苦严格逻辑基础的环境中艰巨地上前发展的。最终，数学家格罗滕迪克（Grothendieck）在1960年代用概形(scheme)表面为代数几何奠定了平安的逻辑基础，从而促进了当代数学的大发展。本文简要转头了从代数簇到当代的概形表面的代数几何发展史。

一、在19世纪之前的发祥

经典代数几何的主要接洽对象是“代数簇”(algebraic variety)，最浮浅的代数簇(也称为代数集)是一组多元多项式的零点聚合。

当其中的各个多元多项式都是一次多项式时，那么它便是线性代数中所接洽的线性方程组，此时的代数簇便是咱们都熟悉的线性方程组的解空间。但是当多项式不是一次时，代数簇的接洽就荒谬的复杂，需要用到代数、几何与分析等学科中的大宗数学才智和器具。

对代数簇的接洽执行上从古代希腊就来源了，古希腊数学家们所熟悉的直线、圆、圆锥弧线、三次弧线都是最浮浅的代数弧线，而平面、球面、柱面和二次曲面都是最浮浅的代数曲面，这些代数弧线和代数曲面都属于只用一个多元多项式来细则的代数簇。在莫得直角坐标系的条目下，阿波罗尼乌斯(Apollonius)诳骗了在今天看来是很奸诈的欧氏几何才智，对圆锥弧线作了十分精明的接洽，发现了它的许多基人道质。

图片

图1：从圆锥弧线到二次曲面

到了近代，法国数学家笛卡尔(Descartes)和费马(Fermat)在诳骗解析几何的才智来接洽随便代数弧线方程的时候，事情就发生了质的飞跃。古代希腊数学家由于莫得代数器具，他们只可局限于接洽低次代数方程所暗示的弧线或曲面，而有了解析几何之后，在表面上就不错商量随便次数的代数弧线或代数曲面，从而就不错把扫数的几何问题都迁徙为代数问题来惩处。东说念主们来源接洽平面代数弧线 和空间代数曲面 ，而且发现了在坐标变换下弧线与曲面方程次数的不变性。费马讲明了扫数非退化的二次代数弧线都是圆锥弧线。微积分的发明者之一、数学家牛顿还对三次平面代数弧线进行了初步的分类(共有72种)，而18世纪的大数学家欧拉(Euler)则对扫数的二次代数曲面进行了分类。

在17世纪时，德沙格(Desargues)通过接洽画家的透视才智而形成了射影对应的办法，他还引进了无尽远点的办法。在普通的欧氏平面和空间中加入了无尽远点后，就得到了紧致的射影平面和3维射影空间，它们是许多经典代数簇场地的空间。另一方面，欧拉的虚数办法的引入也进一步完成了代数方面的“闭塞化”（举例一元代数方程自然不一定有实根，但老是有复根），由此不错简化许多数学命题的表述。举例在普通的欧氏平面中，非退化的二次代数弧线要分为椭圆、双弧线和抛物线这三种弧线，而在复射影平面中，非退化的二次代数弧线唯有一种，而且三次代数弧线不是牛顿所分的72种类型，而是唯有三种弧线。

牛顿和莱布尼茨(Leibniz)还用所谓的“消去法”得到了细则两条代数弧线相交点的方程组（这些方程组在大学高级代数课本中被称为“结式”方程组）。在此基础上，数学家贝祖(Bézout)讲明了有名的贝祖定理：设C和C’是次数区别为m和n的平面射影复代数弧线，则C和C’相交于mn个点(计入重数)。举例从名义上看，复射影平面内的一条直线与一条抛物线的相交情形一共有四种：交于两点、交于少量、相切与无交点。但其实直线与抛物线交于少量时，它们还相交于抛物线上的无尽远点，而相切不错领略成它们相交于两个重合在通盘的点，至于不相交的情形，则不错当作是它们相交于复平面上的两个被称为“圆点”的虚的无尽远点。这样，一次的直线与二次的抛物线在复射影平面上总有1×2＝2个交点。又如一个椭圆与一条三次弧线老是相交于2×3＝6个交点等等。贝祖定理执行上是代数几何中相交表面的起源。

代数几何的第二个主要来源是分析学中的椭圆积分表面。所谓椭圆积分，是指如下神态的积分：

其中的 是有理函数， 是3次或4次多项式。接洽椭圆积分的领先目标是为了策动椭圆的周长，咱们在微积分里如故知说念，雷同于求椭圆周长的这种定积分是莫得原函数的，也便是“积不出来”的积分，它们只可通过近似策动的才智来求出定积分的值。欧拉对一个比拟浮浅椭圆积分，也曾讲明了一个与反三角函数积分性质相似的“加法公式”：

这个加法公式其实是一类十分重要的代数弧线——椭圆弧线上群结构的萌芽。

二、19世纪对代数簇的初步接洽

19世纪是射影几何的黄金时期，以庞斯莱(Poncelet)为代表的一批数学家建立了射影几何的系统表面，总结和整理了大宗的射影几何命题和才智，荒谬是射影变换的表面。举例不错将圆锥弧线当作是两个相互射影对应线束的对应直线的交点轨迹等。东说念主们发现了交比这一射影变换下的不变量，接洽的对象也从“点几何”扩大到了“线几何”，而且来源接洽射影空间里由两个代数曲面相交而产生的空间弧线。

图片

图2：庞斯莱与射影几何的黄金时期

东说念主们不错讲明在每个三次代数曲面上都有27条直线，以及每条非退化四次平面代数弧线都有28条与该代数弧线同期相切两次的双切线，而很有名的普吕克(Plüker)公式则描写了平面代数弧线上的奇点性质。

图片

图3：在每个三次代数曲面上都有27条直线

这个阶段的接洽恶果还包括了：直纹曲面、2次直线簇、格拉斯曼簇(Grassmann variety)、塞格雷(Segre)的代数簇乘积的界说等。此时所接洽的代数簇的维数也来源窒碍3维，进入到了随便的n维。荒谬是数学家们来源有了“模空间”的想法，即沟通一组得志归拢条目（举例方程的次数交流）的代数弧线聚合，它们的全体又不错当作是另一个更高维数的射影空间里的一个代数簇。

在这时的射影几何表面里，有一些波及到计数几何(enumerative geometry)的定理，其中有一个很有名的定理是说：与5条已知圆锥弧线都相切的圆锥弧线一共有3264条。

在19世纪初，阿贝尔(Abel)又将椭圆积分大幅度地奉行成了阿贝尔积分(即有理函数积分)

其中的 是有理函数, 与 必须得志代数方程(即代数弧线)

其中的函数 是多项式。而且阿贝尔也得到了对于阿贝尔积分的雷同的“加法公式”。这个公式执行上清醒了用积分神态暗示的代数弧线上除子(divisor)的等价性关系，它在自后黎曼等东说念主的手中进一步发展成为代数弧线上的阿贝尔簇(Abelian variety)的表面。阿贝尔簇是一种在当代数论中十分重要的代数簇。

图片

图4：伟大的数学家黎曼

黎曼是19世纪最伟大的数学家。他在接洽阿贝尔积分表面的历程中提倡了内蕴的“黎曼曲面”的办法和黎曼曲面上代数函数的表面。阿贝尔积分是复变函数论中与复代数弧线紧密干系的一种复积分，当前在复平面内，若是是一个二元复多项式，那么＝就界说了一条复代数弧线，看重在这里不错取复数值的x和y都是实2维的复变量，因此复平面就不错当作是实4维空间，而相等于两个实数等式的复数等式＝执行上又细则了两个4维空间中的曲面，由于每增多一个实数等式就相等于减少一个几何维数，于是复代数弧线＝执行上便是一个4－2＝2维的实曲面。这样，每一条复代数弧线都对应了一个抽象的被称为黎曼曲面的几何对象。

图片

图5：黎曼曲面

黎曼的来源标的是对黎曼曲面上扫数的阿贝尔积分进行分类，由此启程他得到了一系列描写黎曼曲面性质的重要定理。由黎曼曲面与代数弧线的逐一双应关系可知，他执行上是得到了不少对于代数弧线表面的重要恶果，因此咱们不错讲，是黎曼始创了用分析来接洽代数弧线的才智。

黎曼初次发现了“亏格”这一当代几何的基本办法(直不雅地讲它对应了几何对象上“洞”的个数)，并提倡了代数几何中最基本的双有理变换的想想。若是代数弧线 上的点 与 上的点 之间有以下的有理变换(对应)关系

那么就称这两条代数弧线是双有理等价的。双有理变换是一种比射影变换愈加往常的变换，它大略保持代数弧线的亏格 不变，而且此时两条代数弧线上的有理函数域一定是同构的。数学家们在自后迟缓阐明到：不错通过有理函数域这一代数对象，来执行描写和掌控代数弧线这一几何对象。因此这执行上便是建立了几何与代数之间的基本接洽。从黎曼的时期到当前，从某种进程上不错说，代数几何的主要才智便是通过接洽代数簇上的有理函数域来得到代数簇自己的性质。黎曼和他的学生罗赫通盘，还发现了有名的代数弧线上的黎曼-罗赫定理：

其中 是代数弧线上的随便除子( 是整数， 是代数弧线上的点)， 是 的次数， 是由代数弧线上得志一定条目的全体有理函数构成的线性空间 的维数，l（K－D）的意思是雷同的， 是由代数弧线上的微分神态所细则的典则除子，上述等式右边的 便是代数弧线的亏格。这个定理反馈了代数弧线上的某些由得志一定条目的有理函数构成的线性空间的性质是怎样受到亏格 这一几何不变量戒指的。这个长远定理自后在20世纪被奉行到了高维代数簇的情形，并径直导致了有名的阿蒂亚-辛格狡计定理的发现。

也许咱们不错这样觉得，黎曼在1854年的有名演讲中所给出n维黎曼流形的初步办法，不单是是为了接洽物理学意旨上几何空间的需要，其实亦然在为探索一般的代数簇性质所作念的准备责任。黎曼在历史上第一次发现，在一般的高维微分流形上也不错栽培随便的度量。他经过仔细的推算，发现了描写黎曼流形局部几何性质的主要不变量——黎曼曲率张量 。这些张量执行上成为了举座微分几何发展的起点，而且最终都融会过某种变化了的神态而进入到了代数几何的表面中。愈加令东说念主难以置信的是，黎曼在接洽数论时所提倡的大名鼎鼎的“黎曼忖度”，自后竟也变成了股东代数几何发展的强劲能源。所谓的黎曼忖度是说：

“

复变函数黎曼 函数

的全部非平庸复零点的实部都等于。黎曼忖度是一个内涵极其>丰富的忖度，它是当代数学中还莫得被讲明的最重要的忖度。

”

代数数论其实亦然代数几何的第三个主要来源。为了接洽代数数域的需要，19世纪的数学家克罗内克(Kronecker)和感恩金(Dedekind)等东说念主引入渴望、赋值和除子等基本办法。以这些数学家为代表的“代数宗派”的责任标的是设法对黎曼用分析才智给出的收尾作出纯代数的讲明，有案可稽，这对代数几何这门学科的性质来讲是至关重要的。

图片

图6：克罗内克(左)和感恩金

如前所述，每个代数弧线(或黎曼曲面)的双有理(或共形)等价类都对应和细则了一个同构的有理函数域L，它是复数域C的有限延伸。若是已知代数弧线(或黎曼曲面)S, 每个点都不错细则一个窒碍赋值 ： (Z是整数集)。感恩金和韦伯(Weber)的想法是将这个历程倒过来：从给定的的域的有限延伸L / C启程, 具体地构造出一个代数弧线(或黎曼曲面)来, 使得它的有理函数域正巧便是这个域L。从这个果敢的想法里咱们不错看到当代概形办法的雏形：从代数的对象启程来构造几何对象。感恩金和韦伯在用域L构造代数弧线时，将L上的每个非平庸的窒碍赋值都界说为“L所对应的代数弧线(或黎曼曲面)S的一个点”，从而就得到了一个抽象的“代数弧线(或黎曼曲面)”。自然，构造这种抽象的“代数弧线”并不是在作念败兴的数学游戏。在接洽代数簇的双有理分类问题中，通常需要在归拢个等价类中寻找一个性质比拟好的代表元素，而这个元素不时便是通过这种奇怪的步地东说念主为地构造出来。举例1939年扎里斯基在讲明代数曲面的奇点解消定理时，亦然诳骗了这个才智。

与此同期，以马克斯·诺特(Max Noether)和克莱布施(Clebsch)为代表的“几何宗派”不绝从经典射影几何的角度接洽复代数弧线和复代数簇，他们他们进一步表露和发展了黎曼的对于双有理变换和黎曼-罗赫定理的表面，而且发现了平面代数弧线奇点解消的基本才智，即所谓的二次变换“胀开”(blowing up)的才智。

图片

图7：马克斯·诺特和平面代数弧线的奇点解消才智

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

从19世纪末期来源，代数几何的发展进入了一个新的历史阶段。以皮卡(Picard)和庞加莱(Poincaré)为代表“分析宗派”试图将黎曼的复代数弧线表面奉行到复代数曲面上。自然这里的(复的)维数只是增多了一维，但是与代数弧线的情形十足不同，接洽代数曲面需要克服许多艰巨，难度极大。举例在复三维的空间中，若是g(x,y.z)是一个三元复多项式，那么g(x,y.z)＝0便是一个复代数曲面。与复代数弧线雷同，g(x,y.z)＝0执行上细则了实6维空间中的一个6－2＝4维的实微分流形。

雷同于黎曼接洽上的有理函数的积分

皮卡接洽代数曲面 上有理函数的积分

他用形如 ( 为常数)的一组平面去截割上述代数曲面, 在所得的代数弧线上再诳骗黎曼的收尾, 然后分析当 变化时的情形，得到了一些重要的收尾。

与代数弧线一样，代数曲面上有理函数的积分也受曲面的拓扑性质的戒指。举例对于曲面 上与微分神态干系的典则除子 ，由它所细则的函数空间的维数得志 ，其中的 被称为代数曲面的几何亏格。与代数弧线唯有单一的亏格 不同，描写代数曲面除了几何亏格 之外，还需要算术亏格 等其他的不变量。

图片

图8：庞加莱创立了代数拓扑中的同疗养论

在接洽代数曲面的历程中，荒谬需要了解高维流形的拓扑性质。庞加莱为此始创了代数拓扑的同调(homology)表面。为了弄了了黎曼所说的高维“贝蒂(Betti)数”到底是什么，庞加莱来源建立单纯复形的同疗养论，以便大略严格地讲明黎曼的直不雅忖度。他从1895来源，写出了有名的对于同疗养论的一系列文章。其时，庞加莱还莫得效群论的话语，自后在1930年代经E. 诺特(Emmy Noether)建议，东说念主们才改用了群论的术语。在今天，咱们不错用简练的话语来形色庞加莱所引入的基本办法：先将代数簇 进行三角剖分后得到单纯形 ，然后界说鸿沟运算同态 ，从而不错得到单纯复形

由于有基本的等式  , 是以大略构造单纯同调群(其实亦然线性空间)

这样，第 个贝蒂数便是该线性空间的维数

它们都是拓扑不变量，不错用来描写代数簇的几何性质。

接着莱夫谢茨(Lefchetz)在20世纪初期进一步用这个同疗养论来源接洽复代数曲面的拓扑性质，得到了许多长远的定理。对于代数曲面表面接洽的最主要的孝顺如故来自于有名的“意大利宗派”。这个宗派的三个主要代表东说念主物是卡斯泰尔诺沃(Castelnuovo)、恩里奎斯(Enriques)和塞维里(Severi)，他们在20世纪初期用天才的几何直观和富贵的几何妙技，概括诳骗包括分析与拓扑才智在内的多样才智创造了复代数曲面的一个荒谬长远的表面，包括代数曲面的奇点解消、代数曲面的除子与线性系的经典表面、代数曲面的黎曼-罗赫定理的初步神态以及代数曲面的模空间等等。

但同期意大利宗派的责任也有一个很大的残障，那便是枯竭一个统一的逻辑基础，一些“讲明”要依赖于数学家心目中某种神秘的几何直不雅，因而穷苦严实性。和数学史上常见的情形一样，这种逻辑基础不稳的气象对于视严格为生命的数学家们来说是一件荒谬纠结的事，它严重阻拦了代数几何的上前发展。

四、将抽象代数才智引入到代数几何中

要着实严格地建立起代数几何的推理逻辑基础，离不开抽象代数，这是因为抽象代数大略在最一般的情形中准确地形色代数簇的性质。在1900到1930年之间，如故来源出现了一些抽象代数的表面，包括群、环、域和模等表面。群论主要来源于19世纪的伽罗瓦(Galois)表面，而环与渴望的办法则来自于感恩金的代数数论，它们的最早雏形是数域的代数整数环过火渴望的办法。克罗内克不仅从代数数论中抽象出了一般的环与渴望的办法，而且拉斯克(Lasker)在20世纪初期就发现了渴望与代数簇之间一些最基本的自然接洽，举例不可约仿射簇所对应的“坐标环(coordinate ring)”一定是整环，而不可约仿射簇的几何维数执行上就等于这个整环的商域在复数域上的卓绝次数等。

当前咱们来解释环(ring)为什么对代数几何来说是很重要的。在由全体 元多项式构成的多项式环 中，任何由 个多元多项式所细则的代数集 也细则了一个渴望：

所谓代数集 的坐标环，便是由这个渴望所细则的商环

它也不错当作是 上全体 元多项式函数的聚合。当 不成暗示成两个更小的代数集的并集(即不可约)时，就称 是一个仿射簇(affine variety)。此时的渴望一定是一个素渴望，而相应的坐标环是一个整环。因此咱们看到，在仿射簇与坐标环之间有逐一双应的关系：

仿射簇坐标环

若是咱们将几许个仿射簇顺应地“拼贴”在通盘, 那么就得到了一个传统意旨上的代数簇。因此仿射簇是代数簇的基本构成部分。举例 维射影空间 便是一个比拟浮浅的代数簇，它是由 个普通 维欧氏空间经过拼贴而成的。

另一方面，有名的希尔伯特零点定理是说： 中的极大渴望和 的点是逐一双应的，因此坐标环的极大渴望就与仿射簇 的点逐一双应，这其实也意味着不错证据代数的信息(即渴望)来构造几何的对象。这是自后概形办法大略产生的最原始的想法。

克鲁尔(Krull)进一步建立了对于环的渴望方面比拟系统的表面，包括环的局部化(localization)的办法、整闭环的性质、赋值表面和克鲁尔维数等内容。对代数几何来说，环的局部化办法吵嘴常基本的。对于仿射簇 来说，整环 的商域是它的有理函数域 。对 上的任何点 ，都有一个局部环：

自后东说念主们发现，这些局部环的全体构成了不错给出仿射簇 几何特征的结构层(structure sheaf)。

图片

图9：E. 诺特建立了抽象代数的基本表面框架

E. 诺特是20世纪最伟大的女数学家，她亦然代数几何学家马克斯·诺特的女儿。在E. 诺特之前，代数学基本上只局限在实数域和复数域中进行接洽，是E. 诺特最先阐明到代数结构是代数学中的首要办法，她对建立起抽象代数学的基本表面框架起着主要的作用。范德瓦尔登(van der Waerden)所写的两卷名著《代数学》便是为系统总结E. 诺特和E. 阿丁(E. Artin)的环论以过火他抽象代数表面而写的。E. 诺特将感恩金的代数数域的渴望剖释表面奉行到一般的环上，得到了许多像“任何渴望均可暗示为准素渴望的交”这样的基本定理，荒谬是对于“诺特环”这样的在代数几何中最常用到的办法和干系表面。

范德瓦尔登也对代数几何的逻辑基础建造，有过重要的孝顺，他在1930年代写了一系列的文章，用抽象代数的才智解释了以往代数几何学家们直不雅婉曲的“一般点(generic point)”和“特殊化(specialization)”的着实含义，给出了在相交表面中最基本的代数簇相交重数(intersection multiplicity)的严格界说。尤其值得一提的是：范德瓦尔登的学生和主要相助者周炜良也参与到了代数几何基础的重建责任中。周炜良是一位诞生于上海的中国数学家，他的一世对代数几何有着许多基本的孝顺，其中最有名的是对于解析簇与射影簇等价的周定理，他还讲明了代数簇上闭链(cycle)的有理等价性定理，从而就不错界说一种重要的环——周环(Chow Ring)，它当前是相交表面中的一个基础术语。

图片

图10：范德瓦尔登与周炜良

另一位在代数几何中大范围引入抽象代数才智的数学家是扎里斯基(Zariski)。扎里斯基底本是意大利宗派三位主要代表各人的学生，他对经他整理的意大利宗派恶果的讲明严实性不及而感到不安和失意，是以他决定用抽象代数的才智来从头给出扫数的讲明。来源的时候，扎里斯基只是是将几何的话语“翻译”成代数的话语，但是他很快阐明到将经典代数几何里的定理平行地翻译成其时的抽象代数话语是远远不够的，好多时候扎里斯基必须我方从头发明新的抽象代数办法，并建立干系的抽象代数表面，才能得志形色代数簇复杂性质的需要。举例在给出重要的代数曲面奇点解消定理讲明的时候，扎里斯基就第一次告捷地将环论中的整闭包的表面与克鲁尔的赋值环的表面诳骗到了代数几何中，而且还创造了一个被称为“正规(normal)”的新的抽象代数办法。到自后，在代数几何里所需要用到的交换环常识是如斯之多，以致于扎里斯基和他的相助者专诚写了两卷《交换代数》，来作为东说念主们学习代数几何的贪图常识。

图片

图11：扎里斯基在代数几何中引入抽象代数才智

扎里斯基还界说了在代数几何中专有的“扎里斯基拓扑”的办法，其中一律将代数集的补集都界说为“开集”。咱们不错设计，任何两个这样的开集的杂乱都不是空集，因此在这种比拟疏漏的拓扑里就不会有通常点集拓扑中的豪斯多夫(Hausdorff)分离性公理。尽管如斯，扎里斯基拓扑却荒谬顺应接洽代数簇性质的需要。

五、举座微分几何才智的引入

黎曼用分析的才智接洽代数簇的传统深深地影响了20世纪对于代数几何的接洽。最先，举座微分几何的前驱外尔(Weyl)在接洽克莱因(F. Klein)对于黎曼曲面的著述基础上，在1913年写了《黎曼曲面的办法》这本繁重要的著述，其中初次给出了黎曼曲面的当代界说，系统整理了黎曼曲面的解析表面。从外尔给出的黎曼曲面内蕴界说启程，东说念主们就不可贵到高维微分流形的一般界说，即微分流形是局部同胚于欧氏空间的拓扑空间，而且扫数的坐标邻域之间的更动函数都是可微函数。自然，代数簇不一定是微分流形，因为它不错包含奇点。但是从接洽微分流形的历程中所产生的几何才智和表面大多都不错被用到代数几何的接洽当中。执行上，微分流形的界说便是自后的概形界说的源泉，这两个界说都强调不依赖外部的空间而孤苦存在，而且局部都是与比拟浮浅的几何对象同胚(或同构)。

图片

图12：举座微分几何的前驱外尔

相同是在20世纪早期，列维-皆维塔(Levi-Civita)为了弄了了黎曼所发现的复杂的曲率张量的着实含义，而提倡了黎曼流形中“平行迁徙”的浮浅办法。外尔则进一步将它发展成为“仿射汇集(affine connection)”这一当代微分几何的基本办法。所谓“汇集”，浮浅地说便是切空间的求导规章，它在骨子上如故与空间的度量无关。就像黎曼将度量从空间均分离出来一样，外尔也将汇集从度量当均分离了出来。

举座微分几何另一位前驱是法国数学家E. 嘉当(E. Cartan)，E. 嘉当接下来是将汇集的办法发展成为“广义空间”的基本办法。他的有名的“行为标架”才智其实便是“向量丛(vector bundle)”办法的雏形，一般用以下标志来暗示向量丛：

其中的暗示从向量丛 到微分流形 的投影映射，对 上的每个点 来说，它们的“纤维” 都是向量空间(举例每个点 的切空间便是这样的向量空间，它们构成了 的切丛)。而描写流形蜿蜒进程的汇集办法就不错奉行成向量丛上的汇集。自后东说念主们又从向量丛的表面中抽象出了更一般的“纤维丛(fiber bundle)”表面。

图片

图13：举座微分几何的前驱E. 嘉当

E. 嘉当(以及先前的庞加莱)还引入了很重要的微分神态(也称为“外微分神态”)：

E. 嘉当诳骗了微分神态来暗示向量丛上的汇集。在20世纪的20年代，其时险些扫数的微分几何学家都只是使用张量分析，而唯有E. 嘉当在微分几何中使用微分神态的才智，这吵嘴常超前的。E. 嘉当在接洽李群(一种特殊的微分流形)的举座拓扑性质的时候，发现从微分神态中不错径直得到流形的几何与拓扑不变量，从而找到了分析与拓扑之间的长远接洽。E. 嘉当作出了一个十分重要的忖度：由微分流形 上的扫数微分神态细则的德拉姆(de Rham)同调群与 的上同调群(cohomology group)应该是同构的，即有

“同构”这一术语的意思是说，在代数上这两个群是十足一样的。

德拉姆是E. 嘉当的学生，在1931年，德拉姆讲明了上述忖度，使之着实成为了“德拉姆定理”。这个定理是当代几何发展史上的一个里程碑。另一位数学家霍奇(Hodge)则进一步弄了了了德拉姆同调群的里面结构，为这个群中的每一个元素都找到了统一（微分）神态来作为其代表，由于统一神态在椭圆型偏微分算子的作用劣等于零，从而不错诳骗偏微分方程的才智来愈加准确地暗示代数簇的几何不变量。

这里要荒谬先容一下咱们熟悉的陈省身先生对于代数几何所作出的重要孝顺。陈省身早年亦然E. 嘉当的学生，他接管了后者的纤维空间的想想，而且永远在微分几何中一心一意地诳骗微分神态的才智。陈省身在1944年用微分神态内蕴地讲明了高维流形 的高斯-博内(Gauss-Bonnet)定理：

这个等式左边的是 的球丛上的曲率微分神态，右边是流形 的欧拉示性数，这个重要定理标明了流形局部的分析不变量与举座的拓扑不变量之间的紧密接洽。

接下来，陈省身先生将讲明高斯-博内定理中的想想用到了一般的复流形上, 用复流形 的纤维丛 上的微分神态细则了 的上同调群的元素——“陈(省身示性)类”：

这个极其重要的责任建立起了纤维丛的上同调群与微分流形的上同调群之间的径直接洽，清醒了纤维丛对于形色微分流形的举座拓扑性质的重要性。自后东说念主们迟缓发现，陈类是抒发高维代数簇几何性质（举例高维的黎曼-罗赫定理）的最基本的器具。

而要让纤维丛着实进入代数几何，靠的是另一位数学家韦伊(Weil)的极力。韦伊是陈省身先生一世的知音，有十年的时候他们在通盘责任，共同探讨了纤维丛的表面。在1950年，韦伊最先发现了纤维丛表面不错用到代数几何中，这是因为他看出：复流形上的每个除子都对应了一个线丛(line bundle，即秩为1的向量丛)，而反馈流形拓扑性质的主要狡计欧拉-庞加莱示性数也必须用流形切丛的陈类来抒发。接着很快，高维代数簇的黎曼-罗赫定理也被其他数学家通过诳骗了纤维丛和层论(sheaf theory)而发现和讲明。这样，纤维丛表面就和差未几同期发展起来的层论融会在通盘，成为了股东代数几何上前发展的强有劲火器。

六、当代数论中的韦伊忖度

韦伊不错说是20世纪当代数学中涉猎最广的数学家，他对险些扫数的基础数学主要分支学科都作出了紧要的孝顺，它们区别是抽象代数、数论、算术代数几何、代数几何、举座微分几何、代数拓扑、李群和李代数、分析学等领域。韦伊接洽代数几何的动机主要来源于数论——他很早就想讲明有名的黎曼忖度。

韦伊给与的是间接间接的政策。浮浅说来便是先对一些比拟浮浅的域(举例有限域)讲明黎曼忖度，从中取得训诲，将来再沟通最难拼集的复数域上的黎曼忖度。早在1923年，E. 阿丁(Artin)类比于感恩金的代数数域的黎曼 函数，界说了有限域上的黎曼 函数：

其中的 是一个次数为 的多项式，而这里的 是与有限域对应的某条代数弧线的亏格(自后东说念主们发现上述由E. 阿丁界说的黎曼 函数所得志的函数方程正巧便是对于该代数弧线的黎曼-罗赫定理)。包括E. 阿丁和韦伊在内的一些数学家忖度：对有限域 上的代数弧线来说，多项式 的全部零点都在圆 上，而这恰是有限域上代数弧线的黎曼忖度。

图片

图14：20世纪的大数学家韦伊

为了讲明这个忖度，韦伊需要使用经典代数几何的才智，是以他必须惩处经典代数几何的基本办法否认不清、表面基础不稳的严重问题。为此韦伊在1946年专诚写了一册书《代数几何基础》，在这部重要的著述中，韦伊仿照微分流形的界说，最先提倡了内蕴的“抽象代数簇”的界说，他用有理函数作为更动函数，将局部的比拟浮浅的仿射簇粘贴在通盘，成为了一个抽象代数簇，从而透顶解脱了外皮射影空间的拘谨，极地面扩展了代数几何的适用范围。韦伊还在他的抽象代数簇上初次使用了扎里斯基拓扑。在此基础上，韦伊用我方的步地建立了一整套代数几何的基础表面。他用交换代数的话语，引入了代数几何中的一批重要的办法，包括闭链、一般点、特殊化、相交重数和曲面上的对应等。自然从名义上看，韦伊所建立的这些表面自后好象都被概形表面十足取代了，但其实它们只是换了一种神态，最终都被继承进了概形表面中。

1946年，在上头这本书出书之后不久，韦伊终于讲明出了他的对于有限域上代数弧线的黎曼忖度。然后在1948年，韦伊证据他对阿贝尔簇和格拉斯曼簇等高维代数簇在有限域上的点数所作念的策动收尾，而且在拓扑学的启发下，提倡了高维代数簇上与黎曼忖度雷同的“韦伊忖度”。这个令东说念主嗅觉是感天动地的韦伊忖度，清醒了在有限域上代数簇的算术(arithmetic，即数论)性质与复数域上的代数簇拓扑性质之间具有荒谬长远的接洽。

七、层论的用处

要想讲明韦伊忖度，数学家们需要太多的数学器具，其中就包括了还莫得被创造出来的概形表面。概形的办法中包含了两个方面的内容，第一个内容是抽象的“几何对象”，第二个内容是它上头的多样“函数”，也便是层。层论最早是由法国数学家勒雷(Leray)在20世纪40年代初提倡的，他在二战前主要接洽偏微分方程，二战中他被关进监狱，为幸免让德军派去作念应用性的接洽，他在监狱里只接洽属于基础数学的层论。

图片

图15：勒雷创立了层论

层的办法来源于复变函数论中的全纯函数(即解析函数)，层所包含的元素既不错是函数，也不错是包括了群、环和纤维丛的截面(section)等在内的其他多样东西，因此它不错当作是纤维丛的某种奉行。层 的界说约莫是：设 是拓扑空间， 是开集，记 是 上“函数”的聚合。在 的开集包含关系 之间，有截至（restriction）同态 ： ，使得掀开集 上的“函数”一定亦然位于其中的小开集 上的“函数”，而且若是 是 的开袒护，而且对任何 与，有“函数”尽头的关系，则存在独一的“函数” ，使得对任何，都有 。

层的优点是，它就像一个生动的百变魔术箱，不错包含多样几何与拓扑方面的信息。举例通过建立层的上同调群，不错从局部的信息来得到拓扑空间举座的信息，而且还不错处理带有奇点的复杂的几何空间。20世纪50年代，数学家H. 嘉当(E. 嘉当的男儿)在接洽多复变函数论的时候，发现勒雷的层论荒谬有效。H. 嘉当发现复代数几何心仪大利宗派的许多不变量都不错通过层的上同调群话语，很容易地暗示出来。举例，若是设

是 维紧致连通复凯勒(Kähler)流形 上结构层 的复形，那么和代数拓扑中的单纯复形一样，不错界说层的上同调群

这时维数 便是的几何亏格，而它的算术亏格则是

H. 嘉当还进一步给出了环层空间(ringed spaces)的界说，它的作用是将浮浅的空间“粘贴”在通盘。H. 嘉当还与艾伦伯格(Eilenberg)通盘创立了同调代数的基本表面体系，讲明了同调代数中的许多定理。同调代数与交换代数通盘，成为了当代代数几何最基本的话语。

图片

图16：H. 嘉当与多复变函数论、同调代数

另一位恣意股东让层论进入代数几何的数学家是塞尔(Serre)。塞尔也曾在早年接洽了拓扑学中荒谬艰巨的球面同伦群的策动问题，以后他就参与到了H. 嘉当斥地的多复变函数论和层论的接洽中。和不少数学家一样，其实塞尔的最终接洽标的之一亦然想讲明韦伊忖度。塞尔在一种允许有奇点的施泰因(Stein)复流形上引入了十分重要的凝合层(coherence sheaf)的办法(它不错当作是纤维丛的某种模拟)，凝合层的上同调群具有十分致密的性质。接着塞尔又看出层论也不错用在比施泰因流形更特殊的复代数簇上，于是他就立即系统地将层论大范围地诳骗到了代数几何中。

图片

图17：塞尔在代数几何中大范围引入了层论

塞尔为代数几何构想了一个最基本的接洽对象，称为“塞尔簇(Serre Variety)”，其中充分继承了H. 嘉当的环层空间的办法。塞尔觉得这是一个比韦伊的毋庸层论的抽象代数簇更浮浅的办法。咱们不错这样领略：塞尔所作念的这一切，其实相等于是将举座微分几何中的纤维丛表面的想想移植到了代数几何中。塞尔还对他的塞尔簇讲明了有名的“塞尔对偶性定理”

它当前是策动概形的层的上同调群的基本公式。不外和韦伊的抽象代数簇一样，塞尔簇也有我方的残障，举例有一个波及“十足性(complete)”的附加条目就截至了塞尔簇的使用范围。

八、概形表面的创立

执行上早在20世纪50年代的时候，就如故有东说念主预见了概形这个比塞尔簇更基础的办法，但是莫得东说念主着实敢去执行建立这个概形表面。这是因为若是要将概形作为代数几何的最基本的接洽对象，那么就等于是将迄今为止建立起来的总计代数几何的表面大厦推倒重来，而且构建这个空前宏大的概形表面，需要概括一百多年来所产生的代数、分析、几何、数论与拓扑等学科的大宗主要恶果，以其责任量之纷乱，就十分需要一个像格罗滕迪克那样的超等天才式的东说念主物。

图片

图18：伟大的数学家格罗滕迪克

1928年3月28日，格罗滕迪克诞生于德国柏林的一个犹太家庭，他在来源其数学接洽的糊口时，所接洽的领域是泛函分析中的拓扑线性空间。在这之后，格罗滕迪克干涉到了同调代数的接洽中。亦然在阿谁本事，他来源了与塞尔的持久有名通讯。从塞尔以过火他的数学家那处，格罗滕迪克学到了许多当代数学和代数几何的基本常识，转而对代数几何和数论产生了浓厚的兴味。他接洽建立代数几何基础表面的热烈动机之一其实亦然为了想讲明阿谁与黎曼忖度雷同的有限域上高维代数簇的韦伊忖度。

前边也曾谈到在仿射簇 和它的坐标环之间有逐一双应的关系，因此对仿射簇的几何接洽也就不错迁徙为对相应的坐标环的代数接洽。但是坐标环是一种性质很好的环，它在环论中还有一个专诚的称号叫“ -代数( -algebra)”。由于不是每个交换环都不错成为仿射簇的坐标环(举例整数环Z便是如斯)，是以格罗腾迪克就想用随便的交换环来构造一种雷同于仿射簇那样的抽象的几何对象，使得每一个交换环都不错成为这种抽象几何对象的“坐标环”。

塞尔也曾在他的塞尔簇表面中讲明过一个重要的收尾：交换环 的局部化的办法不错导致产生由 的扫数极大渴望构成的极大渴望谱 上的一个层。咱们也曾说过，仿射簇坐标环的极大渴望与仿射簇上的点亦然逐一双应的，由此东说念主们容易预见：用极大渴望谱 来作为与交换环 对应的“几何对象”，而且但愿交换环之间的同态映射 ： 对应于这种新“几何对象”之间的正则映射。但是缺憾的是， 的极大渴望 的逆像 并不老是 中的极大渴望。但是一朝当东说念主们把极大渴望换成了素渴望，这个问题便不存在了（在大学抽象代数课程里有一个基本的习题：讲明素渴望的同态逆像一定是素渴望）。

在1957年傍边，卡吉耶(Pierre Cartier) 建议用交换环 的全体素渴望的聚合 （称为素谱）来作为与 对应的“几何对象”，它应该是经典仿射簇的某种抽象的奉行。这个浮浅的想法立即成为了格罗腾迪克重建代数几何基础的起点。这是因为每个交换环 的素谱 连同它上头的结构层 通盘，都大略构成一个环层空间 ，这个环层空间便是最浮浅的“概形”——仿射概形(affine scheme)。这个仿射概形便是格罗滕迪克心目中最基本的“抽象的几何对象”。一朝有了仿射概形，那么对这种新的几何对象的接洽就大略迁徙为对随便交换环的代数接洽，这样就将极地面拓展这种新几何的适用范围，收场东说念主们长期以来求之不得的将代数几何与代数数论统通盘来的想象。

图片

图19：仿射概形的基本想法

这个构想仿射概形的历程有点雷同于感恩金和韦伯从复数域的有限延伸启程来构造抽象的“代数弧线”一样。格罗滕迪克通过构造一种雷同于仿射簇那样的抽象的几何对象“仿射概形”，使得每一个交换环都成为了这种仿射概形的坐标环。咱们不错这样来暗示这些对应关系：

图片

1958年8月，格罗滕迪克在爱丁堡举行的国外数学家大会上作了一个报恩。他的这个报恩预报了其畴昔十年的责任，相等于是给出了宏大的概形表面的提纲。自后被誉为“代数几何的圣经”的八卷《代数几何学旨趣》(简称EGA)，便是格罗滕迪克在1960-1967年间按照这个提纲来写的。

仿射概形具体的构造历程是这样的：最先设 是一个随便的交换环，记 为 中扫数素渴望的聚合，则 便是咱们所需要的“几何空间”，它上头的每一个“点”都是一个素渴望。

接下来不错界说在这个“几何空间”上的函数。对于每个“点”(即素渴望) ，记 为整环 的商域，那么交换环 的每一个元素 都不错按如下的步地被觉得是一个 上的函数：咱们界说 是 在镶嵌映射 下的像。举例当 属于素渴望 时，它在该镶嵌映射下的像是域 中的零。为了证明这里界说的函数如实是往常经典仿射簇 上多项式函数的奉行，咱们不错令 是 的坐标环，而且令 是一个极大渴望(由希尔伯特零点定理知说念 代表一个点)，那么此时就有 ，而从以上的界说可知 的元素 在 点处的值其实便是传统意旨上的多项式函数值。

有了函数，咱们就不错界说 中的“代数集(即零点集)”了。设 (即 是一些函数的聚合)，则 的“代数集”的是

然后就和往常一样，将在 中的补集都界说为“开集”，于是就有了“几何空间” 上的“扎里斯基拓扑”。

构造仿射概形的临了一步是界说 上的“结构层” ，其基快乐趣与在经典仿射簇顶用克鲁尔的局部环来形成结构层的作念法是雷同的，只是推导的历程比拟繁复。这样，“几何空间” 与“结构层” 通盘就构成了一个环层空间 ——它便是“仿射概形”。不错讲明，当是坐标环时，这里界说的“结构层”一定便是仿射簇 的传统意旨上的结构层，从而咱们不错说仿射概形是仿射簇的奉行。

在有了以上对于仿射概形的贪图办法后，格罗滕迪克就大略界说概形了。在有名的EGA的第一卷第一章中，咱们看到底下的两个界说：

“

（2.1.1）设有一个环层空间 ，所谓 的一个开子集 是一个仿射开集，是指环层空间 是一个仿射概形（1.7.1）。界说（2.1.2）——概形是指这样的环层空间，它的每一个点都有一个仿射开邻域。

”

格罗滕迪克在前一个界说里所说的“仿射开集”与后一界说中的“仿射开领域”的含义是一样的。换句话说，概形便是局部同构于仿射概形的环层空间，或者也不错将概形约略地领略为是将一些仿射概形经过顺应的“粘贴”后而得到的。由于仿射概形是仿射簇的奉行，因此很显然：概形如实是经典代数簇的抽象奉行。

图片

图20：格罗滕迪克写的《代数几何学旨趣》(EGA) 第一卷的中译本

格罗滕迪克的概形表面将代数几何打形成了一个在很猛进程上将几何、代数、数论与分析无缺统通盘来的逻辑推理体系，它具有许多经典代数几何表面所莫得的优点。举例在概形上，不错有严格的“一般点(generic point)”、“基变换(change of bases)”、以及“幂零元(nilpotent element)”等荒谬有效的办法，而且不错用缜密的抽象代数的才智来接洽几何对象的多样抽象的“几何性质”，这样就为惩处一大宗重要的经典数学问题开辟了说念路。相同在概形上，咱们不错作念扫数的在经典代数簇上也曾作念过的事情，举例不错界说广义的“纤维丛”(即模层)、“除子”和“微分”，不错有层的上同疗养论(包括Serre的对偶定理等)，不错建立严格的代数簇分类表面和和一般的黎曼-罗赫定理，以及建立严格的相交表面(包括周环和陈类)等等。在概形上也大略作念往常根柢无法作念到的事情，举例不错构造模空间的严格表面，尤其是不错建立大略应用于数论的“算术代数几何”表面等。

在写完毕EGA之后，格罗滕迪克和他的相助者们又通盘马抑遏蹄，不绝撰写书名简称为SGA的另外八卷系列的代数几何专著。就这样，通过总篇幅达7500页的EGA和SGA这两套书的写稿，格罗滕迪克在20世纪60年代末，终于将经典的代数簇表面奉行成了适用面更广的概形表面，着实为总计代数几何建立起了一个平安的逻辑基础，而且透顶重写了代数几何。

不外，先进的概形表面并不虞味着它是容易掌执的。恰恰相背，东说念主们需要付出巨大的极力，还需要掌执大宗的交换代数与同调代数，才大略着实领略和掌执概形表面。不时在经典代数几何中是寥寥数语的事情，到了概形表面中论述就比拟长。举例前边也曾说过，在概形表面所给与的扎里斯基拓扑中，莫得豪斯多夫的分离性公理，因此在执行需要接洽代数簇的分离性质的时候，就需要用比拟复杂的映射性质来间接地描写分离性。

在今天，若是要让咱们径直通过阅读格罗滕迪克的EGA来学习概形表面的话，是有许多艰巨的。主要的问题还在于它的顶点一般的抽象性，以及它的篇幅巨大。好在代数几何学家哈茨霍恩(Hartshorne)在1977年写了一册极好的接洽生教材《代数几何》（有科学出书社的中译本），它不错当作是EGA的一个浓缩简写本。

图片

图21：哈茨霍恩写的《代数几何》中译本

九、概形表面股东了代数几何的大发展

代数几何学家西里贝托（C. Ciliberto）曾说：“自然概形来源于代数簇及它们之间的映射，但不错说在代数几何中其实到处都有概形，举例概形不错作为映射的像、映射的纤维，以及用来作为对射影空间中的代数簇进行参数化的模空间等等。东说念主们迟缓发现概形和凝合层的上同调恰是进一步发展代数几何所需要的最合适的话语，这种话语也曾是德国粹派和意大利宗派所紧迫期许的。格罗滕迪克的概形表面十足收场了范德瓦尔登、韦伊和扎里斯基要为代数几何打造一个坚实严格的逻辑基础的想象，他们也曾荒谬紧急地但愿创造一种大略同期形色代数簇的拓扑性质和的算术性质的新的浩荡性话语。”（见《Development of Mathematics(1950-2000)》一书）。

图片

图22：中年和晚年的格罗滕迪克

自后的历史发展讲明，当经典代数几何的逻辑基础问题被透顶惩处后，代数几何便立即在20世纪的后半叶取得了巨猛阐发。底下列举了一些通过诳骗概形表面而赢得的紧要恶果：

1．芒福德(Mumford)建立了一般模空间的表面；2．广中平佑惩处了随便维数代数簇的奇点解消问题；3．德利涅(Deligne)讲明了数论中韦伊忖度；4．法尔廷斯(Faltings)讲明了数论中的莫德尔(Mordell)忖度；5．森重文在3维代数簇的分类接洽中取得了要害性的窒碍；6．怀尔斯(Wiles)讲明了数论中有名的费马大定理。

不仅如斯，伴跟着这些紧要问题的惩处历程，同期又出现了一大宗全新的数学接洽领域，其中尤其令东说念主想不到的是概形表面对于数学物理的接洽所产生的巨大股东作用，而在量子场论中出现的许多新想想（举例弦表面、镜像对称和量子上同调等），反过来又促进了对代数簇的拓扑和计数几何的接洽。

最近，胥鸣伟浑朴在他刚出书的《代数几何教材》（高级矜重出书社2021年）一书中这样写说念：“从黎曼，到主要以结式为器具，处理可构造性问题的经典宗派，到具很强直不雅性的意大利宗派，再到建立严格基础的扎里斯基，范德瓦尔登，韦伊，临了到了格罗滕迪克的概形表面：这是一个艰深的极具威力的表面，是20世纪数学的最伟大配置之一，于今仍不绝上前发展，深入到许多领域。在本书中，咱们试图沿这条道路游览一遍，为进一步接洽更深的代数几何干系内容打好基础，诸如代数几何的根柢问题：分类（包括当前热门的双有理几何），与表面物理（举例超弦表面）紧密干系的模簇表面，与数论干系的算术代数几何（即在Q，Z或有限域上的代数几何），与K表面干系的周环表面，等等。总之，代数几何是当代数学，荒谬是表面数学的最重要的基础之一，它将为你提供想考数学问题的另一种强劲平台。”

东说念主们常说格罗滕迪克“有一种对于数学可能是什么的瀽瓴高屋般的不雅点”。数学家巴斯(Bass)就曾评价：格罗滕迪克用一种“天地般普适”的不雅点改革了总计数学的全貌。咱们不妨不错浮浅地将代数几何当作是“用多项式接洽几何、用几何的想法接洽多项式”的学科。荒谬是从代数几何中体现出来的代数与几何相互作用的步地，具有浩荡的意旨，当前这种想想才智如故浸透到了险些扫数的当代数学各主要分支学科中。

文稿|陈跃裁剪|朱善军

本站仅提供存储就业，扫数内容均由用户发布，如发现存害或侵权内容，请点击举报。