The study of odd-dimensional geometric structures defined by a maximally nonintegrable hyperplane field (a contact distribution) on a manifold and the diffeomorphisms that preserve it (contactomorphisms). It treats local normal forms, invariants, Legendrian and transverse submanifolds, and dynamical phenomena such as Reeb flows.

Principle

A contact structure is a global maximally nonintegrable corank-one plane field; its organizing rule is that no nontrivial subbundle is integrable, giving a canonical local model and rigidity versus flexibility dichotomies.

Demonstration

On a 3-dimensional manifold, a 1-form α with α∧dα nowhere zero defines a contact structure; the standard example is the kernel of α = dz − y dx on R^3, whose Legendrian curves are everywhere tangent to the plane field.

Misapplication

Treating any odd-dimensional plane field as a contact structure without verifying the nondegeneracy condition (α∧(dα)^n ≠ 0) leads to false conclusions about existence of Darboux charts and Reeb dynamics.

Consequence

When correctly identified, contact structures admit local Darboux normal forms, well-defined notions of Legendrian isotopy, and a rich interaction with symplectic fillings and holomorphic curve techniques.

Reversal

Reversing the concept yields integrable corank-one foliations (codimension-one foliations) where the plane field is tangent to a family of leaves rather than maximally nonintegrable.

Boundary

Applies to smooth manifolds of odd dimension with a globally defined nowhere-degenerate contact form or distribution; excludes integrable hyperplane fields, even-dimensional symplectic structures, and purely topological plane fields without smooth structure.

Semantic Tension

Competes with symplectic geometry: contact geometry is the odd-dimensional, maximally nonintegrable analogue of symplectic structures but differs in local flexibility and global invariants, producing distinct techniques and obstructions.

Synthesis

Contact geometry studies the locally uniform but globally subtle class of odd-dimensional plane fields defined by a nondegeneracy condition; it combines differential-form criteria, local normal forms, submanifold theory, and dynamical systems to classify and analyze manifolds carrying such structures.