Given a $C^\infty$- smooth manifold $M$, is there a natural way to complexify it?

By this I mean finding a complex manifold $N$ and a smooth function $f:M\to N$ such that $df:T_xM\otimes \mathbb{C}\to T_{f(x)}N$ becomes an isomorphism for every $x\in M$. It seems that using the existence of analytic structure on any smooth manifold should imply this (Can every manifold be given an analytic structure?) but since I can't find a reference I am not sure whether this is true or not. So my questions are

Q1. Does $N$ always exist?

Q2. If it does, is it unique in some sense?

Q3. Where can I learn more about this (if this is already known)?

  • 2
    $\begingroup$ By a result of Tognoli, it follows that any real analytic space admits a Stein complexification. See A. Tognoli, Proprietà globali degli spazi analitici reali, link.springer.com/article/10.1007%2FBF02416802 $\endgroup$ – Francesco Polizzi Apr 21 '17 at 12:25
  • $\begingroup$ @FrancescoPolizzi Thanks for your reply. Is there an english translation of the article mentioned. Also I am interested more in the case where $N$ is compact (assuming M is compact), but maybe this doesn't exist $\endgroup$ – Omar Apr 21 '17 at 12:39
  • 1
    $\begingroup$ unfortunately, I do not think any english translation is available. $\endgroup$ – Francesco Polizzi Apr 21 '17 at 12:46
  • 2
    $\begingroup$ A reference in English of the result that Francesco mentioned above is this: link.springer.com/chapter/10.1007%2F978-3-322-84243-5_3 $\endgroup$ – HYL Apr 21 '17 at 12:56
  • 1
    $\begingroup$ another paper on this topic is download.springer.com/static/pdf/647/…? $\endgroup$ – Xiaoyang Chen Apr 27 '17 at 5:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.