##  [Contact Geometry](/contact-geometry-0) 

 Definition

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

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

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

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

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

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

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

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

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.