Spherical coordinates on the 2-sphere and k-forms

844 Views Asked by At

Consider the 2-sphere $S^2$inside $\mathbb R^3$, and let \begin{align} S:(0,\infty)\times(0,\pi)\times(0,2\pi)&\to\mathbb R^3\setminus\{(0,0,0)\} \\ (r,\phi,\theta)&\mapsto(r\sin\phi\cos\theta,r\sin\phi\sin\theta,r\cos\phi). \end{align} be the map defining spherical coordinates. The form $\omega=r^{-3}(x dy\wedge dz+ydz\wedge dx+zdx\wedge dy)$ on $\mathbb R^3$ restricted to the $S^2$ is in spherical coordinates equal to $F=\sin\phi\,d\phi\wedge d\theta$, over $U$. Of course, the form $\omega$ is defined on the entire 2-sphere. The two 1-forms $A_N=(1-\cos\phi)d\theta$ and $A_S=-(1+\cos\phi)d\theta$ defined on $U$ satisfy $dA_N=F=dA_S$. My question is the following. In the books that I am reading now where I came across this (Nakahara, Geometry, Topology and Physics, Naber, Topology, Geometry and Gauge Fields, Foundations & Interactions), they write $F$ on the whole of $S^2$ as $\sin\phi\,d\phi\wedge d\theta$, and $A_N$ and $A_S$ they say to be defined on $U_N=S^2-{(0,0,-1)}$ and $U_S=S^2\setminus\{(0,0,1)\}$, respectively. But, spherical coordinates are ill-defined on the north and south pole. Can we still make sense of the forms there in these coordinates with some adjustment/argument, or is this simply abuse of the fact that it's only ill-defined at one point that we then don't worry about anymore?

What's more, the forms $A_N$ and $A_S$ are of course pullbacks of the form $Im(\overline z_1\,dz_1+\overline z_2\,dz_2)$ on $S^3=\{(z_1,z_2)\in\mathbb C^2\mid|z_1|^2+|z_2|^2=1\}$, by the canonical sections $\sigma_N:U_N\to S^3$ and $\sigma_S:U_S\to S^3$ (restricted to $U_N\cap U_S$) defined by the local trivialisations of the Hopf bundle $S^1\to S^3\to S^2$. Again, the authors pullback the form to $U_N$ ($U_S$, respectively) instead of $U_N\cap U_S$). Same question applies, really. How to make sense of this, or is it just sloppy notation?