What, exactly, is the fundamental group of a free loop space?

1.4k Views Asked by At

In these two questions from a few years ago, there was some discussion of the homotopy groups of the free loop space $LX$ of a topological space $X$, which, mysteriously, is the only reference I can find on the issue, although there has been a lot of work on (co)homology of free loop spaces.

The long exact sequence of the fibration $\Omega X\to LX\to X$ helps a lot in computing $\pi_i(LX,c(x))$, where $x\in X$ and $c:X\to LX$ is the embedding of constant loops. Since $c$ admits a retraction, all the boundary maps in the long exact sequence vanish. Then the higher homotopy groups are easy: $\pi_i(LX)\cong \pi_i X\oplus \pi_{i+1} X$, when $i>1$.

For the fundamental group, you get $\pi_1(LX,c(x))\cong \pi_2(X,x)\rtimes_\rho \pi_1(X,x)$ where $\rho$ is some action of $\pi_1$ on $\pi_2$. It's a natural guess that $\rho$ should be the usual action of $\pi_1$ on $\pi_2$, but I'm not so sure. Given $\gamma\in\pi_1(X)$ represented by $g$ and $\alpha\in\pi_2(X)$ represented by $a:S^2\to X$, the usual action makes $\gamma\cdot\alpha$ the class of some map $a'$ which is homotopic to $a$ by a homotopy sending the basepoint around $g$.

But $\rho$ has to be the conjugation action in $\pi_1(LX,c(x))$, which we can describe concretely as the group of pointed homotopy classes of pinched tori $TP\to X$ based at $x$. Then to calculate $\rho(\gamma)(\alpha)$, we view $g$ and $a$ as degenerate pinched tori, take the concatenation $g^{-1}* a * g$, and then contract the path $g^{-1}*g$ the base point follows in the result. This doesn't look the same as the usual action to me.

For illustration, here's a possibly-incomprehensible sketch. These pictures are describing maps $S^2\to X$ as maps from the square $I^2$. Darkened lines are mapped to $x$, arrows are copies of $g$, and diagonally filled regions are copies of $a$. I don't see that any two of the three 2-spheres $a,\rho(\gamma)(\alpha),$ and $\gamma * \alpha$ are equivalent in $\pi_2(X)$, although surely $\rho(\gamma)(\alpha)$ must be one or the other. Anybody have any idea which? enter image description here

1

There are 1 best solutions below

2
On

This question is discussed on p.293, Example 9.3.8, of the book partially titled Nonabelian Algebraic Topology. It is sufficient to assume that $X$ is the classifying space of a crossed module $\mathcal M$ of the form $ \mu : M \to P$ over a group $P$. Then the aim is to extend $\mathcal M$ trivially to a crossed complex and to describe explicitly the crossed complex

$$L \mathcal M = CRS(\mathbb K(\mathbb Z,1), \mathcal M)$$ where $CRS$ is the internal hom for the monoidal closed structure on the category $Crs$ of crossed complexes, and $\mathbb K(\mathbb Z,1)$ is the crossed complex model of the circle. Since $CRS$ has an explicit description, given in that Chapter of the book, you can write things down.

This was being worked over in more detail after arXiv:1003.5617 with some GAP calculations by a colleague, but the final version did not get completed, I fear, so just the sketch appeared in the book. I'll look at it again.

So I am glad to see the question asked again, and hope this helps.

In view of the equivalence between the monoidal closed structure of crossed complexes and of their cubical analogue, it could be possible to relate this approach to Kevin's pictures.