70 \caption{An $n$-dimensional fat graph}\label{delfig2} |
70 \caption{An $n$-dimensional fat graph}\label{delfig2} |
71 \end{figure} |
71 \end{figure} |
72 |
72 |
73 More specifically, an $n$-dimensional fat graph consists of: |
73 More specifically, an $n$-dimensional fat graph consists of: |
74 \begin{itemize} |
74 \begin{itemize} |
75 \item ``Incoming" $n$-manifolds $M_1,\ldots,M_k$ and ``outgoing" $n$-manifolds $N_1,\ldots,N_k$, |
75 \item ``Upper" $n$-manifolds $M_0,\ldots,M_k$ and ``lower" $n$-manifolds $N_0,\ldots,N_k$, |
76 with $\bd M_i = \bd N_i$ for all $i$. |
76 with $\bd M_i = \bd N_i = E_i$ for all $i$. |
77 \item An ``outer boundary" $n{-}1$-manifold $E$. |
77 We call $M_0$ and $N_0$ the outer boundary and the remaining $M_i$'s and $N_i$'s the inner |
78 \item Additional manifolds $R_0,\ldots,R_{k+1}$, with $\bd R_i = E\cup \bd M_i = E\cup \bd N_i$. |
78 boundaries. |
79 (By convention, $M_i = N_i = \emptyset$ if $i <1$ or $i>k$.) |
79 \item Additional manifolds $R_1,\ldots,R_{k}$, with $\bd R_i = E_0\cup \bd M_i = E_0\cup \bd N_i$. |
80 We call $R_0$ the outer incoming manifold and $R_{k+1}$ the outer outgoing manifold |
80 %(By convention, $M_i = N_i = \emptyset$ if $i <1$ or $i>k$.) |
81 \item Homeomorphisms $f_i : R_i\cup N_i\to R_{i+1}\cup M_{i+1}$, $0\le i \le k$. |
81 \item Homeomorphisms |
|
82 \begin{eqnarray*} |
|
83 f_0: M_0 &\to& R_1\cup M_1 \\ |
|
84 f_i: R_i\cup N_i &\to& R_{i+1}\cup M_{i+1}\;\; \mbox{for}\, 1\le i \le k-1 \\ |
|
85 f_k: R_k\cup N_k &\to& N_0 . |
|
86 \end{eqnarray*} |
|
87 Each $f_i$ should be the identity restricted to $E_0$. |
82 \end{itemize} |
88 \end{itemize} |
83 We can think of the above data as encoding the union of the mapping cylinders $C(f_0),\ldots,C(f_k)$, |
89 We can think of the above data as encoding the union of the mapping cylinders $C(f_0),\ldots,C(f_k)$, |
84 with $C(f_i)$ glued to $C(f_{i+1})$ along $R_{i+1}$ |
90 with $C(f_i)$ glued to $C(f_{i+1})$ along $R_{i+1}$ |
85 (see Figure xxxx). |
91 (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. |
92 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 |
93 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 |
94 identity on the boundary and which preserves the 1-dimensional fibers coming from the mapping |
90 cylinders. |
95 cylinders. |
91 More specifically, we impose the following two equivalence relations: |
96 More specifically, we impose the following two equivalence relations: |
93 \item If $g:R_i\to R_i$ is a homeomorphism, we can replace |
98 \item If $g:R_i\to R_i$ is a homeomorphism, we can replace |
94 \[ |
99 \[ |
95 (\ldots, f_{i-1}, f_i, \ldots) \to (\ldots, g\circ f_{i-1}, f_i\circ g^{-1}, \ldots), |
100 (\ldots, f_{i-1}, f_i, \ldots) \to (\ldots, g\circ f_{i-1}, f_i\circ g^{-1}, \ldots), |
96 \] |
101 \] |
97 leaving the $M_i$, $N_i$ and $R_i$ fixed. |
102 leaving the $M_i$, $N_i$ and $R_i$ fixed. |
98 (See Figure xxx.) |
103 (See Figure xxxx.) |
99 \item If $M_i = M'_i \du M''_i$ and $N_i = N'_i \du N''_i$ (and there is a |
104 \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 |
105 compatible disjoint union of $\bd M = \bd N$), we can replace |
101 \begin{eqnarray*} |
106 \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) \\ |
107 (\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) \\ |
108 (\ldots, N_{i-1}, N_i, N_{i+1}, \ldots) &\to& (\ldots, N_{i-1}, N'_i, N''_i, N_{i+1}, \ldots) \\ |
111 Note that the second equivalence increases the number of holes (or arity) by 1. |
116 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. |
117 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 |
118 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. |
119 do not overlap, we can perform them in reverse order or simultaneously. |
115 |
120 |
116 \nn{operad structure (need to ntro mroe terminology above} |
121 There is an operad structure on $n$-dimensional fat graphs, given by gluing the outer boundary |
|
122 of one graph into one of the inner boundaries of another graph. |
|
123 We leave it to the reader to work out a more precise statement in terms of $M_i$'s, $f_i$'s etc. |
|
124 |
|
125 For fixed $\ol{M} = (M_0,\ldots,M_k)$ and $\ol{N} = (N_0,\ldots,N_k)$, we let |
|
126 $FG^n_{\ol{M}\ol{N}}$ denote the topological space of all $n$-dimensional fat graphs as above. |
|
127 The topology comes from the spaces |
|
128 \[ |
|
129 \Homeo(M_0\to R_1\cup M_1)\times \Homeo(R_1\cup N_1\to R_2\cup M_2)\times |
|
130 \cdots\times \Homeo(R_k\cup N_k\to N_0) |
|
131 \] |
|
132 and the above equivalence relations. |
|
133 We will denote the typical element of $FG^n_{\ol{M}\ol{N}}$ by $\ol{f} = (f_0,\ldots,f_k)$. |
|
134 |
|
135 |
|
136 \medskip |
|
137 |
|
138 Let $\ol{f} \in FG^n_{\ol{M}\ol{N}}$. |
|
139 Let $\hom(\bc_*(M_i), \bc_*(N_i))$ denote the morphisms from $\bc_*(M_i)$ to $\bc_*(N_i)$, |
|
140 as modules of the $A_\infty$ 1-category $\bc_*(E_i)$. |
|
141 We define a map |
|
142 \[ |
|
143 p(\ol{f}): \hom(\bc_*(M_1), \bc_*(N_1))\ot\cdots\ot\hom(\bc_*(M_k), \bc_*(N_k)) |
|
144 \to \hom(\bc_*(M_0), \bc_*(N_0)) . |
|
145 \] |
|
146 Given $\alpha_i\in\hom(\bc_*(M_i), \bc_*(N_i))$, we define $p(\ol{f}$ to be the composition |
|
147 \[ |
|
148 \bc_*(M_0) \stackrel{f_0}{\to} \bc_*(R_1\cup M_1) |
|
149 \stackrel{\id\ot\alpha_1}{\to} \bc_*(R_1\cup N_1) |
|
150 \stackrel{f_1}{\to} \bc_*(R_2\cup M_2) \to |
|
151 \cdots \stackrel{\id\ot\alpha_k}{\to} \bc_*(R_k\cup N_k) |
|
152 \stackrel{f_k}{\to} \bc_*(N_0) |
|
153 \] |
|
154 (Recall that the maps $\id\ot\alpha_i$ were defined in \nn{need ref}.) |
|
155 It is easy to check that the above definition is compatible with the equivalence relations |
|
156 and also the operad structure. |
|
157 |
|
158 \nn{little m-disks operad; } |
117 |
159 |
118 \nn{*** resume revising here} |
160 \nn{*** resume revising here} |
119 |
161 |
120 |
162 |
121 |
|
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))$. |
|
124 \nn{not quite true: this is coarser than components} |
|
125 Note that the suboperad where $M_i$, $N_i$ and $R_i\cup M_i$ are all homeomorphic to |
|
126 the $n$-ball is equivalent to the little $n{+}1$-disks operad. |
|
127 \nn{what about rotating in the horizontal directions?} |
|
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 |
163 |
138 Putting this together we get |
164 Putting this together we get |
139 \begin{prop}(Precise statement of Property \ref{property:deligne}) |
165 \begin{prop}(Precise statement of Property \ref{property:deligne}) |
140 \label{prop:deligne} |
166 \label{prop:deligne} |
141 There is a collection of maps |
167 There is a collection of maps |