[论文解读] Higher Zigzag Algebras

J. A. Grant|arXiv (Cornell University)|Nov 2, 2017

Algebraic structures and combinatorial models参考文献 46被引用 2

一句话总结

本文将高阶锯齿代数定义为有限整体维数的科 szul 代数的科 szul 对偶的扭曲平凡扩张，推广了经典锯齿代数。通过 quiver 表示构造了类型 A d-遗传代数的这些代数，通过球面扭转在它们的导出范畴上建立了类似 braid 群的作用，并通过高维 McKay 对应关系将其与仿射 (d+1)-空间上的等变层联系起来，表明球面扭转之间的关系与 SL_{d+1} 的有限交换子群 G 的 G-等变层的导出范畴中的关系一致。

ABSTRACT

Given a Koszul algebra of finite global dimension we define its higher zigzag algebra as a twisted trivial extension of the Koszul dual. If our original algebra is the path algebra of a tree-type quiver, this construction recovers the zigzag algebras of Huerfano-Khovanov. We study examples of higher zigzag algebras coming from Iyama's type A higher representation finite algebras, give their presentations by quivers and relations, and describe relations between spherical twists acting on their derived categories. We connect this to the McKay correspondence in higher dimensions: if $G$ is a finite abelian subgroup of $SL_{d+1}$ then these relations occur between spherical twists for $G$-equivariant sheaves on affine $(d+1)$-space.

研究动机与目标

• 通过科 szul 对偶和扭曲平凡扩张，将经典锯齿代数推广到更高整体维数的情形。
• 通过 quiver 和关系表示，为 Iyama 的类型 A d-表示有限代数构造高阶锯齿代数。
• 通过球面扭转在这些代数的导出范畴上建立群作用，推广 braid 群作用。
• 通过证明这些作用在代数几何中自然出现，将其与仿射 (d+1)-空间上的 G-等变层联系起来，其中 G ⊂ SL_{d+1}。

提出的方法

• 将高阶锯齿代数定义为有限整体维数的科 szul 代数的科 szul 对偶的扭曲平凡扩张。
• 使用 quiver 和关系表示来描述来自类型 A d-遗传代数的高阶锯齿代数。
• 应用 quiver 的 PBW 理论来分析代数中的结构和关系。
• 构造投射模的自同态代数，以在导出范畴中实现球面扭转函子。
• 利用提升定理，将原始代数导出范畴上的群作用提升到高阶锯齿代数上。
• 建立高阶锯齿代数的导出范畴与斜群代数的导出范畴之间的等价关系，并在科 szul 对偶下匹配球面对象。

实验结果

研究问题

• RQ1 能否通过一类新的有限维代数，将 braid 群作用从遗传代数推广到更高整体维数的代数？
• RQ2 与 Iyama 的类型 A d-表示有限代数相关的高阶锯齿代数的 quiver 和关系表示是什么？
• RQ3 球面扭转函子如何作用于高阶锯齿代数的导出范畴，它们满足何种群关系？
• RQ4 这些高阶锯齿代数的导出范畴作用是否自然地出现在代数几何中，特别是在 McKay 对应关系的背景下？
• RQ5 是否存在斜群代数与高阶锯齿代数的导出范畴之间的对偶性，使得球面对象及其扭转关系得以保持？

主要发现

• 有限整体维数科 szul 代数的高阶锯齿代数被定义为其科 szul 对偶的扭曲平凡扩张，推广了经典锯齿代数。
• 对于 Iyama 的类型 A d-表示有限代数，高阶锯齿代数具有显式关系的 quiver 表示，其投射模具有有限维结构。
• 高阶锯齿代数的导出范畴支持一个高阶 braid 群类作用，由球面扭转生成，其关系同构于群 G^d_s 的关系。
• 当原始代数为有限交换群 G ⊂ SL_{d+1} 的斜群代数 Sym(V)#G 时，高阶锯齿代数同构于外代数 E(V)#G，且其导出范畴作用与仿射 (d+1)-空间上 G-等变层的球面扭转作用一致。
• 科 szul 对偶函子在高阶锯齿代数的导出范畴与斜群代数的导出范畴之间诱导出一个等价关系，并将一个范畴中的球面对象映射到另一范畴中的球面对象，同时保持扭转关系。
• 群 G^d_s 通过在简单模上的球面扭转作用于斜群代数 Sym(V)#G 的导出范畴，且该作用同构于高阶锯齿代数导出范畴上的作用，从而证实了高维 McKay 对应关系。