[論文レビュー] On the value-semigroup of a simple complete ideal in a two-dimensional regular local ring

Silvio Greco, K. Kiyek|ArXiv.org|Dec 28, 2007

Commutative Algebra and Its Applications参考文献 10被引用数 3

ひとこと要約

本稿は、残余有理性の下で、2次元正則局所環内の単純完全 $π$-主理想に対して、値半群、多重度列、形式的特徴的列の3つの不変量が同値であることを確立する。ハンブルガー＝ノイザー表を用いて、値半群が対称であることの新しい証明を与え、その表のデータに基づいた導言の明示的公式を導出する。

ABSTRACT

Let R be a two-dimensional regular local ring with maximal ideal \mathfrak m, and let \wp be a simple complete \mathfrak m-primary ideal which is residually rational. Let R_0:= R\subsetneqq ...\subsetneqq R_r be the quadratic sequence associated to \wp, let Γ_\wp be the value-semigroup associated to \wp, and let ((e_j(\wp))_{0\leq j\leq r} be the multiplicity sequence of \wp. We associate to \wp a sequence of natural integers, the formal characteristic sequence of \wp, and we show that the value-semigroup, the multiplicity sequence and the formal characteristic sequence are equivalent data. Furthermore, we give a new proof that Γ_\wp is symmetric, and give a formula for c_\wp, the conductor of Γ_\wp, in terms of entries of the Hamburger-Noether tableau of \wp.

研究の動機と目的

• 2次元正則局所環内の単純完全 $π$-主イデアルについて、値半群、多重度列、形式的特徴的列の同値性を確立すること。
• 残余有理性の仮定の下で、値半群 $\Gamma_\wp$ が対称であることの新しい証明を与えること。
• 値半群 $\Gamma_\wp$ の導言 $c_{\wp}$ について、ハンブルガー＝ノイザー表のデータを用いた明示的公式を導出すること。
• 先行研究における欠落を明確にし、特にハンブルガー＝ノイザー表の構成とその半群計算への応用に関する修正を加えること。

提案手法

• イデアル $\wp$ のハンブルガー＝ノイザー表を、中心的な計算的・理論的道具として用いる。
• 多重度列と多重度間の整除条件から、再帰的に形式的特徴的列 $(\gamma_i(\wp))_{0\leq i\leq g}$ を構成する。
• HN表を用いて、半群列 $(r_i)$ と除数列 $(\theta_i)$ を導出し、これらは値半群 $\Gamma_\wp$ を厳密に生成する。
• 連続する $\gamma_i$ 値間の再帰的関係を用いて、形式的特徴的列と HN表の構造との関係を確立する。
• ホスキン＝デルーニの長さ公式を用いて、多重度列における 1 の個数を他の多重度の関数として表現する。
• 異なる HN表（例：$\operatorname{HN}(\wp;x,y)$ と $\operatorname{HN}(\wp^{R_1};x_1,y_1)$）間の導言公式を比較し、一貫性を検証し、主要な導言公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元正則局所環内の残余有理的単純完全イデアルについて、値半群、多重度列、形式的特徴的列は同値なデータか？
• RQ2 ハンブルガー＝ノイザー表を用いて、値半群 $\Gamma_\wp$ の対称性を再証明できるか？
• RQ3 値半群 $\Gamma_\wp$ の導言 $c_\wp$ について、ハンブルガー＝ノイザー表のデータを用いた正確な公式は何か？
• RQ4 多重度列と形式的特徴的列は、HN表を通してどのように構造的に関連しているか？
• RQ5 半群計算に用いるハンブルガー＝ノイザー表の先行構成において、どのような修正や明確化が必要か？

主な発見

• 残余有理的単純完全 $\mathfrak{m}$-主イデアルについて、値半群 $\Gamma_\wp$、多重度列 $(e_j(\wp))_{0\leq j\leq r}$、形式的特徴的列 $(\gamma_i(\wp))_{0\leq i\leq g}$ は同値なデータである。
• 値半群 $\Gamma_\wp$ は対称であり、本稿ではハンブルガー＝ノイザー表を用いて新たに証明された。
• 値半群 $\Gamma_\wp$ の導言 $c_\wp$ は、公式 $c_\wp = -r_0 + 1 + \sum_{j=1}^h r_j(\theta_j/\theta_{j+1} - 1)$ で与えられる。ここで $r_j$ と $\theta_j$ は HN表からの半群列と除数列である。
• $c_\wp$ の別表現として、$c_\wp = (q_1 - 1)(\theta_1 - 1) + \sum_{j=2}^h q_j(\theta_j - 1)$ が成り立ち、ここで $q_j$ は HN表からの商である。
• $c_\wp$ の第三の同値な公式は、$c_\wp = (p_1 - 1)(c_1 - 1) + \sum_{i=2}^\epsilon p_i(c_i - 1)$ であり、$p_i$ と $c_i$ は HN表の要素である。
• 本稿では、[3]における欠落を補い、HN表が有効であることを保証するための条件 $\theta_1 > \cdots > \theta_{g+1} = 1$ を追加した。