## Question on nef and big divisors

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

Suppose $L$ is an effective divisor and $H$ is ample (On a smooth 3-fold) such that $L+H$ is nef.

Then show that $L+H$ is big ( $(L+H)^3 > 0$) ?

This was claimed in a paper, without proof. So I assume it should be well-known. I am not sure if the restriction on dimension is necessary or not.

-

## 2 Answers

This is indeed true. See for example Lemma 2.60 in Kollar-Mori Birational Geometry of algebraic varieties. In particular, it is shown that a Cartier divisor $D$ is big if and only if $mD \sim A + E$ for some ample divisor $A$ and effective divisor $E$. This is also proven in Corollary 2.2.7 in Lazarsfeld's Positivity of in Algebraic Geometry I.

Anyway, they make no assumptions on the dimension or singularities of the ambient variety, you also don't need the nef assumption.

-

### 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.

2 basic comments:

1) $L+H$ big is not equivalent to $(L+H)^3>0$

example: $\mathbb P^2$ blown up at a point, $H=$ any ample and $L=mE$ where $E=$exceptional curve and $m\gg 0$.

2) this is the proof (as mentioned above, it can be found in books and it doesn't require $H+L$ nef):

$h^0(X,a(L+H))\ge h^0(X,aH)\ge \frac { a^n}{n!} H^n + \mathcal O (a^{n-1})$

where $n=\dim X$ and $a\gg 0$ (simple consequence of Riemann-Roch and Serre vanishing).

$\Rightarrow L+H$ is big

-

5
But the OP assumes that $D=L+H$ is nef, and in that case bigness is equivalent to $D^3>0$. – J.C. Ottem Jun 9 2011 at 12:01

1
Good comment... – Mohammad F.Tehrani Jun 9 2011 at 14:05
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 23, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9172254800796509, "perplexity_flag": "head"}