finally understanding what Lurie says, fixed remark about maps to a space
authorScott Morrison <scott@tqft.net>
Thu, 03 Jun 2010 21:59:55 -0700
changeset 337 f77cb464248e
parent 336 7a5a73ec8961
child 338 adc0780aa5e7
finally understanding what Lurie says, fixed remark about maps to a space
blob1.tex
text/a_inf_blob.tex
--- a/blob1.tex	Thu Jun 03 21:16:36 2010 -0700
+++ b/blob1.tex	Thu Jun 03 21:59:55 2010 -0700
@@ -43,6 +43,7 @@
 \item[A] may need to weaken statement to get boundaries working (K) finish
 \item[B] (S) look at this, decide what to keep
 
+\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}.
 \item Make clear exactly what counts as a "blob diagram", and search for
 "blob diagram"
 
--- a/text/a_inf_blob.tex	Thu Jun 03 21:16:36 2010 -0700
+++ b/text/a_inf_blob.tex	Thu Jun 03 21:59:55 2010 -0700
@@ -357,9 +357,7 @@
 $$\cB^\cT(M) \simeq C_*(\Maps(M\to T)).$$
 \end{thm}
 \begin{rem}
-\nn{This just isn't true, Lurie doesn't do this! I just heard this from Ricardo...}
-\nn{KW: Are you sure about that?}
-Lurie has shown in \cite{0911.0018} that the topological chiral homology of an $n$-manifold $M$ with coefficients in \nn{a certain $E_n$ algebra constructed from $T$} recovers  the same space of singular chains on maps from $M$ to $T$, with the additional hypothesis that $T$ is $n-1$-connected. This extra hypothesis is not surprising, in view of the idea that an $E_n$ algebra is roughly equivalent data as an $A_\infty$ $n$-category which is trivial at all but the topmost level.
+Lurie has shown in \cite[Theorem 3.8.6]{0911.0018} that the topological chiral homology of an $n$-manifold $M$ with coefficients in a certain $E_n$ algebra constructed from $T$ recovers  the same space of singular chains on maps from $M$ to $T$, with the additional hypothesis that $T$ is $n-1$-connected. This extra hypothesis is not surprising, in view of the idea described in Example \ref{ex:e-n-alg} that an $E_n$ algebra is roughly equivalent data to an $A_\infty$ $n$-category which is trivial at all but the topmost level. Ricardo Andrade also told us about a similar result.
 \end{rem}
 
 \nn{proof is again similar to that of Theorem \ref{product_thm}.  should probably say that explicitly}