We prove that that the homotopy type of the path connected component of the identity in the contactomorphism group is characterized by the homotopy type of the diffeomorphism group plus some data provided by the topology of the formal contactomorphism space. As a consequence, we show that every connected component of the space of Legendrian long knots in R 3 has the homotopy type of the corresponding smooth long knot space. This implies that any connected component of the space of Legendrian embeddings in S 3 is homotopy equivalent to the space K(G, 1) × U(2), with G computed by A. Hatcher and R. Budney. Similar statements are proven for Legendrian embeddings in R 3 and for transverse embeddings in S 3 . Finally, we compute the homotopy type of the contactomorphisms of several tight 3-folds: S 1 × S 2 , Legendrian fibrations over compact orientable surfaces and finite quotients of the standard 3-sphere. In fact, the computations show that the method works whenever we have knowledge of the topology of the diffeomorphism group. We prove several statements on the way that have interest by themselves: the computation of the homotopy groups of the space of non-parametrized Legendrians, a multiparametric convex surface theory, a characterization of formal Legendrian simplicity in terms of the space of tight contact structures on the complement of a Legendrian, the existence of common trivializations for multi-parametric families of tight R 3 , etc. Contents 1. Introduction. 1.1. Outline. 1.2. Acknowledgements. 2. Preliminaries. 2.1. Convex surface theory in tight contact 3-manifolds. 2.2. Fibrations in contact topology. 2.3. The space of Darboux balls in a contact manifold. 2.4. Legendrian embeddings in (S 3 , ξ std ). 2.5. Smooth Case. Hatcher's Theorems.
We compute the fundamental group of each connected component of the space of formal Legendrian embeddings in R 3 . We use it to show that previous examples in the literature of nontrivial loops of Legendrian embeddings are already nontrivial at the formal level. Likewise, we compute the fundamental group of the different connected components of the space of formal horizontal embeddings into the standard Engel R 4 . We check that the natural inclusion of the space of horizontal embeddings into the space of formal horizontal embeddings induces an isomorphism at 1 -level. 57R17, 58A17; 53D10
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.