[論文レビュー] 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

ひとこと要約

本論文はBoij-Söderberg予想の強化形を証明し、多項式環上の任意の有限生成な順序付き加群のベッチ表が、コhen-Macaulay加群の純粋分解のベッチ表の正の有理数線形結合として表せることを示している。さらに、射影空間上のベクトルバンドルのコホモロジー表が、特異なベクトルバンドルのコホモロジー表の正の有理数線形結合として表せることを確立し、ベクトルバンドルの勾配に関する新たな境界を導出し、Huneke-Srinivasanの多重度予想を証明した。

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.

研究の動機と目的

• コhen-Macaulay加群のベッチ表および射影空間上のベクトルバンドルのコホモロジー表を極値的対象を用いて特徴付けること。
• ベッチ表の構造を用いてHunekeとSrinivasanの多重度予想を証明すること。
• ベクトルバンドルのコホモロジー表が特異なバンドルのコホモロジー表の有理数線形結合として表せることを確立すること。
• 純粋分解と特異なバンドルを用いて、ベッチ表とコホモロジー表の有理数錐の支持超平面を定義すること。
• コホモロジーデータからベクトルバンドルの勾配に関する新たな境界を導出すること。

提案手法

• 与えられた次数列を持つ純粋分解のベッチ表を特徴付けるためにHerzog-Kühl方程式を用いる。
• 特異なベクトルバンドルの理論を適用して、コホモロジー表を極値的表の有理数線形結合に分解する。
• 純粋自由分解を介して関数型を構成し、ベッチ表錐の支持超平面を定義する。
• モノイドとコホモロジー的消滅を用いて、特異なバンドル上での関数型の正値性と消滅を検証する。
• 帰納法と超平面への制限を用いて、ベクトルバンドルのヒルベルト多項式と勾配不変量を分析する。
• ルート列と次数列の構造を用いて、ベッチ表とコホモロジー表の有理数錐における極値的線を定義する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限生成な順序付き加群のベッチ表は、コhen-Macaulay加群の純粋分解のベッチ表の正の有理数線形結合として表せるか？
• RQ2 射影空間上のすべてのベクトルバンドルのコホモロジー表は、特異なベクトルバンドルのコホモロジー表の有理数線形結合として表せるか？
• RQ3 コhen-Macaulay加群のベッチ表の有理数錐における極値的線は何か？
• RQ4 ベクトルバンドルのコホモロジー表は、その勾配や他の不変量をどのように制限できるか？
• RQ5 特異バンドルのルート列とベッチ表錐の支持超平面との正確な関係は何か？

主な発見

• 長さ $ c \neq n $ の与えられた次数列を持つ任意の純粋ベッチ表は、純粋分解を持つコhen-Macaulay加群のベッチ表の有理数倍である。
• コダイメンジョン $ c $ の任意のコhen-Macaulay加群のベッチ表は、次数列が鎖をなす純粋分解のベッチ表の、一意的な正の有理数線形結合である。
• Huneke-Srinivasanの多重度予想は証明された：コhen-Macaulay代数 $ 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} $ によって定義され、これらの関数型は特定の範囲外のルート列を持つ特異なバンドル上で消える。