Sur la hauteur de tores plats

On the height of Flat Tori

• Auteur / Autrice : Giovanni Lazzarini
• Direction : Renaud Coulangeon
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques pures
• Date : Soutenance le 19/02/2015
• Etablissement(s) : Bordeaux
• Ecole(s) doctorale(s) : École doctorale Mathématiques et informatique (Talence, Gironde ; 1991-....)
• Partenaire(s) de recherche : Laboratoire : Institut de mathématiques de Bordeaux
• Jury : Président / Présidente : Driss Essouabri
• Jury : Examinateurs / Examinatrices : Christine Bachoc
• Jury : Rapporteurs / Rapporteuses : Roland Bacher, Gabriele Nebe

Mots clés

Mots clés contrôlés

Laplacien

Tore (géométrie)

Euclide, Éléments d'

Mots clés libres

Réseau euclidien

Noyau de la chaleur.

Laplacien

Design sphérique

Hauteur

Fonction zêta d’Epstein

Tore plat

Euclidean lattice

Heat kernel

Laplacian

Spherical design

Height

Epstein’s zeta function

Flat torus

Résumé

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.

In this thesis we consider the Epstein zeta function of Euclidean lattices, in order to study the problem of the minima of the height of the flat torus associated to a lattice. The height is defined as the first derivative at the point s = 0 of the spectral zeta function of the torus ; this function coincides, up to a factor, with the Epstein zeta function of the dual lattice of the given lattice. We describe a sufficient condition for a given lattice to be a stationary point of the height. In particular, by means of the theory of spherical designs, we show that a lattice which has a spherical 2-design on every shell is a stationary point of the height. We give an algorithm to check whether a given lattice satisfies this 2-design condition or not, and we give some tables of results in dimension up to 7. Then, we show that a lattice which realises a local minimum of the height is necessarily irreducible. Finally, we deal with some tori defined over the imaginary quadratic number fields, and we show a formula which gives their height as a limit of a sequence of heights of discrete complex tori.