Welcome to mathimatikoi.org forum; Enjoy your visit here.

On Diffeomorphisms

Differential Geometry
Post Reply
Tsakanikas Nickos
Community Team
Community Team
Articles: 0
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

On Diffeomorphisms

#1

Post by Tsakanikas Nickos » Tue Jun 14, 2016 9:54 am

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."
Post Reply