2

As a complex affine variety or projective variety, is it possible it is a manifold with boundary?

flag

1 Answer

6

No, this is not possible (unless you allow the boundary to be empty). If $X$ is a complex algebraic variety (affine or projective, this doesn't matter), there are two possibilities. If $X$ is smooth (as an algebraic variety), then $X$ is a smooth manifold with empty boundary. Otherwise let $Y$ be the singular locus of $X$. Then $X\setminus Y$ is a smooth variety and hence a smooth manifold with empty boundary. On the other hand, the \emph{real} codimension of $Y$ in $X$ is at least two (because the complex codimension is at least one). However, if $M$ is a (real) manifold with nonempty boundary, it is not possible to find a subset $Y$ of $M$ that has real codimension two such that $M\setminus Y$ has empty boundary. (The boundary $\partial M$ of $M$ is either empty or has real codimension one in $M$.) This implies that $X$ is not a manifold with boundary.

link|flag
1 
Thanks! but how about the variety is defined over $R$? – HYYY Jul 5 2010 at 0:15

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.