Weinstein Conjecture

Every Reeb vector field determined by a contact form on a closed contact manifold has at least one closed periodic orbit, a theorem in dimension three and an open assertion in full higher-dimensional generality.

Version

v1 · 2026-08-30 · History

Domain-specific #

3106

Origin domain

mathematics

Subdomain

contact geometry

Core Idea

The Weinstein conjecture asserts that the Reeb vector field of every contact form on a closed contact manifold has at least one periodic orbit. If \(M^{2n-1}\) carries a contact form \(\alpha\), its Reeb vector field \(R_\alpha\) is uniquely defined by

\[ \alpha(R_\alpha)=1, \qquad \iota_{R_\alpha}d\alpha=0. \]

The conjecture says that there exist \(x\in M\) and \(T>0\) such that the Reeb flow \(\varphi_t\) satisfies \(\varphi_T(x)=x\). The universal quantifier over contact forms is load-bearing: finding some form defining the same contact structure and having a closed orbit does not prove the claim for the given form.

Scope of Application

The conjecture organizes contact geometry, Hamiltonian dynamics, symplectic topology, pseudoholomorphic curves, gauge theory, and Floer-type invariants. A regular energy hypersurface of contact type in a symplectic manifold inherits a contact form whose Reeb trajectories follow the characteristic Hamiltonian line field after time reparametrization. Closed Reeb orbits therefore correspond to periodic Hamiltonian characteristics on that energy surface.

The framework includes convex and star-shaped hypersurfaces, cotangent-bundle dynamics, many fillable or overtwisted settings, every closed contact three-manifold, and specific higher-dimensional contact classes.

Clarity

On the standard odd sphere \(S^{2n-1}\subset\mathbb C^n\), the standard contact form is the restriction of

\[ \alpha=\frac{i}{2}\sum_{j=1}^{n}(z_jd\bar z_j-\bar z_jdz_j). \]

Its Reeb flow rotates all complex coordinates by a common phase, so every orbit closes. This is an easy positive instance, not a proof of the conjecture: a general contact form on a general closed manifold may have no symmetry and no explicit integral.

Manages Complexity

The conjecture converts a vast family of nonlinear flows into one stable target: prove the existence of one closed characteristic from global contact data. It separates the invariant question from coordinates, mechanical interpretations, or special integrability.

The orbit's period is not prescribed. Rescaling a contact form by a positive constant rescales the Reeb field and its periods while leaving the underlying contact distribution unchanged.

Abstract Reasoning

The Reeb equations imply

\[ \mathcal L_{R_\alpha}\alpha =d(\alpha(R_\alpha))+\iota_{R_\alpha}d\alpha=0, \]

so the Reeb flow preserves \(\alpha\), and hence preserves the contact volume \(\alpha\wedge(d\alpha)^{n-1}\). Volume preservation alone does not prove a periodic orbit: recurrence can return points arbitrarily close without exact closure.

Knowledge Transfer

The transferable skeleton is global geometric constraint implies existence of recurrent closed dynamics. Periodic-orbit problems in mechanics, geodesic flows, and dynamical systems can borrow the question form, but they instantiate the Weinstein conjecture only when a declared contact form and its Reeb flow are present.

The abstraction remains domain-specific. Removing contact forms, Reeb normalization, symplectization, and characteristic Hamiltonian lines leaves only Existence and Periodicity, which do not entail the theorem.

Relationships to Other Abstractions

Current abstraction Weinstein Conjecture Domain-specific

Parents (1) — more general patterns this builds on

• Weinstein Conjecture presupposes Periodicity Prime

  Weinstein Conjecture compositionally presupposes Periodicity because its conclusion is the existence of a positive-period closed orbit.

Hierarchy path (1) — routes to 1 parentless root

• Weinstein Conjecture → Periodicity → Invariance

Neighborhood in Abstraction Space

Weinstein Conjecture sits in a sparse region of the domain-specific corpus (86^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

• Symplectic Structure — 0.82
• Hamiltonian Mechanics — 0.81
• Eells–Kuiper Manifold — 0.81
• Relative contact homology — 0.81
• Control-Theoretic Orbit — 0.80

Computed from structural-signature embeddings · 2026-09-08