[论文解读] Higher Auslander Algebras Admitting Trivial Maximal Orthogonal Subcategories

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

Algebraic structures and combinatorial models参考文献 19被引用 7

一句话总结

本文刻画了在 $\mathop{\rm mod}\nolimits\Lambda$ 中存在平凡最大 $(n-1)$-正交子范畴的高阶 Auslander 代数。证明此类代数必为所有非分解模的投射或内射维数至多为 $n-1$ 的 Nakayama 代数，并完全分类了具有该性质的有限维基本连通 $(n-1)$-Auslander 代数的 quiver 与关系。

ABSTRACT

For an Artinian $(n-1)$-Auslander algebra $Λ$ with global dimension $n(\geq 2)$, we show that if $Λ$ admits a trivial maximal $(n-1)$-orthogonal subcategory of $\modΛ$, then $Λ$ is a Nakayama algebra and the projective or injective dimension of any indecomposable module in $\modΛ$ is at most $n-1$. As a result, for an Artinian Auslander algebra with global dimension 2, if $Λ$ admits a trivial maximal 1-orthogonal subcategory of $\modΛ$, then $Λ$ is a tilted algebra of finite representation type. Further, for a finite-dimensional algebra $Λ$ over an algebraically closed field $K$, we show that $Λ$ is a basic and connected $(n-1)$-Auslander algebra $Λ$ with global dimension $n(\geq 2)$ admitting a trivial maximal $(n-1)$-orthogonal subcategory of $\modΛ$ if and only if $Λ$ is given by the quiver: $$\xymatrix{1 & \ar[l]_{β_{1}} 2 & \ar[l]_{β_{2}} 3 & \ar[l]_{β_{3}} ... & \ar[l]_{β_{n}} n+1} $$ modulo the ideal generated by $\{β_{i}β_{i+1}| 1\leq i\leq n-1 \}$. As a consequence, we get that a finite-dimensional algebra over an algebraically closed field $K$ is an $(n-1)$-Auslander algebra with global dimension $n(\geq 2)$ admitting a trivial maximal $(n-1)$-orthogonal subcategory if and only if it is a finite direct product of $K$ and $Λ$ as above. Moreover, we give some necessary condition for an Artinian Auslander algebra admitting a non-trivial maximal 1-orthogonal subcategory.

研究动机与目标

• 确定在 $\mathop{\rm mod}\nolimits\Lambda$ 中存在平凡最大 $(n-1)$-正交子范畴的高阶 Auslander 代数的结构约束。
• 刻画在代数闭域上具有此类子范畴的有限维基本连通 $(n-1)$-Auslander 代数。
• 建立存在平凡最大 $(n-1)$-正交子范畴的必要与充分条件，针对投射维数为 $n$ 的单模。
• 提供此类代数的完整 quiver 与关系描述，表明其为 $K$ 与特定路径代数模关系的直积。
• 阐明同调性质——尤其是单模的投射与内射维数——在决定最大正交子范畴存在性中的作用。

提出的方法

• 分析具有平凡最大 $(n-1)$-正交子范畴的高阶 Auslander 代数中非分解模的同调性质。
• 利用极小态射与 syzygy 模研究投射维数为 $n$ 的单模的结构。
• 证明此类单模的极小投射解析式中所有项均为非分解模，且 syzygy 为单模。
• 建立非投射-非内射非分解模的投射维数与内射维数之和恰好为 $n$，因此两者维数均至多为 $n-1$。
• 应用 Nakayama 代数的分类，推导出在给定条件下代数必为 Nakayama 代数。
• 显式构造代数的 quiver 与关系：线性 quiver $1 \to 2 \to \cdots \to n+1$ 模掉由 $\{\beta_i\beta_{i+1} \mid 1 \leq i \leq n-1\}$ 生成的理想，并证明此结构刻画了基本连通情形。

实验结果

研究问题

• RQ1 具有全局维数 $n$ 的 Artinian $(n-1)$-Auslander 代数在何种条件下会存在平凡最大 $(n-1)$-正交子范畴？
• RQ2 此类代数上非分解模——尤其是单模——的同调性质为何？
• RQ3 具有平凡最大 $(n-1)$-正交子范畴的有限维基本连通 $(n-1)$-Auslander 代数的精确 quiver 与关系结构为何？
• RQ4 投射维数为 $n$ 的单模的投射与内射维数如何影响最大正交子范畴的存在性？
• RQ5 能否仅通过最大投射维数的单模的性质来刻画平凡最大 $(n-1)$-正交子范畴的存在性？

主要发现

• 若一个 Artinian $(n-1)$-Auslander 代数 $\Lambda$ 具有全局维数 $n \geq 2$ 且存在平凡最大 $(n-1)$-正交子范畴，则 $\Lambda$ 必为 Nakayama 代数。
• 对任意满足 $\mathop{\rm pd}\nolimits_\Lambda S = n$ 的单模 $S$，其第 $i$ 个 syzygy 对所有 $1 \leq i \leq n$ 均为单模，且其极小投射解析式中所有项均为非分解模。
• 在 $\mathop{\rm mod}\nolimits\Lambda$ 中，任意非投射-非内射非分解模的投射维数与内射维数之和恰好为 $n$，因此两者维数均至多为 $n-1$。
• 对有限维基本连通 $(n-1)$-Auslander 代数 $\Lambda$（定义在代数闭域上），$\Lambda$ 存在平凡最大 $(n-1)$-正交子范畴当且仅当其由 quiver $1 \to 2 \to \cdots \to n+1$ 模掉由 $\{\beta_i\beta_{i+1} \mid 1 \leq i \leq n-1\}$ 生成的理想给出。
• 有限维 $(n-1)$-Auslander 代数 $\Lambda$（定义在代数闭域上）存在平凡最大 $(n-1)$-正交子范畴当且仅当其为 $K$ 与上述 quiver 及关系所描述代数的有限直积。
• 当 $n=2$ 时，具有全局维数 2 且存在平凡最大 1-正交子范畴的 Artinian Auslander 代数为有限表示型的倾斜代数。