概形（scheme）是 Grothendieck 代数几何的核心概念：它是局部看起来像仿射概形的局部环化空间。正如流形是"局部像 $\mathbb{R}^n$"的拓扑空间，概形是"局部像 $\mathrm{Spec}(R)$"的环化空间。通过粘合多个仿射片，我们能构造出射影空间、曲线、曲面等更丰富的几何对象。
"概形 = 流形的代数版本。仿射概形是'坐标卡'，粘合给出全局几何。"
1. 概形的定义
概形（Scheme）
一个概形是局部环化空间 $(X, \mathcal{O}_X)$，满足：$X$ 有一个由开集组成的覆盖 $\{U_i\}$，使得每个 $(U_i, \mathcal{O}_X|_{U_i})$ 作为局部环化空间同构于某个仿射概形 $\mathrm{Spec}(R_i)$。
换言之：$X$ 可以被"仿射开集"（affine open subsets）覆盖。
生活比喻——世界地图集：单张地图（仿射概形）只能画出地球的一部分（平面投影不可避免有变形/缺失）。完整的地球仪 = 概形，由多张地图拼成，要求重叠区的映射一致（转换映射）。射影直线 $\mathbb{P}^1$ 就是最简单的"需要两张地图"的例子。
2. 粘合构造：$\mathbb{P}^1$ 由两个 $\mathbb{A}^1$ 粘合
这是代数几何中最经典的粘合例子。射影直线 $\mathbb{P}^1_k$ 可以由两个仿射直线 $U_0 = \mathrm{Spec}(k[t])$ 和 $U_1 = \mathrm{Spec}(k[s])$ 沿着 $U_0 \cap U_1 \cong \mathrm{Spec}(k[t, t^{-1}])$ 粘合而成，粘合同构为： $$ t = s^{-1}, \quad \text{即 } k[t, t^{-1}] \xrightarrow{\sim} k[s, s^{-1}]. $$
图解 1：$\mathbb{P}^1$ 由两个 $\mathbb{A}^1$ 粘合（视觉亮点）
验证：$\mathbb{P}^1$ 不是仿射概形
若 $\mathbb{P}^1_k$ 是仿射概形 $\mathrm{Spec}(A)$，则 $A = \Gamma(\mathbb{P}^1, \mathcal{O}) = k$（因为 $\mathbb{P}^1$ 上的正则函数只有常数——射影簇上无非常值全局正则函数）。但 $\mathrm{Spec}(k) = \{*\}$（单点），而 $\mathbb{P}^1$ 有无穷多点。矛盾！
3. 概形的性质
常见概形性质
- Noetherian：有有限仿射覆盖 $\{U_i = \mathrm{Spec}(R_i)\}$，每个 $R_i$ 是 Noether 环。
- 整概形（integral）：约化 + 不可约。等价于结构层 $\mathcal{O}_X$ 的每个茎 $\mathcal{O}_{X,x}$ 是整环。
- 分离（separated）：对角态射 $\Delta: X \to X \times X$ 是闭浸入。（对应 Hausdorff 性的代数版本）
- 真态射（proper）：分离 + 有限型 + 泛闭。（紧空间的代数版本）
4. 纤维积与基变换
纤维积（Fiber Product）
给定概形态射 $f: X \to S$, $g: Y \to S$，纤维积 $X \times_S Y$ 是范畴中的拉回（pullback）：满足泛性质 $$ \begin{array}{ccc} X \times_S Y & \to & Y \\ \downarrow & & \downarrow g \\ X & \xrightarrow{f} & S \end{array} $$ 仿射情形：$\mathrm{Spec}(A) \times_{\mathrm{Spec}(R)} \mathrm{Spec}(B) = \mathrm{Spec}(A \otimes_R B)$。
图解 2：纤维积的交换方块
5. 分离性与对角线判据
分离性的对角线判据
概形态射 $f: X \to Y$ 是分离的（separated），当且仅当对角态射 $$ \Delta: X \longrightarrow X \times_Y X $$ 是闭浸入（closed immersion）。
直觉：分离性保证"两个态射如果在稠密开集上相等，则处处相等"——这是 Hausdorff 性的代数类比（$T_2$ 空间的对角线是闭的）。
图解 3：分离性——对角线是闭的
反例：原点加倍的仿射直线（Line with doubled origin）
取两份 $\mathbb{A}^1 = \mathrm{Spec}(k[t])$，在 $t \neq 0$ 处用恒等映射粘合，但在 $t = 0$ 处不粘合。结果得到一条"有两个原点"的直线——它不是分离概形，因为对角态射不是闭浸入。这类"病态"概形在实践中被分离性条件排除。
6. 练习
练习 1：$\mathbb{P}^n$ 的仿射覆盖
写出 $\mathbb{P}^n_k$ 的标准仿射覆盖 $\{U_i\}_{i=0}^n$，其中 $U_i \cong \mathbb{A}^n$。描述 $U_i \cap U_j$ 上的粘合同构。
练习 2：全局截面
证明 $\Gamma(\mathbb{P}^1_k, \mathcal{O}) = k$。提示：在两个仿射片上分别写出正则函数，利用粘合条件推出必须是常数。
提示
$U_0$ 上正则函数 = $k[t]$ 中元素 $p(t)$；$U_1$ 上 = $k[s]$ 中 $q(s)$。在 $U_0 \cap U_1$ 上 $p(t) = q(t^{-1})$。左边在 $t = 0$ 正则要求 $p$ 是多项式，右边在 $s = 0$（即 $t = \infty$）正则要求 $q(t^{-1})$ 在 $t \to \infty$ 有限。唯一可能：$p$ 和 $q$ 都是常数。
练习 3：纤维积计算
计算 $\mathrm{Spec}(\mathbb{Z}/(6)) \times_{\mathrm{Spec}(\mathbb{Z})} \mathrm{Spec}(\mathbb{Z}/(10))$。
答案
$= \mathrm{Spec}(\mathbb{Z}/(6) \otimes_\mathbb{Z} \mathbb{Z}/(10)) = \mathrm{Spec}(\mathbb{Z}/\gcd(6,10)) = \mathrm{Spec}(\mathbb{Z}/(2))$。（底空间只有一个点 $(2)$。）
练习 4：分离性验证
证明任何仿射概形 $\mathrm{Spec}(R)$ 都是分离的。提示：对仿射概形，对角态射对应环同态 $R \otimes_\mathbb{Z} R \to R$（乘法映射）。