[论文解读] Induced and Coinduced Modules in Cluster-Tilted Algebras

Ralf Schiffler, Khrystyna Serhiyenko|arXiv (Cornell University)|Oct 7, 2014

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

一句话总结

本文引入了归纳与余归纳函子，以关联倾斜代数 $C$ 及其对应的丛-倾斜代数 $B = C \ltimes \operatorname{Ext}^2_C(DC, C)$ 的模范畴。证明了 $DE$ 是一个部分倾斜且 $\tau_C$-刚性 $C$-模，其诱导模 $DE \otimes_C B$ 是一个部分倾斜且 $\tau_B$-刚性 $B$-模，从而通过同调工具在两个代数之间建立起范畴桥梁。

ABSTRACT

We propose a new approach to study the relation between the module categories of a tilted algebra $C$ and the corresponding cluster-tilted algebra $B=C\ltimes E$. This new approach consists of using the induction functor $-\otimes_C B$ as well as the coinduction functor $D(B\otimes_C D-)$. We show that $DE$ is a partial tilting and a $τ$-rigid $C$-module and that the induced module $DE\otimes_C B$ is a partial tilting and a $τ$-rigid $B$-module. Furthermore, if $C= ext{End}_A T$ for a tilting module $T$ over a hereditary algebra $A$, we compare the induction and coinduction functors to the Buan-Marsh-Reiten functor $ ext{Hom}_{\mathcal{C}_A}(T,-)$ from the cluster-category of $A$ to the module category of $B$. We also study the question which $B$-modules are actually induced or coinduced from a module over a tilted algebra.

研究动机与目标

• 建立一个关于倾斜代数 $C$ 与丛-倾斜代数 $B = C \ltimes E$ 的模范畴之间关系的新范畴框架。
• 研究归纳与余归纳函子如何通过双模 $E = \operatorname{Ext}^2_C(DC, C)$ 联系 $C$ 与 $B$ 的表示理论。
• 将归纳与余归纳函子与 Buan-Marsh-Reiten 等价 $\operatorname{Hom}_{\mathcal{C}_A}(T, -)$（从丛范畴到 $\operatorname{mod} B$）进行比较。
• 确定哪些 $B$-模可由 $C$-模诱导或余归纳而来，特别是在挠与无挠子范畴的背景下。

提出的方法

• 使用归纳函子 $- \otimes_C B$ 与余归纳函子 $D(B \otimes_C D-)$ 来关联 $\operatorname{mod} C$ 与 $\operatorname{mod} B$。
• 分析 $C$-模 $DE = D(\operatorname{Ext}^2_C(DC, C))$ 作为部分倾斜且 $\tau_C$-刚性模的性质。
• 证明诱导模 $DE \otimes_C B$ 是一个部分倾斜且 $\tau_B$-刚性 $B$-模。
• 将归纳函子与 BMR 等价 $\operatorname{Hom}_{\mathcal{C}_A}(T, -)$ 在挠子范畴 $\mathcal{T}(T) \subseteq \operatorname{mod} A$ 上进行比较。
• 利用对偶 $D = \operatorname{Hom}_k(-, k)$ 将余归纳表示为 $D(B \otimes_C D-)$，从而实现基于对偶的分析。
• 研究 $B$ 的 Auslander–Reiten 图，以识别那些不能由 $C$-模诱导或余归纳而来的模。

实验结果

研究问题

• RQ1 归纳与余归纳函子如何关联倾斜代数 $C$ 与其丛-倾斜代数 $B = C \ltimes E$ 的模范畴？
• RQ2 哪些 $B$-模可由 $C$-模诱导或余归纳而来？其结构特征是什么？
• RQ3 归纳与余归纳函子在多大程度上与 Buan–Marsh–Reiten 等价 $\operatorname{Hom}_{\mathcal{C}_A}(T, -)$ 交换？
• RQ4 $DE$ 作为 $C$-模的同调意义是什么？其在 $\operatorname{mod} B$ 中的诱导像行为如何？
• RQ5 是否存在 Auslander–Reiten 图中既非由 $C$-模诱导也非余归纳而来的 $B$-模？

主要发现

• $C$-模 $DE = D(\operatorname{Ext}^2_C(DC, C))$ 是一个部分倾斜且 $\tau_C$-刚性模。
• 诱导的 $B$-模 $DE \otimes_C B$ 是一个部分倾斜且 $\tau_B$-刚性 $B$-模。
• 余归纳的模 $D(B \otimes_C DE)$ 是一个部分余倾斜且 $\tau_B$-余刚性 $B$-模。
• 归纳函子在挠子范畴 $\mathcal{T}(T)$ 上与 BMR 等价交换，满足 $\operatorname{Hom}_A(T, M) \otimes_C B \cong \operatorname{Hom}_{\mathcal{C}_A}(T, M)$，其中 $M \in \mathcal{T}(T)$。
• 余归纳函子在无挠子范畴 $\mathcal{F}(T)$ 上与 BMR 等价交换，满足 $D(B \otimes_C D\operatorname{Ext}^1_A(T, M)) \cong \operatorname{Ext}^1_{\mathcal{C}_A}(T, M)$，其中 $M \in \mathcal{F}(T)$。
• 存在 $B$-模位于 Auslander–Reiten 图中（如管状图中粗体网格内的模），它们既非由任何 $C$-模诱导也非余归纳而来，且此类模在管状图中无限次出现。