[论文解读] Representations of quivers over the algebra of dual numbers

Claus Michael Ringel, Pu Zhang|arXiv (Cornell University)|Dec 8, 2011

Algebraic structures and combinatorial models被引用 9

一句话总结

本文研究了在对偶数代数 $k[\epsilon]$ 上的概形表示，表明完美微分 $kQ$-模的范畴构成一个弗罗贝尼乌斯范畴，其稳定范畴同构于有界导出范畴 $D^b(\text{mod } kQ)$ 的轨道范畴 $D^b(\text{mod } kQ)/[1]$。主要贡献在于构造了一个从 $\Lambda = kQ[\epsilon]$-模范畴到 $\text{mod } kQ$ 的全满同调函子 $H$，该函子在稳定范畴中诱导出 indecomposable 对象之间的双射，其应用涵盖 Auslander-Reiten 理论与 Gorenstein 同调代数。

ABSTRACT

The representations of a quiver Q over a field k have been studied for a long time. It seems to be worthwhile to consider also representations of Q over arbitrary finite-dimensional k-algebras A. Here we draw the attention to the case when A = k[ε] is the algebra of dual numbers, thus to the Λ-modules with Λ= kQ[ε]. The algebra Λ is a 1-Gorenstein algebra, therefore the torsionless Λ-modules are known to be of special interest (as the Gorenstein-projective or maximal Cohen-Macaulay modules). They form a Frobenius category \Cal L, thus the corresponding stable category is a triangulated category. As we show, the category \Cal L is the category of perfect differential kQ-modules and the stable category of \Cal L is triangle equivalent to the orbit category of the derived category D^b(mod kQ) modulo the shift. The homology functor H from mod Λ to \mod kQ yields a bijection between the indecomposables in the stable category of \Cal L and those in mod kQ. Our main interest lies in the inverse, it is given by the minimal \Cal L-approximation. Also, we determine the kernel of the restriction of the functor H to \Cal L and we describe the Auslander-Reiten quiver of \Cal L.

研究动机与目标

• 分析在对偶数代数 $k[\epsilon]$ 上的概形 $Q$ 的表示范畴，识别其结构与同调性质。
• 建立完美微分 $kQ$-模的稳定范畴与有界导出范畴 $D^b(\text{mod } kQ)$ 的轨道范畴之间的对应关系。
• 刻画同调函子 $H: \text{mod } \Lambda \to \text{mod } kQ$ 及其在挠无模子范畴中 indecomposable 模的行为。
• 描述完美微分 $kQ$-模范畴及其稳定范畴的 Auslander-Reiten 图形。

提出的方法

• 使用代数 $\Lambda = kQ[\epsilon] = kQ[T]/(T^2)$，将 $\Lambda$-模识别为在 $k[\epsilon]$ 上的 $Q$-表示。
• 应用 Gorenstein 同调代数：由于 $\Lambda$ 是 1-Gorenstein，挠无 $\Lambda$-模的范畴 $L$ 构成一个弗罗贝尼乌斯范畴。
• 构造同调函子 $H: \text{mod } \Lambda \to \text{mod } kQ$，其在每个顶点与箭头上定义为 $H(M) = \ker(\epsilon)/\operatorname{im}(\epsilon)$。
• 将轨道范畴 $D^b(\text{mod } kQ)/[1]$ 用作完美微分 $kQ$-模的稳定范畴的三角范畴模型。
• 应用覆盖理论与群分次代数技术，将 $kQ$ 上的完美复形与完美微分 $kQ$-模联系起来。
• 利用最小 $L$-逼近构造同调函子的逆映射，实现从同调重构 $\Lambda$-模。

实验结果

研究问题

• RQ1 同调函子 $H$ 在 $\Lambda = kQ[\epsilon]$-模范畴上如何表现，特别是在完美微分 $kQ$-模子范畴上？
• RQ2 完美微分 $kQ$-模的稳定范畴与轨道范畴 $D^b(\text{mod } kQ)/[1]$ 之间存在何种关系？
• RQ3 是否能通过何种构造从同调重构 indecomposable $\Lambda$-模？
• RQ4 完美微分 $kQ$-模范畴的 Auslander-Reiten 图形与其稳定范畴的图形之间有何关联？
• RQ5 同调函子 $H$ 限制在挠无 $\Lambda$-模子范畴 $L$ 上时，其核的结构如何？

主要发现

• 完美微分 $kQ$-模的范畴构成一个弗罗贝尼乌斯范畴，其稳定范畴是三角范畴，且同构于轨道范畴 $D^b(\text{mod } kQ)/[1]$。
• 同调函子 $H: \text{mod } \Lambda \to \text{mod } kQ$ 限制在完美微分 $kQ$-模的稳定范畴上时，是一个全满函子，且在稳定范畴中 indecomposable 对象的同构类与 $\text{mod } kQ$ 中的同构类之间诱导出双射。
• 完美微分 $kQ$-模的稳定范畴的 Auslander-Reiten 图形通过同调函子包含 $\text{mod } kQ$ 的 Auslander-Reiten 图形的全嵌入。
• $H$ 限制在挠无 $\Lambda$-模子范畴 $L$ 上的核由在微分模结构中同伦等价于零的模构成。
• 对于固定的维数向量 $r$，要么恰好存在一个 indecomposable 完美微分 $kQ$-模满足 $\dim H(M) = r$，要么存在一个 1-参数族的此类模。
• 一般而言，同调函子 $H$ 并不保持 $\text{mod } \Lambda$ 上所有模的 indecomposability，反例表明存在 $M$ 为 indecomposable 但 $H(M)$ 为可约的情形。