text/a_inf_blob.tex
changeset 337 f77cb464248e
parent 329 eb03c4a92f98
child 342 1d76e832d32f
--- 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}