扎里斯基与代数几何的抽象化.pdfVIP

第16卷第1期 高等数学研究 V01．16．No．1 2013年1月 STUDIESINCOLLEGEMATHEMATICS Jan．，2013 扎里斯基与代数几何的抽象化 陈跃 (上海师范大学数学系，上海200234) 摘 要 扎里斯基在20世纪30年代末和40年代，因为要为经典代数几何建立严格的逻辑基础，率先 将抽象代数大规模地引入到了经典代数几何中的过程，其结果导致产生了抽象的现代代数几何，促进了代 数几何的大发展。 关键词 代数几何；代数曲面；环；抽象代数；层；概形 中图分类号 017 文献标识码 A 文章编号l008—1399(2013)01-0121-06 扎里斯基(Zariski)是20世纪最有影响的代数因此代数几何触发了现代数学中许多分支学科的发 几何学家中的一个，他通过运用抽象代数的方法，和 展，从而它与现代数学中的其他分支学科有着广泛 韦伊(Weil)、格罗腾迪克(Grothendieck)等人一起的联系，并且被深刻地应用到了理论物理与其他的 在20世纪的中期重新建立了代数几何的逻辑基础， 科学技术中。 澄清了经典代数几何中的许多模糊之处，其结果导 由于代数几何用到众多现代数学基础知识，特 致产生了抽象的现代代数几何，促进了20世纪下半 别是非常抽象的抽象代数方法，加上代数几何学科 叶代数几何的大发展，为此他在1981年荣获了沃尔固有的比较奇异与独特的思维表述方式不易被人理 夫数学奖。 解，造成了现在国内还很少有学者在研究代数几何 在现代数学众多的分支学科中，代数几何是一 的现状。而青年学子们在学习这门不同寻常的分支 门非常重要而又特别的基础数学学科[1]。代数几何 学科时所遇到的困难就更大，他们除了要学习掌握 的主要研究对象是代数簇(又称代数流形，或者可以 大量抽象的现代数学基础知识，还要努力弄明白现 简单地认为是一组多元多项式的零点集合)。虽然这 代代数几何所采用的极端抽象语言背后的真正几何 是一类非常特殊的流形，在日常欧氏空间中无法想 内涵。这就需要我们回到代数几何的出发点，观察这 象它们的图形，但其内涵十分丰富，几何性质独特， 门学科是如何演变成今天现代形式的理论的。 比其他流形更具有“刚性”，在现代数学中的应用比 其实早期的经典代数几何并不象现在这样抽象 较普遍。低维代数簇的例子有代数曲线，代数曲面和 和复杂，其所用到的数学工具最多也只有多元代数 3维代数簇等。例如与费马大定理有关的费马曲线 方程和单复变代数函数等理论。只是到了20世纪， z”+Y”一∥(变量都取有理数值) 这门学科才发生了翻天覆地的变化。虽然在代数几 就是一条代数曲线。目前庞大的代数几何学科可以 何抽象化的过程中有许多因素导致了这种变化，但 大致分成复代数几何(常被简称为复几何)与抽象 是从初学者的角度看，扎里斯基在20世纪30年代 代数几何(或现代代数几何)两大部分。前者主要运 末和40年代率先将抽象代数大规模地引入到经典 用多复变函数论、代数拓扑学和复微分几何等学科 代数几何中，从而促使改变了代数几何语言的这一 的方珐来研究复代数簇的性质，而后者主要是以抽 段历史，是帮助人们理解现代代数几何本质的一条 象代数和函子(functor)理论作为工具来研究代数 重要途径。鉴于目前国内还没有这方面比较系统的 几何，虽然难以理解和想象，但是结论精确，并且由 中文介绍，本文简要讲述了这一段重要的历史。 此得到的结果适用面更广。由于在研究代数簇的过 l 经典代数几何的发展简史 程中需要用到代数，