show/hide this revision's text 6 added 366 characters in body

Let $X$ be a compact complex manifold of dimension $\dim X=n$ possessing an integral $(1,1)$-cohomology class $[\omega]\in H^{1,1}(X,\mathbb Z)$ such that $[\omega]$ can be represented by a closed positive smooth $(1,1)$-form $\omega$. Then, there is an embedding $\iota\colon X\hookrightarrow \mathbb P^N$ to some complex projective space (and a posteriori $X$ is indeed algebraic by Chow's theorem).

\langle\langle\sigma,\tau\rangle\rangle_{L^2}=\int_X\langle\sigma(x),\tau(x)\rangle_{h^{\otimes m}}\frac{\omega^{\dim X}}{\dim X!}langle\langle\sigma,\tau{}\rangle\rangle_{L^2}=\int_X\langle\sigma(x),\tau(x)\rangle_{h^{\otimes m}}\frac{\omega^{n}}{n!},for some globally defined smooth function $f\colon X\to\mathbb R$. This means that the new hermitian metric $\tilde h=he^{f}$ on $L$ has Chern curvature equal to $\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS}$ and with this new metric $\varphi_{|L^{\otimes m}|}$ becomes (after rescaling by the factor $m$) an isometric embedding (of course this is almost tautological: the only point here is that we modify the original metric just by rescaling the hermitian metric on the line bundle whose curvature was our original metric).

Note that we didn't obtain an isometric embedding for the original metric. The best you can do we the original metric is to approximate it in the $C^2$-topology by the sequence of metrics $(\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS})_{m\in\mathbb N}$ by a result contained in the PhD thesis of G. Tian (please see the answer below by Joel Fine for more on that)that) (the convergence is now known to be in the $C^\infty$ topology on the space of symmetric covariant $2$-tensors, cf. the comment of Joel Fine here below).

show/hide this revision's text 5 added 185 characters in body

As Faisal says, there is no hope to have a general Nash-type theorem for all complex manifold, when the ambient space considered for the (isometric) embedding is some $\mathbb C^N$: no compact complex manifold of positive dimension could admit it. On the other hand there are a lot of compact complex manifold of positive dimension.

Restricting the attention to the compact case then, one may guess if there is a natural analogous of the Nash embedding theorem. For instance, one may wonder if given any compact hermitian manifold $(X,\omega)$ one can embed it isometrically into some projective space, endowed with its natural Fubini-Study metric.

It turns out that there are several restrictions both of analytic and geometrical nature. For instance, the starting metric $\omega$ must then be a Kähler form (as a restriction of the Fubini-Study Kähler form). It then gives a nonzero cohomology class in $H^{1,1}(X,\mathbb R)\subset H^2(X,\mathbb R)$. Moreover, being the Fubini-Study metric the Chern curvature form of the (anti)tautological line bundle, its cohomology class must be integral, that is in the image $H^{1,1}(X,\mathbb Z)$ in $H^{1,1}(X,\mathbb R)$ of the natural inclusion $H^2(X,\mathbb Z)\subset H^{2}(X,\mathbb R)$.

The celebrated Kodaira's embedding theorem states that the converse is in fact true:

Let $X$ be a compact complex manifold possessing an integral $(1,1)$-cohomology class $[\omega]\in H^{1,1}(X,\mathbb Z)$ such that $[\omega]$ can be represented by a closed positive smooth $(1,1)$-form $\omega$. Then, there is an embedding $\iota\colon X\hookrightarrow \mathbb P^N$ to some complex projective space (and a posteriori $X$ is indeed algebraic by Chow's theorem).

This embedding is obtained as follow. Given $[\omega]$, there exists a holomorphic hermitian line bundle $L\to X$ with hermitian metric $h$ such that $c_1(L)=[\omega]$ and moreover the Chern curvature form is such that $\frac i{2\pi}\Theta(L,h)=\omega$. Then, for all $m\in\mathbb N$, one considers the holomorphic map $$ \begin{aligned} \varphi_{|L^{\otimes m}|}\colon & X\setminus\operatorname{Bs}(L^{\otimes m})\to\mathbb P(H^0(X,L^{\otimes m})m})^*) \\ & x\mapsto[\sigma_0^m(x):\cdots:\sigma_{N_m}^m(x)], x\mapsto\{\sigma\in H^0(X,L^{\otimes m})\mid \sigma(x)=0\}, \end{aligned} $$ where $(\sigma_0^m,\dots,\sigma_{N_m}^m)$ is a base for $H^0(X,L^{\otimes m})$ and $\operatorname{Bs}(L^{\otimes m})$ is the set of points of $X$ where all sections in $H^0(X,L^{\otimes m})$ vanish simultaneously. What can be shown is in fact that for all sufficiently big $m$, one has that $\operatorname{Bs}(L^{\otimes m})=\emptyset$ and $\varphi_{|L^{\otimes m}|}$ is an immersive homeomorphism onto its image. Moreover, denoting by $\mathcal O(1)$ the (anti)tautological line bundle on $\mathbb P(H^0(X,L^{\otimes m}))$m})^*)$, one has that $$ \varphi_{|L^{\otimes m}|}^*\mathcal O(1)\simeq L^{\otimes m}. $$
ThereforeNow, if $\omega_{FS}$ is H^0(X,L^{\otimes m})$ has a natural inner product, namely the standard Fubini-Study $L^2$-product given by $$ \langle\langle\sigma,\tau\rangle\rangle_{L^2}=\int_X\langle\sigma(x),\tau(x)\rangle_{h^{\otimes m}}\frac{\omega^{\dim X}}{\dim X!}, $$
and thus we have a corresponding Fubini-Studi metric on $\mathbb P(H^0(X,L^{\otimes m}))$m})^*)$; call it $\omega_{FS}$. Then, then $\varphi_{|L^{\otimes m}|}^*\omega_{FS}$ lies in the same cohomology class of $c_1(L^{\otimes m})=m\cdot c_1(L)$. In particular, $\omega$ and $\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS}$ are cohomologous and since $X$ is Kähler by the $\partial\bar\partial$-lemma we have that $$ \omega-\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS}=\frac i{2\pi}\partial\bar\partial f $$ for some globally defined smooth function $f\colon X\to\mathbb R$. This means that the new hermitian metric $\tilde h=he^{f}$ on $L$ has Chern curvature equal to $\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS}$ and with this new metric $\varphi_{|L^{\otimes m}|}$ becomes (after rescaling by the factor $m$) an isometric embedding.

