Skip to main content
edited tags
Link
Zhaoting Wei
  • 9k
  • 1
  • 20
  • 53
Source Link
Zhaoting Wei
  • 9k
  • 1
  • 20
  • 53

Could we extend the star product on a Poisson manifold from its ring of smooth functions to its de Rham complex?

Let $M$ be a smooth manifold with a Poisson bracket $\{-,-\}$. Kontsevich proved that there exists a deformation quantization of $M$, i.e. let $C^{\infty}(M)[[\hbar]]=C^{\infty}(M)\otimes_{\mathbb{R}}\mathbb{R}[[\hbar]]$ be the formal power series of smooth functions on $M$, there exists an associative star product $$ *_{\hbar}: C^{\infty}(M)[[\hbar]]\times C^{\infty}(M)[[\hbar]]\to C^{\infty}(M)[[\hbar]]$$ which is bilinear over $\mathbb{R}[[\hbar]]$ and for any $f, g\in C^{\infty}(M)$ we have $$f*_{\hbar}g=fg+\sum_{i=1}^{\infty}B_i(f,g)\hbar^i $$ where $B_1(f,g)=\{f,g\}$ is the Poisson bracket.

On the other hand we know on $M$ there is the de Rham algebra $(\Omega^{\bullet}(M),d,\wedge)$, which is a differential graded algebra, and $C^{\infty}(M)$ is the degree zero component of $(\Omega^{\bullet}(M),d,\wedge)$.

My question is: could we also deform $(\Omega^{\bullet}(M),d,\wedge)$ to a differential graded algebra $(\Omega^{\bullet}(M)[[\hbar]],d_{\hbar},\wedge_{\hbar})$ with $(C^{\infty}(M)[[\hbar]],*_{\hbar})$ as its degree zero component?