[論文レビュー] The projective dimension of sequentially Cohen-Macaulay monomial ideals

Sara Faridi|arXiv (Cornell University)|Oct 21, 2013

Commutative Algebra and Its Applications参考文献 17被引用数 6

ひとこと要約

この論文は、逐次 Cohen-Macaulay な平方自由単項式イデアルの射影次元が、その最小素イデアルの最大高さに等しいことを確立している—同値に言えば、そのファセット複体の最小頂点被覆の最大サイズに等しい。この結果は任意の体上で成り立ち、単体的複体の技法、極化、および Auslander-Buchsbaum の公式を用いて導出されており、このクラスのイデアルに対して、体に依存しない組合せ論的特徴付けを提供する。

ABSTRACT

In this short note we prove that the projective dimension of a sequentially Cohen-Macaulay square-free monomial ideal is equal to the maximal height of its minimal primes (also known as the big height), or equivalently, the maximal cardinality of a minimal vertex cover of its facet complex. This in particular gives a formula for the projective dimension of facet ideals of these classes of ideals, which are known to be sequentially Cohen-Macaulay: graph trees and simplicial trees, chordal graphs and some cycles, chordal clutters and graphs, and some path ideals to mention a few. Since polarization preserves projective dimension, our result also gives the projective dimension of any sequentially Cohen-Macaulay monomial ideal.

研究の動機と目的

• 逐次 Cohen-Macaulay な平方自由単項式イデアルの射影次元に対する正確で組合せ論的な公式を特定すること。
• この射影次元が、基底体に依存しない形で最小素イデアルの最大高さ（ビッグ高さ）に等しいことを確立すること。
• 単体的複体の構造を用いて、木や弦的グラフに関する既知の結果をより広いクラスのイデアルへと拡張すること。
• 一般の単項式イデアルについて、深さと次元の上限を提供すること。特に、逐次 Cohen-Macaulay の場合に等号が成立すること。

提案手法

• Stanley-Reisner 複体とファセット複体を用いて、代数的性質を組合せ論的性質に翻訳すること。
• Fröberg の定理を応用し、R/I の深さが、i-スケルトン Δ^i が Cohen-Macaulay である最大の i に依存することを活用すること。
• 極化を用いて、一般の単項式イデアルのケースを、射影次元を変更せずに平方自由ケースに還元すること。
• Auslander-Buchsbaum の公式を用いて、R/I のクルル次元を介して深さと射影次元を関連付けること。
• 逐次 Cohen-Macaulay イデアルの準素分解を分析し、関連素イデアルの最大高さ d_s を特定すること。
• Theorem 2 (Duval) を用いて、純粋スケルトン Δ_i の Cohen-Macaulay 性を用いて逐次 Cohen-Macaulay 性を特徴付けること。

実験結果

リサーチクエスチョン

• RQ1 逐次 Cohen-Macaulay な平方自由単項式イデアルの射影次元は何か。そして、それは組合せ論的に表現可能か？
• RQ2 射影次元は基底体に依存するか。特定の体に関する仮定なしに計算可能か？
• RQ3 最小素イデアルとその高さは、このようなイデアルの深さや射影次元とどのように関係するか？
• RQ4 単体的複体の不変量を用いて、一般の単項式イデアルの深さと射影次元を上限で評価できるか？
• RQ5 逐次 Cohen-Macaulay の場合に、イデアルのビッグ高さは射影次元に等しいか？

主な発見

• 逐次 Cohen-Macaulay な平方自由単項式イデアルの射影次元は、その最小素イデアルの最大高さに正確に等しく、すなわち pd(R/I) = d_s が成り立つ。
• R/I の深さは n − d_s に等しく、ここで n は変数の個数、d_s は最小素イデアルの最大高さである。
• 極化によりこの不変量が保存されることから、射影次元は基底体に依存しない。
• このようなイデアルにおいて、深さと射影次元は、ファセット複体の最小頂点被覆のサイズによって完全に決定される。
• 極化により、射影次元がこの操作で保存されることを考慮すると、この結果はすべての逐次 Cohen-Macaulay 単項式イデアルへと拡張可能である。
• 公式 pd(R/I) = d_s は、R/I が逐次 Cohen-Macaulay である場合にのみ成り立つ。これは Auslander-Buchsbaum の公式とスケルトン複体の構造によって確認された。