UPThèses

L’objet de ce travail est la classification des actions du groupe de Klein G≃(ℤ/2ℤ)² sur une surface K3, X, où G contient une involution non-symplectique qui agit trivialement sur le réseau de Neron-Severi de X, ainsi que la détermination du nombre de points qui en composent le lieu fixe. Cela est accompli avec des méthodes purement algébriques, grâce à la théorie de Smith, qui permet de relier la cohomologie du lieu fixe H*(Xᴳ, F₂) à la G-cohomologie de H*(X, F₂). Nous commençons par déterminer les différentes possibilités pour la cohomologie du G-module H²(X, F₂) (et par conséquent la cohomologie du lieu fixe Xᴳ), en donnant aussi des résultats partiels pour le cas plus général G≃(ℤ/pℤ)ⁿ. Ensuite nous étudions l’extension du réseau de cohomologie H²(X, ℤ) induite par l’action de G et nous donnons une formule reliant le nombre des point fixes qui composent Xᴳ, à certains invariants numériques de l’ex-tension: notamment les dimensions des groupes discriminants des réseaux invariants, mais aussi un nouvel invariant numérique, que nous montrons être indépendant des autres et nécessaire pour le calcul du lieu fixe. Pour conclure, en utilisant le théorème de Torelli, nous déterminons tous les possibilités pour une action de G sur X et nous donnons aussi des exemples géométriques avec les fibrations elliptiques, confirmant les résultats prouvés.