RT Journal Article T1 Fundamental groups of formal Legendrian and horizontal embedding spaces A1 Fernández Fuertes, Eduardo A1 Martínez-Aguinaga, Javier A1 Presas, Francisco AB We compute the fundamental group of each connected component of the space of formal Legendrian embeddings in R3. 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 R4. We check that the natural inclusion of the space of horizontal embeddings into the space of formal horizontal embeddings induces an isomorphism at [Pi]1 –level. PB Mathematical Sciences Publishers (MSP) SN 1472-2747 YR 2020 FD 2020 LK https://hdl.handle.net/20.500.14352/7653 UL https://hdl.handle.net/20.500.14352/7653 LA eng DS Docta Complutense RD 21 sept 2024