Relative Brauer groups and étale cohomology (Q2220178): Difference between revisions

Let \(f:X\rightarrow S\) be a map of schemes. The relative Brauer group \(\mathrm{Br}(f)\) is defined as \(\mathrm{Br}(f)=K_{0}(Az(f^{\ast}))\) where \(K_{0}(Az(f^{\ast}))\) is the Grothendieck group of the relative category \(Az(f^{\ast})\). The group \(\mathrm{Br}(f)\) fits into a natural exact sequence of groups \(\mathrm{Pic}(S)\rightarrow \mathrm{Pic}(X)\rightarrow \mathrm{Br}(f)\rightarrow \mathrm{Br}(S)\rightarrow \mathrm{Br}(X)\) which is a particular case of the one obtained in [\textit{R. Gonzáles Rodríguez}, La sucesión exacta \(\mathrm{Pic}(C)\to \mathrm{Pic}(D)\to K_ 1A(F)\to \mathrm{Br}(C)\to \mathrm{Br}(D)\) en categorías cerradas. Aplicación a la teoría de invariantes relativos de haces de módulos (Spanish). Santiago de Compostela: Univ., Dept. de Álgebra (1995; Zbl 0836.18004)] (see also [\textit{J. M. Fernández Vilaboa} et al., J. Algebra 186, No. 2, 384--400 (1996; Zbl 0870.18008)] and [\textit{J. M. Fernández Vilaboa} et al., Commun. Algebra 26, No. 9, 2727--2743 (1998; Zbl 0916.18006)]. In the paper under review, for a faithful affine map of schemes \(f:X\rightarrow S\) with injective structure map \(\mathcal{O}_{S}\rightarrow f_{\ast} \mathcal{O}_{X}\), the author defines the group \(Br^{\prime}(f)=H^{1}_{et}(S, f_{\ast}\mathcal{O}_{X}^{\times}/\mathcal{O}_{S}^{\times})\) and he proves that, if \(f\) is a faithful affine map of noetherian schemes, there is a natural group homomorphism \(\theta: \mathrm{Br}(f)\rightarrow \mathrm{Br}^{\prime}(f)\). On the other hand, in this paper we can find a detailed study of the relative Brauer group \(\mathrm{Br}(f)\) in the case when \(f\) a subintegral extension of noetherian \(\mathbb{Q}\)-algebras. For one of those extensions \(f:A \hookrightarrow B\), the author proves that the natural map \(f^{\ast}:\mathrm{Br}(A)\rightarrow \mathrm{Br}(B)\) is an isomorphism, if and only if, \(\mathrm{Br}(f)=0.\) Finally, the article ends by demonstrating the relative version of Kummer's exact sequence.