On the Brauer group complex for a multiquadratic field extension (Q2268818)

Let \(F\) be a field of characteristic different from \(2\), \(F^ {\ast}\) the multiplicative group of \(F\), \(M = F(\sqrt{a _ 1}, \dots , \sqrt{a _ n})\), where \(n \in \mathbb N\) and \(a _ i \in F ^ {\ast }\), \(i = 1, \dots , n\), \(S\) the set of intermediate fields \(E\) of \(M/F\) with \([M: E] = 2\), and for each \(a, b \in F ^ {\ast }\), let \((a, b)\) be the corresponding generalized quaternion \(F\)-algebra. Denote by \(G\) the subgroup of the quotient group \(F ^ {\ast }/F ^ {\ast 2}\) generated by the cosets of \(a _ i\), \(i = 1, \dots n\), and for each subset \(s \subseteq \{1, \dots , n\}\), put \(a _ s = \prod _ {j \in s} a _ j\) (\(a _ {\phi } = 1\)) and \(K _ s = F(\sqrt{a _ s})\). Let \(\varphi \) be a homomorphism of the direct group product \(Q(F) = \prod _ {s \neq \phi } K _ {s} ^ {\ast }/K _ s ^ {\ast 2}\), defined by the rule \(\varphi ([w _ s]) = \sum _ s a _ s \otimes N _ {K _ s/F}(w _ s)\), and let \(\psi \) be the homomorphism of \(G \otimes F ^ {\ast }/F ^ {\ast 2}\) into the maximal subgroup \(_ 2 \text{Br}(F)\) of the Brauer group \(\text{Br}(F)\), such that \(\psi (a _ s \otimes z) = (a _ s, z)\), for every \(z \in F ^ {\ast }\). The paper under review considers the complex \[ Q(F) \to G \otimes F ^ {\ast }/F ^ {\ast 2} \to {_ 2 \text{Br}(F)} \to {_ 2 \text{Br}(M)} \to \prod _ {E \in S} {_ 2 \text{Br}(E)}, \] with homomorphisms \(\varphi, \psi\), \(\text{res}\) and \(\Pi \), where \(\text{res} = \text{res} _ {F/M}\) is the scalar extension map of \(\text{Br}(F)\) into \(\text{Br}(M)\) and \(\Pi = \prod _ {E \in S} \text{Cor} _ {M/E}\), \(\text{Cor}_ {M/E}\) being the corestriction map of \(\text{Br}(M)\) into \(\text{Br}(E)\), for each \(E \in S\). Specifically, it deals with the homology group \(h _ i(M/F)\) of this complex at the \(i + 1\)-th term from the left. It is known that if \(n \leq 2\) or \(F\) is a local or a global field, then \(h _ i(M/F) = \{0\}\). Generally, the group \(h _ 2(M/F)\) may be nontrivial, as shown in papers by Elman, Lam, Tignol, Wadsworth and the author. In the present paper, the author gives, independently of \(\text{char}(F)\), examples of such complexes with nontrivial \(h _ 3(M/F)\) and prescribed \(n \geq 3\). He also constructs similar examples concerning \(h _ 1(M/F)\).