author | Scott Morrison <scott@tqft.net> |
Sun, 20 Jun 2010 12:43:11 -0700 | |
changeset 379 | 6caac26b5c29 |
parent 360 | 92f0dac39ce3 |
child 398 | 2a9c637182f0 |
permissions | -rw-r--r-- |
264
e8a5b2e128af
switching from amsplain to article
Scott Morrison <scott@tqft.net>
parents:
258
diff
changeset
|
1 |
\documentclass[11pt,leqno]{article} |
0 | 2 |
|
8 | 3 |
\newcommand{\pathtotrunk}{./} |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
4 |
\input{text/article_preamble} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
5 |
\input{text/top_matter} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
6 |
\input{text/kw_macros} |
0 | 7 |
|
131 | 8 |
\title{The Blob Complex} |
0 | 9 |
|
10 |
\begin{document} |
|
11 |
||
12 |
\makeatletter |
|
13 |
\@addtoreset{equation}{section} |
|
14 |
\gdef\theequation{\thesection.\arabic{equation}} |
|
15 |
\makeatother |
|
16 |
||
17 |
\maketitle |
|
18 |
||
360
92f0dac39ce3
interim version to put on web page
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
19 |
[revision $\ge$ 360; $\ge$ 14 June 2010] |
155 | 20 |
|
360
92f0dac39ce3
interim version to put on web page
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
21 |
{\color[rgb]{.9,.5,.2} \large \textbf{Draft version, read with caution.}} |
92f0dac39ce3
interim version to put on web page
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
22 |
We're in the midst of revising this, and hope to have a version on the arXiv soon. |
92f0dac39ce3
interim version to put on web page
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
23 |
|
92f0dac39ce3
interim version to put on web page
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
24 |
\noop{ |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
25 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
26 |
\paragraph{To do list} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
27 |
\begin{itemize} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
28 |
\item[1] (K) tweak intro |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
29 |
\item[2] (S) needs explanation that this will be superseded by the n-cat |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
30 |
definitions in \S 7. |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
31 |
\item[2] (S) incorporate improvements from later |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
32 |
\item[2.3] (S) foreshadow generalising; quotient to resolution |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
33 |
\item[3] (K) look over blob homology section again |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
34 |
\item[4] (S) basic properties, not much to do |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
35 |
\item[5] (K) finish the lemmas in the Hochschild section |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
36 |
\item[6] (K) proofs need finishing, then (S) needs to confirm details and try |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
37 |
to make more understandable |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
38 |
\item[7] (S) do some work here -- identity morphisms are still imperfect. Say something about the cobordism and stabilization hypotheses \cite{MR1355899} in this setting? Say something about $E_n$ algebras? |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
39 |
\item[7.6] is new! (S) read |
329
eb03c4a92f98
various changes, mostly rewriting intros to sections for exposition
Scott Morrison <scott@tqft.net>
parents:
326
diff
changeset
|
40 |
\item[8] improve the beginning, finish proof for products, |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
41 |
check the argument about maps |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
42 |
\item[9] (K) proofs trail off |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
43 |
\item[10] (S) read what's already here |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
44 |
\item[A] may need to weaken statement to get boundaries working (K) finish |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
45 |
\item[B] (S) look at this, decide what to keep |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
46 |
|
337
f77cb464248e
finally understanding what Lurie says, fixed remark about maps to a space
Scott Morrison <scott@tqft.net>
parents:
329
diff
changeset
|
47 |
\item Work in the references Chris Douglas gave us on the classification of local field theories, \cite{BDH-seminar,DSP-seminar,schommer-pries-thesis,0905.0465}. |
339
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
338
diff
changeset
|
48 |
\nn{KW: Do we need to do this? We don't really classify field theories. |
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
338
diff
changeset
|
49 |
I suppose our work could be interpreted as a alternative proof of cobordism hypothesis, but we |
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
338
diff
changeset
|
50 |
don't emphasize that at the moment. |
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
338
diff
changeset
|
51 |
On the other hand, I'm happy to do Chris a favor by citing this stuff.} |
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
338
diff
changeset
|
52 |
|
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
338
diff
changeset
|
53 |
\item Make clear exactly what counts as a ``blob diagram", and search for |
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
338
diff
changeset
|
54 |
``blob diagram" |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
55 |
|
307 | 56 |
\item Say something about stabilizing an $n$-category (centre), taking the top $k$ levels of a category, and the stabilization hypothesis? |
338
adc0780aa5e7
updating notation in intro, also deciding that not everything is a 'property'
Scott Morrison <scott@tqft.net>
parents:
337
diff
changeset
|
57 |
|
adc0780aa5e7
updating notation in intro, also deciding that not everything is a 'property'
Scott Morrison <scott@tqft.net>
parents:
337
diff
changeset
|
58 |
\item say something about starting with semisimple n-cat (trivial?? not trivial?) |
adc0780aa5e7
updating notation in intro, also deciding that not everything is a 'property'
Scott Morrison <scott@tqft.net>
parents:
337
diff
changeset
|
59 |
|
347
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
60 |
\item maybe to do: add appendix on various versions of acyclic models |
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
61 |
|
14643c4931bc
finished E_n example (at SFO)
Kevin Walker <kevin@canyon23.net>
parents:
339
diff
changeset
|
62 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
63 |
\end{itemize} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
64 |
|
360
92f0dac39ce3
interim version to put on web page
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
65 |
} % end \noop |
92f0dac39ce3
interim version to put on web page
Kevin Walker <kevin@canyon23.net>
parents:
347
diff
changeset
|
66 |
|
264
e8a5b2e128af
switching from amsplain to article
Scott Morrison <scott@tqft.net>
parents:
258
diff
changeset
|
67 |
\tableofcontents |
79 | 68 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
69 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
70 |
\input{text/intro} |
0 | 71 |
|
215 | 72 |
\input{text/tqftreview} |
73 |
||
74 |
\input{text/blobdef} |
|
0 | 75 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
76 |
\input{text/basic_properties} |
0 | 77 |
|
15
7340ab80db25
rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
13
diff
changeset
|
78 |
\input{text/hochschild} |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
79 |
|
70 | 80 |
\input{text/evmap} |
69 | 81 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
82 |
\input{text/ncat} |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
83 |
|
113 | 84 |
\input{text/a_inf_blob} |
85 |
||
148 | 86 |
\input{text/deligne} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
87 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
88 |
\appendix |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
89 |
|
135 | 90 |
\input{text/appendixes/famodiff} |
75 | 91 |
|
317
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
315
diff
changeset
|
92 |
\input{text/appendixes/smallblobs} |
1c898c2d0ebd
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
Scott Morrison <scott@tqft.net>
parents:
315
diff
changeset
|
93 |
|
135 | 94 |
\input{text/appendixes/comparing_defs} |
114 | 95 |
|
325 | 96 |
\input{text/comm_alg} |
97 |
||
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
98 |
% ---------------------------------------------------------------- |
23
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
99 |
%\newcommand{\urlprefix}{} |
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
100 |
\bibliographystyle{plain} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
101 |
\bibliography{bibliography/bibliography} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
102 |
% ---------------------------------------------------------------- |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
103 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
104 |
This paper is available online at \arxiv{?????}, and at |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
105 |
\url{http://tqft.net/blobs}, |
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
106 |
and at \url{http://canyon23.net/math/}. |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
107 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
108 |
% ---------------------------------------------------------------- |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
109 |
\end{document} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
110 |
% ---------------------------------------------------------------- |
0 | 111 |