1. 项目概述一条连接经典与深刻的几何路径如果你在代数几何里泡过一段时间肯定会遇到一些名字听起来就很有分量的对象Del Pezzo曲面、有理六次曲线、Coble曲面还有Bertini对合。它们各自都是研究的热点但你可能没细想过这些看似独立的家伙们其实被一条非常精妙且深刻的线索串联在一起。这条线索的核心就是从一类特殊的Del Pezzo曲面出发通过一个被称为“Bertini对合”的对称操作构造出被称为“Coble曲面”的复杂曲面而这个过程最终会落地到一个非常具体且优美的对象——平面上的有理六次曲线上。这不仅仅是一个构造游戏它深刻揭示了高维双有理几何与低维曲线理论之间惊人的对话是理解某些特殊代数簇的模空间、自同构群以及它们的退化行为的钥匙。我最初接触这个课题是因为在研究某些三次四维簇的有理参数化问题时发现其关键障碍可以追溯到一条平面六次曲线的几何性质。顺着这条线往回挖就自然闯入了Coble曲面和Bertini对合的领域。这个过程有点像侦探破案从一个具体的计算难题有理参数化出发追溯到更基础的几何结构曲线再追溯到支撑这个结构的对称性对合和舞台曲面。今天我就把自己沿着这条线索摸索、理解并最终将它们融会贯通的过程和心得整理出来。无论你是正在学习代数几何基础的研究生还是对经典代数几何中的具体构造感兴趣的研究者希望这篇能帮你理清这条脉络看到这些经典概念是如何活生生地互动起来的。2. 核心对象拆解我们到底在谈论什么在深入它们的互动之前我们必须先确保对每个核心角色有一个清晰、直观的画像。避免一上来就被术语淹没。2.1 Del Pezzo曲面富足而友好的舞台首先登场的是Del Pezzo曲面。你可以把它想象成代数几何世界里的“友好型”曲面。它的一个核心特征是丰富反典范丛。通俗点说就是它上面有很多“负曲率”的方向这使得它整体上呈现出一种“凸”的几何形状类似于复投影空间中的二次曲面或三次曲面的一些性质。这种丰富性带来了巨大的好处它的上同调群性质特别好线丛的全局截面很容易计算而且它和有理曲面的联系非常紧密。最经典的Del Pezzo曲面是通过对射影平面 $\mathbb{P}^2$ 进行一系列爆破blow-up得到的。具体来说在 $\mathbb{P}^2$ 上选取最多8个点要求处于一般位置即任意三点不共线任意六点不在一个圆锥曲线上等等然后把这些点一个个爆破掉。爆破一个点简单理解就是把一个点替换成一条直线例外曲线。记 $S_r$ 为爆破 $\mathbb{P}^2$ 上 $r$ 个一般点得到的曲面那么 $S_r$ 就是一个度数为 $9-r$ 的 Del Pezzo 曲面这里度数指的是其反典范除子 $-K_{S_r}$ 的自交数。注意当 $r8$ 时$S_8$ 是度数1的 Del Pezzo 曲面它已经有些特殊的性质了。而当 $r8$ 时得到的曲面不再是 Del Pezzo 曲面反典范丛不再丰富。我们故事的主角之一通常从 $S_6$度数3或 $S_5$度数4开始它们有足够丰富的结构来承载后续的构造。为什么 Del Pezzo 曲面重要因为它是一个完美的“测试平台”。许多关于有理曲面、除子线性系统、共形场论中的模空间等问题都可以在相对简单的 Del Pezzo 曲面上进行研究和可视化。它为更复杂的结构如Coble曲面提供了一个清晰、可控的起点。2.2 有理六次曲线平面上的优雅舞者接下来是有理六次曲线。它生活在射影平面 $\mathbb{P}^2$ 中是由一个六次齐次多项式定义的曲线 $C_6 \subset \mathbb{P}^2$。所谓“有理”意味着这条曲线在复数的意义上同构于射影直线 $\mathbb{P}^1$黎曼球面。换句话说你可以用一个参数 $t$ 的有理函数来把整条曲线参数化出来。但是并非所有六次曲线都是有理的。一条光滑的平面曲线其亏格由公式 $g (d-1)(d-2)/2$ 给出其中 $d$ 是次数。对于 $d6$光滑曲线的亏格是 $10$。所以一条有理的六次曲线必定是奇异的因为它的几何亏格必须是0。这些奇异性不是 bug而是 feature——它们精确地编码了曲线的特殊几何性质。一条典型的有理六次曲线可能拥有十个双重点double points。为什么是十个因为根据亏格公式一条光滑六次曲线的“预期”亏格是10。如果它是有理的亏格0那么它必须“消耗”掉10的亏格而一个普通双点节点会将算术亏格降低1。所以一条拥有10个普通双节点的六次曲线其正规化即解奇异后得到的光滑曲线就是 $\mathbb{P}^1$从而它是一条有理曲线。当然奇点的类型可以更复杂比如尖点但总体“奇点贡献”需要等价于10个普通双点。有理六次曲线是古典代数几何的常客出现在许多模空间问题和枚举几何中。在我们的故事里它将是整个构造的最终输出和核心表征。2.3 Bertini对合隐藏的对称性操作手现在来到一个关键但可能稍显抽象的概念Bertini对合。对合involution简单说就是一个“平方等于恒等映射”的变换。Bertini对合是定义在某些特殊的线性系统上的一种对合。考虑一个 Del Pezzo 曲面 $S$例如 $S_6$。在其 Picard 群上存在一个非常特别的线性系统比如由某个特定的除子类 $|D|$ 定义。Bertini 对合 $\iota$ 就是这个线性系统上的一个双有理自映射满足 $\iota^2 id$但它不是恒等映射。这个对合的具体形式通常与线性系统中一条特殊的曲线比如一条固定成分的对称性有关。实操心得理解 Bertini 对合最直接的方式是看它在具体坐标下的作用。例如在某些坐标系下它可以表示为 $(x:y:z) \mapsto (f_1(x,y,z): f_2(x,y,z): f_3(x,y,z))$其中 $f_i$ 是齐次多项式并且代入后发现经过两次变换后坐标回到比例等价。它常常表现为“以某个点为焦点的二次对合”或与某个 Cremona 变换相关。Bertini 对合的重要性在于它不是定义在整个曲面 $S$ 上的正则自同构而只是一个双有理映射。这意味着它在某些子集上比如某个例外曲线的集合是没有定义的或者会把这些子集映射到别的什么东西。这种“几乎处处”定义的对称性正是连接 Del Pezzo 曲面和 Coble 曲面的桥梁。2.4 Coble曲面承载对合的扩展舞台最后是Coble曲面。这是以美国数学家 Arthur Coble 命名的。简单来说一个 Coble 曲面 $X$ 可以这样理解它本身不是一个 Del Pezzo 曲面但它包含一个特殊的反典范除子$D \in |-K_X|$而这个除子 $D$ 是一条不可约的、有理的曲线。并且这个除子 $D$ 在 $X$ 上的限制或者说$X$ 的几何性质是由一个来自某个 Del Pezzo 曲面的 Bertini 对合所控制的。更构造性的观点是从一个 Del Pezzo 曲面 $S$比如 $S_6$出发考虑其上由 Bertini 对合 $\iota$ 生成的群作用。这个作用在 $S$ 上不是正则的所以我们可以尝试“解决”这个奇异性也就是通过一系列爆破blow-up来使 $\iota$ 提升为一个正则的自同构。在这个解奇点的过程中我们得到一个新的曲面 $X$这个 $X$ 就是 Coble 曲面。原来 Del Pezzo 曲面 $S$ 上那些被 $\iota$ 弄得“不干净”的点或曲线在 $X$ 上被“拉开”成了清晰的例外除子而 $X$ 的整体结构则是由这个对合对称性所主导的。所以Coble 曲面可以看作是 Del Pezzo 曲面的一个“对称化扩充”。它牺牲了 Del Pezzo 曲面那种纯粹的反典范丰富性但获得了一个全局的、由对合定义的 $\mathbb{Z}/2\mathbb{Z}$ 对称性并且这个对称性固定了一条特殊的反典范曲线。3. 构造逻辑全景从Del Pezzo到有理六次曲线理解了四个核心对象后我们现在把它们像拼图一样组装起来看看这条完整的构造链是如何运作的。这个过程充满了古典几何的韵味。3.1 起手式选择一个合适的Del Pezzo曲面我们的起点通常是一个度数适中的 Del Pezzo 曲面。为了使得后续的 Bertini 对合结构足够有趣且非平凡$S_6$爆破 $\mathbb{P}^2$ 上6个一般点得到的度数3 Del Pezzo 曲面是一个经典的选择。$S_6$ 可以实现为 $\mathbb{P}^3$ 中的三次曲面它上面有著名的27条直线对应于 $\mathbb{P}^2$ 中经过爆破点的直线、圆锥曲线等。这个丰富的直线网络为其几何提供了丰富的结构。为什么是 $S_6$因为它的 Picard 群秩为 7$\mathbb{P}^2$ 的 Picard 秩1加上6个爆破点各贡献1结构足够复杂以承载非平凡的对合但又没有复杂到难以计算如 $S_8$。此外$S_6$ 上的反典范线性系统 $|-K_{S_6}|$ 给出一个到 $\mathbb{P}^3$ 的嵌入作为三次曲面这为我们在射影空间中观察它提供了便利。3.2 关键操作发现并利用Bertini对合在 $S_6$ 上我们可以考察一个特定的线性系统。例如考虑所有经过 $S_6$ 上某三个特定点这些点对应于原来 $\mathbb{P}^2$ 中某个特定的配置的二次曲线族在 $S_6$ 上这是从 $\mathbb{P}^2$ 继承来的某个线性系统的拉回。在这个线性系统上存在一个自然的对合对于该系统中一条一般的曲线 $C$存在另一条唯一的曲线 $C‘$使得 $C$ 和 $C’$ 在某个固定点处有特殊的接触关系或者它们与某个固定的例外曲线之和属于同一个线性等价类。这个一一对应 $C \leftrightarrow C‘$ 且 $C \neq C’$ 的关系就定义了一个对合 $\iota$。这个 $\iota$ 就是Bertini 对合。在 $S_6$ 的几何中它可以具体地描述为它交换了 $S_6$ 上某两条不相交的 $(-1)$-曲线即爆破产生的例外曲线同时固定了某条特殊的曲线通常是一条有理曲线属于某个特定的线性系统。注意事项这个对合在 $S_6$ 上本身是双有理的但不是处处正则的。它在被交换的两条 $(-1)$-曲线上是没有定义好的。如果你想把它作为一个全局映射来研究就必须处理这些 indeterminacy loci未定轨迹。3.3 舞台升级通过解奇点得到Coble曲面由于 $\iota$ 在 $S_6$ 上不是正则的我们的下一步就是“解决”它。这通过爆破blow-up来实现。具体来说我们在 $\iota$ 作用不良好的那些点通常是上述两条被交换的 $(-1)$-曲线的交点或者某些固定曲线上的特殊点进行爆破。假设 $\iota$ 在 $S_6$ 上的未定轨迹包含两个点 $p_1, p_2$。我们对 $S_6$ 在 $p_1$ 和 $p_2$ 处进行爆破得到一个新的曲面 $S_6‘$并记 $E_1, E_2$ 为对应的例外曲线。在 $S_6’$ 上原来在 $S_6$ 上无定义的映射 $\iota$ 可以提升lift为一个双有理映射 $\iota‘: S_6’ \dashrightarrow S_6‘$。关键在于经过精心选择爆破点通常与对合的几何密切相关这个提升后的映射 $\iota’$ 可能仍然在某些曲线上无定义这就需要我们继续爆破。经过有限步这样的“爆破以解奇点”过程后我们最终得到一个光滑曲面 $X$以及一个从 $X$ 到自身的正则同构 $\tilde{\iota}: X \to X$满足 $\tilde{\iota}^2 id_X$。这个 $\tilde{\iota}$ 就是原始 Bertini 对合 $\iota$ 的解奇点resolution of indeterminacy。而这个新的曲面 $X$就是我们要的Coble 曲面。$X$ 的几何性质由这个对合 $\tilde{\iota}$ 主导。特别地存在 $X$ 上的一个有效的除子 $D$满足 $D \in |-K_X|$即 $D$ 是反典范除子并且 $D$ 在 $\tilde{\iota}$ 的作用下是不变的可能不是点态固定而是作为集合不变。通常这个 $D$ 是一条不可约的有理曲线。3.4 最终产出映射到平面得到有理六次曲线现在我们有了一个带有对合 $\tilde{\iota}$ 的 Coble 曲面 $X$以及一条固定的反典范有理曲线 $D$。最后的步骤是利用这个对合结构产生一个到射影平面的映射其分支轨迹就是我们要的有理六次曲线。考虑 $X$ 上由对合 $\tilde{\iota}$ 的轨道空间构成的商。由于 $\tilde{\iota}$ 是阶为2的自同构我们可以形式上定义商曲面 $Y X / \langle \tilde{\iota} \rangle$。然而由于 $\tilde{\iota}$ 的作用可能有固定点集这个商通常会有奇点。但我们可以分析这个商映射的几何。一个更具体的方法是在 $X$ 上寻找一个线性系统 $|L|$这个系统在 $\tilde{\iota}$ 的作用下是“反不变的”或具有某种特性使得由这个线性系统定义的映射 $\phi_{|L|}: X \to \mathbb{P}^N$ 能够分解通过这个对合。也就是说存在一个映射 $\psi: Y \to \mathbb{P}^N$使得 $\phi_{|L|} \psi \circ \pi$其中 $\pi: X \to Y$ 是商映射。经过仔细的除子类计算通常在 Picard 群 $Pic(X)$ 中进行利用从 $S_6$ 继承来的基以及爆破产生的例外除子我们可以找到一个特定的线性系统 $|M|$它给出一个态射 $\phi_{|M|}: X \to \mathbb{P}^2$。这个态射是 $2:1$ 的因为对合 $\tilde{\iota}$ 交换每根纤维的两个点因此是一个双有理覆盖double cover。根据双有理覆盖的理论这样的覆盖由 $\mathbb{P}^2$ 上的一条分支曲线branch curve决定。计算这个分支曲线的次数是关键。通过计算 $X$ 上相应的典范除子公式以及 Riemann-Hurwitz 公式我们可以确定这条分支曲线的次数是6。并且由于覆盖 $X \to \mathbb{P}^2$ 的“中间”曲面 $X$ 是理性的因为它由有理曲面 $S_6$ 爆破得来且覆盖是循环的可以证明这条六次分支曲线必须是有理的其正规化是 $\mathbb{P}^1$。于是$\phi_{|M|}$ 的分支轨迹 $B \subset \mathbb{P}^2$ 就是一条有理六次曲线。这条曲线的奇点类型十个双点或等价组合精确地反映了原始 Bertini 对合 $\iota$ 在 $S_6$ 上的未定轨迹以及后续爆破过程的几何。4. 技术细节深潜计算与推导要点上面的路线图看起来清晰但每一步都涉及具体的代数几何计算。这里我挑几个最容易卡住或理解偏差的关键点分享一下我的计算心得和需要注意的陷阱。4.1 Del Pezzo曲面 $S_6$ 的Picard群与相交理论一切计算的基础是清晰地把握 $S_6$ 的除子类群。设 $S_6$ 由 $\mathbb{P}^2$ 爆破 $p_1, \ldots, p_6$ 六个一般点得到。记 $H$ 为 $\mathbb{P}^2$ 中一条直线的拉回即超平面类$E_i$ 为爆破点 $p_i$ 对应的例外曲线$i1,\ldots,6$。则 $Pic(S_6) \cong \mathbb{Z}^7$由 $H, E_1, \ldots, E_6$ 生成它们满足相交数$H^2 1$两条一般位置直线交于一点$E_i^2 -1$例外曲线是 $(-1)$-曲线$H \cdot E_i 0$直线类与例外曲线无交$E_i \cdot E_j 0$$i \neq j$不同例外曲线不相交典范除子 $K_{S_6} -3H \sum_{i1}^6 E_i$。由此可计算反典范除子 $-K_{S_6} 3H - \sum E_i$其自交数为 $(-K_{S_6})^2 9 - 6 3$与度数相符。实操心得在进行任何线性系统或映射的度计算时务必在这个基 ${H, E_i}$ 下将所有除子类表达清楚。混淆 $H$拉回类和真正的直线是常见错误。在 $S_6$ 上一条“直线”可能对应着 $H - E_i - E_j$ 这样的类即经过两个爆破点的原像。4.2 Bertini对合在除子类上的作用假设我们考虑的 Bertini 对合 $\iota$ 交换两条 $(-1)$-曲线比如 $E_1$ 和 $E_2$同时固定某个特定的除子类 $F$例如 $F H - E_3 - E_4$。那么$\iota$ 在 $Pic(S_6)$ 上诱导了一个线性变换实际上是正交变换因为要保持相交数。我们可以将这个作用写成矩阵形式。例如对于交换 $E_1$ 和 $E_2$ 的对合它在基 ${H, E_1, E_2, E_3, E_4, E_5, E_6}$ 下的矩阵可能是$H \mapsto H‘ H a(E_1 E_2 - E_3 - E_4 ...)$ 等形式具体系数需由几何条件确定。$E_1 \mapsto E_2$$E_2 \mapsto E_1$$E_3, E_4, E_5, E_6$ 可能固定或发生某种置换。确定这个矩阵是后续所有计算的关键。通常需要利用对合固定某个线性系统 $|D|$ 这一事实即 $\iota^* D \equiv D$线性等价从而列出关于系数 $a, b, ...$ 的方程。避坑指南不要想当然地认为对合只交换两个例外曲线而不影响其他生成元。它往往还会改变 $H$ 类因为 $H$ 代表了来自 $\mathbb{P}^2$ 的几何而对合可能对应于 $\mathbb{P}^2$ 上的一个 Cremona 变换。必须从几何定义出发推导出它在整个 Picard 群上的作用。4.3 解奇点与Coble曲面 $X$ 的除子描述假设 $\iota$ 在 $S_6$ 上的未定轨迹是两个点 $q_1 \in E_1$, $q_2 \in E_2$不一定是对应的点但由对合关联。我们爆破 $q_1$ 和 $q_2$得到 $\pi_1: S_6^{(1)} \to S_6$。记新的例外曲线为 $F_1, F_2$。在 $S_6^{(1)}$ 上严格变换strict transform后的 $E_1$, $E_2$ 变成了 $(-2)$-曲线因为 $E_i^2 -1$爆破其上一点使其自交数减1。此时对合 $\iota$ 可以提升为 $S_6^{(1)}$ 上的双有理映射 $\iota^{(1)}$它可能仍然有未定轨迹比如在 $F_1$ 和 $F_2$ 上的某些点。我们需要继续爆破。这个过程可能需要进行多轮。最终得到 Coble 曲面 $X$ 和正则对合 $\tilde{\iota}$。$X$ 的 Picard 群比 $S_6$ 更复杂包含了所有爆破引入的新例外曲线类。记录下从 $S_6$ 的生成元 ${H, E_i}$ 到 $X$ 的生成元的变换关系至关重要。通常我们会得到一组基其中包含$H$ 的严格变换类可能已修正。原始 $E_i$ 的严格变换类自交数可能已变为 $-2, -3, ...$。各轮爆破引入的新例外曲线类 $F_j$自交数为 $-1$。在 $X$ 上我们可以计算典范除子 $K_X$。根据爆破的典范除子公式如果我们在一个光滑点上爆破新曲面的典范除子是原曲面典范除子的拉回加上例外曲线。因此$K_X$ 可以表示为原始 $K_{S_6}$ 的拉回加上所有例外曲线 $F_j$ 的和可能有系数。最终我们可以找到那个满足 $D \in |-K_X|$ 且被 $\tilde{\iota}$ 固定的除子 $D$。4.4 双有理覆盖与六次分支曲线的计算设我们最终找到了 $X$ 上的一个线性系统 $|M|$它给出 $2:1$ 覆盖 $\phi: X \to \mathbb{P}^2$。关键方程是 Riemann-Hurwitz 公式的曲面版本。对于有限覆盖 $f: X \to Y$有 $$K_X \sim f^* K_Y R$$ 其中 $R$ 是分歧除子ramification divisor。在我们的情况$Y \mathbb{P}^2$所以 $K_{\mathbb{P}^2} -3L$其中 $L$ 是 $\mathbb{P}^2$ 中的直线类。覆盖是 $2:1$假设分支曲线为 $B \subset \mathbb{P}^2$次数为 $d$。那么分歧除子 $R$ 是 $f^{-1}(B)$ 的约化形式。实际上对于 $2:1$ 循环覆盖有 $f^* B 2R$。将这些关系代入 Riemann-Hurwitz 公式 $$K_X \sim f^*(-3L) R \sim -3f^*L R$$ 同时由于 $f$ 是由 $|M|$ 定义的我们有 $f^*L \equiv M$线性等价。所以 $$K_X \equiv -3M R$$ 又因为 $f^*B 2R$且 $B \sim dL$$d$ 次曲线所以 $f^*B \equiv d f^*L \equiv d M$从而 $2R \equiv d M$即 $R \equiv \frac{d}{2} M$。代入上式$K_X \equiv -3M \frac{d}{2} M (\frac{d}{2} - 3) M$。现在我们之前知道在 Coble 曲面的构造中存在 $D \in |-K_X|$。如果我们能证明 $M$ 和 $-K_X$ 成正比那么就能确定 $d$。实际上通过具体的构造我们选择的 $|M|$ 往往满足 $M \sim -\frac{1}{n} K_X$ 对于某个 $n$。例如如果构造使得 $M \sim -\frac{1}{2}K_X$那么代入上式 $$K_X \equiv (\frac{d}{2} - 3) M \equiv (\frac{d}{2} - 3) (-\frac{1}{2}K_X)$$ 两边同时消去 $K_X$需注意在 Picard 群中可能是数值等价得到 $1 -(\frac{d}{4} - \frac{3}{2})$解得 $d6$。计算要点这里的 $n$ 和比例关系完全取决于最初在 $S_6$ 上选择的线性系统以及 Bertini 对合的具体形式。需要通过 Picard 群上的精确计算来确定 $M$ 的类。通常$M$ 会与 $H$ 和 $E_i$ 的某种组合相关并且满足 $(\tilde{\iota})^* M \equiv -M$因为对合在覆盖中交换两个叶片所以它作用于 $f^*L$ 上应该是乘以 -1 的特征值。5. 几何意义与延伸思考这条构造链不仅仅是一个技巧性的练习它蕴含了深刻的几何思想并与其他领域产生共鸣。5.1 模空间的解释有理六次曲线的模空间是高度非平凡的。通过 Coble 曲面和 Bertini 对合的构造我们实际上为某类特殊的有理六次曲线那些来自特定 Del Pezzo 曲面配置的曲线提供了一个模的描述。换句话说一条这样的有理六次曲线等价于一个配备了特定 Bertini 对合的 Del Pezzo 曲面 $S_6$模去某种等价关系。这为研究该模空间的几何如有理性、紧化、奇点提供了新的工具。5.2 与Cremona变换的联系$\mathbb{P}^2$ 上的 Bertini 对合在好的情况下可以“下降”为 $\mathbb{P}^2$ 本身的一个双有理变换即一个Cremona 变换。事实上许多经典的 Cremona 对合如 Bertini 对合、Geiser 对合等都与 Del Pezzo 曲面的几何密切相关。我们的构造可以看作是将一个在 $\mathbb{P}^2$ 上只有双有理定义的 Cremona 对合通过提升到某个曲面模型Coble 曲面上使其正则化从而更清晰地研究其性质。5.3 在枚举几何与物理中的应用在弦论和镜对称中Calabi-Yau 流形的有理曲线计数是一个核心问题。某些特定的 Calabi-Yau 三维流形可以纤维化成为有理曲面其奇异纤维的几何有时就涉及像有理六次曲线这样的对象。理解这些曲线的模空间以及它们如何从更简单的数据如带对合的 Del Pezzo 曲面产生可以为计算 Gromov-Witten 不变量或研究 BPS 态谱提供新的视角。Coble 曲面本身作为一类特殊的非最小曲面其模空间和自同构群也是有趣的研究对象。5.4 一个具体的计算实例草图为了不让讨论过于抽象我勾勒一个简化的计算场景展示思路起点取 $S_6$假设其由 $\mathbb{P}^2$ 爆破点 $p_1,..., p_6$ 得到且这6点处于非常对称的位置例如是一个“六边形”的顶点。对合考虑线性系统 $|2H - E_1 - E_2 - E_3 - E_4|$通过4个点的圆锥曲线束。在这个系统上可能存在一个对合交换通过 $p_5$ 和 $p_6$ 的两条成员曲线。解奇点该对合可能在 $p_5$ 和 $p_6$ 处无定义。爆破这两点得到新例外曲线 $F_5, F_6$。分析提升后的映射可能需要在 $F_5$ 和 $F_6$ 与某些严格变换曲线的交点上继续爆破。得到 $X$ 和 $\tilde{\iota}$经过两轮爆破后假设得到正则对合 $\tilde{\iota}$。计算 $X$ 的 Picard 群找到满足 $\tilde{\iota}^* D \equiv D$ 且 $D \in |-K_X|$ 的除子 $D$。构造覆盖寻找满足 $\tilde{\iota}^* M \equiv -M$ 的除子类 $M$使得 $|M|$ 是自由的且给出映射 $X \to \mathbb{P}^2$。通过相交理论计算 $M$ 与 $-K_X$ 的比例关系。计算次数应用 Riemann-Hurwitz 公式利用 $M \sim -\frac{1}{2}K_X$假设此关系成立推导出分支曲线次数 $d6$。验证有理性通过分析覆盖的结构以及 $X$ 的有理性证明分支曲线 $B$ 的正规化是 $\mathbb{P}^1$。这通常涉及到证明 $B$ 的算术亏格与几何亏格之差正好是10对应10个双点或者直接计算其参数化。这个草图省略了大量繁复的相交数计算和线性系统基的验证但它展示了从几何条件到代数计算再到最终数值结论的完整逻辑链条。在实际操作中每一步都需要在选定的基下进行严格的矩阵运算和相交数验证。