[论文解读] 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

一句话总结

本文引入并研究了广群代数 $A﫞{f}﫞{J}$，这是理想化和 $D+M$ 环等经典环构造的推广。它完全描述了 $A﫞{f}﫞{J}$ 的素谱，刻画了其为局部环的条件，并在 $J$ 作为 $f(A)+J$ 的理想满足有限性条件时，给出了其嵌入维数的精确公式；此外，当该环为局部诺特环时，还给出了其为科恩-麦克aul伊或戈伦斯坦环的条件。

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$ 为科恩-麦克aul伊或戈伦斯坦环的条件，尤其在局部诺特情形下。
• 修正并完善早期结果，明确识别出缺失的假设 $B = f(A) + J$，并在更弱的假设下提供嵌入维数的精确公式。

提出的方法

• 利用上积构造将 $A\!\Join^{f}\!J$ 视为 $A \times B$ 的子环，借助交换代数中的已知结果进行分析。
• 通过自然投影 $p_A$ 和 $p_B$ 以及这些映射的核结构，刻画 $A\!\Join^{f}\!J$ 中素理想的性质。
• 应用典范同态 $\gamma: A\!\Join^{f}\!J \to (f(A)+J)/J$，将 $A\!\Join^{f}\!J$ 的谱与 $f(A)+J$ 的谱联系起来。
• 利用 Nakayama 引理和模论论证，分析 $A\!\Join^{f}\!J$ 中极大理想的最小生成集。
• 通过极大理想模其平方的最小生成集，显式计算嵌入维数，利用分解 $\mathcal{G} = \{(m_i, f(m_i)), (0, j_h)\}$。
• 通过研究局部情形下的典范模和示性数，分析科恩-麦克aul伊与戈伦斯坦性质。

实验结果

研究问题

• RQ1 广群代数 $A\!\Join^{f}\!J$ 的素谱的完整结构是什么？
• RQ2 在何种条件下 $A\!\Join^{f}\!J$ 是局部环？
• RQ3 当 $A\!\Join^{f}\!J$ 为局部诺特环时，其嵌入维数的精确值是多少，特别是当 $J$ 作为 $f(A)+J$ 的理想是有限生成时？
• RQ4 在何种条件下 $A\!\Join^{f}\!J$ 是科恩-麦克aul伊或戈伦斯坦环？
• 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)$ 的不相交并集之间存在双射，且对纤维有精确条件。
• 环 $A\!\Join^{f}\!J$ 是局部环当且仅当 $A$ 是局部环且 $f(A)+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)$ 表示 $J$ 在 $f(A)+J$ 中的最小生成元个数。
• 即使 $B \neq f(A)+J$，只要 $J$ 作为 $f(A)+J$ 的理想有限生成，该嵌入维数公式依然成立，从而修正了早期研究中的漏洞。
• 若 $A\!\Join^{f}\!J$ 是科恩-麦克aul伊环，则其示性数为 $e(A\!\Join^{f}\!J) = e(A) + e(f(A)+J)$，在适当条件下成立。
• 在假设 $A$ 局部且 $J$ 作为 $f(A)+J$ 的理想有限生成时，环 $A\!\Join^{f}\!J$ 是科恩-麦克aul伊（相应地，戈伦斯坦）环当且仅当 $A$ 是科恩-麦克aul伊（相应地，戈伦斯坦）环且 $f(A)+J$ 是科恩-麦克aul伊（相应地，戈伦斯坦）环。