Realising the cup product of local Tate duality (Q259506)

Let \(K\) be a non-Archimedean local field with separable closure \(K_{\mathrm{sep}}\) and absolute Galois group \(G_K=\mathrm{Gal}(K_{\mathrm{sep}}/K)\). In the present paper is given an explicit description of the cup product: \[ \cup:H^1(G_K,M)\times H^1(G_K,M^\vee)\to H^2(G_K,\mu_p)\cong \mathrm{Br}_p(K), \] where \(\mu_p\) is the group of \(p\)th roots of unity in \(K_{\mathrm{sep}}\), \(M^\vee=\Hom(M,\mu_p)\) is the Tate dual of \(M\), and \(\mathrm{Br}_p(K)\) is the \(p\)-torsion of the Brauer group \(\mathrm{Br}(K)\). The existence of this map is given by the well known local Tate duality for any cohomological group \(H^i(G_K,A)\), where \(A\) is a finite \(G_K\)-module with cardinality not divisible by the characteristic of \(K\). The cases \(i=0\) and \(i=2\) can be easily computed, whereas the case \(i=1\) is more complicated. The main result is Theorem 1.9 where, given non-trivial cocycle classes \(f\in H^1(G_K,M)\) and \(g\in H^1(G_K,M^\vee)\), the author constructs a central simple algebra \(\mathcal D\), which has the class in \(\mathrm{Br}(K)\) the class of the cup product \(f\cup g\), and \(\dim_K(\mathcal D)=p^2\).