A computer-based algorithmic approach to the study of automorphism groups, orbits of smooth rational curves, unirationality & projective models of K3 surfaces - Institut de Mathématiques de Marseille 2014- Accéder directement au contenu
Thèse Année : 2022

A computer-based algorithmic approach to the study of automorphism groups, orbits of smooth rational curves, unirationality & projective models of K3 surfaces

Une approche informatique et algorithmique de l'étude des groupes d'automorphismes, des orbites de courbes rationnelles lisses, de l'unirationalité et des modèles projectifs des surfaces K3

Cedric Mazet
  • Fonction : Auteur
  • PersonId : 1197996

Résumé

The initial aim of this thesis consisted in determining automorphism groups and upper bounds on the number of orbits of smooth rational curves on surfaces in the family of K3 surfaces having a Néron-Severi group isomorphic to the lattice with Gram matrix diag(2t,-2,-2) with respect to a fixed basis, where the integer parameter t ranges from 1 to 50. To this end, we put computer science at the service of pure mathematics and implemented various computer-based algorithmic solutions that take advantage of a wide array of tools and modern techniques. These solutions not only enabled us to perform a complete study of the family of K3 surfaces mentioned above by determining projective models, computing automorphism groups, studying the orbits of smooth rational curves, and discussing the unirationality of their moduli spaces, hence enabling us to provide results far exceeding the objectives which had been set for this thesis, but also turn out to have a framework of application which goes far beyond the family of surfaces mentioned earlier. From the outset of this thesis, we indeed had in mind to develop solutions with a broad scope of application. This endeavor resulted in the production of many computer-based solutions for the study of K3 surfaces that will hopefully open up new perspectives and help popularize even more the field of study of K3 surfaces. Please note that all programs produced during this thesis are released in public access: All computer-based solutions produced during this thesis are detailed and available for download on K3surfaces.com
Les objectifs initialement fixés pour cette thèse consistaient à déterminer les groupes d'automorphismes ainsi que des bornes supérieures sur le nombre d'orbites de courbes rationnelles sur les surfaces K3 appartenant à la famille des surfaces ayant un groupe de Néron-Severi isomorphe au réseau entier avec matrice de Gram diag(2t,-2,-2) par rapport à une base fixée, où le paramètre entier t est compris entre 1 et 50. Nous avons pour cela mis l'outil informatique au service des mathématiques fondamentales en implémentant des solutions algorithmiques tirant parti d'outils modernes et variés. Les programmes qui ont découlé de cette démarche nous ont non seulement permis de mener une étude complète de ces surfaces en calculant explicitement leurs automorphismes, orbites de (-2)-courbes sous l'action de ces derniers, modèles projectifs, unirationalité des espaces des modules, dépassant ainsi largement notre objectif initial d'étude, mais ont aussi un champ d'application allant bien au-delà de ces surfaces. Depuis le début de cette thèse, nous avons en effet été motivés par la volonté de toujours dépasser les cas particuliers et spécificités afin de produire des solutions ayant une portée généraliste assumée. Notre entreprise a ainsi résulté en la production de nombreuses solutions mettant l'outil informatique au service de la géométrie algébrique et des surfaces K3 qui, nous l'espérons, ouvriront de nouvelles perspectives d'étude pour ces dernières. Nous tenons à mentionner que tous les programmes réalisés pendant cette thèse sont accessibles via K3surfaces.com et que leur utilisation y est expliquée en détails.
Fichier principal
Vignette du fichier
Cédric MAZET - PhD Thesis - June 30 version - K3SU.pdf (10.39 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-03883690 , version 1 (04-12-2022)

Identifiants

  • HAL Id : tel-03883690 , version 1

Lien texte intégral

Citer

Cedric Mazet. A computer-based algorithmic approach to the study of automorphism groups, orbits of smooth rational curves, unirationality & projective models of K3 surfaces. Mathematics [math]. AMU - Aix Marseille Université, 2022. English. ⟨NNT : 2022AIXM0226⟩. ⟨tel-03883690⟩
78 Consultations
17 Téléchargements

Partager

Gmail Facebook X LinkedIn More