blob: comparison pnas/pnas.tex

equal deleted inserted replaced

-:6a7f2a6295d1
+:9c09495197c0
 Turaev-Viro theories, and Dijkgraaf-Witten theories.
 These can all be given satisfactory accounts in the framework outlined above.
 (The WRT invariants need to be reinterpreted as $3{+}1$-dimensional theories with only a weak dependence on interiors in order to be
 extended all the way down to dimension 0.)
-For other TQFT-like invariants, however, the above framework seems to be inadequate.
+For other non-semisimple TQFT-like invariants, however, the above framework seems to be inadequate.
+For example, the gluing rule for 3-manifolds in Ozsv\'{a}th-Szab\'{o}/Seiberg-Witten theory
-\nn{kevin's rewrite stops here}
+involves a tensor product over an $A_\infty$ 1-category associated to 2-manifolds \cite{1003.0598,1005.1248}.
+Long exact sequences are important computational tools in these theories,
-However new invariants on manifolds, particularly those coming from
+and also in Khovanov homology, but the colimit construction breaks exactness.
-Seiberg-Witten theory and Ozsv\'{a}th-Szab\'{o} theory, do not fit the framework well.
+For these reasons and others, it is desirable to
-In particular, they have more complicated gluing formulas, involving derived or
+extend to above framework to incorporate ideas from derived categories.
-$A_\infty$ tensor products \cite{1003.0598,1005.1248}.
-It seems worthwhile to find a more general notion of TQFT that explain these.
+One approach to such a generalization might be to simply define a
-While we don't claim to fulfill that goal here, our notions of $n$-category and
+TQFT via its gluing formulas, replacing tensor products with
-of the blob complex are hopefully a step in the right direction,
+derived tensor products.
-and provide similar gluing formulas.
+\nn{maybe cite Kh's paper on links in $S^1\times S^2$}
+However, it is probably difficult to prove
-One approach to such a generalization might be simply to define a
-TQFT invariant via its gluing formulas, replacing tensor products with
-derived tensor products. However, it is probably difficult to prove
 the invariance of such a definition, as the object associated to a manifold
 will a priori depend on the explicit presentation used to apply the gluing formulas.
 We instead give a manifestly invariant construction, and
-deduce gluing formulas based on $A_\infty$ tensor products.
+deduce from it the gluing formulas based on $A_\infty$ tensor products.
-\nn{Triangulated categories are important; often calculations are via exact sequences,
+This paper is organized as follows.
-and the standard TQFT constructions are quotients, which destroy exactness.}
+We first give an account of our version of $n$-categories.
+According to our definition, $n$-categories are, among other things,
+functorial invariants of $k$-balls, $0\le k \le n$, which behave well with respect to gluing.
+We then describe how to use [homotopy] colimits to extend $n$-categories
+from balls to arbitrary $k$-manifolds.
+This extension is the desired derived version of a TQFT, which we call the blob complex.
+(The name comes from the ``blobs" which feature prominently
+in a concrete version of the homotopy colimit.)
 \nn{In many places we omit details; they can be found in MW.
 (Blanket statement in order to avoid too many citations to MW.)}
 \nn{perhaps say something explicit about the relationship of this paper to big blob paper.

changeset 640	9c09495197c0
parent 638	6a7f2a6295d1
parent 639	11f8331ea7c4
child 641	0b9636e084f9