HOME

TheInfoList



OR:

In mathematics, a Fedosov manifold is a
symplectic manifold In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called sympl ...
with a compatible torsion-free connection, that is, a triple (''M'', ω, ∇), where (''M'', ω) is a
symplectic manifold In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called sympl ...
(that is, \omega is a symplectic form, a non-degenerate closed exterior 2-form, on a C^-manifold ''M''), and ∇ is a symplectic torsion-free connection on M. (A connection ∇ is called compatible or symplectic if ''X'' ⋅ ω(''Y,Z'') = ω(∇''X''''Y'',''Z'') + ω(''Y'',∇''X''''Z'') for all vector fields ''X,Y,Z'' ∈ Γ(T''M''). In other words, the symplectic form is parallel with respect to the connection, i.e., its
covariant derivative In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a different ...
vanishes.) Note that every symplectic manifold admits a symplectic torsion-free connection. Cover the manifold with
Darboux chart Darboux's theorem is a theorem in the mathematics, mathematical field of differential geometry and more specifically differential forms, partially generalizing the Frobenius integration theorem. It is a foundational result in several fields, the ...
s and on each chart define a connection ∇ with Christoffel symbol \Gamma^i_=0. 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 Deformation can refer to: * Deformation (engineering), changes in an object's shape or form due to the application of a force or forces. ** Deformation (physics), such changes considered and analyzed as displacements of continuum bodies. * Defor ...
of a Fedosov manifold.


Examples

For example, \R^ with the standard symplectic form dx_i \wedge dy_i has the symplectic connection given by the exterior derivative d. Hence, \left(\R^, \omega, d\right) is a Fedosov manifold.


References


Symplectic Connections Induced by the Chern Connection
Mathematical physics {{math-physics-stub