概形与簇有何不同？

簇本质上是域上的有限型、既约、整概形；而一般概形可能具有幂零函数、无限多个或泛点，并且可以在任何交换环（包括整数环）上定义。

为什么概形的点包括素理想，而不仅仅是极大理想？

非极大素理想提供了位于子簇闭包中的泛点，捕捉了不可约子概形的包含结构，并使几何在环映射下具有函子性。

概形是格罗滕迪克对簇的广泛推广，通过粘合任意交换环的谱而构建，这使得代数几何可以在任何环上进行，并能追踪无穷小和算术信息。

用 PaperMind 寻找选题即将推出Find papers & topics

Tools & resources

Learn & explore

视频即将推出

概形是一个局部环空间，它局部同构于一个交换环的谱（一个仿射概形），其中点是素理想，结构层记录了每个开集上的函数环。

本主题将交换环的谱构造为局部环空间，通过粘合定义仿射概形和一般概形，并发展概形的态射和相对观点。它讨论了关键性质——既约、整、分离、本原和光滑概形——纤维积和基变换，以及点的函子视角。强调了幂零元在捕捉非既约结构中的作用，以及在整数上的概形在算术几何中的应用。

概形理论是现代代数几何和算术几何的基础语言；它使得韦伊猜想的同调证明和费马大定理背后的模性结果成为可能，并构成了模问题和形变理论的框架。

格罗滕迪克在塞尔的层论代数几何基础上，于《代数几何基础》（1960年代）中引入了概形，将簇推广到任意环的谱，并在同调和范畴论基础上重建了整个领域。