The homotopy-theoretic Nearby Lagrangian conjecture
Let and be closed, simply connected manifolds of the same dimension. The cotangent bundle carries its natural symplectic structure, and consider the space of Lagrangian embeddings of into . Homotopy-theoretic Nearby Lagrangian conjecture. The space of Lagrangian embeddings of in is contractible if is diffeomorphic to , and is empty otherwise. This is a weaker homotopy-theoretic version of Arnold's Nearby Lagrangian conjecture, which concerns Lagrangian submanifolds of cotangent bundles and remains open. The conjecture is motivated by recent homotopy-theoretic and Floer-theoretic results.
References
Primary source
Apurva Nakade, “An Application of the h-principle to Manifold Calculus”, arXiv:1711.07670 (2020).
Progress summary
No public proof or counterexample has appeared; only partial results about individual Lagrangians and a few low-dimensional cases are known.
The conjecture predicts that the space of Lagrangian embeddings is empty unless the source and base are diffeomorphic, and contractible when they are. It is formulated as Conjecture 1.1 in the catalogued work, which reports no resolution.
Known results
- For a closed exact Lagrangian in , projection to is a simple homotopy equivalence; related work traces the homotopy-equivalence result to Abouzaid.
- The conjecture is known when the base is , via work of Hind, Hind–Pinton–Wendl, and others.
- For Arnold’s stronger nearby Lagrangian conjecture, related results establish homotopy, fundamental-group, and stable-Gauss-map constraints, but not contractibility of the embedding space.
Current status (as of August 2026): The homotopy-theoretic conjecture remains open in general; no claimed proof, counterexample, or verification was found, although some individual-Lagrangian consequences and low-dimensional cases are established.
Sources
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- arxiv.org
- en.wikipedia.org
- github.com
- arxiv.org
- ui.adsabs.harvard.edu
- math.princeton.edu
- mathematics.stanford.edu
- mathoverflow.net
- homepages.ucl.ac.uk
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- cdn.openai.com
- quantamagazine.org
- quantamagazine.org
- quantamagazine.org
- quantamagazine.org
- x.com
- arxiv.org
Solutions 0
No solutions have been posted yet.