The relative Brauer group and generalized cross products for a cyclic covering of affine space (Q392497)

Let \(k\) be an algebraically closed field. Let \(A = k[x_1,\dots,x_m]\) and \(K\) be the quotient field of \(A\). Let \(f\) be a non-invertible square-free element of \(A\). Assume \(n \geq 2\) is invertible in \(k\). Set \(T = A[z]/(z^n-f)\), \(R = A[f^{-1}]\) and \(S = T[z^{-1}]\). \(T\) is an integrally closed integral domain. The Hochschild-Serre spectral sequence for the Galois extension \(S/R\) with cyclic Galois group \(G\) of order \(n\) gives rise to the Picard-Brauer exact sequence \(1 \to \mathrm{H}^1(G,S^*) \to \mathrm{Pic}(R) \to (\mathrm{Pic}(S))^G \to \mathrm{H}^2(G,S^*) \to \mathrm{B}(S/R) \to \mathrm{H}^1(G,\mathrm{Pic}(S)) \to \mathrm{H}^3(G,S^*)\) with the relative Brauer group \(\mathrm{B}(S/R)\). The paper is concerned with identifying the groups occuring in this exact sequence. The main results are: Proposition 2.8: ``The natural homomorphism \(\mathrm{H}^1(G,\mathrm{Cl}(T)) \to \mathrm{H}^1(G,\mathrm{Cl}(S))\) is onto.'' Proposition 2.14: ``The homomorphism \(\Delta: \mathrm{Div}(T) \to \mathrm{B}(S/R)\) induces an epimorphism of abelian groups \(\Delta: \mathrm{Cl}(T) \to \mathrm{B}(S/R)\).'' Theorem 2.15: ``The homomorphism \(\Delta: \mathrm{Div}(T) \to \mathrm{B}(S/R)\) induces a homomorphism of abelian groups \(\Delta: \mathrm{H}^1(G,\mathrm{Cl}(T)) \to \mathrm{B}(S/R)\).'' The morphism \(\mathrm{H}^1(G,\mathrm{Cl}(T)) \to \mathrm{H}^1(G,\mathrm{Pic}(S))\) factors as \(\mathrm{H}^1(G,\mathrm{Cl}(T)) \overset{\Delta}{\to} \mathrm{B}{(S/R)} \mathrm{H}^1(G,\mathrm{Pic}(S))\) (the latter map from the Picard-Brauer exact sequence) ``and all of the maps are onto.'' Theorem 2.16: ``If \(k^* = T^*\), then \(\Delta: \mathrm{H}^1(G,\mathrm{Cl}(T)) \to \mathrm{B}(S/R)\) is an isomorphism.'' In section 3, the authors give the following application of their results: Let \(n \geq 3\) be an integer that is invertible in \(k\), \(\zeta\) a primitive \(n\)th root of unity in \(k\) and \(\zeta = \omega^2\). In the polynomial ring \(A = k[x,y]\), let \(f(x,y) = (y-a_1)\cdots(y-x_nx)(x-1)\) with \(a_i \in k\) pairwise distinct. The equation \(z^n - f\) defines an affine hypersurface \(X\) in \(\mathbb{A}^3\). Define the rings \(R,K,T,S\) as above. Then \(S/R\) is Galois of degree \(n\), with cyclic group \(G = \langle\sigma\rangle\), and \(\sigma(z) = \zeta z\). Then they prove: Proposition 3.3: ``(a) \(T^* = k^*\), (b) \(\mathrm{Pic}(S) \cong \mathbb{Z}^{(n-1)}\), (c) \(\mathrm{H}^1(G,\mathrm{Pic}S) \cong \mathbb{Z}/n\mathbb{Z}\), (d) \(\mathrm{Pic}(S)^G = 0\).'' Theorem 3.4: ``The relative Brauer group \(\mathrm{B}(S/R)\) is isomorphic to \((\mathbb{Z}/n)^{(n+1)}\).''