1999/03/06 by Boris Shoikhet, Shoikhet, Boris
Biochemistry, Genetics and Molecular Biology · Mathematics · #Advanced Topics in Algebra #FOS: Mathematics #Fibroblast Growth Factor Research #Homotopy and Cohomology in Algebraic Topology #Quantum Algebra (math.QA) #math.QA
paper · pdf · doi:10.48550/arxiv.math/9903036
8 pages,5 ps figures
arxiv created 1999/03/06 · openalex publication_date 1999/03/06 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
For the Kirillov-Poisson structure on the vector space \g^*, where \g is a finite-dimensional Lie algebra, it is known at least two canonical deformations quantization of this structure: they are the M. Kontsevich universal formula [K], and the formula, arising from the classical Campbell-Baker-Hausdorff formula [Ka]. It was proved in [Ka] that the last formula is exactly the part of Kontsevich's formula consisting of all the admissible graphs without (oriented) cycles between the vertices of the first type. It follows from the CBH-theorem that this part of Kontsevich's formula defines an associative product (in the case of a linear Poisson structure). The aim of these notes is to prove the last result directly, using the methods analogous to [K] instead of the CBH-formula. We construct an L_∞-morphism \U_\lin\colon[T^\ndot_\poly]_\lin→ D^\ndot_\poly from the \dg Lie algebra of polyvector fields with linear coefficients to the \dg Lie algebra of polydifferential operators, which is not equal to the restriction of the Formality L_∞-morphism \U\colon T^\ndot_\poly→ D^\ndot_\poly [K] to the subalgebra [T^\ndot_\poly]_\lin. For a bivector field α with linear coefficients such that [α,α]=0 the corresponding solution \U_\lin(α) of the Maurer-Cartan equation in D^\ndot_\poly defines exactly the CBH-quantization,in the case of the harmonic angle map [K], Sect.2.We prove the associativity of the restricted Kontsevich formula (in the linear case) also for any angle map [K], Sect.6.2.