The quadratic Schur subgroup over local and global fields (Q1101509)

Let \(K\) be a field of characteristic 0 and let \(\omega\) be an involution (possibly the identity) of \(K\). The quadratic Schur subgroup \(S(K,\omega)\) of the quadratic Brauer group \(B(K,\omega)\) [as defined by \textit{I. Hambleton}, \textit{L. Taylor}, and \textit{B. Williams} in Algebraic Topology, Proc. Conf., Aarhus 1982, Lect. Notes Math. 1051, 49-127 (1984; Zbl 0556.57026)] consists of the Morita classes of anti-structures \((A,I,1)\) which arise as follows: there exists afinite group \(G\) such that \(A\) is a central simple direct summand of \(KG\) and \(I\) is the restriction of the canonical \(\omega\)-involution \(\Omega\) of \(KG\) to \(A\). (\(\Omega\) is the unique additive map which inverts the elements of \(G\) and induces \(\omega\) on \(K\).) If \(K\) is a finite extension of \({\mathbb{Q}}_ p\), it is shown that \(S(K,\omega)=1\) if \(\omega\neq id\); if \(\omega =id\), \(S(K,\omega)\) is canonically isomorphic to \(_ 2S(K)\times \{\pm 1\}\) when \(K\) isan odd degree extension of an abelian extension of \({\mathbb{Q}}_ p\) and is \(\pm 1\) otherwise. Here \(_ 2S(K)\) denotes the subgroup of the Schur subgroup (of the usual Brauer group) of elements of order 2. Now let \(K\) be an algebraic number field. Let \(K'\) be the abelian closure of \({\mathbb{Q}}\) in K, let \(\tilde K\) be the subfield of K' fixed by the composition \(*\omega\) of complex conjugation * and \(\omega\), and denote by \(K\otimes S(\tilde K)\) the subgroup of \(S(K)\) obtained from \(S(\tilde K)\) by extension of the scalars to K. Then \(S(K,\omega)\) is canonically isomorphic to the subgroup of \(K\otimes S(\tilde K)\times \{\pm 1\}\) consisting of those \((\beta,\epsilon)\) with the following properties: If \(\omega\neq id\), then \(\epsilon =1\). If \(\omega =id\), then \(\epsilon\) is arbitrary (in \(\{\pm 1\})\) if \(K\) is totally imaginary, otherwise \(\epsilon =1\) iff \(\beta\) is split at all real primes.