Jacobian algebras and variation of hyperplane sections

技术摘要：雅可比代数与超平面截面的变分

问题陈述
本文研究了度数 $d \geq 3$ 的超曲面 $X = V(f) \subseteq \mathbb{P}^n$（假设 $X$ 至多具有孤立奇异性）的超平面截面在模空间中的变分。具体而言，作者探讨了问题 1.1：确定关于 $f$ 的代数与几何条件，使得有理映射
$$\Phi(f) : \mathbb{P}^{n*} \dashrightarrow M(d, n-1)$$
是向其像的生成有限映射（generically finite）。这里，$M(d, n-1)$ 表示 $\mathbb{P}^{n-1}$ 中光滑度数为 $d$ 的超曲面的粗模空间。该映射将一个一般超平面 $H$ 映射到截面 $X \cap H$ 的模类。问题在于识别何时这些截面的族实现最大变分，即 $\dim \text{Im } \Phi(f) = n$。

方法论
作者采用了雅可比代数与无穷小方法，这与 Patel–Riedl–Tseng 近期工作中使用的几何向量丛方法形成对比。核心策略包括：

1. 无穷小商（Infinitesimal Quotients）： 作者并未分析 $\Phi(f)$ 的全局纤维，而是计算了超平面自身无穷小坐标变换下的一阶变分。
2. Milnor 代数： 他们利用了 Milnor 代数 $M(f) = S/J_f$，其中 $J_f$ 是由 $f$ 的偏导数生成的 Jacobian 理想。$f$ 在模去线性坐标变换后的一阶变形空间被识别为 $M(f)_d$。
3. 局部切片论证（Local Slice Argument）： 为了从无穷小商映射的单射性过渡到粗模空间中像的维数，作者使用了 Luna 的 étale 切片定理。这证明了如果无穷小商映射在一般点是单射的，那么映射 $\Phi(f)$ 就是生成有限的。
4. 微分计算： 通过选择坐标使得一般超平面为 $H = V(x_0)$，他们导出了一个显式线性映射：
   $$\psi(f, x_0) : \mathbb{C}^n \to R_d / (J_f)_d$$
   定义为 $(b_1, \dots, b_n) \mapsto [(b_1 x_1 + \dots + b_n x_n)f_0]$，其中 $f_0 = \partial f / \partial x_0$。该映射的单射性决定了最大变分。

主要贡献与结果

1. 识别障碍（Obstructions）：
   本文确立了 $\Phi(f)$ 无法实现生成有限性的两个代数障碍（命题 3.1）：

   • 自同构障碍： 存在线性 Jacobian 协同关系（即 $e = \text{indeg}(\text{Syz}(J_f)) = 1$）。对于非锥体（non-cones），这等价于存在正维度的射影自同构群 $\text{Aut}_{\mathbb{P}^n}(X)$。
   • Lefschetz 障碍： 一般线性形式的乘法映射在临界次数下不是单射：
     $$\ell : M(f)_{d-1} \to M(f)_d$$
     主要准则（定理 3.3）指出，如果 $\dim \text{Aut}_{\mathbb{P}^n}(X) = 0$ 且映射 $\ell$ 是单射，则 $\Phi(f)$ 是生成有限的。

2. 向奇异超曲面的扩展：
   这项工作将 Beauville–Patel–Riedl–Tseng 理论从光滑超曲面扩展到了具有孤立奇异性的超曲面。在光滑情形下，自同构障碍消失，结果仅依赖于弱 Lefschetz 性质（WLP）。

3. 特定维度的结果：

   • 光滑情形： 对于满足 $n \geq 3$ 且 $d \geq n+2$ 的光滑超曲面，该映射是生成有限的（推论 3.4）。通过利用完全交集的 WLP 结果，这比先前文献中的范围 $d \geq n+3$ 提高了一个度数。
   • 平面曲线 ($n=2$)： 作者提供了完整的分类（定理 4.2）。对于 $d \geq 5$，生成有限性成立当且仅当 $\dim \text{Aut}_{\mathbb{P}^2}(C) = 0$。对于 $d=3$，该映射是常数映射；对于 $d=4$，它具有极大秩但不是生成有限的。
   • $\mathbb{P}^3$ 中的曲面 ($n=3$)： 对于光滑曲面，三次曲面 ($d=3$) 具有极大秩但不是生成有限的。对于 $d \geq 4$，该映射是生成有限的（定理 5.2）。

4. 奇异超平面截面准则：
   一项新颖的贡献是定理 6.2，它允许通过一个奇异超平面截面 $W = X \cap H'$ 来验证 Lefetch 條件。如果 $W$ 关于其协同关系（syzygies）具有特定性质（$r(g) > 1$）且饱和度（saturation）满足 $s(g) > 1$，则 $X$ 的 Lefetch 映射是单射的。这引出了涉及节点截面（例如具有 $n$ 个处于一般线性位置的节点的截面）的准则（推论 6.4 和 6.5）。

5. 对 Schoen 五次超曲面的应用：
   本文将奇异截面准则应用于 Schoen 五次三维超曲面 ($d=5, n=4$)。通过分析一个具有唯一奇异性的特定超平面截面，他们验证了条件，并得出结论：Schoen 五次超曲面的超平面截面在模空间中是生成有限变化的（例 6.8）。

意义
本文声称提供了一个研究超平面截面变分的统一雅可比代数框架。其意义在于：

• 泛化： 通过明确识别新的障碍（线性 Jacobian 协同关系/自同构），成功地将已知于光滑超曲面的结果扩展到了奇异情形。
• 精细化： 改进了光滑情形下生成有限性的已知数值界限（例如 $d \geq n+2$ 而非 $d \geq n+3$）。
• 新工具： 引入了一种通过奇异截面验证 Lefetch 性质的方法，这对于那些直接分析一般截面较为困难、或者已知存在奇异截面的超曲面（如 Schoen 五次超曲面）特别有用。
• 联系： 将最大变分的几何失效与同调性质（Bourbaki 度数、协同关系）以及自同构群联系起来。

作者指出，他们的方法通过提供可经由 Milnor 代数和协同关系模进行计算的显式代数准则，补充了 Patel–Riedl–Tseng 的全局几何方法。