第五百三十七章 格罗滕迪克连续与离散的对偶性（代数几何） (第2/2页)

库郎说：“那能是什么样的对偶，莫非是数论和几何图形？”

格罗滕迪克说：“没错，这只是其中之一而已。”

为何代数簇与坐标环一一对应，因为多项式环是多项式，

前面曾经谈到在仿射代数簇和它的坐标环之间有一一对应的关系，因此对仿射代数簇的几何研究也就可以转化为对相应的坐标环的代数研究。

然而坐标环是一种性质很好的环，它在环论中还有一个专门的名称叫“-代数(-algebra)”。

由于不是每个交换环都可以成为仿射代数簇的坐标环(例如整数环就是如此)，所以格罗腾迪克就想用任意的交换环来构造一种类似于仿射代数簇那样的抽象的几何对象，使得每一个交换环都可以成为这种抽象几何对象的“坐标环”。

大约在1957年左右，卡吉耶(cartier)建议用交换环的全体素理想的集合（称为的“素谱”）来作为与对应的“几何对象”，它是经典仿射代数簇的抽象推广。

这个简单的想法立即成为了格罗腾迪克重建代数几何基础的出发点。这是因为每个交换环的素谱连同它上面的结构层一起，都能够组成一个环层空间(，)，这个环层空间就是最简单的概形——“仿射概形(affine scheme)”。

这个仿射概形就是格罗腾迪克心目中的“抽象的几何对象”。

一旦有了仿射概形，那么对这种新的几何对象的研究就能够转化为对任意交换环的代数研究，这就将极大地拓展这种新几何的适用范围，实现人们长久以来梦寐以求的将代数几何与代数数论统一起来的梦想。

概形就是局部同构于仿射概形的环层空间，或者也可以将概形粗略地理解为是将一些仿射概形经过适当的“粘贴”后而得到的。

由于仿射概形是仿射代数簇的推广，因此很明显：概形确实是经典代数簇的抽象推广。