12

If $X$ is a complex manifold and $Z$ is a closed subset of codimension $\ge 2$ such that $X-Z$ has an algebraic structure, then is $X$ algebraic; i.e. a scheme? If not is $X$ an algebraic space?

To clarify: is there a global algebraic structure on $X$ that restricts to a given algebraic structure on a analytic Zariski $U$ with complement codimension $\ge 2$?

flag
Do you want $X$ to be compact? – Angelo Mar 22 2012 at 11:24
You can assume $X$ is compact; although I would still be curious if a statement can be made if $X$ is non compact with perhaps some "niceness" conditions on $Z$. – solbap Mar 22 2012 at 13:13
9 
 $X-Z$ algebraic forces enough meromorphic functions on $X$ for it to be a Moisezon space and so an algebraic space provided it is irreducible and compact. – Ray Hoobler Mar 22 2012 at 20:40
@Ray: if $f$ is meromorphic on $X-Z$, must it be meromorphic on $X$? – Laurent Moret-Bailly Mar 23 2012 at 9:42
2 
 Brian Conrad brought to my attention the reference "Coherent Analytic Sheaves" by Hans Grauert, Reinhold Remmert. On pg. 185 they prove a meromorphic function on an analytic Zariski open set with complement of codim \ge 2 extends to a global meromorphic function when the global space is normal. He also mentioned that there are smooth connected proper algebraic spaces which aren't schemes but they are schemes away from codimension 2 subsets. – solbap Mar 23 2012 at 21:08
show 3 more comments

Your Answer

Get an OpenID
or

Browse other questions tagged or ask your own question.