K3 surfaces with action of the group M20$M_{20}$.

It was shown by Mukai that the maximum order of a finite group acting faithfully and symplectically on a K3 surface is 960 and if such a group has order 960, then it is isomorphic to the Mathieu group M20$M_{20}$. In this paper, we are interested in projective K3 surfaces admitting a faithful symplectic action of the group M20$M_{20}$. We show that there are infinitely many K3 surfaces with this action and we describe them and their projective models, giving some explicit examples. [ABSTRACT FROM AUTHOR]