Wiki. 概形 [概形]

概形是代数几何中的一种几何对象, 其 Zariski 局部上同构于仿射概形.

定义

传统

概形是局部同构于仿射概形的局部环化空间.

函子式

概形是仿射概形范畴 $\mathsf{Aff}$ 上 Zariski 拓扑的层, 且具有仿射开覆盖.

例

不是仿射概形的例子

$\mathbb A^2_k\setminus\{(0,0)\}$ 不是仿射概形.

$\mathbb P^1_k$ 不是仿射概形.

相关概念

导出概形