Differential Geometry – Orientation Preservation in Stereographic Projection

differentialdifferential-geometryorientationsmooth-manifoldsvector-bundles

Let $S^n\subset\mathbb{R}^{n+1}$ denote the standard unit sphere with normal bundle $\nu$, let $N=(0,\dots,0,1)$ and $S=(0,\dots,0,-1)$. Then there are two sterographic projections
$$\sigma_+\colon S^n-S\to\mathbb{R}^n $$
and
$$\sigma_-\colon S^n-N\to\mathbb{R}^n$$
Both of these maps are homeomorphisms and they form an atlas for the standard smooth structure on $S^n$. I'm interested in how they should induce the standard orientation on $S^n$. (Here I orient $S^n$ by putting the standard orientation on $T S^n \oplus \nu\cong T\mathbb{R}^{n+1}|_{S^n}$ and orient $\nu$ by declaring that the outward-pointing direction is positive.)

Let $v\in S^{n-1}\subset S^n$ so that $\sigma_+^{-1}\circ \sigma_-(v)=v$, and let $B=\{b_1,\dots,b_n\}$ be a positively-oriented orthonormal basis for $T_vS^n$ where $b_1$ points along the great circle from $N$ to $S$. Geometrically, it seems like $D_v (\sigma_+^{-1}\circ \sigma_-) (b_i)=-b_1$ if $i= 1$ and $b_i$ otherwise, suggesting that the transition function is orientation reversing, and hence exactly one of $\sigma_+$ and $\sigma_-$ is orientation reversing. My question is which one reverses orientation and which preserves?

I haven't succeeded in computing anything in terms of the formulas for stereographic projection. The Jacobean matrix I get in the 2-dimensional case for $\sigma_+$ or $\sigma_-$ is $2\times 3$ so I don't know how I'm supposed to interpret its "determinant".

(I should point out that in general my experiences with differential geometry have been very, very, very bad, and I'm much more topologically minded. In particular my definition for an orientation of a vector bundle is a Thom class.)

Best Answer

It looks like, in all dimensions, $\sigma_+$ preserves orientation and $\sigma_-$ reverses it. Here is the case of $S^2$ explicitly worked out:

For a vector space $V$ of dimension $n$, an orientation will be an element of $$ \{(b_1,\dots,b_n)\ |\ V=\langle b_1,\dots, b_n\rangle \}/GL^+(V) \cong \mathbb{Z}/2$$ and given oriented vector spaces $(V,o)$ and $(V',o')$, a linear isomorphism $L\colon V\to W$ will be orientation preserving if $L(o)=o'$, and orientation reversing if $L(o)=-o'$.

For the sake of clarity, we will write $\mathbb{R}^3=\langle e_1,e_2,e_3\rangle$ and $\mathbb{R}^2=\langle e_1',e_2'\rangle$, and we will give these vector spaces the natural orientations.

Explicitly, the stereographic projections are given by $$\sigma_+(x,y,z)=(\frac{x}{1+z},\frac{y}{1+z})\text{ and }\sigma_-(x,y,z)=(\frac{x}{1-z},\frac{y}{1-z})$$ for $(x,y,z)$ in the appropriate domains.

Consider specifically the point $e_1=(1,0,0)$, which is in the domains of both functions. An orientation of $T_{e_1}S^2\cong \langle e_2,e_3\rangle$ is an ordered basis with the property that concatenating with the outward-pointing normal vector $e_1$ gives a positively oriented basis for $\mathbb{R}^3$. (In this case it doesn't matter if the concatenation happens at the beginning or end, because they differ by an even number of transpositions.) The preferred orientation for $\mathbb{R}^3$ is $[e_1,e_2,e_3]$, so the orientation on $T_{e_1}S^2\cong \langle e_2,e_3\rangle$ is given by $[e_2,e_3]$.

Stereographic projection sends the standard great circle $S^{1}\subset S^2$ to the unit circle $S^{1}\subset\mathbb{R}^2=\langle e_1',e_2'\rangle$, and in particular $e_1$ is sent to $e_1'$. The tangent space $T_{e_1'}\mathbb{R}^2$ is naturally isomorphic to $\langle e_1',e_2'\rangle$, and the preferred orientation is $[e_1',e_2']$.

In order to compute the derivative of $\sigma_{\pm}$ at $e_1$, consider the two paths $$ \gamma_2(t)=(cos(t),sin(t),0)\text{ and }\gamma_3(t)=(cos(t),0,sin(t))$$ Then $\frac{d}{dt}\gamma_i(t)|_{t=0}=e_i$, i.e. the derivatives form a basis for the tangent space at $e_1$. Compute

$$\frac{d}{dt}\sigma_-\big(\gamma_2(t)\big)|_{t=0} = \frac{d}{dt}\big(cos(t),sin(t)\big)|_{t=0}=(0,1)=e_2'$$ and $$\frac{d}{dt}\sigma_-\big(\gamma_3(t)\big)|_{t=0} = \frac{d}{dt}\left(\frac{cos(t)}{1-sin(t)},0\right)|_{t=0}=(1,0)=e_1'$$ Hence the derivative of $\sigma_-$ at $e_1$ takes the positively oriented basis $[e_2,e_3]$ to $[e_2',e_1']=-[e_1', e_2']$, and so $\sigma_-$ reverses orientation at $e_1$. That it reverses orientation at all points in its domain should follow from continuity of $\sigma_-$ and connectedness of its domain.

Similarly, one computes that the derivative of $\sigma_+$ at $e_1$ takes the basis $[e_2,e_3]$ to $[e_2',-e_1']=[e_1’,e_2’]$, and so it preserves orientation.

A similar computation also works in higher dimensions, but I wrote out the case of $S^2$ because it still illustrates the key idea and computation. For $S^{2n+1}$ one needs to be careful about defining an oriented basis for a tangent space, because moving a normal vector from the end of an ordered basis to the beginning is an odd permutation; however, if the convention is that the normal vector is added at the end, then again we should have $\sigma_-$ orientation reversing and $\sigma_+$ orientation preserving.

Related Question