平展映射结构：仿射概形平展映射能否分解为有限平展映射与扎里斯基局部化的复合？

这个问题的答案是肯定的——任意仿射概形的平展映射确实可以分解为有限个有限平展映射与扎里斯基局部化的复合。作为代数几何里的经典结论，我们可以从环同态的角度（毕竟仿射概形的映射对应环同态）把问题拆解清楚：

核心转化：概形语言→环语言 #

仿射概形的平展映射 ( \text{Spec } B \to \text{Spec } A ) 等价于平展环同态 ( A \to B )。所以问题可以转化为：任意平展环同态是否能分解为有限个有限平展环同态与局部化（对应扎里斯基局部化）的复合？

分解的关键依据 #

平展同态的核心性质之一是它是局部有限表示的：也就是说，对于 ( \text{Spec } A ) 上的任意点，都存在该点的一个开邻域（即某个局部化 ( A_f )，( f \in A )），使得 ( B_f = B \otimes_A A_f ) 是 ( A_f ) 上有限表示的代数。

对于有限表示的平展同态，我们有一个关键结论：局部上，它可以表示为有限平展同态的局部化，具体来说：

• 对于平展同态 ( A \to B )，存在有限个元素 ( f_1, f_2, ..., f_n \in A )，它们生成A的单位理想（即 ( (f_1, ..., f_n) = A )，对应 ( \text{Spec } A ) 的有限开覆盖）；
• 对每个 ( i )，环同态 ( A_{f_i} \to B_{f_i} ) 可以分解为 ( A_{f_i} \to C_i \to B_{f_i} )，其中 ( A_{f_i} \to C_i ) 是有限平展的（即 ( C_i ) 是有限生成的 ( A_{f_i} )-模，且同态平展），而 ( C_i \to B_{f_i} ) 是局部化（即 ( B_{f_i} ) 是 ( C_i ) 关于某个乘法子集的局部化，对应扎里斯基局部化的开浸入）。

整体分解的实现 #

把局部结果拼接起来，就能得到全局的分解：

1. 先对 ( \text{Spec } A ) 做有限个扎里斯基局部化，得到各个开子概形 ( \text{Spec } A_{f_i} )；
2. 对每个局部化后的映射，先做有限平展映射 ( \text{Spec } C_i \to \text{Spec } A_{f_i} )，再做扎里斯基局部化（开浸入） ( \text{Spec } B_{f_i} \to \text{Spec } C_i )；
3. 最后把这些局部的复合映射拼接回原映射，整体上就是有限个有限平展映射与扎里斯基局部化的复合。

简单示例 #

比如考虑 ( A = \mathbb{Z} )，( B = \mathbb{Z}[1/p, i] )（p是素数，i是虚数单位）：

• 我们可以先做局部化 ( \mathbb{Z} \to \mathbb{Z}[1/p] )（对应扎里斯基局部化 ( \text{Spec } \mathbb{Z}[1/p] \to \text{Spec } \mathbb{Z} )），再做有限平展映射 ( \mathbb{Z}[1/p] \to \mathbb{Z}[1/p, i] )（对应 ( \text{Spec } \mathbb{Z}[1/p, i] \to \text{Spec } \mathbb{Z}[1/p] )）——这就是两个映射的复合；
• 也可以反过来，先做有限平展映射 ( \mathbb{Z} \to \mathbb{Z}[i] )，再做局部化 ( \mathbb{Z}[i] \to \mathbb{Z}[i, 1/p] )，同样满足要求。

补充说明 #

这里的“有限个”是关键——因为平展同态是局部有限表示的，我们只需要有限个局部化就能覆盖整个仿射概形，不需要无限次操作。这个结论不仅对诺特概形成立，对一般的仿射概形（即任意环对应的概形）都成立，因为有限表示的性质不依赖于诺特条件。

内容的提问来源于stack exchange，提问作者Julie