Transversal homotopy theory

Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy monoids, one for each natural number. The assignment is functorial for a natural class of maps which we call stratified normal submersions. When the stratification is trivial the transversal homotopy monoids are isomorphic to the usual homotopy groups. We compute some simple examples and explore the elementary properties of these invariants. We also assign `higher invariants’, the transversal homotopy categories, to each Whitney stratified manifold. These have a rich structure; they are rigid monoidal categories for n>1 and ribbon categories for n>2. As an example we show that the transversal homotopy categories of a sphere, stratified by a point and its complement, are equivalent to categories of framed tangles.

💡 Research Summary

The paper introduces a new homotopy‑theoretic invariant for Whitney‑stratified manifolds by exploiting the differential‑geometric notion of transversality. Building on an idea of John Baez and James Dolan, the authors define “transversal maps” – smooth maps that intersect each stratum of a stratified space in a generic, transverse way. By considering homotopy classes of such maps from the n‑sphere Sⁿ into a stratified manifold X, they construct for every natural number n a “transversal homotopy monoid” πⁿᵗ(X). Unlike ordinary homotopy groups, these objects carry a monoid structure rather than a group structure; composition is associative but not necessarily invertible, reflecting the fact that transversality imposes a directional constraint on homotopies.

A central technical contribution is the identification of a suitable class of morphisms between stratified manifolds, called “stratified normal submersions”. These are smooth submersions that preserve the normal bundles of each stratum and, crucially, maintain transversality of maps. The authors prove that πⁿᵗ(–) is functorial with respect to such maps, thereby establishing a genuine homotopy‑theoretic functor from the category of Whitney‑stratified manifolds and stratified normal submersions to the category of monoids. When the stratification on X is trivial (i.e., X is a smooth manifold without singular strata), the transversal monoid collapses to the ordinary homotopy group πₙ(X), showing that the construction genuinely extends classical homotopy theory.

To capture higher‑dimensional information, the paper upgrades the monoids to categories. The “transversal homotopy category” 𝒯ⁿ(X) has objects given by transversal maps Sⁿ → X up to transversal homotopy, and morphisms given by transversal homotopy classes of homotopies between such maps. For n > 1 this category admits a rigid monoidal (tensor) product induced by the usual concatenation of spheres, and for n > 2 it further carries a ribbon structure (braiding together with a compatible twist). These categorical structures mirror those found in low‑dimensional topology and quantum algebra, suggesting deep connections with tangle and knot theory.

The authors work out several illustrative examples. For a smooth manifold with the trivial stratification, 𝒯ⁿ(X) recovers the ordinary homotopy category, confirming consistency with classical theory. For a sphere Sᵏ stratified by a distinguished point and its complement, they prove that 𝒯ⁿ(Sᵏ) is equivalent to the category of framed (k‑n)-tangles. In particular, when k = 2 and n = 1, the transversal homotopy category reproduces the well‑known category of framed 1‑tangles, providing a concrete bridge between the new invariants and classical knot‑theoretic objects. Additional calculations show that a space consisting of a single stratum (a point) yields a free monoid on the set of transversal maps, illustrating how the invariants detect the presence of singular strata.

The paper concludes with a discussion of potential applications. Because transversal homotopy monoids are sensitive to the stratification, they can distinguish spaces that ordinary homotopy groups cannot. Their functoriality under stratified normal submersions suggests a robust “transfer” theory analogous to the classical transfer maps in homotopy. Moreover, the rich categorical structures (rigid monoidal and ribbon) open the door to interactions with higher‑category theory, topological quantum field theory, and the algebraic structures underlying quantum invariants of knots and links. The authors anticipate that further development of transversal homotopy theory will provide new tools for studying singular spaces, stratified mapping spaces, and the interplay between differential geometry and algebraic topology.