Effective results on projective normality of the first and second secant varieties

技术摘要：关于第一和第二割线簇射影正规性的有效结果

问题陈述
设 $X$ 是一个 $n$ 维光滑复射影簇，通过非常充分线丛 $L$ 的完全线性系统嵌入到 $\mathbb{P}^r$ 中。第 $k$ 个割线簇 $\Sigma_k(X, L)$ 是 $k+1$ 个点在 $X$ 上的线性扩张之并集的闭包。代数几何中的一个核心问题是确定这些割线簇的几何与上同调性质，特别是它们的奇异性和其定义理想的生成情况。

Chou–Song、Ullery、Ein–Niu–Park 以及 Choi–Lacini–Sheridan–Park 的先前工作表明，对于充分正的线丛，$\Sigma_k$ 具有温和的奇异性（normal Du Bois）并且是射影正规的。然而，这些结果通常是非有效的，或者缺乏对所需正性的显式界限。此外，虽然已知在特定条件下齐次理想 $I(\Sigma_k)$ 由次数为 $k+2$ 的元素生成，但在更高维情况下，关于这种生成的有效准则，特别是关于由 catalecticant 矩阵的 $3 \times 3$ 小子式生成的猜想（Eisenbud–Koh–Stillman 与 Sidman–Smith 猜想），仍有待完全量化。

本文旨在建立关于嵌入线丛 $L$ 的正性的有效界限，以确保：

1. 第一（$\Sigma_1$）和第二（$\Sigma_2$）割线簇具有射影正规性和 normal Du Bois 奇异性。
2. 定义理想 $I(\Sigma_1)$ 由三次项生成。
3. $I(\Sigma_1)$ 由一个线性形式矩阵（即 catalecticant 矩阵）的 $3 \times 3$ 子式生成。

作者假设 $n \ge 2$，因为对于曲线（$n=1$）的尖锐有效结果此前已由 Ein–Niu–Park 和 Agostini–Park 建立。

方法论
证明过程依赖于作者及其合作者先前工作中开发的上同调方法。该策略涉及将割线簇的几何性质归约为**希尔伯特方案（Hilbert schemes）及嵌套希尔伯特方案（nested Hilbert schemes）**上向量丛的上同调消失性。

关键技术组成部分包括：

• 希尔伯特方案： 作者利用了 $k$ 点希尔伯特方案 $X[k]$ 以及嵌套希尔伯特方案 $X[k_1, \dots, k_\ell]$。我们考虑了与线丛 $L$ 相关的平凡丛（tautological bundles）$E_{k,L}$。
• 奇异性分解： $\Sigma_k$ 被视为一个双有理映射 $\alpha_k: B_k \to \Sigma_k$ 的像，其中 $B_k = \mathbb{P}(E_{k+1, L})$ 是 $X[k+1]$ 上的射影丛。$\Sigma_k$ 的奇异性通过该分解的例外除子进行分析。
• 上同调消失性： 论证的核心在于证明特定向量丛在 $X[k]$ 及嵌套方案上的高阶上同调群 $H^i$ 消失。这些上同调消失定理是通过 Kawamata–Viehweg 消失定理 推导出来的。
• 正性条件： 线丛 $L$ 被假定为形式 $L = \omega_X \otimes H^m \otimes B$，其中 $H$ 是非常充分的，$B$ 是 nef 的，$m$ 是一个整数。作者确定了确保必要丛为“nef and big”或满足特定振幅条件（例如 $(k-1)$-very ample）以触发消失所需的最小整数 $m$。
• 方案的奇异性： 一个关键要素是嵌套希尔伯特方案 $X[1,2,3]$ 和 $X[1,2,3,4]$ 具有 Gorenstein canonical 奇异性，这是先前文献 [7], [8] 中确立的结果。这一性质对于应用消失定理以及分析 Du Bois 性质至关重要。

主要贡献与结果

1. 射影正规性与奇异性的有效界限 (Theorem 1.1)
本文建立了一个结论：对于 $n \ge 2$，若 $L = \omega_X \otimes H^m \otimes B$ 且 $m \ge 2n + 2$（针对 $k=1$）或 $m \ge 3n + 3$（针对 $k=2$），则：

• $\Sigma_k$ 具有 normal Du Bois 奇异性。
• $\Sigma_k$ 是 射影正规的。
• 高阶上同调群 $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell))$ 在 $i > 0, \ell > 0$ 时消失。
• $\Sigma_k$ 是 Cohen–Macaulay（或具有 rational singularities）当且仅当 $H^i(X, \mathcal{O}_X) = 0$ 对于 $1 \le i \le n-1$（或 $1 \le i \le n$）。

该结果改进了之前的非有效界限，并证实了对于 $\Sigma_1$ 的射影正规性，$m \ge 2n + 2$ 已经足够。

2. 由三次项生成 (Theorem 1.2)
作者为齐次理想 $I(\Sigma_1)$ 由三次项生成提供了有效条件。

• 结果： 若 $m \ge 3n + 2$，则 $I(\Sigma_1(X, L))$ 由三次项生成。
• 方法： 这是通过证明特定的 Koszul 上同调群 $K_{1,q}(\Sigma_1, \mathcal{O}_{\Sigma_1}(1))$ 对于 $q \ge 3$ 消失来实现的，这可以归约为涉及核丛 $M_{2,L}$ 的外幂在 $X[2]$ 上的上同调消失。

3. 决定式呈现 (Theorem 1.3)
本文使 Agostini–Park 的猜想（即 $I(\Sigma_k)$ 由 catalecticant 矩阵的 $(k+2) \times (k+2)$ 子式生成）对于 $k=1$ 是有效的。

• 结果： 令 $L = L_1 \otimes L_2$，其中 $L_i = \omega_X \otimes H^{m_i} \otimes B_i$。若 $m_1, m_2 \ge 3n + 2$，则 $I(\Sigma_1(X, L))$ 由 catalecticant 矩阵 $Cat(L_1, L_2)$ 的 $3 \times 3$ 子式 生成。
• 方法： 证明过程展示了从全局截面的张量积到理想的 3 次部分之间的线性映射是满射。该满射性被归约为涉及对称幂和外幂的核丛在 $X[2]$ 和 $X[2,3]$ 上的上同调消失。

意义
本文为保证割线簇具有理想几何性质的线丛正性提供了 有效的、定量的阈值。通过从定性的“充分正”陈述转向涉及维度 $n$ 的显式界限，这些结果使得该理论能够应用于具体的计算和特定的簇。

具体而言，本文：

• 精炼了对割线簇奇异性的理解，确认了在显式条件下它们是 Du Bois 的。
• 解决了关于 $n \ge 2$ 时第一割线簇行列式呈现猜想的有效版本，扩展了此前仅已知于曲线或特定嵌入（如 Veronese 嵌入）的情况。
• 通过在希尔伯特方案上建立稳健的上同调框架，统一了射影正规性、理想生成和奇异性分析的研究方法，并利用了嵌套希尔伯特方案的 Gorenstein canonical 特性。

作者指出，其结果与曲线及特定情形的早期发现是一致的，并且推广了这些发现，同时提供了更高维簇在行列式呈现猜想背景下的首个有效界限。