For a space1 $X$, let $\mathcal{L}X = \mathrm{Maps}(S^1, X)$ be the free loop space.

Inclusion of constant loops gives a natural map $X \to \mathcal{L}X$. This is not a homotopy equivalence unless $X$ is contractible, because it splits the fibration $\Omega X \to \mathcal{L} X \to X$.

I would like to know that it is not an equivalence ``because'' loops do not commute with (homotopy) colimits.

That is: suppose $X$ is presented as a CW complex, i.e. as a colimit of contractible spaces: $X = \mathrm{Colim}\, D_\alpha$. Then the natural map

$$X = \mathrm{Colim} \, D_\alpha = \mathrm{Colim} \, \mathcal{L} D_\alpha \to \mathcal{L} \, \mathrm{Colim} \, D_\alpha = \mathcal{L} X $$

is (homotopic to) the inclusion of constant loops.

It is possible to see that $X \mapsto \mathcal{L} X$ is not an equivalence by computing some invariant which, in general, measures the failure of loops to commute with colimits?

Here I have in mind that if I wanted to know how a functor failed to be exact, I would study its derived functors.

When I search the internet for loop spaces and colimits, invariably I find myself reading about ``calculus of functors''.

Is the calculus of functors going to help me here?

In fact for my purposes I am ultimately interested in the analogous question for the functor ``Hochschild homology'' from dg categories to chain complexes, so would be perfectly happy with an answer to the above question after taking chains.

(As for what these purposes are, it has to do with a problem about dynamics in contact manifolds. An explanation of how that is related is a bit afield and perhaps too long to include here, but you can see this short note.)

1 To avoid more complaints in the comments, let us say a connected CW complex.

  • $\begingroup$ I think (but I might be completely wrong) that usually the calculus of functors is related to finite colimits rather than arbitrary colimits (see the definition of excisive or $n$-excisive for instance) $\endgroup$ Jan 12 '21 at 9:02
  • $\begingroup$ @MaximeRamzi, that’s ok — for what I need, finite colimits are enough. $\endgroup$ Jan 12 '21 at 9:35
  • $\begingroup$ Firstly, by isomorphism, you mean homeomorphism, or do you have something else in mind? Secondly, if $X=S^0$ is a two-point discrete space, then $\Omega S^0=\ast$ and $S^0\rightarrow\mathcal{L}S^0$ is a homeomorphism. $\endgroup$
    – Tyrone
    Jan 12 '21 at 14:07
  • $\begingroup$ @Tyrone I meant weak equivalence. Also I meant “each connected component is contractible.” Now I edited it to clarify. $\endgroup$ Jan 12 '21 at 14:09
  • 1
    $\begingroup$ In that case I think Goodwillie calculus might be interesting, especially if your desired target ($\infty$-)category is stable (for instance chain complexes if you're working up to quasi-isomorphism) - then excisive functors are related to finite colimit-preserving functors. $\endgroup$ Jan 12 '21 at 14:33

If you consider Goodwillie calculus for functors ${\rm Top} \to Ch_{\mathbb Z}$, then a functor will be linear if and only if it preserves all small (homotopy) colimits (as in Maxime's comment). Indeed, in the stable setting, a square is a pushout if and only if it is a pullback, so excisive functors to a stable target preserve pushouts, and therefore all small colimits. So the functor $X \mapsto C_*(LX)$ will not be linear.

There may be issues when $X$ is not simply connected and I don't know a reference, but it seems to me that you should be able to reconstruct the Goodwillie tower of $X \mapsto C_*(LX)$, from the (co)-Hochschild model for $C_*(LX)$ by truncating the Hochschild complex. In particular it seems that the $n$th associated homogeneous functor is $C_*(X)^{\otimes n}$ (up to a shift).


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.