We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.QA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Quantum Algebra

Title: Deformations of path algebras of quivers with relations

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\'e-Birkhoff-Witt deformations of Koszul algebras.
Comments: 66 pages, 7 figures, v4 extended {\S}10 on the relation to deformation quantization, removed part on deformations of categories of coherent sheaves which will appear separately, comments are always welcome!
Subjects: Quantum Algebra (math.QA); Algebraic Geometry (math.AG); Rings and Algebras (math.RA); Representation Theory (math.RT)
MSC classes: 16S80, 16S15, 53D55 (Primary) 16G20, 16Z10 (Secondary)
Cite as: arXiv:2002.10001 [math.QA]
  (or arXiv:2002.10001v4 [math.QA] for this version)

Submission history

From: Severin Barmeier [view email]
[v1] Sun, 23 Feb 2020 22:31:24 GMT (96kb)
[v2] Fri, 24 Apr 2020 08:43:48 GMT (101kb)
[v3] Mon, 14 Dec 2020 22:08:26 GMT (112kb)
[v4] Sat, 10 Jul 2021 09:22:59 GMT (82kb)

Link back to: arXiv, form interface, contact.