Namespaces
Variants
Actions

Contact structure

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

An infinitesimal structure of order one on a smooth manifold of odd dimension that is determined by defining on a -form for which . The form is then called a contact form on . A contact structure exists only on an orientable and defines a unique vector field on for which and for any vector field ; the field is called the dynamical system on corresponding to the contact form . Contact structures find applications in analytic mechanics due to the fact that on any level submanifold of the Hamiltonian, defined in phase space, there arises a natural contact structure.

References

[1] C. Godbillon, "Géométrie différentielle et mécanique analytique" , Hermann (1969)


Comments

More precisely, the notion defined above is a strict contact structure or exact contact structure, [a1], [a2]. Let be a Pfaffian equation on , i.e. a one-dimensional subbundle of the cotangent bundle . Let be a -form (i.e. a Pfaffian form) in a neighbourhood of that defines over , i.e. is a section of over that is everywhere non-zero on . Then there is an integer such that and . This does not depend on the choice of . The odd integer is called the class of the Pfaffian equation at . A contact structure on is now given by a Pfaffian equation on which is everywhere of class . The pair is called a contact manifold. If there exists a Pfaffian form on which defines the contact structure everywhere, i.e. if there exists a global everywhere non-zero section of (so that is a trivial bundle, or, as is also said, transversally orientable), then defines a strict contact structure and is a strict contact manifold with contact form . In that case is a volume form on making orientable. The unique vector field satisfying the contraction conditions (i.e. ) and (i.e. for all vector fields ) also satisfies (and this is equivalent). It is sometimes called the Reeb vector field of . By Darboux's theorem (cf. Pfaffian equation) a contact form can be written locally in the form

where are local coordinates on . The Reeb vector field in these coordinates is then given by .

For more details on the above and the role of contact structures in mechanics, cf. [a2], Chapt. V. Contact structures on circle bundles over a symplectic manifold play an important role in the quantization theory of B. Kostant and J.-M. Souriau, cf. [a3][a5].

References

[a1] R. Abraham, "Foundations of mechanics" , Benjamin (1967)
[a2] P. Libermann, C.-M. Marle, "Symplectic geometry and analytical mechanics" , Reidel (1987) (Translated from French)
[a3] N.E. Hurt, "Geometric quantization in action" , Reidel (1983)
[a4] B. Kostant, "Quantization and representation theory. Part 1: prequantization" , Lect. in Modern Anal. and Applications , 3 , Springer (1970)
[a5] J.-M. Souriau, "Structures des systèmes dynamiques" , Dunod (1969)
How to Cite This Entry:
Contact structure. Ü. Lumiste (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Contact_structure&oldid=19137
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098