[論文レビュー] Algebraic and topological properties of an amalgamated algebra along an ideal

Marco D’Anna, Carmelo Antonio Finocchiaro+1 more|arXiv (Cornell University)|Dec 13, 2013

Rings, Modules, and Algebras参考文献 6被引用数 3

ひとこと要約

本稿は、理想化や $D+M$ 環といった環構成の一般化である、合成代数 $A\!\Join^{f}\!J$ を導入し、その性質を研究する。本稿は、$A\!\Join^{f}\!J$ の素スペクトルを完全に記述し、それが局所環である条件を同定し、埋め込み次元の正確な公式を提示する。さらに、局所ネーター環の場合に、Cohen-Macaulay および Gorenstein 性質を満たす条件も提示する。

ABSTRACT

Let $f:A ightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we study the amalgamation of $A$ with $B$ along $J$ with respect to $f$, a construction that provides a general frame for studying the amalgamated duplication of a ring along an ideal, introduced by D'Anna and Fontana in 2007, and other classical constructions (such as the $A+ XB[X]$, the $A+ XB[\![X]\!]$ and the $D+M$ constructions). In particular, we completely describe the prime spectrum of the amalgamation and, when it is a local Noetherian ring, we study its embedding dimension and when it turns to be a Cohen-Macaulay ring or a Gorenstein ring.

研究の動機と目的

• 合成代数 $A\!\Join^{f}\!J$ が、理想化や $D+M$ 環といった古典的環構成の一般化であることに基づき、その包括的な代数的および位相的解析を提供すること。
• 合成代数 $A\!\Join^{f}\!J$ の素スペクトルを完全に記述し、それが局所環である条件を同定すること。
• $J$ が $f(A)+J$ のイデアルとして有限生成であるという有限性条件の下で、$A\!\Join^{f}\!J$ が局所ネーター環である場合の埋め込み次元を特定すること。
• 特に局所ネーター環の場合に、$A\!\Join^{f}\!J$ が Cohen-Macaulay または Gorenstein 環であるための条件を確立すること。
• 以前の結果の誤りを是正し、明示的に欠落していた仮定 $B = f(A) + J$ を特定し、より弱い仮定の下でも正確な埋め込み次元の公式を提供すること。

提案手法

• 可換代数の既知の結果を活用し、$A\!\Join^{f}\!J$ を $A \times B$ の部分環として、引き戻し構成を用いて分析すること。
• 自然な射影 $p_A$ および $p_B$ と、これらの写像の核構造を用いて、$A\!\Join^{f}\!J$ の素イデアルを特徴付けること。
• $A\!\Join^{f}\!J$ のスペクトルと $f(A)+J$ のスペクトルとの関係を、標準的ホモモルフィズム $\gamma: A\!\Join^{f}\!J \to (f(A)+J)/J$ を用いて関係づけること。
• Nakayama の補題と加群論的議論を用いて、$A\!\Join^{f}\!J$ の極大イデアルの極小生成集合を分析すること。
• 極大イデアルをその平方で割った剰余環における極小生成集合を用いて、埋め込み次元を明示的に計算する。分解 $\mathcal{G} = \{(m_i, f(m_i)), (0, j_h)\}$ を用いる。
• 局所の場合の Cohen-Macaulay 性質と Gorenstein 性質を、正規双対加群と多重度の研究を通じて分析すること。

実験結果

リサーチクエスチョン

• RQ1 合成代数 $A\!\Join^{f}\!J$ の素スペクトルの完全な構造は何か？
• RQ2 $A\!\Join^{f}\!J$ が局所環であるための条件は何か？
• RQ3 $A\!\Join^{f}\!J$ が局所ネーター環である場合、特に $J$ が $f(A)+J$ のイデアルとして有限生成であるとき、その埋め込み次元の正確な値は何か？
• RQ4 $A\!\Join^{f}\!J$ が Cohen-Macaulay または Gorenstein 環であるのはいつか？
• RQ5 仮定 $B = f(A)+J$ を超えて、埋め込み次元の公式を是正し、一般化することは可能か？

主な発見

• 合成代数 $A\!\Join^{f}\!J$ の素スペクトルは完全に記述された：$\operatorname{Spec}(A\!\Join^{f}\!J)$ は、$\operatorname{Spec}(A)$ と $\operatorname{Spec}(f(A)+J)\setminus \operatorname{Spec}(f(A)+J)$ の disjoint な和集合に双対的であり、ファイバーに関する明確な条件が付随する。
• $A\!\Join^{f}\!J$ が局所環であるための必要十分条件は、$A$ が局所環であり、$f(A)+J$ が局所環であることである。このとき、$A\!\Join^{f}\!J$ の極大イデアルは $M^\prime_f = \iota(M) + \{0\} \times J$ である。
• もし $A$ が極大イデアル $M$ をもつ局所環であり、$J$ が $f(A)+J$ のイデアルとして有限生成ならば、$A\!\Join^{f}\!J$ の埋め込み次元は $\operatorname{embdim}(A) + \nu(J)$ に等しい。ここで $\nu(J)$ は $f(A)+J$ における $J$ の最小生成数を表す。
• 埋め込み次元の公式は、$B \neq f(A)+J$ であっても、$J$ が $f(A)+J$ のイデアルとして有限生成であれば成り立つ。これは、以前の研究における欠落を是正するものである。
• もし $A\!\Join^{f}\!J$ が Cohen-Macaulay であるならば、適切な条件下でその多重度は $e(A\!\Join^{f}\!J) = e(A) + e(f(A)+J)$ で与えられる。
• $A\!\Join^{f}\!J$ が Cohen-Macaulay（resp. Gorenstein）であるための必要十分条件は、$A$ が Cohen-Macaulay（resp. Gorenstein）であり、$f(A)+J$ が Cohen-Macaulay（resp. Gorenstein）であることである。この結果は、$A$ が局所環であり、$J$ が $f(A)+J$ 上で有限生成であるという仮定の下で成り立つ。