[论文解读] Cohen-Macaulay injective, projective, and flat dimension

Henrik Holm, Peter Jørgensen|ArXiv.org|May 27, 2004

Algebraic structures and combinatorial models参考文献 9被引用 3

一句话总结

本文通过在平凡扩张 $A\ltimes C$ 上使用 Gorenstein 同调维数（其中 $C$ 是一个半对偶模），将 Cohen-Macaulay 内射、投射和平坦维数引入为交换诺特环的同调不变量。关键结果是：这些维数的有限性刻画了具有对偶模的 Cohen-Macaulay 环，以类似于 Gorenstein 同调代数的方式统一并扩展了经典同调理论。

ABSTRACT

We define three new homological dimensions - Cohen-Macaulay injective, projective, and flat dimension - which inhabit a theory similar to that of classical injective, projective, and flat dimension. Finiteness of the new dimensions characterizes Cohen-Macaulay rings with dualizing modules.

研究动机与目标

• 将经典的同调维数（内射、投射、平坦）扩展到 Cohen-Macaulay 设置，以类似于 Gorenstein 同调维数的成功方式。
• 定义新的不变量——Cohen-Macaulay 内射、投射和平坦维数，以捕捉 Cohen-Macaulay 环上模的同调行为。
• 建立在环 $A$ 上这些维数的有限性等价于 $A$ 是具有对偶模的 Cohen-Macaulay 环。
• 提供一个类似于 Gorenstein 同调代数的框架，但针对 Cohen-Macaulay 情况进行调整，使用半对偶模和平凡扩张。

提出的方法

• 将 Cohen-Macaulay 维数定义为所有 $A$ 的半对偶模 $C$ 的平凡扩张 $A\ltimes C$ 上 Gorenstein 维数的下确界。
• 利用平凡扩张环 $A\ltimes C$ 来‘改变环’，并计算 $A\ltimes C$ 上复形的 Gorenstein 内射、投射和平坦维数。
• 利用半对偶模 $C$ 的性质——其中 $\operatorname{Hom}_A(C,C) \cong A$ 且 $\operatorname{Ext}^i_A(C,C) = 0$ 对于 $i \geq 1$——来控制新维数的行为。
• 应用 Gorenstein 同调代数和 Cohen-Macaulay 维数理论中的已知结果（例如来自 [6] 和 [3] 的结果）来关联新维数与经典不变量。
• 使用 G-维数的 Auslander-Buchsbaum 公式，推导出 Cohen-Macaulay 投射维数的类似公式。
• 建立新维数多个有限性条件之间的等价性，表明它们均刻画了对偶模的存在性。

实验结果

研究问题

• RQ1 何时一个有限生成模的 Cohen-Macaulay 投射维数是有限的，它衡量什么？
• RQ2 新定义的 Cohen-Macaulay 维数与经典 Gorenstein 维数和 Cohen-Macaulay 维数有何关系？
• RQ3 环 $A$ 需要满足什么条件，才能使得某些典型复形（如 Koszul 复形、对偶复形）的 Cohen-Macaulay 内射、投射和平坦维数是有限的？
• RQ4 新维数能否用于刻画具有对偶模的 Cohen-Macaulay 环？
• RQ5 是否存在类似于经典 Auslander-Buchsbaum 公式的 Cohen-Macaulay 投射维数公式？

主要发现

• 若对某个极大理想序列上的 Koszul 复形 $K(x_1,\ldots,x_r)$，有 $\operatorname{CMid}_A M$ 和 $\operatorname{CMid}_A K(x_1,\ldots,x_r)$ 有限，则 $A$ 是具有对偶模的 Cohen-Macaulay 环。
• 若对剩余域的内射包 $E_A(k)$ 或对偶复形 $D$，有 $\operatorname{CMpd}_A E_A(k)$ 和 $\operatorname{CMpd}_A D$ 有限，则 $A$ 是具有对偶模的 Cohen-Macaulay 环。
• Cohen-Macaulay 投射维数满足 Auslander-Buchsbaum 公式：当有限时，有 $\operatorname{CMpd}_A M = \operatorname{depth}_A A - \operatorname{depth}_A M$。
• 对于局部环 $A$，有 $\operatorname{CMdim}_A M \leq \operatorname{CMpd}_A M \leq \operatorname{Gdim}_A M$，若其中任意一个为有限，则三者相等。
• 若对某个半对偶模 $C$，有 $\operatorname{Gpd}_{A\ltimes C} M < \infty$，则 $\operatorname{CMdim}_A M = \operatorname{Gpd}_{A\ltimes C} M$，将新维数与经典 Gorenstein 理论联系起来。
• Cohen-Macaulay 维数的所有有限性条件均等价，并刻画了 $A$ 上对偶模的存在性。