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

Let YY be a compact manifold without boundary, let MJ1YM\subset J^1Y be a closed tubular neighborhood of the zero-section, and let Λ(M,ker(dzpdq))\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 ϕ:MNϵ(Λ)int(M)\phi:M\xrightarrow{\sim}N_{\epsilon}(\Lambda)\subset\operatorname{int}(M) satisfying ϕ(dzpdq)=eg(dzpdq)\phi^*(dz-pdq)=e^{-g}(dz-pdq) for some g:MR>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 WSAW_{\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.

Sources & referencesView supporting material

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.