Welcome to MathOverflow

Question

2

1

I've been trying to understand principal bundles, and to that end have been looking at the bundle $$ \pi: SU(2) \to \mathbb{CP}^1,~~~ (a_{ij}) \mapsto [a_{11},a_{21}], $$ with fibre $U(1)$. I assumed that the bundle would be trivial over the standard nbds $U_1,U_2 \subset \mathbb{C}$, but can't seem to identify the local trivializations. Now $$ \pi^{-1}(U_1) = \{\left( \array{a & - \overline{b}\\ b & \overline{a}} \right)|~ a \neq 0\}, ~~~ \pi^{-1}(U_2) = \{\left( \array{a & - \overline{b}\\ b & \overline{a}} \right)|~ b \neq 0\}, $$ and any trivialization $\alpha_1:\pi^{-1}(U_i) \to U_i \times U(1)$, will map $$ \alpha_1:\left( \array{a & - \overline{b}\\ b & \overline{a}} \right) \mapsto ([a,b],h_{a,b}^1), $$ for some $h_{a,b}^1$. Defining $h^1_{a,b} = arg(a) = \frac{a}{|a|}$, and similarly $h^2$, works, but then the transition functions are not in $U(1)$.

flag	asked Feb 3 2010 at 17:58 Dyke Acland 452●3●10

	For your "similarly" is $h^2 = arg(b)$? – Ryan Budney Feb 3 2010 at 18:23
	"I assumed that the bundle would be trivial over the standard nbds....". More generally, every fiber bundle trivializes over any contractible open set. Of course, this won't neccesarily help you CHOOSE you transition functions or show that everything works (which seems to be your issue), but it can certainly be helpful for later problems where you suspect something is a fiber bundle. – Jason DeVito Feb 3 2010 at 18:28
	Yes, I mean $h^2_{a,b} = arg(b)$. – Dyke Acland Feb 3 2010 at 18:54
	Note that this is the Hopf fibration. – Sebastian Mar 18 2010 at 7:15

Pavel Etingof · Accepted Answer · 2010-02-03 18:04:53Z UTC

2

You have two charts $U_0=\Bbb C$ and $U_\infty=(\Bbb C\setminus 0)\cup \infty$. The transition function on the intersection $\Bbb C\setminus 0$ is $g(z)=z/|z|$.

answered Feb 3 2010 at 18:04

Pavel Etingof
2,846●12●14

	What about the general bundle $SU(n) \to \mathbb{CP}^{n-1}$ with fibre $U(n-1)$? What are the trivialisations $\alpha_k:\pi^{-1}(U_k) \to U_k \times U(n-1)$. My guess is that one embeds $U(n)$ into $SU(n) \times U(1)$, and then maps $(a_{ij})$ to $(h^k_{a_{ij}},\frac{a_{k1}}{\|a_{k1}\|})$. I 'feel' that $h^k_{a_{ij}}$ should somehow be related to the minor of $a_{i1}$ but can't see how to define it. – Dyke Acland Feb 3 2010 at 20:13
	Well, there are many different ways to define these trivializations. Basically, for each of the standard charts $V_1,...,V_n$ on the projective space, choose sections $s_i: V_i\to U(n)$, and then compute the transition functions as ratios of these sections on intersections of the charts. – Pavel Etingof Feb 3 2010 at 20:30
	But surely I need the trivializations to define the sections. – Dyke Acland Feb 3 2010 at 20:42
	yes. So let $V_1$ be the first chart, where the 1-st coordinate is not zero. Then to a point $z=(z_1,...,z_n)$ of this chart one should attach a unitary matrix $u(z)$ with the first row proportional to $z$, and do so continuously in $z$ when $z$ is in $V_1$. This is a linear algebra problem: basically you need to construct a frame continuously depending on $z$ whose first vector is a multiple of $z$. This is not hard to do, but I don't really know the best way of doing this. And then you do similarly for $V_i$, $i>1$. – Pavel Etingof Feb 3 2010 at 20:59
	Yes, this is this problem I was talking about in my earlier comment. As I said before I think the best approach is to map $V_i$ to $U(n)$ viewed as contained in $SU(n) \times U(1)$, but I'm not too sure how to do so exactly. As you said this is really a linear algebra problem (I can't see continuity being a problem) and I might re-post it as such – Dyke Acland Feb 3 2010 at 21:21

show 2 more comments

Transition Functions of the Principal Bundle $SU(2) \to \mathbb{CP}^1$

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.