[論文レビュー] Multiplicity of Codimension Three Almost Complete Intersections

Sumi Seo, Hema Srinivasan|ArXiv.org|Dec 5, 2007

Polynomial and algebraic computation参考文献 9被引用数 4

ひとこと要約

この論文は、ゴレムシュタインイデアルのバックスバウム＝アイゼンブルグ構造定理を用いた直接計算により、codimension 3 のほぼ完全交差環における多重度予想の上界を確立している。その結果、このような環の多重度が最大シフトの積を 3! で割ったもの以上に上昇しないことを確認し、この場合における予想の正当性を裏付け、特定の条件下での下界についても部分的な結果を得た。

ABSTRACT

We establish the upper bound in the multiplicity conjecture of Herzog, Huneke and Srinivasan for the codimension three almost complete intersections. We also give some partial results in the case where I is the aci linked to a complete intersection in one step.

研究の動機と目的

• codimension 3 のほぼ完全交差環におけるヘルツォーグ＝スリニヴァーサンの多重度予想の上界を確立すること。
• マッピングコーンの双対性を用いて、このようなイデアルの最小自由分解の構造を分析すること。
• 下界の予想が成り立つ条件を調査すること。
• ほぼ完全交差環とリンクされたゴレムシュタインイデアルの関係を調査すること。
• ベッチ数のシフトと生成子の次数を用いて、多重度の明示的公式を提示すること。

提案手法

• バックスバウム＝アイゼンブルグの構造定理を用いて、codimension 3 のほぼ完全交差環を (K:J) の形に表現し、J をゴレムシュタインイデアル、K を3つの元からなる正則列とする。
• R/I の最小自由分解を、R/J と R/K の分解のマッピングコネの双対として構成する。
• 成分が同次である反対称行列のパフリアンを用いて、R/J の同次分解を構築する。
• R/I の分解における最大シフト M_i と最小シフト m_i の明示的公式を、K と J の生成子の次数の関数として導出する。
• 多重度を Betti 数から計算するための公式 e(R/I) = ∑β_{i,j}(-1)^i j を適用する。
• 次数と d_i の和に関する不等式を用いて、特定の条件下での境界を証明する。

実験結果

リサーチクエスチョン

• RQ1 codimension 3 のほぼ完全交差環において、ヘルツォーグ＝スリニヴァーサンの多重度予想の上界は成り立つか？
• RQ2 どのような条件下で、このようなイデアルにおける多重度予想の下界も成り立つか？
• RQ3 ベッチ数のシフト M_i と m_i は、定義イデアルおよびそのリンクされたゴレムシュタインイデアルの生成子の次数とどのように関係するか？
• RQ4 多重度を最大シフト M_i とコードイメンジョンのみで上界づけられるか？
• RQ5 正則列が単一の次数で生成される場合、どのような構造的性質が現れるか？

主な発見

• codimension 3 のほぼ完全交差環すべてにおいて、多重度予想の上界が成り立つ。e(R/I) ≤ (M₁M₂M₃)/6 が成立する。
• 上界は、∑_{i=2}^3 (e_i - e₁) ≥ d₁ を満たす条件下で証明される。ここで e_i は正則列の次数、d₁ はゴレムシュタインイデアル J の最小生成子次数である。
• 正則列が次数 e で生成され、M₁ = e である場合、M_i = ie (i = 1,…,n−1) であり、e^{n−1} ≤ n ∏_{i=2}^n d_i が成り立つため、上界が成立する。
• m_{n−1} = (n−1)e であれば、条件 e ≥ d_n + d_{n−1} の下で、下界 ∏ m_i / n! ≤ e(R/J) が成り立つ。
• R/J の多重度は、e(R/J) = e^n − ∏_{i=1}^n d_i で与えられる。ここで e は正則列の共通次数、d_i はゴレムシュタイン生成子の次数である。
• 正則列が次数 e で生成される場合、e ≥ (1/(n−1))∑_{i=1}^n d_i が成り立つならば、上界が成立する。これは ∑(e_i − e₁) ≥ d₁ と同値である。