Reflective modular forms and Weyl invariant E8 Jacobi modular forms

Les formes modulaires réflexives et les formes de Jacobi de W(E8)-invariantes Cette thèse comprend deux parties indépendantes. Dans la première partie, nous développons une approche fondée sur la théorie des formes de Jacobi dont l'indice est un réseau pour classifier les formes modulaires réflexives sur des réseaux de niveau arbitraire. Les formes modulaires réflexives ont des applications en géométrie algébrique, en algèbre de Lie et en arithmétique. La classification des formes modulaires réflexives est un problème ouvert et a été étudiée par Borcherds, Gritsenko, Nikulin, Scheithauer et Ma depuis 1998. Dans cette partie, nous établissons de nouvelles conditions nécessaires à l'existence d'une forme modulaire réflexive. Nous prouvons la non-existence de formes modulaires réflexives et de formes modulaires 2-réflexives sur des réseaux de grand rang. Nous donnons également une classification complète des formes modulaires 2-réflexives sur des réseaux contenant deux plans hyperboliques.La deuxième partie est consacrée à l’étude des formes de Jacobi de W(E₈)-invariantes. Ce type de formes de Jacobi a une signification dans les variétés de Frobenius, la théorie de Gromov-Witten et la théorie des cordes. En 1992, Wirthmüller a prouvé que l’espace des formes de Jacobi pour tout système de racines irréductible excepté E₈ est une algèbre polynomiale. Très peu de choses sont connues dans le cas de E₈. Dans cette partie, nous montrons que l'anneau bigradué des formes de Jacobi W(E₈)-invariantes n'est pas une algèbre polynomiale et prouvons que chacune de ces formes de Jacobi peut être exprimée uniquement sous la forme d'un polynôme en neuf formes de Jacobi algébriquement indépendantes introduites par Sakai avec des coefficients méromorphes SL₂(ℤ)-modulaires. Ce dernier résultat implique que, à indice fixé, l’espace des formes de Jacobi W(E₈)-invariantes est un module libre sur l’anneau des formes SL₂(ℤ)-modulaires et que le nombre de générateurs peut être calculé via une série génératrice. Nous déterminons et construisons tous les générateurs pour des indices petits. Ces résultats étendent un théorème de type de Chevalley au cas du réseau E₈.