Skip to main content
6 of 11
added 294 characters in body
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

Updated. There are counterexamples arising as Severi-Brauer schemes over multiplicative group schemes over a field (and schemes mapping to such Severi-Brauer schemes). The counterexamples are given after a general statement that can (sometimes) be used to prove surjectivity of the morphism (1). I suspect that the counterexamples intended by user Lucifer are the same as the counterexamples below.

Setup. Denote by $S$ the scheme $\text{Spec}\ k$ (to save typing). As in Borovoi-- Colliot-Thélène -- Skorobogatov, denote by $\mathfrak{g}$ the Galois group $\text{Gal}(\overline{k}/k)$. Let $\pi:X\to S$ be a smooth, separated, quasi-compact morphism with geometrically irreducible fiber. Let $\sigma:S\to X$ be a section of $\pi$. Denote by $G_X$, resp. $G_{X,\sigma}$, the group $S$-scheme that represents $T\mapsto \mathbb{G}_{m,X}(X\times_S T)$, resp. that represents the kernel of $$\sigma^*(T):\mathbb{G}_{m,X}(X\times_S T) \to \mathbb{G}_{m,S}(T).$$ Pullback by $\sigma$ defines a group homomorphism, $$\sigma^*:\text{Br}(X)\to \text{Br}(S).$$ Denote the kernel by $\text{Br}(X)_\sigma$. Pullback by $\pi$ defines a group homomorphism, $$\pi^*:H^2_{\mathfrak{g}}(G_{X,\sigma}(\overline{k})) \to \text{Br}(X)_\sigma.$$

Lemma. The cokernel of the natural restriction morphism (1) equals the kernel of $H^2_{\mathfrak{g}}(G_{X,\sigma}(\overline{k})) \to \text{Br}(X)_\sigma$. The group $G_{X,\sigma}(\overline{k})$ is a finitely generated, torsion-free Abelian group. In particular, the cokernel of the natural restriction morphism is a torsion group.

Proof. The relevant terms in the Hochschild-Serre spectral sequence give the following long exact sequence, $$0 \to H^1_{\mathfrak{g}}(G_X(\overline{k})) \to \text{Pic}(X)\xrightarrow{\text{res}} \text{Pic}(X_{\overline{k}})^{\mathfrak{g}} \xrightarrow{\delta} H^2_{\mathfrak{g}}(G_X(\overline{k})) \to \text{Br}(X).$$ By Hilbert's Theorem 90, the first term is $H^1_{\mathfrak{g}}(G_{X,\sigma}(\overline{k}))$. Pullback by the section $\sigma$ defines a splitting of the map $$H^2_{\mathfrak{g}}(\mathbb{G}_{m,S}(\overline{k}))\to \text{Br}(X).$$ Thus, the cokernel of $\text{res}$ equals the kernel of $\pi^*$.

The group $G_{X,\sigma}(\overline{k})$ is finitely generated by Rosenlicht. Every torsion-element satisfies an integral equation over $\overline{k}$. Since $X_{\overline{k}}$ is integral, $\overline{k}$ is integrally closed in $H^0(X_{\overline{k}},\mathcal{O}_X)$. Thus, $G_{X,\sigma}(\overline{k})$ is a finitely generated, torsion-free Abelian group. The profinite Galois cohomology group $H^2_{\mathfrak{g}}(G_\sigma(\overline{k}))$ is torsion. Thus, $H^2_{\mathfrak{g}}(G_\sigma(\overline{k}))$ is a torsion group. QED

The contravariant functor $G$ that sends a pointed $S$-scheme, $(X,\sigma)$, to the group scheme $G_{X,\sigma}$ has an adjoint. For every smooth group $S$-scheme $M$ with $M\otimes_{\text{Spec}\ k} \text{Spec}\ \overline{k}$ isomorphic to $\mathbb{G}_{m,\overline{k}}^\rho$, the group scheme $G_{M,e}$ is the Cartier dual group scheme $M^D$. For every morphism of group $S$-schemes, $$\phi:M^D\to G_{X,\sigma},$$ there is a unique $S$-morphism, $$f:X\to M,$$ sending $\sigma$ to the identity section $e$ and such that the pullback map on unit group $S$-schemes is $\phi$.

