Sur la hauteur de tores plats

Abstract

Nous considérons la fonction zêta d’Epstein des réseaux euclidiens pour étudier le problème des minima de la hauteur du tore plat associé à un réseau. La hauteur est définie comme la dérivée au point s = 0 de la fonction zêta spectrale du tore, fonction qui coïncide, à un facteur près, avec la fonction zêta d’Epstein du réseau dual du réseau donné. Nous donnons dans cette dissertation une condition suffisante pour qu’un réseau donné soit un point critique de la hauteur. En particulier, en utilisant la théorie des designs sphériques, nous montrons qu’un réseau qui a des 2-designs sphériques sur toutes ses couches est un point critique de la hauteur. Nous donnons un algorithme pour tester si un réseau donné satisfait cette condition de 2-designs, et nous donnons des tables de résultats en dimension jusqu’à 7. Ensuite, nous montrons qu’un réseau qui réalise un minimum local de la hauteur est nécessairement irréductible. Enfin, nous nous intéressons à certains tores définis sur les corps de nombres quadratiques imaginaires, et nous prouvons une formule qui donne leur hauteur comme limite d’une suite de hauteurs de tores complexes discrets.