Skip to main content
added 2 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

Updated. The example by user Lucifer@Lucifer is completely correct. Thanks to user Count@Count Dracula who explained the example proposed by user Lucifer@Lucifer. That example is fine. I am keeping the counterexamples below, since they arise in a different way: 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).

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 the functor sending every fppfsmooth $S$-scheme $T$ to $\mathbb{G}_{m,X}(X\times_S T)$, resp. to 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.$$

Updated. The example by user Lucifer is completely correct. Thanks to user Count Dracula who explained the example proposed by user Lucifer. That example is fine. I am keeping the counterexamples below, since they arise in a different way: 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).

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 the functor sending every fppf $S$-scheme $T$ to $\mathbb{G}_{m,X}(X\times_S T)$, resp. to 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.$$

Updated. The example by @Lucifer is completely correct. Thanks to @Count Dracula who explained the example proposed by @Lucifer. That example is fine. I am keeping the counterexamples below, since they arise in a different way: 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).

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 the functor sending every smooth $S$-scheme $T$ to $\mathbb{G}_{m,X}(X\times_S T)$, resp. to 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.$$

added 87 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

Updated. The example by user Lucifer is completely correct. There are Thanks to user Count Dracula who explained the example proposed by user Lucifer. That example is fine. I am keeping the counterexamples arisingbelow, since they arise in a different way: 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.

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

Proposition. The cokernel of $\text{res}$ is identified with the kernel of the group homomorphism $$f^*:\text{Br}(M)_k \to \text{Br}(X).$$$$f^*:\text{Br}_1(M) \to \text{Br}(X).$$ In particular, if there exists a degree $1$ zero-cycle in the generic fiber of $f$, then $\text{res}$ is surjective.

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.

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{pr}_M^*:\text{Br}(M)\to \text{Br}(M\times_{\text{Spec}\ k} \text{Spec}\ \overline{k}).$$

Proposition. The cokernel of $\text{res}$ is identified with the kernel of the group homomorphism $$f^*:\text{Br}(M)_k \to \text{Br}(X).$$ In particular, if there exists a degree $1$ zero-cycle in the generic fiber of $f$, then $\text{res}$ is surjective.

Updated. The example by user Lucifer is completely correct. Thanks to user Count Dracula who explained the example proposed by user Lucifer. That example is fine. I am keeping the counterexamples below, since they arise in a different way: 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).

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

Proposition. The cokernel of $\text{res}$ is identified with the kernel of the group homomorphism $$f^*:\text{Br}_1(M) \to \text{Br}(X).$$ In particular, if there exists a degree $1$ zero-cycle in the generic fiber of $f$, then $\text{res}$ is surjective.

deleted 12 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

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 the functor sending every fppf $T\mapsto \mathbb{G}_{m,X}(X\times_S T)$$S$-scheme $T$ to $\mathbb{G}_{m,X}(X\times_S T)$, resp. that representsto 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.$$

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\times_{\text{Spec}\ k} \text{Spec}\ \overline{k}).$$$$\text{pr}_M^*:\text{Br}(M)\to \text{Br}(M\times_{\text{Spec}\ k} \text{Spec}\ \overline{k}).$$

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.$$

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\times_{\text{Spec}\ k} \text{Spec}\ \overline{k}).$$

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 the functor sending every fppf $S$-scheme $T$ to $\mathbb{G}_{m,X}(X\times_S T)$, resp. to 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.$$

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{pr}_M^*:\text{Br}(M)\to \text{Br}(M\times_{\text{Spec}\ k} \text{Spec}\ \overline{k}).$$

added 353 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
added 353 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
added 294 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
added 252 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
added 252 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
added 252 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
added 252 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
Post Made Community Wiki by Jason Starr