changeset 94 | 38ceade5cc5d |
parent 81 | 4b966fcdc548 |
child 113 | 638be64bd329 |
93:9c181ef9c5fd | 94:38ceade5cc5d |
---|---|
28 \item and the evaluation maps are compatible with the gluing maps, up to a weakly unique homotopy. |
28 \item and the evaluation maps are compatible with the gluing maps, up to a weakly unique homotopy. |
29 \end{itemize} |
29 \end{itemize} |
30 \end{defn} |
30 \end{defn} |
31 |
31 |
32 Appendix \ref{sec:comparing-A-infty} explains the translation between this definition and the usual one expressed in terms of `associativity up to higher homotopy', as in \cite{MR1854636}. (In this version of the paper, that appendix is incomplete, however.) |
32 Appendix \ref{sec:comparing-A-infty} explains the translation between this definition and the usual one expressed in terms of `associativity up to higher homotopy', as in \cite{MR1854636}. (In this version of the paper, that appendix is incomplete, however.) |
33 |
|
34 \nn{should say something about objects and restrictions of maps to boundaries of intervals |
|
35 in next paragraph.} |
|
33 |
36 |
34 The motivating example is `chains of maps to $M$' for some fixed target space $M$. This is a topological $A_\infty$ category $\Xi_M$ with $\Xi_M(J) = C_*(\Maps(J \to M))$. The gluing maps $\Xi_M(J) \tensor \Xi_M(J') \to \Xi_M(J \cup J')$ takes the product of singular chains, then glues maps to $M$ together; the associativity condition is automatically satisfied. The evaluation map $\ev_{J,J'} : \CD{J \to J'} \tensor \Xi_M(J) \to \Xi_M(J')$ is the composition |
37 The motivating example is `chains of maps to $M$' for some fixed target space $M$. This is a topological $A_\infty$ category $\Xi_M$ with $\Xi_M(J) = C_*(\Maps(J \to M))$. The gluing maps $\Xi_M(J) \tensor \Xi_M(J') \to \Xi_M(J \cup J')$ takes the product of singular chains, then glues maps to $M$ together; the associativity condition is automatically satisfied. The evaluation map $\ev_{J,J'} : \CD{J \to J'} \tensor \Xi_M(J) \to \Xi_M(J')$ is the composition |
35 \begin{align*} |
38 \begin{align*} |
36 \CD{J \to J'} \tensor C_*(\Maps(J \to M)) & \to C_*(\Diff(J \to J') \times \Maps(J \to M)) \\ & \to C_*(\Maps(J' \to M)), |
39 \CD{J \to J'} \tensor C_*(\Maps(J \to M)) & \to C_*(\Diff(J \to J') \times \Maps(J \to M)) \\ & \to C_*(\Maps(J' \to M)), |
37 \end{align*} |
40 \end{align*} |
65 satisfying the same axioms given for a topological $A_\infty$ category in Definition \ref{defn:topological-Ainfty-category}. |
68 satisfying the same axioms given for a topological $A_\infty$ category in Definition \ref{defn:topological-Ainfty-category}. |
66 \end{defn} |
69 \end{defn} |
67 |
70 |
68 We now define the tensor product of a left module with a right module. The notion of the self-tensor product of a bimodule is a minor variation which we'll leave to the reader. |
71 We now define the tensor product of a left module with a right module. The notion of the self-tensor product of a bimodule is a minor variation which we'll leave to the reader. |
69 Our definition requires choosing a `fixed' interval, and for simplicity we'll use $[0,1]$, but you should note that the definition is equivariant with respect to diffeomorphisms of this interval. |
72 Our definition requires choosing a `fixed' interval, and for simplicity we'll use $[0,1]$, but you should note that the definition is equivariant with respect to diffeomorphisms of this interval. |
73 |
|
74 \nn{maybe should do a general interval instead of $[0,1]$.} |
|
70 |
75 |
71 \begin{defn} |
76 \begin{defn} |
72 The tensor product of a left module $\cM$ and a right module $\cN$ over a topological $A_\infty$ category $\cC$, denoted $\cM \tensor_{\cC} \cN$, is a vector space, which we'll specify as the limit of a certain commutative diagram. This (infinite) diagram has vertices indexed by partitions $$[0,1] = [0,x_1] \cup \cdots \cup [x_k,1]$$ and boundary conditions $$a_1, \ldots, a_k \in \Obj(\cC),$$ and arrows labeled by refinements. At each vertex put the vector space $$\cM([0,x_1],0; a_1) \tensor \cC([x_1,x_2];a_1,a_2]) \tensor \cdots \tensor \cC([x_{k-1},x_k];a_{k-1},a_k) \tensor \cN([x_k,1],1;a_k),$$ and on each arrow the corresponding gluing map. Faces of this diagram commute because the gluing maps compose associatively. |
77 The tensor product of a left module $\cM$ and a right module $\cN$ over a topological $A_\infty$ category $\cC$, denoted $\cM \tensor_{\cC} \cN$, is a vector space, which we'll specify as the limit of a certain commutative diagram. This (infinite) diagram has vertices indexed by partitions $$[0,1] = [0,x_1] \cup \cdots \cup [x_k,1]$$ and boundary conditions $$a_1, \ldots, a_k \in \Obj(\cC),$$ and arrows labeled by refinements. At each vertex put the vector space $$\cM([0,x_1],0; a_1) \tensor \cC([x_1,x_2];a_1,a_2]) \tensor \cdots \tensor \cC([x_{k-1},x_k];a_{k-1},a_k) \tensor \cN([x_k,1],1;a_k),$$ and on each arrow the corresponding gluing map. Faces of this diagram commute because the gluing maps compose associatively. |
73 \end{defn} |
78 \end{defn} |
74 |
79 |