[论文解读] Generation and syzygies of the first secant variety

Peter Vermeire|ArXiv.org|Sep 25, 2008

Genetics and Plant Breeding参考文献 50被引用 3

一句话总结

本文通过在希尔伯特簇上使用上同调消去技术，建立了有效正性条件，使得光滑代数曲线的首条弦簇满足 $N_{3,p}$ 性质。对于光滑曲线，证明了当嵌入度数 $d \geq 2g + 3 + p$ 时，$Σ_1$ 满足 $N_{3,p}$，给出了目前已知的最佳有效界，并证实了关于弦簇的正则关系猜想的一部分。

ABSTRACT

Under certain effective positivity conditions, we show that the secant variety to a smooth variety satisfies $N_{3,p}$. For smooth curves, we provide the best possible effective bound on the degree $d$ of the embedding, $d\geq 2g+3+p$.

研究动机与目标

• 建立有效度数界，确保光滑曲线的首条弦簇 $Σ_1$ 满足 $N_{3,p}$ 性质。
• 在嵌入线丛满足正性条件的前提下，将 $N_{3,p}$ 性质推广至高维光滑代数簇。
• 通过希尔伯特簇与向量丛，建立一个上同调框架，以分析弦簇的正则关系。
• 确认并加强关于弦簇正则关系结构的猜想，特别是针对曲线情形。
• 通过 $Σ_1$ 上的消去定理，将弦簇的几何信息与格林-拉扎尔斯菲尔德正则关系理论相连接。

提出的方法

• 使用柯尔祖类型判别法：若对所有 $2 \leq a \leq p+1$ 且 $b \geq 2$，有 $H^1(\Sigma_1, \wedge^a M_L(b)) = 0$，则 $Σ_1$ 满足 $N_{3,p}$，其中 $M_L$ 是 $Ω_{\mathbb{P}^n}(1)$ 沿某映射的拉回。
• 通过双覆盖 $d: Z \to \operatorname{Hilb}^2 X$，将 $Σ_1$ 上的上同调消去问题转化为对爆破空间 $Z = \operatorname{Bl}_\Delta(X \times X)$ 上的上同调分析。
• 应用文献[18, 5.8]中的谱序列，将 $Τ$-消去与正则关系生成联系，将问题约化为在 $Z$ 上的消去问题。
• 利用同构关系 $H^i(Z, \wedge^{a-1+i} d^* M_L \otimes L \boxtimes L \otimes \mathcal{O}(-E_\Delta)) \cong H^i(X, N^*_{X/\mathbb{P}^n} \otimes \wedge^{a-1+i} M_L \otimes L^2)$，其中 $i=1,2$。
• 通过伴随线丛的正性与 $L$ 的充分正性，证明 $H^i(X, N^*_{X/\mathbb{P}^n} \otimes \wedge^{a-1+i} M_L \otimes L^2)$ 的消去性。
• 利用 $Ω^a M_L \otimes N^*(2)$ 是 $M_L$ 的张量幂的直和项这一事实，结合大且基线性条件下的科达伊型消去定理。

实验结果

研究问题

• RQ1 对于由线丛嵌入的光滑曲线，其首条弦簇满足 $N_{3,p}$ 的最优有效度数界是什么？
• RQ2 在何种线丛 $L$ 的正性条件下，光滑代数簇的首条弦簇 $Σ_1$ 满足 $N_{3,p}$？
• RQ3 能否利用希尔伯特簇 $Σ_1$ 上的上同调消去性来推导弦簇的正则关系性质？
• RQ4 在伴随线丛系统下，$Σ_1$ 的正则关系与原代数簇 $X$ 的正则关系有何关联？
• RQ5 关于 $Σ_1$ 的猜想 $N_{3,p}$ 性质是否最优？能否将其推广至高维代数簇？

主要发现

• 对于由度数 $d \geq 2g + 3 + p$ 的线丛嵌入的亏格为 $g$ 的光滑曲线 $C$，其首条弦簇 $Σ_1$ 满足 $N_{3,p}$。
• 该界 $d \geq 2g + 3 + p$ 是最优且有效的，优于以往结果中所需的 $d \geq 4g + 2k + 3$ 的条件。
• 对于任意光滑代数簇 $X$，若其由足够正的线丛 $L = M^k$（$k \gg 0$）嵌入，则其首条弦簇 $Σ_1$ 满足 $N_{3,p}$。
• 当 $X$ 不同于 $\mathbb{P}^d$，且 $L = K_X \otimes M^{(p+2)d+1}$，其中 $K_X \otimes M$ 为充分正线丛时，$Σ_1$ 满足 $N_{3,p}$，从而通过伴随系统提供了有效构造。
• 上同调判别法 $H^1(\Sigma_1, \wedge^a M_L(b)) = 0$（$2 \leq a \leq p+1$，$b \geq 2$）是 $Σ_1$ 满足 $N_{3,p}$ 的充分条件，且该条件可通过希尔伯特簇约化为在 $X$ 上的消去性。
• 本文证实了猜想 1.1(3) 在 $k=1$ 时成立，即在曲线的度数界下 $Σ_1$ 满足 $N_{3,p}$。