line bundles and universal covers - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T00:18:53Z http://mathoverflow.net/feeds/question/102999 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/102999/line-bundles-and-universal-covers line bundles and universal covers Ulrich Pennig 2012-07-24T12:53:05Z 2012-07-24T21:26:25Z <p>When dealing with some lifting problems, I came across the following problem, which probably has a well-known answer, but anyway:</p> <p>Suppose I have a (locally contractible) topological group $G$, such that $\pi_1(G) \cong \mathbb{Z}$. Let $\tilde{G} \to G$ be its universal covering group. Let $P \to X$ be a principal $G$-bundle over a compact Hausdorff space $X$. The obstruction of lifting $P$ to a principal $\tilde{G}$-bundle lives in $H^2(X, \pi_1(G)) \cong H^2(X, \mathbb{Z})$ and is therefore given by a complex line bundle over $X$. </p> <blockquote> <p>Is it possible to construct this line bundle directly from $P$ (without going through the classification of line bundles by their Chern classes)?</p> </blockquote> http://mathoverflow.net/questions/102999/line-bundles-and-universal-covers/103006#103006 Answer by Mark Grant for line bundles and universal covers Mark Grant 2012-07-24T14:21:49Z 2012-07-24T14:21:49Z <p>Here is my guess as to how this might go.</p> <p>You want to associate a complex line bundle to the principal $G$-bundle $P\to X$, so you need a $G$-action on the complex numbers, or in other words a continuous homomorphism $G\to \mathbb{C}^\ast$. There is a map $\rho\colon G\to S^1\subseteq\mathbb{C}^\ast$ which classifies the universal covering group, and this can be chosen to be a homomorphism.</p> <p>Then the line bundle you are after is $P\times_G \mathbb{C} \to X$. </p> http://mathoverflow.net/questions/102999/line-bundles-and-universal-covers/103030#103030 Answer by Eric Wofsey for line bundles and universal covers Eric Wofsey 2012-07-24T18:00:09Z 2012-07-24T18:00:09Z <p>You can construct a map $\rho:G\to S^1$ by killing the higher homotopy groups of $G$. As pointed out in the comments to Mark's answer, this may not be a group homomorphism. However, it will always be an $A_\infty$ map, because it can be delooped to a map $BG\to BS^1$ which classifies a generator of $H^2(BG)$. Thus we can still use $\rho$ to turn a $G$-bundle into an $S^1$-bundle.</p> <p>More explicitly, you can construct $\rho$ as follows. Put a CW-complex structure on $G$. There will be a copy of $S^1$ sitting inside the 1-skeleton of $G$; let $\rho$ map this to $S^1$ homeomorphically. By obstruction theory, you can then extend this cell-by-cell to a map on all of $G$. Given a $G$-bundle on $X$, apply $\rho$ to the transition maps to get "transition maps" for an $S^1$-bundle. These won't actually be transition maps, because they'll only satisfy the cocycle condition up to homotopy. However, they satisfy the cocycle condition up to coherent homotopy, so it is possible to strictify them into an actual cocycle.</p> <p>I don't know a more geometric way of describing it than this, but I would love to see one.</p> http://mathoverflow.net/questions/102999/line-bundles-and-universal-covers/103050#103050 Answer by Angelo for line bundles and universal covers Angelo 2012-07-24T21:26:25Z 2012-07-24T21:26:25Z <p>I don't think there is a canonical construction of the associated line bundle, this will be only defined up to homotopy, in some sense.</p> <p>Here is a slightly more geometric construction. Let $G'$ be the group obtained by substituting $\mathbb Z \subseteq \widetilde G$ with $\mathbb R$; that is, $G' = (\widetilde G \times \mathbb R)/\mathbb Z$, with $\mathbb Z$ embedded anti-diagonally. The natural projection $G' \to \widetilde G/\mathbb Z = G$ has kernel $\mathbb R$, hence $P$ will lift to a $G'$-principal bundle $P'$, in a unique fashion, up to isomorphism (but not canonically). Also, $G'$ contains $\widetilde G$ as a normal subgroup, and $G'/\widetilde G \simeq \mathbb R/\mathbb Z \simeq \mathrm S^1$; so $P'$ gives an $\mathrm S^1$ principal bundle, which is the desired obstruction.</p>