Note that we didn't obtain an isometric embedding for the original metric. The best you can do we the original metric is to approximate it in the $C^2$-topology by the sequence of metrics $(\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS})_{m\in\mathbb N}$ by a result contained in the PhD thesis of G. Tian (please see the answer below by Joel Fine for more on that).

Remark also that not any compact Kähler manifold admits such a cohomology class, thus the theorem "really give a criterion". For instance a generic compact complex torus of complex dimension greater than or equal to two is a compact Kähler manifold (with its natural flat metric) which does not admit any embedding in some projective space.

Turing to the literature, regarding the compact case there are several wonderful books in the literature. I'll give you two or three names, which are my favorites.

(1) J.-P. Demailly, "Complex Analytic and Differential Geometry",

(2) C. Voisin, "Théorie de Hodge et géométrie algébrique complexe".

(3) R. O. Wells Jr., "Differential analysis on complex manifolds".

For the non-compact case, there are also plenty of books of course. If you want to know more on the theory of Stein manifolds (precisely the analytic close submanifold of some $\mathbb C^N$), then for example

(4) L. Hörmander, "An introduction to complex analysis in several variables".

would do the job, at least for an introduction.

[edited after comments by Joel Fine and Robert Bryant]

show/hide this revision's text 4 added 2306 characters in body

Let $X$ be a compact complex manifold possessing an integral $(1,1)$-cohomology class $[\omega]\in H^{1,1}(X,\mathbb Z)$ such that $[\omega]$ can be represented by a closed positive smooth $(1,1)$-form $\omega$. Then, there is an embedding $\iota\colon X\hookrightarrow \mathbb P^N$ to some complex projective space endowed (and a posteriori $X$ is indeed algebraic by Chow's theorem).

This embedding is obtained as follow. Given $[\omega]$, there exists a holomorphic hermitian line bundle $L\to X$ with hermitian metric $h$ such that $c_1(L)=[\omega]$ and moreover the Chern curvature form is such that $\frac i{2\pi}\Theta(L,h)=\omega$. Then, for all $m\in\mathbb N$, one considers the holomorphic map$$\varphi_{|L^{\otimes m}|}\colon & X\setminus\operatorname{Bs}(L^{\otimes m})\to\mathbb P(H^0(X,L^{\otimes m})) \\& x\mapsto[\sigma_0^m(x):\cdots:\sigma_{N_m}^m(x)],$$where $(\sigma_0^m,\dots,\sigma_{N_m}^m)$ is a base for $H^0(X,L^{\otimes m})$ and $\operatorname{Bs}(L^{\otimes m})$ is the set of points of $X$ where all sections in $H^0(X,L^{\otimes m})$ vanish simultaneously. What can be shown is in fact that for all sufficiently big $m$, one has that $\operatorname{Bs}(L^{\otimes m})=\emptyset$ and $\varphi_{|L^{\otimes m}|}$ is an immersive homeomorphism onto its image. Moreover, denoting by $\mathcal O(1)$ the (anti)tautological line bundle on $\mathbb P(H^0(X,L^{\otimes m}))$, one has that\varphi_{|L^{\otimes m}|}^*\mathcal O(1)\simeq L^{\otimes m}.$$
Therefore, if $\omega_{FS}$ is the standard Fubini-Study metric on $(\mathbb P^N,\omega_{\mathbb P^N})$ \mathbb P(H^0(X,L^{\otimes m}))$, then $\varphi_{|L^{\otimes m}|}^*\omega_{FS}$ lies in the same cohomology class of $c_1(L^{\otimes m})=m\cdot c_1(L)$. In particular, $\omega$ and a positive integer $k$, such \frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS}$ are cohomologous and since $X$ is Kähler by the $\partial\bar\partial$-lemma we have that$\iota^*\omega_{\mathbb P^N}=k\cdot\omega$$\omega-\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS}=\frac i{2\pi}\partial\bar\partial ffor some globally defined smooth function $f\colon X\to\mathbb R$. This means that the new hermitian metric $\tilde h=he^{f}$ on $L$ has Chern curvature equal to $\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS}$ and with this new metric $\varphi_{|L^{\otimes m}|}$ becomes (after rescaling by the factor $m$) an isometric embedding.

Note that we didn't obtain an isometric embedding for the original metric. The best you can do we the original metric is to approximate it in the $C^2$-topology by the sequence of metrics $(\frac 1m\varphi_{|L^{\otimes m}|}^*\omega_{FS})_{m\in\mathbb N}$ by a result contained in the PhD thesis of G. Tian (please see the answer below by Joel Fine for more on that).

Remark also that not any compact Kähler manifold admits such a cohomology class, thus the theorem "really give a criterion". For instance a generic compact complex torus of complex dimension greater than or equal to two is a compact Kähler manifold (with its natural flat metric) which does not admit any embedding in some projective space.

[edited after comments by Joel Fine and Robert Bryant]

show/hide this revision's text 3 added 757 characters in body
show/hide this revision's text 2 added 343 characters in body; edited body
show/hide this revision's text 1