text/comm_alg.tex
changeset 400 a02a6158f3bd
parent 342 1d76e832d32f
child 432 35755232f6ad
child 437 93ce0ba3d2d7
equal deleted inserted replaced
399:979fbe9a14e8 400:a02a6158f3bd
   103 (cf. uniqueness statement in \ref{CHprop}.)
   103 (cf. uniqueness statement in \ref{CHprop}.)
   104 \end{proof}
   104 \end{proof}
   105 
   105 
   106 \medskip
   106 \medskip
   107 
   107 
   108 In view of \ref{hochthm}, we have proved that $HH_*(k[t]) \cong C_*(\Sigma^\infty(S^1), k)$,
   108 In view of Theorem \ref{thm:hochschild}, we have proved that $HH_*(k[t]) \cong C_*(\Sigma^\infty(S^1), k)$,
   109 and that the cyclic homology of $k[t]$ is related to the action of rotations
   109 and that the cyclic homology of $k[t]$ is related to the action of rotations
   110 on $C_*(\Sigma^\infty(S^1), k)$.
   110 on $C_*(\Sigma^\infty(S^1), k)$.
   111 \nn{probably should put a more precise statement about cyclic homology and $S^1$ actions in the Hochschild section}
   111 \nn{probably should put a more precise statement about cyclic homology and $S^1$ actions in the Hochschild section}
   112 Let us check this directly.
   112 Let us check this directly.
   113 
   113