Smooth Homotopy, Regular Values (Milnor)

[Sina]

Hello, I have a question regular values and smooth homotopies. Usually in giving the definition of regular value, they disregard the regular values whose inverse image is empty set (although they should be called regular values if we want to be able to say that set of regular values is dense for smooth functions . Also given a map f: M $\rightarrow$N a map from some m-dimensional manifold to n-dimensional manifold, and y a regular value $f^{-1}(y)$ is said to be m-n dimensional submanifold and when stating this, they also disregard regular values whose inverse image is the empty set. Now this seems to create a problem, or maybe I am wrong.

Consider the example in milnor's book where he says a orientation reversing diffeomorphism of a compact boundaryless manifold can be smoothly homotopic to the identity (because homotopic maps have same index).

As M and N I take the unit disk $D^2$. Consider the "homotopy" F: [0,1] x $D^2$ $\rightarrow$ $D^2$

F(x,y,t) = (x, -1(1-t)y +ty). F(x,y,0) = (x,-y) and F(x,y,1) = (x,y) . First of all why is this not a smooth homotopy. Yes as t changes, range becomes a subset of unit disk and infact at t=1/2 it is the intersection of the unit disk with the y=0 line but nothing is said about the range of maps in smooth homotopy.

Moreover, DF = [1 0 0 ; 0 2t-1 2y] so that for instance z=(0,-1) is a regular value whose inverse image is the two points (0, 1,0) and (0,-1,0). But since z is a regular value shouldn't this be a 1-dimensional submanifold? I think the problem here arises because intersection of $f^{-1}(z)$ with the sets t x $D^2$ is empty for t not equal to 0 or 1.

Thanks

 

[quasar987]

In your second paragraph, do you mean to say

"Consider the example in milnor's book where he says a orientation reversing diffeomorphism of a compact boundaryless manifold cannot be smoothly homotopic to the identity (because homotopic maps have same degree)." ?

If so, then perhaps what fails in your example is not so much the smoothness of your map as it is the fact that D² has a boundary. And if you remove the boundary, you lose compactness.

In your last paragraph, you seem to be again applying a thm about manifolds without boundary to a manifold with boundary.

 

[Sina]

Yes indeed I meant degree (and Brouwer degree). and yes I later realized disk is with boundary. and if you try to take circle or torus it does not work so everything seems okay =) thanks for the reply

 

[mathwonk]

People do not disregard empty fibers. rather note that by definition the empty set is a manifold of every dimension, and also a regular value. i.e. whatever has to be true for every point is certainly true for the set with no counterexamples.

 

[Sina]

Ha I actually never thought of empty sets as such thanks for the enlightening comment :) I will think and research more about it