从Clemens的非常一般曲面到一般情形
Clemens 的基础定理指出，若 d ≥ 2n−1，则 P^n 中次数为 d 的非常一般超曲面 X 不包含有理曲线；若 d ≥ 2n，则不包含椭圆曲线；对于 n=3，这意味着当 d ≥ 5 时不含有理曲线，当 d ≥ 6 时不含椭圆曲线 [1]。Xu 后来将 P^3 中非常一般曲面的椭圆曲线界限改进为 d ≥ 5 [1]。这些结果属于形变理论范畴：它们分析超曲面中曲线的法丛，且仅在参数空间的真 Zariski 闭子集的可数并之外成立 [1]。
“非常一般”与“一般”之间的差别并非表面文章。非常一般的陈述说的是坏轨迹是可数个真闭集的并，而这些真闭集未必包含于单个真闭集之中；一般的陈述则要求存在一个非空的Zariski开参数集，使得该性质在其中成立[1]。Demailly和El Goul明确提出了如下挑战：当次数至少为21时，将P^3中曲面的双曲性从非常一般加强到一般[1]。Xie和Zhao在次数为18时对此给出了肯定回答[1]。
为什么是18次，以及新证明究竟改变了什么
在这项工作之前，一般情形下的不存在性结果仅在远高的次数上已知：一般曲面的记录界为 deg X ≥ 286，由 Demailly 定理与 Riedl–Yang 的工作结合得到 [1]。在非常一般的情形下，McQuillan 已建立 d ≥ 36，Demailly–El Goul 将其改进为 d ≥ 21，而 Păun 达到了 d ≥ 18，但所有这些都依赖于 Clemens 定理，因而仅在非常一般假设下成立 [1]。Xie 和 Zhao 的定理 C 指出，次数至少为 18 的一般曲面 X ⊂ P^3 不包含有理曲线或椭圆曲线，在这一范围内将 Clemens 的经典结果从非常一般强化为一般 [1]。
数字18来源于不变2-射流微分的存在性。Demailly–El Goul对d ≥ 21构造了它们，Păun则对d ≥ 18构造了它们[1]。Hou–Huynh–Merker–Xie和Cui–Hou–Liu–Xie发展了计算机辅助方法，验证了定理B的假设对deg X ≥ 16成立，并且利用他们的预印本可将界18替换为16[1]。作者指出，2-射流方法在次数15处有一个自然极限[1]，而Hou–Huynh–Merker–Xie将d = 15描述为2-射流技术在二维Kobayashi猜想方面所能达到的公认极限[9]。
两个独立的2-射流微分与多重叶状结构机制
证明策略是利用不变射流微分[1]，在曲面的万有族上构造一个相对扭曲对称微分形式。对于一般参数，该扭曲对称微分形式的特征方向构成一个多重叶层结构；在射影化切丛上，扭曲对称微分定义了一个除子，沿该除子多重叶层结构成为真正的叶层结构[1]。由构造可知，曲面上的有理曲线和椭圆曲线提升为与该诱导叶层族相切的曲线[1]。随后，Xie和Zhao通过给出不变曲线次数的一致上界，解决了这些叶层结构的Poincaré问题，而借助Hilbert格式的经典论证将这种次数上界转化为所需的Zariski开条件[1]。
Poincaré 问题由 Poincaré 提出，它问的是：一个含两个变量的代数微分方程是否容许一个有理首次积分；并且 Poincaré 指出，决定性的一步将是用微分方程自身的次数来界定可能代数解的次数 [1]。Lins Neto 表明，在完全一般的情形下并不存在这样的界，他构造了 P^2 上的一些叶状结构族，其中代数可积的成员容许次数无界的有理首次积分 [1]。尽管如此，在附加几何信息的情况下，Poincaré 问题往往可以得到回答，而 Xie 和 Zhao 表明，Lu–Miyaoka 的结果在他们对双曲性的研究中出现的 general type 曲面上的叶状结构情形解决了该问题 [1]。
这与射流微分及斜向量场方法的契合之处
更广泛的射流微分纲领有着悠久的传承。Demailly 利用有向簇与射流半稳定性，证明了 P^{n+1} 中维数为 n、次数至少为 2n+2 的非常一般超曲面的 Kobayashi 猜想 [2]。Diverio、Merker 和 Rousseau 利用不变射流微分与斜向量场，对任意维数 n ≥ 2 中次数 d ≥ 2^{n^5} 的一般超曲面建立了有效代数退化 [7]。Darondeau 遵循 Diverio–Merker–Rousseau 策略在对数情形下的推广，将代数退化推广到次数 d ≥ (5n)^2 n^n 的光滑射影超曲面的补集 [3]。El Goul 利用对数射流丛以及 McQuillan 叶层化结果的对数类比，证明了 P^2 中次数至少为 15 的非常一般曲线的补集是 Kobayashi 双曲的 [5]。
Xie和Zhao的贡献并非一个新的射流微分存在性定理，而是一种将“非常一般”的陈述提升为“一般”陈述的机制。他们的定理B是一个一般性判据：给定一个光滑射影态射，其纤维为一般型曲面，若某个非常一般的纤维不包含有理曲线或椭圆曲线，且存在一个非零的相对扭曲对称微分，其限制在所有整曲线上为零，则参数空间中存在一个非空的Zariski开子集，在其中不存在有理曲线或椭圆曲线[1]。这一步正是将Păun的非常一般d ≥ 18结果转化为一般d ≥ 18结果的关键[1]。该方法同样适用于平面曲线的补集：定理E证明了当d1, d2 ≥ 3，或d1 = 2, d2 ≥ 5，或d1 = 1, d2 ≥ 8时，存在一个Zariski开子集，其中边界上的每条有理曲线与另一分支至少交于三点[1]。定理F随后给出了P^2减去两条一般三次曲线的Kobayashi双曲性和双曲嵌入[1]。
该结果未涵盖的内容及尚待解决的问题
这些结论是有界限的。定理A涵盖P^3中次数至少为18的一般曲面，定理F在定理E的次数假设下涵盖P^2中两条一般三次曲线的补集[1]。作者明确指出，利用Hou–Huynh–Merker–Xie和Cui–Hou–Liu–Xie的预印本，界限18可以被替换为16，并且2-射流方法在次数15处似乎存在自然极限[1]。Hou–Huynh–Merker–Xie将紧致情形下的d = 15和对数情形下的d = 11描述为2-射流技术在两维Kobayashi猜想方面所能达到的极限，并且他们已将已知界限分别改进至d = 17和d = 12、13 [9]。Cui–Hou–Liu–Xie旨在证明P^3中非常一般曲面的d ≥ 15以及一般平面曲线补集的d ≥ 11，并已证明d ≥ 16作为具体进展[10]。
对于两条平面曲线的补集，Hou–Wang–Xie 证明了一个有效第二主定理，适用于一般有序对，只要 d1, d2 ≥ 3，或 d1 = 2, d2 ≥ 5，或 d1 = 1, d2 ≥ 8，并给出了显式常数 A_{3,3} = 57、A_{2,5} = 45 和 A_{1,8} = 69 [4]。他们指出，对 (1,7) 是二射流架构的形式 Riemann–Roch 端点，但 A(1,7) 仅为勉强为正，列表中包含 178 个极小情形，且未对 (1,7) 作出任何断言 [4]。未解决的直线—七次曲线情形被明确列为开放问题 [4]。Brotbek 关于一般超曲面双曲性的工作采用了不同的方法，其基础是为 Fermat 型超曲面的适当形变建立一种在 Zariski 拓扑下开放的更强性质 [6]，而 Diverio 的讲义强调，射流微分不足以在完全一般的情形下获得射影流形双曲性的结果，即使在特殊情形中已经取得了引人注目的成果 [8]。
关于这些来源
本研究页面基于10项研究（1篇同行评审，9篇预印本）——发表于2022年至2026年，其中6项来自2024年或之后——这些研究是从通过质量筛选的13项研究中选出的最相关研究，而这些研究又从超过5亿篇文献的数据库中检索到的106篇论文中筛选而来。
本文引用的文献
通过庞加莱问题研究一般曲面的小林双曲性
Xie和Zhao证明了P^3中次数至少为18的一般曲面不包含有理曲线或椭圆曲线，并且是Kobayashi双曲的，他们通过2-射流微分和Poincaré型界将Clemens的非常一般结果提升为Zariski开条件，并且还证明了P^2中两条一般三次曲线补集的双曲嵌入。
非常一般超曲面的双曲性Kobayashi猜想的证明
Demailly证明了P^{n+1}中维数为n且次数至少为2n+2的非常一般代数超曲面的Kobayashi猜想，使用了有向簇以及切丛的射流半稳定性性质。
光滑射影超曲面补集中整曲线的有效代数退化
Darondeau在对数设定下遵循Diverio–Merker–Rousseau策略，为次数d ≥ (5n)^2 n^n的一般光滑射影超曲面的补集中的整曲线建立了有效代数退化性。
两条平面曲线补集的不变二射流与有效双曲性
Hou、Wang和Xie证明了关于两条平面曲线补集的一个有效第二主定理，适用范围为d1, d2 ≥ 3，或d1 = 2, d2 ≥ 5，或d1 = 1, d2 ≥ 8，并给出了显式常数，同时指出直线—七次曲线情形(1,7)仍未解决。
对数射流与双曲性
El Goul证明了P^2中次数至少为15的非常一般曲线的补集是Kobayashi双曲的，他使用了对数射流丛和McQuillan叶状结构结果的对数类似物。
D. Brotbek——论一般超曲面的双曲性
Brotbek给出了Kobayashi猜想对于一般超曲面的一个证明，其基础是为Fermat型超曲面的适当形变建立了一个在Zariski拓扑下开的更强性质。
有效代数退化
Diverio、Merker和Rousseau利用不变射流微分和斜向量场，证明了任意维数n ≥ 2中次数d ≥ 2^{n^5}的一般射影超曲面的有效代数退化性。
S. Diverio - 复射影流形与叶状结构的Kobayashi双曲性（第一部分）
Diverio的讲义考察了小林双曲性与全纯叶状结构之间的联系，强调仅靠射流微分不足以在完全一般的情形下获得关于射影流形双曲性的结果。
曲面与曲线补的双曲性度数界的改进
Hou、Huynh、Merker和Xie证明了P^3中次数至少为17的非常一般的曲面是Kobayashi双曲的，并且P^2中次数至少为12的一般曲线的补集是Kobayashi双曲的，并确定了d = 15和d = 11为2-射流技术的极限。
一种用于关键消失引理的对称性方法及双曲性的最优2-射流阈值
Cui、Hou、Liu 和 Xie 发展了一种基于对称性的方法来处理关键消没引理，并证明了 P^3 中次数至少为 16 的非常一般的曲面是 Kobayashi 双曲的，其目标是达到 d ≥ 15 和 d ≥ 11。