[論文レビュー] 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射影的予想が左加群と右加群の両方に対して対称的かどうかを調査すること。
• Gorenstein射影的予想におけるコホモロジー的消失条件が、有限個の消失Ext群にまで簡略化可能かどうかを特定すること。
• CM-有限代数に対してGorenstein射影的予想の妥当性を確立すること。ただし、このクラスではAuslander-Reiten予想が未解決のままである。

提案手法

• 関手 $(-)^* = \mathrm{Hom}(-,\Lambda)$ を用いて、Gorenstein射影的加群とその双対の間の双対性を用い、自己直交性が保たれることを示している。
• カテゴリ $\mathscr{D}$ および $\mathscr{C}$ の加群に syzygy 関手 $\Omega$ を適用し、安定カテゴリ上で完全忠実かつ同値である性質を活用している。
• 安定ホモロジーおよび安定Ext同型 $\underline{\mathrm{Hom}}$ および $\mathrm{Ext}^i(M,M) \simeq \underline{\mathrm{Hom}}(\Omega^i M, M)$ を用いて、syzygyを介したExt消失の関係を確立している。
• CM-有限代数では、非分解Gorenstein射影的加群が有限個しか存在しないため、非射影的な自己直交的加群が存在すると仮定して、無限個の同型でないsyzygyの鎖を構成し、矛盾を導いている。
• Auslander-Bridger理論およびAuslander転置 $\mathrm{Tr} M$ の性質を用いて、加群構造とコホモロジー的消失の関係を関係づけている。
• これらの道具を統合し、CM-有限代数上の任意の自己直交的で非分解なGorenstein射影的加群が射影的でなければならないことを示しており、この場合の予想の成立を証明している。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein射影的予想は、左加群に対して成り立つならば右加群に対しても成り立つという意味で左右対称的か？
• RQ2 Gorenstein射影的予想における条件 $\mathrm{Ext}_\Lambda^i(M,M) = 0$（すべての $i \geq 1$ に対して）が、有限個の $i$ のみで消失する条件に置き換え可能か？
• RQ3 CM-有限代数に対してGorenstein射影的予想は成り立つか。ただし、このクラスでは一般のAuslander-Reiten予想が未解決のままである。
• 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-有限代数が含まれる。
• 証明は、非同型なsyzygyの無限鎖 $\Omega^i M$ を構成することで行われ、$M$ が射影的でなければ矛盾が生じる。
• この結果により、CM-有限代数では、Auslander-Reiten予想が未解決のままでも、Gorenstein射影的予想が成り立つことが示された。