Re: compact manifold-submersion

On 7 26 , 8 40 , "W. Dale Hall"
<wdunderscorehallatpacbelldotnet@last> wrote:
brown...@xxxxxxxxx wrote:
Let M and N be compact connected manifold and f:M-->N be a
submersion(that is for all x in M, the derivative mapping df_x:T_xM--
T_f(x)N is surjective). Show that for any p,q in N, the "fiber"
f^-1(p) is diffeomorphic to f^-1(q).

All I know is that by preimage theorem, f^-1(p) and f^-1(q) are same
dimensional manifolds. Could anybody help me on doing this problem?
Thanks.

Take a smooth path

w:[0,1] ---> N

joining p to q (i.e., w(0) = p, w(1) = q). Perturb it so that
f is transverse to w(I) (oops, since f is a submersion, it's
transverse to everything!) and note several things:

1) W = f^(-1) w(I) is a smooth manifold
2) (the boundary of W:) dW = f^(-1)(p) U f^(-1)(q)
3) It isn't hard to construct a projection

g: W ----> I

for which

g| f^(-1)(p) = 0
g| f^(-1)(q) = 1
g has no critical points.

If you know Morse theory, you're done. If not, then pull back the
1-form dx from I to the 1-form g*w on W, and impose a metric to get
an equivalent vector field V on W (so that the dot product with V
is the 1-form g*w).

The vector field V will then have flow lines (i.e., trajectories)
that run from f^(-1)(p) to f^(-1)(q) , and that if V_t denotes
a trajectory of the ODE

x' = V(x)

then

d/dt(g(V_t)) = 1.

Now, define

F: f^(-1)(p) ---> f^(-1)(q)

as follows:

For x in f^(-1)(p), let V_t(x) denote the solution to
the DE

x' = V(x)

for which V_0(x) = x. Since d/dt(g(V_t)) = 1, we know that
y = V_1(x) is in f^(-1)(q), and we set

F(x) = y.

What needs to be shown is that F is 1:1, surjective, and has a
continuous inverse. The fact that we can play the vector field
backwards (i.e., take the vector field -V, use it to map f^(-1)(q)
to f^(-1)(p), and show that the compositions are the appropriate
identity maps) tells us all we need to know.

I think that about does it.

Dale

Thank you very much for your reply. It was very helpful.
But I am new in differential topology and I would like to know more
about what you noted:
1) W = f^(-1) w(I) is a smooth manifold
2) (the boundary of W:) dW = f^(-1)(p) U f^(-1)(q)
3) It isn't hard to construct a projection

g: W ----> I

for which

g| f^(-1)(p) = 0
g| f^(-1)(q) = 1
g has no critical points.

Are 1) and 2) general fact about smooth maps between smooth manifolds
or a consequence of trasversality?

Rgarding 3), I guess g is w^(-1)f if w is a diffeomorphism from [0,1]
to w([0,1]). Can we always find a path w from p to q on smooth
manifold N which is diffeomorphic to [0,1]?
Thanks.

.

Relevant Pages

  • Re: compact manifold-submersion
    ... Take a smooth path ... W = f^wis a smooth manifold ... backwards (i.e., take the vector field -V, use it to map f^(-1) ...
    (sci.math)
  • Re: compact manifold-submersion
    ... Take a smooth path ... f is transverse to w(oops, since f is a submersion, it's ... manifold N which is diffeomorphic to? ...
    (sci.math)
  • Re: compact manifold-submersion
    ... Take a smooth path ... backwards (i.e., take the vector field -V, use it to map f^(-1) ... manifold N which is diffeomorphic to? ...
    (sci.math)
  • Re: The Trouble with Physic(ist)s is that they are Not Even Wrong
    ... Kruskal manifold together. ... I think the manifold can be glued smoothly (one can write down a smooth ... atlas on the quotient manifold) - it's the metric that has a "crease" ... at the glued horizon. ...
    (sci.physics.relativity)
  • Re: Milnors Morse theory
    ... vanishes outside a compact neighborhood of this set. ... vector field is smooth section from M to TM so in order ...
    (sci.math)
Loading