On Oguiso’s K3 surface

It is known that a non-symplectic automorphism of order 32 on a K3 surface does not act trivially on the Néron–Severi lattice. Oguiso gave an example of a K3 surface with a non-symplectic automorphism of order 32 which acts on the Néron–Severi lattice as an involution. In this paper, we prove that a pair of a K3 surface and its non-symplectic automorphism of order 32 is isomorphic to Oguiso’s example.