Welcome to MathOverflow

Question

9

5

Let $X$ be a connected affine variety over an algebraically closed field $k$, and let $X \subset Y$ be a compactification, by which I mean $Y$ is a proper variety (or projective if you prefer), and $X$ is embedded as an open dense subset.

I am guessing that it is not always the case that $Y\setminus X$ is a divisor, one could imagine it being a single point with a horrible singularity. But if $Y$ is smooth or even normal, is it the case that $Y\setminus X$ is always a divisor? Does anybody know a proof of such a result?

Thanks, Dan

flag	asked Apr 21 2010 at 11:19 Daniel Loughran 2,396●6●17

8

Affirmative even in the normal case, but this is a good exercise to work on more on your own. Hint: look at local ring at a generic point of the complement (assuming it is non-empty). As an aside, this plays a key role in producing the ample divisor in the proof that abelian varieties are projective! – BCnrd Apr 21 2010 at 12:24

A side remark: such a divisor must also be connected if dimension of $X$ is $\geq{2}$ ! – Maharana May 2 2010 at 7:02

Angelo · Accepted Answer · 2010-04-21 12:41:04Z UTC

14

It it true for any $Y$: see Corollaire 21.12.7 of EGAIV.

answered Apr 21 2010 at 12:41

Angelo
19.3k●3●47●75

Thanks, although unfortuantly I cant speak french... Ill have a go and try to prove it myself. – Daniel Loughran Apr 21 2010 at 16:16

5

Have fun. By considering the normalization of $Y$, it is easy to reduce to the normal case. You don't need to speak French to read EGA. You don't even to really read it, only learn a few technical words and some funny-looking verbal forms. – Angelo Apr 21 2010 at 19:20

Oliver Jones · Answer 2 · 2012-01-28 23:26:13Z UTC

2

Goodman wrote a paper on a related subject entitled: "Affine open subsets of algebraic varieties and ample divisors". You might find something in there that's relevant.

edited Jan 28 2012 at 23:26

answered Apr 20 2011 at 23:15

Oliver Jones
227●6

I think this paper discusses the question: If the complement of a divisor on a projective variety is affine, what positivity properties does the divisor have? In the OPs question, $X$ does not have to be projective. – J.C. Ottem Apr 21 2011 at 8:56

Is the complement of an affine variety always a divisor?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.