量子连接指数如何证明三维簇与四维簇的非有理性？

从一般 Hodge 因子上读取的两个数

被测量的对象不是簇的整个上同调，而是附着于其上的单个微分模。对于光滑复射影簇 X，A 模型 F-丛在 B_X × D 上带有亚纯平坦连接，在 u = 0 处约化得到剩余自同态 K^F。它的广义特征空间把上同调的 Hodge 不变部分分解为一般 Hodge 因子 M_{λ,b}，由 K^F 的特征值 λ 标记。

当 K^F 在相应广义特征空间上的限制只有一个 Jordan 块时，该因子称为循环的。当这样的因子属于非分歧指数型时，它分解为 E^{-λ/u} ⊗ R_{λ,b}，其中 R_{λ,b} 是正则奇异的。两项不变量就是该模的秩 m，以及负留数特征值模 Z 的多重集 F = Exp(R_{λ,b})，按代数重数计。作者明确指出，这些并不是 Hodge 原子的不变量，读者不应把两个概念混为一谈。

有理簇只允许三种指数组合

定理 4.5 就是判据。设 X 是维数 2 ≤ n ≤ 4 的连通光滑复射影簇。假设某个一般 Hodge 因子具有非分歧指数型且留数有理的循环代表，其秩为 m，正则化指数多重集为 F。若 X 有理，则 (m, F) 必为三项之一：秩 1 且 F = {{0}}（点型），秩 2 且 F = {{1/2, 1/2}}（曲线型），或秩 3 且 F = {{0, 0, 0}}（曲面型）。

其逻辑是一份候选清单，而不是对有理簇的分类。定理说明的是维数不超过四的有理 X 被允许产生什么；它并没有说凡产生这些数对的簇都有理。真正承载应用的是逆否命题：某个容许因子的 (m, F) 落在这三行之外，就构成对有理性的阻碍。

在爆破与射影丛下保持不变

只有当不变量在联系双有理等价簇的运算下不变时，判据才有用。作者分两步确立这一点。命题 4.2 表明，如果一般谱覆盖的某个连通分支上存在一个 k-有理循环点，使所选因子在该点属于留数有理的非分歧指数型，那么该分支上每个 k-有理循环点都具有相同性质与相同的指数多重集。

引理 4.3 随后表明，满足这些假设的所选因子可以沿爆破与射影丛比较传递，同时保持其秩、循环性与指数。这些结果依赖于论文中记为定理 A.3 的形式持久性陈述，其证明沿流追踪正则奇异因子，并说明被传输的直和项保持相同的常留数矩阵。由于不变量在这些比较下稳定，与三行候选清单不符的情况无法通过转到所考虑的那类双有理等价模型来消除。

三次三维簇、Gushel–Mukai 三维簇与四次四维簇

第 5 节把判据转化为具体结论。对于三次三维簇，作者重新得到 Clemens–Griffiths 的非有理性定理，并进一步证明对每个光滑三次三维簇 Y，Y × P1 都是非有理的，他们指出这一结论也由 Gong–Xu 建立。对于 Gushel–Mukai 三维簇，Beauville 证明了一般成员的非有理性，Debarre–Mongardi 构造了显式的非有理例子，而这里的判据证明了每个光滑普通 Gushel–Mukai 三维簇及其与 P1 的乘积的非有理性。

对于非常一般的四次四维簇，Totaro 证明了稳定非有理性，本判据重新得到非有理性结论。每个陈述的适用范围都很重要：Gushel–Mukai 的结果是对每个光滑普通成员陈述的，而四次四维簇的结果是对非常一般成员陈述的，并非对每个光滑四次四维簇。作者还指出，他们建立了一个计算许多小量子乘法矩阵的目录以及相应的软件包，并将更新它们以计算许多光滑射影三维簇的指数多重集。

与上 Serre 维数的猜想性联系

论文以一个动机性问题开篇，涉及维数 m 的光滑 Fano 完全交 Y 的剩余范畴 A_Y，其上 Serre 维数为 σ(Y) = m − 2r_Y/d_r，其中 r_Y 是 Fano 指数。该问题问的是：σ(Y) > m − 2，等价于 r_Y < d_r，是否迫使非常一般成员非有理，以及在哪些情形下非有理性对每个光滑成员都成立。

作者并未声称解决了这个问题。他们报告的是在所计算例子中的数值吻合。对于光滑三次三维簇，特征值 0 的模 Z 代表为 s = −5/6 和 −1/6，而 −5/6 等于半正交分解中 Kuznetsov 分支的上 Serre 维数乘以 −1/2。同样的关系在所计算的光滑四次四维簇上也有报告，对 Gushel–Mukai 三维簇则在特征值 6q 处成立，其中 q 是 Novikov 变量，相应的上 Serre 维数在别处计算。作者把 σ(Y) 与指数 F 之间的关系描述为预期，而非已确立。

四维与循环性假设的边界

定理 4.5 是对维数 2 ≤ n ≤ 4 陈述的，因此三行候选清单并未对更高维簇断言。判据还要求一般 Hodge 因子具有非分歧指数型且留数有理的循环代表；不满足循环性或非分歧指数型条件的因子落在定理所述范围之外。引理 4.3 中的持久性论证覆盖爆破与射影丛比较，这正是论文所考虑的那类双有理比较。

阅读应用时还有一个边界值得留意。作者指出，在准备本稿期间他们得知 Andrew Harder、Jiaji Cai 和 Sukjoo Lee 正以类似方法独立处理四次四维簇的例子，并把从量子连接的形式单值群得到阻碍归功于 Cai。因此该判据只是通往部分重叠结论的若干途径之一，并非唯一可用的阻碍。

指数多重集是下一步要计算的对象

论文自身的前瞻性重点是计算。作者指出，该目录与软件包将被更新，以计算许多光滑射影三维簇的指数多重集，从而给出定理 4.5 的更多应用。他们给出一个预期例子：P5 中二次与三次的超曲面光滑完全交，预期可通过定理 4.5 连同该计算被证明非有理，从而为早先的论证提供替代方案。

这一预期是作为预期陈述的，不是已完成的结果，并且依赖于论文尚未报告的计算。因此实际的读法狭窄而具体：对于维数 2 至 4、容许具有留数有理的非分歧指数型循环一般 Hodge 因子的光滑射影簇，计算其秩与正则化指数多重集，把该数对与三行有理情形比较，并把不符视为非有理性证书。最关键的开问题在于，指数多重集能否被足够广泛地计算，从而把同一检验推广到本文所处理的例子之外。

本文引用的文献