author | Scott Morrison <scott@tqft.net> |
Sat, 29 May 2010 15:01:53 -0700 | |
changeset 297 | c1971082f94b |
parent 286 | ff867bfc8e9c |
child 307 | 285b2a29dff0 |
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 |
|
132 | 3 |
%\usepackage{amsthm} |
4 |
||
8 | 5 |
\newcommand{\pathtotrunk}{./} |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
6 |
\input{text/article_preamble} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
7 |
\input{text/top_matter} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
8 |
\input{text/kw_macros} |
0 | 9 |
|
10 |
||
131 | 11 |
%\title{Blob Homology} |
12 |
\title{The Blob Complex} |
|
0 | 13 |
|
14 |
\begin{document} |
|
15 |
||
16 |
\makeatletter |
|
17 |
\@addtoreset{equation}{section} |
|
18 |
\gdef\theequation{\thesection.\arabic{equation}} |
|
19 |
\makeatother |
|
20 |
||
21 |
\maketitle |
|
22 |
||
155 | 23 |
|
276 | 24 |
[revision $\ge$ 276; $\ge$ 25 May 2010] |
155 | 25 |
|
185 | 26 |
\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
|
27 |
|
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
28 |
\medskip |
116 | 29 |
|
231 | 30 |
\nn{need to remove or at least water down this warning for the arxiv version} |
31 |
||
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
32 |
\noindent |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
33 |
{\bf Warning:} This draft is draftier than you might expect. |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
34 |
More specifically, |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
35 |
\begin{itemize} |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
36 |
\item Some sections are missing. |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
37 |
\item Many sections are incomplete. |
166 | 38 |
In most cases the incompleteness is noted, but occasionally it isn't. |
117
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
39 |
\item Some sections were written nearly two years ago, and are now outdated. |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
40 |
\item There are not yet enough citations to similar work of other people. |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
41 |
\end{itemize} |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
42 |
Despite all this, there's probably enough decipherable material |
b62214646c4f
preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
116
diff
changeset
|
43 |
here to interest the motivated reader. |
118
b0fc3660fa89
this version will be emailed to a few select people
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
117
diff
changeset
|
44 |
On the other hand, if you are only going to read this paper once, |
b0fc3660fa89
this version will be emailed to a few select people
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
117
diff
changeset
|
45 |
{\bf then don't read this version,} as a more complete version will be available in a couple of months. |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
46 |
|
234
fa0ec034acc6
a few more hochschild edits
Kevin Walker <kevin@canyon23.net>
parents:
231
diff
changeset
|
47 |
\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
|
48 |
|
286
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
49 |
\paragraph{To do list} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
50 |
\begin{itemize} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
51 |
\item[1] (K) tweak intro |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
52 |
\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
|
53 |
definitions in \S 7. |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
54 |
\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
|
55 |
\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
|
56 |
\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
|
57 |
\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
|
58 |
\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
|
59 |
\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
|
60 |
to make more understandable |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
61 |
\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
|
62 |
\item[7.6] is new! (S) read |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
63 |
\item[8] improve the beginning, (K) small blobs, finish proof for products, |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
64 |
check the argument about maps |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
65 |
\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
|
66 |
\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
|
67 |
\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
|
68 |
\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
|
69 |
|
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
70 |
\item Make clear exactly what counts as a "blob diagram", and search for |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
71 |
"blob diagram" |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
72 |
|
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
73 |
\end{itemize} |
ff867bfc8e9c
mostly minor changes, reading modules section, stopping for dinner\!
Scott Morrison <scott@tqft.net>
parents:
276
diff
changeset
|
74 |
|
264
e8a5b2e128af
switching from amsplain to article
Scott Morrison <scott@tqft.net>
parents:
258
diff
changeset
|
75 |
\tableofcontents |
79 | 76 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
77 |
|
79 | 78 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
79 |
\input{text/intro} |
0 | 80 |
|
215 | 81 |
%\input{text/definitions} |
82 |
\input{text/tqftreview} |
|
83 |
||
84 |
\input{text/blobdef} |
|
0 | 85 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
86 |
\input{text/basic_properties} |
0 | 87 |
|
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
|
88 |
\input{text/hochschild} |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
89 |
|
70 | 90 |
\input{text/evmap} |
69 | 91 |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
92 |
\input{text/ncat} |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
93 |
|
113 | 94 |
\input{text/a_inf_blob} |
95 |
||
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
98
diff
changeset
|
96 |
\input{text/comm_alg} |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
97 |
|
148 | 98 |
\input{text/deligne} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
99 |
|
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
100 |
\appendix |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
101 |
|
135 | 102 |
\input{text/appendixes/famodiff} |
75 | 103 |
|
135 | 104 |
\input{text/appendixes/comparing_defs} |
114 | 105 |
|
135 | 106 |
\input{text/appendixes/misc_appendices} |
75 | 107 |
|
114 | 108 |
%\input{text/obsolete} |
47
939a4a5b1d80
increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
45
diff
changeset
|
109 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
110 |
% ---------------------------------------------------------------- |
23
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
111 |
%\newcommand{\urlprefix}{} |
7b0a43bdd3c4
writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
22
diff
changeset
|
112 |
\bibliographystyle{plain} |
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
113 |
%Included for winedt: |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
114 |
%input "bibliography/bibliography.bib" |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
115 |
\bibliography{bibliography/bibliography} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
116 |
% ---------------------------------------------------------------- |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
117 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
118 |
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
|
119 |
\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
|
120 |
and at \url{http://canyon23.net/math/}. |
7
4ef2f77a4652
small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
5
diff
changeset
|
121 |
|
22
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
122 |
% A GTART necessity: |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
123 |
% \Addresses |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
124 |
% ---------------------------------------------------------------- |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
125 |
\end{document} |
ada83e7228eb
rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
21
diff
changeset
|
126 |
% ---------------------------------------------------------------- |
0 | 127 |
|
128 |