[论文解读] On Syzygies of ruled varieties over a curve

Euisung Park|arXiv (Cornell University)|Jan 5, 2004

Commutative Algebra and Its Applications参考文献 2被引用 1

一句话总结

本文研究了在光滑射影曲线 $C$ 上的规则簇 $X = \mathbb{P}_C(\mathcal{E})$ 的结式关系，基于纤维的 Veronese 嵌入，建立了线丛 $aH + \pi^*B$ 满足 Property $N_p$ 的条件。证明了若第 $n$ 个 Veronese 嵌入满足 $N_p$，则当 $B$ 足够正时，$X$ 也满足 $N_p$，并在 $\operatorname{rank}(\mathcal{E}) \geq g$ 且 $\mu^-(\mathcal{E})$ 为整数时，证实了 Mukai 的猜想，并通过显式构造展示了所有 $p \geq 0$ 的最优界限。

ABSTRACT

For a vector bundle $\mathcal{E}$ of rank $n+1$ over a smooth projective curve $C$ of genus $g$, let $X=¶_C (\mathcal{E})$ with projection map $\pi:X o C$. In this paper we investigate the minimal free resolution of homogeneous coordinate rings of $X$. We first clarify the relations between higher syzygies of very ample line bundles on $X$ and higher syzygies of Veronese embedding of fibres of $\pi$ by the same line bundle. More precisely, letting $H = \mathcal{O}_{¶_C (\mathcal{E})} (1)$ be the tautological line bundle, we prove that if $(¶^n,\mathcal{O}_{¶^n} (a))$ satisfies Property $N_p$, then $(X,aH+\pi^*B)$ satisfies Property $N_p$ for all $B \in {Pic}C$ having sufficiently large degree(Theorem ef{thm:positive}). And also the effective bound of ${deg}(B)$ for Property $N_p$ is obtained(Theorem ef{thm:1}, ef{thm:2}, ef{thm:3} and ef{thm:4}). For the converse, we get some partial answer(Corollary ef{cor:negative}). Secondly, by using these results we prove some Mukai-type statements. In particular, Mukai's conjecture is true for $X$ when ${rank}(\mathcal{E}) \geq g$ and $\mu^- (\mathcal{E})$ is an integer(Corollary ef{cor:Mukai}). Finally for all $n$, we construct an $n$-dimensional ruled variety $X$ and an ample line bundle $A \in {Pic}X$ which shows that the condition of Mukai's conjecture is optimal for every $p \geq 0$.

研究动机与目标

• 阐明规则簇上非常 ample 线丛的高阶结式关系与其纤维的 Veronese 嵌入之间的关系。
• 确定线丛 $B \in \operatorname{Pic} C$ 的有效次数界限，使得 $aH + \pi^*B$ 满足 Property $N_p$。
• 为主要正性结果提供部分逆命题，识别该逆方向的限制。
• 为规则簇证明 Mukai 型命题，特别是验证在指定秩与斜率条件下的 Mukai 猜想。
• 构造 $n$-维规则簇，其上存在 ample 线丛，表明 Mukai 猜想中的条件对所有 $p \geq 0$ 均为最优。

提出的方法

• 使用典范线丛 $H = \mathcal{O}_{\mathbb{P}_C(\mathcal{E})}(1)$ 定义 $X$ 在射影空间中的嵌入。
• 通过 $X$ 的齐次坐标环的最小自由解析，分析结式关系，将其与纤维上的 Veronese 嵌入联系起来。
• 应用 Property $N_p$ 理论，比较总空间 $X$ 与其纤维之间的结式行为。
• 基于 $\mathbb{P}^n$ 的 Veronese 嵌入行为，建立 $B \in \operatorname{Pic} C$ 的有效次数界限，使得 $aH + \pi^*B$ 满足 $N_p$。
• 利用斜率不变量 $\mu^-(\mathcal{E})$ 确定 Mukai 猜想在 $X$ 上成立的条件，特别是当 $\mu^-(\mathcal{E})$ 为整数时。
• 通过显式构造 $n$-维规则簇与 ample 线丛，证明所有 $p \geq 0$ 下猜想条件的紧致性。

实验结果

研究问题

• RQ1 在什么条件下，线丛 $B \in \operatorname{Pic} C$ 使得 $aH + \pi^*B$ 满足 Property $N_p$？
• RQ2 规则簇 $X = \mathbb{P}_C(\mathcal{E})$ 的结式关系与其纤维的 Veronese 嵌入的结式关系有何关联？
• RQ3 主要正性结果在多大程度上可以逆推？其逆方向存在哪些限制？
• RQ4 当 $\operatorname{rank}(\mathcal{E}) \geq g$ 且 $\mu^-(\mathcal{E})$ 为整数时，Mukai 猜想是否对规则簇 $X = \mathbb{P}_C(\mathcal{E})$ 成立？
• RQ5 Mukai 猜想中的条件对所有 $p \geq 0$ 是否最优？能否通过显式构造加以证明？

主要发现

• 若 $\mathbb{P}^n$ 的第 $n$ 个 Veronese 嵌入满足 Property $N_p$，则对所有 $B \in \operatorname{Pic} C$ 满足足够大次数时，$aH + \pi^*B$ 均满足 $N_p$。
• 定理 \ref{thm:1}、\ref{thm:2}、\ref{thm:3} 和 \ref{thm:4} 显式计算了使 $aH + \pi^*B$ 满足 $N_p$ 的 $B$ 的有效次数界限。
• 建立了主要正性结果的部分逆命题，表明从纤维到总空间提升 $N_p$ 性质存在限制。
• 当 $\operatorname{rank}(\mathcal{E}) \geq g$ 且 $\mu^-(\mathcal{E})$ 为整数时，Mukai 猜想在 $X = \mathbb{P}_C(\mathcal{E})$ 上得到证实。
• 对每个 $n$ 和所有 $p \geq 0$，构造了 $n$-维规则簇 $X$ 与 $\operatorname{Pic} X$ 中的 ample 线丛 $A$，使得 $A$ 满足 Mukai 猜想的条件，但若条件放宽则不满足 $N_p$，从而证明了条件的最优性。