[论文解读] Properties of chains of prime ideals in an amalgamated algebra along an ideal

Marco D’Anna, Carmelo Antonio Finocchiaro+1 more|arXiv (Cornell University)|Jan 4, 2010

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

一句话总结

本文研究了在黏合代数 $A\Join^{f}J$ 中素理想链的结构，这是 $A+XB[X]$ 和 $D+M$ 等构造的推广。本文根据 $A$、$B$ 和理想 $J$ 的维数，为 $A\Join^{f}J$ 的克鲁尔维数提供了精确的上界和下界，推广并改进了关于积分域形式 $A+XB[X]$ 和 $A+XB[[X]]$ 等特定情形的已有结果。主要贡献是一个统一且扩展了已知边界的维数公式，适用于广泛的代数框架。

ABSTRACT

Let $f:A o 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$ (denoted by ${A\Join^fJ}$), a construction that 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]$, the $A+ XB[[X]]$ and the $D+M$ constructions). In particular, we completely describe the prime spectrum of the amalgamated duplication and we give bounds for its Krull dimension.

研究动机与目标

• 通过拉回构造研究黏合代数 $A\Join^{f}J$ 沿理想 $J$ 的素谱及其链性质。
• 推广并改进现有对 $A\Join^{f}J$ 的克鲁尔维数边界的估计，适用于 $A+XB[X]$、$A+XB[[X]]$ 和 $D+M$ 等经典构造。
• 利用 $A$、$B$、$J$ 和同态 $f$ 的结构，为分析 $A\Join^{f}J$ 的克鲁尔维数提供统一框架。
• 通过拉回和理想理论不变量 $\delta_{(f,J)}$ 与 $\dim(U)$ 的视角，刻画 $A\Join^{f}J$ 中素理想及其链的行为。

提出的方法

• 黏合代数 $A\Join^{f}J$ 定义为 $A \times B$ 的子环 $\{(a, f(a)+j) \mid a \in A, j \in J\}$，推广了复制构造和 $D+M$ 构造。
• 通过拉回图分析该构造，利用已知的拉回结果研究 $A\Join^{f}J$ 中的素理想和链结构。
• 利用公式 $\dim(A\Join^{f}J) \leq \max\{\dim(A), \dim(A/f^{-1}(J)) + \min\{\dim(B), 1 + \dim(U)\}\}$ 对 $A\Join^{f}J$ 的克鲁尔维数进行界定，其中 $U = B/J$。
• 引入不变量 $\delta_{(f,J)}$，用于度量 $B$ 中不包含 $J$ 的素理想链的最大长度，以改进维数估计。
• 利用从 $A\Join^{f}J$ 到 $A$ 和 $f(A)+J$ 的典范投影 $p_A$ 和 $p_B$，将黏合环中的理想与 $A$ 和 $B$ 中的理想联系起来。
• 通过具体例子（如赋值域上的 $D+M$）验证并说明边界，表明其紧致性。

实验结果

研究问题

• RQ1 在 $A$、$B$、$J$ 和 $f$ 的参数下，黏合代数 $A\Join^{f}J$ 的克鲁尔维数的精确上下界是什么？
• RQ2 在 $A\Join^{f}J$ 中的素理想链如何与 $A$、$B$ 和商环 $B/J$ 中的链相关？
• RQ3 能否在 $A\Join^{f}J$ 框架内推广并改进 $A+XB[X]$ 和 $D+M$ 等特殊情况的维数边界？
• RQ4 $\delta_{(f,J)}$ 不变量在确定 $A\Join^{f}J$ 的克鲁尔维数中起什么作用？
• RQ5 在何种条件下 $\dim(A\Join^{f}J) = \dim(U)$ 或 $\dim(A) + 1 + \delta_{(f,J)}$ 成立？

主要发现

• 黏合代数 $A\Join^{f}J$ 的克鲁尔维数满足上界 $\dim(A\Join^{f}J) \leq \max\{\dim(A), \dim(A/f^{-1}(J)) + \min\{\dim(B), 1 + \dim(U)\}\}$，其中 $U = B/J$。
• 下界 $\dim(A\Join^{f}J) \geq \max\{\dim(A) + 1 + \delta_{(f,J)}, \dim(U)\}$ 成立，其中 $\delta_{(f,J)}$ 为 $B$ 中不包含 $J$ 的素理想链的最大长度。
• 当 $f$ 是满射时，有 $\dim(A\Join^{f}J) \geq \max\{\dim(A) + 1 + \delta_{(f,J)}, \dim(B/J)\}$，且在特定构造中可达到等式。
• 对于 $D+M$ 构造，其中 $D$ 是维数为 $d$ 的整环，$M$ 是赋值域 $V$ 的极大理想，且 $V=K+\mathfrak{M}$，有 $\dim(D+M) = \max\{m+d, n\}$，其中 $m = \dim(V)$，$n = \dim(W)$，$W$ 是另一个赋值域。
• 当 $n > m+d$ 时，$\dim(D+M) = \dim(U)$，表明 $\dim(U)$ 的边界可以是紧致的。
• 这些边界是紧致的，并推广了 $A+XB[X]$ 和 $A+XB[[X]]$ 的已知结果，改进了文献中先前的估计。