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.

Weinstein formulated the general periodic-orbit problem while unifying earlier convex and star-shaped Hamiltonian results under contact-type hypotheses.^[1] Taubes proved the assertion for every closed oriented three-dimensional contact manifold.^[2] The unrestricted higher-dimensional statement remains open, although many important classes satisfy it; Albers and Hofer's higher-dimensional theorem for contact structures with a Plastikstufe illustrates such conditional progress.^[3]

Structural Signature¶

Closed odd-dimensional manifold: compact and without boundary.
Contact form: \(\alpha\wedge(d\alpha)^{n-1}\) is nowhere zero.
Contact structure: \(\xi=\ker\alpha\), cooriented by the form.
Reeb field: uniquely satisfies \(\alpha(R)=1\) and \(d\alpha(R,\cdot)=0\).
Reeb flow: the complete flow on the compact manifold.
Universal form quantifier: every qualifying contact form, not merely a convenient representative.
Orbit conclusion: at least one trajectory closes after positive time.
Hamiltonian bridge: contact-type energy hypersurfaces realize Reeb dynamics up to reparametrization.
Dimension-sensitive status: theorem for closed three-manifolds; conjectural in unrestricted higher dimensions.
Existence rather than enumeration: the assertion guarantees one closed orbit, not its uniqueness, count, or stability.

What It Is Not¶

It is not the claim that every trajectory is periodic. Reeb flows can have complicated recurrent and aperiodic behavior while possessing one closed orbit. It is not merely an existence theorem for some contact form in a fixed contact structure. Replacing \(\alpha\) by \(f\alpha\) with positive nonconstant \(f\) preserves the contact distribution but changes the Reeb vector field, so the original orbit statement must be checked again.

It is not the broad assertion that every Hamiltonian system has a periodic orbit on every energy level. The contact-type hypothesis and closedness of the level set are structural. Nor is “conjecture” an accurate status tag in every dimension: the three-dimensional case is a theorem, while the full higher-dimensional assertion is not.

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. It does not erase the hypotheses of those theorems; each established case supplies a route to the same orbit-existence conclusion under a declared geometric condition.

Closedness is not decorative. On a noncompact contact manifold, Reeb trajectories can escape to infinity and the compact global mechanisms behind many existence arguments no longer apply. Likewise, a boundary introduces entry, exit, and tangency behavior that the classical statement does not govern. Extensions must therefore state replacement compactness or boundary conditions rather than borrowing the theorem's conclusion by name.

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. The invariant existence question survives that rescaling even though numerical periods do not.

It also gives partial results a common ledger. A theorem for a geometric class is recorded by the class hypothesis, the contact-form quantifier, the orbit conclusion, and the proof technology. Without this abstraction, convexity, fillability, pseudoholomorphic-curve, and gauge-theoretic theorems can look unrelated despite proving the same structural guarantee.

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.

If \(\Sigma=H^{-1}(c)\) is a regular contact-type hypersurface and \(\alpha\) is the induced contact form, both the Hamiltonian vector field \(X_H\) and \(R_\alpha\) span the characteristic line field on \(\Sigma\). Thus \(X_H=gR_\alpha\) for a nowhere-zero function \(g\), so their unparametrized closed trajectories agree. This is the precise bridge from the contact statement to prescribed-energy Hamiltonian dynamics.

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.

Examples¶

Standard contact sphere: Hopf-circle Reeb orbits are explicit.
Closed contact three-manifold: Taubes's theorem guarantees at least one orbit for every contact form.^[2]
Contact-type Hamiltonian hypersurface: a closed Reeb orbit yields a periodic characteristic.
Plastikstufe-supported contact structure: Albers–Hofer prove the conjecture for all supporting forms.^[3]
Open manifold nonexample: compactness-based completeness and global arguments no longer match the locked assertion.
Isotopic-form nonproof: an orbit for a modified form does not establish one for the original Reeb field.

Structural Tensions¶

Contact structure vs. contact form. One distribution admits many Reeb fields. Diagnostic: keep the universal quantifier over forms visible.
Recurrence vs. periodicity. A volume-preserving flow can be recurrent without an exactly closed trajectory. Diagnostic: require \(\varphi_T(x)=x\), not arbitrarily close returns.
Hamiltonian orbit vs. Reeb orbit. The flows match only on contact-type hypersurfaces and up to reparametrization. Diagnostic: exhibit the induced contact form and common characteristic line.
Theorem vs. conjecture. Status depends on dimension and geometric class. Diagnostic: state the dimension and hypotheses beside every claim of proof.
Autonomous abstraction vs. Existence plus Periodicity. Generic ingredients omit contact-form quantification and Reeb dynamics. Diagnostic: subtract them and require the contact/Reeb/Hamiltonian bridge to remain.

Structural–Framed Character¶

The structural core is a universally quantified orbit-existence assertion. The frame is contact and symplectic geometry: an odd-dimensional closed manifold, a maximally nonintegrable hyperplane field, its Reeb normalization, and Hamiltonian characteristic dynamics.

The formulation is stable while the proof-status map evolves. That makes status qualification part of reference-grade use, not an incidental historical note.

Structural Core vs. Domain Accent¶

Structural core: a constrained flow, a global compact carrier, universal quantification over admissible realizations, and existence of an exactly closing trajectory.

Domain accent: contact forms, Reeb fields, contact volume, symplectization, contact-type energy surfaces, pseudoholomorphic curves, Seiberg–Witten theory, and Floer invariants.

Weinstein Conjecture compositionally presupposes Periodicity because its conclusion is the existence of a positive-period closed orbit. Periodicity alone does not supply the contact geometry or universal form quantifier. Symplectic Structure is a strong domain neighbor through symplectization and contact-type hypersurfaces, but it is not the direct genus of a contact assertion.

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

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

Not to Be Confused With¶

Arnold conjecture: fixed points of Hamiltonian symplectomorphisms under different hypotheses.
Nearby existence theorem: periodic orbits on nearby energy levels, not necessarily the specified level.
Almost existence theorem: existence on almost every level, weaker than every qualifying contact form.
Poincaré recurrence: almost-everywhere return near a state, not exact closed-orbit existence.
Weinstein neighborhood theorem: a local symplectic normal-form theorem.
Weinstein manifold: an exact symplectic manifold with Liouville/Morse data.
Closed characteristic theorem for one special class: an established case, not the full higher-dimensional assertion.

References¶

[1] Alan Weinstein, “On the Hypotheses of Rabinowitz' Periodic Orbit Theorems,” Journal of Differential Equations 33, no. 3 (1979): 353–358, DOI 10.1016/0022-0396(79)90070-6. registry ↩

[2] Clifford Henry Taubes, “The Seiberg–Witten Equations and the Weinstein Conjecture,” Geometry & Topology 11 (2007): 2117–2202, DOI 10.2140/gt.2007.11.2117. registry ↩a ↩b

[3] Peter Albers and Helmut Hofer, “On the Weinstein Conjecture in Higher Dimensions,” Commentarii Mathematici Helvetici 84 (2009): 429–436, DOI 10.4171/CMH/167. registry ↩a ↩b