Formality morphism as the mechanism of $\star$-product associativity: how it works

Ricardo Buring, Arthemy Kiselev*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

50 Downloads (Pure)


The formality morphism $\boldsymbol{\mathcal{F}}=\{\mathcal{F}_n$, $n\geqslant1\}$ in Kontsevich's deformation quantization is a collection of maps from tensor powers of the differential graded Lie algebra (dgLa) of multivector fields to the dgLa of polydifferential operators on finite-dimensional affine manifolds. Not a Lie algebra morphism by its term $\mathcal{F}_1$ alone, the entire set $\boldsymbol{\mathcal{F}}$ is an $L_\infty$-morphism instead. It induces a map of the Maurer-Cartan elements, taking Poisson bi-vectors to deformations $\mu_A\mapsto\star_{A[[\hbar]]}$ of the usual multiplication of functions into associative noncommutative $\star$-products of power series in $\hbar$. The associativity of $\star$-products is then realized, in terms of the Kontsevich graphs which encode polydifferential operators, by differential consequences of the Jacobi identity. The aim of this paper is to illustrate the work of this algebraic mechanism for the Kontsevich $\star$-products (in particular, with harmonic propagators). We inspect how the Kontsevich weights are correlated for the orgraphs which occur in the associator for $\star$ and in its expansion using Leibniz graphs with the Jacobi identity at a vertex.
Original languageEnglish
Pages (from-to)22-43
JournalTransactions of Institute of Mathematics, the NAS of Ukraine
Issue number1
Publication statusPublished - 1-Jul-2019


  • math.QA
  • math-ph
  • math.CO
  • math.MP
  • math.SG
  • 05C22, 16E45, 53D55, secondary 53D17, 68R10, 81R60

Cite this