Line bundles on a pointless curve Let $X$ be a smooth projective curve over a field $k$. In chapter 8 of the book Neron Models by Bosch et al., there is a general result (namely Proposition 4) which implies that if $X$ admits a rational point, then the Picard functor which sends a $k$-scheme $T$ to $\text{Pic}(X \times T)/\text{Pic}(T)$ is already a (say, fppf) sheaf. What if $X$ does not admit a rational point? Is there a reasonably simple example which demonstrates that fppf-sheafification of this functor is necessary? Let's assume that the Brauer group of $k$ vanishes (e.g. $k$ finite) so that this is not an obstruction.
 A: There are such examples over some fields with trivial Brauer group, but not over finite fields. Let me explain why.
Over a finite field $k$, any geometrically integral variety $X$ has a zero-cycle of degree $1$. Indeed, by the Lang-Weil estimates, it has a rational point over the field extensions of $k$ of degrees $2^n$ and $3^n$ for $n\gg 0$, and these degrees are prime to each other. If $X$ is moreover proper, it follows that the Picard functor $T\mapsto \text{Pic}(X_T)/\text{Pic}(T)$ is already a fppf sheaf (and is moreover representable). When $X$ has a rational point, the argument given in [Néron models, 8.1, p. 203] uses the fact that the rational point induces a retraction of the natural pull-back map $\text{Br}(T)\to \text{Br}(X_T)$. But if there is only a zero-cycle of degree 1, it is still possible to construct such a retraction using restriction and corestriction maps for the Brauer groups, so that the argument still works.
On the other hand, suppose that $k=\mathbb{C}((t))$: this field has trivial Brauer group because it is $C_1$ by Lang's theorem. Let $C/k$ be a smooth geometrically connected genus $1$ curve whose minimal regular model over $\mathbb{C}[[t]]$ has a multiple special fiber, so that $C$ has no rational point. Then I claim that the functor $T\mapsto \text{Pic}(X_T)/\text{Pic}(T)$ is not a fppf sheaf. Indeed, if it were, it would be representable by the Picard scheme of $C$. In particular, there would be a Poincaré line bundle $\mathcal{L}$ on $C\times E$, where $E$ is the jacobian of $C$. Let $\bar{k}/k$ be an algebraic closure.
Then $\mathcal{L}_{\bar{k}}$ is also a Poincaré line bundle realizing $C_{\bar{k}}$ as the jacobian of $E_{\bar{k}}$: in particular, there exists a unique $x\in C(\bar{k})$ such that $\mathcal{L}|_{E_x}$ is trivial. But if $y\in C(\bar{k})$ is in the Galois-orbit of $x$, $\mathcal{L}|_{E_y}$ also has a nowhere vanishing section, hence is also trivial, proving that $y=x$. This shows that $x$ induces a rational point on $C$, a contradiction.
As a last comment, if $k=\mathbb{C}((t))$, and $C/k$ is a smooth geometrically connected genus 2 curve, then $C$ necessarily has a degree $1$ zero-cycle, so that the Picard functor $T\mapsto \text{Pic}(X_T)/\text{Pic}(T)$ is already a fppf sheaf (and is moreover representable). For this and related results, see [Esnault, Levine, Wittenberg, Index of varieties over Henselian fields and Euler characteristic of coherent sheaves, Example 2.6].
