[論文レビュー] Face ring multiplicity via CM-connectivity sequences

Isabella Novik, Ed Swartz|ArXiv.org|Jun 10, 2006

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

ひとこと要約

この論文は、マトロイド複体、1次元および2次元の単体的複体、次元4以下のゴレンシュタイン複体の面環について、ヘルツォーク、フネケ、スリニヴァーサンの多重度予想を検証する。1次元スケルトンの接続性がコドメインに1を加えた値以下である2重コhen＝マカウレー複体、および次元 $d-1$ の $d$-コhen＝マカウレー複体に対して、単体的スケルトンのコヘン＝マカウレー接続性を用いたベッチ数シフトの新しい解釈を通じて、下界を確立する。

ABSTRACT

The multiplicity conjecture of Herzog, Huneke, and Srinivasan is verified for the face rings of the following classes of simplicial complexes: matroid complexes, complexes of dimension one and two, and Gorenstein complexes of dimension at most four. The lower bound part of this conjecture is also established for the face rings of all doubly Cohen-Macaulay complexes whose 1-skeleton's connectivity does not exceed the codimension plus one as well as for all (d-1)-dimensional d-Cohen-Macaulay complexes. The main ingredient of the proofs is a new interpretation of the minimal shifts in the resolution of the face ring via the Cohen-Macaulay connectivity of the skeletons of the complex.

研究の動機と目的

• 特定のクラスの単体的複体の面環について、ヘルツォーク、フネケ、スリニヴァーサンの多重度予想を証明すること。
• 1次元スケルトンの接続性が有界な2重コヘン＝マカウレー複体および次元 $d-1$ の $d$-コヘン＝マカウレー複体に対して、予想の下界を確立すること。
• 単体的複体スケルトンのコヘン＝マカウレー接続性を用いて、自由分解における最小および最大シフトの新しい解釈を導入し、適用すること。
• スターリング＝ライスナー環の代数的不変量と単体的複体の位相的および組合せ的性質を結びつけること。

提案手法

• ホクスターの公式を用いてベッチ数と誘導部分複体の減少ホモロジーを関連付ける。
• サイズ $|W|$ の誘導部分複体におけるホモロジーの非消滅性を用いて、最小および最大シフト $m_i$ と $M_i$ を定義する。
• 分解におけるシフトを解釈するための新しい不変量として、CM接続性系列を導入する。
• ゴレンシュタイン*複体に対する上界定理とデーン＝ゾンメルビル関係を用いて、面数を評価する。
• 5クリークを含まないフラッグ複体における辺数を評価するためにツーランの定理を用いる。
• 面 $ au$ に対して $q_j = ext{codim}({f k}[ ext{link}_ au riangle]) + 1$ の値に基づく場合分けを用いて、分解の純粋性および多重度の上限・下限を分析する。

実験結果

リサーチクエスチョン

• RQ1 マトロイド複体の面環について、多重度予想は成り立つか？
• RQ2 1次元および2次元の単体的複体について、多重度予想の上限および下限は確立可能か？
• RQ3 次元3および4のゴレンシュタイン複体について、多重度予想は成り立つか？
• RQ4 2重コヘン＝マカウレー複体について、多重度予想の下限が成り立つ条件は何か？
• RQ5 面環の分解における最小および最大シフトは、複体のスケルトンのコヘン＝マカウレー接続性を用いて解釈可能か？

主な発見

• マトロイド複体の面環について、多重度予想が検証された。これは、すべての純粋な複体で、その誘導部分複体も純粋である場合を含む。
• すべての1次元および2次元の単体的複体について、多重度予想の上限が成り立つ。
• 次元3および4のゴレンシュタイン複体について、上限が確立された。等号が成り立つのは、複体が2-近接であり、$q_3 - 1 = 4$ のときのみであり、仮定のもとではこれにより矛盾が生じる。
• 3次元および4次元のゴレンシュタイン*複体について、多重度予想の下限が成り立ち、等号が成り立つと純粋な分解が得られる。
• 次元 $d-1$ の $d$-コヘン＝マカウレー複体について、$n - d = 4$ かつ $d \leq 22$ であるか、$M_1 \geq \lfloor d/2 \rfloor + 1$ である場合、多重度予想が成り立つ。
• 証明は、$M_i$ の積を $c!$ で割った値が、高次元の面の数を超えることを示すことに依拠しており、上界定理およびデーン＝ゾンメルビル関係からの評価を用いる。