1: \begin{abstract}

2: In this paper, we study representation homology of topological spaces, 

3: that is a natural homological extension of representation varieties of 

4: fundamental groups. We give an elementary

5: construction of representation homology in terms of classical (abelian)

6: homological algebra. Our construction is parallel to the Loday-Pirashvili

7: construction of higher Hochschild homology \cite{P1}; in fact, we

8: establish a direct geometric relation between the two theories by proving that

9: the representation homology of the (reduced) suspension of a (pointed 

10: connected) space is isomorphic to its higher Hochschild homology.

11: We also construct some natural maps and spectral sequences relating

12: representation homology to other standard homology theories associated

13: with spaces (such as Pontryagin algebras, 

14: $\bS^1$-equivariant homology of the free loop space and stable homology of automorphism groups 

15: of f.g. free groups). We compute representation homology explicitly (in terms of known invariants)

16: in a number of interesting cases, including spheres, suspensions, complex projective spaces, 

17: Riemann surfaces and some 3-dimensional manifolds (such as link complements in $\R^3$ and  

18: the lens spaces $ L(p,q) $). One of our main results, which we call the Comparison

19: Theorem, expresses the representation homology of a simply-connected topological 

20: space of finite rational type in terms of its Quillen and Sullivan models.

21: \end{abstract}

22: