MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $k$ be a perfect field. For a geometrically integral smooth $k$-variety $X$, let $Z^{1}(X)$ be the group of Weil divisors ( free $\mathbb{Z}$-module generated by irreducible closed subsets of codimension 1 of $X$ ), $P^{1}(X)$ be its subgroup of principal divisors and $Cl(X) := Z^{1}(X) / P^{1}(X)$ be the divisor class gruop.

Let $\pi : X_{\overline{k}} \rightarrow X $ be the projection from the base change $k \rightarrow \overline{k}$. We have that the pullback $\pi^* : Z^{1}(X) \rightarrow Z^{1}(X_{\overline{k}})$ is injective and via this identification, $Z^{1}(X) = Z^{1}(X_{ \overline{k} })^G$, here $G := Gal( \overline{k} / k)$, and if we assume that $X/k$ is complete, $ Z^{1}(X) \cap P^{1}(X_{\overline{k}}) = P^1(X) $ and hence $ \pi^* $ induces an injective homomorphsim $ \pi^{*} : Cl(X) \rightarrow Cl(X_{\overline{k}}) $. The Galois group still acts on $ Cl(X_{\overline{k}}) $ and the image of $ \pi^* $ is in $ Cl(X_{\overline{k}})^{G} $.

In general, we don't have $ Cl(X) = Cl(X_{\overline{k}})^{G} $. In Milne's note ( abelian variety ), he mentioned that this is true if $X$ is a curve and we have a $k$-rational point on it. But I don't know the reason, and do we have this equality for any complete geometrically integral smooth $k$-variety which has an irreducible closed subset $Z$ of codimension 1 of $X$ such that $ Z_{red} \times_k \overline{k} $ is still an integral closed subvariety of $X_\overline{k}$ ?

share|cite|improve this question

As explained in section 3.4 of these notes of Várilly-Alvarado, the low-degree exact sequence from the spectral sequence $H^p(G,H^q_{et}(X_{\bar k},\mathbf{G}_m))\Rightarrow H^{p+q}(X,\mathbf{G}_m)$ identifies the obstruction to the surjectivity of $\pi^*:\mathrm{Pic}(X) = \mathrm{Cl}(X) \to \mathrm{Cl}(X_{\bar k})^G = \mathrm{Pic}(X_{\bar k})^G$ in your situation. Namely, the obstruction is $\ker(\mathrm{Br}(k)\to \mathrm{Br}(X))$. Regardless of the dimension of $X$, if there is a $k$-rational point, then necessarily this kernel vanishes and the equality you desire holds.

share|cite|improve this answer
In, the authors Coray, Manoil, call the surjectivity of $\pi^{*}$ the "BigPic" property and discuss it in more details. – Chris Wuthrich Mar 19 '11 at 17:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.