[论文解读] Characterizing τ-rigid-finite algebras with radical square zero

Takahide Adachi|arXiv (Cornell University)|Jan 7, 2014

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

一句话总结

本文通过分离quiver的结构，刻画了具有平方零根的τ-挠自由有限代数，推广了Gabriel对表示有限代数的刻画。研究证明，此类代数是τ-挠自由有限的当且仅当其分离quiver的每一个子quiver都是Dynkin quivers的不相交并，从而给出了一个完整的组合准则，并建立了τ-挠自由模与子quiver上某些τ-挠自由模之间的双射。

ABSTRACT

In this paper, we give a characterization of tau-rigid-finite algebras with radical square zero in terms of the separated quivers, which is an analog of a famous characterization of representation-finite algebras with radical square zero.

研究动机与目标

• 将具有平方零根的表示有限代数的Gabriel刻画推广至τ-挠自由有限代数。
• 利用分离quiver构造，提供τ-挠自由有限性的组合准则。
• 解决Zhang提出的问题：何时所有不可约模都是τ-挠自由的？
• 构造τ-挠自由有限但非表示有限的代数的显式例子，特别是无重数的Brauer循环图代数。

提出的方法

• 定义具有平方零根的代数$\Lambda$的分离quiver $Q^{\operatorname{s}\nolimits}$，对每个$i \in Q_0$设顶点$i^+, i^-$，对原quiver $Q$中每条边$i \to j$，添加边$i^+ \to j^-$。
• 利用稳定等价$F: \underline{\mathsf{mod}}\,\Lambda \to \underline{\mathsf{mod}}\,KQ^{\operatorname{s}\nolimits}$，将$\Lambda$-模与$KQ^{\operatorname{s}\nolimits}$-模联系起来。
• 建立一个判别准则：$\Lambda$-模$X$是τ-挠自由的当且仅当$FX$在$KQ^{\operatorname{s}\nolimits}$中是τ-挠自由的，且$\mathsf{add}\,P_0^X \cap \mathsf{add}\,P_1^X = 0$，其中$P_1^X \to P_0^X \to X \to 0$是其极小投射表示。
• 引入集合$\mathcal{S}^+$，即$Q^{\operatorname{s}\nolimits}$的连通单子quiver（对每个$i$，至多包含一个$i^+, i^-$），并排除单个顶点$i^-$，定义$\mbox{\rm$\tau$-rigid}^\operatorname{o}\nolimits KQ'$为投影表示覆盖整个代数的τ-挠自由模集合。
• 构造自然双射$\mbox{\rm$\tau$-rigid}\,\Lambda \to \coprod_{Q' \in \mathcal{S}^+} \mbox{\rm$\tau$-rigid}^\operatorname{o}\nolimits KQ'$，将$\Lambda$的τ-挠自由模与子quiver的τ-挠自由模联系起来。
• 应用该判别准则对τ-挠自由有限代数进行分类，特别分析Brauer循环图代数及其分离quiver。

实验结果

研究问题

• RQ1 何时一个具有平方零根的有限维代数是τ-挠自由有限的？
• RQ2 分离quiver的何种组合条件可刻画τ-挠自由有限性？
• RQ3 若一个代数的所有不可约模都是τ-挠自由的，是否必为有限表示型？
• RQ4 我们能否构造出τ-挠自由有限但非表示有限的代数的例子？
• RQ5 无重数Brauer循环图代数的不可约τ-挠自由模集合的精确基数是多少？

主要发现

• 具有平方零根的代数$\Lambda$是τ-挠自由有限的当且仅当其分离quiver的每一个子quiver都是Dynkin quivers的不相交并。
• 不可约τ-挠自由$\Lambda$-模的同构类集合与所有连通单子quiver$Q' \in \mathcal{S}^+$的集合$\mbox{\rm$\tau$-rigid}^\operatorname{o}\nolimits KQ'$的不交并之间存在自然双射，其中$KQ'$上的模具有覆盖整个代数的投影表示。
• 对于quiver为长度$n$的环的代数$\Lambda$，所有不可约$\Lambda$-模都是τ-挠自由的当且仅当$n$为奇数，此时$|\mbox{\rm$\tau$-rigid}\,\Lambda| = n^2$。
• 对于具有$n$个顶点的无重数Brauer循环图代数$\Gamma$，$\Gamma$是τ-挠自由有限的当且仅当$n$为奇数，此时$|\mbox{\rm$\tau$-rigid}\,\Gamma| = 2n^2 - n$。
• 本文对Zhang的问题给出了肯定回答：若每个不可约$\Lambda$-模都是τ-挠自由的，则$\Lambda$是表示有限的。
• 本文构造了一个显式例子：当$n$为奇数时，无重数Brauer循环图代数是τ-挠自由有限但非表示有限的。