UPThèses

Dans cette thèse, nous étudions certains systèmes linéaires complets associés aux diviseurs des schémas de Hilbert de 2 points sur de des surfaces K3 projectives complexes avec groupe de Picard de rang 1, et les fonctions rationnelles induites. Ces variétés sont appelées carrés de Hilbert sur des surfaces K3 génériques, et sont un exemple de variété symplectique holomorphe irréductible (variété IHS). Dans la première partie de la thèse, en utilisant la théorie des réseaux, les opérateurs de Nakajima et le modèle de Lehn–Sorger, nous donnons une base pour le sous-espace vectoriel de l’anneau de cohomologie singulière à coefficients rationnels engendré par les classes de Hodge rationnels de type (2, 2) sur le carré de Hilbert de toute surface K3 projective. Nous exploitons ensuite un théorème de Qin et Wang ainsi qu’un résultat de Ellingsrud, Göttsche et Lehn pour obtenir une base du réseau des classes de Hodge intégraux de type (2, 2) sur le carré de Hilbert d’une surface K3 projective quelconque. Dans la deuxième partie de la thèse, nous étudions le problème suivant : si X est le carré de Hilbert d’une surface K3 générique tel que X admet un diviseur ample D avec qX(D) = 2, où qX est la forme quadratique de Beauville– Bogomolov–Fujiki, on veut décrire géométriquement la fonction rationnelle induite par le système linéaire complet |D|. Le résultat principal de la thèse montre qu’une telle X, sauf dans le cas du carré de Hilbert d’une surface quartique générique de P3, est une double sextique EPW, c’est-à-dire le revêtement double d’une sextique EPW, une hypersurface normale de P5, ramifié sur son lieu singulier. En plus la fonction rationnelle induite par |D| est exactement ce revêtement double. Les outils principaux pour obtenir ce résultat sont la description des classes de Hodge intégraux de type (2, 2) de la première partie de la thèse et l’existence d’une involution anti-symplectique sur de telles variétés par un théorème de Boissière, Cattaneo, Nieper-Wißkirchen et Sarti.

Nous allons étudier les automorphismes des variétés symplectiques holomorphes irréductibles de type K3^[n], c'est-à-dire des variétés équivalentes par déformation au schéma de Hilbert de n points sur une surface K3, pour n > 1. Dans la première partie de la thèse, nous classifions les automorphismes du schéma de Hilbert de n points sur une surface K3 projective générique, dont le réseau de Picard est engendré par un fibré ample. Nous montrons que le groupe des automorphismes est soit trivial soit engendré par une involution non-symplectique et nous déterminons des conditions numériques et géométriques pour l’existence de l’involution. Dans la deuxième partie, nous étudions les automorphismes non-symplectiques d’ordre premier des variétés de type K3^[n]. Nous déterminons les propriétés du réseau invariant de l'automorphisme et de son complément orthogonal dans le deuxième réseau de cohomologie de la variété et nous classifions leurs classes d’isométrie. Dans le cas des involutions, e des automorphismes d’ordre premier impair pour n = 3, 4, nous montrons que toutes les actions en cohomologie dans notre classification sont réalisées par un automorphism non-symplectique sur une variété de type K3^[n]. Nous construisons explicitement l’immense majorité de ces automorphismes et, en particulier, nous présentons la construction d’un nouvel automorphisme d’ordre trois sur une famille de dimension dix de variétés de Lehn-Lehn-Sorger-van Straten de type K3^[4]. Pour n < 6, nous étudions aussi les espaces de modules de dimension maximal des variétés de type K3^[n] munies d’une involution non-symplectique.