Any nonsingular projective variety over $\mathbb{C}$ is easily seen to be a smooth manifold. Presumably the same is not true for algebraic varieties  one would not expect varieties with singular points to have a smooth structure. But do there exist nonsingular varieties that are not smooth manifolds?

$\begingroup$ The first sentence: seriously? How do you see that? (I may be just too dumb) $\endgroup$– user717Dec 1 '09 at 15:08

$\begingroup$ Moreover, if X is a variety over C and X^{an} is the corresponding (reduced) analytic space, then X^{an} should be smooth if and only if X is smooth. Or am I absolutely wrong? (Sorry, if this is the case!) $\endgroup$– user717Dec 1 '09 at 15:15

$\begingroup$ For an $n$dimensional space, just take $U_i$  the subset of points of the variety for which the $i$th coordinates are nonzero  to be your atlas. It's explained in wikipedia  but when I think about it one may need nonsingularity in this case also. $\endgroup$– Aston SmytheDec 1 '09 at 15:22

$\begingroup$ I don't understand your example. But in general: how do you check smoothness? This should work in both cases (algebraic and analytic) by taking an affine cover and then apply the Jacobi criterion. This is in both cases identical and so a point on the algebraic variety should be smooth if and only if the point in the analytic space is smooth. But maybe, I'm just missing something obvious... $\endgroup$– user717Dec 1 '09 at 15:28

$\begingroup$ @Arminius: I edited the first sentence of this question by adding the phrase "nonsingular". Otherwise, the first sentence was false. $\endgroup$– Daniel ErmanDec 1 '09 at 15:30
Every nonsingular algebraic variety over $\mathbb C$ is a smooth manifold. See for instance: http://en.wikipedia.org/wiki/Manifold under "Generalizations of Manifolds".
In fact, Arminius' suggested answer in the comments seems to give a proof of this fact, and I'll attempt to flesh it out a small amount. Every algebraic variety is locally a quasiaffine variety. So we may take an open cover $U_i$ of the variety, where each $U_i$ is a closed subset of an open subset of affine nspace. We may then check smoothness at each point of $U_i$ via the Jacobian criterion. The same procedure illustrates that each $U_i$ is a complex manifold. Since the gluing maps are algebraic, they are smooth, and hence our nonsingular variety is also a smooth manifold.

$\begingroup$ Why do you use "quasiaffine" instead of "affine"? $\endgroup$– user717Dec 1 '09 at 15:56

$\begingroup$ I am not sure what terminology is standard here. I learned that "quasiaffine variety" refers to an open subvariety of an affine variety. For instance, I would refer to the affine plane minus the origin as a quasiaffine variety which is not affine. If I remember correctly, I also learned that an abstract variety is one that is locally quasiaffine. $\endgroup$ Dec 1 '09 at 16:47

$\begingroup$ Yes, this is Hartshorne terminology, so it's standard :) My question was more, why you don't simply use affine opens. $\endgroup$– user717Dec 1 '09 at 16:55

$\begingroup$ Daniel, better: quasiaffines are locally affine, so an abstract variety is locally affine. To see this, take a quasiaffine variety $U$, it's open in some affine $X$. Now, the complement of $U$, say, $V$, is defined by $f_1=\ldots=f_k=0$. Now look at the open sets $U_{f_i}$ in $X$. Their union will be the set where none are zero, and thus precisely the $U$ that you started with. For instance, if $U=\mathbb{A}^2\setminus\{(0,0)\}$, we can write it as $U_x\cup U_y$. So every abstract variety by your definition is locally affine. $\endgroup$ Dec 1 '09 at 17:46
Every nonsingular variety over $\mathbb{C}$ is a smooth manifold, period. Take any affine open cover $X=\cup U_i$. Then each $U_i$ is a smooth manifold, and the transition maps are algebraic, so in particular, smooth. Thus, manifold.



$\begingroup$ Yeah, I only said smooth because smooth was what was mentioned in the question. $\endgroup$ Dec 1 '09 at 16:05
If $k$ is a complete valued field (e.g. $\mathbb{Q}_p$, etc.), one may define analytic manifolds over $k$ in the natural way. Precisely, these are topological spaces that locally look like open balls in $k^n$ and the transition functions must be analytic. Then the $k$points of a smooth variety over $k$ is an analytic manifold (over $k$); Charlie's reasoning for the case $k = \mathbb{C}$ works for any $k$ as above.

$\begingroup$ +1 for considering more general fields that e.g. number theorists care about $\endgroup$ May 22 '13 at 2:24