Vector fields on surfaces

Suppose $S_1, S_2$ are equivalent differential structures on $M$. Show that $f : M \rightarrow \mathbb {R}$ is differentiable in terms of $S_1$ iff it is differentiable in terms of $S_2$. Thus equivalent differential structures have exactly the same differentiable maps to $\mathbb {R}$.

Draw a picture to show the effect on the vector field $v(z) = z^2$ on the unit circle when we reflect $v(z)$ through the line perpendicular to the line from the origin to $z$.

The vector field v(z) = z^2.

Your picture should show the images of the vectors pictured in the figure above. Verify from your picture that the degree of the new vector field is $0$.

An orthogonal linear transformation from $S^1$ to $S^1$ is the composition of the reflection $r(z) = \bar{z}$ with multiplication by a number in $S^1$ (i.e. $g(z) = az$, where $a \in S^1$) or a map of the form of $g$ itself. Show that the degree of $r$ is $-1$. Show that the degree of an orthogonal linear transformation is $\pm 1$. Determine the inverses of $g$ and $r$, and show that they have the same degree as the original map $g$ or $r$.

Prove that any continuous map $f : S^1 \rightarrow S^1$ is homotopic to $z^n$ for some $n$.

Show that, if $f : S^2 \rightarrow \mathbb {R}^{3}$ is continuous, then there must be some $x \in S^2$ so that $f(x) = kx$, where $k \in \mathbb {R}$ and $x$ is thought of as a point in $\mathbb {R}^{3}$.

Give an example of a vector field on the torus $T$ with no singularities.

Recall the differential structure on the projective plane $P$ induced via the covering map $p : S^2 \rightarrow P$: there is a cover $\left\{ U_i\right\}$ of $P$ so that $p^{-1}(U_i) = U_{i1} \cup U_{i2}$, $p \vert U_{ij} : U_{ij} \rightarrow U_i$ a homeomorphism with inverse $q_{ij}$, and $T(x) = -x$ a diffeomorphism of $S^2$ interchanging $U_{i1}$ with $U_{i2}$; taking diffeomorphisms $h_{i1} : U_{i1} \rightarrow \bar{U}_i$ together with $h_{i2} = h_{i1} T$, the differential structure on $P$ uses the maps $\bar{h}_i : U_i \rightarrow \bar{U}_i$, $\bar{h}_i = h_{i1} q_{i1} = h_{i2} q_{i2}$.

Prove Theorem 3.7.5 as outlined below.

Theorem 3.7.5: The index of a vector field on a compact connected surface is given by the Euler characteristic.

Outline: it was already shown directly that this holds for $S$ (Theorem 3.7.1, index $2$), $T$ (Theorem 3.7.2, index $0$), and $P$ (Theorem 3.7.3, index $1$), each matching the Euler characteristic of the surface. Lemma 3.7.4: Suppose $M, N$ are surfaces so that the index of any vector field on each is given by the Euler characteristic. Then the same is true of $M \# N$. (Sketch of Lemma 3.7.4: form $M \# N$ by removing a disk from each of $M, N$ and gluing the boundary circles; a vector field $v$ on $M \# N$ determines vector fields $v_M, v_N$ on $M, N$ by extending over the removed disks via radial damping, contributing one new singularity each. If $d_M, d_N$ denote the degrees of $v_M, v_N$ on their boundary circles, then $I(v_M) + d_M = \chi (M)$, $I(v_N) + d_N = \chi (N)$, and $d_M + d_N = 2$ since the vector fields on the two disks are related on their common boundary the same way as for the sphere; hence $I(v) = I(v_M) + I(v_N) = \chi (M) + \chi (N) - 2 = \chi (M \# N)$.) Since every compact connected surface is homeomorphic to a connected sum of copies of $S, T, P$, induction using Lemma 3.7.4 together with the base cases for $S, T, P$ proves the theorem.

Give an alternate proof of Theorem 3.7.5 (the index of a vector field on a compact connected surface is given by the Euler characteristic) for the surface $T^{(k)}$ as being formed from two regions in the plane with $k$ holes in each, by identifying points on the boundary circles. Such a description arises from thinking of $T^{(k)}$ as sitting in $\mathbb {R}^{3}$ symmetrically with respect to the $xz$-plane and then slicing it by that plane and flattening out the two halves.

Corresponding vector fields from T^{(3)}.

Give an analysis of how tangent vectors on identified circles correspond, similar to the analysis for $T$ (Theorem 3.7.2, obtained by cutting the torus into two annuli along its equator circles) to relate the indices of the vector fields on the two halves. The figure above depicts this decomposition in the case of $T^{(3)}$.

Suppose $M$ is a compact, connected oriented surface with a vector field of index $-2$. Identify $M$.

Show that there are vector fields on $D^2$ with a prescribed integer as index, and so Theorem 3.7.5 (the index of a vector field on a compact connected surface is given by the Euler characteristic) does not apply to surfaces with boundary without some additional hypothesis.

By adding disks to a surface with boundary, find a formula for the index of a vector field on a surface with boundary where the vector field is required to be an exterior normal vector field on each boundary circle.