关于射影空间映射φ: ℙ¹ → X的态射证明及同构性验证的技术问询

问题描述 #

需要证明如下映射是同构（即正则映射且存在正则逆映射）：
$$
\phi: \mathbb{P}^1 \rightarrow X, \quad\left[x_0: x_1\right] \mapsto\left[x_0^2: x_1^2: x_0 x_1\right]
$$

提问者的初步思考 #

• 已知射影代数集之间的态射是局部由同次齐次多项式定义，且这些多项式不会同时消失，因此映射φ本身显然是态射，难点在于构造它的正则逆映射。
• 推测无法用单个函数构造全局逆映射，因为态射是局部定义的，应该可以在X的不同开集上分别定义映射来完成，但不清楚这类问题的通用策略，希望得到分步讲解。

分步解答与思路解析 #

没问题，我一步步带你理清楚这个问题，顺便总结下这类射影同构问题的通用思路～

第一步：先明确目标集合X的结构 #

首先咱们得搞清楚X到底是什么：它是$\mathbb{P}^2$中满足齐次方程$z_0 z_1 = z_2^{2$的射影代数集（这里用$[z_0:z_1:z_2]$表示$\mathbb{P}}2$的坐标）。

• 验证φ的像确实在X中：把$\phi([x_0:x_1]) = [x_0^2:x_12:x_0x_1]$代入方程，左边是$x_0^2 \cdot x_1^{2$，右边是$(x_0x_1)}2$，显然相等。
• 反过来，任何满足$z_0 z_1 = z_2^2$的点都在φ的像里，这一点咱们后面构造逆映射时会用到。

第二步：确认φ是正则态射 #

你已经提到了射影态射的核心定义：局部由同次齐次多项式定义，且这些多项式不会同时为零。这里φ的三个分量$x_0^2, x_1^2, x_0x_1$都是2次齐次多项式，而且在$\mathbb{P}^{1$上，$x_0$和$x_1$不同时为零，所以这三个多项式也不会同时消失（若$x_0≠0$则$x_0}2≠0$；若$x_1≠0$则$x_1^2≠0$），因此φ确实是正则态射，这一步没问题。

第三步：构造正则逆映射（核心环节） #

射影态射是局部定义的，所以咱们不用强行找全局逆映射，只需要利用$\mathbb{P}^2$的标准开覆盖，在X的每个开子集上构造局部逆，再验证重叠区域的相容性即可。

$\mathbb{P}^2$的标准开覆盖是三个仿射开集：

• $U_0 = {[z_0:z_1:z_2] \mid z_0≠0}$
• $U_1 = {[z_0:z_1:z_2] \mid z_1≠0}$
• $U_2 = {[z_0:z_1:z_2] \mid z_2≠0}$

情况1：在$X \cap U_0$上（$z_0≠0$）

把射影坐标转换成仿射坐标：令$u = z_1/z_0$，$v = z_2/z_0$，此时X的方程简化为$u = v^2$。
φ在$\mathbb{P}^1$的开集$V_0 = {[x_0:x_1] \mid x_0≠0}$（仿射坐标$t = x_1/x_0$）上的像是$[1:t^2:t]$，对应这里的$u = t^2$，$v = t$。
所以逆映射可以定义为：将$[z_0:z_1:z_2]$映射到$[z_0:z_2]$。因为$z_0≠0$，这个点等价于$[1: z_2/z_0] = [1:t]$，正好是原像。
这个映射的分量是$z_0, z_2$，都是1次齐次多项式，且在$X \cap U_0$上$z_0≠0$，因此是正则的。

情况2：在$X \cap U_1$上（$z_1≠0$）

类似地，转换为仿射坐标：令$s = z_0/z_1$，$w = z_2/z_1$，X的方程简化为$s = w^2$。
φ在$\mathbb{P}^1$的开集$V_1 = {[x_0:x_1] \mid x_1≠0}$（仿射坐标$s' = x_0/x_1$）上的像是$[(s')^2:1:s']$，对应这里的$s = (s')^2$，$w = s'$。
逆映射定义为：将$[z_0:z_1:z_2]$映射到$[z_2:z_1]$。因为$z_1≠0$，这个点等价于$[z_2/z_1:1] = [s':1]$，是原像。
分量$z_2, z_1$是1次齐次多项式，且$z_1≠0$，因此是正则的。

情况3：在$X \cap U_2$上（$z_2≠0$）

这里X的方程$z_0 z_1 = z_2^{2$意味着$z_0$和$z_1$都不能为零（否则左边为0，右边$z_2}2≠0$，矛盾），所以这个开集同时包含在$U_0$和$U_1$里。
咱们需要验证上面两个逆映射在这里是否一致：

• 从$U_0$的逆映射得到$[z_0:z_2]$，因为$z_2≠0$，可写成$[z_0/z_2:1]$；
• 从$U_1$的逆映射得到$[z_2:z_1]$，可写成$[1: z_1/z_2]$；
  根据X的方程$z_0 z_1 = z_2^2$，可得$z_0/z_2 = z_2/z_1$，所以这两个表达式在$\mathbb{P}^1$中是同一个点，相容性成立。

第四步：验证复合为恒等映射 #

构造完逆映射ψ后，必须双向验证复合是否等于恒等映射，确保没错：

1. 验证$\phi \circ \psi = \text{id}_X$：
   在$X \cap U_0$上，ψ将$[z_0:z_1:z_2]$映射到$[z_0:z_2]$，φ作用后得到$[(z_0)^2:(z_2)2:z_0 z_2]$。根据X的方程$z_0 z_1 = z_2^{2$，这个点等价于$[z_0}2: z_0 z_1: z_0 z_2] = [z_0: z_1: z_2]$（乘以$1/z_0$，因$z_0≠0$），即恒等映射。
2. 验证$\psi \circ \phi = \text{id}_{\mathbb{P}^1}$：
   在$\mathbb{P}^{1$的$V_0$上，φ将$[x_0:x_1]$映射到$[x_0}2:x_1^2:x_0 x_1]$，ψ作用后得到$[x_0^2: x_0 x_1] = [x_0:x_1]$（乘以$1/x_0$），即恒等；在$V_1$上，φ得到$[x_0^2:x_12:x_0 x_1]$，ψ作用后得到$[x_0 x_1: x_1^2] = [x_0:x_1]$（乘以$1/x_1$），也是恒等。

这类射影同构问题的通用策略 #

• 先明确目标集的定义方程：从映射的像出发，写出X满足的齐次方程，这是理解X结构的关键。
• 利用射影空间的标准开覆盖：射影态射是局部的，不用找全局逆，只要在每个开集上构造局部逆，再验证重叠区域的相容性即可。
• 结合仿射坐标转换：把射影坐标转成仿射坐标，能让映射的对应关系更直观，更容易构造逆映射。
• 必验证复合恒等：构造完逆映射后，双向验证复合是否为恒等，这是确保正确性的核心步骤。

备注：内容来源于stack exchange，提问作者Bill