诺特正规化引理的几何解释及相关命题证明咨询

我最近在啃这个命题的几何意义，刚好对应你提到的内容：设$X$是维数为$n$的整仿射$k$-代数簇，则存在一个满态射$X\rightarrow \mathbb{A}_k^n$，其纤维有限。下面结合代数与几何的对应关系，拆解一下这个引理的几何内涵：

• 先明确维数的几何意义：这里$X$的维数定义为函数域$K(X)$在$k$上的超越次数，这和我们直观的几何维度完全匹配——比如代数曲线的超越次数是1，代数曲面是2，本质上就是这个“函数域的超越维数”刻画了簇作为几何空间的“自由度”。
• 代数与几何的反等价桥梁：整仿射$k$-代数簇范畴和有限生成既约$k$-代数范畴是反等价的，简单说就是：
  • 每个整仿射簇$X$对应它的坐标环$A=k[X]$（有限生成既约$k$-整环）；
  • 簇之间的态射$f:X\rightarrow Y$，对应坐标环之间的$k$-代数同态$f^\sharp:k[Y]\rightarrow k[X]$（方向反过来）。
• 命题的代数翻译与几何对应：把原命题翻译成代数语言就是——给定有限生成既约$k$-整环$A$，其分式域$K(A)$在$k$上的超越次数为$n$，则存在单的$k$-代数同态$k[t_1,t_2,...,t_n]\rightarrow A$，使得$A$是$k[t_1,...,t_n]$上的有限模。
  • 这个单同态对应的几何态射就是$X\rightarrow \mathbb{A}_k^n$，“单同态”对应几何上的满态射；
  • “$A$是有限模”对应几何上的纤维有限——意思是你把$X$“投影”到$n$维仿射空间时，目标空间里每个点上方，原簇$X$上只会有有限个点，不会出现无限延伸的纤维（比如不会把一个曲面投影成一条线后，线上每个点对应曲面上一整条曲线）。
• 举个直观例子：比如取$X$是$\mathbb{A}_k^{2$中的抛物线$y=x}2$，它的维数是1。我们可以构造满态射$X\rightarrow \mathbb{A}_k^1$：
  • 投影到$x$轴：每个$x=a$对应的纤维只有点$(a,a^2)$，有限；
  • 投影到$y$轴：除了$y=0$对应唯一的$(0,0)$，其他$y=b>0$对应两个点$(\sqrt{b},b)$和$(-\sqrt{b},b)$，同样是有限的，完美契合引理的结论。

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