[论文解读] On the derived Picard group of the Brauer star algebra

Alexandra Zvonareva|arXiv (Cornell University)|Jan 27, 2014

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

一句话总结

本文确定了类型为 (n,t) 的 Brauer 星代数（t > 1 时）的导出 Picard 群，表明其由移位函子、代数的 Picard 群以及满足仿射 A_{n-1} 图上 braid 群关系的一组自同构 {H_i} 生成。在无重数情况下，需要稍大一些的生成集，从而解决了 Schaps 与 Zakay-Illouz 提出的关于导出 Picard 群是否可被 braid 群生成元、移位函子和 Pic(A) 完全生成的问题。

ABSTRACT

In this paper we show that the derived Picard group $TrPic(A)$ of the Brauer star algebra of type $(n,t)$ is generated by shift, $Pic(A)$ and equivalences $\{H_i\}_{i=1}^n$ in the case $t>1$, where $H_i$ were shown to satisfy the relations of the braid group on the affine diagram $\widetilde{A}_{n-1}$ by Schaps and Zakay-Illouz. In the multiplicity free case we show that $TrPic(A)$ is generated by a slightly bigger set.

研究动机与目标

• 确定 Brauer 星代数类型 (n,t) 的导出 Picard 群 TrPic(A) 的结构。
• 解决 Schaps 与 Zakay-Illouz 提出的问题：当重数 t ≠ 1 时，braid 群生成元、移位函子和 Pic(A) 是否能生成整个导出 Picard 群。
• 将 Brauer 树代数中导出等价与 tilting 变换的先前结果推广至任意重数的情形。
• 阐明 tilting 变换在生成导出 Picard 群中的作用，并研究这些生成元对代数结构的作用。

提出的方法

• 本文使用 Aihara 与 Iyama 开发的 tilting 变换技术，分析有界导出范畴 D^b(A ⊗ A^op) 中双侧 tilting 复形的结构。
• 在 D^b(A) 上显式构造了作用于投射模 P_j 的自同构 H_i，其作用通过特定链复形实现，非零项集中在度数 0。
• 作者利用对应于特定顶点处 tilting 变换的变换序列 μ^+ 和 μ^-，分析了这些 H_i 函子及其复合的作用。
• 他们证明，任何满足 End_{D^b(A)}(T)^{op} ≃ A 的 tilting 复形 T 均可通过此类变换的序列获得，这意味着对应的自同构属于由移位、Pic(A) 和 H_i 生成的群。
• 证明依赖于表明任意此类 T 均可通过对正则模 A 进行一系列变换得到，且由此产生的自同构属于指定集合生成的群。
• 通过识别稍大一些的生成集，并使用类似的变换技术与 tilting 复形比较，将论证扩展至无重数情形。

实验结果

研究问题

• RQ1 当 t > 1 时，Brauer 星代数类型 (n,t) 的导出 Picard 群 TrPic(A) 是否由移位函子、Pic(A) 和自同构 H_i 生成？
• RQ2 当重数 t ≠ 1 时，H_i 函子是否足以生成 TrPic(A)，如 Schaps 与 Zakay-Illouz 所猜想？
• RQ3 在无重数情形（t = 1）下，导出 Picard 群与一般情形有何不同？
• RQ4 tilting 变换在实现 TrPic(A) 中所有自同构的过程中起什么作用？
• RQ5 TrPic(A) 对 Brauer 星 quiver 边的作用是否可一致定义，还是依赖于变换序列的选择？

主要发现

• 当 t > 1 时，Brauer 星代数类型 (n,t) 的导出 Picard 群 TrPic(A) 由移位函子、Picard 群 Pic(A) 以及 i = 1 到 n 的自同构 {H_i} 生成。
• H_i 函子满足仿射 A_{n-1} 图上的 braid 群关系，此结论此前由 Schaps 与 Zakay-Illouz 建立。
• 在无重数情形（t = 1）下，TrPic(A) 由比移位、Pic(A) 和 {H_i} 略大的集合生成，表明群结构存在结构性差异。
• 导出 Picard 群在导出等价下保持不变，本文证实所有标准自同构均可通过指定生成集经 tilting 变换实现。
• TrPic(A) 对 Brauer 星 quiver 边的作用无法一致定义，因为不同的变换序列可能产生相同的 tilting 复形，但对边的作用不同。
• 证明依赖于表明任意满足 End_{D^b(A)}(T)^{op} ≃ A 的 tilting 复形 T 均可通过一系列变换获得，且对应的自同构属于指定元素生成的群。