CM liftings of K3 surfaces over finite fields and their applications to the Tate conjecture - Kazuhiro Ito; Tetsushi Ito; Teruhisa Koshikawa (2018)