Let $k$ be a number field and denote by $H^i(k,-)$ the Galois cohomology functor $H^i(\mathrm{Gal}(\bar{k}/k),-)$. Let $X$ be a smooth geometrically integral curve over $k$. One can easily show that the map $H^1(k,\mathrm{Pic}^0(X\_{\bar{k}})) \rightarrow H^1(k,\mathrm{Pic}(X\_{\bar{k}}))$ is surjective. Indeed, applying the functor $H^1(k,-)$ to the exact sequence $$0 \rightarrow \mathrm{Pic}^0(X\_{\bar{k}}) \rightarrow \mathrm{Pic}(X\_{\bar{k}}) \rightarrow \mathrm{NS}(X\_{\bar{k}}) \rightarrow 0,$$ we get the exact sequence $$H^1(k,\mathrm{Pic}^0(X\_{\bar{k}})) \rightarrow H^1(k,\mathrm{Pic}(X\_{\bar{k}})) \rightarrow H^1(k,\mathbb{Z}).$$ The last term is zero because $\mathbb{Z}$ has trivial Galois action and so any 1-cocycle $f \in H^1(k,\mathbb{Z})$ is simply an element of $\mathrm{Hom}(\mathrm{Gal}(\bar{k}/k),\mathbb{Z})$. But $\mathbb{Z}$ is torsion-free and thus all such maps are zero maps.


**Question 0.** Here I did not assume that $X$ is projective, but would all of the above still hold without this assumption? For example, I've never seen the Neron-Severi group of an affine curve discussed in any literature.


Now moving on, we have an exact sequence of Galois modules $$0 \rightarrow \mathrm{Pic}(X\_{\bar{k}})\_{\mathrm{tor}} \rightarrow \mathrm{Pic}(X\_{\bar{k}}) \rightarrow \mathrm{Pic}(X\_{\bar{k}})\_{\mathrm{free}} \rightarrow 0$$ where $\mathrm{Pic}(X\_{\bar{k}})\_\mathrm{tor}$ denotes the maximal torsion subgroup of $\mathrm{Pic}(X\_{\bar{k}})$ and $\mathrm{Pic}(X\_{\bar{k}})\_\mathrm{free} = \mathrm{Pic}(X\_{\bar{k}})/\mathrm{Pic}(X\_{\bar{k}})\_\mathrm{tor}$, the maximal free quotient.


**Question 1.** In this case $\mathrm{Pic}(X\_{\bar{k}})\_\mathrm{free}$ certainly does not have trivial Galois action, so we cannot reduce 1-cocycles to group homomorphisms $\mathrm{Gal}(\bar{k}/k) \rightarrow \mathrm{Pic}(X\_{\bar{k}})\_\mathrm{free}$. Therefore how do we go about computing $H^1(k,\mathrm{Pic}(X\_{\bar{k}})\_\mathrm{free})$?


I have thought about first studying $H^1(k,\mathrm{Pic}(X\_{\bar{k}}))$ using a wild idea as follows:


We apply the (étale) cohomology functor $H^i(X\_{\bar{k}},-)$ to the Kummer sequence $$0 \rightarrow \mu\_n \rightarrow \mathbb{G\_m} \rightarrow \mathbb{G}\_m \rightarrow 0$$ to obtain the long cohomology sequence $$0 \rightarrow \mu\_n(\bar{k}) \rightarrow \bar{k}^\* \rightarrow \bar{k}^\* \rightarrow H^1(X\_\bar{k},\mu\_n) \rightarrow \mathrm{Pic}(X\_{\bar{k}}) \rightarrow \mathrm{Pic}(X\_{\bar{k}}) \rightarrow H^2(X\_{\bar{k}},\mu\_n) \rightarrow H^2(X\_{\bar{k}},\mathbb{G}\_m)=0.$$


Then we apply $H^1(k,-)$ to $$H^1(X\_\bar{k},\mu\_n) \rightarrow \mathrm{Pic}(X\_{\bar{k}}) \rightarrow \mathrm{Pic}(X\_{\bar{k}}) \rightarrow H^2(X\_{\bar{k}},\mu\_n)$$ and study the result. But I'm not sure if there are any spectral sequences we can use, or if this approach is even feasible.



Computing $H^1$ with coefficients in a torsion-free abelian group
I will focus attention on smooth projective varieties $X$ over $k$ with $\mathrm{Pic}(X\_{\bar{k}})$ a free finitely generated abelian group, as they illustrate all the essential behaviour relevant to your question.


Here $\mathrm{Pic}^0(X\_{\bar{k}})$ is trivial so it is certainly *not true* in general that the map $H^1(k,\mathrm{Pic}^0(X\_{\bar{k}})) \rightarrow H^1(k,\mathrm{Pic}(X\_{\bar{k}}))$ is surjective. Your argument has problems as the Neron-Severi group is just equal to the Picard group here, and it is not isomorphic to $\mathbb{Z}$ with trivial Galois action in general.


As for your second question on how to calculate $H^1(k,\mathrm{Pic}(X\_{\bar{k}}))$. It depends a lot on the geometry of your specific situation. There are no cheap tricks which can help you using e.g. Kummer theory. If you are able to write down explicit generators for $\mathrm{Pic}(X\_{\bar{k}})$ and you know how Galois acts on them, then you can actually compute this cohomology group using standard commands for group cohomology in Magma. This is a tried and tested approach which appears in many papers; particularly common examples which appear in the literature include del Pezzo surfaces and K3 surfaces. You could have a look at the PhD Thesis of Martin Bright for example to see a detailed treatment of this method.


In general I should add that the Hochschild-Serre spectral sequence identifies $H^1(k,\mathrm{Pic}(X\_{\bar{k}}))$ with the so-called algebraic part of the Brauer group of $X$. It is for this reason people are usually interested in computing $H^1(k,\mathrm{Pic}(X\_{\bar{k}}))$, and any paper which calculates the Brauer group of a specific variety over a number field will almost certainly start by calculating $H^1(k,\mathrm{Pic}(X\_{\bar{k}}))$.


