[論文レビュー] On the structure of the fiber cone of ideals with analytic spread one

Teresa Cortadellas, Santiago Zarzuela|ArXiv.org|Mar 2, 2006

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

ひとこと要約

この論文は、ネーター局inois環における解析的スパンが1のイデアルのファイバー代数を研究し、そのノエター正規化（一変数多項式環）上の加群構造を活用して、ファイバー代数の性質を完全に特徴づける。主な貢献は、ファイバー代数を加群として完全に記述することであり、これにより、重複度、還元数、カステルヌオーヴォ＝マウムフォード正則性、およびコhen-Macaulay／ゴレンシュタイン性といった不変量を、イデアル自体の性質から明示的に計算可能にする。

ABSTRACT

Foa a given local ring, we study the fiber cone of ideals with analytic spread one. In this case, the fiber cone has a strucure as a module over its Noether normalization which is a polynomial ring in one variable over the residue field. One may then apply the structure theorem for graded modules over a graded principal domain to get a complete descriptionof the fiber cone as a module. We analyze this structure in order to study and characterize in terms of the ideal itself the aritmetical properties and other numerical invariants of the fiber cone as multiplicity, reduction number or Castelnuovo-Mumford regularity.

研究の動機と目的

• 解析的スパンが1のネーター局inois環におけるイデアルのファイバー代数の構造を理解すること。
• 重複度、還元数、カステルヌオーヴォ＝マウムフォード正則性といった算術的および数値的不変量を、ファイバー代数の内在的性質を用いて特徴づけること。
• ファイバー代数がコhen-Macaulay、ゴレンシュタイン、またはブックスバウムであるための条件を、イデアル論的データに基づいて同定すること。
• ファイバー代数をそのノエター正規化（一変数多項式環）上で完全な加群論的記述すること。

提案手法

• 単一素イデアル環上の有限生成次数付き加群の構造定理を用いて、ファイバー代数をそのノエター正規化（剰余体上の一変数多項式環）上の加群として記述する。
• 次数付き加群の分解を適用して、ファイバー代数の不変量（ヒルベルト関数、重複度、還元数など）を分析する。
• 同型写像 $ F(I) \to F(I)/(a_1^0, \dots, a_{l-1}^0) $ を用いて、問題を解析的スパンが1の場合に還元する。
• $ \lambda(I^2 / JI) = 1 $ という等式を、$ \mathfrak{m} $-主イデアルにおけるコhen-Macaulay性の鍵となる条件として活用する。
• 公式 $ \sum_{i=0}^{d} (-1)^i \binom{d}{i} \mu(I^{n+1-i}) = 1 $ を用いて、特定の条件下でのファイバー代数のヒルベルト関数を特徴づける。
• 同型写像 $ I_{l-1}^n / (\mathfrak{m}_{l-1} I_{l-1}^n + a_l I_{l-1}^{n-1}) \cong I^n / (\mathfrak{m} I^n + J I^{n-1}) $ を用いて、ファイバー代数の構造とイデアルの最小生成元との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 解析的スパンが1のイデアル $ I $ に対して、そのファイバー代数 $ F(I) $ がコhen-Macaulayであるための条件は何か？
• RQ2 ファイバー代数 $ F(I) $ のカステルヌオーヴォ＝マウムフォード正則性は、イデアル $ I $ からどのように計算できるか？
• RQ3 ファイバー代数の重複度と、$ I $ のべきの生成数の間には、どのような明確な関係があるか？
• RQ4 ファイバー代数の還元数とヒルベルト関数は、イデアル $ I $ の不変量によって完全に特定可能か？
• RQ5 $ F(I) $ がゴレンシュタインまたはブックスバウムであるための条件は何か？ また、それらは $ I $ からどのように検出可能か？

主な発見

• ファイバー代数 $ F(I) $ がコhen-Macaulayであることと、$ \mathfrak{m}I^2 = J\mathfrak{m}I $ が成り立つことは、$ \lambda(I^2 / JI) = 1 $ の下で同値である。ここで $ J $ は $ I $ の最小還元である。
• $ \lambda(I^2 / JI) = 1 $ のとき、$ F(I) $ がコhen-Macaulayであれば、$ 1 \leq n \leq r(I) - 1 $ に対して、ヒルベルト関数は $ \sum_{i=0}^{d} (-1)^i \binom{d}{i} \mu(I^{n+1-i}) = 1 $ を満たす。
• ファイバー代数 $ F(I) $ のカステルヌオーヴォ＝マウムフォード正則性は、還元数 $ r(I) $ に等しく、すなわち $ \mathrm{reg}(F(I)) = r(I) $ が成り立つ。
• ファイバー代数の重複度は $ e(F(I)) = \sum_{i=0}^{l-1} \binom{l-1}{i} \mu(I^{r-i}) $ で与えられる。ここで $ l $ は解析的スパン、$ r $ は還元数である。
• ファイバー代数 $ F(I) $ がコhen-Macaulayであることと、すべての $ 1 \leq n \leq r(I) $ に対して $ \lambda(I^n / (\mathfrak{m}I^n + JI^{n-1})) = \sum_{i=0}^{l} (-1)^i \binom{l}{i} \mu(I^{n-i}) $ が成り立つことは同値である。
• ファイバー代数をそのノエター正規化上で加群として見たときの構造により、特に解析的スパンが1の場合に、その不変量をイデアル $ I $ から完全に再構成可能である。