Characterization of big divisors

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

In Kollár and Mori's Birational Geometry of Algebraic Varieties, lemma2.60 claim some multiple of a big divisor induced birational morphism onto its image in a projective space. But the proof only show it can be written as a sum of an ample divisor and an effective divisor, and say the result is obvious for the latter. I try to find the details for the latter but have no clues. Thank you for any answer or comments. Furthermore the lemma assume the scheme is a projective variety, does it must be integral? Can the result be done for proper varieties?

The second question: The authors also claim a divisor is big iff its birational pullback is big. I know when the varieties are integral normal and proper, this can be done by Zariski' main theorem and projective formula. Are these conditions necessary?

Thank you!

-

3
If $mD=A+E$, where A is wlog very ample, the dimension of the image of $\phi_{|mD|}$ is at least the dimension of the image of $\phi_{|A|}$, because $H^0(X,kA)\subset H^0(X,mkD)$ for $k\ge 0$. – J.C. Ottem Apr 23 2012 at 2:52

2
And to see that the rational map you obtain is birational, take a non-zero section $s_E$ of $E$ whose divisor is $E$, and then the rational map $x\mapsto [s_0\otimes s_E:\cdots:s_N\otimes s_E]$ defined outside of $E$ ($(s_i)$ being a basis of $H^0(X,kA)$ for $k$ large enough) is clearly birational onto its image whose dimension is $\dim X$ as John explained above. – Henri Apr 23 2012 at 9:03

1
By the way, the book you're referring to has two authors. – Artie Prendergast-Smith Apr 24 2012 at 20:11

3
Actually, the missing author is Kollár... – Sándor Kovács Apr 25 2012 at 5:54
But mD may not be generated by global sections, right? So if the definition domain of $\phi_{|mD|}$ is not the entire X, while the image would be a closed subscheme with its image scheme structure, why $\phi_{|mD|}$ should be a morphism and onto its image? – MZWang Apr 28 2012 at 6:20
show 2 more comments
{"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": 16, "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": false, "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.9329888224601746, "perplexity_flag": "head"}