Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am sorry for too naive and stupid question,

How can I express the 2nd Hirzebruch surface, $F_{2}$ in terms of $SO(3)$. Can F_{2} be realizable as the total space of a bundle over $\mathbb{R}_{+}$ with fibre $SO(3)$.

I have to admit that my knowledge of Hirzebruch surfaces is limited to the few lines in the wikipedia page.

share|improve this question
    
@ Grigory M - Thanks for your reply at SE. I posted this here expecting a quicker response. If the base space if a compact space, say $[a,b]$ or $S^{1}$. Thanks –  J Verma Jun 16 '11 at 19:39

1 Answer 1

up vote 5 down vote accepted

What you want almost works, but with a little twist. The group $SO(3)$ is acting on $F_2$, so that there are two orbits that are $\mathbb CP^1$ and all other orbits are $SO(3)$. More precisely, $F_2$ can be seen as a compactification of $\mathbb R_+\times SO(3)$. Indeed, $F_2$ can be seen as a compactificaton of $(\mathbb C^2\setminus 0)/\pm Id$, and $\mathbb C^2\setminus 0\cong \mathbb R_+\times SU(2)$. Here $\mathbb R_+$ means positive reals.

Details. Each Hirzebruch surface $F_n$ can be obtained by a quotient construction from $F_1$. Recall, that $F_1$ is the surface that is obtained by a blow up of a single point on $\mathbb CP^2$. I.e., we "replace" a point on $\mathbb CP^2$ by $\mathbb CP^1$. Of course we all know that $SU(2)$ is acting on $\mathbb CP^2$ fixing a point and a line at infinity (just take the usual action of $SU(2)$ on $\mathbb C^2$ fixing $0$ and extend it to the action on $\mathbb CP^2$). When we blow up $0$ on $\mathbb CP^2$ the action of $SU(2)$ extends on $F_1$.

Now, $F_n$ can be obtained from $F_1$ by the quotient, $F_n\cong F_1/\mathbb Z_n$, where $\mathbb Z_n$ is the group of scalar matrices generated by $e^{2\pi i/n}\times Id$ acting in the standard way on $\mathbb C^2$ (and hence on $F_1$). Finally, notice that in the case of $F_2$ the corresponding group $\mathbb Z_2$ belongs to $SU(2)$ (since $det(-Id)=1$). And since $SO(3)\cong SU(2)/\mathbb Z_2$ this explains, hopefully, the construction.

Of course all this is completely classical, but I can not give a reference from the top of my head.

share|improve this answer
    
@ Dmitri - Thanks, this is exactly what I wanted. –  J Verma Jun 16 '11 at 19:46
    
Can you say more or suggest some reference about how $F_{2}$ is the compactification of $SO(3) \times \mathbb{R}_{+}$. –  J Verma Jun 16 '11 at 19:49
    
Thanks for the detailed answer. –  J Verma Jun 17 '11 at 16:47

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.