Is every complex (smooth) manifold a scheme?

The question in the title doesn't quite make sense. I was always wondering if the scheme is the generalization of manifold. The precise statement should be like following:

If $X$ is a complex (smooth)manifold, is there a scheme $Y$ over $\mathbb{C}$ such that the corresponding analytic space $Y^{an}$ isomorphic to $X$?

I guess if $X$ is projective, then this is Chow's theorem. And I doubt the question has an affirmative answer if $X$ is non-compact (I guess that $X: y-e^x=0$ in $\mathbb{C}^2$ might be an example, but I do not know how to show this).

Edit 1: There are also example (as @hunter pointed out) of a complex torus but not an abelian variety shows that a compact manifold might not be a variety, however, is it possible to be a scheme ?(according to Hartshorne, the category of varieties is a subcategory of quasi-projective, integral, separated scheme. But could there be some non-quasiprojective scheme($Y$ has to be integral, separated in our case according to GAGA, I guess) )?

Edit 2: Another question I think of is: is (Artin) Stack a generalization of manifold? I really want to know if manifold could be think of some subcategory of some category of with "algebraic objects".


This is a very interesting question and it doesn't have an easy answer. I will just give an overview over some facts.

A necessary condition for $X$ to be algebraic (i.e. it is the analytification of a scheme) is that the transcendence degree of its field of meromorphic functions $K(X)$ is equal to the dimension of $X$ (because in algebraic geometry those two numbers are always equal for nice schemes).

It is not enough for $X$ to be compact, for instance the general complex torus of dimension $\geq 2$ (all of which are compact) has no non-constant meromorphic functions at all.

On the other hand, a non-compact analytic manifold may be algebraic. This is the case e.g. for the complex line $\mathbb{C}$.

The condition $\mbox{trdeg}_{\mathbb{C}} K(X) = \dim(X)$ is also not sufficient. Compact manifolds having this property are called Moishezon manifolds but not all of them are algebraic (a famous example is called Hironaka's example). The nice thing is that all of them come from something called 'algebraic spaces' which is a generalization of a scheme.

There are also various other properties a complex manifold can have. It can be a Kähler manifold (i.e. being equipped with a special metric) and together with being Moishezon it implies being projective which is equal to being projective algebraic (this is Chow's theorem). Also there is the notion of Hodge manifold (a special kind of Kähler manifold) which is actually equivalent to being projective. This is called the Kodaira embedding theorem.

If you want to know more about all this, I recommend you have a look at the book 'Complex geometry' by Daniel Huybrechts. All the terms I used (except for algebraic spaces) are explained there.