Miyaoka猜想在K3曲面圆锥曲线上的实现与推广

《Nagoya Mathematical Journal》：Miyaoka’s bound for conics on K3 surfaces and beyond

本文探讨了代数曲面上的有理曲线配置问题，特别是K3曲面上的圆锥曲线。研究人员围绕Miyaoka界在偶数度有理曲线上的尖锐性开展了深入工作，证明了在极化度充分高时，Miyaoka关于次数为2d的圆锥曲线的上界可达，并构建了包含24条光滑有理曲线的K3曲面，解决了该界限尖锐性在圆锥曲线情形下的长期疑问，对经典枚举几何问题提供了明确解答，具有重要的理论意义。

　　

代数几何中，研究曲面上的曲线配置是一个历史悠久且迷人的课题。想象一下，在一块光滑的曲面上，我们能画出多少条具有一定“简单性”的曲线？这里的“简单”通常指曲线的几何亏格为零，也就是有理曲线，它们从拓扑上看像球面。尤其在线（一次曲线）和圆锥曲线（二次曲线）这类低次曲线中，问题变得尤为具体和困难。过去一个多世纪，数学家们对各类曲面，特别是K3曲面上的线配置进行了深入研究，许多问题得到了解答。然而，当问题转向更大的圆锥曲线配置时，我们的认知就显得有些匮乏了。

K3曲面是一类特殊的复二维代数曲面，具有丰富的结构和性质，是代数几何和数学物理的核心研究对象。在固定一个代数闭域_k和整数d ≥ 1, h ≥ 2后，我们可以定义函数??_k(h, d)，它表示在域_k上，所有度为2h的光滑K3曲面X中，所含d次有理曲线数量r_d(X)的最大值。Miyaoka利用orbibundle Miyaoka-Yau-Sakai不等式，对每个固定的正整数d和每个满足h > 2d²的复光滑射影2h度K3曲面X，得到了一个关键不等式：(1/d)r₁(X) + (2/d)r₂(X) + ... + r_d(X) ≤ 24h/(h - 2d²)。由此导出了Miyaoka界：??_?(h, d) ≤ 24h/(h - 2d²) 对 h > 2d²成立。Miyaoka本人随即提出了一个自然的问题：这个界限在多大程度上是尖锐的？即是否存在曲面能达到这个上界？

对于直线（d=1）的情形，之前的研究已经表明，??_?(h, 1)在h充分大时呈现出周期性行为，其取值集合为{21, 22, 24}。这意味着Miyaoka界（此时为24）对于无穷多个h值来说并不是尖锐的。另一方面，对于d ≥ 3且h > 42d²，在特征不为2,3的域上，已经知道??_k(h, d) = 24。然而，这个构造产生的K3曲面含有节点有理曲线，因此无法直接应用于圆锥曲线（光滑有理曲线）。这就留下了一个悬而未决的核心问题：对于圆锥曲线（以及更一般的偶数度光滑有理曲线），Miyaoka界是否可以达到？在极化度满足什么条件时可以到达？本文的工作正是为了回答这个问题。

研究人员在特征不为2,3的代数闭域上，针对偶数d，以及满足h ≥ 2d(2d+3)-2的h，成功构造了度为2h的K3曲面，其恰好包含24条光滑的d次有理曲线。这个结论表明，一旦h足够大，Miyaoka关于K3曲面上给定偶数度光滑有理曲线数量不超过24的界限是可以达到的，并且达到这个界限并不需要极化度2h满足任何额外的算术条件。特别地，对于圆锥曲线（d=2），只要h > 200，Miyaoka界就是尖锐的。这项研究完成了高次极化K3曲面上低次有理曲线大配置行为的全景图，至少对于复数域情形是如此。

本研究主要运用了代数几何和算术几何中的多种关键技术方法。核心构造始于一个具有12个I₂型奇异纤维的椭圆K3曲面，其定义由形如y²= x(x-f)(x-g)的扩展Weierstrass方程给出，其中f, g是满足特定条件的四次多项式。研究者利用Saint-Donat准则来验证所构造的极化解H的非常丰沛性。通过选取H = NF + (d/2)(O + P₁+ P₂+ P₃)，其中F是纤维，O是零截面，P_i是给定的2阶挠点，并确保N > d，从而得到极化度为2h = 2d(2N-d)的模型，其包含24条与奇异纤维分量相关的d次曲线。为了覆盖不同的h同余类，研究还涉及对曲面 transcendental lattice 的操控，通过添加一个满足特定自交值的除子D，利用模空间理论得到一族新的K3曲面W。通过Mordell-Weil格理论，将D解释为一个截面Q在窄Mordell-Weil格中的像，从而计算出截面与零截面及其他挠点的交点数，这对于最终验证曲线的度数和数量至关重要。整个论证融合了曲面理论、格（lattice）理论以及椭圆曲面模空间的知识。

3. 复情形，偶数d

步骤1

研究人员从特征不为2的域上的经典构造出发。考虑由方程E: y²= x(x-f)(x-g)定义的椭圆K3曲面X，其有12个I₂型奇异纤维。记Θ_0,j+ Θ_1,j(j=1,...,12)为这些奇异纤维。该曲面的Mordell-Weil群为(?/2?)²，由四个互不相交的截面O, P₁, P₂, P₃生成。对于偶数d，选取整数N > d，并定义除子H = NF + (d/2)(O + P₁+ P₂+ P₃)。利用Saint-Donat准则，可以证明H是极非常丰沛的，且其自交数为H²= 2d(2N-d) = 2h。计算H与每个纤维分量Θ_i,j的交点数，由于(O+P₁+P₂+P₃).Θ_i,j= 2，可得H.Θ_i,j= d。因此，这24个纤维分量Θ_i,j即为X上的24条光滑d次有理曲线。此构造覆盖了满足h = d(2N-d)的h值，且H²≡ 2d²≡ 0 (mod 4d)。

