# HG changeset patch # User Kevin Walker # Date 1277669460 25200 # Node ID a11a1a65cb6dbee5a5ec51f160e50a234282d86c # Parent ef36cdefb130f4d05e0b3b0cdbbd5e298d852fa3# Parent da479130b2a78f07007e99a592688c184a8aa899 Automated merge with https://tqft.net/hg/blob/ diff -r da479130b2a7 -r a11a1a65cb6d text/appendixes/smallblobs.tex --- a/text/appendixes/smallblobs.tex Sun Jun 27 13:10:53 2010 -0700 +++ b/text/appendixes/smallblobs.tex Sun Jun 27 13:11:00 2010 -0700 @@ -7,7 +7,7 @@ \begin{lem} \label{lem:CH-small-blobs} -Fix an open cover $\cU$, and a sequence $\cV_k$ of open covers which are each strictly subordinate to $\cU$. For a given $k$, consider $\cG_k$ the subspace of $C_k(\Homeo(M)) \tensor \bc_*(M)$ spanned by $f \tensor b$, where $f:P^k \times M \to M$ is a $k$-parameter family of homeomorphisms such that for each $p \in P$, $f(p, -)$ makes $b$ small with respect to $\cV_k$. We can choose an up-to-homotopy representative $\ev$ of the chain map of Property \ref{property:evaluation} which gives the action of families of homeomorphisms, which restricts to give a map +Fix an open cover $\cU$, and a sequence $\cV_k$ of open covers which are each strictly subordinate to $\cU$. For a given $k$, consider $\cG_k$ the subspace of $C_k(\Homeo(M)) \tensor \bc_*(M)$ spanned by $f \tensor b$, where $f:P^k \times M \to M$ is a $k$-parameter family of homeomorphisms such that for each $p \in P$, $f(p, -)$ makes $b$ small with respect to $\cV_k$. We can choose an up-to-homotopy representative $\ev$ of the chain map of Theorem \ref{thm:evaluation} which gives the action of families of homeomorphisms, which restricts to give a map $$\ev : \cG_k \subset C_k(\Homeo(M)) \tensor \bc_*(M) \to \bc^{\cU}_*(M)$$ for each $k$. \end{lem} diff -r da479130b2a7 -r a11a1a65cb6d text/basic_properties.tex --- a/text/basic_properties.tex Sun Jun 27 13:10:53 2010 -0700 +++ b/text/basic_properties.tex Sun Jun 27 13:11:00 2010 -0700 @@ -87,9 +87,9 @@ $r$ be the restriction of $b$ to $X\setminus S$. Note that $S$ is a disjoint union of balls. Assign to $b$ the acyclic (in positive degrees) subcomplex $T(b) \deq r\bullet\bc_*(S)$. -note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$. +Note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$. Both $f$ and the identity are compatible with $T$ (in the sense of acyclic models), -so $f$ and the identity map are homotopic. +so $f$ and the identity map are homotopic. \nn{We should actually have a section with a definition of `compatible' and this statement as a lemma} \end{proof} For the next proposition we will temporarily restore $n$-manifold boundary diff -r da479130b2a7 -r a11a1a65cb6d text/deligne.tex --- a/text/deligne.tex Sun Jun 27 13:10:53 2010 -0700 +++ b/text/deligne.tex Sun Jun 27 13:11:00 2010 -0700 @@ -8,7 +8,7 @@ the proof of a higher dimensional version of the Deligne conjecture about the action of the little disks operad on Hochschild cohomology. The first several paragraphs lead up to a precise statement of the result -(Proposition \ref{prop:deligne} below). +(Theorem \ref{thm:deligne} below). Then we sketch the proof. \nn{Does this generalization encompass Kontsevich's proposed generalization from \cite[\S2.5]{MR1718044}, diff -r da479130b2a7 -r a11a1a65cb6d text/evmap.tex --- a/text/evmap.tex Sun Jun 27 13:10:53 2010 -0700 +++ b/text/evmap.tex Sun Jun 27 13:11:00 2010 -0700 @@ -228,7 +228,7 @@ We have $\deg(p'') = 0$ and, inductively, $f'' = p''(b'')$. %We also have that $\deg(b'') = 0 = \deg(p'')$. Choose $x' \in \bc_*(p(V))$ such that $\bd x' = f'$. -This is possible by \ref{bcontract}, \ref{disjunion} and the fact that isotopic fields +This is possible by Properties \ref{property:disjoint-union} and \ref{property:contractibility} and the fact that isotopic fields differ by a local relation \nn{give reference?}. Finally, define \[ diff -r da479130b2a7 -r a11a1a65cb6d text/hochschild.tex --- a/text/hochschild.tex Sun Jun 27 13:10:53 2010 -0700 +++ b/text/hochschild.tex Sun Jun 27 13:11:00 2010 -0700 @@ -19,7 +19,7 @@ to find a more ``local" description of the Hochschild complex. Let $C$ be a *-1-category. -Then specializing the definitions from above to the case $n=1$ we have: +Then specializing the definitions from above to the case $n=1$ we have: \nn{mention that this is dual to the way we think later} \nn{mention that this has the nice side effect of making everything splittable away from the marked points} \begin{itemize} \item $\cC(pt) = \ob(C)$ . \item Let $R$ be a 1-manifold and $c \in \cC(\bd R)$. @@ -31,7 +31,7 @@ \item There is an evaluation map $e: \cC(I; a, b) \to \mor(a, b)$ given by composing the morphism labels of the points. Note that we also need the * of *-1-category here in order to make all the morphisms point -the same way. +the same way. \nn{Wouldn't it be better to just do the oriented version here? -S} \item For $x \in \mor(a, b)$ let $\chi(x) \in \cC(I; a, b)$ be the field with a single point (at some standard location) labeled by $x$. Then the kernel of the evaluation map $U(I; a, b)$ is generated by things of the @@ -130,7 +130,7 @@ \cP_*(F_j) & \xrightarrow{\cP_0(F_j) \onto H_0(\cP_*(F_j))} \coinv(F_j). \end{align*} The cone of each chain map is acyclic. -In the first case, this is because the `rows' indexed by $i$ are acyclic since $\HC_i$ is exact. +In the first case, this is because the `rows' indexed by $i$ are acyclic since $\cP_i$ is exact. In the second case, this is because the `columns' indexed by $j$ are acyclic, since $F_j$ is free. Because the cones are acyclic, the chain maps are quasi-isomorphisms. Composing one with the inverse of the other, we obtain the desired quasi-isomorphism @@ -236,7 +236,7 @@ If $*$ is not contained in any twig blob, we define $j_\ep(x)$ by adding $N_\ep$ as a new twig blob, with label $y - s(y)$ where $y$ is the restriction of $x$ to $N_\ep$. -If $*$ is contained in a twig blob $B$ with label $u=\sum z_i$, +If $*$ is contained in a twig blob $B$ with label $u=\sum z_i$, \nn{I don't think we need to consider sums here} write $y_i$ for the restriction of $z_i$ to $N_\ep$, and let $x_i$ be equal to $x$ on $S^1 \setmin B$, equal to $z_i$ on $B \setmin N_\ep$, and have an additional blob $N_\ep$ with label $y_i - s(y_i)$. diff -r da479130b2a7 -r a11a1a65cb6d text/intro.tex --- a/text/intro.tex Sun Jun 27 13:10:53 2010 -0700 +++ b/text/intro.tex Sun Jun 27 13:11:00 2010 -0700 @@ -446,6 +446,6 @@ \subsection{Thanks and acknowledgements} We'd like to thank David Ben-Zvi, Kevin Costello, Chris Douglas, -Michael Freedman, Vaughan Jones, Alexander Kirillov, Justin Roberts, Chris Schommer-Pries, Peter Teichner \nn{and who else?} for many interesting and useful conversations. +Michael Freedman, Vaughan Jones, Alexander Kirillov, Justin Roberts, Chris Schommer-Pries, Peter Teichner, Thomas Tradler \nn{and who else?} for many interesting and useful conversations. During this work, Kevin Walker has been at Microsoft Station Q, and Scott Morrison has been at Microsoft Station Q and the Miller Institute for Basic Research at UC Berkeley. diff -r da479130b2a7 -r a11a1a65cb6d text/kw_macros.tex --- a/text/kw_macros.tex Sun Jun 27 13:10:53 2010 -0700 +++ b/text/kw_macros.tex Sun Jun 27 13:11:00 2010 -0700 @@ -33,7 +33,7 @@ \def\spl{_\pitchfork} %\def\nn#1{{{\it \small [#1]}}} -\def\nn#1{{{\color[rgb]{.2,.5,.6} \small [#1]}}} +\def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}} \long\def\noop#1{} % equations diff -r da479130b2a7 -r a11a1a65cb6d text/ncat.tex --- a/text/ncat.tex Sun Jun 27 13:10:53 2010 -0700 +++ b/text/ncat.tex Sun Jun 27 13:11:00 2010 -0700 @@ -105,7 +105,7 @@ homeomorphisms to the category of sets and bijections. \end{lem} -We postpone the proof \todo{} of this result until after we've actually given all the axioms. +We postpone the proof of this result until after we've actually given all the axioms. Note that defining this functor for some $k$ only requires the data described in Axiom \ref{axiom:morphisms} at level $k$, along with the data described in the other Axioms at lower levels. @@ -152,7 +152,7 @@ domain and range, but the converse meets with our approval. That is, given compatible domain and range, we should be able to combine them into the full boundary of a morphism. -The following lemma follows from the colimit construction used to define $\cl{\cC}_{k-1}$ +The following lemma will follow from the colimit construction used to define $\cl{\cC}_{k-1}$ on spheres. \begin{lem}[Boundary from domain and range] @@ -163,7 +163,7 @@ two maps $\bd: \cC(B_i)\to \cl{\cC}(E)$. Then we have an injective map \[ - \gl_E : \cC(B_1) \times_{\\cl{cC}(E)} \cC(B_2) \into \cl{\cC}(S) + \gl_E : \cC(B_1) \times_{\cl{\cC}(E)} \cC(B_2) \into \cl{\cC}(S) \] which is natural with respect to the actions of homeomorphisms. (When $k=1$ we stipulate that $\cl{\cC}(E)$ is a point, so that the above fibered product @@ -184,10 +184,10 @@ $$ \caption{Combining two balls to get a full boundary.}\label{blah3}\end{figure} -Note that we insist on injectivity above. +Note that we insist on injectivity above. \todo{Make sure we prove this, as a consequence of the next axiom, later.} Let $\cl{\cC}(S)_E$ denote the image of $\gl_E$. -We will refer to elements of $\\cl{cC}(S)_E$ as ``splittable along $E$" or ``transverse to $E$". +We will refer to elements of $\cl{\cC}(S)_E$ as ``splittable along $E$" or ``transverse to $E$". If $X$ is a $k$-ball and $E \sub \bd X$ splits $\bd X$ into two $k{-}1$-balls $B_1$ and $B_2$ as above, then we define $\cC(X)_E = \bd^{-1}(\cl{\cC}(\bd X)_E)$. @@ -884,7 +884,7 @@ In this section we describe how to extend an $n$-category $\cC$ as described above (of either the plain or $A_\infty$ variety) to an invariant of manifolds, which we denote by $\cl{\cC}$. This extension is a certain colimit, and we've chosen the notation to remind you of this. -That is, we show that functors $\cC_k$ satisfying the axioms above have a canonical extension +Thus we show that functors $\cC_k$ satisfying the axioms above have a canonical extension from $k$-balls to arbitrary $k$-manifolds. Recall that we've already anticipated this construction in the previous section, inductively defining $\cl{\cC}$ on $k$-spheres in terms of $\cC$ on $k$-balls, @@ -912,7 +912,6 @@ W = \bigcup_a X_a , \] where each closed top-dimensional cell $X_a$ is an embedded $k$-ball. - Given permissible decompositions $x$ and $y$, we say that $x$ is a refinement of $y$, or write $x \le y$, if each $k$-ball of $y$ is a union of $k$-balls of $x$. @@ -962,26 +961,26 @@ Finally, we construct $\cC(W)$ as the appropriate colimit of $\psi_{\cC;W}$. \begin{defn}[System of fields functor] -If $\cC$ is an $n$-category enriched in sets or vector spaces, $\cC(W)$ is the usual colimit of the functor $\psi_{\cC;W}$. +If $\cC$ is an $n$-category enriched in sets or vector spaces, $\cl{\cC}(W)$ is the usual colimit of the functor $\psi_{\cC;W}$. That is, for each decomposition $x$ there is a map -$\psi_{\cC;W}(x)\to \cC(W)$, these maps are compatible with the refinement maps -above, and $\cC(W)$ is universal with respect to these properties. +$\psi_{\cC;W}(x)\to \cl{\cC}(W)$, these maps are compatible with the refinement maps +above, and $\cl{\cC}(W)$ is universal with respect to these properties. \end{defn} \begin{defn}[System of fields functor, $A_\infty$ case] -When $\cC$ is an $A_\infty$ $n$-category, $\cC(W)$ for $W$ a $k$-manifold with $k < n$ +When $\cC$ is an $A_\infty$ $n$-category, $\cl{\cC}(W)$ for $W$ a $k$-manifold with $k < n$ is defined as above, as the colimit of $\psi_{\cC;W}$. -When $W$ is an $n$-manifold, the chain complex $\cC(W)$ is the homotopy colimit of the functor $\psi_{\cC;W}$. +When $W$ is an $n$-manifold, the chain complex $\cl{\cC}(W)$ is the homotopy colimit of the functor $\psi_{\cC;W}$. \end{defn} -We can specify boundary data $c \in \cC(\bdy W)$, and define functors $\psi_{\cC;W,c}$ +We can specify boundary data $c \in \cl{\cC}(\bdy W)$, and define functors $\psi_{\cC;W,c}$ with values the subsets of those of $\psi_{\cC;W}$ which agree with $c$ on the boundary of $W$. We now give a more concrete description of the colimit in each case. If $\cC$ is enriched over vector spaces, and $W$ is an $n$-manifold, -we can take the vector space $\cC(W,c)$ to be the direct sum over all permissible decompositions of $W$ +we can take the vector space $\cl{\cC}(W,c)$ to be the direct sum over all permissible decompositions of $W$ \begin{equation*} - \cC(W,c) = \left( \bigoplus_x \psi_{\cC;W,c}(x)\right) \big/ K + \cl{\cC}(W,c) = \left( \bigoplus_x \psi_{\cC;W,c}(x)\right) \big/ K \end{equation*} where $K$ is the vector space spanned by elements $a - g(a)$, with $a\in \psi_{\cC;W,c}(x)$ for some decomposition $x$, and $g: \psi_{\cC;W,c}(x) @@ -992,17 +991,17 @@ %\nn{should probably rewrite this to be compatible with some standard reference} Define an $m$-sequence in $W$ to be a sequence $x_0 \le x_1 \le \dots \le x_m$ of permissible decompositions of $W$. Such sequences (for all $m$) form a simplicial set in $\cell(W)$. -Define $V$ as a vector space via +Define $\cl{\cC}(W)$ as a vector space via \[ - V = \bigoplus_{(x_i)} \psi_{\cC;W}(x_0)[m] , + \cl{\cC}(W) = \bigoplus_{(x_i)} \psi_{\cC;W}(x_0)[m] , \] where the sum is over all $m$-sequences $(x_i)$ and all $m$, and each summand is degree shifted by $m$. (Our homological conventions are non-standard: if a complex $U$ is concentrated in degree $0$, the complex $U[m]$ is concentrated in degree $m$.) -We endow $V$ with a differential which is the sum of the differential of the $\psi_{\cC;W}(x_0)$ +We endow $\cl{\cC}(W)$ with a differential which is the sum of the differential of the $\psi_{\cC;W}(x_0)$ summands plus another term using the differential of the simplicial set of $m$-sequences. More specifically, if $(a, \bar{x})$ denotes an element in the $\bar{x}$ -summand of $V$ (with $\bar{x} = (x_0,\dots,x_k)$), define +summand of $\cl{\cC}(W)$ (with $\bar{x} = (x_0,\dots,x_k)$), define \[ \bd (a, \bar{x}) = (\bd a, \bar{x}) + (-1)^{\deg{a}} (g(a), d_0(\bar{x})) + (-1)^{\deg{a}} \sum_{j=1}^k (-1)^{j} (a, d_j(\bar{x})) , \] @@ -1021,12 +1020,14 @@ Then we kill the extra homology we just introduced with mapping cylinders between the mapping cylinders (filtration degree 2), and so on. -$\cC(W)$ is functorial with respect to homeomorphisms of $k$-manifolds. +$\cC(W)$ is functorial with respect to homeomorphisms of $k$-manifolds. Restricting the $k$-spheres, we have now proved Lemma \ref{lem:spheres}. -It is easy to see that +\todo{This next sentence is circular: these maps are an axiom, not a consequence of anything. -S} It is easy to see that there are well-defined maps $\cC(W)\to\cC(\bd W)$, and that these maps comprise a natural transformation of functors. +\todo{Explicitly say somewhere: `this proves Lemma \ref{lem:domain-and-range}'} + \nn{need to finish explaining why we have a system of fields; need to say more about ``homological" fields? (actions of homeomorphisms);