[论文解读] Derived Picard Groups of Finite Dimensional Hereditary Algebras

Jun-ichi Miyachi, Amnon Yekutieli|ArXiv.org|Apr 2, 1999

Algebraic structures and combinatorial models参考文献 24被引用 11

一句话总结

该论文通过在无限 quiver 上的忠实表示，刻画了有限维遗传代数 A = kΔ（定义在域 k 上）的导出 Picard 群 DPic_k(A)。当 Δ 为树时，DPic_k(A) 是离散的；否则，其商群中可能包含一个连通的线性代数群。该群与 D^b(Mod A) 的 k-线性三角自同构全范畴一致，从而可通过三角等价性计算非交换空间的导出范畴中的自同构。

ABSTRACT

Let A be an algebra over a field k, and denote by D^b(Mod A) the bounded derived category of left A-modules. The derived Picard group DPic_k(A) is the group of triangle auto-equivalences of D^b(Mod A) induced by tilting complexes. We study the group DPic_k(A) when A = k Δis the path algebra of a finite quiver Δ. We obtain general results on the structure of DPic_k(A), as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic_k(A) on a certain infinite quiver. This representation is faithful whenΔis a tree, and then DPic_k(A) is discrete. Otherwise a connected linear algebraic group can occur as a factor of DPic_k(A). When A is hereditary, DPic_k(A) coincides with the full group of k-linear triangle auto-equivalences of D^b(Mod} A). Hence we can calculate the group of such auto-equivalences for any triangulated category D equivalent to D^b(Mod A). These include the derived categories of certain noncommutative spaces introduced by Kontsevich-Rosenberg.

研究动机与目标

• 确定有限维遗传代数 A = kΔ（定义在域 k 上）的导出 Picard 群 DPic_k(A) 的结构。
• 理解有界导出范畴 D^b(Mod A) 的 k-线性三角自同构群。
• 将 DPic_k(A) 的计算扩展至有限型与 tame 型表示类型的代数。
• 建立 DPic_k(A) 为离散群或其商群中包含连通线性代数群的条件。
• 通过三角等价性，为非交换空间的导出范畴中的自同构计算提供一个框架。

提出的方法

• 在路径代数 kΔ 关联的无限 quiver 上构造 DPic_k(A) 的表示。
• 利用倾斜复形在 D^b(Mod A) 中诱导三角自同构，从而生成 DPic_k(A)。
• 分析该表示的核与像，以确定其在 Δ 为树时是否为忠实表示。
• 运用表示理论与导出范畴的技术，根据 quiver 对称性与群作用对自同构进行分类。
• 利用如下事实：对于遗传代数，DPic_k(A) 等于 D^b(Mod A) 的所有 k-线性三角自同构的全群。
• 借助三角等价性，计算 Kontsevich-Rosenberg 引入的非交换空间的导出范畴中的自同构。

实验结果

研究问题

• RQ1 对于定义在域 k 上的有限维遗传代数 A = kΔ，其导出 Picard 群 DPic_k(A) 的结构是什么？
• RQ2 DPic_k(A) 在无限 quiver 上的表示在何种情况下是忠实的？这对其群的离散性有何含义？
• RQ3 当 quiver Δ 中存在环路时，DPic_k(A) 的代数结构如何受到影响？
• RQ4 在何种情况下，DPic_k(A) 的商群同构于一个连通线性代数群？
• RQ5 如何利用 DPic_k(A) 计算与 D^b(Mod A) 三角等价的导出范畴中 k-线性三角自同构群？

主要发现

• 当有限 quiver Δ 为树时，导出 Picard 群 DPic_k(A) 是离散的，因为其在无限 quiver 上的表示是忠实的。
• 当 Δ 包含环路时，DPic_k(A) 的商群中可能同构于一个连通线性代数群。
• 当 A 为遗传代数时，导出 Picard 群 DPic_k(A) 与 D^b(Mod A) 的所有 k-线性三角自同构的全群一致。
• 为所有有限型与 tame 型表示类型的遗传代数，提供了 DPic_k(A) 的显式计算。
• 该方法可通过与 D^b(Mod A) 的三角等价性，实现对非交换空间的导出范畴中自同构的计算。
• 群 DPic_k(A) 在无限 quiver 上忠实作用，且该作用决定了群结构（至同构）。