[论文解读] Deformations of path algebras of quivers with relations

Severin Barmeier, Zhengfang Wang|arXiv (Cornell University)|Feb 23, 2020

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

一句话总结

本文建立了带关系的奎瓦路径代数的形变与约化系统形变之间的等价性，引入了一个显式的 L∞ 代数来控制后者。它表明，任何形式形变的结合乘法均可通过组合定义的星积实现，从而为这类代数的形变理论提供了完整且具体的描述，其应用涵盖形变量子化和 PBW 型形变。

ABSTRACT

Let $A = \Bbbk Q / I$ be the path algebra of any finite quiver $Q$ modulo any two-sided ideal $I$ of relations and let $R$ be any reduction system satisfying the diamond condition for $I$. We introduce an intrinsic notion of deformation of reduction systems and show that there is an equivalence of deformation problems between deformations of the associative algebra $A$ and deformations of the reduction system $R$, the latter being controlled by a natural, explicit L$_\infty$ algebra. It follows in particular that any formal deformation of the associative multiplication on $A$ can, up to gauge equivalence, be given by a combinatorially defined star product, and the approach via reduction systems can be used to give a concrete and complete description of the deformation theory of $A$. For the polynomial algebra in a finite number of variables, this combinatorial star product can be described via bidifferential operators associated to graphs, which we compare to the graphs appearing in Kontsevich's universal quantization formula. Using the notion of admissible orders on the set of paths of the quiver $Q$, we give criteria for the existence of algebraizations of formal deformations, which we also interpret geometrically via algebraic varieties of reduction systems. In this context the Maurer-Cartan equation of the L$_\infty$ algebra can be viewed as a generalization of the Braverman-Gaitsgory criterion for Poincaré-Birkhoff-Witt deformations of Koszul algebras.

研究动机与目标

• 通过约化系统建立带关系的奎瓦路径代数的系统形变理论。
• 证明代数 A = kQ/I 的形变与满足钻石条件的约化系统 R 的形变等价。
• 构造一个显式的 L∞ 代数来控制约化系统的形变，从而实现对形变问题的完整描述。
• 为形式形变提供组合实现的星积，特别是在多项式代数和 Kontsevich 型量子化背景下。
• 给出形式形变代数化的准则，并将其几何地解释为约化系统的代数簇。

提出的方法

• 为约化系统引入内在的形变概念，将经典形变理论推广至组合结构。
• 利用钻石引理与非交换 Gröbner 基理论，从路径代数 kQ 中的理想 I 定义约化系统 R。
• 在约化系统的 Hochschild 上链复形上构造 L∞ 代数结构，以控制其形变理论。
• 通过与图相关联的双微分算子定义组合星积，将其与 Kontsevich 的形式性定理联系起来。
• 应用 L∞ 代数的 Maurer–Cartan 方程来刻画形变，推广 Braverman–Gaitsgory 对 Koszul 代数的 Poincaré–Birkhoff–Witt 形变的准则。
• 利用路径上的可接受序定义有限性条件，并构造参数化实际形变与 PBW 形变的代数簇。

实验结果

研究问题

• RQ1 如何将带关系的奎瓦路径代数的形变理论重新表述为约化系统的形式？
• RQ2 L∞ 代数在控制约化系统形变中起什么作用？它与经典 Hochschild 上同调有何关系？
• RQ3 每个形式形变的结合代数 A = kQ/I 是否都能通过约化系统构造的组合星积实现？
• RQ4 图形演算与图的双微分算子如何与 Kontsevich 的普遍形式性公式相关联？
• RQ5 在何种条件下形式形变可以代数化？如何将其几何地解释为约化系统的簇？

主要发现

• 存在一个自然的等价关系，将结合代数 A = kQ/I 的形变问题与满足钻石条件的约化系统 R 的形变问题联系起来。
• 约化系统的形变由一个自然且显式的 L∞ 代数控制，为形变理论提供了完整且可计算的框架。
• A 上乘法的任何形式形变，经规范等价变换后，均可由基于图的双微分算子构造的组合星积给出。
• 对于多项式代数，星积可通过图来描述，并与 Kontsevich 的普遍量子化公式结构一致。
• L∞ 代数的 Maurer–Cartan 方程推广了 Braverman–Gaitsgory 对 Koszul 代数的 Poincaré–Birkhoff–Witt 形变的准则。
• 在有限生成与可接受序条件下，形式形变的代数化存在，且此类形变对应于约化系统的代数簇。