blob1.tex
author scott@6e1638ff-ae45-0410-89bd-df963105f760
Fri, 30 Oct 2009 04:05:33 +0000
changeset 147 db91d0a8ed75
parent 135 b15dafe85ee1
child 148 2807257be382
permissions -rw-r--r--
...
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 7
diff changeset
     1
\documentclass[11pt,leqno]{amsart}
0
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     2
132
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 131
diff changeset
     3
%\usepackage{amsthm}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 131
diff changeset
     4
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 7
diff changeset
     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
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     9
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    10
131
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    11
%\title{Blob Homology}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    12
\title{The Blob Complex}
0
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    13
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    14
\begin{document}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    15
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    16
\makeatletter
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    17
\@addtoreset{equation}{section}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    18
\gdef\theequation{\thesection.\arabic{equation}}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    19
\makeatother
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    20
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    21
\maketitle
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    22
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    23
\textbf{Draft version, do not distribute.}
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    24
80
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 79
diff changeset
    25
%\versioninfo
131
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    26
%[19 October 2009, rev. $>$ 129]
116
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 114
diff changeset
    27
117
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    28
\medskip
116
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 114
diff changeset
    29
117
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    30
\noindent
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    31
{\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
    32
More specifically,
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    33
\begin{itemize}
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    34
\item Some sections are missing.
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    35
\item Many sections are incomplete.
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    36
In some cases the incompleteness is noted, in some cases not.
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    37
\item Some sections have been rewritten, but the older, obsolete version of
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    38
the section has not been deleted yet.
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 Some sections have not been proof-read.
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    41
\item There are not yet enough citations to similar work of other people.
118
b0fc3660fa89 this version will be emailed to a few select people
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 117
diff changeset
    42
\item Due to multiple authors and multiple, disconnected episodes of writing,
b0fc3660fa89 this version will be emailed to a few select people
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 117
diff changeset
    43
the various parts do not cohere as well as they should. 
117
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    44
\end{itemize}
b62214646c4f preparing for semi-public version soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 116
diff changeset
    45
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
    46
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
    47
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
    48
{\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
    49
131
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    50
\tableofcontents
79
8ef65f3bea2b small changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 76
diff changeset
    51
131
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    52
%\noop{
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    53
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    54
\section*{Old To Do list}
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    55
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    56
\subsection*{What else?...}
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    57
131
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    58
\relax
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    59
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    60
\nn{should move this to do list elsewhere}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    61
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    62
\begin{itemize}
45
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    63
\item higher priority
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    64
\begin{itemize}
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    65
\item K\&S: learn the state of the art in A-inf categories
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    66
(tensor products, Kadeishvili result, ...)
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    67
\item section describing intended applications
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    68
\item say something about starting with semisimple n-cat (trivial?? not trivial?)
131
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    69
\item need to make up our minds about quasi-isomorphic vs hty equivalent
45
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    70
\end{itemize}
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    71
\item medium priority
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    72
\begin{itemize}
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    73
\item $n=2$ examples
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    74
\item dimension $n+1$ (generalized Deligne conjecture?)
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    75
\item should be clear about PL vs Diff; probably PL is better
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    76
(or maybe not)
41
ef01b18b42ea added stuff to to do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 40
diff changeset
    77
\item shuffle product vs gluing product (?)
45
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    78
\item connection between $A_\infty$ operad and topological $A_\infty$ cat defs
41
ef01b18b42ea added stuff to to do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 40
diff changeset
    79
\end{itemize}
45
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    80
\item lower priority
41
ef01b18b42ea added stuff to to do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 40
diff changeset
    81
\begin{itemize}
45
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    82
\item Derive Hochschild standard results from blob point of view?
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    83
\item Kh
67
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 65
diff changeset
    84
\item Mention somewhere \cite{MR1624157} ``Skein homology''; it's not directly related, but has similar motivations.
45
0047a1211c3b revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 44
diff changeset
    85
\end{itemize}
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    86
\end{itemize}
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    87
131
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 129
diff changeset
    88
%} %end \noop
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 20
diff changeset
    89
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    90
79
8ef65f3bea2b small changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 76
diff changeset
    91
100
c5a43be00ed4 No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 98
diff changeset
    92
\input{text/intro}
0
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    93
100
c5a43be00ed4 No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 98
diff changeset
    94
\input{text/definitions}
0
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    95
100
c5a43be00ed4 No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 98
diff changeset
    96
\input{text/basic_properties}
0
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    97
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
    98
\input{text/hochschild}
7
4ef2f77a4652 small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 5
diff changeset
    99
70
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 69
diff changeset
   100
\input{text/evmap}
69
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
   101
100
c5a43be00ed4 No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 98
diff changeset
   102
\input{text/ncat}
47
939a4a5b1d80 increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 45
diff changeset
   103
113
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 100
diff changeset
   104
\input{text/a_inf_blob}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 100
diff changeset
   105
100
c5a43be00ed4 No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 98
diff changeset
   106
\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
   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
\appendix
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   110
135
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 132
diff changeset
   111
\input{text/appendixes/famodiff}
75
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 71
diff changeset
   112
135
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 132
diff changeset
   113
\input{text/appendixes/comparing_defs}
114
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 113
diff changeset
   114
135
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 132
diff changeset
   115
\input{text/appendixes/misc_appendices}
75
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 71
diff changeset
   116
114
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 113
diff changeset
   117
%\input{text/obsolete}
47
939a4a5b1d80 increased line width; start to write commutative algebra results
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 45
diff changeset
   118
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   119
% ----------------------------------------------------------------
23
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 22
diff changeset
   120
%\newcommand{\urlprefix}{}
7b0a43bdd3c4 writing definitions of topological a_\infty categories, modules, etc.
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 22
diff changeset
   121
\bibliographystyle{plain}
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   122
%Included for winedt:
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   123
%input "bibliography/bibliography.bib"
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   124
\bibliography{bibliography/bibliography}
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   125
% ----------------------------------------------------------------
7
4ef2f77a4652 small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 5
diff changeset
   126
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   127
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
   128
\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
   129
and at \url{http://canyon23.net/math/}.
7
4ef2f77a4652 small to medium sized changes
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 5
diff changeset
   130
22
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   131
% A GTART necessity:
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   132
% \Addresses
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   133
% ----------------------------------------------------------------
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   134
\end{document}
ada83e7228eb rearranging; stating all the "properties" up front
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
   135
% ----------------------------------------------------------------
0
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   136
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   137