--- a/blob1.tex Mon Oct 27 14:32:00 2008 +0000
+++ b/blob1.tex Tue Oct 28 01:19:24 2008 +0000
@@ -1414,6 +1414,9 @@
\nn{need to define/recall def of (self) tensor product over an $A_\infty$ category}
+
+
+
\section{Commutative algebras as $n$-categories}
\nn{this should probably not be a section by itself. i'm just trying to write down the outline
@@ -1434,7 +1437,7 @@
Let $C_*(X, k)$ denote the singular chain complex of the space $X$ with coefficients in $k$.
-\begin{prop}
+\begin{prop} \label{sympowerprop}
$\bc_*(M^n, k[t])$ is homotopy equivalent to $C_*(\Sigma^\infty(M), k)$.
\end{prop}
@@ -1533,7 +1536,38 @@
By xxxx and \ref{ktcdprop},
the cyclic homology of $k[t]$ is the $S^1$-equivariant homology of $\Sigma^\infty(S^1)$.
Up to homotopy, $S^1$ acts by $j$-fold rotation on $\Sigma^j(S^1) \simeq S^1/j$.
-If $k = \z$, we then have
+If $k = \z$, $\Sigma^j(S^1)$ contributes the homology of an infinite lens space: $\z$ in degree
+0, $\z/j \z$ in odd degrees, and 0 in positive even degrees.
+The point $\Sigma^0(S^1)$ contributes the homology of $BS^1$ which is $\z$ in even
+degrees and 0 in odd degrees.
+This agrees with the calculation in \nn{Loday, 3.1.7}.
+
+\medskip
+
+Next we consider the case $C = k[t_1, \ldots, t_m]$, commutative polynomials in $m$ variables.
+Let $\Sigma_m^\infty(M)$ be the $m$-colored infinite symmetric power of $M$, that is, configurations
+of points on $M$ which can have any of $m$ distinct colors but are otherwise indistinguishable.
+The components of $\Sigma_m^\infty(M)$ are indexed by $m$-tuples of natural numbers
+corresponding to the number of points of each color of a configuration.
+A proof similar to that of \ref{sympowerprop} shows that
+
+\begin{prop}
+$\bc_*(M^n, k[t_1, \ldots, t_m])$ is homotopy equivalent to $C_*(\Sigma_m^\infty(M), k)$.
+\end{prop}
+
+According to \nn{Loday, 3.2.2},
+\[
+ HH_n(k[t_1, \ldots, t_m]) \cong \Lambda^n(k^m) \otimes k[t_1, \ldots, t_m] .
+\]
+Let us check that this is also the singular homology of $\Sigma_m^\infty(S^1)$.
+We will content ourselves with the case $k = \z$.
+One can define a flow on $\Sigma_m^\infty(S^1)$ where points of the same color repel each other and points of different colors do not interact.
+This shows that a component $X$ of $\Sigma_m^\infty(S^1)$ is homotopy equivalent
+to the torus $(S^1)^l$, where $l$ is the number of non-zero entries in the $m$-tuple
+corresponding to $X$.
+The homology calculation we desire follows easily from this.
+
+\nn{say something about cyclic homology in this case? probably not necessary.}