[論文レビュー] On multiplicities of graded sequences of ideals

Mircea Mustaţă|ArXiv.org|Mar 22, 2002

Rings, Modules, and Algebras被引用数 4

ひとこと要約

本稿では、正則局所環内の零次元的イデアルの順序付き系列の多重度が、その体積に等しいことを示し、単項式イデアルへの変形を用いて特徴量零の結果を任意の特徴量に一般化する。主な貢献は、多重度と対数正則閾値の不等式を、イデアルの各冪の初期単項式イデアルの多重度を用いて表す公式を用いた、新しい代数的証明である。

ABSTRACT

We generalize a result of Ein-Lazarsfeld-Smith (math.AG/0202303), proving that for an arbitrary sequence of zero-dimensional ideals, the multiplicity of the sequence is equal with its volume. This is done using a deformation to monomial ideals. As a consequence of our result, we obtain a formula which computes the multiplicity of an ideal I in terms of the multiplicities of the initial monomial ideals of the powers I^m. We use this to give a new proof of the inequality between multiplicity and the log canonical threshold due to de Fernex, Ein and the author.

研究の動機と目的

• 特徴量零でない状況にまで、零次元的イデアルの順序付き系列における多重度と体積の等式を一般化すること。
• 単項式イデアルへの変形を用いて、多重度－対数正則閾値不等式の代数的証明を提供すること。
• イデアルのヒルベルト・サミュエル多重度を、その冪の初期単項式イデアルの多重度の式で表す公式を確立すること。
• 不等式 $\operatorname{e}(I) \geq n^n / \operatorname{lc}(I)^n$ の証明を単項式の場合に還元することで簡略化すること。
• [ELS1] の結果を、特徴量に依存しない正則局所環（体を含む）にまで拡張すること。この際、乗数イデアル理論に依存しないこと。

提案手法

• 離散値環上の平坦な族を用いて、任意の零次元的イデアルの順序付き系列を、単項式イデアルの順序付き系列に変形する。
• 多重度と体積が上半連続的であり、特殊化と両立することを用い、等式 $\operatorname{e}(\mathbf{a}_\bullet) = \operatorname{vol}(\mathbf{a}_\bullet)$ を単項式の場合に還元する。
• 変形から得られる公式を適用する：$\operatorname{e}(I) = \lim_{m \to \infty} \frac{\operatorname{e}(\operatorname{in}_>(I^m))}{m^n}$。これは、$I$ の多重度をその冪の初期イデアルの多重度で表す。
• 漸近的乗数イデアルの劣加法性と、順序関数が吹き上げと両立することを活用し、$\mathbf{a}_\bullet$ とその関連する $\mathbf{b}_\bullet$ を結びつける。
• ニュートン多面体を用いて、単項式の場合の対数正則閾値と多重度を解析し、AM-GM 不等式を適用して主要な不等式を導出する。
• 対数正則閾値の下半連続性を用い、$\operatorname{lc}(I)$ と $\operatorname{lc}(\operatorname{in}_>(I^m))$ を比較し、極限に移行する。

実験結果

リサーチクエスチョン

• RQ1 任意の体を含む正則局所環における、零次元的イデアルの順序付き系列について、$\operatorname{e}(\mathbf{a}_\bullet) = \operatorname{vol}(\mathbf{a}_\bullet)$ が常に成り立つか。
• RQ2 初期イデアルを用いた単項式の場合への還元により、不等式 $\operatorname{e}(I) \geq n^n / \operatorname{lc}(I)^n$ の証明をより簡潔に行えるか。
• RQ3 固定された単項式順序の下で、イデアルの多重度とその初期イデアルの多重度の正確な関係は何か。
• RQ4 単項式イデアルへの変形が、順序付き系列の漸近的不変量をどのように保存するか。
• RQ5 この文脈において、漸近的乗数イデアルの理論は、代数的変形技術によってどれほど置き換え可能か。

主な発見

• 任意の体を含む正則局所環において、零次元的イデアルの順序付き系列の多重度は、その体積に等しい。すなわち、$\operatorname{e}(\mathbf{a}_\bullet) = \operatorname{vol}(\mathbf{a}_\bullet)$ が成り立つ。特徴量に依存しない。
• 新しい公式が確立された：$\operatorname{e}(I) = \lim_{m \to \infty} \frac{\operatorname{e}(\operatorname{in}_>(I^m))}{m^n}$。これは、イデアルのヒルベルト・サミュエル多重度を、その冪の初期単項式イデアルの多重度で表す。
• 不等式 $\operatorname{e}(I) \geq n^n / \operatorname{lc}(I)^n$ は、初期イデアルの公式を用いて、代数的にかつより簡潔に再証明された。
• 単項式イデアルの場合、不等式はニュートン多面体の面係数の逆数にAM-GM不等式を適用することで導かれる。
• 対数正則閾値は $\operatorname{lc}(I^m) \geq \operatorname{lc}(\operatorname{in}_>(I^m))$ を満たし、これにより極限の議論で不等式の向きが保たれる。
• 解析的または特徴量零の手法を避け、代わりに変形と初期イデアル、ニュートン多面体の代数的性質に依存した証明がなされた。