Equivariant central simple graded algebras and the equivariant Brauer-Wall group. (Q556981): Difference between revisions

Let \(K\) be a field of characteristic different from \(2\). It is a classical result in the theory of quadratic forms that there exists a group homomorphism between \(\text{W}(K)\), the Witt group of \(K\), and \(\text{BW}(K)\), the Brauer-Wall group of \(K\). Now let \(G\) be a group. There exists an equivariant version of the Brauer group, denoted \(\text{B}(K,G)\), and considered first by \textit{A. Fröhlich} [Proc. Lond. Math. Soc., III. Ser. 24, 470-506 (1972; Zbl 0274.20053)]; there is also an equivariant version of the Witt group, denoted \(\text{W}(K,G)\), and introduced by \textit{A. Fröhlich} and \textit{A. M. McEvett} [J. Algebra 12, 114-133 (1969; Zbl 0248.18024)]. The aim of this paper is to introduce an equivariant version \(\text{BW}(K,G)\) of the Brauer-Wall group, to describe it by means of exact sequences, and to relate it to the equivariant Witt group. The main result is that \(\text{BW}(K,G)\) is isomorphic to a semidirect product of \(H^2(G,K^*)\), \(\Hom(G,\mathbb{Z}/2)\), \(\text{B}(K)\), \(K^*/K^{*2}\) and \(\mathbb{Z}/2\). The explicit multiplication rules are given. The results are compatible with well-known results about the Brauer-Long group: if \(G\) is finite and Abelian, then \(\text{BW}(K,G)\) is a subgroup of \(\text{BD}(K,\mathbb{Z}/2\times G)\). I would like to remark that a similar theory can be established in the dual situation, where one considers \(G\)-gradings instead of \(G\)-actions.