[論文レビュー] Amalgamated algebras along an ideal

Marco D’Anna, Carmelo Antonio Finocchiaro+1 more|ArXiv.org|Jan 13, 2009

Rings, Modules, and Algebras参考文献 11被引用数 27

ひとこと要約

本稿では、$A+XB[X]$、$D+M$、ナガタの理想化、およびアンマルゲーテッド二重化を含む古典的環拡大を統一する一般化された構成である、合成代数 $A \Join^f J$ を導入し、その性質を研究する。$A \Join^f J$ がプルバックとして生じることを確立し、その有限性性質を特徴づける。$A \Join^f J$ がノエター的であることの必要十分条件は、$A$ がノエター的で、$J$ が $B$ のイデアルとして冪等的であることであることが示され、既存の結果を一般化する。

ABSTRACT

Let $f:A o B$ be a ring homomorphism and $J$ an ideal of $B$. In this paper, we initiate a systematic study of a new ring construction called the "amalgamation of $A$ with $B$ along $J$ with respect to $f$". This construction finds its roots in a paper by J.L. Dorroh appeared in 1932 and provides a general frame for studying the amalgamated duplication of a ring along an ideal, introduced and studied by D'Anna and Fontana in 2007, and other classical constructions such as the $A+ XB[X]$ and $A+ XB[[X]]$ constructions, the CPI-extensions of Boisen and Sheldon, the $D+M$ constructions and the Nagata's idealization.

研究の動機と目的

• $A+XB[X]$、$D+M$、ナガタの理想化、およびアンマルゲーテッド二重化といった古典的環構成を、一つの代数的枠組みに統一・一般化すること。
• 合成代数 $A \Join^f J$ がプルバック構成として得られることを研究し、その代数的性質を体系的に分析すること。
• $A \Join^f J$ の有限性条件（特にノエター的性）を、基本環 $A$、イデアル $J$、および準同型 $f$ の観点から特徴づけること。
• アーマンゲーション過程が、$A+XJ[X]$ や関連構成における既知の結果を一般化・拡張することを示すこと、特にイデアルの冪等性の文脈において。

提案手法

• 合成代数 $A \Join^f J := \{(a, f(a)+j) \mid a \in A, j \in J\} \subseteq A \times B$ を定義する。これは積環 $A \times B$ の部分環である。
• $A \Join^f J$ が $A \times_B (B/J)$ の形のプルバックと同型であることを示し、普遍性を確立することで、$A$、$B$、$J$ からの性質の転送が可能になる。
• ドロホの型の構成 $A \dot{\oplus} \mathcal{R}$ を用いて、$A \Join^f J$ を単位元を持つ環として実現し、$A$ と $J$ を部分環として埋め込む。
• ヒルベルトの基底定理を適用して、$A$ がノエター的で $J$ が $B$ の冪等イデアルであるとき、$A \Join^f J$ がノエター的であることを証明する。これは多項式拡張におけるイデアルの有限生成性に基づく。
• $A \Join^f J$ の有限生成イデアルを、$A$ と $J$ からの生成元を引き上げることで特徴づけ、$A \Join^f J$ を $A$-加群としての構造を分析する。
• $A \Join^f J$ がノエター的であることの必要十分条件が、$A$ がノエター的で $J$ が $B$ の冪等イデアルであることであることを、中谷の補題とイデアルの引き上げ技術を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 合成代数 $A \Join^f J$ がノエター的であるための条件は何か？
• RQ2 $A \Join^f J$ は、$A+XB[X]$、$D+M$、およびナガタの理想化といった古典的構成とどのように関係しているか？
• RQ3 $A \Join^f J$ はプルバックとして特徴づけられるか？また、このようなアーマンゲーションから生じるプルバックが成立するための必要十分条件は何か？
• RQ4 冪等イデアルが $A \Join^f J$ の有限性性質を決定づける役割を果たすのはどのような場合か？
• RQ5 $J$ が $A$-加群として有限生成であることと、$A \Join^f J$ のノエター的性との関係は何か？

主な発見

• $A \Join^f J$ がノエター的であることの必要十分条件は、$A$ がノエター的で、$J$ が $B$ のイデアルとして冪等的であることである。この構成におけるノエター的性の完全な特徴づけが得られた。
• $A \Join^f J$ の構成は、環のアンマルゲーテッド二重化、$A+XB[X]$ 構成、$D+M$ 構成、およびナガタの理想化を特別な場合として含む一般化である。
• $A \Join^f J$ は $A \times_B (B/J)$ の形のプルバックとして実現可能であり、すべてのこのようなプルバックがアーマンゲーションから生じる条件は、命題 4.9 で特徴づけられている。
• $B$ がノエター的でなくても、$A$ がノエター的で $J$ が $B$ の冪等イデアルであれば、$A \Join^f J$ はノエター的である。例 5.17(2) で示されている。
• 標準的準同型 $A \hookrightarrow B[\mathbf{X}]/(\mathbf{X}J[\mathbf{X}])$ が有限であることは、$J = B$ かつ $A \subseteq B$ が有限であることと同値であり、$A \Join^f J \subseteq B[\mathbf{X}]$ が有限拡張である条件を特定する。
• $J$ が $A$-加群として有限生成であることと、$J$ が $B$ のイデアルとして有限生成かつ $J^2 = J$ であることは同値である。これは $A \Join^f J$ のノエター的性にとって不可欠な条件である。