author | Kevin Walker <kevin@canyon23.net> |
Fri, 30 Jul 2010 20:19:17 -0400 | |
changeset 506 | 4a23163843a9 |
parent 503 | c221d8331f30 |
child 508 | 3072c2614a53 |
permissions | -rw-r--r-- |
169 | 1 |
%!TEX root = ../../blob1.tex |
114 | 2 |
|
3 |
\section{Comparing $n$-category definitions} |
|
4 |
\label{sec:comparing-defs} |
|
5 |
||
451
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
6 |
In \S\ref{sec:example:traditional-n-categories(fields)} we showed how to construct |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
7 |
a topological $n$-category from a traditional $n$-category; the morphisms of the |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
8 |
topological $n$-category are string diagrams labeled by the traditional $n$-category. |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
9 |
In this appendix we sketch how to go the other direction, for $n=1$ and 2. |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
10 |
The basic recipe, given a topological $n$-category $\cC$, is to define the $k$-morphisms |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
11 |
of the corresponding traditional $n$-category to be $\cC(B^k)$, where |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
12 |
$B^k$ is the {\it standard} $k$-ball. |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
13 |
One must then show that the axioms of \S\ref{ss:n-cat-def} imply the traditional $n$-category axioms. |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
14 |
One should also show that composing the two arrows (between traditional and topological $n$-categories) |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
15 |
yields the appropriate sort of equivalence on each side. |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
16 |
Since we haven't given a definition for functors between topological $n$-categories |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
17 |
(the paper is already too long!), we do not pursue this here. |
114 | 18 |
|
451
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
19 |
We emphasize that we are just sketching some of the main ideas in this appendix --- |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
20 |
it falls well short of proving the definitions are equivalent. |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
21 |
|
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
22 |
%\nn{cases to cover: (a) plain $n$-cats for $n=1,2$; (b) $n$-cat modules for $n=1$, also 2?; |
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
23 |
%(c) $A_\infty$ 1-cat; (b) $A_\infty$ 1-cat module?; (e) tensor products?} |
204 | 24 |
|
194 | 25 |
\subsection{$1$-categories over $\Set$ or $\Vect$} |
26 |
\label{ssec:1-cats} |
|
27 |
Given a topological $1$-category $\cX$ we construct a $1$-category in the conventional sense, $c(\cX)$. |
|
345 | 28 |
This construction is quite straightforward, but we include the details for the sake of completeness, |
29 |
because it illustrates the role of structures (e.g. orientations, spin structures, etc) |
|
30 |
on the underlying manifolds, and |
|
194 | 31 |
to shed some light on the $n=2$ case, which we describe in \S \ref{ssec:2-cats}. |
114 | 32 |
|
194 | 33 |
Let $B^k$ denote the \emph{standard} $k$-ball. |
345 | 34 |
Let the objects of $c(\cX)$ be $c(\cX)^0 = \cX(B^0)$ and the morphisms of $c(\cX)$ be $c(\cX)^1 = \cX(B^1)$. |
35 |
The boundary and restriction maps of $\cX$ give domain and range maps from $c(\cX)^1$ to $c(\cX)^0$. |
|
114 | 36 |
|
37 |
Choose a homeomorphism $B^1\cup_{pt}B^1 \to B^1$. |
|
345 | 38 |
Define composition in $c(\cX)$ to be the induced map $c(\cX)^1\times c(\cX)^1 \to c(\cX)^1$ |
39 |
(defined only when range and domain agree). |
|
194 | 40 |
By isotopy invariance in $\cX$, any other choice of homeomorphism gives the same composition rule. |
201 | 41 |
Also by isotopy invariance, composition is strictly associative. |
114 | 42 |
|
194 | 43 |
Given $a\in c(\cX)^0$, define $\id_a \deq a\times B^1$. |
44 |
By extended isotopy invariance in $\cX$, this has the expected properties of an identity morphism. |
|
114 | 45 |
|
46 |
||
345 | 47 |
If the underlying manifolds for $\cX$ have further geometric structure, then we obtain certain functors. |
48 |
The base case is for oriented manifolds, where we obtain no extra algebraic data. |
|
114 | 49 |
|
451
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
50 |
For 1-categories based on unoriented manifolds, |
345 | 51 |
there is a map $*:c(\cX)^1\to c(\cX)^1$ |
194 | 52 |
coming from $\cX$ applied to an orientation-reversing homeomorphism (unique up to isotopy) |
114 | 53 |
from $B^1$ to itself. |
54 |
Topological properties of this homeomorphism imply that |
|
55 |
$a^{**} = a$ (* is order 2), * reverses domain and range, and $(ab)^* = b^*a^*$ |
|
56 |
(* is an anti-automorphism). |
|
57 |
||
58 |
For 1-categories based on Spin manifolds, |
|
59 |
the the nontrivial spin homeomorphism from $B^1$ to itself which covers the identity |
|
194 | 60 |
gives an order 2 automorphism of $c(\cX)^1$. |
114 | 61 |
|
62 |
For 1-categories based on $\text{Pin}_-$ manifolds, |
|
194 | 63 |
we have an order 4 antiautomorphism of $c(\cX)^1$. |
114 | 64 |
For 1-categories based on $\text{Pin}_+$ manifolds, |
194 | 65 |
we have an order 2 antiautomorphism and also an order 2 automorphism of $c(\cX)^1$, |
114 | 66 |
and these two maps commute with each other. |
451
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
67 |
%\nn{need to also consider automorphisms of $B^0$ / objects} |
114 | 68 |
|
451
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
69 |
\noop{ |
114 | 70 |
\medskip |
71 |
||
194 | 72 |
In the other direction, given a $1$-category $C$ |
114 | 73 |
(with objects $C^0$ and morphisms $C^1$) we will construct a topological |
194 | 74 |
$1$-category $t(C)$. |
114 | 75 |
|
194 | 76 |
If $X$ is a 0-ball (point), let $t(C)(X) \deq C^0$. |
77 |
If $S$ is a 0-sphere, let $t(C)(S) \deq C^0\times C^0$. |
|
78 |
If $X$ is a 1-ball, let $t(C)(X) \deq C^1$. |
|
114 | 79 |
Homeomorphisms isotopic to the identity act trivially. |
80 |
If $C$ has extra structure (e.g.\ it's a *-1-category), we use this structure |
|
81 |
to define the action of homeomorphisms not isotopic to the identity |
|
82 |
(and get, e.g., an unoriented topological 1-category). |
|
83 |
||
194 | 84 |
The domain and range maps of $C$ determine the boundary and restriction maps of $t(C)$. |
114 | 85 |
|
194 | 86 |
Gluing maps for $t(C)$ are determined by composition of morphisms in $C$. |
114 | 87 |
|
194 | 88 |
For $X$ a 0-ball, $D$ a 1-ball and $a\in t(C)(X)$, define the product morphism |
114 | 89 |
$a\times D \deq \id_a$. |
90 |
It is not hard to verify that this has the desired properties. |
|
91 |
||
92 |
\medskip |
|
93 |
||
345 | 94 |
The compositions of the constructions above, $$\cX\to c(\cX)\to t(c(\cX))$$ |
95 |
and $$C\to t(C)\to c(t(C)),$$ give back |
|
114 | 96 |
more or less exactly the same thing we started with. |
194 | 97 |
|
114 | 98 |
As we will see below, for $n>1$ the compositions yield a weaker sort of equivalence. |
451
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
99 |
} %end \noop |
114 | 100 |
|
115 | 101 |
\medskip |
102 |
||
103 |
Similar arguments show that modules for topological 1-categories are essentially |
|
104 |
the same thing as traditional modules for traditional 1-categories. |
|
114 | 105 |
|
451
bb7e388b9704
starting on comparing_defs.tex
Kevin Walker <kevin@canyon23.net>
parents:
433
diff
changeset
|
106 |
|
481 | 107 |
\subsection{Pivotal 2-categories} |
194 | 108 |
\label{ssec:2-cats} |
115 | 109 |
Let $\cC$ be a topological 2-category. |
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
110 |
We will construct from $\cC$ a traditional pivotal 2-category. |
115 | 111 |
(The ``pivotal" corresponds to our assumption of strong duality for $\cC$.) |
112 |
||
113 |
We will try to describe the construction in such a way the the generalization to $n>2$ is clear, |
|
124 | 114 |
though this will make the $n=2$ case a little more complicated than necessary. |
115 | 115 |
|
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
116 |
Before proceeding, we must decide whether the 2-morphisms of our |
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
117 |
pivotal 2-category are shaped like rectangles or bigons. |
125 | 118 |
Each approach has advantages and disadvantages. |
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
119 |
For better or worse, we choose bigons here. |
128 | 120 |
|
115 | 121 |
Define the $k$-morphisms $C^k$ of $C$ to be $\cC(B^k)_E$, where $B^k$ denotes the standard |
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
122 |
$k$-ball, which we also think of as the standard bihedron (a.k.a.\ globe). |
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
123 |
(For $k=1$ this is an interval, and for $k=2$ it is a bigon.) |
115 | 124 |
Since we are thinking of $B^k$ as a bihedron, we have a standard decomposition of the $\bd B^k$ |
125 |
into two copies of $B^{k-1}$ which intersect along the ``equator" $E \cong S^{k-2}$. |
|
126 |
Recall that the subscript in $\cC(B^k)_E$ means that we consider the subset of $\cC(B^k)$ |
|
127 |
whose boundary is splittable along $E$. |
|
128 |
This allows us to define the domain and range of morphisms of $C$ using |
|
129 |
boundary and restriction maps of $\cC$. |
|
130 |
||
124 | 131 |
Choosing a homeomorphism $B^1\cup B^1 \to B^1$ defines a composition map on $C^1$. |
132 |
This is not associative, but we will see later that it is weakly associative. |
|
133 |
||
125 | 134 |
Choosing a homeomorphism $B^2\cup B^2 \to B^2$ defines a ``vertical" composition map |
135 |
on $C^2$ (Figure \ref{fzo1}). |
|
124 | 136 |
Isotopy invariance implies that this is associative. |
137 |
We will define a ``horizontal" composition later. |
|
138 |
||
126 | 139 |
\begin{figure}[t] |
140 |
\begin{equation*} |
|
141 |
\mathfig{.73}{tempkw/zo1} |
|
142 |
\end{equation*} |
|
143 |
\caption{Vertical composition of 2-morphisms} |
|
144 |
\label{fzo1} |
|
145 |
\end{figure} |
|
146 |
||
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
147 |
Given $a\in C^1$, define $\id_a = a\times I \in C^2$ (pinched boundary). |
125 | 148 |
Extended isotopy invariance for $\cC$ shows that this morphism is an identity for |
149 |
vertical composition. |
|
124 | 150 |
|
125 | 151 |
Given $x\in C^0$, define $\id_x = x\times B^1 \in C^1$. |
152 |
We will show that this 1-morphism is a weak identity. |
|
153 |
This would be easier if our 2-morphisms were shaped like rectangles rather than bigons. |
|
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
154 |
|
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
155 |
In showing that identity 1-morphisms have the desired properties, we will |
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
156 |
rely heavily on the extended isotopy invariance of 2-morphisms in $\cC$. |
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
157 |
This means we are free to add or delete product regions from 2-morphisms. |
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
158 |
|
201 | 159 |
Let $a: y\to x$ be a 1-morphism. |
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
160 |
Define 2-morphsims $a \to a\bullet \id_x$ and $a\bullet \id_x \to a$ |
125 | 161 |
as shown in Figure \ref{fzo2}. |
126 | 162 |
\begin{figure}[t] |
498
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
163 |
\begin{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
164 |
\newcommand{\rr}{6} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
165 |
\newcommand{\vertex}{node[circle,fill=black,inner sep=1pt] {}} |
503
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
166 |
\newcommand{\namedvertex}[1]{node[circle,fill=black,inner sep=1pt] (#1) {}} |
498
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
167 |
|
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
168 |
\node(A) at (0,0) { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
169 |
\begin{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
170 |
\node[red,left] at (0,0) {$y$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
171 |
\draw (0,0) \vertex arc (-120:-105:\rr) node[red,below] {$a$} arc(-105:-90:\rr) \vertex node[red,below](x2) {$x$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
172 |
\draw (0,0) \vertex arc (120:105:\rr) node[red,above] {$a$} arc (105:90:\rr) \vertex node[red,above](x1) {$x$} -- (x2); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
173 |
\begin{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
174 |
\path[clip] (0,0) arc (-120:-60:\rr) arc (60:120:\rr); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
175 |
\foreach \x in {0,0.24,...,3} { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
176 |
\draw[green!50!brown] (\x,1) -- (\x,-1); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
177 |
} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
178 |
\end{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
179 |
\draw[red, decorate,decoration={brace,amplitude=5pt}] ($(x1)+(0.2,-0.2)$) -- ($(x2)+(0.2,0.2)$) node[midway, xshift=0.7cm] {$x \times I$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
180 |
\end{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
181 |
}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
182 |
|
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
183 |
\node(B) at (-4,-4) { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
184 |
\begin{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
185 |
\node[red,left] at (0,0) {$y$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
186 |
\draw (0,0) \vertex |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
187 |
arc (120:105:\rr) node[red,above] {$a$} |
503
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
188 |
arc (105:90:\rr) node[red,above] {$x$} \namedvertex{x1}; |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
189 |
% arc (90:75:\rr) node[red,above] {$x \times I$}; |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
190 |
% arc (75:60:\rr) \vertex node[red,right] {$x$} |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
191 |
% arc (-60:-90:\rr) node[red,below] {$a$} |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
192 |
% arc (-90:-120:\rr); |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
193 |
\draw (0,0) |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
194 |
arc (-120:-90:\rr) node[red,below] {$a$} |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
195 |
arc (-90:-61:\rr) \namedvertex{x2} node[red,right] {$x$}; |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
196 |
\draw (x1) -- node[red, above=3pt] {$x \times I$} (x2); |
498
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
197 |
\begin{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
198 |
\path[clip] (0,0) arc (-120:-60:\rr) arc (60:120:\rr); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
199 |
\foreach \x in {0,0.48,...,9} { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
200 |
\draw[green!50!brown] (\x/4,1) -- (\x,-1); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
201 |
} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
202 |
\end{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
203 |
\end{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
204 |
}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
205 |
|
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
206 |
\node(C) at (4,-4) { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
207 |
\begin{tikzpicture}[y=-1cm] |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
208 |
\node[red,left] at (0,0) {$y$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
209 |
\draw (0,0) \vertex |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
210 |
arc (120:105:\rr) node[red,below] {$a$} |
503
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
211 |
arc (105:90:\rr) node[red,below] {$x$} \namedvertex{x1}; |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
212 |
% arc (90:75:\rr) node[red,below] {$x \times I$} |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
213 |
% arc (75:60:\rr) \vertex node[red,right] {$x$} |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
214 |
% arc (-60:-90:\rr) node[red,above] {$a$} |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
215 |
% arc (-90:-120:\rr); |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
216 |
\draw (0,0) |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
217 |
arc (-120:-90:\rr) node[red,above] {$a$} |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
218 |
arc (-90:-61:\rr) \namedvertex{x2} node[red,right] {$x$}; |
c221d8331f30
straight lines in figure 42
Scott Morrison <scott@tqft.net>
parents:
498
diff
changeset
|
219 |
\draw (x1) -- node[red, below=3pt] {$x \times I$} (x2); |
498
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
220 |
\begin{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
221 |
\path[clip] (0,0) arc (-120:-60:\rr) arc (60:120:\rr); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
222 |
\foreach \x in {0,0.48,...,9} { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
223 |
\draw[green!50!brown] (\x/4,1) -- (\x,-1); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
224 |
} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
225 |
\end{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
226 |
\end{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
227 |
}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
228 |
|
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
229 |
\draw[->] (A) -- (B); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
230 |
\draw[->] (A) -- (C); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
231 |
\end{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
232 |
\caption{Producing weak identities from half pinched products} |
126 | 233 |
\label{fzo2} |
234 |
\end{figure} |
|
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
235 |
As suggested by the figure, these are two different reparameterizations |
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
236 |
of a half-pinched version of $a\times I$. |
125 | 237 |
We must show that the two compositions of these two maps give the identity 2-morphisms |
238 |
on $a$ and $a\bullet \id_x$, as defined above. |
|
239 |
Figure \ref{fzo3} shows one case. |
|
126 | 240 |
\begin{figure}[t] |
241 |
\begin{equation*} |
|
242 |
\mathfig{.83}{tempkw/zo3} |
|
243 |
\end{equation*} |
|
498
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
244 |
\caption{Composition of weak identities, 1} |
126 | 245 |
\label{fzo3} |
246 |
\end{figure} |
|
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
247 |
In the first step we have inserted a copy of $(x\times I)\times I$. |
125 | 248 |
Figure \ref{fzo4} shows the other case. |
126 | 249 |
\begin{figure}[t] |
250 |
\begin{equation*} |
|
251 |
\mathfig{.83}{tempkw/zo4} |
|
252 |
\end{equation*} |
|
498
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
481
diff
changeset
|
253 |
\caption{Composition of weak identities, 2} |
126 | 254 |
\label{fzo4} |
255 |
\end{figure} |
|
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
256 |
We identify a product region and remove it. |
124 | 257 |
|
127 | 258 |
We define horizontal composition of 2-morphisms as shown in Figure \ref{fzo5}. |
345 | 259 |
It is not hard to show that this is independent of the arbitrary (left/right) |
260 |
choice made in the definition, and that it is associative. |
|
127 | 261 |
\begin{figure}[t] |
262 |
\begin{equation*} |
|
263 |
\mathfig{.83}{tempkw/zo5} |
|
264 |
\end{equation*} |
|
265 |
\caption{Horizontal composition of 2-morphisms} |
|
266 |
\label{fzo5} |
|
267 |
\end{figure} |
|
125 | 268 |
|
457
54328be726e7
comparing_defs.tex 2-cat section
Kevin Walker <kevin@canyon23.net>
parents:
451
diff
changeset
|
269 |
%\nn{need to find a list of axioms for pivotal 2-cats to check} |
114 | 270 |
|
194 | 271 |
|
272 |
\subsection{$A_\infty$ $1$-categories} |
|
273 |
\label{sec:comparing-A-infty} |
|
431 | 274 |
In this section, we make contact between the usual definition of an $A_\infty$ category |
477
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
275 |
and our definition of a topological $A_\infty$ $1$-category, from \S \ref{ss:n-cat-def}. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
276 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
277 |
\medskip |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
278 |
|
480 | 279 |
Given a topological $A_\infty$ $1$-category $\cC$, we define an ``$m_k$-style" |
477
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
280 |
$A_\infty$ $1$-category $A$ as follows. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
281 |
The objects of $A$ are $\cC(pt)$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
282 |
The morphisms of $A$, from $x$ to $y$, are $\cC(I; x, y)$ |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
283 |
($\cC$ applied to the standard interval with boundary labeled by $x$ and $y$). |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
284 |
For simplicity we will now assume there is only one object and suppress it from the notation. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
285 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
286 |
A choice of homeomorphism $I\cup I \to I$ induces a chain map $m_2: A\times A\to A$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
287 |
We now have two different homeomorphisms $I\cup I\cup I \to I$, but they are isotopic. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
288 |
Choose a specific 1-parameter family of homeomorphisms connecting them; this induces |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
289 |
a degree 1 chain homotopy $m_3:A\ot A\ot A\to A$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
290 |
Proceeding in this way we define the rest of the $m_i$'s. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
291 |
It is straightforward to verify that they satisfy the necessary identities. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
292 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
293 |
\medskip |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
294 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
295 |
In the other direction, we start with an alternative conventional definition of an $A_\infty$ algebra: |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
296 |
an algebra $A$ for the $A_\infty$ operad. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
297 |
(For simplicity, we are assuming our $A_\infty$ 1-category has only one object.) |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
298 |
We are free to choose any operad with contractible spaces, so we choose the operad |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
299 |
whose $k$-th space is the space of decompositions of the standard interval $I$ into $k$ |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
300 |
parameterized copies of $I$. |
480 | 301 |
Note in particular that when $k=1$ this implies a $C_*(\Homeo(I))$ action on $A$. |
302 |
(Compare with Example \ref{ex:e-n-alg} and the discussion which precedes it.) |
|
477
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
303 |
Given a non-standard interval $J$, we define $\cC(J)$ to be |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
304 |
$(\Homeo(I\to J) \times A)/\Homeo(I\to I)$, |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
305 |
where $\beta \in \Homeo(I\to I)$ acts via $(f, a) \mapsto (f\circ \beta\inv, \beta_*(a))$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
306 |
\nn{check this} |
480 | 307 |
Note that $\cC(J) \cong A$ (non-canonically) for all intervals $J$. |
477
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
308 |
We define a $\Homeo(J)$ action on $\cC(J)$ via $g_*(f, a) = (g\circ f, a)$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
309 |
The $C_*(\Homeo(J))$ action is defined similarly. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
310 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
311 |
Let $J_1$ and $J_2$ be intervals. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
312 |
We must define a map $\cC(J_1)\ot\cC(J_2)\to\cC(J_1\cup J_2)$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
313 |
Choose a homeomorphism $g:I\to J_1\cup J_2$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
314 |
Let $(f_i, a_i)\in \cC(J_i)$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
315 |
We have a parameterized decomposition of $I$ into two intervals given by |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
316 |
$g\inv \circ f_i$, $i=1,2$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
317 |
Corresponding to this decomposition the operad action gives a map $\mu: A\ot A\to A$. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
318 |
Define the gluing map to send $(f_1, a_1)\ot (f_2, a_2)$ to $(g, \mu(a_1\ot a_2))$. |
480 | 319 |
Operad associativity for $A$ implies that this gluing map is independent of the choice of |
320 |
$g$ and the choice of representative $(f_i, a_i)$. |
|
477
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
321 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
322 |
It is straightforward to verify the remaining axioms for a topological $A_\infty$ 1-category. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
323 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
324 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
325 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
326 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
327 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
328 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
329 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
330 |
\noop { %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
194 | 331 |
|
431 | 332 |
That definition associates a chain complex to every interval, and we begin by giving an alternative definition that is entirely in terms of the chain complex associated to the standard interval $[0,1]$. |
194 | 333 |
\begin{defn} |
345 | 334 |
A \emph{topological $A_\infty$ category on $[0,1]$} $\cC$ has a set of objects $\Obj(\cC)$, |
335 |
and for each $a,b \in \Obj(\cC)$, a chain complex $\cC_{a,b}$, along with |
|
194 | 336 |
\begin{itemize} |
337 |
\item an action of the operad of $\Obj(\cC)$-labeled cell decompositions |
|
338 |
\item and a compatible action of $\CD{[0,1]}$. |
|
339 |
\end{itemize} |
|
340 |
\end{defn} |
|
345 | 341 |
Here the operad of cell decompositions of $[0,1]$ has operations indexed by a finite set of |
342 |
points $0 < x_1< \cdots < x_k < 1$, cutting $[0,1]$ into subintervals. |
|
343 |
An $X$-labeled cell decomposition labels $\{0, x_1, \ldots, x_k, 1\}$ by $X$. |
|
344 |
Given two cell decompositions $\cJ^{(1)}$ and $\cJ^{(2)}$, and an index $m$, we can compose |
|
345 |
them to form a new cell decomposition $\cJ^{(1)} \circ_m \cJ^{(2)}$ by inserting the points |
|
346 |
of $\cJ^{(2)}$ linearly into the $m$-th interval of $\cJ^{(1)}$. |
|
347 |
In the $X$-labeled case, we insist that the appropriate labels match up. |
|
348 |
Saying we have an action of this operad means that for each labeled cell decomposition |
|
349 |
$0 < x_1< \cdots < x_k < 1$, $a_0, \ldots, a_{k+1} \subset \Obj(\cC)$, there is a chain |
|
431 | 350 |
map $$\cC_{a_0,a_1} \tensor \cdots \tensor \cC_{a_k,a_{k+1}} \to \cC_{a_0,a_{k+1}}$$ and these |
345 | 351 |
chain maps compose exactly as the cell decompositions. |
352 |
An action of $\CD{[0,1]}$ is compatible with an action of the cell decomposition operad |
|
353 |
if given a decomposition $\pi$, and a family of diffeomorphisms $f \in \CD{[0,1]}$ which |
|
354 |
is supported on the subintervals determined by $\pi$, then the two possible operations |
|
355 |
(glue intervals together, then apply the diffeomorphisms, or apply the diffeormorphisms |
|
356 |
separately to the subintervals, then glue) commute (as usual, up to a weakly unique homotopy). |
|
194 | 357 |
|
345 | 358 |
Translating between this notion and the usual definition of an $A_\infty$ category is now straightforward. |
359 |
To restrict to the standard interval, define $\cC_{a,b} = \cC([0,1];a,b)$. |
|
360 |
Given a cell decomposition $0 < x_1< \cdots < x_k < 1$, we use the map (suppressing labels) |
|
194 | 361 |
$$\cC([0,1])^{\tensor k+1} \to \cC([0,x_1]) \tensor \cdots \tensor \cC[x_k,1] \to \cC([0,1])$$ |
345 | 362 |
where the factors of the first map are induced by the linear isometries $[0,1] \to [x_i, x_{i+1}]$, and the second map is just gluing. |
363 |
The action of $\CD{[0,1]}$ carries across, and is automatically compatible. |
|
364 |
Going the other way, we just declare $\cC(J;a,b) = \cC_{a,b}$, pick a diffeomorphism |
|
365 |
$\phi_J : J \isoto [0,1]$ for every interval $J$, define the gluing map |
|
366 |
$\cC(J_1) \tensor \cC(J_2) \to \cC(J_1 \cup J_2)$ by the first applying |
|
367 |
the cell decomposition map for $0 < \frac{1}{2} < 1$, then the self-diffeomorphism of $[0,1]$ |
|
368 |
given by $\frac{1}{2} (\phi_{J_1} \cup (1+ \phi_{J_2})) \circ \phi_{J_1 \cup J_2}^{-1}$. |
|
369 |
You can readily check that this gluing map is associative on the nose. \todo{really?} |
|
194 | 370 |
|
371 |
%First recall the \emph{coloured little intervals operad}. Given a set of labels $\cL$, the operations are indexed by \emph{decompositions of the interval}, each of which is a collection of disjoint subintervals $\{(a_i,b_i)\}_{i=1}^k$ of $[0,1]$, along with a labeling of the complementary regions by $\cL$, $\{l_0, \ldots, l_k\}$. Given two decompositions $\cJ^{(1)}$ and $\cJ^{(2)}$, and an index $m$ such that $l^{(1)}_{m-1} = l^{(2)}_0$ and $l^{(1)}_{m} = l^{(2)}_{k^{(2)}}$, we can form a new decomposition by inserting the intervals of $\cJ^{(2)}$ linearly inside the $m$-th interval of $\cJ^{(1)}$. We call the resulting decomposition $\cJ^{(1)} \circ_m \cJ^{(2)}$. |
|
372 |
||
373 |
%\begin{defn} |
|
374 |
%A \emph{topological $A_\infty$ category} $\cC$ has a set of objects $\Obj(\cC)$ and for each $a,b \in \Obj(\cC)$ a chain complex $\cC_{a,b}$, along with a compatible `composition map' and an `action of families of diffeomorphisms'. |
|
375 |
||
376 |
%A \emph{composition map} $f$ is a family of chain maps, one for each decomposition of the interval, $f_\cJ : A^{\tensor k} \to A$, making $\cC$ into a category over the coloured little intervals operad, with labels $\cL = \Obj(\cC)$. Thus the chain maps satisfy the identity |
|
377 |
%\begin{equation*} |
|
378 |
%f_{\cJ^{(1)} \circ_m \cJ^{(2)}} = f_{\cJ^{(1)}} \circ (\id^{\tensor m-1} \tensor f_{\cJ^{(2)}} \tensor \id^{\tensor k^{(1)} - m}). |
|
379 |
%\end{equation*} |
|
380 |
||
381 |
%An \emph{action of families of diffeomorphisms} is a chain map $ev: \CD{[0,1]} \tensor A \to A$, such that |
|
382 |
%\begin{enumerate} |
|
383 |
%\item The diagram |
|
384 |
%\begin{equation*} |
|
385 |
%\xymatrix{ |
|
386 |
%\CD{[0,1]} \tensor \CD{[0,1]} \tensor A \ar[r]^{\id \tensor ev} \ar[d]^{\circ \tensor \id} & \CD{[0,1]} \tensor A \ar[d]^{ev} \\ |
|
387 |
%\CD{[0,1]} \tensor A \ar[r]^{ev} & A |
|
388 |
%} |
|
389 |
%\end{equation*} |
|
390 |
%commutes up to weakly unique homotopy. |
|
391 |
%\item If $\phi \in \Diff([0,1])$ and $\cJ$ is a decomposition of the interval, we obtain a new decomposition $\phi(\cJ)$ and a collection $\phi_m \in \Diff([0,1])$ of diffeomorphisms obtained by taking the restrictions $\restrict{\phi}{[a_m,b_m]} : [a_m,b_m] \to [\phi(a_m),\phi(b_m)]$ and pre- and post-composing these with the linear diffeomorphisms $[0,1] \to [a_m,b_m]$ and $[\phi(a_m),\phi(b_m)] \to [0,1]$. We require that |
|
392 |
%\begin{equation*} |
|
393 |
%\phi(f_\cJ(a_1, \cdots, a_k)) = f_{\phi(\cJ)}(\phi_1(a_1), \cdots, \phi_k(a_k)). |
|
394 |
%\end{equation*} |
|
395 |
%\end{enumerate} |
|
396 |
%\end{defn} |
|
397 |
||
345 | 398 |
From a topological $A_\infty$ category on $[0,1]$ $\cC$ we can produce a `conventional' |
399 |
$A_\infty$ category $(A, \{m_k\})$ as defined in, for example, \cite{MR1854636}. |
|
400 |
We'll just describe the algebra case (that is, a category with only one object), |
|
401 |
as the modifications required to deal with multiple objects are trivial. |
|
402 |
Define $A = \cC$ as a chain complex (so $m_1 = d$). |
|
403 |
Define $m_2 : A\tensor A \to A$ by $f_{\{(0,\frac{1}{2}),(\frac{1}{2},1)\}}$. |
|
404 |
To define $m_3$, we begin by taking the one parameter family $\phi_3$ of diffeomorphisms |
|
405 |
of $[0,1]$ that interpolates linearly between the identity and the piecewise linear |
|
406 |
diffeomorphism taking $\frac{1}{4}$ to $\frac{1}{2}$ and $\frac{1}{2}$ to $\frac{3}{4}$, and then define |
|
194 | 407 |
\begin{equation*} |
408 |
m_3(a,b,c) = ev(\phi_3, m_2(m_2(a,b), c)). |
|
409 |
\end{equation*} |
|
410 |
||
411 |
It's then easy to calculate that |
|
412 |
\begin{align*} |
|
413 |
d(m_3(a,b,c)) & = ev(d \phi_3, m_2(m_2(a,b),c)) - ev(\phi_3 d m_2(m_2(a,b), c)) \\ |
|
414 |
& = ev( \phi_3(1), m_2(m_2(a,b),c)) - ev(\phi_3(0), m_2 (m_2(a,b),c)) - \\ & \qquad - ev(\phi_3, m_2(m_2(da, b), c) + (-1)^{\deg a} m_2(m_2(a, db), c) + \\ & \qquad \quad + (-1)^{\deg a+\deg b} m_2(m_2(a, b), dc) \\ |
|
415 |
& = m_2(a , m_2(b,c)) - m_2(m_2(a,b),c) - \\ & \qquad - m_3(da,b,c) + (-1)^{\deg a + 1} m_3(a,db,c) + \\ & \qquad \quad + (-1)^{\deg a + \deg b + 1} m_3(a,b,dc), \\ |
|
416 |
\intertext{and thus that} |
|
417 |
m_1 \circ m_3 & = m_2 \circ (\id \tensor m_2) - m_2 \circ (m_2 \tensor \id) - \\ & \qquad - m_3 \circ (m_1 \tensor \id \tensor \id) - m_3 \circ (\id \tensor m_1 \tensor \id) - m_3 \circ (\id \tensor \id \tensor m_1) |
|
418 |
\end{align*} |
|
419 |
as required (c.f. \cite[p. 6]{MR1854636}). |
|
420 |
\todo{then the general case.} |
|
345 | 421 |
We won't describe a reverse construction (producing a topological $A_\infty$ category |
477
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
422 |
from a ``conventional" $A_\infty$ category), but we presume that this will be easy for the experts. |
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
423 |
|
86c8e2129355
radically shorter a-inf appendix
Kevin Walker <kevin@canyon23.net>
parents:
457
diff
changeset
|
424 |
} %%%%% end \noop %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |