[論文レビュー] Extensions of the Multiplicity Conjecture

Juan Migliore, Uwe Nagel+1 more|ArXiv.org|May 11, 2005

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

ひとこと要約

本論文は、ハーショーン-ルーラーの多様体の多重性予想を、非コhen-マカウレー・グレーディング付きモジュールおよびねじれモジュールへと拡張し、ベッチ数に基づく新たな上界および下界を提案する。特に、2次元以下の余次元をもつモジュールについて、この拡張された予想を証明し、ハーショーン-ルーラー・モジュールおよび基本的二重Gリンクを用いて、$ℓ^3$ 内の非算術的コhen-マカウレー曲線についての鋭い境界を確立する。

ABSTRACT

The Multiplicity conjecture of Herzog, Huneke, and Srinivasan states an upper bound for the multiplicity of any graded $k$-algebra as well as a lower bound for Cohen-Macaulay algebras. In this note we extend this conjecture in several directions. We discuss when these bounds are sharp, find a sharp lower bound in case of not necessarily arithmetically Cohen-Macaulay one-dimensional schemes of 3-space, and we propose an upper bound for finitely generated graded torsion modules. We establish this bound for torsion modules whose codimension is at most two.

研究の動機と目的

• コhen-マカウレー代数を超えて、非コhen-マカウレーおよびねじれモジュールへの多重性予想の拡張を図ること。
• $ℓ^3$ 内の1次元非算術的コhen-マカウレースキームの次数に対する鋭い下界を確立すること。
• ベッチ数不変量に基づき、有限生成グレーディングねじれモジュールに対する新たな上界を提示し、証明すること。
• 既知の結果（例えば、超曲面切断における予想の保存および標準的行列式イデアルにおける成立）の証明を統一的かつ簡略化すること。
• 基本的二重Gリンクを用いて、標準的行列式イデアルの次数に対する閉じた公式を導出すること。

提案手法

• ハーショーン-ルーラー・モジュール $M(C)$ 及びその2つの一般線形形式の作用で消える部分モジュール $K_A$ を用いて、$ℓ^3$ 内の曲線の次数に対する精密な下界を導入する。
• 基本的二重Gリンクを用いて、既存のモジュールから新しいモジュールを構成し、ベッチ数の境界を保存または制御する。
• 準純解体論を用いて、このような解体を持つコhen-マカウレー・モジュールについて、拡張された予想を証明する。
• 一般超平面切断を用いて問題を余次元2に還元し、$e(N) \leq e(N/xN)$ が成り立ち、等号が成立するのは $N$ がコhen-マカウレーであるときであるという事実を活用する。
• $\tilde{N} = N/\mathbf{x}N$ から純解体を持つモジュール $\tilde{N}'$ を構成し、多重度を比較し、定理4.2を適用する。
• 不等式 $e(N) \leq e(\tilde{N}) \leq e(\tilde{N}') \leq (\tilde{M}_1 - \tilde{m}_0)(\tilde{M}_2 - \tilde{m}_0) \leq (M_1 - m_0)(M_2 - m_0)$ を用いて、主要な境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ℓ^3$ 内の非算術的コhen-マカウレー曲線に対し、多重性予想を拡張できるか？
• RQ2 $ℓ^3$ 内の1次元非コhen-マカウレースキームの次数に対する鋭い下界は何か？
• RQ3 余次元 $c$ の有限生成グレーディングねじれモジュールについて、上界 $e(N) \leq \frac{1}{c!} \prod_{i=1}^c (M_i - m_0)$ が常に成り立つか？
• RQ4 拡張された多重性境界における等号が成立する条件は何か？また、これは純解体を特徴づけるか？
• RQ5 基本的二重Gリンクは、特殊な場合における多重性予想の証明を統一的かつ簡略化するために用いることができるか？

主な発見

• 任意の1次元スキーム $C \subset \mathbb{P}^3$ に対して、$\frac{1}{4}m_1(C)m_2(C) - \dim_k K_A \leq \deg C \leq \frac{1}{2}M_1(C)M_2(C) - \dim_k K_A$ が成り立ち、ここで $K_A$ はハーショーン-ルーラー・モジュールに含まれる2つの一般線形形式の作用で消える部分モジュールである。
• 余次元が2以下のすべての有限生成グレーディングねじれモジュールについて、拡張された多重性予想が成り立ち、$e(N) \leq (M_1 - m_0)(M_2 - m_0)/2$ であり、等号が成立するのは $N$ がコhen-マカウレーかつ純解体を持つときである。
• 予想された上界 $e(N) \leq \frac{1}{c!} \prod_{i=1}^c (M_i - m_0)$ は、すべての余次元 $\leq 2$ のモジュールについて証明され、これまでの巡回モジュールに限った結果から一般モジュールへの拡張が達成された。
• 基本的二重Gリンクの使用により、超曲面切断における予想の保存および標準的行列式イデアルにおける成立を統一的に証明するフレームワークが得られた。
• 基本的二重Gリンクを用いて、任意の標準的行列式イデアルの次数に対する閉じた公式が導出され、以前の結果が一般化された。
• 下界 $\frac{1}{c!} \prod_{i=1}^c (m_i - M_0)$ は、常に有用ではない。なぜなら、負になることがあるため、すべての状況で意味のある多重度の境界とはならないからである。