The First Homology Group of Configuration Space and Knot Theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T11:23:19Z http://mathoverflow.net/feeds/question/115047 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/115047/the-first-homology-group-of-configuration-space-and-knot-theory The First Homology Group of Configuration Space and Knot Theory Samuel Reid 2012-12-01T03:09:17Z 2012-12-03T08:07:38Z <p>Let $\pi_{1}: \text{Top}^* \rightarrow \text{Grp}$ denote the fundamental group functor and let $H_{1}: \text{Top}^* \rightarrow \text{Grp}$ denote the first homology group functor. We can then define a natural transformation $\eta: \pi_{1} \rightarrow H_{1}$ with a component $\eta_{X}: \pi_{1}(X) \rightarrow H_{1}(X)$. We define the configuration space on $n$ points by, $$C_{\hat{n}}(\mathbb{R}) = \{(z_{1},...,z_{n}) \in \mathbb{R}^n \; | \; z_{i} \neq z_{j}\}$$ and the unordered configuration space on $n$ points by $C_{n}(\mathbb{R}) = C_{\hat{n}}(\mathbb{R}) \big/ \Sigma_{n}$, where $\Sigma_{n}$ is the symmetric group. We then have for $\vec{p} \in C_{\hat{n}}(\mathbb{R})$ that $\pi_{1}(C_{\hat{n}}(\mathbb{R}),\vec{p}) \cong PB_{n}$ and $\pi_{1}(C_{n}(\mathbb{R}),\tau(\vec{p})) \cong B_{n}$, where $\tau : C_{\hat{n}}(\mathbb{R}) \rightarrow C_{n}(\mathbb{R})$ is the orbit space projection, $PB_{n}$ is the pure braid group on $n$-strands, and $B_{n}$ is the braid group on $n$-strands.</p> <p>Consider the components of the natural transformation between the fundamental group functor and the first homology group functor given by,</p> <p>$$\eta_{C_{\hat{n}}(\mathbb{R})} : \pi_{1}(C_{\hat{n}}(\mathbb{R})) \rightarrow H_{1}(C_{\hat{n}}(\mathbb{R}))$$ $$\eta_{C_{n}(\mathbb{R})} : \pi_{1}(C_{n}(\mathbb{R})) \rightarrow H_{1}(C_{n}(\mathbb{R}))$$</p> <blockquote> <p>What objects in $\text{Grp}$ will these components of $\eta: \pi_{1} \rightarrow H_{1}$ associate with $PB_{n}$ and $B_{n}$, and how do they relate to $C_{\hat{n}}(\mathbb{R})$ and $C_{n}(\mathbb{R})$?</p> </blockquote> <p>I am interested in this question because I am wondering if $H_{1}(C_{\hat{n}}(\mathbb{R}))$ and $H_{1}(C_{n}(\mathbb{R}))$ have any unnoticed connections to knot theory since every knot is the closure of a braid.</p> http://mathoverflow.net/questions/115047/the-first-homology-group-of-configuration-space-and-knot-theory/115056#115056 Answer by David C for The First Homology Group of Configuration Space and Knot Theory David C 2012-12-01T06:41:34Z 2012-12-01T06:41:34Z <p>Fred Cohen and Sam Gitler have written a paper "Loop spaces of configuration spaces, braid like groups and knots" available on Fred Cohen's homepage. They study deep and interesting relationships between the loop space homology of configuration spaces and knot theory. For example they show how to recover universal Yang-Baxter lie algebras from the study of this loop space homology. In section 7 of this paper they study the closure of braids, and in the two next sections are devoted to the study of embedding spaces and Vassiliev's theory.</p> <p>Maybe I do not answer your question but I want to focus on the fact that there are some very deep relationships between homology of configuration spaces (in fact the homology of the based loop space of configuration spaces) and knot theory. Taking care of the first homology group of configuration spaces is not enough.</p> http://mathoverflow.net/questions/115047/the-first-homology-group-of-configuration-space-and-knot-theory/115260#115260 Answer by Tarje Bargheer for The First Homology Group of Configuration Space and Knot Theory Tarje Bargheer 2012-12-03T08:07:38Z 2012-12-03T08:07:38Z <p>In line with Richard Kents answer, what you obtain by passing from the fundamental group to the first homology group of the ordered configuration spaces should be generated by letting any two strands in the pure braid group tangle together - and allow for no further tangling of three and higher strands. You should be able to make this clear by considering the morphism $\gamma_n \colon C_{\hat{n}}(\mathbb{R}^2) \to \prod_{n \choose 2} C_{\hat{2}}(\mathbb{R}^2)$ picking any two configurations of points in the domain and mapping them onto the configuration indexed by this choice of two points.</p> <p>The morphisms $\gamma_{n-1}$ and $\gamma_n$ fits as a morphism of vector bundles between the bundle</p> <p>$$\bigvee_{n-1} S^1 \to C_{\hat{n}}(\mathbb{R^2}) \to C_{\hat{n-1}}(\mathbb{R^2})\$$</p> <p>and the trivial bundle</p> <p>$$\prod_{n-1} C_{\hat{2}}(\mathbb{R}^2) \to \prod_{{n} \choose 2} C_{\hat{2}}(\mathbb{R}^2) \to \prod_{{n-1} \choose 2} C_{\hat{2}}(\mathbb{R}^2)$$</p> <p>(Pascals triangle tells you that the indices in the fibers indeed match up) - and using the homotopy equivalence $C_{\hat{2}}(\mathbb{R}^2) \simeq S^1$, you can see the fibers of the upper bundle as the 1-skeleton of the $(n-1)$-tori in the fiber of the lower bundle, inductively meaning that $\gamma_n$ becomes an $H_1$-isomorphism for all $n$.</p>