author | Kevin Walker <kevin@canyon23.net> |
Fri, 04 Jun 2010 17:15:53 -0700 | |
changeset 342 | 1d76e832d32f |
parent 339 | 9698f584e732 |
child 347 | 14643c4931bc |
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 |
||
326
6ef67f13b69c
fixing accidental reversions in blob1.tex
Kevin Walker <kevin@canyon23.net>
parents:
325
diff
changeset
|
19 |
[revision $\ge$ 320; $\ge$ 2 June 2010] |
155 | 20 |
|
185 | 21 |
\textbf{Draft version, read with caution.} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
22 |
|
234
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
231
diff
changeset
|
23 |
\nn{maybe to do: add appendix on various versions of acyclic models} |
264
e8a5b2e128af
switching from amsplain to article
Scott Morrison <scott@tqft.net>
parents:
258
diff
changeset
|
24 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
25 |
\paragraph{To do list} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
26 |
\begin{itemize} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
27 |
\item[1] (K) tweak intro |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
28 |
\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
|
29 |
definitions in \S 7. |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
30 |
\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
|
31 |
\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
|
32 |
\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
|
33 |
\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
|
34 |
\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
|
35 |
\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
|
36 |
to make more understandable |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
37 |
\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
|
38 |
\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
|
39 |
\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
|
40 |
check the argument about maps |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
41 |
\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
|
42 |
\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
|
43 |
\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
|
44 |
\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
|
45 |
|
337
f77cb464248e
finally understanding what Lurie says, fixed remark about maps to a space
Scott Morrison <scott@tqft.net>
parents:
329
diff
changeset
|
46 |
\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
|
47 |
\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
|
48 |
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
|
49 |
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
|
50 |
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
|
51 |
|
9698f584e732
starting to revise the ancient TQFTs-from-fields section; other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
338
diff
changeset
|
52 |
\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
|
53 |
``blob diagram" |
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
54 |
|
307 | 55 |
\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
|
56 |
|
adc0780aa5e7
updating notation in intro, also deciding that not everything is a 'property'
Scott Morrison <scott@tqft.net>
parents:
337
diff
changeset
|
57 |
\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
|
58 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
59 |
\end{itemize} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
60 |
|
264
e8a5b2e128af
switching from amsplain to article
Scott Morrison <scott@tqft.net>
parents:
258
diff
changeset
|
61 |
\tableofcontents |
79 | 62 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
63 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
64 |
\input{text/intro} |
0 | 65 |
|
215 | 66 |
\input{text/tqftreview} |
67 |
||
68 |
\input{text/blobdef} |
|
0 | 69 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
70 |
\input{text/basic_properties} |
0 | 71 |
|
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
|
72 |
\input{text/hochschild} |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
73 |
|
70 | 74 |
\input{text/evmap} |
69 | 75 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
76 |
\input{text/ncat} |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
77 |
|
113 | 78 |
\input{text/a_inf_blob} |
79 |
||
148 | 80 |
\input{text/deligne} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
81 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
82 |
\appendix |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
83 |
|
135 | 84 |
\input{text/appendixes/famodiff} |
75 | 85 |
|
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
|
86 |
\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
|
87 |
|
135 | 88 |
\input{text/appendixes/comparing_defs} |
114 | 89 |
|
325 | 90 |
\input{text/comm_alg} |
91 |
||
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
92 |
% ---------------------------------------------------------------- |
23
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
93 |
%\newcommand{\urlprefix}{} |
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
94 |
\bibliographystyle{plain} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
95 |
\bibliography{bibliography/bibliography} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
96 |
% ---------------------------------------------------------------- |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
97 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
98 |
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
|
99 |
\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
|
100 |
and at \url{http://canyon23.net/math/}. |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
101 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
102 |
% ---------------------------------------------------------------- |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
103 |
\end{document} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
104 |
% ---------------------------------------------------------------- |
0 | 105 |