代数簇
代数簇、代数区体，亦作代数多样体，是代数几何学上多项式集合的公共零点解的集合。代数簇是经典（某种程度上也是现代）代数几何的中心研究对象。
术语簇（variety）取自拉丁语族中词源（cognate of word）的概念，有基于“同源”而“变形”之意。
历史上，代数基本定理建立了代数和几何之间的一个联系，它表明在复数域上的单变量的多项式由它的根的集合决定，而根集合是内在的几何对象。在此基础上，希尔伯特零点定理提供了多项式环的理想和仿射空间子集的基本对应。利用零点定理和相关结果，我们能够用代数术语捕捉簇的几何概念，也能够用几何来承载环论中的问题。
形式定义.
仿射簇.
令 "k" 为代数封闭域并令formula_1为 "k" 上的 "n" 维仿射空间。formula_2 藉著代值可以视之为formula_1上的formula_4-值函数。对任何子集formula_5，定义formula_6的零点为formula_1里使formula_6中所有元素取零值的点：
formula_9对于所有formula_10
若存在formula_6使得formula_12满足formula_13，则称之仿射代数集。一个非空代数集formula_14被称作不可约，若且唯若它无法被写成两个真代数子集的联集。不可约仿射代数集称作仿射代数簇。
借由将所有代数集定义为闭集，仿射簇可被赋与一个自然的拓扑结构，称之扎里斯基拓扑。
给定formula_12，令formula_16为所有在formula_14上取零值的函数所成的理想：
formula_18
对任意仿射代数集formula_14，其座标环是多项式环对上述理想的商。
仿射簇之间的态射定义为多项式映射formula_20的限制。
射影簇.
令formula_21为 formula_4 上的 n 维射影空间。虽然formula_23中的齐次多项式无法在齐次座标上取值（因为齐次坐标系实际上是一个等价类），其零点却可明确地定义。对任意齐次多项式集合 formula_6，定义其零点为
formula_25
若存在formula_6使得formula_27，则称之射影代数集。不可约性的定义同前。不可约射影代数集称作射影代数簇。
藉著将所有代数集定为闭集，射影簇也赋有扎里斯基拓扑。
给定formula_28，令formula_16为所有在formula_14上取零的齐次多项式。对任意射影代数集formula_14，其齐次座标环定义为多项式环对此理想的商，这是一个分次环。
射影代数集可由一组有限的仿射开集覆盖。射影簇之间的映射formula_32被称作态射，若且唯若存在仿射开覆盖formula_33及formula_34，使得每个formula_35都是多项式映射。
拟仿射簇与拟射影簇.
一个仿射簇的开子集被称作拟仿射簇（例如formula_36，可证明它既非射影簇亦非仿射簇）；同理，一个射影簇的开子集被称作拟射影簇。其间态射同样定义作局部上的多项式映射。
拟射影簇同时涵括了仿射簇、拟仿射簇与射影簇，它也是经典代数几何学的基本范畴。一个拟射影簇容许一组拓扑基，使得其中每个开集都是仿射簇；在此意义下，我们说一个拟射影簇可由仿射簇黏合而来。
讨论与推广.
上述定义与事实让我们可以探讨经典代数几何。如欲更进一步（例如探讨非代数封闭域上的代数簇），则需要一些根本的改变。现行的代数簇概念较上述定义复杂，且适用于任何域formula_45：一个抽象代数簇是formula_45上的有限型分离整概形。
概形可表为有限个仿射概形沿著开集的黏合，而formula_45上的有限型仿射整概形不外就是仿射簇。因此我们可以沿著开集黏合有限多个formula_45上的仿射簇，从而得到抽象代数簇，且无须担心它是否可嵌入射影空间。这也引起一个问题：我们可能会得到病态的对象，例如将formula_49沿著formula_50黏合，遂得到带有两个原点的仿射直线；是故要求分离性以排除之。
某些现代学者还去掉定义中的整性，只要求每个仿射开集的座标环有平凡的幂零根。
上述的簇被称作"塞尔意义下的簇"，因为让-皮埃尔·塞尔的奠基之作"Faisceaux algébriques cohérents"（代数凝聚层）探讨了这类簇。尽管现在已有更抽象的对象作辅助，它们仍然是代数几何的踏脚石。
另一条推广的进路是容许可约代数集，所以其座标环不一定是整域；这在技术上只是一小步，更重要的推广是容许结构层中有幂零元素；幂零元无法被看作座标函数，也不影响拓扑结构。就范畴论观点，为了构造有限的射影极限（或构造纤维积），就必须容许幂零元。几何上而言，一个好的映射之纤维仍可能有「无穷小」结构。亚历山大·格罗滕迪克的概形论能融贯上述各种推广，但一般的「概形」仍不如「簇」来得富有几何直观。
此外尚有称作堆与代数空间的深入推广。
生成维基百科快照图片，大概需要3-30秒！
如果网站内容有侵犯您的版权
请联系：pinbor@iissy.com
请联系：pinbor@iissy.com
Copyright ©2014 iissy.com, All Rights Reserved.