Existence of a closed star product (Q1803241)

After introducing the notion of a strongly closed star product \textit{A. Connes}, \textit{M. Flato} and \textit{D. Sternheimer} [Lett. Math. Phys. 24, 1-12 (1992; Zbl 0767.55005)] placed a question mark against the existence of such a product for general symplectic manifolds. The authors give a definite affirmative answer by proving that on every symplectic manifold there exists a strongly closed star product. This they do by showing that on any paracompact \(C^ \infty\) symplectic manifold there exists a real Weyl manifold. For real Weyl manifolds there exists an involutive anti automorphism on the manifold: by using this the authors give a complexification relating to a quaternion ring.