The Legendrian Whitney trick (Q2058835)

The fundamental problems on the interplay between Legendrian submanifolds and contact submanifolds and on the existence of a contact submanifold of a given smooth class are considered. The main results are the following. Theorem 1. Let $\phi:(D^{2n-1},\partial D^{2n-1};\xi_{st})\to(B,\partial B;\xi)$ be a proper isocontact embedding, $n\geq2$ and $\lambda:S^n\to(B,\xi)$ be a Legendrian embedding such that $\phi$ and $\lambda$ are smoothly standard. Then there exists a compactly supported family of isocontact embeddings $\phi_t:(D^{2n-1},\xi_{st})\to(B,\xi)$ for $t\in[0,1]$ with $\phi=\phi_0$ such that the intersection of $im(\phi_1)$ and $im(\lambda)$ is the empty set. Theorem 2. Let $(N,\xi_N)$ and $(M,\xi_M)$ be contact manifolds with $\dim(M)=\dim(N)+2\geq5$, and $(f^0,F_s^0):(N,\xi_N)\to(M,\xi_M)$ be a formal isocontact embedding. Then there exists a family \[ (f^t,F_s^t):(N,\xi_N)\to(M,\xi_M),\quad t\in[0,1], \] of formal isocontact embeddings such that $(f^1,F_s^1=df^1)$ is an isocontact embedding.