logo IMB
Retour

Séminaire de Théorie des Nombres

Designs sphériques et fonctions zêta de réseaux

Renaud Coulangeon

Salle de Conférences

le 10 novembre 2006 à 14:00

La fonction zêta d'Epstein est une généralisation multidimensionnelle de la fonction zêta de Riemann : à un réseau euclidien LL de dimension nn on associe la série ζ(L,s):=xL{0}x2s, \zeta(L,s):= \sum_{x \in L - \{0\}} ||x||^{-2s}, qui converge pour Re(s)>n2\mathrm{Re}(s) > \frac{n}{2} et admet un prolongement analytique à C{n2}\mathbb{C}\setminus\left\lbrace \frac{n}{2}\right\rbrace . On s'intéresse aux réseaux qui, à s>0s>0 fixé (sn2s \neq \frac{n}{2}), minimisent ζ(L,s)\zeta(L,s). Cette question, qui est liée à la question plus classique de la détermination des empilements de sphères réguliers les plus denses, apparait assez naturellement dans des contextes variés (géométrie, physique). Dans un article récent (Invent. Math. 165 (2006), no. 1, 115--151), Sarnak et Str"ombergsson montrent que les réseaux de racines D4\mathbb{D}_4 et E8\mathbb{E}_8, ainsi que le réseau de Leech Λ24\Lambda_{24}, réalisent un minimum local strict de ζ(L,s)\zeta(L,s) pour tout s>0s>0 (sn2s \neq \frac{n}{2}). Nous proposons une nouvelle preuve de ce résultat, conceptuellement plus simple, basée sur la notion de design sphérique. En outre, notre approche permet d'étendre le théorème de Sarnak et Str"ombergsson à toute une famille de réseaux (les "réseaux modulaires extremaux"), \textsl{via} des travaux de Bachoc et Venkov.