[论文解读] Potentials and Jacobian algebras for tensor algebras of bimodules

Bertrand Nguefack|arXiv (Cornell University)|Apr 13, 2010

Algebraic structures and combinatorial models参考文献 23被引用 4

一句话总结

本文将quiver势能和雅可比代数推广至具有可对称化对偶双模的对称代数上的张量代数，引入了对称与非对称势能。它建立了一个非单连通情形下的突变、吉涅茨堡微分分次代数和丛范畴的框架，表明在可分性条件下，广义丛范畴是Hom-有限且2-卡比莱-杨的，且雅可比代数可被实现为丛倾斜对象的自同态代数。

ABSTRACT

We introduce and study potentials, mutations and Jacobian algebras in the framework of tensor algebras associated with symmetrizable dualizing pairs of bimodules on a symmetric algebra over any commutative ground ring. The graded context is also considered by starting from graded bimodules, and the classical non simply-laced context of modulated quivers with potentials is a particular case. The study of potentials in this framework is related to symmetrically separable algebras, and we have two kinds of potentials: the symmetric and the non symmetric ones. When the Casimir ideal of the symmetric algebra coincides with its center, all potentials appear as symmetric potentials and their manipulation mimics the simply laced study of quivers with potentials. This useful information suggests that, for applications to cluster algebras theory and related fields, one may restrict a further study of modulated quivers with potentials to the setting where the ground symmetric algebra is separable over a field. Associated with this work is a generalized construction of Ginzburg dg-algebras and cluster categories associated with graded modulated quivers with potentials.

研究动机与目标

• 将quiver带势能理论从单连通情形扩展至非单连通情形，利用双模的张量代数。
• 在对称k-代数上的可对称化对偶双模背景下，定义并研究势能、突变与雅可比代数。
• 将吉涅茨堡微分分次代数与丛范畴推广至带势能的加权quiver。
• 建立广义丛范畴为Hom-有限且2-卡比莱-杨的条件，特别是当基代数在域上可分时。
• 通过带关系的加权quiver为框架，表征非单连通丛倾斜代数的有限表示类型。

提出的方法

• 在对称k-代数K上引入可对称化对偶双模对，包含一个迹映射t与一个非退化的双线性型b。
• 将张量路径代数TK(B)定义为K-双模B的张量代数，通过Jc_kQ-Adic拓扑赋予其拓扑结构。
• 将势能定义为完备路径代数中的元素，利用卡西米尔态射与投影基定义循环导数。
• 通过势能的循环导数的闭包构造雅可比理想，从而将雅可比代数定义为完备路径代数的商代数。
• 利用在带势能的路径代数上定义的微分，将吉涅茨堡微分分次代数构造推广至非单连通情形。
• 将广义丛范畴定义为完美导出范畴对有限长度同调子范畴的商的幂等完备化。

实验结果

研究问题

• RQ1 如何通过双模的张量代数将quiver带势能理论推广至非单连通情形？
• RQ2 在何种条件下，与带权quiver势能相关的广义丛范畴是Hom-有限且2-卡比莱-杨的？
• RQ3 在卡西米尔理想与中心重合时，对称势能何时主导理论？
• RQ4 吉涅茨堡微分分次代数与丛范畴构造能否扩展至带势能的加权quiver？
• RQ5 有限维同调子范畴的相对n-卡比莱-杨性质在非单连通框架中是否保持？

主要发现

• 当对称代数的卡西米尔理想与其中心重合时，所有势能均为对称的，其运算方式与单连通情形一致。
• 与带权quiver势能相关的广义吉涅茨堡微分分次代数作为双模是（拓扑意义下）同调光滑且3-卡比莱-杨的。
• 对于具有对称势能的雅可比有限带权quiver，广义丛范畴是Hom-有限且2-卡比莱-杨的，且雅可比代数同构于丛倾斜对象的自同态代数。
• 当基域为完美域且quiver为无环时，丛范畴C(Q,0)同构于福明与泽列文斯基的经典丛范畴。
• 通过商perbΓ₃ / DfdbΓ₃ 构造广义丛范畴，得到一个具有丛倾斜对象的三角范畴，其自同态代数为雅可比代数。
• 在非单连通情形下，DfdbΓₙ在DbΓₙ中的相对n-卡比莱-杨性质预计成立，尤其当对称代数在域上可分时。