author | Scott Morrison <scott@tqft.net> |
Wed, 12 May 2010 18:25:37 -0500 | |
changeset 263 | fc3e10aa0d40 |
parent 237 | d42ae7a54143 |
child 283 | 418919afd077 |
permissions | -rw-r--r-- |
149 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
3 |
\section{Higher-dimensional Deligne conjecture} |
|
4 |
\label{sec:deligne} |
|
194 | 5 |
In this section we discuss |
6 |
\newenvironment{property:deligne}{\textbf{Property \ref{property:deligne} (Higher dimensional Deligne conjecture)}\it}{} |
|
7 |
||
8 |
\begin{property:deligne} |
|
149 | 9 |
The singular chains of the $n$-dimensional fat graph operad act on blob cochains. |
194 | 10 |
\end{property:deligne} |
149 | 11 |
|
194 | 12 |
We will state this more precisely below as Proposition \ref{prop:deligne}, and just sketch a proof. First, we recall the usual Deligne conjecture, explain how to think of it as a statement about blob complexes, and begin to generalize it. |
163 | 13 |
|
14 |
\def\mapinf{\Maps_\infty} |
|
15 |
||
16 |
The usual Deligne conjecture \nn{need refs} gives a map |
|
17 |
\[ |
|
18 |
C_*(LD_k)\otimes \overbrace{Hoch^*(C, C)\otimes\cdots\otimes Hoch^*(C, C)}^{\text{$k$ copies}} |
|
19 |
\to Hoch^*(C, C) . |
|
20 |
\] |
|
21 |
Here $LD_k$ is the $k$-th space of the little disks operad, and $Hoch^*(C, C)$ denotes Hochschild |
|
22 |
cochains. |
|
23 |
The little disks operad is homotopy equivalent to the fat graph operad |
|
24 |
\nn{need ref; and need to restrict which fat graphs}, and Hochschild cochains are homotopy equivalent to $A_\infty$ endomorphisms |
|
25 |
of the blob complex of the interval. |
|
26 |
\nn{need to make sure we prove this above}. |
|
27 |
So the 1-dimensional Deligne conjecture can be restated as |
|
28 |
\begin{eqnarray*} |
|
29 |
C_*(FG_k)\otimes \mapinf(\bc^C_*(I), \bc^C_*(I))\otimes\cdots |
|
30 |
\otimes \mapinf(\bc^C_*(I), \bc^C_*(I)) & \\ |
|
31 |
& \hspace{-5em} \to \mapinf(\bc^C_*(I), \bc^C_*(I)) . |
|
32 |
\end{eqnarray*} |
|
33 |
See Figure \ref{delfig1}. |
|
34 |
\begin{figure}[!ht] |
|
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
194
diff
changeset
|
35 |
$$\mathfig{.9}{deligne/intervals}$$ |
163 | 36 |
\caption{A fat graph}\label{delfig1}\end{figure} |
37 |
||
38 |
We can think of a fat graph as encoding a sequence of surgeries, starting at the bottommost interval |
|
39 |
of Figure \ref{delfig1} and ending at the topmost interval. |
|
40 |
The surgeries correspond to the $k$ bigon-shaped ``holes" in the fat graph. |
|
41 |
We remove the bottom interval of the bigon and replace it with the top interval. |
|
42 |
To map this topological operation to an algebraic one, we need, for each hole, element of |
|
43 |
$\mapinf(\bc^C_*(I_{\text{bottom}}), \bc^C_*(I_{\text{top}}))$. |
|
44 |
So for each fixed fat graph we have a map |
|
45 |
\[ |
|
46 |
\mapinf(\bc^C_*(I), \bc^C_*(I))\otimes\cdots |
|
47 |
\otimes \mapinf(\bc^C_*(I), \bc^C_*(I)) \to \mapinf(\bc^C_*(I), \bc^C_*(I)) . |
|
48 |
\] |
|
49 |
If we deform the fat graph, corresponding to a 1-chain in $C_*(FG_k)$, we get a homotopy |
|
50 |
between the maps associated to the endpoints of the 1-chain. |
|
51 |
Similarly, higher-dimensional chains in $C_*(FG_k)$ give rise to higher homotopies. |
|
52 |
||
53 |
It should now be clear how to generalize this to higher dimensions. |
|
54 |
In the sequence-of-surgeries description above, we never used the fact that the manifolds |
|
55 |
involved were 1-dimensional. |
|
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
194
diff
changeset
|
56 |
Thus we can define a $n$-dimensional fat graph to be a sequence of general surgeries |
163 | 57 |
on an $n$-manifold. |
167 | 58 |
More specifically, |
59 |
the $n$-dimensional fat graph operad can be thought of as a sequence of general surgeries |
|
60 |
$R_i \cup M_i \leadsto R_i \cup N_i$ together with mapping cylinders of diffeomorphisms |
|
61 |
$f_i: R_i\cup N_i \to R_{i+1}\cup M_{i+1}$. |
|
62 |
(See Figure \ref{delfig2}.) |
|
63 |
\begin{figure}[!ht] |
|
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
194
diff
changeset
|
64 |
$$\mathfig{.9}{deligne/manifolds}$$ |
167 | 65 |
\caption{A fat graph}\label{delfig2}\end{figure} |
66 |
The components of the $n$-dimensional fat graph operad are indexed by tuples |
|
67 |
$(\overline{M}, \overline{N}) = ((M_0,\ldots,M_k), (N_0,\ldots,N_k))$. |
|
68 |
Note that the suboperad where $M_i$, $N_i$ and $R_i\cup M_i$ are all diffeomorphic to |
|
69 |
the $n$-ball is equivalent to the little $n{+}1$-disks operad. |
|
70 |
||
71 |
||
72 |
If $M$ and $N$ are $n$-manifolds sharing the same boundary, we define |
|
73 |
the blob cochains $\bc^*(A, B)$ (analogous to Hochschild cohomology) to be |
|
74 |
$A_\infty$ maps from $\bc_*(M)$ to $\bc_*(N)$, where we think of both |
|
75 |
collections of complexes as modules over the $A_\infty$ category associated to $\bd A = \bd B$. |
|
76 |
The ``holes" in the above |
|
77 |
$n$-dimensional fat graph operad are labeled by $\bc^*(A_i, B_i)$. |
|
78 |
\nn{need to make up my mind which notation I'm using for the module maps} |
|
79 |
||
194 | 80 |
Putting this together we get |
81 |
\begin{prop}(Precise statement of Property \ref{property:deligne}) |
|
82 |
\label{prop:deligne} |
|
83 |
There is a collection of maps |
|
167 | 84 |
\begin{eqnarray*} |
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
194
diff
changeset
|
85 |
C_*(FG^n_{\overline{M}, \overline{N}})\otimes \mapinf(\bc_*(M_1), \bc_*(N_1))\otimes\cdots\otimes |
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
194
diff
changeset
|
86 |
\mapinf(\bc_*(M_{k}), \bc_*(N_{k})) & \\ |
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
194
diff
changeset
|
87 |
& \hspace{-11em}\to \mapinf(\bc_*(M_0), \bc_*(N_0)) |
167 | 88 |
\end{eqnarray*} |
194 | 89 |
which satisfy an operad type compatibility condition. \nn{spell this out} |
90 |
\end{prop} |
|
167 | 91 |
|
92 |
Note that if $k=0$ then this is just the action of chains of diffeomorphisms from Section \ref{sec:evaluation}. |
|
93 |
And indeed, the proof is very similar \nn{...} |
|
94 |
||
163 | 95 |
|
96 |
||
97 |
\medskip |
|
98 |
\hrule\medskip |
|
99 |