Configuration spaces and non homeomorphic vector bundles - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T14:22:22Z http://mathoverflow.net/feeds/question/92406 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/92406/configuration-spaces-and-non-homeomorphic-vector-bundles Configuration spaces and non homeomorphic vector bundles alvarezpaiva 2012-03-27T19:49:54Z 2012-03-29T11:01:52Z <p>Given two complex line bundles over the complex projective line ${\mathbb CP}^1$ prove or disprove that their total spaces are <em>homeomorphic</em> if and only if their Chern numbers are equal up to sign.</p> <hr> <p>This question is a generalization of <a href="http://mathoverflow.net/questions/92337/" rel="nofollow">this question</a> by zygund. In my answer I recalled an idea of Wu Wen-Tsün which can be found in the introduction to his remarkable book <em>A theory of embedding, immersion, and isotopy of polytopes in a Euclidean space:</em> in order to distinguish, up to homeomorphism, two topological spaces that are homotopic (like any two lines bundles over the projective line), it is fruitful to consider the homotopy type of their <a href="http://en.wikipedia.org/wiki/Configuration_space" rel="nofollow">configuration spaces.</a> Wu Wen-Tsün's book shows that this is particularly useful in considering embedding problems in Euclidean spaces. </p> <p>So my <strong>real</strong> question is: </p> <p>Given two complex line bundles over ${\mathbb CP}^1$ such that their two-point configuration spaces are homotopic, are their Chern numbers equal up to sign?</p> http://mathoverflow.net/questions/92406/configuration-spaces-and-non-homeomorphic-vector-bundles/92424#92424 Answer by Ryan Budney for Configuration spaces and non homeomorphic vector bundles Ryan Budney 2012-03-28T00:14:32Z 2012-03-28T00:14:32Z <p>This is a long comment, not an answer. </p> <p>Let $E_k$ be the total space of the orientable bundle over $S^2$ with fiber $\mathbb R^2$ and Euler class $k$. $E_k = \mathbb R^2 \rtimes_k S^2$. Let $\pi : E_k \to S^2$ be the bundle projection. </p> <p>$C_2 E_k = \{ (x,y) \in E_k^2 : x \neq y\}$ is the configuration space, with $p : C_2 E_k \to E_k$ the map $p(x,y)=x$. </p> <p>Consider the composite of $\pi \circ p : C_2 E_k \to S^2$. It's a fibration and the fibers are homotopy-equivalent to $S^3 \vee S^2$, although that's not the most honest way of perceiving the fibers. The idea is to think of $\pi \circ p(x,y) = \pi(x)$ as a point in the $0$-section of $\pi$. If $\pi(y) \neq \pi(x)$ you homotope $y$ to $\pi(y)$, i.e. the 0-vector over $\pi(y)$. If $\pi(y) = \pi(x)$ you can't do this in $E_k$, so you can homotope $\pi(y)$ to be a unit vector in $\pi^{-1}(\pi(x))$. In other words, the fiber of $\pi \circ p$ over $\pi(x)$ looks like the sphere bundle of $\pi$ with all each circle fiber over points in a neighbourhood of $\pi(x)$ collapsed. So what's really going on is the fibers have as a deformation-retract a subspace that's $S^3$ union a $2$-cell, but the attachment map for the $2$-cell is along a great circle. The nice thing about this deformation-retract, is it's equivariant with respect to the monodromy. Precisely, </p> <p>$$C_2 E_k \simeq (S^3 \cup e^2) \rtimes S^2$$</p> <p>where the monodromy $SO_2 \to Aut(S^3 \cup e^2)$ is rotation about this great circle. Specifically, if you think of $S^3$ as the unit sphere in $\mathbb C^2$, and let the great circle be $S^1 \times \{0\} \subset S^3$, then its the action of $S^1$ on $S^3$ given by $(z, (z_1,z_2)) = (z_1,zz_2)$. The action is trivial on the $2$-cell attachment. </p> <p>So as a space, it's $S^3 \rtimes S^2$ union a $D^2 \times S^2$ attached along the $S^1 \times S^2 \subset S^3 \rtimes S^2$ corresponding to where the monodromy is trivial. </p> <p>I think the attaching map is null-homologous in $H_* (S^3 \rtimes_k S^2)$. So this means </p> <p>$H_*(C_2 E_k)$ is free abelian, with ranks $1, 0, 2, 1, 1, 1, 0, 0, 0$ in dimensions 0 through 8 respectively. The $H_4(C_2 E_k)$ class is interesting, have you computed its self-intersection number? </p> http://mathoverflow.net/questions/92406/configuration-spaces-and-non-homeomorphic-vector-bundles/92540#92540 Answer by Paolo Salvatore for Configuration spaces and non homeomorphic vector bundles Paolo Salvatore 2012-03-29T08:28:56Z 2012-03-29T11:01:52Z <p>The answer is yes. The third homology group distinguishes these spaces, namely $H_3(C_2(E_k))=\mathbb{Z}_k$ (up to extension). </p> <p>This shows that configuration spaces of homotopic open manifolds are easier to tell apart than configuration spaces of homotopic closed manifolds. The latter have the same additive homology, and one needs finer invariants, like Massey products, to tell them apart.</p> <p>Here is the argument: The space $C_2(E_k)$ has the homotopy type of a pushout $$A_1 \leftarrow A_{12} \rightarrow A_2$$ The space $A_1$ corresponds to pairs $(x,y) \in C_2(E_k)$ such that $\pi(x)$ and $\pi(y)$ are close to each other in $S^2$ (say $&lt;\pi(x),\pi(y)> \geq 0$), and fibers are distinct (use parallel transport). Up to homotopy $A_1$ is the fiberwise configuration space, a bundle $A_1 \to S^2$ with fiber $C_2(\mathbb{R}^2) \simeq S^1$, that is the sphere bundle of $E_k$. The space $A_{12}$ corresponds to the case $&lt;\pi(x),\pi(y)>=0$ and is the pullback of $A_1$ along the projection $SO(3) \to S^2$. Finally $A_2$ corresponds to the case when $\pi(x)$ and $\pi(y)$ are close to antipodal (negative scalar product), and is homotopically a bundle $A_2 \to S^2$ with fiber $(\mathbb{R}^2)^2$, so $A_2 \simeq S^2$. The bundle $A_1$ has clutching function $S^1 \times S^1 \to S^1$ $(z,u) \mapsto z^ku$ and $A_{12}$ has clutching function $S^1 \times (S^1 \times S^1) \to S^1 \times S^1$ $(z,u,v) \mapsto (z^k u, z^2 v)$. Apply the Mayer Vietoris sequence to compute the homology of $A_1, A_{12}$, and the induced map. Then $H_1(A_1)=\mathbb{Z}/k, \, H_2(A_1)=0,\, H_3(A_1)=\mathbb{Z}$; in the odd case $H_1(A_{12})=\mathbb{Z}, \, H_2(A_{12})=0, \, H_3(A_{12})=\mathbb{Z}, \, H_4(A_{12})=\mathbb{Z} .$ In the even case $H_1(A_{12})$ and $H_2(A_{12})$ have an extra $\mathbb{Z}/2$ summand. The map $A_{12} \to A_1$ induces multiplication by $k$ (odd) or $k/2$ (even) on $H_3$. Apply again Mayer Vietoris to compute the homology of $C_2(E_k)$. </p> <p>This gives the answer. In the even case either $H_3(C_2(E_k))=\mathbb{Z}_k$ or $H_3(C_2(E_k)) = \mathbb{Z}_{k/2} \oplus \mathbb{Z}_2$ .</p>