发帖
雷达卡
有理射影曲线的深入分析
在代数几何的研究中，曲线是否“有理”是一个核心问题。本文将围绕这一主题展开讨论，涵盖射影空间中的曲线定义、参数化条件、亏格概念以及特定类型高次曲线的结构性质。
首先考虑从仿射平面到射影平面的自然推广。设 \( F \) 是射影平面 \( \mathbb{P}\mathbb{C}^2 \) 中一个次数为 \( d \) 的不可约射影曲线。若存在三个关于变量 \( s, t \) 的齐次多项式 \( X(s,t) \)、\( Y(s,t) \)、\( Z(s,t) \)，每个次数均为 \( d \)，满足以下两个条件，则称该曲线是有理的：
- 对于几乎所有比值 \( (s:t) \)，三元组 \( (X(s,t), Y(s,t), Z(s,t)) \) 不全为零，且恒有 \( F(X(s,t), Y(s,t), Z(s,t)) = 0 \)；
- 除有限多个点 \( (x:y:z) \)（满足 \( F(x,y,z)=0 \)）外，对曲线上任意一点，都存在唯一的比值 \( (s:t) \) 和非零标量 \( \lambda \)，使得： \[ \lambda x = X(s,t),\quad \lambda y = Y(s,t),\quad \lambda z = Z(s,t) \]
这个定义引出了一个重要结论：设 \( f \) 是 \( \mathbb{C}^2 \) 上次数为 \( d \) 的仿射曲线，\( F \) 是其在 \( \mathbb{P}\mathbb{C}^2 \) 中对应的射影闭包，则 \( f \) 是有理曲线当且仅当 \( F \) 是有理曲线。证明如下：
若 \( F \) 可被上述形式参数化，则通过令 \( s=1 \)，可得仿射部分的参数表达式：
\[ x(t) = \frac{X(1,t)}{Z(1,t)},\quad y(t) = \frac{Y(1,t)}{Z(1,t)} \]这构成了 \( f \) 的有理参数化。
反之，若 \( f \) 存在有理参数解，即存在有理函数 \( x(t) = \frac{a(t)}{c(t)} \)、\( y(t) = \frac{b(t)}{c(t)} \)，其中 \( a(t), b(t), c(t) \) 分别是次数为 \( \alpha, \beta, \gamma \) 的多项式。将其齐次化：
\[ A(s,t) = s^\alpha a\left(\frac{t}{s}\right),\quad B(s,t) = s^\beta b\left(\frac{t}{s}\right),\quad C(s,t) = s^\gamma c\left(\frac{t}{s}\right) \]记 \( \delta = \max(\alpha, \beta, \gamma) \)，则定义：
\[ X(s,t) = s^{\delta - \alpha} A(s,t),\quad Y(s,t) = s^{\delta - \beta} B(s,t),\quad Z(s,t) = s^{\delta - \gamma} C(s,t) \]即可得到 \( F \) 的齐次有理参数表示。
以单位圆为例，其在实平面上的参数化为：
\[ x = \frac{1 - t^2}{1 + t^2},\quad y = \frac{2t}{1 + t^2} \]将 \( t \) 替换为 \( \frac{t}{s} \)，并乘以 \( s^2 \)，得到射影形式下的参数表达：
\[ X = s^2 - t^2,\quad Y = 2st,\quad Z = s^2 + t^2 \]对应于射影曲线 \( F = x^2 + y^2 - z^2 \)。
graph LR
A[具有三个二重点的四次曲线 F] --> B[进行二次变换得到圆锥曲线 Q]
B --> C[圆锥曲线 Q 有有理参数化]
C --> D[根据变换关系得到 F 的有理参数化]含三个二重点的四次不可约曲线
此前我们已知，任何不可约圆锥曲线可通过过定点的直线束实现参数化，从而证明其有理性；类似地，具有单一奇点（如结点或尖点）的三次曲线也可通过穿过该奇点的直线族完成参数化。现在我们将研究更复杂的情形——包含三个不同二重点的不可约四次曲线。
设 \( F \) 为 \( \mathbb{P}\mathbb{C}^2 \) 中一条不可约四次曲线，并设有三个互异的二重点 \( A, B, C \)。那么，经过适当的射影变换后，\( F \) 可转化为一种称为“预规范形”的标准位置，使得这三个奇点分别位于坐标三角形的顶点上。
关键工具是二次变换（quadratic transformation），其映射规则为：
\[ (x : y : z) \mapsto \left( \frac{1}{x} : \frac{1}{y} : \frac{1}{z} \right) \]此变换仅在 \( xyz \neq 0 \) 时定义良好。利用该变换，可以发现：这样的四次曲线 \( F \) 实际上是由某个圆锥曲线 \( Q = ax^2 + by^2 + cz^2 + 2fyz + 2gzx + 2hxy \) 经过上述二次变换后再乘以因子 \( x^2y^2z^2 \) 所得的结果。
反过来，给定这样一个四次曲线 \( F \)，应用相同的二次变换并除以 \( x^2y^2z^2 \)，便可还原出原始的圆锥曲线 \( Q \)。因此，我们说 \( F \) 与 \( Q \) 互为二次变换像。这种对偶关系不仅揭示了几何结构之间的深层联系，也为判断高次曲线的合理性提供了有效途径。
graph LR
A[假设 F 是有理曲线] --> B[构造方程组]
B --> C[证明系数矩阵行线性无关]
C --> D[得到方程组解的形式]
D --> E[构造非平凡解 (H1, H2, H3)]
E --> F[推出矛盾]
F --> G[得出 F 是非有理曲线]为了深入理解代数曲线的有理性，我们首先通过一个具体结论展开：若一条不可约四次曲线 (F) 在三个不同的点 (A)、(B)、(C) 处具有二重点，则该曲线是有理的。这一结论的证明依赖于已知的不可约圆锥曲线 (Q) 存在有理参数化，形式为 (X(s, t))、(Y(s, t))、(Z(s, t))。基于此，曲线 (F) 的有理参数化可构造为 (Y(s,t)Z(s,t))、(Z(s,t)X(s,t))、(X(s,t)Y(s,t))。
以四次曲线 (F = x^2y^2 - (x^2 + y^2)z^2) 为例进行说明。该曲线在点 (A = (1:0:0))、(B = (0:1:0)) 和 (C = (0:0:1)) 处存在节点（即二重点）。经过一系列代数运算后，可得其有理参数化表达式为：
- (X = s^4 - t^4)
- (Y = 2st(s^2 + t^2))
- (Z = 2st(s^2 - t^2))
整个推导过程的逻辑结构可通过以下 mermaid 流程图直观展示：
graph LR
A[具有三个二重点的四次曲线 F] --> B[进行二次变换得到圆锥曲线 Q]
B --> C[圆锥曲线 Q 有有理参数化]
C --> D[根据变换关系得到 F 的有理参数化]曲线亏格的概念与性质
为了建立判断曲线是否为有理曲线的充分条件，我们引入“亏格”这一重要的射影不变量。设 (F) 是射影平面 (P\mathbb{C}^2) 中一条次数为 (d) 的不可约曲线，其奇点为 (X_1, \ldots, X_s)，对应的重数分别为 (m_1, \ldots, m_s)。根据代数几何理论，满足不等式：
(\sum_{k=1}^{s} \frac{1}{2} m_k(m_k - 1) \leq \frac{1}{2}(d - 1)(d - 2))
在此基础上，曲线 (F) 的亏格 (D) 定义为：
(D = \frac{1}{2}(d - 1)(d - 2) - \sum_{k=1}^{s} \frac{1}{2} m_k(m_k - 1))
由于曲线的次数 (d)、奇点个数 (s) 及各奇点重数 (m_k) 均在射影变换下保持不变，因此亏格 (D) 是一个射影不变量。
当所有奇点均为二重点时，即 (m_k = 2) 对所有 (k)，则上式简化为：
(D = \frac{1}{2}(d - 1)(d - 2) - s)
这表明，在 (P\mathbb{C}^2) 中，一条不可约曲线最多可拥有 (\frac{1}{2}(d - 1)(d - 2)) 个二重点。例如，不可约三次曲线至多有一个二重点，而不可约四次曲线至多有三个。
对于非奇异曲线（即无奇点），其亏格即为 (D = \frac{1}{2}(d - 1)(d - 2))。典型情况如下：
- 直线（(d=1)）：亏格为 0
- 非奇异圆锥曲线（(d=2)）：亏格为 0
- 非奇异三次曲线（(d=3)）：亏格为 1
- 非奇异四次曲线（(d=4)）：亏格为 3
亏格是描述非奇异代数曲线的核心数值之一，广泛应用于分类与模空间研究中。
不同次数曲线的亏格与奇点数量对照表
| 曲线次数 (d) | 最大二重点数量 | 非奇异曲线亏格 |
|---|---|---|
| 1 | 0 | 0 |
| 2 | 0 | 0 |
| 3 | 1 | 1 |
| 4 | 3 | 3 |
| 5 | 6 | 6 |
有理射影曲线的进一步分析
接下来我们将正式论证：亏格为零的不可约代数曲线是有理曲线。这一结论为我们识别一大类原则上可参数化的曲线提供了理论依据。
回顾此前对不可约三次曲线（含奇点）有理性证明的过程，我们利用了经过奇点的直线族；而对于具有三个二重点的不可约四次曲线，则采用了经过这些奇点的圆锥曲线。这两种情形背后共通的关键概念是“次伴随曲线”。
设 (F) 是射影平面 (P\mathbb{K}^2) 上一条次数为 (d) 的不可约曲线。其“次伴随曲线”(G) 是一条次数为 (d-2) 的曲线，满足：对于 (F) 上每一个重数为 (m) 的点，(G) 在该点的重数至少为 (m-1)。由定义可知，所有次伴随曲线均经过 (F) 的全部奇点。根据引理 16.4，这些曲线构成一个线性系统。
举例说明：
- 若 (F) 是具一个二重点 (P) 的不可约三次曲线，则其次伴随曲线是过 (P) 的直线，形成一个一维线束；
- 若 (F) 是具三个二重点 (A)、(B)、(C) 的不可约四次曲线，则其次伴随曲线是同时经过 (A)、(B)、(C) 的圆锥曲线，构成一个二维线性系统。
关于次伴随曲线的核心结果是“次伴随引理”，其证明本质上依赖于贝祖定理。
次伴随引理
设 (F) 是 (P\mathbb{C}^2) 中一条次数 (d \geq 3) 的不可约曲线，且其亏格为零。令 (\Phi) 表示由所有经过 (F) 上 (d-3) 个固定简单点 (Q_1, \ldots, Q_{d-3}) 的次伴随曲线所构成的线性系统，则 (\Phi) 构成一个线束（即一维线性系统）。
该引理的证明思路如下：
设 $(P_1, \cdots, P_s)$ 是曲线 $F$ 的奇点，其对应的重数分别为 $(m_1, \cdots, m_s)$。定义 $\Phi’$ 为所有经过这些点且在每一点 $P_k$ 处重数至少为 $m_k - 1$，同时经过额外点 $Q_1, \cdots, Q_{d - 3}$ 的次数为 $d-2$ 的曲线所构成的线性系统。根据线性系统余维数的次可加性质，有：
$$ \text{cod}(\Phi’) \geq \sum_{k = 1}^{s} \frac{1}{2} m_k(m_k - 1) - (d - 3) $$
而次数为 $d - 2$ 的平面曲线全体构成的空间维数为 $\frac{1}{2}(d - 2)(d + 1)$，因此可得 $\Phi’$ 的维数满足：
$$ \text{dim}(\Phi’) \geq \frac{1}{2}(d - 2)(d + 1) - \left( \sum_{k = 1}^{s} \frac{1}{2} m_k(m_k - 1) - (d - 3) \right) = D + 1 $$
由于已知 $D = 0$，故上式化简为 $\text{dim}(\Phi’) \geq 1$。
接下来假设 $\text{dim}(\Phi’) \geq 2$。取 $\Phi’$ 中一条固定曲线 $F’$，记 $N$ 为 $F$ 与 $F’$ 在点 $P_i$ 和 $Q_j$ 处的交点数之和，$N’$ 表示其余交点的总数。利用重数不等式及 $D = 0$ 的条件，可估计：
$$ N \geq \sum_{k=1}^s m_k(m_k - 1) + (d - 3) = (d - 1)(d - 2) + (d - 3) = d(d - 2) - 1 $$
又因 $F$ 不可约且 $\deg F' = d - 2 < d = \deg F$，由贝祖定理知 $F$ 与 $F’$ 的总交点数为 $d(d - 2)$，从而有：
$$ N + N’ = d(d - 2) \quad \Rightarrow \quad N’ \leq 1 $$
然而，根据引理 16.6，对 $F$ 上任意两个不同的点 $R$、$S$，存在 $\Phi’$ 中的一条曲线 $F’$ 同时经过这两点，这意味着 $N’ \geq 2$，产生矛盾。因此原假设不成立，必有 $\text{dim}(\Phi’) = 1$，即 $\Phi’$ 构成一个一维线性系统——线束。
graph LR
A[具有三个二重点的四次曲线 F] --> B[进行二次变换得到圆锥曲线 Q]
B --> C[圆锥曲线 Q 有有理参数化]
C --> D[根据变换关系得到 F 的有理参数化]基于上述结论，我们可以进一步证明：亏格为零的不可约平面曲线是有理曲线。
引理
在 $\mathbb{P}^2(\mathbb{C})$ 中，任何次数为 $d$ 且亏格为零的不可约曲线 $F$ 是有理的。
证明
考虑前述次伴随引理中构造出的线束 $\Phi$，将其表示为 $sG + tH$ 的形式，其中 $G$、$H$ 均为次数为 $d - 2$ 的代数曲线。为了证明 $F$ 是有理的，只需验证其某个仿射部分具有有理参数化。
选取一条合适的无穷远直线，使其不经过 $F$ 与 $G$ 的任何交点，并确保 $F$、$G$、$H$ 均不通过点 $(0 : 1 : 0)$。令 $f$、$g$、$h$ 分别为 $F$、$G$、$H$ 对应的仿射多项式。由于 $f$ 与 $g$ 在无穷远处无交点，它们的首项满足：
$$ f(x,y) = \alpha y^d + \cdots,\quad g(x,y) = \beta y^{d - 2} + \cdots,\quad h(x,y) = \gamma y^{d - 2} + \cdots $$
其中 $\alpha, \beta, \gamma \neq 0$。
考虑 $f$ 与 $g + \lambda h$ 关于变量 $y$ 的结式，记作：
$$ R(\lambda, x) = R_N(\lambda)x^N + \cdots + R_0(\lambda) $$
其中 $N = d(d - 2)$，且每个 $R_i(\lambda)$ 是关于 $\lambda$ 的多项式。由于 $f$ 与 $g$ 在无穷远处无公共点，当 $\lambda = 0$ 时，结式 $R(0, x)$ 的次数恰为 $d(d - 2)$，且最高次项系数 $R_N(0) \neq 0$。因此 $R_N(\lambda)$ 仅有有限个零点，我们排除这些 $\lambda$ 值后，即可保证 $f$ 与 $g + \lambda h$ 在无穷远处无交点，所有交点均对应于 $R(\lambda, x) = 0$ 的根。
在仿射情形下，次伴随引理中的点 $P_k$ 对应于 $f$ 上重数为 $m_k$ 的点 $(a_k, b_k)$，而 $Q_k$ 对应于重数为 1 的点 $(c_k, d_k)$。根据重数不等式，方程 $R(\lambda, x) = 0$ 在每个 $x = a_k$ 处至少有重数 $m_k(m_k - 1)$ 的根，在每个 $x = c_k$ 处有单根。这些根共占据 $d(d - 2) - 1$ 个位置，仅余下一个未被确定的根 $x(\lambda)$。
由牛顿公式可知，该剩余根 $x(\lambda)$ 是 $\lambda$ 的有理函数。类似地，若考虑关于 $x$ 的结式，则可得到对应的 $y(\lambda)$ 也是 $\lambda$ 的有理函数。于是，映射 $\lambda \mapsto (X(\lambda), Y(\lambda))$ 给出了 $f$ 上所有点的一个覆盖，从而实现了 $f$ 的有理参数化。
因此，曲线 $F$ 是有理的，证毕。
graph LR
A[假设 F 是有理曲线] --> B[构造方程组]
B --> C[证明系数矩阵行线性无关]
C --> D[得到方程组解的形式]
D --> E[构造非平凡解 (H1, H2, H3)]
E --> F[推出矛盾]
F --> G[得出 F 是非有理曲线]尽管“亏格为零”常被视为曲线有理性的关键特征，但它并非判断曲线合理性的必要条件。一个典型的反例是射影平面 $ P\mathbb{C}^2 $ 中的四次曲线 $ F = (x^2 - yz)^2 - y^3z $，该曲线仅在点 $ P = (0 : 0 : 1) $ 处存在一个二重点，其亏格为 2，然而它仍然是有理曲线。事实上，该曲线具备如下有理参数化形式：
$ X = st(t^2 - s^2) $，
$ Y = (t^2 - s^2)^2 $，
$ Z = s^4 $。
根据相关引理，在 $ P\mathbb{C}^2 $ 中，若一条不可约曲线的次数为 $ d $，且恰好拥有 $ \frac{1}{2}(d - 1)(d - 2) $ 个二重点，则该曲线是有理的。以下是低次情况下的具体分类：
| 曲线次数 (d) | 曲线类型 |
|---|---|
| 1 | 直线 |
| 2 | 一般圆锥曲线 |
| 3 | 具有节点或尖点的三次曲线 |
| 4 | 包含三个二重点的四次曲线 |
| 5 | 包含六个二重点的五次曲线 |
graph LR
A[假设 F 是有理曲线] --> B[构造方程组]
B --> C[证明系数矩阵行线性无关]
C --> D[得到方程组解的形式]
D --> E[构造非平凡解 (H1, H2, H3)]
E --> F[推出矛盾]
F --> G[得出 F 是非有理曲线]接下来我们将证明：在 $ P\mathbb{C}^2 $ 中，任何次数大于等于 3 的非奇异曲线都不可能是有理的。
引理：设 $ F $ 是 $ P\mathbb{C}^2 $ 中一条次数 $ d \geq 3 $ 的非奇异曲线，则 $ F $ 是非有理的。
证明（反证法）：
- 假设 $ F $ 是有理曲线，则存在关于变量 $ s $、$ t $ 的齐次多项式 $ X_1, X_2, X_3 $，每个的次数均为 $ e $，使得 $ F(X_1, X_2, X_3) \equiv 0 $ 成立，并且可设这三个多项式无公共因子。
- 考虑在函数域 $ \mathbb{C}(s, t) $ 上关于未知量 $ Y_1, Y_2, Y_3 $ 的如下两个方程：
- $ X_1Y_1 + X_2Y_2 + X_3Y_3 = 0 $
- $ X_1'Y_1 + X_2'Y_2 + X_3'Y_3 = 0 $
- 我们断言上述方程组系数矩阵（一个 $ 2 \times 3 $ 矩阵）的两行线性无关。假设不然，则存在 $ \mathbb{C}(s,t) $ 中不全为零的元素 $ k_1, k_2 $，满足 $ k_1X_i' = k_2X_i $（对所有 $ i $）。不妨设 $ k_1, k_2 $ 互素，则此关系将导致 $ k_1 $ 整除 $ X_1, X_2, X_3 $，与其无公共因子的前提矛盾。因此，两行必须线性无关。
- 由线性代数理论可知，该方程组的所有解均为以下特定解的标量倍数（标量属于 $ \mathbb{C}(s,t) $）：
- $ Y_1 = X_2X_3' - X_2'X_3 $
- $ Y_2 = X_1X_3' - X_1'X_3 $
- $ Y_3 = X_1X_2' - X_1'X_2 $
- 现在构造一个非平凡解。令 $ H_i = F_i(X_1, X_2, X_3) $，其中 $ F_1, F_2, F_3 $ 是 $ F $ 关于齐次坐标 $ X_1, X_2, X_3 $ 的偏导。则 $ H_1, H_2, H_3 $ 是次数为 $ e(d-1) $ 的齐次多项式。它们没有公共因子；否则，若存在公共线性因子 $ bs - at $，则点 $ (X_1(a,b), X_2(a,b), X_3(a,b)) $ 将是 $ F_1, F_2, F_3 $ 的公共零点，与 $ F $ 非奇异相矛盾。
- 利用恒等式 $ F(X_1, X_2, X_3) \equiv 0 $ 并应用欧拉定理，可知 $ (H_1, H_2, H_3) $ 满足第一个方程；再对该恒等式关于 $ s $ 求导，可得 $ (H_1, H_2, H_3) $ 同样满足第二个方程。因此，$ (H_1, H_2, H_3) $ 构成了方程组的一个非平凡公共解。
- 由此可得，向量 $ (H_1, H_2, H_3) $ 必须是前述基础解 $ (Y_1, Y_2, Y_3) $ 乘以某个非零标量 $ \frac{l_2}{l_1} $ 的结果，其中 $ l_1, l_2 \in \mathbb{C}[s,t] $ 且互素。即：
- $ l_1H_1 = l_2(X_2X_3' - X_2'X_3) $
- $ l_1H_2 = l_2(X_1X_3' - X_1'X_3) $
- $ l_1H_3 = l_2(X_1X_2' - X_1'X_2) $
- 比较两边的次数：左侧 $ \deg(l_1H_1) = \deg l_1 + e(d-1) $，右侧 $ \deg(l_2(\cdots)) = \deg(X_iX_j' - X_i'X_j) \leq 2e - 1 $。由于 $ l_2 $ 为常数，而 $ l_1 $ 至少为 0 次，因此有 $ 2e - 1 \geq e(d - 1) $。当 $ d \geq 3 $ 时，此不等式无法成立（例如 $ d=3 $ 时变为 $ 2e-1 \geq 2e $，矛盾）。因此原假设错误，$ F $ 不可能是有理曲线。
综上所述，我们系统地探讨了有理射影曲线的判定标准及其例外情形，同时通过严谨的代数推导证明了高次非奇异曲线的非有理性，深化了对代数曲线几何性质的理解。
京公网安备 11010802022788号
