0708-1300/Class notes for Thursday, October 4

From Drorbn
Jump to: navigation, search
Announcements go here

Contents

Movie Time

With the word "immersion" in our minds, we watch the movie "Outside In". Also see the movie's home, a talk I once gave, and the movie itself, on google video.

Class Notes

The notes below are by the students and for the students. Hopefully they are useful, but they come with no guarantee of any kind.

During the previous class, we discussed immersions---smooth maps whose differentials are injective. This class deals with the dual notion of submersions, defined as follows:

Definition

Let \theta : M^m \rightarrow N^n\! be a smooth map between manifolds. If for each p \in M\! the differential d\theta_p : T_p M \rightarrow T_{\theta(p)} N\! is surjective, \theta\! is called a submersion.

Remarks

We had previously seen that immersions induce "nice" coordinate charts---ones where the immersion looks like the canonical inclusion \iota:\mathbb{R}^m\rightarrow\mathbb{R}^n (where n \ge m\!). The proof of this theorem made use of the Inverse Function Theorem on a function defined on a chart of N\!. In the case of submersions, there is a similar theorem. Submersions locally look like the canonical projection \pi : \mathbb{R}^m = \mathbb{R}^n \times \mathbb{R}^{m-n} \rightarrow \mathbb{R}^n\!, and the proof of this fact makes use of the Inverse Function Theorem for a function define on a chart of M\! (duality!). However, before we can prove this theorem, we will need the following lemma.

Lemma

Let V\! and W\! be finite-dimensional vector spaces over \mathbb{R}\! and let T:V \rightarrow W \! be a surjective linear map. Then there exist bases v=\{v_1,\ldots,v_m\}\! for V\! and w=\{w_1,\ldots,w_n\}\! for W\! such that the matrix representative of T\! with respect to v\! and w\! is that of the canonical projection \pi : \mathbb{R}^m \rightarrow \mathbb{R}^n\!.

Proof

Let w=\{w_1,\ldots,w_n\}\! be any basis for W\! and choose \{v_1,\ldots,v_n\} \subset V\! such that T(v_i)=w_i\! for each i\in\{1,\ldots,n\}\! (this may be done since T\! is surjective). We claim that the set v' = \{v_1,\ldots,v_n\} \subset V\! is linearly independent. Suppose it were not. Then there would exist \{c_1,\ldots,c_n\} \subset \mathbb{R}\! with \sum_{i=1}^n c_i v_i = 0\! and c_i \ne 0\! for some i\in\{1,\ldots,n\}\!. But then 0 = T\left(\sum_{i=1}^n c_i v_i\right) = \sum_{i=1}^n c_i T\left( v_i\right) = \sum_{i=1}^n c_i w_i\! by linearity of T\!, contradicting the assumption that w\! is a basis.


Note that \mathrm{dim}(\mathrm{ker}(T)) = m-n\!. Hence we may find a basis v'' = \{v_{n+1},\ldots,v_m\} \subset V\! for \mathrm{ker}(T)\!. Since \mathrm{span}(v') \cap \mathrm{ker}(T) = \{0 \in V\}\!, the set v = v' \cup v'' must be linearly independent and hence form a basis for V\!. We then have w_i = \sum_{i=j}^m \delta_{ij} T(v_j)\!, so that the matrix representative of T\! is \left( I_{n \times n} | 0_{n \times (m-n)} \right)\!, which is the matrix representative of \pi\!. \Box\!

Theorem

If \theta : M^m \rightarrow N^n\! is a smooth map between manifolds and for some p \in M\! the differential d\theta_p : T_p M \rightarrow T_{\theta(p)} N\! is surjective then there exist charts \phi : U \rightarrow U' \subset \mathbb{R}^m\! and \psi : V \rightarrow V' \subset \mathbb{R}^n\! on M\! and N\!, respectively, such that

  1. \phi(p) = 0\!
  2. \psi\left(\theta(p)\right) = 0\!
  3. The diagram

    07-10-04-submersion-diagram.png

    commutes, where \pi : \mathbb{R}^m = \mathbb{R}^n \times \mathbb{R}^{m-n} \rightarrow \mathbb{R}^n\! is the canonical projection.

Proof

Since translations are diffeomorphisms of \mathbb{R}^k\! for every k \in \mathbb{N}\!, it is trivial to find charts \phi_0 : U_0 \rightarrow U_0' \subset \mathbb{R}^m\! and \psi : V \rightarrow V' \subset \mathbb{R}^m\! such that \phi(p) = 0 \in \mathbb{R}^m\! and \psi(\theta(p)) = 0 \in \mathbb{R}^n\!. Furthermore, V\! is open, U_0\! is open and \theta\! is continuous, so U_0 \cap \theta^{-1}\left(V\right) \subset M\! is open and contains p\!. Hence, we may assume U_0 \subset \theta^{-1}\left(V\right)\! without loss of generality.


Let \theta_0 = \psi \circ \theta \circ \phi_0^{-1} : U_0' \rightarrow V'\! be the local representative of \theta\! and let D_0 : \mathbb{R}^m \rightarrow \mathbb{R}^n \! be the local representative of d\theta_p\!. Since d\theta_p\! is onto, we may apply the previous lemma to obtain a change of coordinates T : \mathbb{R}^m \rightarrow \mathbb{R}^m such that D_0 = \pi \circ T.


Let \phi_1 = T \circ \phi_0\! : U_0 \rightarrow U_1' \subset \mathbb{R}^m. Then \phi_1\! is a chart because T\! is a diffeomorphism. Let \theta_1 = \psi \circ \theta \circ \phi_1^{-1} : U_1' \rightarrow V'\! be the corresponding local representative, define \zeta : U_1' \rightarrow \mathbb{R}^m\! by \zeta(x,y) = (\theta_1(x,y),y)\!, and let D_1 : \mathbb{R}^m \rightarrow \mathbb{R}^n\! be the differential of \theta_1\! at 0\!. Then, by construction of T\!, we have that D_1 = \pi\! and hence d \zeta_0 = \mathrm{id}_{\mathbb{R}^m}\!, which is invertible. Hence, the Inverse Function Theorem gives the existence of non-empty open set U' \subset \zeta(U_1')\! such that \zeta|_{\zeta^{-1}(U')}\! is a diffeomorphism. Put U = \phi_1^{-1}(\zeta^{-1}(U'))\! and \phi = \zeta \circ \phi_1|_U\!. Then \phi\! is a chart.


It remains to check that \pi \circ \phi = \psi \circ \theta|_U\!, but this is clear: if \phi_1(q)=(x,y)\! for some q \in U\!, then \pi\circ\phi(q) = \pi\circ\zeta(x,y) = \theta_1(x,y) = \psi(\theta(q))\! by definition of \theta_1\!. Hence, \pi \circ \phi = \psi \circ \theta|_U\! and the proof is complete.\Box\!