[论文解读] Trivial Maximal 1-Orthogonal Subcategories For Auslander's 1-Gorenstein Algebras

Zhaoyong Huang, Xiaojin Zhang|ArXiv.org|Mar 4, 2009

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

一句话总结

本文证明，对于具有全局维数为二且存在平凡极大1-正交子范畴的Auslander 1-Gorenstein代数，其不可约模的投射维数与内射维数均等于1，且投射维数为2的模必为内射模。这表明此类代数必为倾斜代数，通过同调代数与逼近理论，将先前关于Auslander代数的结果推广至更广泛的Gorenstein代数类。

ABSTRACT

Let $Λ$ be an Auslander's 1-Gorenstein Artinian algebra with global dimension two. If $Λ$ admits a trivial maximal 1-orthogonal subcategory of $\modΛ$, then for any indecomposable module $M \in \mod Λ$, we have that the projective dimension of $M$ is equal to one if and only if so is its injective dimension and that $M$ is injective if the projective dimension of $M$ is equal to two. In this case, we further get that $Λ$ is a tilted algebra.

研究动机与目标

• 将具有平凡极大1-正交子范畴的代数的刻画从Auslander代数推广至更广义的Auslander 1-Gorenstein代数类。
• 研究具有全局维数为二且存在平凡极大1-正交子范畴的1-Gorenstein代数中不可约模的同调性质。
• 确定此类代数是否必须为倾斜代数，从而推广此前仅对Auslander代数成立的结果。
• 阐明在1-Gorenstein代数背景下，投射/内射维数与内射性之间的关系。

提出的方法

• 利用最小投射与内射解析式分析不可约模的同调维数。
• 应用子范畴中左、右逼近理论研究平凡极大1-正交子范畴中模的结构。
• 运用对偶性与Auslander-Reiten理论技术，特别是普通对偶$\mathbb{D}$与函子$(-)^*$。
• 应用引理2.10与引理3.6，通过$J(\Lambda)P$与$\mathop{\rm Hom}\nolimits(M,P)$的结构限制模的可能投射/内射维数。
• 利用无限递降子模链的反证法排除某些同调构型的可能性。
• 通过$\Lambda$与$\Lambda^{op}$之间的对偶性将结果从一侧推广至另一侧，利用1-Gorenstein代数的对称性。

实验结果

研究问题

• RQ1 在何种条件下，全局维数为二的Auslander 1-Gorenstein代数会存在平凡极大1-正交子范畴？
• RQ2 此类代数中不可约模的投射维数与内射维数之间存在何种精确关系？
• RQ3 即使代数不是Auslander代数，平凡极大1-正交子范畴的存在是否仍可迫使代数为倾斜代数？
• RQ4 单模及其对偶的同调维数如何约束代数及其模范畴的结构？

主要发现

• 对于具有平凡极大1-正交子范畴的全局维数为二的Auslander 1-Gorenstein代数$\Lambda$中的任意不可约模$M$，有$\mathop{\rm pd}\nolimits_{\Lambda}M = 1$当且仅当$\mathop{\rm id}\nolimits_{\Lambda}M = 1$。
• 若$\mathop{\rm pd}\nolimits_{\Lambda}M = 2$，则$M$为内射模。
• 代数$\Lambda$必为倾斜代数，即使其并非Auslander代数。
• 该结果推广了此前要求$\Lambda$为Auslander代数的定理，表明1-Gorenstein条件已足够。
• 论文中的例子验证了该定理：由具有$n \geq 4$个顶点及单个关系的有向图定义的代数$\Lambda$是1-Gorenstein代数，非Auslander代数，但仍存在平凡极大1-正交子范畴并满足维数条件。
• 证明依赖于通过无限递降子模链的反证法，排除了投射维数为2但非内射模的可能性。