For a line bundle L on a smooth projective variety X, what is meant by Pic^L(X) Hi everyone,
Let $X$  be a smooth projective variety over a field $k$ and let $L$ be a line bundle on $X$. I'm reading the article Heights for line bundles on arithmetic varieties and there one speaks of $\textrm{Pic}^L(X)$. What is that? And above that, if $L$ and $K$ are algebraically equivalent line bundles, why is $\textrm{Pic}^L(X) = \textrm{Pic}^K(X)$? (Here algebraic equivalence boils down to $L = K \mod \textrm{Pic}^0(X)$.) Maybe it is even better to just ask why $\textrm{Pic}^L(X) = \textrm{Pic}^K(X)$ when $L$ and $K$ are isomorphic.
I'm guessing that taking $L=\mathcal{O}_X$ will give the connected component of the Picard scheme. So I ask, is $\textrm{Pic}^L(X)$ also an abelian variety?
 A: I'd guess it means the set of line bundles algebraically equivalent to L, modulo linear equivalence. In that case, for L = O_X you get Pic^0 and, in general, Pic^L is a principal homogeneous space for Pic^0.
A: Let me address the last part of your question.
Let $X$ be a smooth, projective variety over an arbitrary ground field $k$.
I want to write $Pic^{[L]}(X)$ instead of $Pic^L(X)$ -- i.e., to make explicit that the variety depends only on the Neron-Severi class of $L$ -- for reasons which will become clear shortly.
Suppose first that $L$ is algebraically equivalent to $0$.  Then $Pic^{[L]}(X) = Pic^0(X)$, so certainly it is an abelian variety.
Next suppose that $L$ is a $k$-rational line bundle on $X$.  Then $Pic^{[L]}(X)$ is not literally an abelian variety, because it is a nonidentity coset of a group rather than a group itself.  However, it is canonically isomorphic to the abelian variety $Pic^0(X)$ just by mapping a line bundle $M$ to $M - L$.  So it might as well be an abelian variety, really.
Finally, supose that $L$ is not itself $k$-rational but that its Neron-Severi class $L$ is rational -- i.e., $L$ is given by a line bundle over the algebraic closure which is algebraically equivalent to each of its Galois conjugates.  Then $Pic^{[L]}(X)$ is a well-defined principal homogenous space of the Picard variety $Pic^0(X)$ but need not have any $k$-rational points.  For instance, suppose that $X$ is a curve.  Then the Galois action on the Neron-Severi group is trivial, so taking $L/\overline{k}$ to be any degree $n$ line bundle, we get $Pic^{[L]}(X) = Pic^n(X) = Alb^n(X)$, a torsor whose $k$-rational points parameterize $k$-rational divisor classes of degree $n$.  (Note that here when I write $Pic^0(X)$ I am talking about the Picard variety rather than the degree $0$ part of the Picard group.  More careful notation would be $\underline{\operatorname{Pic}}^0(X)$.)
In particular, if $X$ is a genus one curve, then there is a canonical isomorphism $X \cong Pic^1(X)$, so $Pic^1(X)$ can be endowed with the structure of an abelian variety iff $X$ has a $k$-rational point.
Some further material along these lines can be found in Section 4 of
http://alpha.math.uga.edu/~pete/wc2.pdf
