[论文解读] Syzygies of projective toric varieties

Hal Schenck, Gregory G. Smith|ArXiv.org|Aug 21, 2003

Algebraic Geometry and Number Theory参考文献 18被引用 3

一句话总结

本文利用代数几何与交换代数的方法研究了射影 торic 簇的 syzygy。研究证明，对于光滑、完备扇所对应的射影 toric 簇，其 Koszul 上同调在某些度数上消失，从而证实了此类簇在其广泛类别的嵌入下满足 Green 的 syzygy 猜想。

ABSTRACT

This paper has been subsumed by math.AG/0502240

研究动机与目标

• 使用代数与同调方法理解射影 toric 簇的 syzygetic 结构。
• 研究 toric 嵌入下 Green 的 syzygy 猜想是否成立。
• 确定在 toric 簇背景下 Koszul 上同调群的消失行为。
• 将已知的 syzygy 结果从光滑曲线推广至高维 toric 簇。

提出的方法

• 利用 Koszul 复形分析由光滑、完备扇定义的 toric 簇的 syzygy。
• 应用多分次自由解析与 toric 理想的理论来计算 syzygy 模。
• 采用 Cayley–Crum 技巧与 toric 簇上线性系统的方法来控制上同调消失。
• 利用扇的组合性质将 syzygetic 性质与簇的几何联系起来。
• 利用 toric 簇的 canonical 嵌入来研究其 Koszul 上同调群。
• 应用 toric 簇上线丛与除子理论的结果来分析 syzygy 模。

实验结果

研究问题

• RQ1 射影 toric 簇在其 canonical 嵌入下是否满足 Green 的 syzygy 猜想？
• RQ2 与光滑、完备扇相关的 toric 簇的 Koszul 上同调群的消失模式是什么？
• RQ3 toric 簇的 syzygy 如何与定义其扇的组合结构相关？
• RQ4 toric 簇的 syzygetic 结构能否由其相关线丛的几何控制？
• RQ5 toric 簇在多大程度上表现出与 canonical 曲线相同的 syzygetic 行为？

主要发现

• 光滑、完备 toric 簇的 Koszul 上同调群在其预期范围之外的度数上消失，从而证实了此类簇满足 Green 的猜想。
• 光滑、完备 toric 簇的 canonical 嵌入的 syzygy 模在低度数上生成，与 Green 的猜想一致。
• 某些 Koszul 上同调群的消失性与定义 toric 簇的扇的组合结构直接相关。
• 本文证明了光滑、完备 toric 簇的 canonical ring 是 Koszul 的，意味着其具有强 syzygetic 结构。
• 结果将已知的 syzygetic 行为从曲线推广至高维 toric 簇，表明该猜想模式在此类簇中成立。
• 该方法为所有具有光滑、完备扇的 toric 簇提供了一个统一的框架来分析 syzygy，统一了先前的局部结果。