[論文レビュー] On Two Results of Mixed Multiplicities

Dinh Van Le, Duong Quôc Việt|ArXiv.org|Jan 8, 2009

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

ひとこと要約

本稿では、Trung と Verma (2007) が得た混合多重度に関する主結果が、Viet (2000) の以前の定理、特に [Vi1] の定理 3.4 の直接的な帰結であることを示している。著者らは、$(\varepsilon_1,\ldots,\varepsilon_m)$-超平面的列が弱-(FC)-列であることを示すことにより、混合多重度が商環におけるヒルベルト・サミュエル多重度として解釈可能であることを確立し、(FC)-列と超平面的列による混合多重度の二つのアプローチを統一した。

ABSTRACT

This paper shows that the main result of Trung-Verma in 2007 [TV] only is an immediate consequence of an improvement version of [Theorem 3.4, Vi1] in 2000.

研究の動機と目的

• 混合多重度とヒルベルト・サミュエル多重度の関係を、列の構成を通じて明確化すること。
• Trung-Verma が $(\varepsilon_1,\ldots,\varepsilon_m)$-超平面的列を用いて得た結果が、Viet の (FC)-列に関する以前の研究の帰結であることを示すこと。
• $(\varepsilon_1,\ldots,\varepsilon_m)$-超平面的列が弱-(FC)-列であることを確立することで、二つの異なる混合多重度の構成法を結びつけること。
• 混合多重度 $e(J^{[k_0+1]}, I_1^{[k_1]}, \ldots, I_s^{[k_s]})$ が、ある種の理想 $Q$ によって生成される列 $Q$ を用いた商環 $A/Q:I^\infty$ におけるヒルベルト・サミュエル多重度 $e(J, A/Q:I^\infty)$ に等しいことを示すこと。

提案手法

• 著者らは、理想の包含関係、フィルター正則性、次元削減に基づいて (FC)-列および弱-(FC)-列を定義する。
• Artin-Rees の補題を用いて、(FC)-元による乗法が関連付ける順次モジュールに同型を誘導することを示す。
• 理想の冪に関する帰納法を用いて、$\varepsilon$-超平面的元が弱-(FC)-元の条件を満たすことを証明する。
• 十分大きな $n$ に対して、$I^n$ における $x$ の annihilator が消えることを示し、$0:x \subseteq 0:I^\infty$ が成り立つことから、条件 (FC2) が満たされることを示す。
• Bhattacharya 関数とヒルベルト・サミュエル多項式を結びつけるために、同型 $I_1^{n_1}\cdots I_s^{n_s} \cong xI_1^{n_1}\cdots I_s^{n_s}$ を用いる。
• 定理 3.4 を [Vi1] に適用し、商環 $A/Q:I^\infty$ における混合多重度とヒルベルト・サミュエル多重度を等しくする。

実験結果

リサーチクエスチョン

• RQ1 Trung-Verma の $(\varepsilon_1,\ldots,\varepsilon_m)$-超平面的列による混合多重度に関する結果は、Viet の以前の (FC)-列フレームワークから導かれるか？
• RQ2 $(\varepsilon_1,\ldots,\varepsilon_m)$-超平面的列は弱-(FC)-列の条件を満たすか？
• RQ3 混合多重度 $e(J^{[k_0+1]}, I_1^{[k_1]}, \ldots, I_s^{[k_s]})$ は、商環 $A/Q:I^\infty$ におけるヒルベルト・サミュエル多重度として解釈可能か？
• RQ4 $\dim A/Q:I^\infty = k_0 + 1$ が成り立つと、混合多重度が非ゼロとなるための条件は何か？

主な発見

• Trung と Verma (2007) の主結果は、Viet (2000) の定理 3.4 の直ちなる帰結であることが示され、基礎的な統合が確立された。
• $J, I_1, \ldots, I_s$ に対して、任意の $(\varepsilon_1,\ldots,\varepsilon_m)$-超平面的列は、$J, I_1, \ldots, I_s$ に関して弱-(FC)-列である。これは二つの枠組みを結ぶ鍵となるリンクを示している。
• もし $x$ が $I_1, \ldots, I_s$ に関して $\varepsilon$-超平面的元であれば、$x$ は (FC1) および (FC2) の両方の条件を満たし、弱-(FC)-元である。
• 任意の $(\varepsilon_1,\ldots,\varepsilon_m)$-超平面的列によって生成される理想 $Q$ に対して、$e(J^{[k_0+1]}, I_1^{[k_1]}, \ldots, I_s^{[k_s]}) \neq 0$ であることは、$\dim A/Q:I^\infty = k_0 + 1$ と同値であり、この場合、混合多重度は $e(J, A/Q:I^\infty)$ に等しい。
• 次元条件 $\dim A/Q:I^\infty = k_0 + 1$ は、列が (FC)-列であることと同値であり、これにより混合多重度の非ゼロ性が保証される。
• $(\varepsilon_1,\ldots,\varepsilon_m)$-超平面的列によって生成される理想 $Q$ に対して、$\dim A/Q:I^\infty = k_0 + 1$ ならば、混合多重度 $e(J^{[k_0+1]}, I_1^{[k_1]}, \ldots, I_s^{[k_s]})$ はヒルベルト・サミュエル多重度 $e(J, A/Q:I^\infty)$ に等しいことが確認された。