6
$\begingroup$

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.

$\endgroup$
  • 2
    $\begingroup$ 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. $\endgroup$ – Mike Miller Aug 3 '18 at 22:33
9
$\begingroup$

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$.

In my paper with Saneblidze (https://arxiv.org/abs/1712.02644) we describe a smaller model which might be suitable for your calculations.

However, you must be careful: if you use dg algebra models - such as the Sullivan model - under quasi-isomorphisms you loose the information the fundamental group.

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.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ 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? $\endgroup$ – Yining Zhang Aug 3 '18 at 20:26

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.