# Algebraic models of non-simply connected spaces in string topology

I want to find some algebraic models relating string topology to Hochschild and cyclic homologies. If the space $X$ is simply-connected and we are working over rational numbers, we can use Sullivan model or Quillen model of $X$ to do the job. See nLab page or this paper.

My question is how about non-simply conncted spaces? We still have Sullivan model. But how to relate them to free loop spaces? Can we still use Hochschild and cyclic homologies to compute loop homology and string homology?

For example, the torus $T^{2}$. Its Sullivan model is just $\wedge (x,\,y)$ with zero differential where $|x|=|y|=1$, and it is isomorphic to the Chevalley-Eilenberg cochain algebra of 2 dimensional abelian Lie algebra. But I don't know how to use this to compute loop and string homologies.

Any help would be very appreciated.

• For the special case of the torus $T^n$, the fibration $\Omega T^n \to LT^n \to T^n$ is trivial: the fiber is contractible to $\Bbb Z^n$, so $LT^n$ is homotopy equivalent to a covering space, and each element of the fiber belongs to a distinct component of $LT^n$ (this uses that $\Bbb Z^n$ is an abelian group, so every conjugacy class is one element), so the covering space is trivial. So $LT^n \simeq \Bbb Z^n \times T^n$. I imagine the $\text{Diff}(S^1)$-equivariant homotopy type is more complicated. – Mike Miller Aug 3 '18 at 22:33

In my paper with Zeinalian (https://arxiv.org/abs/1612.04801) we prove that the coHochschild complex of the dg coalgebra of singular chains on a path connected (possibly non-simply connected) space calculates the homology of the free loop space of $X$.
If you want to calculate something for a non-simply connected space $X$ you may use any connected dg coalgebra $C$ which is weakly equivalent to the dg coalgebra of singular chains on $X$ with Alexander-Whitney coproduct in the following sense: we say a map $f: C \to C'$ between two dg connected coalgebras is a weak equivalence (we also called $\Omega$-quasi-isomorphism) if the map of dg algebras $\Omega f: \Omega C \to \Omega C'$ obtained after applying the cobar functor is a quasi-isomorphism. Note that this notion is stronger than quasi-isomorphism of dg coalgebras.
• Thanks for your answer. Maybe a stupid question, for the case of $T^{2}$, does the Chevalley-Eilenberg chain coalgebra of 2 dimensional abelian Lie algebra give you the coalgebra model you mentioned? – Yining Zhang Aug 3 '18 at 20:26