Abstract:
We classify finite groups that act on abelian surfaces over a given finite field such that the quotient is birationally equivalent to a K3 surface. This is a refinement of the classical result due to Katsura. As a application we study traces of Frobenius for suprsingular K3 surfaces over finite fields.