The units-Picard complex and the Brauer group of a product (Q1748124): Difference between revisions

The author studies the cohomological Brauer group for product of schemes. The main result for smooth projective \(X\) and \(Y\) over a ground field \(k\) is the following: The canonical sequence \[ 0\longrightarrow \text{Br}'(k)\longrightarrow \text{Br}'(X)\times \text{Br}'(Y) \longrightarrow \text{Br}'(X\times Y) \] is exact, provided the following conditions hold: The base-changes \(X^s=X\otimes k^s\) and \(Y^s=Y\otimes k^s\) to the separable closure have Néron-Severi groups without torsion, at least one of the cohomology groups \(H^1(X,\mathscr{O}_X)\) and \(H^1(Y,\mathscr{O}_Y)\) vanishes, and the product \(X\times Y\) contains a zero-cycle of degree one. This result is a special case of a more general theorem for fiber products \(X\times_SY\), where \(S\) is a locally noetherian base scheme and \(f:X\to S\) and \(g:Y\to S\) are faithfully flat and locally of finite type. Here the assumptions and the result would be more complicated to state, and involve the étale index for the structure morphism \(X\times_SY\to S\). This number \(I(f)\geq 1\) is defined for morphisms \(f:X\to S\) admitting finite étale quasisections of constant degree; the number is then the greatest common divisor of the degrees of such quasisections. The main idea for the proofs is to use suitable truncated complexes in derived categories of abelian sheaves.