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

ひとこと要約

この論文は、多項式環上の有限生成な次数付き加群のベッチ表の有理コーンを純粋な分解を用いて特徴付けるボイア・ゾーダーク予想の簡略化された証明を提供する。ベッチ表と射影空間上の両立的層のコホモロジー表の間の双対性が、特異的ベクトル束に対応する極小線を介して完全に記述されることを示し、多重度予想の証明およびシンジージ不変量のより深い理解に繋がる。

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.

研究の動機と目的

• 次数付き加群のベッチ表のボイア・ゾーダークコーンに関する主要結果の新たな簡略化された証明を提供すること。
• 次数付き加群のベッチ表と射影空間上の両立的層のコホモロジー表の間の双対性を明確にすること。
• 純粋な分解の存在を確立し、ベッチ表コーンの極小線を特徴付けること。
• 理論を応用して、ハルツォグ、フーネケ、スリナサランの多重度予想を証明すること。
• フレームワークを任意の両立的層へと拡張し、ウルリッヒ層および多様体への影響を検討すること。

提案手法

• 著者たちは、射影空間上の両立的層のコホモロジー表と加群のベッチ表の双対性を用い、ボイア・ゾーダークコーンの構造がコホモロジー表コーンの極小線と関連することを示す。
• コホモロジー表コーンの極小線が、特異的ベクトル束に対応することを特定し、明示的な構成によりその存在を示す。
• Hilbert級数の分析と純粋な分解の正規化されたベッチ表を比較することで、コーンを特徴付ける不等式を確立する。
• 凸幾何を用いて、有理コーンとしてのベッチ表コーンを、純粋な分解の表の凸包（有理スケーリングを除く）として記述する。
• 任意の両立的層のコホモロジー表が、非負係数を用いた特異的層の表の無限収束和として表現可能であるという事実を用いる。
• 理論を射影多様体上の任意の加群および両立的層へと拡張し、ウルリッヒ層の存在が多様体 X のコホモロジー表コーンが射影空間と一致するための条件であることを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 多項式環上の有限生成な次数付き加群のベッチ表が生成する有理コーンの完全な構造は何か？
• RQ2 ベッチ表コーンの極小線は、射影空間上のベクトル束のコホモロジー表とどのように関係しているか？
• RQ3 ベッチ表のボイア・ゾーダーク分解を用いて、多重度予想を証明できるか？
• RQ4 射影空間のコホモロジー表コーンと、多様体 X 上の両立的層のボイア・ゾーダークコーンが一致するのはどのような条件下か？
• RQ5 ウルリッヒ層は、射影多様体のコホモロジー表コーンを決定づける役割を果たすか？

主な発見

• ボイア・ゾーダークコーンは、有理スケーリングを除き、純粋な分解のベッチ表によって張られる有理凸コーンとして完全に特徴付けられる。
• ベッチ表コーンの極小線は、各シンジージレベルですべてのベッチ数が1つの次数に集中するコーエン・マカウレイ加群のベッチ表に対応する。
• 多重度予想が証明された：任意の次数付き加群 M に対して、その多重度は β₀₀(M) · (b₁⋯bₛ)/s! で上から抑えられ、等号が成り立つのは、M がコーエン・マカウレイ的でかつ純粋な分解を持つ場合に限る。
• 任意の ℙⁿ 上の両立的層に対して、そのコホモロジー表は、非負係数を用いた特異的層の表の無限収束和として表現可能である。
• 多様体 X 上の両立的層のコホモロジー表コーンが ℙᵈ と同型であるための必要十分条件は、X がウルリッヒ層をもつことである。
• コホモロジー数列が有界なコーエン・マカウレイ加群の実際のベッチ表のモノイドは、有限生成であるが、これは基底体の特性に依存する。