3
$\begingroup$

Let $X$ be a smooth projective variety over a field $k$.

It is well-known that the sum of an ample divisor and an effective divisor is big (in fact this can be taken to be the definition of a big divisor). I'm looking for a weakening of this.

Is the sum of a big divisor and a pseudo-effective divisor itself a big divisor?

Recall that a divisor is called pseudo-effective if it lies in the closure of the cone of effective divisors.

$\endgroup$

2 Answers 2

6
$\begingroup$

Let's say the big divisor is $B$ and the pseudoeffective one is $F$. Write $B = A + E$ with $A$ ample and $E$ effective (by Kodaira). Then $B+F = A+E+F = A/2 + E + (F + A/2)$. $F+A/2$ is effective since $F$ is psef, and so we've written $B+F$ as ample plus effective, so it's big.

$\endgroup$
2
  • 1
    $\begingroup$ This looks promising. Though why is $F + A/2$ effective? $\endgroup$ Jun 27, 2017 at 16:01
  • 4
    $\begingroup$ @DanielLoughran All classes in some ball around $A/2$ are ample, hence effective. One can look at a ball around $F$ of the same size, and find an effective class in it because $F$ is pseudoeffective. Then $F + A/2$ is that class plus an ample class. $\endgroup$
    – Will Sawin
    Jun 27, 2017 at 20:58
7
$\begingroup$

Theorem 2.2.26 of Lazarsfeld's Positivity in Algebraic Geometry, 2004, is the following:

Theorem: The big cone is the interior of the pseudoeffective cone and the pseudoeffective cone is the closure of the big cone.

These are convex cones. So the sum of a big class and a pseudoeffective class is in the interior of the cone, i.e., once again a big class.

The proof of this theorem is pretty much along the lines of the above answer. So not an independent answer here, just offering a citation.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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