Offre de thèse
Calculer la classe d'isogénie d'une variété abélienne sur un corps de nombres
Date limite de candidature
30-09-2025
Date de début de contrat
01-10-2025
Directeur de thèse
THOME Emmanuel
Encadrement
Co-encadrant: Jean KIEFFER (CR CNRS, équipe CARAMBA)
Type de contrat
école doctorale
équipe
CARAMBAcontexte
Un travail récent de van Bommel, Chidambaram, Costa et Kieffer (2023) utilise des techniques fondées sur le calcul numérique certifié (grâce à l'arithmétique d'intervalles) pour calculer ces classes d'isogénies dans un cadre restreint: celui des surfaces abéliennes (dimension 2), définies sur les rationnels, munies d'une polarisation principale, et dont l'anneau d'endomorphismes est trivial. Généraliser ces résultats à d'autres types de variétés abéliennes est une question pressante pour des applications en mathématiques fondamentales.spécialité
Informatiquelaboratoire
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Mots clés
Variétés abéliennes, Isogénies, Algorithmes, Fonctions thêta
Détail de l'offre
Ce sujet de thèse porte sur les variétés abéliennes, qui sont des analogues (en plus grande dimension) des courbes elliptiques et sont des objets fondamentaux en cryptographie à base d'isogénies et en théorie des nombres.
Plus précisément, le sujet porte sur le calcul d'isogénies entre variétés abéliennes polarisées, un élément fondamental de la 'boîte à outils' algorithmique pour les variétés abéliennes, mais qui reste ardu au-delà des courbes elliptiques malgré un long effort de recherche. Dans le cas particulier d'une variété abélienne A définie sur un corps de nombres K (par exemple le corps des nombres rationnels), on sait d'après un célèbre théorème de Faltings que la classe d'isogénie de A sur K, définie comme l'ensemble des variétés abéliennes sur K reliées à A par une isogénie, est un ensemble fini. Le but de la thèse est de développer et implémenter des algorithmes permettant de calculer ces classes d'isogénie.
Dans un premier temps, le ou la doctorant(e) sera amené(e) à se familiariser avec une panoplie de techniques qui ont rendu de tels calculs possible pour certaines variétés abéliennes de dimension 2 sur les rationnels (van Bommel, Chidambaram, Costa, Kieffer 2023): arithmétique d'intervalles, fonctions thêta, représentations galoisiennes...
Un premier jalon sera de généraliser l'article ci-dessus à un corps de nombres quelconque, à partir de quoi de nombreuses généralisations peuvent être envisagées, par exemple traiter le cas des variétés abéliennes munies d'endomorphismes supplémentaires.
Keywords
Abelian varieties, Isogenies, Algorithms, Theta functions
Subject details
This thesis project is about abelian varieties, which are higher-dimensional analogues of elliptic curves, and are fundamental objects in isogeny-based cryptography and in number theory. More precisely, the project focusses on computing isogenies between polarized abelian varieties. Such isogeny computations are an important member of the algorithmic toolbox for abelian varieties, but remain difficult beyond the elliptic curve case despite sustained research effort. In the particular case of an abelian variety A defined over a number field K (for instance the field of rational numbers), a theorem of Faltings asserts that the isogeny class of A, defined as the set of abelian varieties over K linked to A by an isogeny, is a finite set. The goal of this thesis will be to design and implement algorithms to compute these isogeny classes. At first, the PhD candidate will familiarize themselves with the array of techniques that made such computations possible for certain abelian surfaces in dimension 2 over the rationals (van Bommel, Chidambaram, Costa, Kieffer 2023), namely interval arithmetic, theta functions, and Galois representations. A first goal will be to generalize the above article to other number fields. After that, many possible generalizations could be studied, for instance extending this work to abelian varieties with nontrivial endomorphism rings.
Profil du candidat
- Connaissances mathématiques sur les courbes elliptiques et isogénies
- Compétences en programmation, idéalement en C
Candidate profile
- Mathematical knowledge on elliptic curves and isogenies
- Programming skills, ideally in C
Référence biblio
- R. van Bommel, S. Chidambaram, E. Costa, and J. Kieffer. “Computing isogeny classes of typical principally polarized abelian surfaces over the rationals”. LMFDB, Computation, and Number Theory. LuCaNT. ICERM, Providence: AMS Contemp. Math., 2024, pp. 187–214. https://dx.doi.org/10.1090/conm/796/16002
- The FLINT team. FLINT: Fast Library for Number Theory, version 3.1.0. 2024. https://flintlib.org
- J. Kieffer. HDME: a C library for the evaluation of modular equations in dimension 2. 2022. https://github.com/j-kieffer/hdme.