Proposition. The Galois cohomology group $H^2_{\mathfrak{g}}(M^D)$ is canonically isomorphic to the kernel, $\text{Br}(M)_k$ of the pullback map $$\text{Id}_{\overline{k}}^*:\text{Br}(M)\to \text{Br}(M\otimes_{\text{Spec}\ k} \text{Spec}\ \overline{k}).$$

Proof. Since $\text{Pic}(\mathbb{G}_{m,\overline{k}}^\rho)$ is the trivial group, this follows from the previous lemma. QED

The Cartier dual group $S$-scheme to $G_\sigma$ is a smooth group $S$-scheme $M$ of multiplicative type. There is a unique $S$-morphism $$f:X\to G_\sigma^D,$$ mapping $\sigma$ to the identity section and such that the induced homomorphism of groups of units is an isomorphism of $S$-group schemes.

Proposition. The cokernel of $\text{res}$ is identified with the kernel of the group homomorphism $$f^*:\text{Br}(M)_k \to \text{Br}(X).$$

Proof. This follows from the previous proposition and functoriality of the Hochschild-Serre spectral sequence with respect to $f$. QED

Counterexamples. This suggests how to construct a counterexample, namely as a Severi-Brauer scheme over a multiplicative group scheme $M$ over $k$.

Let $k$ be a finite field $\mathbb{F}_q$. Let $M$ be $\mathbb{G}_{m,k}= \text{Spec}\ k[t,t^{-1}]$. The Cartier dual group scheme $M^D$ has $M^D(k) = M^D(\overline{k}) \cong \mathbb{Z}$, generated by the element $t$.

For every integer $\ell$, let $k_\ell=\mathbb{F}_{q^\ell}$ be a degree $\ell$ extension of $k$ with cyclic Galois group generated by a Frobenius map. This extension together with the generator of the Galois group is unique up to unique isomorphism. Associated to the cyclic extension $k_\ell/k$ and the element $t\in M^D(k)$, there is a cyclic algebra $A_{\ell,t}$ that is a locally free $\mathcal{O}_M$-module of rank $\ell^2$ and that is an Azumaya algebra over $\mathcal{O}_M$. The Brauer class of $A_{\ell,t}$ in $\text{Br}(M)$ is an element of order $\ell$ generating the full $\ell$-torsion subgroup of $\text{Br}(M)$. By Tsen's Theorem, the Brauer group of $M\times_{\text{Spec}\ k} \text{Spec}\ \overline{k}$ is trivial. Thus, the class of $A_{\ell,t}$ generates a cyclic subgroup of order $\ell$ in $\text{Br}(M)_k$.

Now let $f:X\to M$ be the Severi-Brauer scheme parameterizing left ideals in $A_{\ell,t}$ of rank $\ell$. Since the Brauer group of $k$ is trivial (by Wedderburn or Chevalley-Warning), the restriction of $f$ over the $k$-rational point $e\in M(k)$ is a trivial Severi-Brauer scheme. Thus, there exists a section $$\sigma:\text{Spec}\ k \to X,$$ with image in the fiber of $f$ over $e$. The Picard group of $X\times_{\text{Spec}\ k} \text{Spec}\ \overline{k}$ is $\mathbb{Z}$, and the generator restricts on each projective space (geometric) fiber of $f$ to a generator $\mathcal{O}(1)$ of the projective space. However, there cannot be such an invertible sheaf on $X$, or else $\mathcal{A}_{\ell,t}$ would have zero Brauer class.

Jason Starr
  • 4.1k
  • 1
  • 93
  • 111