Local Triviality of an Associated Bundle - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T07:01:59Z http://mathoverflow.net/feeds/question/13850 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/13850/local-triviality-of-an-associated-bundle Local Triviality of an Associated Bundle Dyke Acland 2010-02-02T18:56:04Z 2010-02-03T02:25:12Z <p>I was reading this question <a href="http://mathoverflow.net/questions/5772/principal-bundles-representations-and-vector-bundles" rel="nofollow">link text</a> and can't seem to see why, if $\pi: P \to B$ is a principle $G$-bundle and $$\rho:G \to GL_n(\mathbb{C})$$ is a representation of $G$, then the total space $P \times_{\rho} \mathbb{C}^n$ is locally trivial.</p> http://mathoverflow.net/questions/13850/local-triviality-of-an-associated-bundle/13853#13853 Answer by Mariano Suárez-Alvarez for Local Triviality of an Associated Bundle Mariano Suárez-Alvarez 2010-02-02T19:05:54Z 2010-02-02T23:28:05Z <p>You can trivialize that bundle over the same open sets on which $\pi$ is trivial with essentially the same trivialization---up to composing with $\rho$.</p> <p><strong>Later:</strong> The easiest way to see this is, I think the following. If your initial principal $G$-bundle is trivial, then it is more or less evident that $P\times_\rho\mathbb C^n$ is also trivial. Now if $\pi$ is not trivial but its restriction $\pi|_U:\pi^{-1}(U)\to U$ is trivial over an open subset $U\subseteq B$, then by the previous observation and a little unravelling of the notation, we have that $P\times_\rho\mathbb C^n$ is trivial over $U$. </p> http://mathoverflow.net/questions/13850/local-triviality-of-an-associated-bundle/13858#13858 Answer by S. Carnahan for Local Triviality of an Associated Bundle S. Carnahan 2010-02-02T19:46:24Z 2010-02-02T22:27:04Z <p>A principal G-bundle $\pi: P \to B$ is locally equivalent to a product. Depending on who you ask, this is either part of the definition, or a short lemma. It means that there is a cover of B by open sets U, together with bundle isomorphisms $\alpha_U: \pi^{-1}U \to G \times U$ that are both G-equivariant, and induce transition sections in G: see <a href="http://en.wikipedia.org/wiki/Principal%5Fbundle#Trivializations%5Fand%5Fcross%5Fsections" rel="nofollow">Wikipedia</a>.</p> <p>The associated bundle construction is a quotient of $P \times \mathbb{C}^n$ by an equivalence relation given by the actions of G on the left and right factors. Since $\alpha_U$ is G-equivariant, the map $\alpha_u \times id: \pi^{-1}U \times \mathbb{C}^n \to G \times U \times \mathbb{C}^n$ is also a G-equivariant bundle map, so you get bundle isomorphisms on the quotient bundles: $\alpha_u \times_\rho id: \pi^{-1}U \times_\rho \mathbb{C}^n \to U \times \mathbb{C}^n$.</p> http://mathoverflow.net/questions/13850/local-triviality-of-an-associated-bundle/13869#13869 Answer by Dyke Acland for Local Triviality of an Associated Bundle Dyke Acland 2010-02-02T21:02:13Z 2010-02-02T21:02:13Z <p>@Scott: I'm going to add this as an answer because it a bit long for a comment: Sorry, but I'm a bit slow and want to be certain that I understand exactly what you're saying: If $(p,v) \in P \times_{\rho} \mathbb{C}^n$, then $$(\alpha_u \times id)(p,v) = (\pi(p),g_p,v) \in U \times G \times \mathbb{C}^n,$$ for some $g_p \in G$, depending on the choice of $\alpha_U$. This is not in $U \times \mathbb{C}^n$ as we would want, moreover it's not even well defined. So by $\alpha_U \times_{\rho} id$ do you mean the composition $$(id \times m) \circ (id \times \rho \times id)\circ (\alpha_U \times id),$$ that maps $$(p,v) \mapsto (\pi(p), \rho(g_p)v)?$$</p> http://mathoverflow.net/questions/13850/local-triviality-of-an-associated-bundle/13913#13913 Answer by Deane Yang for Local Triviality of an Associated Bundle Deane Yang 2010-02-03T02:25:12Z 2010-02-03T02:25:12Z <p>I've never worked this out carefully, but in my usual backwards "I prefer vector bundles" approach, I would do the following: First, assume that the representation of $G$ is faithful. Then you can view any local trivialization of the principal bundle as giving all possible $G$-frames of a trivialization of a vector bundle (i.e., the columns of each matrix representing an element in $G$ form a basis of the fiber of the vector bundle). Using this perspective, you can infer from the gluing maps for the principal bundle how to glue together the trivializations of the vector bundle.</p>