[論文レビュー] Tangent cone of numerical semigroup rings with small embedding dimension

Yi-Huang Shen|arXiv (Cornell University)|Aug 15, 2008

Commutative Algebra and Its Applications参考文献 12被引用数 5

ひとこと要約

本稿は、埋め込み次元が小さい数値的半群環の接錐について調査し、埋め込み次元3の場合の BuchsbaumおよびCohen-Macaulay性を特徴づけ、埋め込み次元4の場合の Gorenstein性を特徴づけている。主な結果として、埋め込み次元が4で接錐が Gorensteinであるとき、定義イデアルの初期形イデアルが正確に5つの生成元によって生成されることを示している。

ABSTRACT

Abstract. In this paper, we study the tangent cone of numerical semigroup rings with small embedding dimension d. For d = 3, we give characterizations of the Buchsbaum and Cohen-Macaulay properties and for d = 4, we give a characterization of the Gorenstein property. In particular, when d = 4 and the tangent cone is Gorenstein, the initial form ideal of the defining ideal is 5-generated.

研究の動機と目的

• 埋め込み次元が小さい数値的半群環の接錐の構造を理解すること。
• 埋め込み次元が3の場合に、接錐が Buchsbaum または Cohen-Macaulay であるための条件を特定すること。
• 埋め込み次元が4の場合に、接錐が Gorenstein であるための特徴づけをすること。
• 埋め込み次元が4で接錐が Gorenstein である場合の、定義イデアルの初期形イデアルの分析。

提案手法

• 接錐を研究するために、数値的半群環の定義イデアルの初期形を分析すること。
• Cohen-Macaulay 性や Buchsbaum 性といった代数的不変量を用いて、接錐構造を分類すること。
• 組合せ論的およびホモロジー代数的技法を用いて、埋め込み次元4の場合の Gorenstein 条件を特徴づけること。
• 初期形イデアルの最小生成集合に注目し、その生成数を特定すること。
• 数値的半群の構造を用いて、問題を扱いやすい代数的条件に還元すること。
• 埋め込み次元4で接錐が Gorenstein であるとき、初期形イデアルが5生成であることを確立すること。

実験結果

リサーチクエスチョン

• RQ1 埋め込み次元3の数値的半群環の接錐が Buchsbaum または Cohen-Macaulay であるための条件は何か？
• RQ2 埋め込み次元4の数値的半群環の接錐がいつ Gorenstein になるか？
• RQ3 埋め込み次元4で接錐が Gorenstein であり、かつ定義イデアルの初期形イデアルの最小生成数は何か？
• RQ4 接錐のホモロジー的性質は、対応する数値的半群の組合せ論的構造とどのように関係するか？

主な発見

• 埋め込み次元3の場合、本稿は接錐が Buchsbaum または Cohen-Macaulay であるための完全な特徴づけを提供している。
• 埋め込み次元4の場合、本稿は接錐の Gorenstein 性について明確な特徴づけを与えている。
• 埋め込み次元が4で接錐が Gorenstein であるとき、定義イデアルの初期形イデアルは正確に5つの生成元によって生成される。
• Gorenstein の場合、埋め込み次元4の初期形イデアルの構造は完全に決定されており、生成数は固定されている。