Let $\varphi : U \rightarrow X$ be a holomorphic mapping of some open set $U\subseteq\mathbb{C}$ into a complex $n-$dimensional manifold $X$. If we know that this mapping is diffeomorphic onto its immage does it follow that it is also biholomorphic onto its image ?



diffeomorphic, holomorphic, biholomorphic
Yes. Since the map is a diffeomorphism onto its image it means that the induced map on tangent spaces (thought of as $C^{\infty}$ manifolds) is an injection. But the tangent space as a complex manifold is the same space with an added complex structure, so it is still an injection. The (holomorphic) implicit function theorem then implies that the map is biholomorphic onlto its image.


