Picard group under base change for algebraically closed fields Let $k \subset K$ be an extension of algebraically closed fields of characteristic $0$ (e.g. $\overline{\mathbb{Q}} \subset \mathbb{C}$).

Let X be a smooth variety over $k$. Then is the natural map
  $$\mathrm{Pic}(X)\,/\,n \to \mathrm{Pic}(X_K)\,/\,n$$
  and isomorphism for all $n \in \mathbb{Z}$?

Here for an abelian group $A$ I denote by $A \, / \, n := A/nA$. Also $X_K$ denotes the base change of $X$ to $K$.
I can prove this if $X$ is proper using the theory of the Picard scheme. Here we have $\mathrm{Pic}^0(X)\,/\,n = 0$ (the set of points on an abelian variety over an algebraically closed field is divisible). The quotient $\mathrm{Pic}(X)/\mathrm{Pic}^0(X)$ is the Neron-Severi group, which is a finitely generated abelian group scheme hence its points don't change upon base change to $K$.
This proof breaks down for non-proper $X$ as the Picard functor is not representable in general.
 A: $\require{AMScd}$
The following result holds in much more generality than asked by the OP. There is no characteristic zero/smoothness assumption.


Proposition: Let $X/k$ be a qcqs scheme with $k$ separably closed. Let $K/k$ be a separable extension with $K$ separably closed. Let $n \in \mathbf{N}$ be a positive integer that is prime to the characteristic of $k$. Then the natural map
    $$\frac{\operatorname{Pic}(X)}{n\operatorname{Pic}(X)} \to \frac{\operatorname{Pic}(X_K)}{n\operatorname{Pic}(X_K)}$$
    is an isomorphism.


The proof goes as follows. The Kummer sequence gives the following commutative diagram with exact rows:
$\require{AMScd}$
\begin{CD}
0 @>{}>>\frac{\operatorname{Pic}(X)}{n\operatorname{Pic}(X)} @>{}>> H^2(X, \mu_n)@>{}>> H^2(X,\mathbf{G}_m) \\
{}  @VVV @VVV  @VVV  {} \\
0 @>{}>> \frac{\operatorname{Pic}(X_K)}{n\operatorname{Pic}(X_K)} @>{}>> H^2(X_K, \mu_n) @>{}>> H^2(X_K, \mathbf{G}_m) 
\end{CD}
The middle vertical arrow is an isomorphism by the smooth base change theorem in \'{e}tale cohomology (Corollary 1.3.1 of this):


Smooth Base Change: Suppose $K/k$ is an extension of separably closed fields, $X$ a qcqs $k$-scheme and $\mathscr{F}$ a torsion sheaf with torsion orders not divisible by the characteristic of  $k$.Then, the base change map
    $$H^i(X,\mathscr{F}) \to H^i(X_K, \mathscr{F}_K)$$
    is an isomorphism for all $i \geq 0$.


Therefore to prove the proposition, we reduce to proving the following injectivity statement concerning Brauer groups:


Proposition: Let $k \subseteq K$ be a separable extension of fields with $k$ separably closed. Let $X/k$ be a qcqs scheme. Then $H^2(X,\mathbf{G}_m)$ injects into $H^2(X_K, \mathbf{G}_m)$. 


To prove this, write $K$ as a direct limit of smooth $k$-algebras. Since cohomology commutes with direct limits for qcqs schemes, if a (cohomological) Brauer class $\alpha$ in $H^2(X,\mathbf{G}_m)$ dies in $H^2(X_K,\mathbf{G}_m)$ it must die in $H^2(X_R, \mathbf{G}_m)$ for some smooth $k$-algebra $R$. By smoothness and using that $k$ is separably closed, $\operatorname{Spec} R$ has a $k$-rational point. Therefore the canonical map $f: X_{R} \to X$ has a section $g$ and so on cohomology the composition
$$H^2(X,\mathbf{G}_m) \stackrel{f^\ast}{\to} H^2(X_R,\mathbf{G}_m) \stackrel{g^\ast}{\to} H^2(X,\mathbf{G}_m)$$ is the identity. We conclude that  $\alpha = 0$ as desired.
Finally we remark that in the injectivity statement on Brauer groups, only the ground field is required to be separably closed. There is no requirement on $K$, only that $K/k$ be separable.
Edit: The proof also shows that for any \'{e}tale sheaf $\mathscr{F}$ on $X$ such that multiplication by $n$ is surjectve, then $$\frac{H^i(X,\mathscr{F})}{nH^i(X,\mathscr{F})} \to \frac{H^i(X_K,\mathscr{F})}{nH^i(X_K,\mathscr{F})} $$
is an isomorphism for all $i \geq 1$.
A: You may consult Florence Lecomte's paper:
Rigidité des groupes de Chow, Duke Math. J. 53 (1986), no. 2, 405-426.
A: There is also Uwe Jannsen's preprint http://www.mathematik.uni-regensburg.de/Jannsen/home/Preprints/RIGBAT.pdf (rigidity also for other functors)
