[論文レビュー] The Multiplicity Conjecture for Barycentric Subdivisions

Martina Kubitzke, Volkmar Welker|ArXiv.org|Jun 12, 2006

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

ひとこと要約

この論文は、単体的複体のバーチカル分割のスターリング＝ライスナー環に対して、HunekeとHerzog & Srinivasanの多重性予想を検証する。ホクスターのベッチ数の公式と、環論的不変量がバーチカル分割の下での挙動を分析することで、スターリング＝ライスナー環の多重性が、ベッチ数のシフトに基づく予想される上限および下限を満たすことを証明する。等号が成り立つのは、解体が純粋である場合に限る。

ABSTRACT

For a simplicial complex $Δ$ we study the effect of barycentric subdivision on ring theoretic invariants of its Stanley-Reisner ring. In particular, for Stanley-Reisner rings of barycentric subdivisions we verify a conjecture by Huneke and Herzog & Srinivasan, that relates the multiplicity of a standard graded $k$-algebra to the product of the maximal and minimal shifts in its minimal free resolution up to the height. On the way to proving the conjecture we develop new and list well known results on behavior of dimension, Hilbert series, multiplicity, local cohomology, depth and regularity when passing from the Stanley-Reisner ring of $Δ$ to the one of its barycentric subdivision.

研究の動機と目的

• 単体的複体のバーチカル分割のスターリング＝ライスナー環に対する多重性予想を検証すること。
• 次のような主要な環論的不変量—次元、ヒルベルト級数、多重性、深さ、正則性、局所コホホロジー—がバーチカル分割の下でどのように変化するかを分析すること。
• スターリング＝ライスナー環の最小自由解体が純粋である条件を確立すること、特に予想の等号成立の場合を含む。

提案手法

• スターリング＝ライスナー環のバーチカル分割のベッチ数を計算するためにホクスターの公式の使用。
• ヒルベルト級数と多重性を関連付けるために、バーチカル分割の下での$h$-ベクトルおよび$f$-ベクトルの変換を分析すること。
• 非ゼロのベッチ数を特定するために、補題3.2の応用により、誘導部分複体の削除ホモロジーを介して。
• 単体的複体におけるリンクとスターアレイの分解を用いて、局所コホホロジーと深さの挙動を研究すること。
• 削除ホモロジー群に基づく位相的議論により、ベッチ数$\beta_{i,j}$が非ゼロである条件を特定すること。
• 階乗正規化を用いて、$k[\mathrm{sd}(\Delta)]$の多重性を最小自由解体の最大および最小シフトの積と比較すること。

実験結果

リサーチクエスチョン

• RQ1 任意の単体的複体のバーチカル分割のスターリング＝ライスナー環に対して、多重性予想は成り立つか？
• RQ2 $k[\mathrm{sd}(\Delta)]$のベッチ数は、$\Delta$の位相的性質およびその分割とどのように関係するか？
• RQ3 スターリング＝ライスナー環の最小自由解体が純粋である条件は何か？また、予想の等号成立はいつ起こるか？
• RQ4 $k[\mathrm{sd}(\Delta)]$の多重性、深さ、正則性は、$k[\Delta]$に対してどのように変化するか？
• RQ5 バーチカル分割に対して、多重性の予想される上限・下限が、厳密に破られることがあるのか、それとも常に満たされるのか？

主な発見

• 任意の単体的複体$\Delta$に対して、$k[\mathrm{sd}(\Delta)]$において多重性予想が成り立つ。コhen＝マカウル環に対して、上限$e(A) \leq \frac{1}{h!}\prod_{i=1}^{h}M_i$および下限$e(A) \geq \frac{1}{h!}\prod_{i=1}^{h}m_i$が成り立つ。
• 予想における等号が成り立つのは、$k[\mathrm{sd}(\Delta)]$の最小自由解体が純粋である場合に限る。これは、$\Delta$が単一のサイクル（つまり、$f_0^\Delta$-角形）である場合にちょうど成立する。
• $\Delta$が1つのサイクルより多くのサイクルを有する、または1つのサイクル以外の頂点・辺を有する場合、$k[\mathrm{sd}(\Delta)]$の最小自由解体は純粋ではなくなり、予想における不等号は厳密に成立する。
• $k[\mathrm{sd}(\Delta)]$の多重性は$e(k[\mathrm{sd}(\Delta)]) = (\dim\Delta + 1) \cdot f_1^\Delta$であり、$\Delta$がサイクルである場合に予想された境界と一致する。
• $\dim(\mathrm{sd}(\Delta)) = 1$の場合、解体が純粋であるのは$\Delta$が木または単一のサイクルである場合に限る。後者の場合、予想における等号が成立する。
• 本研究により、バーチカル分割が、広範な環のクラスにおいて多重性予想の有効性を保つことが確認された。これは、ノヴィクとスワーツ、およびゴフの既知の結果を拡張するものである。