相关代数、几何类图书推荐
|
编者按 按照俄国数学家沙法列维奇的观点，代数几何在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é)为代表“分析学派”试图将黎曼的复代数曲线理论推广到复代数曲面上。虽然这里的(复的)维数仅仅增加了一维，但是与代数曲线的情形完全不同，研究代数曲面需要克服许多困难，难度极大。例如在复三维的空间中，如果g(x,y.z)是一个三元复多项式，那么g(x,y.z)＝0就是一个复代数曲面。与复代数曲线类似，g(x,y.z)＝0实际上确定了实6维空间中的一个6－2＝4维的实微分流形。 在研究代数曲面的过程中，非常需要了解高维流形的拓扑性质。法国数学家庞加莱为此首创了代数拓扑的同调(homology)理论。为了弄清楚黎曼所说的高维“贝蒂(Betti)数”到底是什么，庞加莱开始建立单纯复形的同调理论，以便能够严格地证明黎曼的直观猜想。他从1895开始，写出了著名的关于同调理论的一系列文章。其大致的想法是，先将代数簇进行三角剖分后得到一系列单纯形，然后就能够以此构造出单纯同调群(其实也是线性空间)，这样，每个贝蒂数就分别是这些线性空间的维数，它们都是拓扑不变量，可以用来刻画代数簇的几何性质。接着莱夫谢茨(Lefchetz)在20世纪初期进一步用这个同调理论开始研究复代数曲面的拓扑性质，得到了许多深刻的定理。 图5 庞加莱 对于代数曲面理论研究的最主要的贡献还是来自于著名的“意大利学派”。这个学派的三个主要代表人物是卡斯泰尔诺沃(Castelnuovo)、恩里奎斯(Enriques)和塞维里(Severi)，他们在20世纪初期用天才的几何直觉和高超的几何技巧，综合运用包括分析与拓扑方法在内的各种方法创造了复代数曲面的一个非常深刻的理论，包括代数曲面的奇点解消、除子与线性系的经典理论、代数曲面的黎曼-罗赫定理的初步形式以及代数曲面的模空间等等。例如他们用一组平面去截割一个代数曲面，在所得的代数曲线上再运用黎曼的代数曲线理论的结果，从中得到了关于代数曲面的一些重要结果。与代数曲线只有单一的不变量亏格不同，刻画代数曲面除了几何亏格以外，还需要算术亏格等其他好几个不变量。 但同时意大利学派的工作也有一个致命的缺陷，那就是缺少一个统一的逻辑基础，一些证明要依赖于数学家心目中某种神秘的几何直观，因而缺乏严密性。和数学史上常见的情形一样，这种逻辑基础不稳的状况对于视严格为生命的数学家们来说是一件特别纠结的事，它严重阻碍了代数几何的向前发展。
相关代数、几何类图书推荐 *高等代数篇* 本套书是中国科学院院士席南华先生为中国科学院大学本科一年级学生讲述线性代数课而编写的线性代数教材，根据作者本人授课的课堂录音和学生的课堂笔记整理修订完善而成的。作者吸收借鉴了柯斯特利金《代数学引论》的优点和框架，在内容的选取和组织，贯穿内容的观点等方面都有特色。 第一卷主要内容：线性方程组，矩阵论初步，行列式理论，群、环、域等简单性质，复数以及多项式的根，抽象向量空间的基本概念等。第二卷主要向量空间，线性算子，内积空间，仿射空间与欧几里得仿射空间，二次曲面，张量等。第三卷九月份即将出版，先预告一下啊。 读《基础代数》教材，体会院士治学思想； 学《基础代数》视频，感受大家授课风采。 PS: B站上有作者的代数课程视频，一般人儿我不告诉他。 本书是国家级教学名师为学生们编写的高等代数教材，主要有以下特点： 突出思维能力，按照“观察—抽象—探索—猜测—论证”这一数学的思维方式讲授数学知识，有利于培养学生的创新能力，使学生在学好数学的同时受到科学思维方式的熏陶和训练。 PS：主教材和辅导书使用效果更佳。作者在超星学术视频网站上有本书配套讲课录像。可以拥有。 《高等代数》是高等院校数学类专业本科生教材，包括了高等代数课程的标准内容：多项式、行列式、矩阵的基础理论、线性方程组、向量空间及其线性变换、方阵的相似标准形、内积空间、二次型。 在内容安排基本上按照提出问题、分析问题、解决问题的方式展开，以期读者能知其然，并知其所以然。 有网友评价： *解析几何篇* 《解析几何教程(第三版)》作为'十二五'普通高等教育本科国家级规划教材之一，是在'十一五'国家级规划教材和四川大学数学学院各专业多年讲授解析几何课程的基础上形成并修订的。主要内容包括向量代数，直线与平面，常见曲面，二次曲线和二次曲面，正交变换和仿射变换，平面射影几何简介，球面几何与双曲几何初步的专题讨论以及各章小结等。 本书各章节的主要数学思想显著、突出，脉络清晰分明。丰富的历史背景介绍，感悟而得的各章小结，渴望一见的非欧几何的专题讨论，穿插在各章节的开放性的思考题、练习题使得教材更加充实和完善。 本书强调几何的直观性，努力处理好几何与代数的关系，证明尽量简单明了，内容详略得当，注重与后续课程的衔接，尽力为学生建立一个整体的框架。 《空间解析几何（新版）》内容包括向量代数、空间的平面与直线、常见的曲面、二次曲面的一般理论、正交变换和仿射变换。本书结构紧凑，突出了解析几何的基本思想方法，强调形数结合，注意展现数学知识的发生过程和数学问题解决的思维过程，注重思维训练和空间想象能力的培养，本书表达清晰，论述深入浅出，力求使读者便于学习领悟。 *高等代数与解析几何篇*  南开大学数学系将解析几何与高等代数统一为一门课程，此举得到了同行们的普遍认同，《高等代数与解析几何（上下册）》就是这种思想的尝试。本书分上、下册，第1章讨论多项式理论；第2章介绍行列式，包括用行列式解线性方程组的Cramer法则；第3章矩阵，主要介绍矩阵的计算、初等变换及矩阵与线性方程组的关系；第4章介绍线性空间；第5章介绍线性变换；第6章多项式矩阵是为了讨论复线性变换而设的；第7章介绍Euclid空间；第8章介绍双线性函数与二次型；第9章讨论二次曲面；第10章介绍仿射几何与射影几何。 悄悄告诉你: 这本书关键是还配有配套的学习辅导， 本书是南开大学代数类课程整体规划系列教材的第一本，是在编者多年从事代数类课程及后续代数课程的教学过程中逐渐完成的。在国内外已有的同类教材的基础上，编者根据自己对代数学的理解，按照代数学发展的主要脉络来安排本书的内容。 全书分为8章，包括多项式、行列式、矩阵、线性空间、线性变换、线性函数与双线性函数、Euclid空间和二次曲面等。本书的编写原则是关注数学概念的起源，遵循数学理论的发展历程，强调理论的整体性和内在联系。书中配有大量编者精心挑选的习题和训练与提高题，既有助于强化读者对课程内容的理解，也为后续的代数学课程埋下了大量伏笔。 这本书关键是： （1）这本书和《抽象代数》《Lie代数》一起，打通了代数学课程。 （2）朱富海教授在公众号“数林广记”上发布的科普文章幽默风趣，让代数学起来有意思，为您加深对代数学的理解。 超级推荐哦。 《高等代数与解析几何（上下册）》是作者根据多年从事高等代数与解析几何课程教学的经验编写而成的。 《高等代数与解析几何（上下册）》分上、下两册。上册主要包括：空间向量、平面与直线、矩阵初步与n阶行列式、矩阵的秩与线性方程组、多项式、矩阵的相似与若尔当标准形；下册主要包括：常用曲面、二次型与矩阵的合同、线性空间、线性变换、欧氏空间。《高等代数与解析几何（上下册）》在编写中将二次型及其矩阵的特征值这一历史上的经典问题作为引入整个课程内容的一条叙述主线，将高等代数与解析几何有机地结合起来。《高等代数与解析几何（上下册）》合理地引入了每一个重要概念，给出了主要定理的推理步骤，设置了不少经典例题和习题来指导学生理解和运用这些定理。 本文转自：科学出版社数学教育 |
|
|
