[论文解读] A Note on Auslander Bounds

Jiaqun Wei|arXiv (Cornell University)|Feb 8, 2008

Algebraic structures and combinatorial models参考文献 16被引用 5

一句话总结

本文证明，对于artin代数R上的模M，若当i充分大时Ext^i_R(M, M ⊕ R)恒为零，则M的投射维数等于lAb|modRM——即modR中所有模的Ext消去的最小上界。该结果支持Auslander-Reiten猜想，并表明若对所有M都有lAb|modRM有限，则R满足Wakamatsu-tilting猜想与Auslander-Reiten猜想。

ABSTRACT

Let R be a ring and modR be the category of all left R-modules possessing of finitely generated projective resolutions. Let lAb|modRM denote the minimal nonnegative integer m (or ∞ if no such integer exists) such that Ext i R (M, N) = 0 for all i> m and all N ∈ modR satisfying Ext i R (M, N) = 0 for all sufficiently large i. Auslander once conjectured lAb|modRM < ∞ for every M ∈ modR for any artin algebra R, but it is now known that the Auslander Conjecture fails by a counterexample due to Jorgensen and Sega. We show that if M ∈ modR and Ext i R (M, M ⊕ R) = 0 for all sufficiently large i, then the projective dimension of M coincides with lAb|modRM. The result is clearly relational to the Auslander-Reitein Conjecture which states that that if M ∈ modR and Ext i R(M, M ⊕ R) = 0 for all i> 0 then M is projective. As corollaries, we obtain that if R satisfies the condition that lAb|modRM < ∞ for every M ∈ modR, then an equivalent version of the Wakamatsu-tilting Conjecture, particularly the Auslander-Reitein Conjecture, holds for R, i.e., an R-module T ∈ modR is tilting if and only if (1) Ext i R(T, T) = 0 for all i> 0 and (2) there is an exact sequence 0 → R → T0 · · · → Tn → 0 for some n, with each Ti ∈ addT. We also investigate the Gorenstein Symmetry Conjecture and the finitistic Auslander conjecture which is stronger than the finitistic dimension conjecture and give some partial answers and consequences.

研究动机与目标

• 研究当i充分大时Ext^i_R(M, M ⊕ R)的消去性与lAb|modRM有限性之间的关系。
• 确定lAb|modRM为有限的条件，并探讨其与Auslander-Reiten猜想的关系。
• 探讨lAb|modRM有限对Wakamatsu-tilting猜想及相关同调猜想的含义。
• 为Gorenstein对称猜想与finitistic Auslander猜想提供部分解答。

提出的方法

• 将lAb|modRM定义为最小的非负整数m，使得对所有满足Ext^i_R(M, N) = 0（当i足够大时）的N ∈ modR，均有Ext^i_R(M, N) = 0（对所有i > m）。
• 利用条件Ext^i_R(M, M ⊕ R) = 0（对所有充分大的i）证明pd(M) = lAb|modRM。
• 应用modR中投射序列与tilting模理论，分析tilting条件与Ext群消去之间的等价性。
• 通过证明lAb|modRM有限可推出R满足Wakamatsu-tilting猜想，建立其对Wakamatsu-tilting猜想的推论。
• 运用同调代数技巧，包括投射分解与Ext消去，推导出对Gorenstein对称猜想的结论。
• 以lAb|modRM框架为基础，研究finitistic Auslander猜想作为finitistic维数猜想的强化版本，探讨其与lAb|modRM的关系。

实验结果

研究问题

• RQ1 在何种条件下，模M的投射维数等于lAb|modRM？
• RQ2 当i充分大时Ext^i_R(M, M ⊕ R)的消去性如何与lAb|modRM的有限性相关？
• RQ3 若对所有M ∈ modR都有lAb|modRM < ∞，对Wakamatsu-tilting猜想与Auslander-Reiten猜想有何影响？
• RQ4 能否通过lAb|modRM框架部分解决Gorenstein对称猜想？
• RQ5 finitistic Auslander猜想与所有模中lAb|modRM的统一有限性有何关联？

主要发现

• 若对所有充分大的i都有Ext^i_R(M, M ⊕ R) = 0，则M的投射维数等于lAb|modRM。
• 若对所有M ∈ modR都有lAb|modRM有限，则R满足Wakamatsu-tilting猜想。
• 在相同有限性条件下，Auslander-Reiten猜想等价于通过Ext消去与有限投射分解表征tilting模的标准刻画。
• 本文通过lAb|modRM框架为Gorenstein对称猜想提供了部分支持。
• finitistic Auslander猜想被证明与modR中所有模的lAb|modRM的统一有限性相关。
• 该结果为模的投射性与tilting行为提供了新的同调判别准则。