In mathematics, a Fedosov manifold is a symplectic manifold with a compatible torsion-free connection, that is, a triple (M, ÃÂ, âÂÂ), where (M, ÃÂ) is a symplectic manifold (that is, is a symplectic form, a non-degenerate closed exterior 2-form, on a -manifold M), and â is a symplectic torsion-free connection on (A connection â is called compatible or symplectic if X â ÃÂ(Y,Z) = ÃÂ(âÂÂ<sub>X</sub>Y,Z) + ÃÂ(Y,âÂÂ<sub>X</sub>Z) for all vector fields X,Y,Z â ÃÂ(TM). In other words, the symplectic form is parallel with respect to the connection, i.e., its covariant derivative vanishes.) Note that every symplectic manifold admits a symplectic torsion-free connection. Cover the manifold with Darboux charts and on each chart define a connection â with Christoffel symbol . Then choose a partition of unity (subordinate to the cover) and glue the local connections together to a global connection which still preserves the symplectic form. The famous result of Boris Vasilievich Fedosov gives a canonical deformation quantization of a Fedosov manifold.
For example, with the standard symplectic form has the symplectic connection given by the exterior derivative Hence, is a Fedosov manifold.