-
On the Legendrian realisation of parametric families of knots
Authors:
Javier Martínez-Aguinaga
Abstract:
We study the natural inclusion of the space of Legendrian embeddings in $(\mathbb{S}^3,ξ_{\operatorname{std}})$ into the space of smooth embeddings from a homotopical viewpoint.
T. Kálmán posed in [Kal] the open question of whether for every fixed knot type $\mathcal{K}$ and Legendrian representative $\mathcal{L}$, the homomorphism $π_1(\mathcal{L})\toπ_1(\mathcal{K})$ is surjective. We positive…
▽ More
We study the natural inclusion of the space of Legendrian embeddings in $(\mathbb{S}^3,ξ_{\operatorname{std}})$ into the space of smooth embeddings from a homotopical viewpoint.
T. Kálmán posed in [Kal] the open question of whether for every fixed knot type $\mathcal{K}$ and Legendrian representative $\mathcal{L}$, the homomorphism $π_1(\mathcal{L})\toπ_1(\mathcal{K})$ is surjective. We positively answer this question for infinitely many knot types $\mathcal{K}$ in the three main families (hyperbolic, torus and satellites) and every stabilised Legendrian representative in $(\mathbb{S}^3,ξ_{\operatorname{std}})$.
We then show that for every $n\geq 3$, the homomorphisms $π_n(\mathcal{L})\toπ_n(\mathcal{K})$ and $π_n(\mathcal{FL})\toπ_n(\mathcal{K})$ are never surjective for any knot type $\mathcal K$, Legendrian representative $\mathcal L$ or formal Legendrian representative $\mathcal{FL}$. This shows the existence of rigidity at every higher-homotopy level beyond $π_3$. For completeness, we also show that surjectivity at the $π_2$-level depends on the smooth knot type.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
On the topology of loops of contactomorphisms and Legendrians in non-orderable manifolds
Authors:
Luis Hernández-Corbato,
Javier Martínez-Aguinaga
Abstract:
We study the global topology of the space $\mathcal L$ of loops of contactomorphisms of a non-orderable closed contact manifold $(M^{2n+1}, α)$. We filter $\mathcal L$ by a quantitative measure of the ``positivity'' of the loops and describe the topology of $\mathcal L$ in terms of the subspaces of the filtration. In particular, we show that the homotopy groups of $\mathcal L$ are subgroups of the…
▽ More
We study the global topology of the space $\mathcal L$ of loops of contactomorphisms of a non-orderable closed contact manifold $(M^{2n+1}, α)$. We filter $\mathcal L$ by a quantitative measure of the ``positivity'' of the loops and describe the topology of $\mathcal L$ in terms of the subspaces of the filtration. In particular, we show that the homotopy groups of $\mathcal L$ are subgroups of the homotopy groups of the subspace of positive loops $\mathcal L^+$. We obtain analogous results for the space of loops of Legendrian submanifolds in $(M^{2n+1}, α)$.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Parametric satellites and connected-sums in the space of Legendrian embeddings
Authors:
Eduardo Fernández,
Javier Martínez-Aguinaga,
Francisco Presas
Abstract:
This article introduces two new constructions at the higher homotopy level in the space of Legendrian embeddings in $(\mathbb{R}^3, ξ_{\operatorname{std}})$. We first introduce the parametric Legendrian satellite construction, showing that the satellite operation works for parametric families of Legendrian embeddings. This yields new invariants at the higher-order homotopy level.
We then introdu…
▽ More
This article introduces two new constructions at the higher homotopy level in the space of Legendrian embeddings in $(\mathbb{R}^3, ξ_{\operatorname{std}})$. We first introduce the parametric Legendrian satellite construction, showing that the satellite operation works for parametric families of Legendrian embeddings. This yields new invariants at the higher-order homotopy level.
We then introduce the parametric connected-sum construction. This operation takes as inputs two $n$-spheres based at Legendrian embeddings $K_1$ and $K_2$, respectively, and produces a new $n$-sphere based at $K_1\# K_2$. As a main application we construct new infinite families of loops of Legendrian embeddings with non-trivial LCH monodromy invariant.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Existence and classification of maximal growth distributions
Authors:
Javier Martínez-Aguinaga
Abstract:
This article tackles the problem of existence and classification of maximal growth distributions on smooth manifolds. We show that maximal growth distributions of rank$>2$ abide by a full $h$-principle in all dimensions. We make use of M. Gromov's higher order convex integration and, on the way, we establish a new criterion for checking ampleness of a differential relation.
As a consequence we a…
▽ More
This article tackles the problem of existence and classification of maximal growth distributions on smooth manifolds. We show that maximal growth distributions of rank$>2$ abide by a full $h$-principle in all dimensions. We make use of M. Gromov's higher order convex integration and, on the way, we establish a new criterion for checking ampleness of a differential relation.
As a consequence we answer in the positive, for $k>2$, the long-standing open question posed by M. Kazarian and B. Shapiro more than 25 years ago in [14] of whether any parallelizable manifold admits a $k$-rank distribution of maximal growth. We also answer several related open questions.
For completeness we show that the differential relation of maximal growth for rank-$2$ distributions is not ample in any ambient dimension. Non-ampleness of the Engel and the $(2,3,5)$-conditions follow as particular cases.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Classification of tangent and transverse knots in bracket-generating distributions
Authors:
Javier Martínez-Aguinaga,
Álvaro del Pino
Abstract:
Consider a manifold, of dimension greater than 3, equipped with a bracket-generating distribution. In this article we prove complete h-principles for embedded regular horizontal curves and for embedded transverse curves. These results contrast with the 3-dimensional contact case, where the full h-principle for transverse/legendrian knots is known not to hold.
We also prove analogous statements f…
▽ More
Consider a manifold, of dimension greater than 3, equipped with a bracket-generating distribution. In this article we prove complete h-principles for embedded regular horizontal curves and for embedded transverse curves. These results contrast with the 3-dimensional contact case, where the full h-principle for transverse/legendrian knots is known not to hold.
We also prove analogous statements for immersions, with no assumptions on the ambient dimension.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Convex integration with avoidance and hyperbolic (4,6) distributions
Authors:
Javier Martínez-Aguinaga,
Álvaro del Pino
Abstract:
This paper tackles the classification, up to homotopy, of tangent distributions satisfying various non-involutivity conditions. All of our results build on Gromov's convex integration. For completeness, we first prove that that the full h-principle holds for step-2 bracket-generating distributions. This follows from classic convex integration, no refinements of the theory are needed. The classific…
▽ More
This paper tackles the classification, up to homotopy, of tangent distributions satisfying various non-involutivity conditions. All of our results build on Gromov's convex integration. For completeness, we first prove that that the full h-principle holds for step-2 bracket-generating distributions. This follows from classic convex integration, no refinements of the theory are needed. The classification of (3,5) and (3,6) distributions follows as a particular case.
We then move on to our main example: A complete h-principle for hyperbolic (4,6) distributions. Even though the associated differential relation fails to be ample along some principal subspaces, we implement an "avoidance trick" to ensure that these are avoided during convex integration. Using this trick we provide the first example of a differential relation that is ample in coordinate directions but not in all directions, answering a question of Eliashberg and Mishachev.
This so-called "avoidance trick" is part of a general avoidance framework, which is the main contribution of this article. Given any differential relation, the framework attempts to produce an associated object called an "avoidance template". If this process is successful, we say that the relation is "ample up to avoidance" and we prove that convex integration applies. The example of hyperbolic (4,6) distributions shows that our framework is capable of addressing differential relations beyond the applicability of classic convex integration.
△ Less
Submitted 29 December, 2021;
originally announced December 2021.
-
The homotopy type of the contactomorphism groups of tight contact $3$-manifolds, part I
Authors:
Eduardo Fernández,
Javier Martínez-Aguinaga,
Francisco Presas
Abstract:
We compute the homotopy type of the space of embeddings of convex disks with Legendrian boundary into a tight contact $3$-manifold, whenever the sum of the absolute value of the rotation number of the boundary with the Thurston-Bennequin invariant is $-1$, proving that it is homotopy equivalent to the space of smooth embeddings. Using the same ideas it is also determined the homotopy type of the s…
▽ More
We compute the homotopy type of the space of embeddings of convex disks with Legendrian boundary into a tight contact $3$-manifold, whenever the sum of the absolute value of the rotation number of the boundary with the Thurston-Bennequin invariant is $-1$, proving that it is homotopy equivalent to the space of smooth embeddings. Using the same ideas it is also determined the homotopy type of the space of embeddings of convex spheres into a tight $3$-fold in terms of the space of smooth spheres. As a consequence we determine the homotopy type of the space of long Legendrian unknots, satisfying the previous condition, into a tight $3$-fold and also of the space of long transverse unknots with self-linking number $-1$, proving that these spaces are homotopy equivalent to the space of smooth long unknots. We also determine the homotopy type of the contactomorphism group of every universally tight handlebody, the standard $\NS^1\times\NS^2$ and every Legendrian fibration over a compact orientable surface with non-empty boundary, partially solving a conjecture due to E. Giroux. Finally, we show that the space of embeddings of Legendrian $(n,n)$-torus links with maximal Thurston-Bennequin invariant is homotopy equivalent to $\U(2)\times K(\mathcal{M}_n,1)$, where $\mathcal{M}_n$ is the map** class group of the $2$-sphere with $n$-holes.
△ Less
Submitted 27 December, 2022; v1 submitted 29 December, 2020;
originally announced December 2020.
-
Loops of Legendrians in contact 3-manifolds
Authors:
Eduardo Fernández,
Javier Martínez-Aguinaga,
Francisco Presas
Abstract:
We study homotopically non-trivial spheres of Legendrians in the standard contact R3 and S3. We prove that there is a homotopy injection of the contactomorphism group of S3 into some connected components of the space of Legendrians induced by the natural action. We also provide examples of loops of Legendrians that are non-trivial in the space of formal Legendrians, and thus non-trivial as loops o…
▽ More
We study homotopically non-trivial spheres of Legendrians in the standard contact R3 and S3. We prove that there is a homotopy injection of the contactomorphism group of S3 into some connected components of the space of Legendrians induced by the natural action. We also provide examples of loops of Legendrians that are non-trivial in the space of formal Legendrians, and thus non-trivial as loops of Legendrians, but which are trivial as loops of smooth embeddings for all the smooth knot types.
△ Less
Submitted 7 October, 2018;
originally announced October 2018.
-
Fundamental groups of formal Legendrian and horizontal embedding spaces
Authors:
Eduardo Fernández,
Javier Martínez-Aguinaga,
Francisco Presas
Abstract:
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 non trivial loops of Legendrian embeddings are already non trivial at the formal level. Likewise, we compute the fundamental group of the different connected components of the space of formal horizontal embeddings into the st…
▽ More
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 non trivial loops of Legendrian embeddings are already non trivial 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 this computes the fundamental group of the space of horizontal embeddings as well.
△ Less
Submitted 18 January, 2020; v1 submitted 12 November, 2017;
originally announced November 2017.