[论文解读] Bi-Amalgamated algebras along ideals

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

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

一句话总结

本文引入并研究了双合并代数（bi-amalgamated algebras），这是一种通过环同态 $ f: A \to B $、$ g: A \to C $ 以及理想 $ J \subseteq B $、$ J' \subseteq C $ 构造的交换环新方法，其构造为 $ B \times C $ 的子环，且满足 $ f^{-1}(J) = g^{-1}(J') $。主要贡献在于给出了此类代数为局部环的刻画：当且仅当 $ A $ 是局部环且 $ J \times J' \subseteq \text{Jac}(B \times C) $ 时，$ A \bowtie^{f,g}(J,J') $ 为局部环，该结果推广了关于合并复制（amalgamated duplications）和代数的早期结果。

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') $ 定义为 $ B \times C $ 的子环，其元素形如 $ (f(a)+j, g(a)+j') $，其中 $ a \in A $，$ j \in J $，$ j' \in J' $，且满足 $ 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 局部性、可约性、诺特性等环论性质如何从基环 $ 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 $ 的雅可比根中。
• 该构造推广了合并代数 $ 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 $ 之间存在双射关系，且 $ P = p \bowtie^{f,g}(J,J') $。
• 在该类素理想 $ P $ 处的局部化同构于 $ 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 的合并构造的文献一致，并在其素谱与理想论性质的背景下得到拓展。