Using the fact that the lines of force-which are the orbits of T -are compact, it can be

shown that the lamination of Y is divisible, and consequently the set U of the lines of force
has a structure of symplectic manifold whose form Lagrange is defined by

0.1 quantisation of a symplectic manifold

Or vice versa a separate symplectic manifold; We call quantization of U the construction
of a quantum manifold Y and a symplectomorphism A of the basis of Y with U ; If one
poses
Y is a quantum variety P is a differentiable mapping of Y into U Ker(D(p)()) is
generated by P (x) is an orbit of T (operating on Y )
Conversely, if we construct a quantum variety Y and a mapping P satisfying (18.14),
we see that there exists a symplectomorphism A between the base of Y and U , such that
P () = A(orbit(()). To quantify a separated symplectic manifold U , is to construct a
couple (Y, P ) satisfying the axioms (18.14).