diff -r 7a5a73ec8961 -r f77cb464248e text/a_inf_blob.tex --- 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}