仿射簇和射影簇

簇是多项式方程的几何解集，在仿射空间中进行研究，并通过添加无穷远点，在更统一的射影空间设置中进行研究。

Definition

仿射簇是仿射空间中多项式集合的共同零点集；射影簇是射影空间中齐次多项式的类似零点集，其中几何是紧凑的，并且交点理论表现良好。

Scope

本主题将仿射簇发展为多项式的零点轨迹、Zariski拓扑，以及由Hilbert零点定理提供的簇与根理想之间的对应关系。它介绍了坐标环和函数域、正则映射和有理映射，以及向射影空间和射影簇的过渡，其中Bézout定理和无穷远点处没有异常行为成立。维度、不可约性以及奇异点与光滑点被视为基本的几何不变量。

Core questions

• 零点定理如何使簇与理想之间的对应关系精确化？
• 为什么射影空间是簇的自然归宿，添加无穷远点解决了什么问题？
• 簇的坐标环和函数域如何成为其代数阴影？
• 光滑点与奇异点有何区别，维度是如何代数定义的？

Key concepts

• 仿射簇和Zariski拓扑
• Hilbert零点定理和理想-簇对应关系
• 坐标环、函数域和有理映射
• 射影空间和射影簇
• 维度、不可约性以及光滑点与奇异点

Clinical relevance

簇是代数几何及其应用中研究的基本对象，从密码学和数论中的椭圆曲线到计算机视觉中使用的射影模型以及代数统计中分析的解集。

History

通过多项式方程研究曲线和曲面可追溯到19世纪；Hilbert的零点定理（1893年）和Zariski在1930年代和1940年代引入的严格拓扑和代数工具，将簇确立为一个精确的对象，成为现代学科的起点。

Key figures

• David Hilbert
• Oscar Zariski
• Robin Hartshorne

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

Hilbert零点定理说明了什么？

在一个代数闭域上，它建立了仿射簇与多项式环的根理想之间的双射，因此几何包含和交集与理想的代数运算精确对应。

为什么在射影空间而不是仿射空间中工作？

射影空间通过添加无穷远点来紧化仿射空间，这使得簇紧凑，消除了特殊情况（平行线相交），并产生了清晰的交点结果，例如Bézout定理。