Flexibility for tangent and transverse immersions in Engel manifolds

From MaRDI portal
(Redirected from Publication:668264)



Abstract: In this article we study immersions of the circle that are tangent to an Engel structure mathcalD. We show that a full h-principle does exist as soon as one excludes the closed orbits of mathcalW, the kernel of mathcalD. This is sharp: we elaborate on work of Bryant and Hsu to show that curves tangent to mathcalW often conform additional isolated components that cannot be detected at a formal level. We then show that this is an exceptional phenomenon: if mathcalD is generic, curves tangent to mathcalW are not isolated anymore. We then go on to show that a full h-principle holds for immersions transverse to the Engel structure.


An Engel structure on a smooth 4-dimensional manifold \(M\) is a maximally non-integrable distribution \(\mathcal{D}\) on \(M\). Associated to \(\mathcal{D}\) is a 3-dimensional distribution \(\mathcal{E}= [\mathcal{D},\mathcal{D}]\) and a 1-dimensional distribution \(\mathcal{W} \subset \mathcal{D}\) characterized by \([\mathcal{W}, \mathcal{E}] \subset \mathcal{E}\). Suppose \(\mathcal{D}\) is an Engel structure on \(M\). An immersion \(\gamma : S^1 \rightarrow M\) is said to be horizontal if \(\gamma^\prime(t) \in \mathcal{D}_{\gamma(t)}\) for all \(t \in S^1\). A formal horizontal immersion is defined to be a pair of maps \(\gamma:S^1 \rightarrow M\) and \(F: S^1 \rightarrow \mathcal{D}\) such that \(0 \neq F(s) \in \mathcal{D}_{\gamma(s)}\) for all \(s\). Let \(\mathcal{HI}(\mathcal{D})\) denote the space of horizontal immersions, and let \(\mathcal{FHI}(\mathcal{D})\) denote the space of formal horizontal immersions. There is a natural inclusion \(\mathcal{HI}(\mathcal{D}) \subset \mathcal{FHI}(\mathcal{D})\) which sends \( \gamma\) to \( (\gamma, \gamma^\prime)\). The authors show that this inclusion is not always a weak homotopy equivalence because \(\mathcal{W}\) may have isolated closed orbits. On the other hand they prove that the inclusions of \(\mathcal{HI}^{\mathrm{n.e.t.}}(\mathcal{D})\), which consist of those \(\gamma \in \mathcal{HI}(\mathcal{D})\) that are not everywhere tangent to \(\mathcal{W}\), and of \(\mathcal{HI}^{\mathrm{gen}}(\mathcal{D})\), which consists of those \(\gamma \in \mathcal{HI}(\mathcal{D})\) whose \(\mathcal{W}\)-tangencies have empty interior, into \(\mathcal{FHI}(\mathcal{D})\) are both weak homotopy equivalences. In other words, an \(h\)-principle holds for \(\mathcal{HI}^{\mathrm{n.e.t.}}(\mathcal{D})\) and \(\mathcal{HI}^{\mathrm{gen}}(\mathcal{D})\). In the last section of the paper the authors show that an \(h\)-principle also holds for immersions that are transverse to \(\mathcal{D}\).











This page was built for publication: Flexibility for tangent and transverse immersions in Engel manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q668264)