步骤2

此步骤将构造推广到更一般的h，需要覆盖H²模4d的其他剩余类。研究在复数域上进行，以便利用Noether-Lefschetz理论。对于一个非常一般的曲面X，其transcendental lattice T(X)具有形状U(2)²⊕ A₁⁴。这个格是2-可除的，并且可以表示任何负偶数。对于给定的偶数r < 0，可以在T(X)中选择一个本原向量D，使得D²= r。根据K3曲面的模空间理论，存在一个新的K3曲面W，其transcendental lattice T(W) ? D^⊥_T(X)，并且它继承了X的椭圆纤维化结构。W的Néron-Severi格NS(W)是NS(X) ⊕ ?D在H²(W, ?)中的本原闭包。通过分析，只要D²< -4，W的奇异纤维配置就保持不变，仍为12个I₂型纤维，即平凡格Triv(W) = Triv(X) = U ⊕ A₁¹²，并且D位于Triv(W)^⊥? NS(W)中。根据Mordell-Weil格理论，存在一个截面Q ∈ MW(W)，它与零截面O的交点数满足(Q.O) = -D²/2 - 2。由于D位于平凡格的正交补中，Q是一个窄Mordell-Weil格中的截面，即它穿过每个奇异纤维的单位元分支。

步骤3

为了覆盖H²模4d的所有偶数剩余类（除了0类），选择-D²∈ {6, 8, ..., 4d+4}。由此得到(Q.O) = -D²/2 - 2 ≤ 2d。由于挠截面总是互不相交，还可以得到(Q.P_i) = (Q.O) + 2 = -D²/2 ≤ 2d+2 (i=1,2,3)。接下来，在曲面W上，考虑与步骤1中形式相同的极化解H' = N'F + (d/2)(O + P₁+ P₂+ P₃+ Q)。可以验证，只要N' > 2d+2，H'就满足非常丰沛的条件。计算H'的自交数：H'²= 2d(2N'-d) + d²+ d * (Q.O)。通过精心选择D²的值（从而确定(Q.O)），可以使得H'²模4d取遍所有需要的剩余类。同时，计算H'与纤维分量Θ_i,j的交点：H'.Θ_i,j= d + (d/2)(Q.Θ_i,j)。由于Q是窄截面，它穿过每个纤维的单位元分支。在一个I₂型纤维中，两个分量一个是单位元（被O和Q穿过），另一个是非单位元。窄截面Q与非单位元分量的交点为1。因此，对于一半的纤维分量（非单位元分支），有(Q.Θ_i,j) = 1，从而H'.Θ_i,j= d + d/2 = 3d/2，这不是整数，意味着这些分量在极化解H'下的像不是曲线。对于另一半纤维分量（单位元分支），有(Q.Θ_i,j) = 0，从而H'.Θ_i,j= d。因此，在曲面W上，对应于单位元分支的12个纤维分量（记作C₁, ..., C₁₂）是光滑有理曲线，并且它们在H'下的度数为d。这就得到了包含12条d次有理曲线的曲面。为了得到24条，研究人员进一步利用了曲面的对称性。所构造的椭圆曲面具有自同构，例如由x坐标的变换诱导的对合。这个对合将纤维分量相互交换。将这个对合作用到已经得到的12条曲线{C_i}上，就得到了另外12条曲线，记作{C'_i}。可以验证，这总共24条曲线在H'下都是d次的，并且它们是互不相同的。这就完成了在复数域上，对偶数d和充分大h，构造包含24条光滑d次有理曲线的K3曲面的证明。

研究结论与意义

本研究的主要结论体现在定理1.1和推论1.2中。对于偶数d以及满足h ≥ 2d(2d+3)-2的h，在特征不为2,3的代数闭域上，存在度为2h的K3曲面，其恰好包含24条光滑的d次有理曲线。这意味着，当h充分大时，Miyaoka关于K3曲面上给定偶数度光滑有理曲线数量最多为24的上界是尖锐的。特别地，对于圆锥曲线（d=2），只要h > 200，Miyaoka界就可以达到。结合之前关于直线（d=1）和奇数度高次有理曲线（d ≥ 3）的工作，本研究完成了关于高次极化K3曲面上低次有理曲线最大配置数量的完整图景。

这项研究的意义重大。首先，它正面回答了Miyaoka提出的关于其不等式尖锐性的公开问题，至少在偶数度曲线和充分大极化度的情形下给出了肯定的答案。其次，研究揭示了在圆锥曲线配置问题上，与直线情况不同，不存在阻碍达到Miyaoka界的算术障碍，一旦极化度足够高，24条曲线的最大值总是可以实现。这增进了我们对代数曲面上有理曲线分布的理解。最后，研究所使用的构造方法融合了椭圆曲面理论、Mordell-Weil格理论、格理论和模空间理论，展示了这些工具在解决经典枚举几何问题中的强大力量，为后续研究提供了有力的技术范例。论文发表于《Nagoya Mathematical Journal》，是代数几何领域的一项重要进展。