代数簇

代数簇，亦作代数多样体，是代数几何学上多项式集合的公共零点解的集合。代数簇是经典（某种程度上也是现代）代数几何的中心研究对象。
术语簇（variety）取自拉丁语族中词源（cognate of word）的概念，有基于“同源”而“变形”之意。
历史上，代数基本定理建立了代数和几何之间的一个联系，它表明在复数域上的单变量的多项式由它的根的集合决定，而根集合是内在的几何对象。在此基础上，希尔伯特零点定理提供了多项式环的理想和仿射空间子集的基本对应。利用零点定理和相关结果，我们能够用代数术语捕捉簇的几何概念，也能够用几何来承载环论中的问题。

拟仿射簇与拟射影簇

一个仿射簇的开子集被称作拟仿射簇（例如，可证明它既非射影簇亦非仿射簇）；同理，一个射影簇的开子集被称作拟射影簇。其间态射同样定义作局部上的多项式映射。
拟射影簇同时涵括了仿射簇、拟仿射簇与射影簇，它也是经典代数几何学的基本范畴。一个拟射影簇容许一组拓扑基，使得其中每个开集都是仿射簇；在此意义下，我们说一个拟射影簇可由仿射簇黏合而来。

讨论与推广

上述定义与事实让我们可以探讨经典代数几何。如欲更进一步（例如探讨非代数封闭域上的代数簇），则需要一些根本的改变。现行的代数簇概念较上述定义复杂，且适用于任何域：一个抽象代数簇是上的有限型分离整概形。
概形可表为有限个仿射概形沿着开集的黏合，而上的有限型仿射整概形不外就是仿射簇。因此我们可以沿着开集黏合有限多个上的仿射簇，从而得到抽象代数簇，且无须担心它是否可嵌入射影空间。这也引起一个问题：我们可能会得到病态的对象，例如将沿着黏合，遂得到带有两个原点的仿射直线；是故要求分离性以排除之。
某些现代学者还去掉定义中的整性，只要求每个仿射开集的座标环有平凡的幂零根。
上述的簇被称作塞尔意义下的簇，因为让-皮埃尔·塞尔的奠基之作Faisceaux algébriques cohérents（代数凝聚层）探讨了这类簇。尽管现在已有更抽象的对象作辅助，它们仍然是代数几何的踏脚石。
另一条推广的进路是容许可约代数集，所以其座标环不一定是整域；这在技术上只是一小步，更重要的推广是容许结构层中有幂零元素；幂零元无法被看作座标函数，也不影响拓扑结构。就范畴论观点，为了构造有限的射影极限（或构造纤维积），就必须容许幂零元。几何上而言，一个好的映射之纤维仍可能有“无穷小”结构。亚历山大·格罗滕迪克的概形论能融贯上述各种推广，但一般的“概形”仍不如“簇”来得富有几何直观。
此外尚有称作堆与代数空间的深入推广。