author | Scott Morrison <scott@tqft.net> |
Sat, 29 May 2010 15:01:53 -0700 | |
changeset 297 | c1971082f94b |
parent 295 | 7e14f79814cd |
child 299 | f582f921bd95 |
permissions | -rw-r--r-- |
149 | 1 |
%!TEX root = ../blob1.tex |
2 |
||
3 |
\section{Higher-dimensional Deligne conjecture} |
|
4 |
\label{sec:deligne} |
|
288 | 5 |
In this section we |
6 |
sketch |
|
7 |
\nn{revisit ``sketch" after proof is done} |
|
8 |
the proof of a higher dimensional version of the Deligne conjecture |
|
9 |
about the action of the little disks operad on Hochschild cohomology. |
|
10 |
The first several paragraphs lead up to a precise statement of the result |
|
11 |
(Proposition \ref{prop:deligne} below). |
|
12 |
Then we sketch the proof. |
|
163 | 13 |
|
292
7d0c63a9ce05
adding some biblio entries re: Deligne. Run svn up bibliography to update the bibliography, which is still in SVN
Scott Morrison <scott@tqft.net>
parents:
289
diff
changeset
|
14 |
\nn{Does this generalisation encompass Kontsevich's proposed generalisation from \cite{MR1718044}, that (I think...) the Hochschild homology of an $E_n$ algebra is an $E_{n+1}$ algebra? -S} |
7d0c63a9ce05
adding some biblio entries re: Deligne. Run svn up bibliography to update the bibliography, which is still in SVN
Scott Morrison <scott@tqft.net>
parents:
289
diff
changeset
|
15 |
|
7d0c63a9ce05
adding some biblio entries re: Deligne. Run svn up bibliography to update the bibliography, which is still in SVN
Scott Morrison <scott@tqft.net>
parents:
289
diff
changeset
|
16 |
%from http://www.ams.org/mathscinet-getitem?mr=1805894 |
7d0c63a9ce05
adding some biblio entries re: Deligne. Run svn up bibliography to update the bibliography, which is still in SVN
Scott Morrison <scott@tqft.net>
parents:
289
diff
changeset
|
17 |
%Different versions of the geometric counterpart of Deligne's conjecture have been proven by Tamarkin [``Formality of chain operad of small squares'', preprint, http://arXiv.org/abs/math.QA/9809164], the reviewer [in Confˇrence Moshˇ Flato 1999, Vol. II (Dijon), 307--331, Kluwer Acad. Publ., Dordrecht, 2000; MR1805923 (2002d:55009)], and J. E. McClure and J. H. Smith [``A solution of Deligne's conjecture'', preprint, http://arXiv.org/abs/math.QA/9910126] (see also a later simplified version [J. E. McClure and J. H. Smith, ``Multivariable cochain operations and little $n$-cubes'', preprint, http://arXiv.org/abs/math.QA/0106024]). The paper under review gives another proof of Deligne's conjecture, which, as the authors indicate, may be generalized to a proof of a higher-dimensional generalization of Deligne's conjecture, suggested in [M. Kontsevich, Lett. Math. Phys. 48 (1999), no. 1, 35--72; MR1718044 (2000j:53119)]. |
7d0c63a9ce05
adding some biblio entries re: Deligne. Run svn up bibliography to update the bibliography, which is still in SVN
Scott Morrison <scott@tqft.net>
parents:
289
diff
changeset
|
18 |
|
7d0c63a9ce05
adding some biblio entries re: Deligne. Run svn up bibliography to update the bibliography, which is still in SVN
Scott Morrison <scott@tqft.net>
parents:
289
diff
changeset
|
19 |
|
7d0c63a9ce05
adding some biblio entries re: Deligne. Run svn up bibliography to update the bibliography, which is still in SVN
Scott Morrison <scott@tqft.net>
parents:
289
diff
changeset
|
20 |
The usual Deligne conjecture (proved variously in \cite{MR1805894, MR2064592, hep-th/9403055, MR1805923} gives a map |
163 | 21 |
\[ |
22 |
C_*(LD_k)\otimes \overbrace{Hoch^*(C, C)\otimes\cdots\otimes Hoch^*(C, C)}^{\text{$k$ copies}} |
|
23 |
\to Hoch^*(C, C) . |
|
24 |
\] |
|
25 |
Here $LD_k$ is the $k$-th space of the little disks operad, and $Hoch^*(C, C)$ denotes Hochschild |
|
26 |
cochains. |
|
288 | 27 |
The little disks operad is homotopy equivalent to the |
28 |
(transversely orient) fat graph operad |
|
29 |
\nn{need ref, or say more precisely what we mean}, |
|
30 |
and Hochschild cochains are homotopy equivalent to $A_\infty$ endomorphisms |
|
31 |
of the blob complex of the interval, thought of as a bimodule for itself. |
|
163 | 32 |
\nn{need to make sure we prove this above}. |
33 |
So the 1-dimensional Deligne conjecture can be restated as |
|
283
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
34 |
\[ |
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
35 |
C_*(FG_k)\otimes \hom(\bc^C_*(I), \bc^C_*(I))\otimes\cdots |
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
36 |
\otimes \hom(\bc^C_*(I), \bc^C_*(I)) |
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
37 |
\to \hom(\bc^C_*(I), \bc^C_*(I)) . |
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
38 |
\] |
163 | 39 |
See Figure \ref{delfig1}. |
40 |
\begin{figure}[!ht] |
|
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
194
diff
changeset
|
41 |
$$\mathfig{.9}{deligne/intervals}$$ |
163 | 42 |
\caption{A fat graph}\label{delfig1}\end{figure} |
288 | 43 |
We emphasize that in $\hom(\bc^C_*(I), \bc^C_*(I))$ we are thinking of $\bc^C_*(I)$ as a module |
44 |
for the $A_\infty$ 1-category associated to $\bd I$, and $\hom$ means the |
|
45 |
morphisms of such modules as defined in |
|
46 |
Subsection \ref{ss:module-morphisms}. |
|
163 | 47 |
|
48 |
We can think of a fat graph as encoding a sequence of surgeries, starting at the bottommost interval |
|
49 |
of Figure \ref{delfig1} and ending at the topmost interval. |
|
50 |
The surgeries correspond to the $k$ bigon-shaped ``holes" in the fat graph. |
|
51 |
We remove the bottom interval of the bigon and replace it with the top interval. |
|
288 | 52 |
To convert this topological operation to an algebraic one, we need, for each hole, an element of |
283
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
53 |
$\hom(\bc^C_*(I_{\text{bottom}}), \bc^C_*(I_{\text{top}}))$. |
163 | 54 |
So for each fixed fat graph we have a map |
55 |
\[ |
|
283
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
56 |
\hom(\bc^C_*(I), \bc^C_*(I))\otimes\cdots |
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
57 |
\otimes \hom(\bc^C_*(I), \bc^C_*(I)) \to \hom(\bc^C_*(I), \bc^C_*(I)) . |
163 | 58 |
\] |
59 |
If we deform the fat graph, corresponding to a 1-chain in $C_*(FG_k)$, we get a homotopy |
|
60 |
between the maps associated to the endpoints of the 1-chain. |
|
61 |
Similarly, higher-dimensional chains in $C_*(FG_k)$ give rise to higher homotopies. |
|
62 |
||
63 |
It should now be clear how to generalize this to higher dimensions. |
|
64 |
In the sequence-of-surgeries description above, we never used the fact that the manifolds |
|
65 |
involved were 1-dimensional. |
|
288 | 66 |
Thus we can define an $n$-dimensional fat graph to be a sequence of general surgeries |
289
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
67 |
on an $n$-manifold (Figure \ref{delfig2}). |
167 | 68 |
\begin{figure}[!ht] |
237
d42ae7a54143
diagrams for deligne conjecture, and more work on small blobs
Scott Morrison <scott@tqft.net>
parents:
194
diff
changeset
|
69 |
$$\mathfig{.9}{deligne/manifolds}$$ |
289
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
70 |
\caption{An $n$-dimensional fat graph}\label{delfig2} |
288 | 71 |
\end{figure} |
72 |
||
289
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
73 |
More specifically, an $n$-dimensional fat graph consists of: |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
74 |
\begin{itemize} |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
75 |
\item ``Incoming" $n$-manifolds $M_1,\ldots,M_k$ and ``outgoing" $n$-manifolds $N_1,\ldots,N_k$, |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
76 |
with $\bd M_i = \bd N_i$ for all $i$. |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
77 |
\item An ``outer boundary" $n{-}1$-manifold $E$. |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
78 |
\item Additional manifolds $R_0,\ldots,R_{k+1}$, with $\bd R_i = E\cup \bd M_i = E\cup \bd N_i$. |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
79 |
(By convention, $M_i = N_i = \emptyset$ if $i <1$ or $i>k$.) |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
80 |
We call $R_0$ the outer incoming manifold and $R_{k+1}$ the outer outgoing manifold |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
81 |
\item Homeomorphisms $f_i : R_i\cup N_i\to R_{i+1}\cup M_{i+1}$, $0\le i \le k$. |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
82 |
\end{itemize} |
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
83 |
We can think of the above data as encoding the union of the mapping cylinders $C(f_0),\ldots,C(f_k)$, |
295 | 84 |
with $C(f_i)$ glued to $C(f_{i+1})$ along $R_{i+1}$ |
85 |
(see Figure xxxx). |
|
86 |
\nn{also need to revise outer labels of older fig} |
|
87 |
The $n$-manifolds are the ``$n$-dimensional graph" and the $I$ direction of the mapping cylinders is the ``fat" part. |
|
88 |
We regard two such fat graphs as the same if there is a homeomorphism between them which is the |
|
89 |
identity on the boundary and which preserves the 1-dimensional fibers coming from the mapping |
|
90 |
cylinders. |
|
91 |
More specifically, we impose the following two equivalence relations: |
|
92 |
\begin{itemize} |
|
93 |
\item If $g:R_i\to R_i$ is a homeomorphism, we can replace |
|
94 |
\[ |
|
297
c1971082f94b
fixing labels in deligne diagram
Scott Morrison <scott@tqft.net>
parents:
295
diff
changeset
|
95 |
(\ldots, f_{i-1}, f_i, \ldots) \to (\ldots, g\circ f_{i-1}, f_i\circ g^{-1}, \ldots), |
295 | 96 |
\] |
297
c1971082f94b
fixing labels in deligne diagram
Scott Morrison <scott@tqft.net>
parents:
295
diff
changeset
|
97 |
leaving the $M_i$, $N_i$ and $R_i$ fixed. |
295 | 98 |
(See Figure xxx.) |
99 |
\item If $M_i = M'_i \du M''_i$ and $N_i = N'_i \du N''_i$ (and there is a |
|
100 |
compatible disjoint union of $\bd M = \bd N$), we can replace |
|
101 |
\begin{eqnarray*} |
|
102 |
(\ldots, M_{i-1}, M_i, M_{i+1}, \ldots) &\to& (\ldots, M_{i-1}, M'_i, M''_i, M_{i+1}, \ldots) \\ |
|
103 |
(\ldots, N_{i-1}, N_i, N_{i+1}, \ldots) &\to& (\ldots, N_{i-1}, N'_i, N''_i, N_{i+1}, \ldots) \\ |
|
104 |
(\ldots, R_{i-1}, R_i, R_{i+1}, \ldots) &\to& |
|
105 |
(\ldots, R_{i-1}, R_i\cup M''_i, R_i\cup N'_i, R_{i+1}, \ldots) \\ |
|
106 |
(\ldots, f_{i-1}, f_i, \ldots) &\to& (\ldots, f_{i-1}, \rm{id}, f_i, \ldots) . |
|
107 |
\end{eqnarray*} |
|
108 |
(See Figure xxxx.) |
|
109 |
\end{itemize} |
|
289
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
110 |
|
295 | 111 |
Note that the second equivalence increases the number of holes (or arity) by 1. |
112 |
We can make a similar identification with the rolls of $M'_i$ and $M''_i$ reversed. |
|
113 |
In terms of the ``sequence of surgeries" picture, this says that if two successive surgeries |
|
114 |
do not overlap, we can perform them in reverse order or simultaneously. |
|
288 | 115 |
|
295 | 116 |
\nn{operad structure (need to ntro mroe terminology above} |
288 | 117 |
|
289
7c26ae009b75
adding more detail to def of n-dim fat graph operad
Kevin Walker <kevin@canyon23.net>
parents:
288
diff
changeset
|
118 |
\nn{*** resume revising here} |
288 | 119 |
|
120 |
||
121 |
||
167 | 122 |
The components of the $n$-dimensional fat graph operad are indexed by tuples |
123 |
$(\overline{M}, \overline{N}) = ((M_0,\ldots,M_k), (N_0,\ldots,N_k))$. |
|
283
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
124 |
\nn{not quite true: this is coarser than components} |
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
125 |
Note that the suboperad where $M_i$, $N_i$ and $R_i\cup M_i$ are all homeomorphic to |
167 | 126 |
the $n$-ball is equivalent to the little $n{+}1$-disks operad. |
283
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
127 |
\nn{what about rotating in the horizontal directions?} |
167 | 128 |
|
129 |
||
130 |
If $M$ and $N$ are $n$-manifolds sharing the same boundary, we define |
|
131 |
the blob cochains $\bc^*(A, B)$ (analogous to Hochschild cohomology) to be |
|
132 |
$A_\infty$ maps from $\bc_*(M)$ to $\bc_*(N)$, where we think of both |
|
133 |
collections of complexes as modules over the $A_\infty$ category associated to $\bd A = \bd B$. |
|
134 |
The ``holes" in the above |
|
135 |
$n$-dimensional fat graph operad are labeled by $\bc^*(A_i, B_i)$. |
|
136 |
\nn{need to make up my mind which notation I'm using for the module maps} |
|
137 |
||
194 | 138 |
Putting this together we get |
139 |
\begin{prop}(Precise statement of Property \ref{property:deligne}) |
|
140 |
\label{prop:deligne} |
|
141 |
There is a collection of maps |
|
167 | 142 |
\begin{eqnarray*} |
283
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
143 |
C_*(FG^n_{\overline{M}, \overline{N}})\otimes \hom(\bc_*(M_1), \bc_*(N_1))\otimes\cdots\otimes |
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
144 |
\hom(\bc_*(M_{k}), \bc_*(N_{k})) & \\ |
418919afd077
small preliminary changes to Deligne section
Kevin Walker <kevin@canyon23.net>
parents:
237
diff
changeset
|
145 |
& \hspace{-11em}\to \hom(\bc_*(M_0), \bc_*(N_0)) |
167 | 146 |
\end{eqnarray*} |
194 | 147 |
which satisfy an operad type compatibility condition. \nn{spell this out} |
148 |
\end{prop} |
|
167 | 149 |
|
150 |
Note that if $k=0$ then this is just the action of chains of diffeomorphisms from Section \ref{sec:evaluation}. |
|
151 |
And indeed, the proof is very similar \nn{...} |
|
152 |
||
163 | 153 |
|
154 |
||
155 |
\medskip |
|
156 |
\hrule\medskip |
|
157 |