开Calabi-Yau流形的形变族与Stein性边界

从完备度量到开Calabi-Yau流形的形变族

起点是由一个有理椭圆曲面 S 出发，它通过将 CP2 沿位于椭圆曲线 C0 像上的九个点爆破得到，其中 C 是该曲线的严格变换 [1]。Hans-Joachim Hein 已经在拟射影簇 S\C 上构造了完备 Calabi-Yau 度量，因此这些补集是完备开 Calabi-Yau 流形 [1]。Fan Xu 的定理 2.6 将这一点从单个空间提升为一个可紧化的形变族：在适当选择的基 T 上，族 (F-tilde, S-tilde, T, pi-tilde, o, j) 的纤维全都是完备开 Calabi-Yau 流形，而 S-tilde 是一个闭解析子集，其余集在 T 上平坦 [1]。推论 2.7 随后通过选择 T 使得不同参数上的平方零椭圆曲线不同构，从而证明该族是非平凡的，这阻止了相应开纤维之间的代数同构 [1]。

这将该论文置于一个将紧化视为探测开流形复解析性质工具的研究谱系之中。Van Why关于非仿射Stein流形的工作表明，一个Stein流形可以容许一个正规交叉除子紧化，却仍然不双全纯于任何仿射簇，其论证在辛几何框架下使用了接触边界与管道构造[3]。新论文提出了一个相关但不同的问题：当一个可紧化的形变族由有理椭圆曲面构建时，其纤维是否为Stein？对于其所构造的族，论文给出的答案是否定的，而其机制是一个全纯对合，而非辛几何中的增长率障碍[1]。

全纯对合与非Stein性判定

非斯坦性的论证依赖于中心纤维和族上的一个全纯对合。Xu 通过 l([x:y:z]) = [x:-y:x] 在 CP2 上定义了一个对合 l，并安排九个爆破点使得中心点 o = (tau0, q1, ..., q8) 满足 qi = -q_{10-i}（i = 2, ..., 5），其中 q9 = -q1 [1]。在这些条件下，推论 1.2 在形变族 (F-tilde, S-tilde, T, pi-tilde, o, j) 上产生一个全纯对合 [1]。该对合由格 C0(tau) 上的一个对合诱导，并通过 Borcea-Voisin 构造与镜像对称相联系，它还与具有整体截面的有理椭圆曲面上的超曲面对合相关联 [1]。

该对合的存在迫使该族具有两条不同的纤维，无论T如何选取，这两条纤维都彼此代数同构[1]。Xu随后指出，在此情形下S\C不是Stein的，因此所构造的可紧化形变族的所有纤维都不是Stein的[1]。这是一种结构性障碍，而非度量性障碍：它并不依赖于完全Calabi-Yau度量的缺失，因为Hein的度量已经存在于这些补集上[1]。该结果的范围也是刻意限定的。非Stein性结论是针对论文中所构造的所有可紧化形变族而言的，而非针对每一个开Calabi-Yau流形，并且该构造仅限于由有理椭圆曲面构建的特定可紧化族[1]。

Brunella猜想与CP2的九点爆破

论文的第二条线索研究与CP2在九点处爆破所得的拟射影簇S\C，其背景与Marco Brunella的一个猜想[1]相关。Xu对椭圆曲线上九个爆破点的原像之和的取值进行了分类。若该和为0 mod <1, tau>，或具有阶m >= 2，或等于m1 + i m2 mod <1, tau>，其中(m1, m2)为Diophantine数对，则S\C不是Stein的[1]。在同样的情形下，S的反规范线丛容许一个曲率形式为半正的光滑Hermitian度量[1]。该论文还构造了一个一维可紧化形变族(F1-tilde, S4-tilde, Vi, pi-F1-tilde, x_origin, j_origin)，其纤维几乎都不是Stein的，而反规范线丛对几乎所有的纤维都是半正的[1]。

其余情形被列为开放问题。Xu指出，关于反规范线丛在复解析族 (F1-tilde, Vi, pi-F1-tilde) 的每个纤维上是否半正定的问题，与Takayuki Koike的一个猜想有关，且其答案还取决于每个纤维中嵌入椭圆曲线的严格变换的Ueda类型[1]。这是该结果的一个明确边界：非Stein性的判定覆盖了所列的算术情形，但完整的Brunella猜想以及与Koike相关的问题并未由该构造解决[1]。论文自身的表述将这些视为遗留工作，而非主定理的推论[1]。

斯坦因性存续之处：具有nef切丛的典范扩张

本文的最后一条线索构造了一类不同的形变族，其意义取自Elizabeth Gasparim与Francisco Rubilar，其纤维是Stein的[1]。命题4.5表明，若(M, pi_M, B)是一个非平凡复解析族，B是以0为中心的充分小多圆盘，且存在紧含于B中的多圆盘B1使得M_B1 = pi_M^{-1}(B1)为Kähler，则可以在B1上构造紧复流形M的典范扩张W_M的形变族[1]。该构造利用了与Kähler形式相联系的扩张0 -> T*M -> W -> O_M -> 0，并定义W_M = P(W) \ P(T*M)[1]。

推论4.6随后指出，如果(M_B1, pi_M_B1, B1)的每个纤维的切丛都是nef的，则典范扩张形变族的纤维都是Stein的[1]。文中将此呈现为直接follows自所引文献[1]中按所述无条件成立的定理。该论文还指出，Andreas Höring和Thomas Peternell猜想，纤维全部为Stein当且仅当每个纤维的切丛是数值有效的[1]。一个具体的例子是环面的典范扩张的形变族，其中所有纤维根据所引命题都是Stein的[1]。这个Stein纤维族并不是非Stein性结果的反例；它是一个具有不同假设的独立构造，并且它表明该论文的结论取决于所考虑的族[1]。

已有工作奠定了什么，什么仍有待解决

更广泛的形变论背景已经确立。Keller关于形变Calabi-Yau完备化的工作定义并研究了同调光滑dg范畴的形变n-Calabi-Yau完备化，证明了它们具有Calabi-Yau性质，并证明了与导出等价和局部化的相容性[2]。这与Xu的可紧化形变族是不同的形变概念，但它确立了在受控的代数框架下Calabi-Yau性质可以在形变下保持稳定[2]。Wilson关于Calabi-Yau三维簇的有界性结果处理的是一个独立的问题：三次杯积形式和由c2给出的线性形式是否在至多有限个族的意义下决定三维簇，其中对Picard数2的情形证明了有界性，对更高Picard数则仅有部分结果[5]。这些并非Xu构造的直接输入，但它们表明Calabi-Yau对象的模论行为本身是一个活跃且仅被部分解决的领域[5]。

因此，这篇新论文的局限性有两方面。首先，非Stein性的结论是针对论文中所构造的可紧化形变族建立的，而非针对所有开Calabi-Yau流形[1]。其次，与Brunella相关的讨论未涵盖九点之和的算术条件所未覆盖的情形，而与Koike相关的关于每根纤维上反规范线丛半正性的问题仍然依赖于Ueda类型[1]。Stein纤维的构造同样依赖于Kähler假设以及切丛的nef性[1]。这篇论文确实建立的是一个鲜明的对比：在一种构造中，全纯对合迫使整个族具有非Stein性，而在另一种构造中，nef性假设产生Stein纤维[1]。