Skip to main content
3 of 8
added 124 characters in body; deleted 14 characters in body; added 1 characters in body
John Klein
  • 18.9k
  • 53
  • 109

I just wanted to add something to the discussion about the utility of adding additional basepoints. It turns out this is crucial for understanding certain aspects of embedding theory. See the bottom of this answer for an explanation.

For a map of spaces $A \to B$, let $T(A\to B)$ be the category of spaces which factorize this map. This has objects given by factorizations $A \to X \to B$ and morphisms maps $X \to X'$ which are factorization compatible in the obvious sense. Let's consider the case of the constant map $S^0 \to \ast$. Clearly, an object of $T(S^0\to \ast)$ is just a space with a preferred pair of basepoints.

Then unreduced fiberwise suspension can be regarded as a functor $$ S: \text{Top}(\emptyset \to \ast) \to \text{Top}(S^0 \to *) . $$ That is, the functor which assigns to an unbased space its unreduced suspension, considered as a space with two basepoints.

Now a desuspension question in this context asks given an object $X \in \text{Top}(S^0 \to *)$, is there an object $Y \in \text{Top}(\emptyset \to \ast) $ and a weak equivalence $$ SY \simeq X ? $$ More generally, I've gotten a lot of mileage out of the fiberwise version of this question.

Given a space $B$ we can consider the unreduced fiberwise suspension of $\emptyset \to B$ as the projection map $B \times S^0 \to B$ (here unreduced fiberwise suspension of $Y\to B$ means the double mapping cylinder of the diagram $B \leftarrow Y \to B$, or concretely, it's $B \times 0 \cup Y \times [0,1]\cup B \times 1$.

Unreduced fiberwise suspension is then a functor $$ S_B: \text{Top}(\emptyset \to B) \to \text{Top}(B\times S^0 \to B) , $$ and one can consider the problem of whether an object $X \in \text{Top}(B\times S^0 \to B)$ can be written as $S_B Y$ up to weak equivalence.

Why I care about this problem

This problem naturally arises in embedding theory: if $P \to N \times [0,1]$ is an embedding, where $P$ and $N$ are closed manifolds and if $W$ is the complement of $P$ in $N \times [0,1]$ then $W$ is an object of the category $\text{Top}(N\times S^0 \to N$) and a necessary obstruction to compressing $P$ as an embedding into $N$ is that $W$ should fiberwise desuspend over $N$. Furthermore, in certain instances the existence of fiberwise unreduced desuspension suffices to finding the compression of the embedding. (This story is explained the paper: Poincaré duality embeddings and fiberwise homotopy theory, Topology 38, 597–620 (1999).)

John Klein
  • 18.9k
  • 53
  • 109