# Homology of free loop space

By rational homotopy theory, $H(\Lambda M; \mathbb{Q})$ is infinite-dimensional over $\mathbb{Q}$ if $M$ is simply-connected. Are there (non-simply-connected) examples when $H(\Lambda M; \mathbb{Q})$ is finite-dimensional? I am most interested when $M$ is a manifold. Also, note that $H_0(\Lambda M; \mathbb{Q})$ is the set of conjugacy classes of $\pi_1(M)$, ie. loops up to homotopy.

• Your title says "based loop space", but usually $\Lambda M$ is the space of free loops (i.e. unbased). Which is it...? – Najib Idrissi Feb 22 '17 at 9:43
• @NajibIdrissi Thanks for pointing this out. It should be free loop space; I fixed it. – user39598 Feb 23 '17 at 0:45

Take a nontrivial (say, infinite) group $G$ which has exactly two conjugacy classes (e.g. one given by the HNN construction). Now, take $X=K(G,1)$. By working harder one can construct examples of such groups which have finite cohomological dimension and, hence, are fundamental groups of (noncompact) aspherical manifolds.
Edit. In fact, if you apply the HNN construction to the infinite cyclic group $G_0$, the result will an (infinitely generated) countable group $G$ of cohomological dimension 2 with exactly two conjugacy classes (the presentation complex $X$ of $G$ will be 2-dimensional and aspherical). Hence, by Stallings embedding theorem, there exists a 4-dimensional aspherical manifold $M=K(G,1)$ (obtained by embedding $X'$ homotopy-equivalent to $X$ into $R^4$ and then taking a regular neighborhood there).
• Do you have examples of closed (compact) manifolds with the property tha $H(\Lambda M)$ is finite-dimensional? In this case, $\pi_1(M)$ is finitely-generated. – user39598 Apr 28 '17 at 7:36
• I looked at the Osin article but I'm not sure that it applies to manifolds. I am interested in a closed manifold such that $H(\Lambda M)$ is finite-dimensional. One potential example is when $M$ is hyperbolic and $\pi_1(M)$ has finitely many conjugacy classes (but $\pi_1(M)$ is itself infinite). The examples from Osin are finitely-generated groups with finitely many conjugacy classes but I'm not sure that these groups are the fundamental groups of closed hyperbolic manifolds - for example, $\mathbb{Z}/2$ is not since it is not infinite. – user39598 Apr 30 '17 at 4:59
• @MoiseCohen Thank you. So just to clarify, is my question still unknown? Whether there are closed manifold such that $H(\Lambda M)$ is finite-dimensional? – user39598 Apr 30 '17 at 5:07