修复维基百科Chow's Lemma证明：Hartshorne框架下的证明重构疑问

我懂这种卡壳的感觉！当年我第一次啃Chow引理的证明时，也在维基那段无图的图追里绕了好久。咱们一步一步来拆解：

1. 明确未定义映射的核心构造逻辑 #

首先，回忆Chow引理的核心设定：我们处理的是Noetherian分离概形$X$（或者更具体的拟射影概形），目标是构造射影概形$\tilde{X}$和满射、双有理的态射$\pi: \tilde{X} \to X$。

维基结尾没明确定义的那些映射，其实都依托于前面构造的两个关键对象：

• $X$到射影空间$\mathbb{P}^n$的有理映射的图$\Gamma \subset X \times \mathbb{P}^n$
• $X$沿有理映射不定点集的爆破$\tilde{X}$

未定义的映射本质是这两个对象之间的关联态射：

• 由爆破的泛性质，存在唯一态射$\tilde{X} \to \Gamma$——因为爆破的作用就是消除有理映射的不定点，而$\Gamma$本身就是有理映射的“延拓化”表示，这个态射会把$\tilde{X}$的例外除子对应到$\Gamma$中不定点集上方的纤维。
• 再结合$\Gamma$到$\mathbb{P}^n$的投影态射$\text{pr}_2$，就能得到$\tilde{X} \to \mathbb{P}^n$的射影嵌入映射——这就是维基里跳过的关键映射。

2. 把无图图追转化为直观的交换图表 #

维基的无图图追确实很不友好，咱们把它补成可验证的交换图：

f
    X ←-------- Γ
         |       |
         |       | pr₂
         |       ↓
         |      ℙⁿ
         |
    π    |
X ←-------- X̃
         |
         | g
         ↓
        ℙⁿ

这里的交换关系和细节：

• $f: \Gamma \to X$是图到$X$的投影，天然是满态射且双有理；$\text{pr}_2: \Gamma \to \mathbb{P}^n$是闭嵌入（因为$\Gamma$是$X \times \mathbb{P}^{n$的闭子概形，而$\mathbb{P}}n$是射影概形，所以这个投影是射影态射）。
• $\pi: \tilde{X} \to X$是爆破态射，自带满性、双有理性，且是射影态射。
• $g: \tilde{X} \to \mathbb{P}^n$是复合态射$\text{pr}_2 \circ (\tilde{X} \to \Gamma)$，因为$\tilde{X} \to \Gamma$和$\pi$、$f$满足交换性（$\pi = f \circ (\tilde{X} \to \Gamma)$），所以整个图表的交换性就成立了。

现在再做图追就清晰了：要证明$\tilde{X}$是射影概形，只需要确认$g$是射影态射——而它是两个射影态射的复合，自然满足；$\pi$的满性和双有理性由爆破的性质直接得到。

3. 重构图表时的常见坑点 #

你在重构时遇到的卡壳，大概率是这两个问题：

• 忽略爆破的泛性质：$\tilde{X} \to \Gamma$的存在性是整个逻辑链的核心，它不是随意构造的，而是爆破作为“消除不定点的泛构造”的直接结果，必须紧扣这个性质来推导交换性。
• 混淆有理映射与态射：维基的证明默认你清楚“有理映射的图”和“态射延拓”的关系，要记住：有理映射的图是闭子概形，其到原概形的投影是双有理满态射，而爆破后的概形刚好能把这个有理映射延拓成全态射。

如果还有具体的交换性验证或者映射构造的细节卡壳，可以把你当前的重构片段贴出来，咱们再针对性地梳理！

内容的提问来源于stack exchange，提问作者A. Thomas Yerger