Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How can I express the second Hirzebruch surface, $F_{2}$ in terms of $SO(3)$?

Is it true that $F_{2}$ is the total space of a bundle with fibre $SO(3)$ over $\mathbb{R}_{+}$?

share|improve this question
1  
It's Hirzebruch, the r comes before the z :) –  t.b. Jun 16 '11 at 2:22
1  
Can you define $F_2$? –  Alon Amit Jun 16 '11 at 4:30
1  
it is the 2nd Hirzebruch surface see map.him.uni-bonn.de/index.php/Hirzebruch_surfaces –  J Verma Jun 16 '11 at 4:42
1  
$SO(3)\times[a,b]$ has boundary and Hirzebruch surfaces don't. –  Grigory M Jun 16 '11 at 8:02
1  
No, since this total space is not compact –  Grigory M Jun 16 '11 at 19:31

1 Answer 1

This question has been asked and answered on MathOverflow. I have replicated the accepted answer by Dmitri below.

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

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.