[论文解读] Betti Numbers of Syzygies and Cohomology of Coherent Sheaves

David Eisenbud, Frank–Olaf Schreyer|arXiv (Cornell University)|Feb 17, 2011

Commutative Algebra and Its Applications参考文献 16被引用 18

一句话总结

本文提供了博伊尔-索德伯格猜想的简化证明，通过纯分解刻画了多项式环上有限生成分次模的Betti表所生成的有理锥。研究证明，射影空间上凝聚层的Betti表与上同调表完全由对应于非奇异丛的极射线所描述，从而证明了倍数猜想，并深化了对syzygy不变量的理解。

ABSTRACT

The Betti numbers of a graded module over the polynomial ring form a table of numerical invariants that refines the Hilbert polynomial. A sequence of papers sparked by conjectures of Boij and Söderberg have led to the characterization of the possible Betti tables up to rational multiples---that is, to the rational cone generated by the Betti tables. We will summarize this work by describing the cone and the closely related cone of cohomology tables of vector bundles on projective space, and we will give new, simpler proofs of some of the main results. We also explain some of the applications of the theory, including the one that originally motivated the conjectures of Boij and Söderberg, a proof of the Multiplicity Conjecture of Herzog, Huneke and Srinivasan.

研究动机与目标

• 为分次模的Betti表Boij-Söderberg锥的主要结果提供新的、简化的证明。
• 阐明模的Betti表与射影空间上凝聚层的上同调表之间的对偶性。
• 证明纯分解的存在性，并刻画Betti表锥的极射线。
• 将该理论应用于证明赫尔茨格、休内克与斯里尼瓦桑的倍数猜想。
• 将框架推广至任意凝聚层，并探讨其对Ulrich层与代数簇的含义。

提出的方法

• 作者利用模的Betti表与射影空间上凝聚层的上同调表之间的对偶性，将Boij-Söderberg锥的结构与上同调表的极射线联系起来。
• 他们将上同调表锥的极射线识别为对应于非奇异向量丛，这些丛通过显式构造得以证明存在。
• 证明依赖于Hilbert级数的分析，并将其与纯分解的归一化Betti表进行比较，以建立刻画锥的不等式。
• 作者采用凸几何方法，将Betti表的有理锥描述为纯分解表的凸包（允许有理数缩放）。
• 他们利用任意凝聚层的上同调表可表示为非负系数的非奇异层表的无穷收敛和这一事实。
• 该理论被推广至射影代数簇上的任意模与凝聚层，通过Ulrich层的存在性刻画了该锥与射影空间锥重合的条件。

实验结果

研究问题

• RQ1 由多项式环上有限生成分次模的Betti表所生成的有理锥的完整结构是什么？
• RQ2 Betti表锥的极射线如何与射影空间上向量丛的上同调表相关联？
• RQ3 能否通过Betti表的Boij-Söderberg分解证明倍数猜想？
• RQ4 在何种条件下，代数簇X上凝聚层的Boij-Söderberg锥与射影空间的锥重合？
• RQ5 Ulrich层在确定射影代数簇的上同调表锥中起什么作用？

主要发现

• Boij-Söderberg Betti表锥被完全刻画为纯分解Betti表所张成的有理凸锥（允许有理数缩放）。
• Betti表锥的极射线对应于Cohen-Macaulay模，且每个syzygy层级的所有Betti数均集中于单一程度。
• 倍数猜想已得证：分次模的倍数被上界控制为 β₀₀(M) · (b₁⋯bₛ)/s!，且当且仅当模为Cohen-Macaulay且具有纯分解时取等。
• 对任意ℙⁿ上的凝聚层，其上同调表可表示为非负系数的非奇异层表的无穷收敛和。
• 代数簇X上凝聚层的上同调表锥同构于ℙᵈ的上同调表锥，当且仅当X存在Ulrich层。
• 对于具有有界度序列的Cohen-Macaulay模，实际Betti表的幺半群是有限生成的，但其结构依赖于基域的特征。