[論文レビュー] Bi-Amalgamated algebras along ideals

S. Kabbaj, K. Louartit+1 more|arXiv (Cornell University)|Jul 26, 2014

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

ひとこと要約

本稿では、環のホモモルフィズム $ f: A \to B $, $ g: A \to C $ およびイデアル $ J \subseteq B $, $ J' \subseteq C $ を用いて、積 $ B \times C $ の部分環として構成される、新しい可換環の構成である二重結合代数（bi-amalgamated algebras）を導入し、その性質を研究する。主な貢献は、このような代数が局域的（local）であるための必要十分条件の特定であり、$ A \bowtie^{f,g}(J,J') $ が局域的であることと、$ A $ が局域的であり、かつ $ J \times J' \subseteq \text{Jac}(B \times C) $ であることが同値であることを示している。これは、既存の結合倍加（amalgamated duplications）や結合代数（amalgamated algebras）に関する結果を一般化するものである。

ABSTRACT

Let $f: A ightarrow B$ and $g: A ightarrow C$ be two commutative ring homomorphisms and let $J$ and $J'$ be two ideals of $B$ and $C$, respectively, such that $f^{-1}(J)=g^{-1}(J')$. The \emph{bi-amalgamation} of $A$ with $(B, C)$ along $(J, J')$ with respect to $(f,g)$ is the subring of $B imes C$ given by $$A\bowtie^{f,g}(J,J'):=\big\{(f(a)+j,g(a)+j') \mid a\in A, (j,j')\in J imes J'\big\}.$$ This paper investigates ring-theoretic properties of \emph{bi-amalgamations} and capitalizes on previous works carried on various settings of pullbacks and amalgamations. In the second and third sections, we provide examples of bi-amalgamations and show how these constructions arise as pullbacks. The fourth section investigates the transfer of some basic ring theoretic properties to bi-amalgamations and the fifth section is devoted to the prime ideal structure of these constructions. All new results agree with recent studies in the literature on D'Anna-Finocchiaro-Fontana's amalgamations and duplications.

研究の動機と目的

• 二つのホモモルフィズムと二つのイデアルを用いて、二重モジュールに類似た積構造としての結合代数の一般化を図ること。
• 二重結合代数への基本的な環論的性質（例：局所性、素イデアルなど）の移行を調査すること。
• 二重結合代数とプルバック（pullbacks）の間の関係、特に導出平方（conductor squares）との関連を確立すること。
• 既知の結合倍加や結合代数に関する結果を、より広いクラスの構成にまで拡張すること。

提案手法

• 環 $ A \bowtie^{f,g}(J,J') $ を、$ a \in A $, $ j \in J $, $ j' \in J' $ に対して $ (f(a)+j, g(a)+j') $ の形の元からなる $ B \times C $ の部分環として定義する。但し $ f^{-1}(J) = g^{-1}(J') $ を満たすものとする。
• 適切な条件下で、プルバック構成を用いて、二重結合代数が自然にファイバー積（fiber products）として現れることを示す。
• 環 $ B \times C $ のジャコブソン根基を特徴づけ、$ J \times J' \subseteq \text{Jac}(B \times C) $ が成り立つ条件を分析することで、局所性の条件を明らかにする。
• 局所化の公式を確立する：$ J \times J' $ を含む素イデアル $ P $ に対して、$ (A \bowtie^{f,g}(J,J'))_P \cong A_p \bowtie^{f_p,g_p}(J_S, J'_{S'}) $ が成り立つ。但し $ S = f(A \setminus p) + J $, $ S' = g(A \setminus p) + J' $ である。
• 二重結合代数 $ A \bowtie^{f,g}(J,J') $ が局域的であることと、$ A $ が局域的であり、$ J \times J' \subseteq \text{Jac}(B \times C) $ であることが同値であることを証明する。これは、既知の結合倍加に関する結果を一般化する。
• 導出平方の枠組みを用いて、$ A \bowtie^{f,g}(J,J') $ の構造がその局所化や素イデアルスぺクトラムとどのように関係するかを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 二重結合代数 $ A \bowtie^{f,g}(J,J') $ が局域環であるのはいつか？
• RQ2 局所性、可縮性（reducedness）、ネーター性といった環論的性質が、基本環 $ A $ やイデアル $ J, J' $ から二重結合代数へどのように移行するか？
• RQ3 二重結合代数 $ A \bowtie^{f,g}(J,J') $ の素イデアル構造は何か？ また、$ A $, $ B $, $ C $ の素イデアルとどのように関係するか？
• RQ4 二重結合代数はプルバックとして表現可能か？ もしそうなら、どのような条件下で成立するか？
• RQ5 $ J \times J' $ を含む素イデアルにおける $ A \bowtie^{f,g}(J,J') $ の局所化はどのように振る舞い、その構造は何か？

主な発見

• 二重結合代数 $ A \bowtie^{f,g}(J,J') $ が局域的であることと、基本環 $ A $ が局域的であり、かつ積イデアル $ J \times J' $ が $ B \times C $ のジャコブソン根基に含まれること（$ J \times J' \subseteq \text{Jac}(B \times C) $）であることが同値である。
• この構成は、結合代数 $ A \bowtie^f J $ および結合倍加 $ A \bowtie I $ の両方を一般化しており、既存の結果を特別な場合として回復する。
• イデアル $ J \times J' $ を含む $ A \bowtie^{f,g}(J,J') $ の素イデアルは、$ I_o = f^{-1}(J) = g^{-1}(J') $ を含む $ A $ の素イデアル $ p \subseteq A $ と一対一対応し、$ P = p \bowtie^{f,g}(J,J') $ と表される。
• このような素イデアル $ P $ における $ A \bowtie^{f,g}(J,J') $ の局所化は、$ A_p \bowtie^{f_p,g_p}(J_S, J'_{S'}) $ に同型である。但し $ S = f(A \setminus p) + J $, $ S' = g(A \setminus p) + J' $ である。
• この構成は自然にプルバックとして現れ、ファイバー積構造のおかげで導出平方の記述が可能となり、古典的な可換環論の枠組みと結びつく。
• これらの結果は、D’Anna-Finocchiaro-Fontana の結合に関する最近の文献と整合的であり、特に素スぺクトラムやイデアル論的性質の観点から、それらを拡張している。