概念

概形

仿射概形是环的谱，概形由局部粘合而成，态射与纤维积让几何构造代数化。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

概形代数几何

01定义

仿射概形

\operatorname{Spec} R

以环

R

的素理想为点、以结构层赋予函数：环即空间。概形由仿射概形粘合而成，允许「重数」（如

x^2=0

）与「算术点」（如

\operatorname{Spec}\mathbb{Z}

），把数论与几何彻底统一。

Spec ℤ：素数 2, 3, 5, 7 是闭点，η 是稠密的通有点

$\operatorname{Spec} R$ 的点是素理想，Zariski 拓扑以 $D(f)=\{\mathfrak{p}\mid f\notin\mathfrak{p}\}$ 为基本开集；结构层在 $D(f)$ 上取值 $R_f$ 。

$k[x]/(x^2)$ 是「带重数的点」——概形能记住方程 $x^2=0$ 中 $x$ 出现了两次，这是经典簇语言做不到的。

态射 $X\to S$ 即「以 $S$ 为参数的几何」，纤维积取代笛卡尔积——Grothendieck 的相对观点使数论问题（如模 $p$ 约化）几何化。

\operatorname{Spec} R=(\{\text{素理想}\},\ \mathcal{O})

\operatorname{Hom}(X,\operatorname{Spec} R)\cong\operatorname{Hom}_{\text{Ring}}(R,\ \Gamma(X,\mathcal{O}_X))

Zariski 1940 年代用素理想谱赋予簇现代拓扑；Grothendieck 与 Dieudonné 在 1960 年代 EGA/SGA 中建立概形理论，代数几何从此有了「绝对语言」。

Wiles 证明费马大定理使用的模性提升工作在概形之上；密码学中的配对（pairing）来自椭圆曲线概形的算术；算术几何是现代数论的默认框架。

Spec Z：仿射概形的点与拓扑拖 n 增减素数点；stage 展示闭点与泛点构成的 Zariski 拓扑

素数个数6展示阶段0