  For any space X with the homotopy type of simply-connected, finite-type
CW-complex, we construct an associative cochain algebra fls(X) whose cohomology
algebra is isomorphic to that of LX, the free loop space on X. For certain X,
we define a cochain map from fls(X) to itself that is a good model of the
pth-power operation on LX.
  Under additional conditions on X, e.g., when X is a wedge of spheres, we
define a cochain complex hos(X) by twisting together fls(X) and H*(BS^1) and
prove that the cohomology of hos(X) is isomorphic to the Borel cohomology of
LX.
  Finally, we define tc(X) to be the mapping cone of the composite of the
projection map from hos(X) to fls(X) with the model of the pth-power map (for
p=2), so that the mod 2 spectrum cohomology of TC(X;2), the topological cyclic
homology of X at 2, is isomorphic to the mod 2 cohomology of tc(X).
  We conclude by calculating the mod 2 spectrum homology of TC(S^{2n+1}; 2).
