A remark on the contact structure on Weyl manifold and Fedosov connection (Q1305734)

The notion of deformation quantization was introduced by \textit{F. Bayen, M. Flato, C. Fronsdal, A. Lichnerowicz} and \textit{D. Sternheimer} [Ann. Phys. 111, , 61-110 (1978; Zbl 0377.53024)] as an idea to quantize classical mechanical systems without using operator theory but by deforming a Poison algebra on a manifold into a noncommutative associative algebra. More precisely, this means that every symplectic manifold \(M\) has a formal deformation quantization, or, that there exists a (noncommutative) star-product \(*\) on the space of formal power series with function coefficients satisfying special conditions. A first proof of this fact was given by \textit{M. De Wilde} and \textit{P. B. A. Lecomte} [Lett. Math. Phys. 7, 487-496 (1983; Zbl 0526.58023)]. It is based on extensive cohomological considerations. \textit{B. V. Fedosov} [J. Differ. Geom. 40, 213-238 (1994; Zbl 0812.53034)] gave an independent and more geometric proof. Also, \textit{H. Omori, Y. Maeda} and \textit{A. Yoshioka} [Adv. Math. 85, 224-255 (1991; Zbl 0734.58011)] showed the existence of deformation quantization by constructing algebraic bundles, with a Weyl algebra as fiber, over symplectic manifolds. The bundle, called a Weyl manifold, was constructed by gluing Weyl algebras by Weyl diffeomorphism. Like Fedosov, they also used Weyl algebra bundles over symplectic manifolds to construct deformation quantization on symplectic manifolds, and they imbedded the classical algebra of smooth functions on the manifold into the algebra of smooth sections of Weyl algebra bundle. H. Omori, Y. Maeda, and A. Yoshioka's imbedding was given by gluing local algebras with the help of a quantized contact structure and Fedosov's imbedding was given by using the Fedosov connection. In this paper, the author elaborates a lation between a Weyl manifold and the Fedosov connection and shows that a contact structure on a Weyl manifold naturally defines the Fedosov connection. Using the contact structure on a Weyl manifold, the author introduces the notion of the degree operator field. The degree operator field gives a fibrewise decomposition of a Weyl manifold with respect to its eigenvalues, which canonically gives symplectic and Fedosov connections.