[論文レビュー] Betti numbers of graded modules and the Multiplicity Conjecture in the non-Cohen-Macaulay case

Mats Boij, Jonas Söderberg|ArXiv.org|Mar 11, 2008

Commutative Algebra and Its Applications参考文献 5被引用数 21

ひとこと要約

この論文は、EisenbudとSchreyerの線形関数型と新しい組合せ的枠組みを用いて、標準的次数付き多項式環上のすべての有限生成次数付き加群（Cohen-Macaulayでないものも含む）に対して、多重性予想を証明する。Betti図はすべて純粋図に正の線形結合として分解可能であることを示し、Hilbert系列と多重性の鋭い境界をBetti数のシフトに基づいて導出する。

ABSTRACT

We use the results by Eisenbud and Schreyer to prove that any Betti diagram of a graded module over a standard graded polynomial ring is a positive linear combination Betti diagrams of modules with a pure resolution. This implies the Multiplicity Conjecture of Herzog, Huneke and Srinivasan for modules that are not necessarily Cohen-Macaulay. We give a combinatorial proof of the convexity of the simplicial fan spanned by the pure diagrams.

研究の動機と目的

• Cohen-Macaulayでない加群に対しても、多重性予想をすべての有限生成次数付き加群に拡張すること。
• 純粋図を用いてスカラー倍を除いたBetti図の完全分類を確立すること。
• すべてのBetti図が、完全順序付けられた純粋図の鎖に沿って一意に正の線形結合として表現可能であることを証明すること。
• 純粋図によって生成される単体的ファンの凸性を、関数解析に依存せずに組合せ論的に証明すること。
• Betti数のシフトに基づいて、加群のHilbert系列および多重性の鋭い上界と下界を導出すること。

提案手法

• Betti図にEisenbudとSchreyerの線形関数型を用い、単体的ファンの支持超平面を定義すること。
• 非Cohen-Macaulayの場合を含めるために、Eisenbud-Schreyer関数型の極限として新しい線形関数型を構成すること。
• 完全順序付けられた純粋図の鎖に沿って、任意のBetti図が正の線形結合として表現可能であることを証明すること。
• 関数解析に依存せず、純粋図によって生成される単体的ファンの凸性を組合せ論的に証明すること。
• 分解における整数係数を保証するために、β₀,₀ = 1 である正規化された純粋図を用いること。
• Herzog-Kühl方程式を用いてBetti数とHilbert系列および多重性を関連させること。

実験結果

リサーチクエスチョン

• RQ1 Cohen-Macaulayでない加群に対しても、多重性予想を拡張できるか？
• RQ2 任意の次数付き加群のBetti図は、常に純粋図の正の線形結合として表現可能か？
• RQ3 純粋図によって生成される単体的ファンは、組合せ論的証明によって凸性を示せるか？
• RQ4 加群のHilbert系列の鋭い境界を、その最小および最大のBetti数シフトに基づいて表現できるか？
• RQ5 正規化された基底を用いた場合、Betti図の純粋図への分解における係数は常に非負整数か？

主な発見

• すべての有限生成次数付き加群に対して多重性予想が成り立ち、等号成立は加群が純粋分解をもつCohen-Macaulayである場合に限る。
• 任意のBetti図は、完全順序付けられた純粋図の鎖に沿って一意に正の線形結合として表現可能であり、これはCohen-Macaulayの場合を一般化する。
• 加群のHilbert系列は、最初のs+1項において、最小シフトを持つ純粋図のHilbert系列によって下界で抑えられ、最大シフトを持つ純粋図のHilbert系列によって上界で抑えられる。
• 多重性 e(M) は e(M) ≤ β₀(M) · M₁M₂⋯Ms / s! を満たし、等号成立はMが純粋分解をもつCohen-Macaulay加群である場合に限る。
• β₀,₀ = 1 である正規化された純粋図を用いることで、Betti図の分解における係数は非負整数となる。
• 純粋図によって生成される単体的ファンは凸であり、この凸性は関数解析に依存せず、組合せ論的に証明されている。