[论文解读] Asymptotic Syzygies in the Setting of Semi-Ample Growth

Juliette Bruce|arXiv (Cornell University)|Apr 9, 2019

Algebraic Geometry and Number Theory参考文献 16被引用 5

一句话总结

本文研究了通过半ample线丛 $\mathcal{O}(d_1,d_2)$ 嵌入的射影空间积 $\mathbb{P}^{n_1} \times \mathbb{P}^{n_2}$ 的结缔关系的渐近行为，推广了 Ein、Erman 和 Lazarsfeld 的单项式方法。在半ample 范畴内，建立了关于分次 Betti 数非零性的显式、非平凡界，揭示了其结构比 ample 情况更细致和复杂，精确条件由单项理想 Hilbert 函数估计导出。

ABSTRACT

We study the asymptotic non-vanishing of syzygies for products of projective spaces. Generalizing the monomial methods of Ein, Erman, and Lazarsfeld \cite{einErmanLazarsfeld16} we give an explicit range in which the graded Betti numbers of $\mathbb{P}^{n_1} imes \mathbb{P}^{n_2}$ embedded by $\mathcal{O}_{\mathbb{P}^{n_1} imes\mathbb{P}^{n_2}}(d_1,d_2)$ are non-zero. These bounds provide the first example of how the asymptotic syzygies of a smooth projective variety whose embedding line bundle grows in a semi-ample fashion behave in nuanced and previously unseen ways.

研究动机与目标

• 在嵌入线丛以非 ample 但半ample 方式增长的渐近结缔关系设置下，启动研究。
• 理解光滑射影代数簇在半ample 范畴内结缔关系的非零性模式与 ample 情况的差异。
• 为 $\mathbb{P}^{n_1} \times \mathbb{P}^{n_2}$ 在 $\mathcal{O}(d_1,d_2)$-嵌入下，提供其分次 Betti 数非零范围的显式、定量界。
• 证明经典非零性定理（如 Ein、Lazarsfeld 等人）在半ample 设置下无法完全捕捉结缔关系行为的全部复杂性。

提出的方法

• 将 Ein、Erman 和 Lazarsfeld 的单项式技术推广至半ample 设置，利用多分次 Koszul 复形分析结缔关系。
• 通过与 $\overline{S}(\mathbf{b};\mathbf{d})$ 中单项式相关的复形中微分映射 $\overline{\partial}_\delta$ 的核与余核构造非平凡结缔关系。
• 利用理想 $\langle x_0,\dots,x_{q-k-1}, y_0,\dots,y_{k-1}\rangle \overline{S}$ 的 Hilbert 函数，估计独立结缔关系的数量。
• 应用引理 8.2，通过楔乘额外单项式递归生成新的非平凡结缔关系，确保其保留在更高微分像之外。
• 运用命题 6.11 确定关键单项式 $f_{q,k,\mathbf{b}}$ 的零化子，确保结缔关系位于 $\overline{\partial}_\delta$ 的核中。
• 利用二项式系数的渐近展开及总次数 $r_{\mathbf{n},\mathbf{d}} = \dim H^0(\mathcal{O}(\mathbf{d}))$ 推导 Betti 数 $\rho_q(\mathbf{n};\mathbf{d})$ 的界。

实验结果

研究问题

• RQ1 当嵌入线丛以半ample 方式增长时，$\mathbb{P}^{n_1} \times \mathbb{P}^{n_2}$ 的渐近结缔关系模式与 ample 情况相比有何不同？
• RQ2 能否通过单项式方法在半ample 设置下建立关于分次 Betti 数非零性的显式、非平凡界？
• RQ3 经典结缔关系非零性定理在多大程度上无法描述半ample 范畴下的真实行为？
• RQ4 多分次单项理想 Hilbert 函数在决定非零结缔关系范围中起什么作用？
• RQ5 二项式系数的渐近行为及总次数 $r_{\mathbf{n},\mathbf{d}}$ 如何影响非零 Betti 数的密度？

主要发现

• 本文给出了 $\mathbb{P}^{n_1} \times \mathbb{P}^{n_2}$ 在 $\mathcal{O}(d_1,d_2)$-嵌入下，其分次 Betti 数非零的精确范围，表达式为 $\delta + t \leq r_{\mathbf{n},\mathbf{d}} - \binom{d_1 + n_1 - (q-k)}{n_1 - (q-k)} \binom{d_2 + n_2 - k}{n_2 - k} - (|\mathbf{n}| + 1)$。
• 在半ample 范畴中，结缔关系的非零性由特定单项理想 Hilbert 函数控制，该函数决定了 Koszul 复形中独立生成元的数量。
• 当 $d_1 > q$ 且 $d_2 > q$ 时，非零 $q$-阶结缔关系的比例满足 $\rho_q(\mathbf{n};\mathbf{d}) \geq 1 - \sum_{i+j=q} \frac{\binom{d_1 + n_1 - i}{n_1 - i}\binom{d_2 + n_2 - j}{n_2 - j} + \binom{d_1 + i}{i}\binom{d_2 + j}{j}}{r_{\mathbf{n},\mathbf{d}}}} - \frac{|\mathbf{n}| - q - 1}{r_{\mathbf{n},\mathbf{d}}}$，且当 $d_1, d_2 \to \infty$ 时，其渐近密度趋近于 1。
• 非平凡结缔关系的构造依赖于特定次数-$\mathbf{d}$ 理想中的单项式 $m_1, \dots, m_\delta$ 和 $n_1, \dots, n_t$，当它们在 $\overline{S}$ 中线性无关时，非零性得以保证。
• 该方法证明：若 $\zeta \in \bigwedge^\delta \overline{S}_{\mathbf{d}} \otimes \overline{S}_{q\mathbf{d} + \mathbf{b}}$ 属于 $\ker \overline{\partial}_\delta$ 且不属于 $\operatorname{im} \overline{\partial}_{\delta+1}$，则其代表一个非平凡结缔关系，该条件通过零化子条件验证。
• 结果表明，半ample 情况下的渐近结缔关系行为比先前假设的更复杂，其非零性模式无法被早期 ample 情况下的定理所捕捉。