Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can it happen that an affine open subset of an affine variety is not the complement of a hypersurface? I think this must be able to happen because if not, I imagine I would have encountered a proposition to that effect in one of the books I am studying. However, I so far don't have an example: in all the toy examples I am thinking of, the minute I construct an open subset so that its complement isn't a hypersurface, it also stops being affine.

By the way, I am interested in this question due to a homework assignment (hence the homework tag) but the question itself is not the one I was assigned. I am not including the assigned question out of fear somebody might answer it or inadvertently give me a bigger hint than I want.

Thanks in advance.

share|improve this question
    
What you say is possible for affine schemes (i.e., an affine open subset need not be a distinguished open), but I have not seen an easy example of this. I am very interested to know if there is an easy example that does not involve using more sophisticated machinery like Riemann-Roch. –  Rankeya Nov 2 '12 at 6:44
3  
There are several nice examples at mathoverflow.net/questions/7153/… . –  Qiaochu Yuan Nov 2 '12 at 6:46
    
@QiaochuYuan - in reference to Hailong Dao's example at the MathOverflow link, why does $Yf+Xg=1$ imply that $U$ is affine? –  Ben Blum-Smith Nov 2 '12 at 15:57
    
@Ben: I don't know. Admittedly I only understand the elliptic curve example. –  Qiaochu Yuan Nov 2 '12 at 18:18
1  
Dear @BenBlum-Smith: I think he is using exercise 2.17(b) from Chapter 2 of Hartshorne. –  Rankeya Nov 2 '12 at 21:22

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.