nLab contact manifold

Redirected from "contact form".
Contents

Contents

Idea

A contact manifold is a smooth manifold PP of odd dimension 2n+12n+1 which is equipped with a differential 1-form AA that is non-degenerate in the sense that the wedge product A(d dRA) nA \wedge (d_{dR} A)^{\wedge^n} does not vanish.

The special case of closed regular contact manifolds (P,A)(P,A) are essentially equivalent to the total spaces of circle bundles PXP \to X over an 2n2n-dimensional manifold equipped with a connection such that AA is the corresponding Ehresmann connection 1-form on the total space (BoothbyWang (1958)).

If in this case the curvature 2-form ω\omega on XX makes the base space XX into a symplectic manifold, then (P,A)(P,A) is a corresponding prequantum circle bundle that provides a geometric prequantization of (X,ω)(X,\omega).

A diffeomorphism f:PPf : P \to P of a contact manifold (P,A)(P,A) is called a contactomorphism (in analogy with symplectomorphism) if it preserves the 1-form AA up to multiplication by a function. If (P,A)(P,A) is regular and hence a prequantum line bundle a contactomorphism that strictly preserves the connection 1-form is called a quantomorphism. The Lie algebra of the quantomorphism group is that of the Poisson algebra of the base symplectic manifold (X,ω)(X,\omega).

Properties

Darboux theorem

There is a Darboux theorem for contact structures, stating how they are locally equivalent to a standard contact structure (e.g. Arnold 78, page 362)

Relation to U(1)U(1)-principal connections

Theorem

If XX is a closed smooth manifold, PXP \to X a smooth circle bundle (U(1)U(1)-principal bundle) and ωΩ 2(X)\omega \in \Omega^2(X) a differential 2-form representing its Chern class in de Rham cohomology, then there is a corresponding Ehresmann connection 1-form AΩ 1(P)A \in \Omega^1(P) with curvature ω\omega and such that

  1. AA is a regular contact form on PP;

  2. the Reeb vector field of AA generates the given U(1)U(1)-action on PP.

Moreover, every regular contact form AA on a closed manifold PP arises this way, up to rescaling by a constant.

This is due to (Boothby-Wang 58). The proof is recalled (and completed) in (Geiges 08, theorem 7.2.4, 7.2.5).

History

The following is taken from (Lin).

Originating in Hamiltonian mechanics and geometric optics, contact geometry caught geometers’ attention much earlier. In 1953, Shiing-shen Chern showed that the structure group of a contact manifold M 2n+1M^{2n+1} can be reduced to the unitary group U(n)U(n) and therefore all of its odd characteristic classes vanish. Since all the characteristic classes of a closed, orientable 3-manifold vanish, Chern in 1966 posed the questions of whether such a manifold always admits a contact structure and whether there are non-isomorphic contact structures on one manifold.

One of the milestones in the study of contact geometry is Bennequin‘s proof of the existence of exotic contact structures (i. e., contact structures not isomorphic to the standard one) on 3\mathbb{R}^3 (Bennequin 83). Bennequin recognized that the induced singular foliation on a surface embedded in a contact 3-manifold plays a crucial role for the classification of contact structures. This role was further explored in the work of Eliashberg, who distinguished two classes of contact structures in dimension 3, overtwisted and tight, and gave a homotopy classification for overtwisted contact structures on 3-manifolds (Eliashberg 89). Eliashberg also proved that on 3\mathbb{R}^3 and S 3S^3, the standard contact structure is the only tight contact structure.

References

General

Monographs and introductions:

  • Hansjörg Geiges, Contact geometry, in F. J. E. Dillen and L. C. A. Verstraelen, (eds.), Handbook of Differential Geometry vol. 2 North-Holland, Amsterdam (2006) 315-382 [arXiv:math/0307242, ISBN:978-0-444-52052-4]

  • Hansjörg Geiges, An Introduction to Contact Topology, Cambridge Studies in Advanced Mathematics 109, Cambridge University Press (2008) [doi:10.1017/CBO9780511611438]

  • Xiao-Song Lin, An introduction to 3-dimensional contact geometry [pdf]

  • John Etnyre, Introductory lectures on contact geometry Proc. Sympos. Pure Math. 71 (2003) 81-107 [pdf]

Discussion in terms of (a modification of) G-structures:

  • Alfonso Giuseppe Tortorella, Luca Vitagliano & Ori Yudilevich, Homogeneous G-structures, Annali di Matematica (2020) [doi:10.1007/s10231-020-00972-9]

A higher differential geometry-generalization of contact geometry in line with multisymplectic geometry/n-plectic geometry is discussed in

Characterization

The observation that regular contact manifolds are prequantum circle bundles is due to

  • W. M. Boothby and H. C. Wang, On contact manifolds, Ann. of Math. (2) 68 (1958) 721–734. (jstor:10.2307/1970165)

A modern review of this is in (Geiges, section 7.2).

An analogous result for a weaker form of regularity is discussed in

A characterization of S 1S^1-invariant contact structures on circle bundles is in

For the special case of 2-dimensional base manifolds (n=1n = 1) this was obtained before in

  • R. Lutz, Structures de contact sur les fibrés principaux en cercles de dimension trois, Ann. Inst. Fourier (Grenoble) 27 (1977) no. 3, 1–15.

See also

  • John Bland, Tom Duchamp, The Group of Contact Diffeomorphisms for Compact Contact Manifolds (arXiv:1007.2036)

Further

  • Daniel Bennequin, Entrelacements et equations de Pfaff, Astérique, 107-108 (1983), 87-161. (pdf)

  • Yakov Eliashberg, Classification of overtwisted contact structures on 3-manifolds, Invent. Math. 98 (1989), 623-637. (pdf)

  • Yakov Eliashberg, Contact 3-manifolds twenty years since J Martinet’s work, Ann. Inst. Fourier, 42 (1992), 165-192. (pdf)

  • Hansjörg Geiges, Contact structures on 1-connected 5-manifolds, Mathematika 38 (1991), 303-311;

  • Hansjörg Geiges, Contact structures on (n1)(n-1)-connected (2n+1)(2n+1)-manifolds, Pacific J. Math. 161 (1993), 129-137;

  • Hansjörg Geiges, Constructions of contact manifolds, Math. Proc. Cambridge Philos. Soc. 121 (1997), 455-464;

  • Hansjörg Geiges, Normal contact structures on 3-manifolds,

    Tôhoku Math. J. 49 (1997), 415-422.

  • Hansjörg Geiges, J. Gonzalo, Moduli of contact circles, J. Reine Angew. Math. 551 (2002), 41-85; Contact geometry and complex surfaces, Invent. Math. 121 (1995), 147-209.

Last revised on April 4, 2023 at 19:14:33. See the history of this page for a list of all contributions to it.