[论文解读] A Homological dimension related to AB rings

Tokuji Araya|arXiv (Cornell University)|Apr 20, 2012

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

一句话总结

本文引入了AB-维数，这是一种与AB环（满足Auslander条件的Gorenstein环）紧密相关的新型同调不变量。研究证明AB-维数满足深度公式，并位于CI-维数与G-维数之间；有限AB-维数意味着此类模满足Auslander-Reiten猜想。关键成果是证明：若模M具有有限AB-维数且Ext^{>0}(M,M)=0，则M是自由模。

ABSTRACT

There are many homological dimensions which are closely related to ring theoretic properties. The notion of a AB ring has been introduced by Huneke and Jorgensen. It has nice homological properties. In this paper, we shall define a homological dimension which is closely related to a AB ring, and investigate its properties.

研究动机与目标

• 定义一种新的同调维数AB-维数，以捕捉AB环的结构性质。
• 研究AB-维数与现有同调维数（如CI-维数与G-维数）之间的关系。
• 建立AB-维数有限的条件，并通过模论性质刻画AB环。
• 证明满足Ext^{>0}(M,M)=0的有限AB-维数模是自由模，从而支持Auslander-Reiten猜想。

提出的方法

• AB-维数定义为G-维数与P_R(M)的上确界之和，其中P_R(M) = sup{P_R(M,N) | N ∈ M^⊥}。
• 论文使用极小自由化解析和芽模来分析Ext模的行为，并定义P_R(M,N)。
• 应用Cohen-Macaulay逼近及完全反射模的性质，将AB-维数与深度及G-维数关联起来。
• 利用Ext消去与深度公式的引理，证明AB-维数满足深度公式：当有限时，AB-dim_R(M) = depth R - depth M。
• 定理1.3的证明采用反证法：假设M不是自由模，则Ext^1(M,ΩM)非零，与给定条件下P_R(M,ΩM)=0矛盾。
• 论文通过在非Cohen-Macaulay环上构造一个周期模的反例，证明AB-dim > G-dim的情况确实可能发生。

实验结果

研究问题

• RQ1 在交换诺特局部环上，给定模的AB-维数在何时有限？
• RQ2 AB-维数在同调维数链中与CI-维数和G-维数有何关系？
• RQ3 如何通过模类在扩张下封闭且具有有限AB-维数的性质来刻画AB环？
• RQ4 条件Ext^{>0}(M,M)=0是否意味着有限AB-维数模为自由模？
• RQ5 AB-维数能否用于验证或拓展Auslander-Reiten猜想？

主要发现

• AB-维数满足深度公式：若AB-dim_R(M) < ∞，则AB-dim_R(M) = depth R - depth M。
• 对任意模M，有CI-dim_R(M) ≥ AB-dim_R(M) ≥ G-dim_R(M)，确立了同调维数层次中的新位置。
• 若R-模M具有有限AB-维数且Ext^{>0}_R(M,M)=0，则M是自由模，从而证实了Auslander-Reiten猜想的一个特例。
• 存在AB-维数无限但G-维数有限的模，表明AB-维数严格强于G-维数。
• 当R为完备交环时，R是AB环，且所有模均具有有限AB-维数，推广了关于Gorenstein环的已知结果。
• 有限AB-维数模的类在扩张下封闭，当且仅当R是Gorenstein环，且所有有限长度模的AB-维数有限。