Bi-canonical representations of finite automorphisms acting on Enriques surfaces

We classify the bi-canonical representations of finite automorphisms on Enriques surfaces. There are three types of non-trivial cases and examples are given explicitly by Horikawa models. In particular, finite non-semi-symplectic automorphisms exist only in orders 4 and 8. One corollary is that any finite cyclic subgroup in the automorphism group of an Enriques surface has order 1, 2, 3, 4, 5, 6, 8. Moreover, for two of the three types, a uniqueness theorem for maximal-dimensional families is given.