Transfer for Kato-Milne cohomology over purely inseparable extensions (with an appendix by Diksha Mukhija) (Q2134642)

Central simple algebras, quadratic forms and (more generally) classes in the Galois cohomology groups or the Milnor \(K\)-groups have a well-defined notion of restriction to a larger field. In the opposite direction, one should like to come up with a map that sends objects defined over the larger field to objects defined over the smaller field in return, such as the corestriction map in the case of central simple algebras. The composition of the two maps is raising to the power of the degree of the field extension. Such an analogous ``corestriction'' map is quite often tricky to define, and it is even trickier to verify that it satisfies all the statements that one should expect it to satisfy. The goal of the paper under discussion is to define such a ``corestriction'' map for classes from the Kato-Milne cohomology group \(H_p^{n+1}(K)\) to \(H_p^{n+1}(F)\) where \(F\) is a field \(F\) of \(\operatorname{char}(F)=p>0\) and \(K/F\) is a purely inseparable field extension. The authors succeed in providing a rather ``easy'' definition for this map, and proving all the necessary properties one would wish for. The appendix (written by a different author) focuses mostly on the kernel of the restriction map, and includes several interesting (even if technical) results.