text/comm_alg.tex
changeset 437 93ce0ba3d2d7
parent 400 a02a6158f3bd
child 438 0d62ea7c653d
equal deleted inserted replaced
430:c5a35886cd82 437:93ce0ba3d2d7
    98 The above maps are compatible with the evaluation map actions of $C_*(\Diff(M))$.
    98 The above maps are compatible with the evaluation map actions of $C_*(\Diff(M))$.
    99 \end{prop}
    99 \end{prop}
   100 
   100 
   101 \begin{proof}
   101 \begin{proof}
   102 The actions agree in degree 0, and both are compatible with gluing.
   102 The actions agree in degree 0, and both are compatible with gluing.
   103 (cf. uniqueness statement in \ref{CHprop}.)
   103 (cf. uniqueness statement in Theorem \ref{thm:CH}.)
   104 \end{proof}
   104 \end{proof}
   105 
   105 
   106 \medskip
   106 \medskip
   107 
   107 
   108 In view of Theorem \ref{thm:hochschild}, 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)$,