[論文レビュー] Notes on the multiplicity conjecture

Juergen Herzog, Xinxian Zheng|ArXiv.org|May 9, 2005

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

ひとこと要約

この論文は、可換代数における多重度予想を進展させ、正則列による商やイデアルの冪の極限において、多重度の上限および下限の境界が保たれることを証明する。解体が純粋であることと、境界に等号が成り立つことは同値であることが示され、既知の結果を、ほぼ純粋な解体や成分ごとに線形なイデアルを含むより広いクラスのイデアルへと拡張する。

ABSTRACT

New cases of the multiplicity conjecture are considered.

研究の動機と目的

• 正則列による商であるが、Cohen-Macaulayでない可能性のある同次代数に対し、多重度予想を拡張すること。
• イデアルの冪をとる際に、予想における多重度の境界が保たれるかどうかを調査すること。
• 多重度の境界に等号が成り立つと、解体が純粋であることを示すかどうかを特定すること。これは、余次元2およびGorenstein代数に対する既知の結果を一般化する。
• ほぼ純粋な解体や成分ごとに線形なイデアルをもつ環に対して、改善された多重度予想を確立すること。
• 最大小行列式のイデアルの場合に、上界または下界が達成されることは、解体が純粋であることと同値であるかどうかを特定すること。

提案手法

• 正則列の要素数に関する帰納法を用いて、正則列による商において多重度の境界が保たれることを証明する。
• 最小自由解体のテンソル積を適用し、商環 $ R/(f_1,\ldots,f_m) $ のベッチ数を計算し、解体内のシフトを追跡する。
• シフトのパターン $ M_i(I,f) = \max\{M_i, M_{i-1} + \deg f\} $ を分析し、新しいベッチ数と元のものとの関係を特定する。
• シフトの最小値および最大値の積を含む組合せ的不等式を用い、$ \prod M_i / s! $ を用いて多重度 $ e(R/(f)) $ を評価する。
• Eagon-Northcott複体を用いて、最大小行列式のイデアルの解体を分析し、シフトの一様性と解体の純粋性を関連付ける。
• 双対性および反転原理を用い、変数変換により下界の不等式を上界のケースに還元することで、下界の不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 $ R = S/I $ であり、$ f_1,\ldots,f_m $ が正則列であるとき、$ R/(f_1,\ldots,f_m) $ において多重度予想の上限および下限の境界が成り立つか。
• RQ2 イデアル $ I^k $ の冪の極限として $ k \to \infty $ のとき、多重度予想が保持されるか。特に $ \lim_{k\to\infty} \frac{e(S/I^k)}{\frac{1}{s!}\prod M_i(I^k)} \leq 1 $ か。
• RQ3 多重度が予想における上限または下限に達している場合、$ R $ が純粋な解体をもつことを示唆するか。
• RQ4 ほぼ純粋な解体または成分ごとに線形なイデアルをもつ環に対して、改善された多重度予想が成り立つか。
• RQ5 最大小行列式のイデアルの場合、多重度の境界が達成されることは、解体が純粋であることと同値か。

主な発見

• $ \frac{\prod m_i}{s!} \leq e(R) \leq \frac{\prod M_i}{s!} $ という多重度の境界は、同次正則列 $ f_1,\ldots,f_m $ による商 $ R/(f_1,\ldots,f_m) $ に対しても保たれ、$ R $ が Cohen-Macaulay でない場合でも成り立つ。
• $ S/I^k $ の正規化された多重度の極限は、$ \lim_{k\to\infty} \frac{e(S/I^k)}{\frac{1}{s!}\prod M_i(I^k)} \leq 1 $ を満たし、上界が漸近的に成り立つことを示す。
• $ R $ における多重度の境界に等号が成り立つのは、解体が純粋であるときであり、かつそのときに限る。これは、既知の結果を、ほぼ純粋な解体や成分ごとに線形なイデアルをもつ環へと拡張する。
• 最大小行列式のイデアル（最大の階数をもつ）に対して、多重度の境界は成り立ち、上界または下界に等号が成り立つのは、解体が純粋であるときである。
• $ S/I_m(H) $ の多重度が上界に達するのは、Eagon-Northcott複体内のすべてのシフトが等しいとき、すなわち解体が純粋であるときである。
• $ e(R/({\bf f})) $ の上界に等号が成り立つのは、$ M_i = i d $ かつ $ \deg f_i = d $ となる固定された $ d $ が存在するときであり、これは一様なシフトパターンを示している。