[论文解读] Betti Numbers of Graded Modules and Cohomology of Vector Bundles

David Eisenbud, Frank–Olaf Schreyer|ArXiv.org|Dec 11, 2007

Commutative Algebra and Its Applications参考文献 12被引用 4

一句话总结

本文證明了博伊爾-索德貝格猜想的加強形式，顯示多項式環上所有有限生成階化模的貝蒂表都是科恩-麥考利模的純解析純量表的正有理線性組合。此外，本文確立了射影空間上向量叢的上同調表是超自然向量叢上同調表的正有理組合，進而導出向量叢斜率的新界，並證明了休內克-斯里尼瓦桑的多重性猜想。

ABSTRACT

Mats Boij and Jonas Soederberg (math.AC/0611081) have conjectured that the Betti table of a Cohen-Macaulay module over a polynomial ring can be decomposed in a certain way as a positive linear combination of Betti tables of modules with pure resolutions. We prove, over any field, a strengthened form of their conjecture. Applications include a proof of the Multiplicity Conjecture of Huneke and Srinivasan and a proof of the convexity of a fan naturally associated to the Young lattice. We also characterize the rational cone of all cohomology tables of vector bundles on projective spaces in terms of the cohomology tables of "supernatural" bundles. This characterization is dual, in a certain sense, to our characterization of Betti tables.

研究动机与目标

• 以極端對象表徵科恩-麥考利模的貝蒂表與射影空間上向量叢的上同調表。
• 利用貝蒂表的結構證明休恩克-斯里尼瓦桑的多重性猜想。
• 確立向量叢的上同調表是有超自然向量叢上同調表的有理組合。
• 透過純解析與超自然叢定義貝蒂表與上同調表有理錐的支撐超平面。
• 從上同調資料推導向量叢斜率的新界。

提出的方法

• 使用赫茲戈-克爾方程表徵具有給定度序列的純解析純量表的貝蒂表。
• 應用超自然向量叢理論，將上同調表分解為極端表的有理組合。
• 透過純自由解析構造泛函，定義貝蒂表錐的支撐超平面。
• 運用幕陣與上同調消去性質，驗證泛函在超自然叢上的正性與消去性。
• 使用歸納法與超平面限制，分析向量叢的希爾伯特多項式與斜率不變量。
• 利用根序列與度序列的結構，定義貝蒂表與上同調表有理錐中的極端射線。

实验结果

研究问题

• RQ1 每個有限生成階化模的貝蒂表是否都能表示為科恩-麥考利模的純解析貝蒂表的正有理線性組合？
• RQ2 射影空間上所有向量叢的上同調表是否都是超自然向量叢上同調表的有理組合？
• RQ3 科恩-麥考利模的貝蒂表有理錐的極端射線為何？
• RQ4 如何利用向量叢的上同調表來界定其斜率與其他不變量？
• RQ5 超自然叢的根序列與貝蒂表錐支撐超平面之間的精確關係為何？

主要发现

• 對於長度 $ c \neq n $ 的給定度序列，每個純貝蒂表都是科恩-麥考利模純解析貝蒂表的有理倍數。
• 任意科恩-麥考利模（余維數 $ c $）的貝蒂表，是度序列形成鏈的純解析貝蒂表的唯一正有理線性組合。
• 休恩克-斯里尼瓦桑多重性猜想已獲證明：科恩-麥考利代數 $ M = S/I $ 的多重性 $ e(M) $ 滿足 \\frac{1}{c!} \prod_i \min\{j \mid \beta_{i,j} \neq 0\} \leq e(M) \leq \frac{1}{c!} \prod_i \max\{j \mid \beta_{i,j} \neq 0\} $。
• 任意在 $ \mathbb{P}^{n-1} $ 上的向量叢的上同調表，是超自然向量叢上同調表的正有理線性組合。
• 向量叢 $ {\cal E} $ 的斜率 $ \mu({\cal E}) $ 滿足 \\frac{1}{m} \sum_{i=1}^m r_i({\cal E}) \leq -\mu({\cal E}) \leq \frac{1}{m} \sum_{i=1}^m R_i({\cal E}) $，其中 $ r_i, R_i $ 為希爾伯特多項式根的下界與上界。
• 貝蒂表錐的支撐超平面由源自純解析 $ F $ 的泛函 $ \langle F, - \rangle_{c,\tau} $ 定義，且這些泛函在根序列超出指定範圍的超自然叢上消失。