author | Kevin Walker <kevin@canyon23.net> |
Mon, 07 Jun 2010 05:58:52 +0200 | |
changeset 353 | 3e3ff47c5350 |
parent 342 | 1d76e832d32f |
child 400 | a02a6158f3bd |
child 431 | 2191215dae10 |
permissions | -rw-r--r-- |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
1 |
%!TEX root = ../blob1.tex |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
2 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
3 |
\section{Commutative algebras as $n$-categories} |
147 | 4 |
\label{sec:comm_alg} |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
5 |
|
325 | 6 |
\nn{should consider leaving this out; for now, make it an appendix.} |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
7 |
|
163 | 8 |
\nn{also, this section needs a little updating to be compatible with the rest of the paper.} |
9 |
||
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
10 |
If $C$ is a commutative algebra it |
163 | 11 |
can also be thought of as an $n$-category whose $j$-morphisms are trivial for |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
12 |
$j<n$ and whose $n$-morphisms are $C$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
13 |
The goal of this \nn{subsection?} is to compute |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
14 |
$\bc_*(M^n, C)$ for various commutative algebras $C$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
15 |
|
342 | 16 |
Moreover, we conjecture that the blob complex $\bc_*(M^n, $C$)$, for $C$ a commutative |
17 |
algebra is homotopy equivalent to the higher Hochschild complex for $M^n$ with |
|
18 |
coefficients in $C$ (see \cite{MR0339132, MR1755114, MR2383113}). |
|
19 |
This possibility was suggested to us by Thomas Tradler. |
|
266
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
236
diff
changeset
|
20 |
|
e2bab777d7c9
minor changes, fixes to some diagrams
Scott Morrison <scott@tqft.net>
parents:
236
diff
changeset
|
21 |
|
163 | 22 |
\medskip |
23 |
||
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
24 |
Let $k[t]$ denote the ring of polynomials in $t$ with coefficients in $k$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
25 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
26 |
Let $\Sigma^i(M)$ denote the $i$-th symmetric power of $M$, the configuration space of $i$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
27 |
unlabeled points in $M$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
28 |
Note that $\Sigma^0(M)$ is a point. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
29 |
Let $\Sigma^\infty(M) = \coprod_{i=0}^\infty \Sigma^i(M)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
30 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
31 |
Let $C_*(X, k)$ denote the singular chain complex of the space $X$ with coefficients in $k$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
32 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
33 |
\begin{prop} \label{sympowerprop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
34 |
$\bc_*(M, k[t])$ is homotopy equivalent to $C_*(\Sigma^\infty(M), k)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
35 |
\end{prop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
36 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
37 |
\begin{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
38 |
To define the chain maps between the two complexes we will use the following lemma: |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
39 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
40 |
\begin{lemma} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
41 |
Let $A_*$ and $B_*$ be chain complexes, and assume $A_*$ is equipped with |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
42 |
a basis (e.g.\ blob diagrams or singular simplices). |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
43 |
For each basis element $c \in A_*$ assume given a contractible subcomplex $R(c)_* \sub B_*$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
44 |
such that $R(c')_* \sub R(c)_*$ whenever $c'$ is a basis element which is part of $\bd c$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
45 |
Then the complex of chain maps (and (iterated) homotopies) $f:A_*\to B_*$ such that |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
46 |
$f(c) \in R(c)_*$ for all $c$ is contractible (and in particular non-empty). |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
47 |
\end{lemma} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
48 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
49 |
\begin{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
50 |
\nn{easy, but should probably write the details eventually} |
163 | 51 |
\nn{this is just the standard ``method of acyclic models" set up, so we should just give a reference for that} |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
52 |
\end{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
53 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
54 |
Our first task: For each blob diagram $b$ define a subcomplex $R(b)_* \sub C_*(\Sigma^\infty(M))$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
55 |
satisfying the conditions of the above lemma. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
56 |
If $b$ is a 0-blob diagram, then it is just a $k[t]$ field on $M$, which is a |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
57 |
finite unordered collection of points of $M$ with multiplicities, which is |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
58 |
a point in $\Sigma^\infty(M)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
59 |
Define $R(b)_*$ to be the singular chain complex of this point. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
60 |
If $(B, u, r)$ is an $i$-blob diagram, let $D\sub M$ be its support (the union of the blobs). |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
61 |
The path components of $\Sigma^\infty(D)$ are contractible, and these components are indexed |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
62 |
by the numbers of points in each component of $D$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
63 |
We may assume that the blob labels $u$ have homogeneous $t$ degree in $k[t]$, and so |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
64 |
$u$ picks out a component $X \sub \Sigma^\infty(D)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
65 |
The field $r$ on $M\setminus D$ can be thought of as a point in $\Sigma^\infty(M\setminus D)$, |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
66 |
and using this point we can embed $X$ in $\Sigma^\infty(M)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
67 |
Define $R(B, u, r)_*$ to be the singular chain complex of $X$, thought of as a |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
68 |
subspace of $\Sigma^\infty(M)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
69 |
It is easy to see that $R(\cdot)_*$ satisfies the condition on boundaries from the above lemma. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
70 |
Thus we have defined (up to homotopy) a map from |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
71 |
$\bc_*(M^n, k[t])$ to $C_*(\Sigma^\infty(M))$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
72 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
73 |
Next we define, for each simplex $c$ of $C_*(\Sigma^\infty(M))$, a contractible subspace |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
74 |
$R(c)_* \sub \bc_*(M^n, k[t])$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
75 |
If $c$ is a 0-simplex we use the identification of the fields $\cC(M)$ and |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
76 |
$\Sigma^\infty(M)$ described above. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
77 |
Now let $c$ be an $i$-simplex of $\Sigma^j(M)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
78 |
Choose a metric on $M$, which induces a metric on $\Sigma^j(M)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
79 |
We may assume that the diameter of $c$ is small --- that is, $C_*(\Sigma^j(M))$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
80 |
is homotopy equivalent to the subcomplex of small simplices. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
81 |
How small? $(2r)/3j$, where $r$ is the radius of injectivity of the metric. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
82 |
Let $T\sub M$ be the ``track" of $c$ in $M$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
83 |
\nn{do we need to define this precisely?} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
84 |
Choose a neighborhood $D$ of $T$ which is a disjoint union of balls of small diameter. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
85 |
\nn{need to say more precisely how small} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
86 |
Define $R(c)_*$ to be $\bc_*(D, k[t]) \sub \bc_*(M^n, k[t])$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
87 |
This is contractible by \ref{bcontract}. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
88 |
We can arrange that the boundary/inclusion condition is satisfied if we start with |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
89 |
low-dimensional simplices and work our way up. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
90 |
\nn{need to be more precise} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
91 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
92 |
\nn{still to do: show indep of choice of metric; show compositions are homotopic to the identity |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
93 |
(for this, might need a lemma that says we can assume that blob diameters are small)} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
94 |
\end{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
95 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
96 |
|
236 | 97 |
\begin{prop} \label{ktchprop} |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
98 |
The above maps are compatible with the evaluation map actions of $C_*(\Diff(M))$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
99 |
\end{prop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
100 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
101 |
\begin{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
102 |
The actions agree in degree 0, and both are compatible with gluing. |
236 | 103 |
(cf. uniqueness statement in \ref{CHprop}.) |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
104 |
\end{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
105 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
106 |
\medskip |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
107 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
108 |
In view of \ref{hochthm}, we have proved that $HH_*(k[t]) \cong C_*(\Sigma^\infty(S^1), k)$, |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
109 |
and that the cyclic homology of $k[t]$ is related to the action of rotations |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
110 |
on $C_*(\Sigma^\infty(S^1), k)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
111 |
\nn{probably should put a more precise statement about cyclic homology and $S^1$ actions in the Hochschild section} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
112 |
Let us check this directly. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
113 |
|
342 | 114 |
The algebra $k[t]$ has Koszul resolution |
115 |
$k[t] \tensor k[t] \xrightarrow{t\tensor 1 - 1 \tensor t} k[t] \tensor k[t]$, |
|
116 |
which has coinvariants $k[t] \xrightarrow{0} k[t]$. |
|
117 |
This is equal to its homology, so we have $HH_i(k[t]) \cong k[t]$ for $i=0,1$ and zero for $i\ge 2$. |
|
118 |
(See also \cite[3.2.2]{MR1600246}.) This computation also tells us the $t$-gradings: |
|
119 |
$HH_0(k[t]) \iso k[t]$ is in the usual grading, and $HH_1(k[t]) \iso k[t]$ is shifted up by one. |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
120 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
121 |
We can define a flow on $\Sigma^j(S^1)$ by having the points repel each other. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
122 |
The fixed points of this flow are the equally spaced configurations. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
123 |
This defines a map from $\Sigma^j(S^1)$ to $S^1/j$ ($S^1$ modulo a $2\pi/j$ rotation). |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
124 |
The fiber of this map is $\Delta^{j-1}$, the $(j-1)$-simplex, |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
125 |
and the holonomy of the $\Delta^{j-1}$ bundle |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
126 |
over $S^1/j$ is induced by the cyclic permutation of its $j$ vertices. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
127 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
128 |
In particular, $\Sigma^j(S^1)$ is homotopy equivalent to a circle for $j>0$, and |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
129 |
of course $\Sigma^0(S^1)$ is a point. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
130 |
Thus the singular homology $H_i(\Sigma^\infty(S^1))$ has infinitely many generators for $i=0,1$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
131 |
and is zero for $i\ge 2$. |
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
266
diff
changeset
|
132 |
Note that the $j$-grading here matches with the $t$-grading on the algebraic side. |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
133 |
|
319
121c580d5ef7
editting all over the place
Scott Morrison <scott@tqft.net>
parents:
266
diff
changeset
|
134 |
By xxxx and Proposition \ref{ktchprop}, |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
135 |
the cyclic homology of $k[t]$ is the $S^1$-equivariant homology of $\Sigma^\infty(S^1)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
136 |
Up to homotopy, $S^1$ acts by $j$-fold rotation on $\Sigma^j(S^1) \simeq S^1/j$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
137 |
If $k = \z$, $\Sigma^j(S^1)$ contributes the homology of an infinite lens space: $\z$ in degree |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
138 |
0, $\z/j \z$ in odd degrees, and 0 in positive even degrees. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
139 |
The point $\Sigma^0(S^1)$ contributes the homology of $BS^1$ which is $\z$ in even |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
140 |
degrees and 0 in odd degrees. |
166 | 141 |
This agrees with the calculation in \cite[3.1.7]{MR1600246}. |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
142 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
143 |
\medskip |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
144 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
145 |
Next we consider the case $C = k[t_1, \ldots, t_m]$, commutative polynomials in $m$ variables. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
146 |
Let $\Sigma_m^\infty(M)$ be the $m$-colored infinite symmetric power of $M$, that is, configurations |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
147 |
of points on $M$ which can have any of $m$ distinct colors but are otherwise indistinguishable. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
148 |
The components of $\Sigma_m^\infty(M)$ are indexed by $m$-tuples of natural numbers |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
149 |
corresponding to the number of points of each color of a configuration. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
150 |
A proof similar to that of \ref{sympowerprop} shows that |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
151 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
152 |
\begin{prop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
153 |
$\bc_*(M, k[t_1, \ldots, t_m])$ is homotopy equivalent to $C_*(\Sigma_m^\infty(M), k)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
154 |
\end{prop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
155 |
|
166 | 156 |
According to \cite[3.2.2]{MR1600246}, |
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
157 |
\[ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
158 |
HH_n(k[t_1, \ldots, t_m]) \cong \Lambda^n(k^m) \otimes k[t_1, \ldots, t_m] . |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
159 |
\] |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
160 |
Let us check that this is also the singular homology of $\Sigma_m^\infty(S^1)$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
161 |
We will content ourselves with the case $k = \z$. |
342 | 162 |
One can define a flow on $\Sigma_m^\infty(S^1)$ where points of the |
163 |
same color repel each other and points of different colors do not interact. |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
164 |
This shows that a component $X$ of $\Sigma_m^\infty(S^1)$ is homotopy equivalent |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
165 |
to the torus $(S^1)^l$, where $l$ is the number of non-zero entries in the $m$-tuple |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
166 |
corresponding to $X$. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
167 |
The homology calculation we desire follows easily from this. |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
168 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
169 |
\nn{say something about cyclic homology in this case? probably not necessary.} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
170 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
171 |
\medskip |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
172 |
|
163 | 173 |
Next we consider the case $C$ is the truncated polynomial |
174 |
algebra $k[t]/t^l$ --- polynomials in $t$ with $t^l = 0$. |
|
175 |
Define $\Delta_l \sub \Sigma^\infty(M)$ to be configurations of points in $M$ with $l$ or |
|
176 |
more of the points coinciding. |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
177 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
178 |
\begin{prop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
179 |
$\bc_*(M, k[t]/t^l)$ is homotopy equivalent to $C_*(\Sigma^\infty(M), \Delta_l, k)$ |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
180 |
(relative singular chains with coefficients in $k$). |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
181 |
\end{prop} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
182 |
|
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
183 |
\begin{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
184 |
\nn{...} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
185 |
\end{proof} |
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
186 |
|
163 | 187 |
\medskip |
188 |
\hrule |
|
189 |
\medskip |
|
100
c5a43be00ed4
No new content, just rearranging (and procrastinating)
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
190 |
|
163 | 191 |
Still to do: |
192 |
\begin{itemize} |
|
166 | 193 |
\item compare the topological computation for truncated polynomial algebra with \cite{MR1600246} |
163 | 194 |
\item multivariable truncated polynomial algebras (at least mention them) |
195 |
\item ideally, say something more about higher hochschild homology (maybe sketch idea for proof of equivalence) |
|
196 |
\end{itemize} |
|
197 |