[论文解读] A Note on Gorenstein Projective Conjecture II

Xiaojin Zhang|arXiv (Cornell University)|Nov 23, 2012

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

一句话总结

本文建立了 Gorenstein 投射猜想的左右对称性，并通过证明在 CM-有限代数上，任何自正交的不可约 Gorenstein 投射模必为投射模，从而证明该猜想成立。此外，本文还表明，猜想中的上同调消失条件无法被弱化，提供了对一个简化条件的关键反例。

ABSTRACT

In this paper, we prove that Gorenstein projective conjecture is left and right symmetric and the co-homology vanishing condition can not be reduced in general. Moreover, the Gorenstein projective conjecture is proved to be true for CM-finite algebras.

研究动机与目标

• 研究 Gorenstein 投射猜想是否在左模与右模之间具有对称性。
• 确定猜想中的上同调消失条件是否可被简化为有限个消失的 Ext 群。
• 在 Auslander-Reiten 猜想仍为开放问题的 CM-有限代数上，确立 Gorenstein 投射猜想的有效性。

提出的方法

• 利用函子 $(-)^* = \mathrm{Hom}(-,\Lambda)$ 对 Gorenstein 投射模及其对偶之间的对偶性进行研究，表明其保持自正交性。
• 在 $\mathscr{D}$ 和 $\mathscr{C}$ 中的模上应用挠函子 $\Omega$，并利用其在稳定范畴上的全忠实性与等价性性质。
• 通过 $\underline{\mathrm{Hom}}$ 和 $\mathrm{Ext}^i(M,M) \simeq \underline{\mathrm{Hom}}(\Omega^i M, M)$ 使用稳定 Hom 与 Ext 同构，将不同挠次数上的 Ext 消失性联系起来。
• 利用 CM-有限代数中仅有有限多个不可约 Gorenstein 投射模的事实，若存在非投射的自正交模，则构造出一个无限长的非同构挠链，从而导出矛盾。
• 应用 Auslander-Bridger 理论及 Auslander 转置 $\mathrm{Tr} M$ 的性质，建立模结构与上同调消失性之间的联系。
• 综合运用上述工具，证明在 CM-有限代数上，任何自正交的不可约 Gorenstein 投射模必为投射模，从而在该情形下证明了猜想。

实验结果

研究问题

• RQ1 Gorenstein 投射猜想是否具有左右对称性，即其对左模成立是否蕴含对右模也成立？
• RQ2 Gorenstein 投射猜想中 $\mathrm{Ext}_\Lambda^i(M,M) = 0$ 对所有 $i \geq 1$ 的条件，是否可被替换为仅对有限多个 $i$ 成立？
• RQ3 尽管更广泛的 Auslander-Reiten 猜想对该类代数仍为开放问题，Gorenstein 投射猜想是否在 CM-有限代数上成立？
• RQ4 是否存在一个代数使得 Gorenstein 投射猜想成立，但 Auslander-Reiten 猜想仍未知？
• RQ5 虚拟 Gorenstein 代数是否满足 Gorenstein 投射猜想？

主要发现

• Gorenstein 投射猜想具有左右对称性：若其对左模成立，则对右模也成立。
• Gorenstein 投射猜想中的上同调消失条件无法被弱化；构造出一个反例，其中 $\mathrm{Ext}_\Lambda^i(M,M) = 0$ 对 $1 \leq i \leq t$ 成立，但对所有 $i \geq 1$ 不成立，而 $M$ 并非投射模。
• 在 CM-有限代数上，任何自正交的不可约 Gorenstein 投射模必为投射模，因此 Gorenstein 投射猜想成立。
• 该猜想已在仅包含有限多个自正交不可约 Gorenstein 投射模的代数类上得到验证，该类包括 CM-有限代数。
• 证明依赖于构造一个无限长的非同构挠链 $\Omega^i M$，除非 $M$ 为投射模，否则将导致矛盾。
• 该结果意味着，对于 CM-有限代数，即使 Auslander-Reiten 猜想仍为开放问题，Gorenstein 投射猜想依然成立。