Let $X$ be a finite (CW or simplicial - doesn't matter) complex and consider the space of all compact subspaces of $R^\infty$ which are homotopy equivalent to $X$, topologized say as a subspace of the space of all compact subspaces of $R^\infty$ with the Hausdorff metric. What is known about this space? I vaguely recall that it is related to Waldhausen's $A$-theory - are there any references for that?

Motivation: if one instead looks at the space of all subspaces homeomorphic to or respectively diffeomorphic (if $X$ is a manifold) to $X$ one has a model for $BHomeo(X)$ or $BDiff(X)$ (since the corresponding space of embeddings of $X$ in $R^\infty$ is weakly contractible and this space is the quotient of the space of embeddings by the homeo/diffeo group). I have been having fun lately thinking about these models when $X$ is a finite set of points or a surface. This space of subspaces homotopy equivalent to $X$ is different - in particular I do not see it (directly anyways) as a model for $BHomotopySelfEquiv(X)$ - so I'd like to know more what is known about it.


To me, Hausdorff metric is an unaccustomed way of making such a space of spaces. I think I don't trust it because fixing a homotopy type gives you a set that is neither closed nor open in general.

But yes I believe the picture is that some kind of "space of spaces of homotopy type $X$" is closely related to $A(X)$.

Let's start with smooth manifolds, but of codimension zero. For a fixed $n$ and a finite complex $K\subset \mathbb R^n$, let $M_n(K)$ be the space of smooth compact $n$-manifolds $N\subset \mathbb R^n$ containing $K$ in the interior as a deformation retract. (Let's say, the simplicial set where a $p$-simplex is a suitable thing in $\Delta^p\times \mathbb R^n$ such that the projection to $\Delta^p$ is a smooth fiber bundle.) You can map $M_n(K)\to M_{n+1}(K)$ by crossing with $[-1,1]$ (and doing something about corners), and you can consider the (homotopy) colimit over $n$. Using the classification of $h$-cobordisms you can work out that the set of components is the Whitehead group of $K$. The loopspace of one component is the smooth stable pseudoisotopy space of $K$. To get the idea, think of the case when $K$ is a point: the space $M_n(K)$ is then, after you discard extraneous components corresponding to cases where the boundary is not simply connected -- which were going to go away anyway upon stabilizing over $n$ -- your quotient of {embeddings $D^n\to\mathbb R^n$}~$O(n)$ by {diffeomorphisms $D^n\to D^n$}. It's also a kind of "space of all $h$-cobordisms on $S^{n-1}$, and thus a delooping of the (unstable) pseudoisotopy space of $S^{n-1}$.

When $K$ is more complicated than a point, it's important to distinguish between the space of all blah blah blah containing $K$ as a deformation retract and the space of all blah blah homotopy equivalent to $K$; they differ by the space of homotopy equivalences $K\to K$.

There is a similar story for the piecewise linear or topological case.

The piecewise linear manifold version of this construction can, I believe, be shown to be equivalent to a non-manifold construction more like what you asked about: some kind of "space of compact PL spaces in $\mathbb R^n$ containing a fixed $K$ as deformation retract".

Waldhausen tells us that the stable smooth construction above and the stable PL construction above are respectively (the underlying spaces of spectra which are) the fiber of a map from the suspension spectrum of $K\cup{point}$ to $A(K)$, and the fiber of a map from $A(*)\wedge (K\cup{point})$ to $A(K)$.

  • $\begingroup$ Yes, I think this story is what I am interested in. To follow up on your first comments, it seems to me that the Hausdorff metric restricts to the standard topology on the space of subspaces homeo to a given (compact) one (Emb(X, R^\infty)/Homeo(X)) - am I wrong on that? Though that doesn't preclude it from giving something funny when we are just restricting the homotopy type of the subspace. I wonder what happens when you think of submanifolds (of a fixed dimension?) homotopy equivalent to a given one. $\endgroup$ – Dev Sinha Aug 27 '10 at 21:11
  • $\begingroup$ Suppose M and M′ are closed manifolds, h-cobordant but not simple homotopy equivalent, and of not too small dimension. An h-cobordism between them can be put inside M×ϵ, making M′ arbitrarily close to M in your sense. It seems to me that in this way you can produce a continuous path in your Hausdorff metric space from M to M'. But I don′t want $M$ and $M'$ to be in the same component. $\endgroup$ – Tom Goodwillie Aug 30 '10 at 1:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.