Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In Lee's 'Introduction to smooth manifolds' he states that given smooth manifolds X,Y and a surjective submersion f:X→Y, then f is a smoothly final map, that is for any further smooth manifold Z, and any map g:Y→Z, we have g smooth iff g∘f is smooth.

He then says that problem 4.7 shows why this property is 'characteristic'. I can't see why the reverse implication should hold.

Unfortunately, google-books doesn't show that page, nor do I have access to a mathematical library, can some-one enlighten me as to what he means?

One of the answers to this question states a characteristic property, but it doesn't appear on the face of it what Lee has in mind.

share|improve this question
2  
Why are people trying to close this? –  David Carchedi Jan 24 '13 at 19:11
    
Since SS (surjective submersion) is a strictly stronger property compared with SF (smoothly final), it remains the curiosity of giving a characterization of both. Note that a SS map $f:X\to Y$ produces by restriction, on any open set $U\subset X$, an SS (thus SF) $f_{|U}:U\to f(U)$ onto an open subset of $Y$. Therefore it is not only SF, but also "locally SF" in the above sense. I'm not sure if this stronger property is enough to characterize SS maps. On the other hand, it would be interesting a characterization of SF, e.g. in the category of $C^1$ manifolds and maps. –  Pietro Majer Jan 25 '13 at 11:09

3 Answers 3

up vote 5 down vote accepted

Here's what I had in mind:

Theorem: Suppose $M$ and $N$ are smooth manifolds and $\pi:M\to N$ is a surjective smooth submersion. Then the given topology and smooth structure on $N$ are the only ones that satisfy the characteristic property.

(That's what Problem 4-7 asks you to prove.)

share|improve this answer
    
I wasn't expecting the author of the text to turn up! Thanks, what you had in mind wasn't what I was expecting, but I see now I should have done, its exactly analogous to final maps in Top. –  Mozibur Ullah Jan 25 '13 at 1:49
    
@Mozibur Ullah, you're welcome! –  Jack Lee Jan 25 '13 at 5:23

By the implicit function theorem, the submersion property of $f$ tells you that any point $x\in X$ has a neighborhood of the product form $U\times V'$ such that $f$ is constant along each copy of $U$ and such that $f$ induces a diffeomorphism of $V'$ onto $V=f(U\times V')$, which is a neighborhood of $y=f(x)$. Knowing that $g\circ f$ is smooth at $x$ lets you precompose it with the inverse of the above diffeomorphism to get $g$ restricted to $V$. It is then easy to conclude that $g$ is smooth at $y$. Since $f$ is surjective, the same argument can be repeated for every $y\in Y$.

share|improve this answer
    
The OP asked for the other implication: If f is smoothly final, then it is a surjective submersion. –  Dylan Wilson Jan 24 '13 at 16:51
    
Hmm, got mixed up with which implication was in question. –  Igor Khavkine Jan 24 '13 at 17:23

The reverse implication, as it is, is not true, for quite an obvious reason (though I think a local version of it should be true).

Start by any smoothly final map $f_0:X_0\rightarrow Y$ (e.g. any surjective submersion), and a smooth map $f_1:X_1 \rightarrow Y$ which is not a submersion. Then, the disjoint union $f:=f_0\sqcup f_1: X_0\sqcup X_1 \rightarrow Y$ is not a submersion, nevertheless it is still smoothly final. ( Indeed, for any smooth manifold $Z$ and any map $g:Y\rightarrow Z$, if $g\circ (f_0\sqcup f_1)=(g\circ f_0)\sqcup (g\circ f_1) $ is smooth, so is $g\circ f_0$, hence $g$ because $f_0$ is smoothly final.

It is true that a smoothly final map $f:X\rightarrow Y$ is necessarily surjective (note e.g. that the above construction $f_0\sqcup f_1$ was surjective). In fact, for any $y\in Y$ there exists a map $g:Y\rightarrow\mathbb{R}$ differentiable in $Y\setminus\{y\}$ and not in $y$ (e.g., a map supported in the domain of a local chart at $y$, that in a local chart is $\|\cdot\|$ near $0$). Then, clearly, if $f:X\rightarrow Y$ is not surjective, say because there is $y\in Y\setminus f(X)$, then $g\circ f$ is smooth though $g$ is not, so $f$ is not smoothly final.

share|improve this answer
    
More generally: for smooth maps $h:U\to X$ and $f:X\to Y$, if $fh$ is smoothly final, then $f$ is smoothly final. –  Pietro Majer Jan 24 '13 at 23:18
    
great, going by Lees answer I see that my question wasn't quite right. But I am interested in how I phrased it. Do you think it can actually hold locally? I've accepted Lees answer as it only seems fair since I picked up the question from his book. But your answer is equally worthwhile. It doesn't seem quite correct that one should choose. –  Mozibur Ullah Jan 25 '13 at 1:54
    
and your additional comment is useful too. –  Mozibur Ullah Jan 25 '13 at 1:58

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.