*First a note of caution:* I am a physicist with a rudimentary knowledge of algebraic geometry picked up here and there. So don't assume I know anything besides basic properties of sheaves and try to give as simple answers as possible. Also, if my questions don't make sense for any reason, try to point me in the right direction.




---


So, my questions:


1. I'd like to hear the definition of the *ample generator of a Picard group*. I know what a Picard group is but I am having a hard time finding an actual definition of its ample generator.
2. Why is this notion important and where is it used primarily?
3. If you could provide some simple examples to illustrate the notion for some special $X$ and ${\rm Pic}(X)$ that would be welcome.




---


*Motivation:* recently, Scott Carnahan provided a very nice [answer about conformal blocks](https://physics.stackexchange.com/questions/1799/a-pedestrian-explanation-of-conformal-blocks/2099#2099) in CFT over at physics.SE. My problem is that the punchline of his example involves the notion of an ample generator of a Picard group of certain moduli space of $SU(2)$ bundles on the Riemann surface (which is the arena for the CFT).



What is ample generator of a Picard group?
First of all, the Picard group of a variety is not always monogenerated, so that the notion of "the ample generator" you are referring to surely concerns a restricted class of varieties. 


Furthermore, an ample line bundle (or invertible sheaf) is a line bundle $L$ which satisfies any of the following properties : 


1. For any coherent sheaf $\mathcal F$, the sheaf $\mathcal F \otimes L^{\otimes m}$ is generated by its global sections for every $m\geq m\_0(\mathcal F)$.
2. The map $\Phi\_{|L^{\otimes m}|} : X \to \mathbb P\left(H^0\left(X,L^{\otimes m}\right)\right), x \mapsto [s\_0(x): \ldots:s\_N(x)]$ - where $(s\_i)$ is a base of the space of global sections of $L^{\otimes m}$ - induces a embedding of $X$ in some projective space for every $m\geq m\_0$.
3. If you are working over $\mathbb C$, which seems to be the case, this is also equivalent for $L$ to admit a smooth hermitian metric $h$ whose curvature $\Theta\_h(L)$ is a (striclty) positive $(1,1)$-form (see *Kodaira's embedding theorem*).


Then I guess that the ample generator of some Picard group is in some case one generator which besides is ample.


For example, the most basic example consists in taking the ample line bundle $\mathcal O\_{\mathbb P^n}(1)$ over $\mathbb P^n$, which generates $\mathrm{Pic}(\mathbb P^n)$.


Finally, if your question is: if the Picard group of a projective variety is monogenerated, then can we choose an ample generator? Then the answer is yes because for every $m\geq 1$, $L$ is ample iff $L^{\otimes m}$ is ample.


Edit: I forgot to mention that in this case, the unicity of "the" ample generator is clear: indeed, if $L$ and $L^{-1}$ admit non trivial sections (say $s$ and $t$) then $st$ is a non-zero section of $\mathcal O\_X$ thus is constant, so that $s$ and $t$ are both non-vanishing sections, which implies that $L$ is trivial. You can apply this to $L^{\otimes m}$ to get the unicity property. 


