Finiteness of Brauer groups of K3 surfaces in characteristic 2

Abstract: For a K3 surface over a field of characteristic 2 which is finitely generated over its prime subfield, we prove that the cokernel of the natural map from the Brauer group of the base field to that of the K3 surface is finite modulo the 2-primary torsion subgroup. In characteristic different from 2, such results were previously proved by A. N. Skorobogatov and Y. G. Zarhin. We basically follow their methods with an extra care in the case of superspecial K3 surfaces using the recent results of W. Kim and K. Madapusi Pera on the Kuga-Satake construction and the Tate conjecture for K3 surfaces in characteristic 2.