text/hochschild.tex
changeset 417 d3b05641e7ca
parent 409 291f82fb79b5
child 437 93ce0ba3d2d7
--- a/text/hochschild.tex	Sun Jul 04 13:15:03 2010 -0600
+++ b/text/hochschild.tex	Sun Jul 04 23:32:48 2010 -0600
@@ -107,7 +107,7 @@
 quasi-isomorphic to its $0$-th homology (which in turn, by \ref{item:hochschild-coinvariants}
 above, is just $C$) via the quotient map $\HC_0 \onto \HH_0$.
 \end{enumerate}
-(Together, these just say that Hochschild homology is `the derived functor of coinvariants'.)
+(Together, these just say that Hochschild homology is ``the derived functor of coinvariants".)
 We'll first recall why these properties are characteristic.
 
 Take some $C$-$C$ bimodule $M$, and choose a free resolution
@@ -130,8 +130,8 @@
 \cP_*(F_j) & \xrightarrow{\cP_0(F_j) \onto H_0(\cP_*(F_j))} \coinv(F_j).
 \end{align*}
 The cone of each chain map is acyclic.
-In the first case, this is because the `rows' indexed by $i$ are acyclic since $\cP_i$ is exact.
-In the second case, this is because the `columns' indexed by $j$ are acyclic, since $F_j$ is free.
+In the first case, this is because the ``rows" indexed by $i$ are acyclic since $\cP_i$ is exact.
+In the second case, this is because the ``columns" indexed by $j$ are acyclic, since $F_j$ is free.
 Because the cones are acyclic, the chain maps are quasi-isomorphisms.
 Composing one with the inverse of the other, we obtain the desired quasi-isomorphism
 $$\cP_*(M) \quismto \coinv(F_*).$$