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.

just a short question:

if one has an abelian variety $X$ over a field $k$ and an ample irreducible divisor $D$ on $X$, then why is $H^1(X-D,\mathcal O_X)$ zero?

Should it be that $X-D$ is affine? But I don't see an argument.

Thanks!

share|improve this question

1 Answer 1

up vote 3 down vote accepted

Yes, your conjecture is correct: $X\setminus D$ is affine. Actually, this has nothing to do with abelian varieties, since we have quite generally:

Theorem Let $X$ be a complete integral scheme over the algebraically closed field $k$ (of any characteristic). Then for any ample divisor $D$ on $X$, the open subscheme $X\setminus |D|$ is affine.

Proof For some large integer $n\gt \gt 0$, $nD$ is very ample and embeds $X$ in $ \mathbb P^N_k$, so that you can assume $X \subset \mathbb P^N_k$ and $|D|=|nD|=X\cap H$ for some hyperplane $H\subset \mathbb P^N_k$.
But then $X\setminus |D|=(\mathbb P^N_k \setminus H) \cap X=\mathbb A^N_k \cap X$, which is clearly affine.

share|improve this answer
    
Hi Georges, this is a very satisfying answer. Just one question: why is $\mid D \mid =X \cap H$ for a hyperplane? –  Veen Sep 27 '11 at 12:09
    
Dear @Veen,this is because in the embedding $i:X \to \mathbb P^N_k$, the bundle $\mathcal O_{\mathbb P^N_k}(1)$ gets pulled back to $L=\mathcal O_X(nD)$, so a section on $X$ of with zeros along $nD$ corresponds to a section of $\mathcal O_{\mathbb P^N_k}(1)$, with zeros along a hyperplane of $\mathbb P^N_k$. –  Georges Elencwajg Sep 27 '11 at 14:27

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.