Natural rational map from a variety to the section ring of a divisor Let $X$ be a variety over $\mathbb{C}$. Let $D$ be an effective divisor on $X$. I heard there is a natural rational map $X\dashrightarrow Proj (R)$ where $R=\oplus_{n=0}^\infty H^0(X,nD)$.
My question:


*

*How is this map defined? 

*When is this a birational map?

*Is $Proj (R)$ the image of the morphism defined by the linear system $|D|$ as in Hartshorne?
Thank you for the help!!

*

*The map is defined by sending $x \in X$ to the homogeneous ideal of sections vanishing at $x$. (Note that it could be the case that every nonconstant section vanishes at $x$, in which case the ideal is the irrelevant ideal, and the map is not defined at $x$.)

*The map is birational precisely when $D$ is big. Depending on your definition of big, that is a tautology, but there are other characterisations of big divisors that make this more informative. See Chapter 2 of Positivity in Algebraic Geometry by Lazarsfeld.

*$ \operatorname{Proj } (R)$ need not be the image of the map (not morphism in general) given by $\mid D \mid$, because $R$ need not be generated in degree 1. For example if $D$ is ample but not very ample, then the morphism defined by $\mid D \mid$ will be some finite morphism from $X$ whose image is unlikely to be $X$ itself, whereas $\operatorname{Proj}(R)$ will be isomorphic to $X$. The simplest example is to take $D$ to be an effective divisor of degree 2 on an elliptic curve.
