author | Kevin Walker <kevin@canyon23.net> |
Thu, 29 Apr 2010 08:27:10 -0700 | |
changeset 253 | 3816f6ce80a8 |
parent 252 | d6466180cd66 |
child 257 | ae5a542c958e |
permissions | -rw-r--r-- |
46
0ffcbbd8019c
minor cleanup of the start of the hochschild section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
43
diff
changeset
|
1 |
%!TEX root = ../blob1.tex |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
2 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
77
diff
changeset
|
3 |
\section{Hochschild homology when $n=1$} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
77
diff
changeset
|
4 |
\label{sec:hochschild} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
77
diff
changeset
|
5 |
|
141 | 6 |
So far we have provided no evidence that blob homology is interesting in degrees |
7 |
greater than zero. |
|
217 | 8 |
In this section we analyze the blob complex in dimension $n=1$. |
9 |
We find that $\bc_*(S^1, \cC)$ is homotopy equivalent to the |
|
10 |
Hochschild complex of the 1-category $\cC$. |
|
11 |
\nn{cat vs fields --- need to make sure this is clear} |
|
141 | 12 |
Thus the blob complex is a natural generalization of something already |
13 |
known to be interesting in higher homological degrees. |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
14 |
|
141 | 15 |
It is also worth noting that the original idea for the blob complex came from trying |
16 |
to find a more ``local" description of the Hochschild complex. |
|
140 | 17 |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
18 |
Let $C$ be a *-1-category. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
19 |
Then specializing the definitions from above to the case $n=1$ we have: |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
20 |
\begin{itemize} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
21 |
\item $\cC(pt) = \ob(C)$ . |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
22 |
\item Let $R$ be a 1-manifold and $c \in \cC(\bd R)$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
23 |
Then an element of $\cC(R; c)$ is a collection of (transversely oriented) |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
24 |
points in the interior |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
25 |
of $R$, each labeled by a morphism of $C$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
26 |
The intervals between the points are labeled by objects of $C$, consistent with |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
27 |
the boundary condition $c$ and the domains and ranges of the point labels. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
28 |
\item There is an evaluation map $e: \cC(I; a, b) \to \mor(a, b)$ given by |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
29 |
composing the morphism labels of the points. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
30 |
Note that we also need the * of *-1-category here in order to make all the morphisms point |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
31 |
the same way. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
32 |
\item For $x \in \mor(a, b)$ let $\chi(x) \in \cC(I; a, b)$ be the field with a single |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
33 |
point (at some standard location) labeled by $x$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
34 |
Then the kernel of the evaluation map $U(I; a, b)$ is generated by things of the |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
35 |
form $y - \chi(e(y))$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
36 |
Thus we can, if we choose, restrict the blob twig labels to things of this form. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
37 |
\end{itemize} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
38 |
|
46
0ffcbbd8019c
minor cleanup of the start of the hochschild section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
43
diff
changeset
|
39 |
We want to show that $\bc_*(S^1)$ is homotopy equivalent to the |
0ffcbbd8019c
minor cleanup of the start of the hochschild section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
43
diff
changeset
|
40 |
Hochschild complex of $C$. |
141 | 41 |
In order to prove this we will need to extend the |
42 |
definition of the blob complex to allow points to also |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
43 |
be labeled by elements of $C$-$C$-bimodules. |
218 | 44 |
(See Subsections \ref{moddecss} and \ref{ssec:spherecat} for a more general (i.e.\ $n>1$) |
45 |
version of this construction.) |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
46 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
47 |
Fix points $p_1, \ldots, p_k \in S^1$ and $C$-$C$-bimodules $M_1, \ldots M_k$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
48 |
We define a blob-like complex $K_*(S^1, (p_i), (M_i))$. |
218 | 49 |
The fields have elements of $M_i$ labeling |
50 |
the fixed points $p_i$ and elements of $C$ labeling other (variable) points. |
|
51 |
As before, the regions between the marked points are labeled by |
|
52 |
objects of $\cC$. |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
53 |
The blob twig labels lie in kernels of evaluation maps. |
218 | 54 |
(The range of these evaluation maps is a tensor product (over $C$) of $M_i$'s, |
55 |
corresponding to the $p_i$'s that lie within the twig blob.) |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
56 |
Let $K_*(M) = K_*(S^1, (*), (M))$, where $* \in S^1$ is some standard base point. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
57 |
In other words, fields for $K_*(M)$ have an element of $M$ at the fixed point $*$ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
58 |
and elements of $C$ at variable other points. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
59 |
|
218 | 60 |
In the theorems, propositions and lemmas below we make various claims |
61 |
about complexes being homotopy equivalent. |
|
62 |
In all cases the complexes in question are free (and hence projective), |
|
63 |
so it suffices to show that they are quasi-isomorphic. |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
64 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
65 |
We claim that |
48
b7ade62bea27
more commutative algebra stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
46
diff
changeset
|
66 |
\begin{thm} \label{hochthm} |
218 | 67 |
The blob complex $\bc_*(S^1; C)$ on the circle is homotopy equivalent to the |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
68 |
usual Hochschild complex for $C$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
69 |
\end{thm} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
70 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
71 |
This follows from two results. First, we see that |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
72 |
\begin{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
73 |
\label{lem:module-blob}% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
74 |
The complex $K_*(C)$ (here $C$ is being thought of as a |
68
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
75 |
$C$-$C$-bimodule, not a category) is homotopy equivalent to the blob complex |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
76 |
$\bc_*(S^1; C)$. (Proof later.) |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
77 |
\end{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
78 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
79 |
Next, we show that for any $C$-$C$-bimodule $M$, |
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
80 |
\begin{prop} \label{prop:hoch} |
218 | 81 |
The complex $K_*(M)$ is homotopy equivalent to $\HC_*(M)$, the usual |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
82 |
Hochschild complex of $M$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
83 |
\end{prop} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
84 |
\begin{proof} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
85 |
Recall that the usual Hochschild complex of $M$ is uniquely determined, |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
86 |
up to quasi-isomorphism, by the following properties: |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
87 |
\begin{enumerate} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
88 |
\item \label{item:hochschild-additive}% |
136 | 89 |
$\HC_*(M_1 \oplus M_2) \cong \HC_*(M_1) \oplus \HC_*(M_2)$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
90 |
\item \label{item:hochschild-exact}% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
91 |
An exact sequence $0 \to M_1 \into M_2 \onto M_3 \to 0$ gives rise to an |
136 | 92 |
exact sequence $0 \to \HC_*(M_1) \into \HC_*(M_2) \onto \HC_*(M_3) \to 0$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
93 |
\item \label{item:hochschild-coinvariants}% |
136 | 94 |
$\HH_0(M)$ is isomorphic to the coinvariants of $M$, $\coinv(M) = |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
95 |
M/\langle cm-mc \rangle$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
96 |
\item \label{item:hochschild-free}% |
136 | 97 |
$\HC_*(C\otimes C)$ is contractible. |
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
98 |
(Here $C\otimes C$ denotes |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
99 |
the free $C$-$C$-bimodule with one generator.) |
136 | 100 |
That is, $\HC_*(C\otimes C)$ is |
218 | 101 |
quasi-isomorphic to its $0$-th homology (which in turn, by \ref{item:hochschild-coinvariants} |
102 |
above, is just $C$) via the quotient map $\HC_0 \onto \HH_0$. |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
103 |
\end{enumerate} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
104 |
(Together, these just say that Hochschild homology is `the derived functor of coinvariants'.) |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
105 |
We'll first recall why these properties are characteristic. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
106 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
107 |
Take some $C$-$C$ bimodule $M$, and choose a free resolution |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
108 |
\begin{equation*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
109 |
\cdots \to F_2 \xrightarrow{f_2} F_1 \xrightarrow{f_1} F_0. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
110 |
\end{equation*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
111 |
We will show that for any functor $\cP$ satisfying properties |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
112 |
\ref{item:hochschild-additive}, \ref{item:hochschild-exact}, |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
113 |
\ref{item:hochschild-coinvariants} and \ref{item:hochschild-free}, there |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
114 |
is a quasi-isomorphism |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
115 |
$$\cP_*(M) \iso \coinv(F_*).$$ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
116 |
% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
117 |
Observe that there's a quotient map $\pi: F_0 \onto M$, and by |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
118 |
construction the cone of the chain map $\pi: F_* \to M$ is acyclic. Now |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
119 |
construct the total complex $\cP_i(F_j)$, with $i,j \geq 0$, graded by |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
120 |
$i+j$. We have two chain maps |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
121 |
\begin{align*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
122 |
\cP_i(F_*) & \xrightarrow{\cP_i(\pi)} \cP_i(M) \\ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
123 |
\intertext{and} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
124 |
\cP_*(F_j) & \xrightarrow{\cP_0(F_j) \onto H_0(\cP_*(F_j))} \coinv(F_j). |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
125 |
\end{align*} |
136 | 126 |
The cone of each chain map is acyclic. In the first case, this is because the `rows' indexed by $i$ are acyclic since $\HC_i$ is exact. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
127 |
In the second case, this is because the `columns' indexed by $j$ are acyclic, since $F_j$ is free. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
128 |
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 |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
129 |
$$\cP_*(M) \quismto \coinv(F_*).$$ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
130 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
131 |
%If $M$ is free, that is, a direct sum of copies of |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
132 |
%$C \tensor C$, then properties \ref{item:hochschild-additive} and |
136 | 133 |
%\ref{item:hochschild-free} determine $\HC_*(M)$. Otherwise, choose some |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
134 |
%free cover $F \onto M$, and define $K$ to be this map's kernel. Thus we |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
135 |
%have a short exact sequence $0 \to K \into F \onto M \to 0$, and hence a |
136 | 136 |
%short exact sequence of complexes $0 \to \HC_*(K) \into \HC_*(F) \onto \HC_*(M) |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
137 |
%\to 0$. Such a sequence gives a long exact sequence on homology |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
138 |
%\begin{equation*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
139 |
%%\begin{split} |
136 | 140 |
%\cdots \to \HH_{i+1}(F) \to \HH_{i+1}(M) \to \HH_i(K) \to \HH_i(F) \to \cdots % \\ |
141 |
%%\cdots \to \HH_1(F) \to \HH_1(M) \to \HH_0(K) \to \HH_0(F) \to \HH_0(M). |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
142 |
%%\end{split} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
143 |
%\end{equation*} |
136 | 144 |
%For any $i \geq 1$, $\HH_{i+1}(F) = \HH_i(F) = 0$, by properties |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
145 |
%\ref{item:hochschild-additive} and \ref{item:hochschild-free}, and so |
136 | 146 |
%$\HH_{i+1}(M) \iso \HH_i(F)$. For $i=0$, \todo{}. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
147 |
% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
148 |
%This tells us how to |
136 | 149 |
%compute every homology group of $\HC_*(M)$; we already know $\HH_0(M)$ |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
150 |
%(it's just coinvariants, by property \ref{item:hochschild-coinvariants}), |
136 | 151 |
%and higher homology groups are determined by lower ones in $\HC_*(K)$, and |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
152 |
%hence recursively as coinvariants of some other bimodule. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
153 |
|
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
154 |
Proposition \ref{prop:hoch} then follows from the following lemmas, establishing that $K_*$ has precisely these required properties. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
155 |
\begin{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
156 |
\label{lem:hochschild-additive}% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
157 |
Directly from the definition, $K_*(M_1 \oplus M_2) \cong K_*(M_1) \oplus K_*(M_2)$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
158 |
\end{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
159 |
\begin{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
160 |
\label{lem:hochschild-exact}% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
161 |
An exact sequence $0 \to M_1 \into M_2 \onto M_3 \to 0$ gives rise to an |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
162 |
exact sequence $0 \to K_*(M_1) \into K_*(M_2) \onto K_*(M_3) \to 0$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
163 |
\end{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
164 |
\begin{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
165 |
\label{lem:hochschild-coinvariants}% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
166 |
$H_0(K_*(M))$ is isomorphic to the coinvariants of $M$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
167 |
\end{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
168 |
\begin{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
169 |
\label{lem:hochschild-free}% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
170 |
$K_*(C\otimes C)$ is quasi-isomorphic to $H_0(K_*(C \otimes C)) \iso C$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
171 |
\end{lem} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
172 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
173 |
The remainder of this section is devoted to proving Lemmas |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
174 |
\ref{lem:module-blob}, |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
175 |
\ref{lem:hochschild-exact}, \ref{lem:hochschild-coinvariants} and |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
176 |
\ref{lem:hochschild-free}. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
177 |
\end{proof} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
178 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
179 |
\begin{proof}[Proof of Lemma \ref{lem:module-blob}] |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
180 |
We show that $K_*(C)$ is quasi-isomorphic to $\bc_*(S^1)$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
181 |
$K_*(C)$ differs from $\bc_*(S^1)$ only in that the base point * |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
182 |
is always a labeled point in $K_*(C)$, while in $\bc_*(S^1)$ it may or may not be. |
46
0ffcbbd8019c
minor cleanup of the start of the hochschild section
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
43
diff
changeset
|
183 |
In particular, there is an inclusion map $i: K_*(C) \to \bc_*(S^1)$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
184 |
|
219 | 185 |
We want to define a homotopy inverse to the above inclusion, but before doing so |
186 |
we must replace $\bc_*(S^1)$ with a homotopy equivalent subcomplex. |
|
221 | 187 |
Let $J_* \sub \bc_*(S^1)$ be the subcomplex where * does not lie on the boundary |
219 | 188 |
of any blob. Note that the image of $i$ is contained in $J_*$. |
189 |
Note also that in $\bc_*(S^1)$ (away from $J_*$) |
|
190 |
a blob diagram could have multiple (nested) blobs whose |
|
191 |
boundaries contain *, on both the right and left of *. |
|
192 |
||
193 |
We claim that $J_*$ is homotopy equivalent to $\bc_*(S^1)$. |
|
220 | 194 |
Let $F_*^\ep \sub \bc_*(S^1)$ be the subcomplex where either |
230
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
195 |
(a) the point * is not on the boundary of any blob or |
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
196 |
(b) there are no labeled points or blob boundaries within distance $\ep$ of *. |
220 | 197 |
Note that all blob diagrams are in $F_*^\ep$ for $\ep$ sufficiently small. |
230
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
198 |
Let $b$ be a blob diagram in $F_*^\ep$. |
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
199 |
Define $f(b)$ to be the result of moving any blob boundary points which lie on * |
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
200 |
to distance $\ep$ from *. |
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
201 |
(Move right or left so as to shrink the blob.) |
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
202 |
Extend to get a chain map $f: F_*^\ep \to F_*^\ep$. |
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
203 |
By Lemma \ref{support-shrink}, $f$ is homotopic to the identity. |
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
204 |
Since the image of $f$ is in $J_*$, and since any blob chain is in $F_*^\ep$ |
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
205 |
for $\ep$ sufficiently small, we have that $J_*$ is homotopic to all of $\bc_*(S^1)$. |
220 | 206 |
|
230
ebdcbb16f55e
older changes to hochschild.tex that I apparently forgot to commit
Kevin Walker <kevin@canyon23.net>
parents:
221
diff
changeset
|
207 |
We now define a homotopy inverse $s: J_* \to K_*(C)$ to the inclusion $i$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
208 |
If $y$ is a field defined on a neighborhood of *, define $s(y) = y$ if |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
209 |
* is a labeled point in $y$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
210 |
Otherwise, define $s(y)$ to be the result of adding a label 1 (identity morphism) at *. |
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
211 |
Extending linearly, we get the desired map $s: \bc_*(S^1) \to K_*(C)$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
212 |
It is easy to check that $s$ is a chain map and $s \circ i = \id$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
213 |
|
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
214 |
Let $N_\ep$ denote the ball of radius $\ep$ around *. |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
215 |
Let $L_*^\ep \sub \bc_*(S^1)$ be the subcomplex |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
216 |
spanned by blob diagrams |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
217 |
where there are no labeled points |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
218 |
in $N_\ep$, except perhaps $*$, and $N_\ep$ is either disjoint from or contained in |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
219 |
every blob in the diagram. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
220 |
Note that for any chain $x \in \bc_*(S^1)$, $x \in L_*^\ep$ for sufficiently small $\ep$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
221 |
|
232 | 222 |
We define a degree $1$ map $j_\ep: L_*^\ep \to L_*^\ep$ as follows. Let $x \in L_*^\ep$ be a blob diagram. |
68
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
223 |
\nn{maybe add figures illustrating $j_\ep$?} |
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
224 |
If $*$ is not contained in any twig blob, we define $j_\ep(x)$ by adding $N_\ep$ as a new twig blob, with label $y - s(y)$ where $y$ is the restriction |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
225 |
of $x$ to $N_\ep$. If $*$ is contained in a twig blob $B$ with label $u=\sum z_i$, |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
226 |
write $y_i$ for the restriction of $z_i$ to $N_\ep$, and let |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
227 |
$x_i$ be equal to $x$ on $S^1 \setmin B$, equal to $z_i$ on $B \setmin N_\ep$, |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
228 |
and have an additional blob $N_\ep$ with label $y_i - s(y_i)$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
229 |
Define $j_\ep(x) = \sum x_i$. |
68
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
230 |
|
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
231 |
It is not hard to show that on $L_*^\ep$ |
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
232 |
\[ |
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
233 |
\bd j_\ep + j_\ep \bd = \id - i \circ s . |
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
234 |
\] |
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
235 |
\nn{need to check signs coming from blob complex differential} |
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
236 |
Since for $\ep$ small enough $L_*^\ep$ captures all of the |
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
237 |
homology of $\bc_*(S^1)$, |
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
238 |
it follows that the mapping cone of $i \circ s$ is acyclic and therefore (using the fact that |
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
239 |
these complexes are free) $i \circ s$ is homotopic to the identity. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
240 |
\end{proof} |
68
4f2ea5eabc8f
hochschild section edits
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
66
diff
changeset
|
241 |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
242 |
\begin{proof}[Proof of Lemma \ref{lem:hochschild-exact}] |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
243 |
We now prove that $K_*$ is an exact functor. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
244 |
|
232 | 245 |
As a warm-up, we prove |
246 |
that the functor on $C$-$C$ bimodules |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
247 |
\begin{equation*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
248 |
M \mapsto \ker(C \tensor M \tensor C \xrightarrow{c_1 \tensor m \tensor c_2 \mapsto c_1 m c_2} M) |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
249 |
\end{equation*} |
232 | 250 |
is exact. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
251 |
Suppose we have a short exact sequence of $C$-$C$ bimodules $$\xymatrix{0 \ar[r] & K \ar@{^{(}->}[r]^f & E \ar@{->>}[r]^g & Q \ar[r] & 0}.$$ |
232 | 252 |
We'll write $\hat{f}$ and $\hat{g}$ for the image of $f$ and $g$ under the functor, so |
253 |
\[ |
|
254 |
\hat{f}(\textstyle\sum_i a_i \tensor k_i \tensor b_i) = |
|
255 |
\textstyle\sum_i a_i \tensor f(k_i) \tensor b_i , |
|
256 |
\] |
|
257 |
and similarly for $\hat{g}$. |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
258 |
Most of what we need to check is easy. |
165
5234b7329042
fixing problem (need to treat linear combos) in the exactness lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
141
diff
changeset
|
259 |
Suppose we have $\sum_i (a_i \tensor k_i \tensor b_i) \in \ker(C \tensor K \tensor C \to K)$, assuming without loss of generality that $\{a_i \tensor b_i\}_i$ is linearly independent in $C \tensor C$, and $\hat{f}(a \tensor k \tensor b) = 0 \in \ker(C \tensor E \tensor C \to E)$. We must then have $f(k_i) = 0 \in E$ for each $i$, which implies $k_i=0$ itself. |
232 | 260 |
If $\sum_i (a_i \tensor e_i \tensor b_i) \in \ker(C \tensor E \tensor C \to E)$ is in the image of $\ker(C \tensor K \tensor C \to K)$ under $\hat{f}$, again by assuming the set $\{a_i \tensor b_i\}_i$ is linearly independent we can deduce that each |
165
5234b7329042
fixing problem (need to treat linear combos) in the exactness lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
141
diff
changeset
|
261 |
$e_i$ is in the image of the original $f$, and so is in the kernel of the original $g$, and so $\hat{g}(\sum_i a_i \tensor e_i \tensor b_i) = 0$. |
5234b7329042
fixing problem (need to treat linear combos) in the exactness lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
141
diff
changeset
|
262 |
If $\hat{g}(\sum_i a_i \tensor e_i \tensor b_i) = 0$, then each $g(e_i) = 0$, so $e_i = f(\widetilde{e_i})$ for some $\widetilde{e_i} \in K$, and $\sum_i a_i \tensor e_i \tensor b_i = \hat{f}(\sum_i a_i \tensor \widetilde{e_i} \tensor b_i)$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
263 |
Finally, the interesting step is in checking that any $q = \sum_i a_i \tensor q_i \tensor b_i$ such that $\sum_i a_i q_i b_i = 0$ is in the image of $\ker(C \tensor E \tensor C \to C)$ under $\hat{g}$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
264 |
For each $i$, we can find $\widetilde{q_i}$ so $g(\widetilde{q_i}) = q_i$. However $\sum_i a_i \widetilde{q_i} b_i$ need not be zero. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
265 |
Consider then $$\widetilde{q} = \sum_i (a_i \tensor \widetilde{q_i} \tensor b_i) - 1 \tensor (\sum_i a_i \widetilde{q_i} b_i) \tensor 1.$$ Certainly |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
266 |
$\widetilde{q} \in \ker(C \tensor E \tensor C \to E)$. Further, |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
267 |
\begin{align*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
268 |
\hat{g}(\widetilde{q}) & = \sum_i (a_i \tensor g(\widetilde{q_i}) \tensor b_i) - 1 \tensor (\sum_i a_i g(\widetilde{q_i}) b_i) \tensor 1 \\ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
269 |
& = q - 0 |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
270 |
\end{align*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
271 |
(here we used that $g$ is a map of $C$-$C$ bimodules, and that $\sum_i a_i q_i b_i = 0$). |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
272 |
|
69 | 273 |
Similar arguments show that the functors |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
274 |
\begin{equation} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
275 |
\label{eq:ker-functor}% |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
276 |
M \mapsto \ker(C^{\tensor k} \tensor M \tensor C^{\tensor l} \to M) |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
277 |
\end{equation} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
278 |
are all exact too. Moreover, tensor products of such functors with each |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
279 |
other and with $C$ or $\ker(C^{\tensor k} \to C)$ (e.g., producing the functor $M \mapsto \ker(M \tensor C \to M) |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
280 |
\tensor C \tensor \ker(C \tensor C \to M)$) are all still exact. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
281 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
282 |
Finally, then we see that the functor $K_*$ is simply an (infinite) |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
283 |
direct sum of copies of this sort of functor. The direct sum is indexed by |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
284 |
configurations of nested blobs and of labels; for each such configuration, we have one of the above tensor product functors, |
165
5234b7329042
fixing problem (need to treat linear combos) in the exactness lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
141
diff
changeset
|
285 |
with the labels of twig blobs corresponding to tensor factors as in \eqref{eq:ker-functor} or $\ker(C^{\tensor k} \to C)$ (depending on whether they contain a marked point $p_i$), and all other labelled points corresponding |
5234b7329042
fixing problem (need to treat linear combos) in the exactness lemma
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
141
diff
changeset
|
286 |
to tensor factors of $C$ and $M$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
287 |
\end{proof} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
288 |
\begin{proof}[Proof of Lemma \ref{lem:hochschild-coinvariants}] |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
289 |
We show that $H_0(K_*(M))$ is isomorphic to the coinvariants of $M$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
290 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
291 |
We define a map $\ev: K_0(M) \to M$. If $x \in K_0(M)$ has the label $m \in M$ at $*$, and labels $c_i \in C$ at the other labeled points of $S^1$, reading clockwise from $*$, |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
292 |
we set $\ev(x) = m c_1 \cdots c_k$. We can think of this as $\ev : M \tensor C^{\tensor k} \to M$, for each direct summand of $K_0(M)$ indexed by a configuration of labeled points. |
232 | 293 |
|
294 |
There is a quotient map $\pi: M \to \coinv{M}$. |
|
295 |
We claim that the composition $\pi \compose \ev$ is well-defined on the quotient $H_0(K_*(M))$; |
|
296 |
i.e.\ that $\pi(\ev(\bd y)) = 0$ for all $y \in K_1(M)$. |
|
297 |
There are two cases, depending on whether the blob of $y$ contains the point *. |
|
298 |
If it doesn't, then |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
299 |
suppose $y$ has label $m$ at $*$, labels $c_i$ at other labeled points outside the blob, and the field inside the blob is a sum, with the $j$-th term having |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
300 |
labeled points $d_{j,i}$. Then $\sum_j d_{j,1} \tensor \cdots \tensor d_{j,k_j} \in \ker(\DirectSum_k C^{\tensor k} \to C)$, and so |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
301 |
$\ev(\bdy y) = 0$, because $$C^{\tensor \ell_1} \tensor \ker(\DirectSum_k C^{\tensor k} \to C) \tensor C^{\tensor \ell_2} \subset \ker(\DirectSum_k C^{\tensor k} \to C).$$ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
302 |
Similarly, if $*$ is contained in the blob, then the blob label is a sum, with the $j$-th term have labelled points $d_{j,i}$ to the left of $*$, $m_j$ at $*$, and $d_{j,i}'$ to the right of $*$, |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
303 |
and there are labels $c_i$ at the labeled points outside the blob. We know that |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
304 |
$$\sum_j d_{j,1} \tensor \cdots \tensor d_{j,k_j} \tensor m_j \tensor d_{j,1}' \tensor \cdots \tensor d_{j,k'_j}' \in \ker(\DirectSum_{k,k'} C^{\tensor k} \tensor M \tensor C^{\tensor k'} \tensor \to M),$$ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
305 |
and so |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
306 |
\begin{align*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
307 |
\ev(\bdy y) & = \sum_j m_j d_{j,1}' \cdots d_{j,k'_j}' c_1 \cdots c_k d_{j,1} \cdots d_{j,k_j} \\ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
308 |
& = \sum_j d_{j,1} \cdots d_{j,k_j} m_j d_{j,1}' \cdots d_{j,k'_j}' c_1 \cdots c_k \\ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
309 |
& = 0 |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
310 |
\end{align*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
311 |
where this time we use the fact that we're mapping to $\coinv{M}$, not just $M$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
312 |
|
252 | 313 |
The map $\pi \compose \ev: H_0(K_*(M)) \to \coinv{M}$ is clearly surjective ($\ev$ surjects onto $M$); we now show that it's injective. |
314 |
This is equivalent to showing that |
|
315 |
\[ |
|
316 |
\ev\inv(\ker(\pi)) \sub \bd K_1(M) . |
|
317 |
\] |
|
318 |
The above inclusion follows from |
|
319 |
\[ |
|
320 |
\ker(\ev) \sub \bd K_1(M) |
|
321 |
\] |
|
322 |
and |
|
323 |
\[ |
|
324 |
\ker(\pi) \sub \ev(\bd K_1(M)) . |
|
325 |
\] |
|
326 |
Let $x = \sum x_i$ be in the kernel of $\ev$, where each $x_i$ is a configuration of |
|
327 |
labeled points in $S^1$. |
|
328 |
Since the sum is finite, we can find an interval (blob) $B$ in $S^1$ |
|
329 |
such that for each $i$ the $C$-labeled points of $x_i$ all lie to the right of the |
|
330 |
base point *. |
|
331 |
Let $y_i$ be the restriction of $x_i$ to $B$ and $y = \sum y_i$. |
|
332 |
Let $r$ be the ``empty" field on $S^1 \setmin B$. |
|
333 |
It follows that $y \in U(B)$ and |
|
334 |
\[ |
|
335 |
\bd(B, y, r) = x . |
|
336 |
\] |
|
337 |
$\ker(\pi)$ is generated by elements of the form $cm - mc$. |
|
338 |
As shown in Figure \ref{fig:hochschild-1-chains}, $cm - mc$ lies in $\ev(\bd K_1(M))$. |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
339 |
\end{proof} |
252 | 340 |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
341 |
\begin{proof}[Proof of Lemma \ref{lem:hochschild-free}] |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
342 |
We show that $K_*(C\otimes C)$ is |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
343 |
quasi-isomorphic to the 0-step complex $C$. We'll do this in steps, establishing quasi-isomorphisms and homotopy equivalences |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
344 |
$$K_*(C \tensor C) \quismto K'_* \htpyto K''_* \quismto C.$$ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
345 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
346 |
Let $K'_* \sub K_*(C\otimes C)$ be the subcomplex where the label of |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
347 |
the point $*$ is $1 \otimes 1 \in C\otimes C$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
348 |
We will show that the inclusion $i: K'_* \to K_*(C\otimes C)$ is a quasi-isomorphism. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
349 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
350 |
Fix a small $\ep > 0$. |
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
351 |
Let $N_\ep$ be the ball of radius $\ep$ around $* \in S^1$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
352 |
Let $K_*^\ep \sub K_*(C\otimes C)$ be the subcomplex |
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
353 |
generated by blob diagrams $b$ such that $N_\ep$ is either disjoint from |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
354 |
or contained in each blob of $b$, and the only labeled point inside $N_\ep$ is $*$. |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
355 |
%and the two boundary points of $N_\ep$ are not labeled points of $b$. |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
356 |
For a field $y$ on $N_\ep$, let $s_\ep(y)$ be the equivalent picture with~$*$ |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
357 |
labeled by $1\otimes 1$ and the only other labeled points at distance $\pm\ep/2$ from $*$. |
234
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
358 |
(See Figure \ref{fig:sy}.) Note that $y - s_\ep(y) \in U(N_\ep)$. |
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
359 |
Let $\sigma_\ep: K_*^\ep \to K_*^\ep$ be the chain map |
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
360 |
given by replacing the restriction $y$ to $N_\ep$ of each field |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
361 |
appearing in an element of $K_*^\ep$ with $s_\ep(y)$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
362 |
Note that $\sigma_\ep(x) \in K'_*$. |
252 | 363 |
\begin{figure}[t] |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
364 |
\begin{align*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
365 |
y & = \mathfig{0.2}{hochschild/y} & |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
366 |
s_\ep(y) & = \mathfig{0.2}{hochschild/sy} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
367 |
\end{align*} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
368 |
\caption{Defining $s_\ep$.} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
369 |
\label{fig:sy} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
370 |
\end{figure} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
371 |
|
232 | 372 |
Define a degree 1 map $j_\ep : K_*^\ep \to K_*^\ep$ as follows. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
373 |
Let $x \in K_*^\ep$ be a blob diagram. |
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
374 |
If $*$ is not contained in any twig blob, $j_\ep(x)$ is obtained by adding $N_\ep$ to |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
375 |
$x$ as a new twig blob, with label $y - s_\ep(y)$, where $y$ is the restriction of $x$ to $N_\ep$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
376 |
If $*$ is contained in a twig blob $B$ with label $u = \sum z_i$, $j_\ep(x)$ is obtained as follows. |
66
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
377 |
Let $y_i$ be the restriction of $z_i$ to $N_\ep$. |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
378 |
Let $x_i$ be equal to $x$ outside of $B$, equal to $z_i$ on $B \setmin N_\ep$, |
58707c93f5e7
start of hochschild revisions
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
48
diff
changeset
|
379 |
and have an additional blob $N_\ep$ with label $y_i - s_\ep(y_i)$. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
380 |
Define $j_\ep(x) = \sum x_i$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
381 |
\nn{need to check signs coming from blob complex differential} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
382 |
Note that if $x \in K'_* \cap K_*^\ep$ then $j_\ep(x) \in K'_*$ also. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
383 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
384 |
The key property of $j_\ep$ is |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
385 |
\eq{ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
386 |
\bd j_\ep + j_\ep \bd = \id - \sigma_\ep. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
387 |
} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
388 |
If $j_\ep$ were defined on all of $K_*(C\otimes C)$, this would show that $\sigma_\ep$ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
389 |
is a homotopy inverse to the inclusion $K'_* \to K_*(C\otimes C)$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
390 |
One strategy would be to try to stitch together various $j_\ep$ for progressively smaller |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
391 |
$\ep$ and show that $K'_*$ is homotopy equivalent to $K_*(C\otimes C)$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
392 |
Instead, we'll be less ambitious and just show that |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
393 |
$K'_*$ is quasi-isomorphic to $K_*(C\otimes C)$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
394 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
395 |
If $x$ is a cycle in $K_*(C\otimes C)$, then for sufficiently small $\ep$ we have |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
396 |
$x \in K_*^\ep$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
397 |
(This is true for any chain in $K_*(C\otimes C)$, since chains are sums of |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
398 |
finitely many blob diagrams.) |
234
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
399 |
Then $x$ is homologous to $\sigma_\ep(x)$, which is in $K'_*$, so the inclusion map |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
400 |
$K'_* \sub K_*(C\otimes C)$ is surjective on homology. |
234
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
401 |
If $y \in K_*(C\otimes C)$ and $\bd y = x \in K_*(C\otimes C)$, then $y \in K_*^\ep$ for some $\ep$ |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
402 |
and |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
403 |
\eq{ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
404 |
\bd y = \bd (\sigma_\ep(y) + j_\ep(x)) . |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
405 |
} |
234
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
406 |
Since $\sigma_\ep(y) + j_\ep(x) \in K'_*$, it follows that the inclusion map is injective on homology. |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
407 |
This completes the proof that $K'_*$ is quasi-isomorphic to $K_*(C\otimes C)$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
408 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
409 |
Let $K''_* \sub K'_*$ be the subcomplex of $K'_*$ where $*$ is not contained in any blob. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
410 |
We will show that the inclusion $i: K''_* \to K'_*$ is a homotopy equivalence. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
411 |
|
234
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
412 |
First, a lemma: Let $G''_*$ and $G'_*$ be defined similarly to $K''_*$ and $K'_*$, except with |
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
413 |
$S^1$ replaced by some neighborhood $N$ of $* \in S^1$. |
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
414 |
($G''_*$ and $G'_*$ depend on $N$, but that is not reflected in the notation.) |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
415 |
Then $G''_*$ and $G'_*$ are both contractible |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
416 |
and the inclusion $G''_* \sub G'_*$ is a homotopy equivalence. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
417 |
For $G'_*$ the proof is the same as in (\ref{bcontract}), except that the splitting |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
418 |
$G'_0 \to H_0(G'_*)$ concentrates the point labels at two points to the right and left of $*$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
419 |
For $G''_*$ we note that any cycle is supported \nn{need to establish terminology for this; maybe |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
420 |
in ``basic properties" section above} away from $*$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
421 |
Thus any cycle lies in the image of the normal blob complex of a disjoint union |
234
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
422 |
of two intervals, which is contractible by (\ref{bcontract}) and (\ref{disj-union-contract}). |
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
232
diff
changeset
|
423 |
Finally, it is easy to see that the inclusion |
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
424 |
$G''_* \to G'_*$ induces an isomorphism on $H_0$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
425 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
426 |
Next we construct a degree 1 map (homotopy) $h: K'_* \to K'_*$ such that |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
427 |
for all $x \in K'_*$ we have |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
428 |
\eq{ |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
429 |
x - \bd h(x) - h(\bd x) \in K''_* . |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
430 |
} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
431 |
Since $K'_0 = K''_0$, we can take $h_0 = 0$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
432 |
Let $x \in K'_1$, with single blob $B \sub S^1$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
433 |
If $* \notin B$, then $x \in K''_1$ and we define $h_1(x) = 0$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
434 |
If $* \in B$, then we work in the image of $G'_*$ and $G''_*$ (with respect to $B$). |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
435 |
Choose $x'' \in G''_1$ such that $\bd x'' = \bd x$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
436 |
Since $G'_*$ is contractible, there exists $y \in G'_2$ such that $\bd y = x - x''$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
437 |
Define $h_1(x) = y$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
438 |
The general case is similar, except that we have to take lower order homotopies into account. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
439 |
Let $x \in K'_k$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
440 |
If $*$ is not contained in any of the blobs of $x$, then define $h_k(x) = 0$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
441 |
Otherwise, let $B$ be the outermost blob of $x$ containing $*$. |
252 | 442 |
We can decompose $x = x' \bullet p$, |
443 |
where $x'$ is supported on $B$ and $p$ is supported away from $B$. |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
444 |
So $x' \in G'_l$ for some $l \le k$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
445 |
Choose $x'' \in G''_l$ such that $\bd x'' = \bd (x' - h_{l-1}\bd x')$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
446 |
Choose $y \in G'_{l+1}$ such that $\bd y = x' - x'' - h_{l-1}\bd x'$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
447 |
Define $h_k(x) = y \bullet p$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
448 |
This completes the proof that $i: K''_* \to K'_*$ is a homotopy equivalence. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
449 |
\nn{need to say above more clearly and settle on notation/terminology} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
450 |
|
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
451 |
Finally, we show that $K''_*$ is contractible. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
452 |
\nn{need to also show that $H_0$ is the right thing; easy, but I won't do it now} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
453 |
Let $x$ be a cycle in $K''_*$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
454 |
The union of the supports of the diagrams in $x$ does not contain $*$, so there exists a |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
455 |
ball $B \subset S^1$ containing the union of the supports and not containing $*$. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
456 |
Adding $B$ as a blob to $x$ gives a contraction. |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
457 |
\nn{need to say something else in degree zero} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
458 |
\end{proof} |
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
459 |
|
74 | 460 |
\medskip |
461 |
||
462 |
For purposes of illustration, we describe an explicit chain map |
|
136 | 463 |
$\HC_*(M) \to K_*(M)$ |
74 | 464 |
between the Hochschild complex and the blob complex (with bimodule point) |
465 |
for degree $\le 2$. |
|
466 |
This map can be completed to a homotopy equivalence, though we will not prove that here. |
|
467 |
There are of course many such maps; what we describe here is one of the simpler possibilities. |
|
468 |
Describing the extension to higher degrees is straightforward but tedious. |
|
469 |
\nn{but probably we should include the general case in a future version of this paper} |
|
470 |
||
136 | 471 |
Recall that in low degrees $\HC_*(M)$ is |
74 | 472 |
\[ |
473 |
\cdots \stackrel{\bd}{\to} M \otimes C\otimes C \stackrel{\bd}{\to} |
|
474 |
M \otimes C \stackrel{\bd}{\to} M |
|
475 |
\] |
|
476 |
with |
|
477 |
\eqar{ |
|
478 |
\bd(m\otimes a) & = & ma - am \\ |
|
479 |
\bd(m\otimes a \otimes b) & = & ma\otimes b - m\otimes ab + bm \otimes a . |
|
480 |
} |
|
77 | 481 |
In degree 0, we send $m\in M$ to the 0-blob diagram $\mathfig{0.05}{hochschild/0-chains}$; the base point |
74 | 482 |
in $S^1$ is labeled by $m$ and there are no other labeled points. |
483 |
In degree 1, we send $m\ot a$ to the sum of two 1-blob diagrams |
|
77 | 484 |
as shown in Figure \ref{fig:hochschild-1-chains}. |
485 |
||
252 | 486 |
\begin{figure}[t] |
77 | 487 |
\begin{equation*} |
488 |
\mathfig{0.4}{hochschild/1-chains} |
|
489 |
\end{equation*} |
|
490 |
\begin{align*} |
|
491 |
u_1 & = \mathfig{0.05}{hochschild/u_1-1} - \mathfig{0.05}{hochschild/u_1-2} & u_2 & = \mathfig{0.05}{hochschild/u_2-1} - \mathfig{0.05}{hochschild/u_2-2} |
|
492 |
\end{align*} |
|
493 |
\caption{The image of $m \tensor a$ in the blob complex.} |
|
494 |
\label{fig:hochschild-1-chains} |
|
495 |
\end{figure} |
|
496 |
||
252 | 497 |
\begin{figure}[t] |
77 | 498 |
\begin{equation*} |
499 |
\mathfig{0.6}{hochschild/2-chains-0} |
|
500 |
\end{equation*} |
|
501 |
\begin{equation*} |
|
502 |
\mathfig{0.4}{hochschild/2-chains-1} \qquad \mathfig{0.4}{hochschild/2-chains-2} |
|
503 |
\end{equation*} |
|
504 |
\caption{The 0-, 1- and 2-chains in the image of $m \tensor a \tensor b$. Only the supports of the 1- and 2-blobs are shown.} |
|
505 |
\label{fig:hochschild-2-chains} |
|
506 |
\end{figure} |
|
74 | 507 |
|
252 | 508 |
\begin{figure}[t] |
77 | 509 |
\begin{equation*} |
510 |
A = \mathfig{0.1}{hochschild/v_1} + \mathfig{0.1}{hochschild/v_2} + \mathfig{0.1}{hochschild/v_3} + \mathfig{0.1}{hochschild/v_4} |
|
511 |
\end{equation*} |
|
512 |
\begin{align*} |
|
513 |
v_1 & = \mathfig{0.05}{hochschild/v_1-1} - \mathfig{0.05}{hochschild/v_1-2} & v_2 & = \mathfig{0.05}{hochschild/v_2-1} - \mathfig{0.05}{hochschild/v_2-2} \\ |
|
514 |
v_3 & = \mathfig{0.05}{hochschild/v_3-1} - \mathfig{0.05}{hochschild/v_3-2} & v_4 & = \mathfig{0.05}{hochschild/v_4-1} - \mathfig{0.05}{hochschild/v_4-2} |
|
515 |
\end{align*} |
|
516 |
\caption{One of the 2-cells from Figure \ref{fig:hochschild-2-chains}.} |
|
517 |
\label{fig:hochschild-example-2-cell} |
|
43
700ac2678d00
Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
39
diff
changeset
|
518 |
\end{figure} |
244
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
519 |
|
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
520 |
In degree 2, we send $m\ot a \ot b$ to the sum of 24 ($=6\cdot4$) 2-blob diagrams as shown in |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
521 |
Figure \ref{fig:hochschild-2-chains}. In Figure \ref{fig:hochschild-2-chains} the 1- and 2-blob diagrams are indicated only by their support. |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
522 |
We leave it to the reader to determine the labels of the 1-blob diagrams. |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
523 |
Each 2-cell in the figure is labeled by a ball $V$ in $S^1$ which contains the support of all |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
524 |
1-blob diagrams in its boundary. |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
525 |
Such a 2-cell corresponds to a sum of the 2-blob diagrams obtained by adding $V$ |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
526 |
as an outer (non-twig) blob to each of the 1-blob diagrams in the boundary of the 2-cell. |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
527 |
Figure \ref{fig:hochschild-example-2-cell} shows this explicitly for the 2-cell |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
528 |
labeled $A$ in Figure \ref{fig:hochschild-2-chains}. |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
529 |
Note that the (blob complex) boundary of this sum of 2-blob diagrams is |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
530 |
precisely the sum of the 1-blob diagrams corresponding to the boundary of the 2-cell. |
cf01e213044a
start working on "evaluation map" section
Kevin Walker <kevin@canyon23.net>
parents:
234
diff
changeset
|
531 |
(Compare with the proof of \ref{bcontract}.) |