Isometries of Ideal Lattices and Hyperkahler Manifolds

We prove that there exists a holomorphic symplectic manifold deformation equivalent to the Hilbert scheme of two points on a K3 surface that admits a nonsymplectic automorphism of order 23, which is the maximal possible prime order in this deformation family. The proof uses the theory of ideal lattices in cyclomotic fields.