Strongart数学笔记：浅谈代数观点下的代数簇.pdfVIP

浅谈代数观点下的代数簇 在一般线性代数群的书籍中，开头总有一个关于代数几何的综 述，它主要是从代数方面来介绍代数簇理论，读过之后还是小有心得 的，下面就对其代数簇理论做一个小结，假设我们的讨论都在特征为 零的代数闭域k上进行。 所谓代数簇，说白了就是多项式族的公共零点集。给定多项式环 k[x_1,…,x_n]内的一个理想I，所有I内的多项式（可由其生成元 代替）的公共零点就称为一个仿射代数簇。记作V（I）；反之，给定 任何仿射代数簇X，在X上限制为零的多项式集构成它的定义理想， 记作I（V）。代数簇与其定义根理想按照包含关系反序一一对应，并 且有I（V（I））=rad（I），这被称为Hilberts Nullstellenstaz （零点定理）。这里的等号右边为什么是rad（I）内，可以考虑I= （x^n)，V（I）={x^n=0}={x=0},结果I（V（I））=（x）=rad（I）. 在仿射代数簇上。我们通常考虑所谓的Zariski topology，即 把多项式的零点作为闭集的拓扑。在仿射空间k上，其Zariski拓扑 的闭集由有限个点组成，换句话说其开集非常的大，要包括它的几乎 所有的点，因此非常的不满足通常的Hausdorff性质，当然通常我们 只要用到它的稠密性就足够了。此外，Zarishi拓扑不是可乘的，在 k×k上去掉原点，剩下的部分是k×k上Zariski topology的开集， 但却不是k上Zariski topology的积拓扑的开集。 有了拓扑之后，关于仿射代数簇的一些理论可以在拓扑空间上讨 论，最常见的一条是不可约性。拓扑空间X称为不可约的，假若C不 能表示成两个真非空闭子集的并。仿射代数簇X是不可约的 iff I （X）的素理想。假若拓扑空间是Noether的（开集满足ACC），那么 它可以分解为有限个极大不可约（闭）子空间的并，这实际上就相当 于交换代数中Noether rong上的准素分解。 除了仿射代数族之外，另一类重要的代数族是射影代数簇，它是 射影空间P^n中讨论的。射影代数簇对应于齐次多项式，与分次多项 式环中的齐次根理想按照包含关系反序一一对应。为什么要讨论射影 代数簇呢？主要是比起仿射空间而言，射影空间是完备的。平面上两 条直线可以平行，但在射影平面上两条直线就只能相交了。实际上， 我们还有真有个完备代数簇的概念，它在讨论仿射代数群的Borel subgroup时相当重要，正维数仿射代数簇一定不完备，但射影代数 簇就必定是完备的。当然啦，多数情况下射影代数簇还得划归到仿射 情形处理，下面我们主要还是讨论仿射代数簇。 有些网友可能会强调，即便是加上了Zariski topolopy，你前 面所说的也只能叫仿射代数集，要称为仿射代数簇，还得加上环层结 构才行。这样的说法是非常严格的，我们可以类比微分几何中的流形 概念来理解。单纯一个几何图形，哪怕加上自然的拓扑，依然还够不 上流形，非得配上所谓的局部坐标卡才行，这里流形上的局部坐标卡 就相当于仿射代数簇上的环层结构。可当我们充分理解流形之后，一 般说流形的时候就不再提及它上面的坐标系了，对于仿射代数簇也是 类似的。 然而，要真正讲清楚什么函数层结构，必须要对层这个概念有充 分理解，而层这个概念属于那种相对独立原创的，有着诸多的理解方 式。这里我只能简单谈一句，个人喜欢把层理解为拓扑空间上的局部 同胚，当然还要求其纤维中有一个群结构。按照层论中逐点定义的思 想，我们可以规定仿射代数簇上在x点的局部环O_x为多项式的商 f/g，其中g（x）≠0；对任何仿射代数簇的开集U，则规定O（U） 为对所有点x∈U的O_x之并。 按照范畴论的思想，我们除了研究具体代数对象之外，还要研究 它们之间的态射（有时也简称为映射）。下面我们讨论仿射代数群的 态射，f：X→Y是仿射代数群的态射，它需要与拓扑和函数层结构相 适配。具体来说，就是要求f是连续的，并且对Y内的开集V与 U=f^(-1)(V)，当g∈O_Y(V)时，g·f∈O_X(U).由拓扑出发，我们可 以定义开态射与闭态射的概念，分别指把开集映为开集和把闭集映为 闭集的态射。 接下来，我们还要讨论另外两类态射，分别是支配映射与有限映 射。仿射代数簇之间的态射f：X→Y是支配的，是指f(X)在Y内稠 密，也就是说它几乎就是满射了。在泛函分析中，几乎满射的意义就 是共轭唯一，这里我们也可以得到f*：k(Y)→k(X)是单的。此外， 稠密的意义在于其正交补与其闭包相同，在代数几何中一般没有正交