Page 1 of 1

On Diffeomorphisms

Posted: Tue Jun 14, 2016 9:54 am
by Tsakanikas Nickos
Let $f \ \colon M \longrightarrow N $ and $ g \ \colon N \longrightarrow P $ be smooth maps between smooth manifolds. Show that the composite $ g \circ f $ is smooth. Conclude that the composition of diffeomorphisms is again a diffeomorphism, and show that the converse is not true.

Are there any (reasonable) conditions (imposed on the maps) that guarantee that the converse is also true? The motivation behind this question is the following (for example), coming from Algebraic Geometry: "Let $f \ \colon X \longrightarrow Y$ and $g \ \colon Y \longrightarrow Z $ be morphisms of (noetherian) schemes. If $ g \circ f $ is proper and $g$ is separated, then $f$ is also proper."