[Math] Does S^6 have the structure of an algebraic variety

ag.algebraic-geometry

More accurately, the question should be: Is it known that $S^6,$ the 6-dimensional sphere, is $not$ a (proper) complex algebraic variety, or algebraic space? And is there a reference? It's easy to see that it cannot be projective (as $H^2=0$), but I don't see how it can violate the usual general properties of algebraic varieties [e.g. by Chow's lemma one can get a projective (and smooth, by resolution of singularities) variety lying over and birational to it, but the cohomology groups can get larger when we go up…]. Maybe one needs some theory of classification of 3-folds (if there is one such theory).

Knowing that it cannot be algebraic will somehow make the analogous question of complex structure much sharper (by the way, it does have an almost complex structure).

Thank you.

Best Answer

Suppose that $X$ is a smooth complete positive-dimensional algebraic space over $\mathbb C$. Then $\mathrm H^2(X, \mathbb Q)$ can not be 0. In fact, every algebraic space contains an open dense subscheme. Let $U \subseteq X$ be an open affine subscheme; by a well known-result, the complement $C$ of $U$ has pure codimension 1; consider $C$ as a divisor, with its reduced scheme structure. I claim that the cohomology class of $C$ can not be 0. Let $Y \to X$ a birational morphism, where $Y$ is a smooth projective variety; this exists, by Chow's lemma for algebraic spaces, and resolution of singularities. The pullback of $C$ is a non-zero effective divisor on $Y$, so its cohomology class is not 0. Since formation of cohomology classes of divisors is compatible with pullbacks, this implies the result.

This says very little about the problem of existence of a complex structure. Complete algebraic spaces, or, if you prefer, Moishezon manifolds, are not so distant from projective varieties; it seems clear to me that if $S^6$ has a complex structure, this will be a very exotic animal, very far away from the world of algebraic geometry.

[Edit]: why does $C$ have codimension 1? This is Corollaire 21.12.7 of EGAIV, when $X$ is a scheme. In general you can reduce to the case of a scheme by considering an étale morphism $Y \to X$, where $Y$ is an affine scheme. This map is affine, because $X$ is separated, so the inverse image of $U$ in $Y$ is affine.