  In this paper, we introduce and study representation homology of topological
spaces, which is a natural homological extension of representation varieties of
fundamental groups. We give an elementary construction of representation
homology parallel to the Loday-Pirashvili construction of higher Hochschild
homology; in fact, we establish a direct geometric relation between the two
theories by proving that the representation homology of the suspension of a
(pointed connected) space is isomorphic to its higher Hochschild homology. We
also construct some natural maps and spectral sequences relating representation
homology to other homology theories associated with spaces (such as Pontryagin
algebras, $S^1$-equivariant homology of the free loop space and stable homology
of automorphism groups of f.g. free groups). We compute representation homology
explicitly (in terms of known invariants) in a number of interesting cases,
including spheres, suspensions, complex projective spaces, Riemann surfaces and
some 3-dimensional manifolds, such as link complements in $\R^3$ and the lens
spaces $ L(p,q) $. In the case of link complements, we identify the
representation homology in terms of ordinary Hochschild homology, which gives a
new algebraic invariant of links in $\R^3$.
