Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Not every real algebraic surface can be endowned a structure of a complex algebraic curve. The only obstruction I know is orientability.

Are there any others?

share|improve this question
add comment

3 Answers 3

up vote 1 down vote accepted

If you're not requiring any compatibility criterion between the real and complex structure, then the only obstruction is in fact orientability. Every smooth projective real algebraic surface is a smooth compact real 2-manifold (without boundary). If it's orientable, it must then be a surface of genus $g$ for some $g$. But every surface of genus $g$ admits a complex structure, and every Riemann surface is algebraic.

I don't study real algebraic geometry much, but I'm not aware of a good compatibility condition to impose on your complex structure. If you've got something in mind, let me know.

share|improve this answer
3  
One could ask the surface to be the Weil restriction of the curve -- in this case another obstruction would be that the surface must split geometrically as a product of two same-genus curves. –  Dustin Clausen Sep 30 '10 at 14:41
2  
@Dustin Clausen: Not just same genus, they actually have to be conjugate to each other, right? For instance, a surface that splits as a product of two non-isomorphic real curves of the same genus won't do. –  t3suji Sep 30 '10 at 16:05
    
t3suji - I agree, thanks! And I suppose that now we have not just an obstruction, but actually an equivalent condition. –  Dustin Clausen Sep 30 '10 at 16:13
    
@ Jack Complex does not automatically mean algebraic. It is clearly true for compact surfaces but I doubt this for non-compact surfaces. Can you provide a reference? –  Bugs Bunny Sep 30 '10 at 19:08
    
I meant to include the word "projective," which would have addressed this. Answer edited. –  Jack Huizenga Sep 30 '10 at 23:08
add comment

As observed in some of the previous comments, every closed (=compact, without boundary) orientable real 2-manifold admits a complex structure. So in the smooth case orientability is essentially the only obstruction.

If one also considers the case of singular real algebraic surfaces, the situation is more involved and I don't know whether satisfactory results are known.

Anyway, one obvious obstruction is the presence of non-isolated singularities, since every complex curve has only a finite number of singular points.

For instance, take $X:=S^1 \times C$, where $C \subset \mathbb{RP}^2$ is the nodal real cubic of equation $y^2z=x^3+x^2z$. The singular locus of $X$ is isomorphic to $S^1$, so $X$ surely cannot be endowed with the structure of a complex algebraic curve.

share|improve this answer
add comment

If it is orientable, you have a complex structure and the field of meromorphic functions.

Putting my ears into the firing line, I suggest that something should go wrong with the transcendence degree of the field of meromorphic functions. If it is 1, you can consider DVR-s that will give you a compact algebraic curve, and I see no reason for the original curve not to be a subset. If it is more than 1 the surface cannot be algebraic...

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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