149
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
1 |
%!TEX root = ../blob1.tex
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
2 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
3 |
\section{Higher-dimensional Deligne conjecture}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
4 |
\label{sec:deligne}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
5 |
In this section we discuss Property \ref{property:deligne},
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
6 |
\begin{prop}[Higher dimensional Deligne conjecture]
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
7 |
The singular chains of the $n$-dimensional fat graph operad act on blob cochains.
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
8 |
\end{prop}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
9 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
10 |
The $n$-dimensional fat graph operad can be thought of as a sequence of general surgeries
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
11 |
of $n$-manifolds
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
12 |
$R_i \cup A_i \leadsto R_i \cup B_i$ together with mapping cylinders of diffeomorphisms
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
13 |
$f_i: R_i\cup B_i \to R_{i+1}\cup A_{i+1}$.
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
14 |
(Note that the suboperad where $A_i$, $B_i$ and $R_i\cup A_i$ are all diffeomorphic to
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
15 |
the $n$-ball is equivalent to the little $n{+}1$-disks operad.)
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
16 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
17 |
If $A$ and $B$ are $n$-manifolds sharing the same boundary, we define
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
18 |
the blob cochains $\bc^*(A, B)$ (analogous to Hochschild cohomology) to be
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
19 |
$A_\infty$ maps from $\bc_*(A)$ to $\bc_*(B)$, where we think of both
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
20 |
collections of complexes as modules over the $A_\infty$ category associated to $\bd A = \bd B$.
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
21 |
The ``holes" in the above
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
22 |
$n$-dimensional fat graph operad are labeled by $\bc^*(A_i, B_i)$.
|