Automorphisms of Enriques surfaces which act trivially on the cohomology groups (Q802626): Difference between revisions

Let S be a complex projective nonsingular algebraic surface and \(\Delta_ 0(S)\) (resp. \(\Delta\) (S)) the quotient of the group \(\{\) \(\sigma\in Aut(S)\) inducing identity on \(H^*(S,{\mathbb{Z}})\}\) (resp. \(\{\) \(\sigma\in Aut(S)\) inducing identity on \(H^*(S,{\mathbb{Q}})\})\) with respect to its connected component. As is known, \(\Delta\) (S) is always finite and it is trivial for rational, abelian or K 3 surfaces. Two examples of Enriques surfaces for which \(\Delta_ 0(S)\) (and of course \(\Delta\) (S)) is not trivial are known: (1) (Lieberman) S is the quotient of the Kummer surface associated to the product of two elliptic curves with respect to a suitable involution. (2) (Barth-Peters) S is a quotient of a resolution of a double cover of \({\mathbb{P}}^ 1\times {\mathbb{P}}^ 1\) which has two elliptic fibrations induced by two \({\mathbb{P}}^ 1\)-bundle structures of \({\mathbb{P}}^ 1\times {\mathbb{P}}^ 1\). - The authors prove the following: \(\Delta_ 0(S)\) is trivial for all Enriques surfaces unless S is as in (1), (2), in which cases \(\Delta_ 0(S)={\mathbb{Z}}_ 2\). Moreover \(\Delta (S)=\Delta_ 0(S)\) apart from a special class of Enriques surfaces of type (2), for which \(\Delta (S)={\mathbb{Z}}_ 4\).