The Weinstein homotopy conjecture for the Liouville domains W(Y,Λ)W_{(Y,\Lambda)}

About 7 years old · traced to

Let YY be a compact manifold without boundary, let M⊂J1YM\subset J^1Y be a closed tubular neighborhood of the zero-section, and let Λ⊂(M,ker⁡(dz−pdq))\Lambda\subset(M,\ker(dz-pdq)) be a Legendrian submanifold diffeomorphic to YY. For a sufficiently small closed tubular neighborhood Nϵ(Λ)N_{\epsilon}(\Lambda), choose a contactomorphism ϕ:M→∼Nϵ(Λ)⊂int⁡(M)\phi:M\xrightarrow{\sim}N_{\epsilon}(\Lambda)\subset\operatorname{int}(M) satisfying ϕ∗(dz−pdq)=e−g(dz−pdq)\phi^*(dz-pdq)=e^{-g}(dz-pdq) for some g:M→R>0g:M\to\mathbb{R}_{>0}, and denote the associated Liouville domain by W(Y,Λ)=W(M,ϕ)W_{(Y,\Lambda)}=W_{(M,\phi)}. Weinstein homotopy conjecture. The Liouville structure on W(Y,Λ)W_{(Y,\Lambda)}, including the domain WSA⁡W_{\operatorname{SA}} from the Smale example, is homotopic to a Weinstein structure. The observation is motivated by the Creation Lemma, which suggests that a single box-fold should suffice to make these domains Weinstein, but the argument is not supplied in the source; consequently, the conjecture remains open.

References

Primary source

Yang Huang, “A dynamical construction of Liouville domains”, arXiv:1910.14132 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.