Differential Geometry – Degree 1 Map from Torus to Sphere

differential-geometrydifferential-topologymanifoldssmooth-manifolds

I'm trying to find a smooth degree 1 map from the torus $T^2 = S^1 \times S^1$ to the $2$-sphere $S^2$.

My first thought was to use the two coordinates $(\theta_1,\theta_2)$ to map onto the usual spherical polar coordinates on the sphere – however I can't quite get that to work because it seems that one of these coordinates would cover the sphere twice and so give a degree $2$ map?

Alternatively I thought about using the winding number. So in general if we embed circles into $\mathbb{R}^3$ by the maps $f_1,f_2: S^1 \to \mathbb{R}^3$ we can then define a map $F:T^2 \to S^2$ by:

$$F(\theta_1,\theta_2) = \frac{f_1(\theta_1) – f_2(\theta_2)}{\| f_1(\theta_1) – f_2(\theta_2) \|}$$

However I'm now struggling to make suitable choices for $f_1$ and $f_2$, my guess is that I'd want to make the circles cross over each other once but I'm struggling to visualise this and write down a map so I would appreciate any help.

Best Answer

Let $(U, \varphi)$ be a chart on $T^2$, i.e. $U$ is an open subset of $T^2$ and $\varphi : U \to \mathbb{R}^2$ is a homeomorphism. Let $V$ be the open subset of $U$ such that $\varphi|_V : V \to B(0, 1)$ is a homeomorphism, i.e. $V = \varphi^{-1}(B(0, 1))$. Then $\varphi(\overline{V}) = \overline{\varphi(V)} = \overline{B(0, 1)}$ and $\varphi(\partial V) = \partial\varphi(V) = \partial B(0, 1) = S^1$.

Note that the quotient $\overline{B(0, 1)}/S^1$ is homeomorphic to $S^2$; let $\psi : \overline{B(0, 1)}/S^1 \to S^2$ be a homeomorphism. The composite $\psi\circ\varphi|_{\overline{V}} : \overline{V} \to S^2$ maps $\partial V$ to a single point, call it $p$, and $(\psi\circ\varphi|_{\overline{V}})|_V = \psi\circ\varphi|_V$ is a homeomorphism from $V$ to $S^2\setminus\{p\}$.

Now define $f : T^2 \to S^2$ by

$$f(x) = \begin{cases} \psi(\varphi(x)) & x \in \overline{V}\\ p & x \not\in \overline{V}. \end{cases}$$

Then $f$ is a continuous map. Furthermore, it has degree one .

More generally, we can use the same technique to construct a degree one map from any closed, connected, orientable $n$-manifold to $S^n$.

Related Question