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
de dimension
on associe la série
qui converge pour
et admet un prolongement analytique à
. On s'intéresse aux réseaux qui, à
fixé (
), minimisent
. 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
et
, ainsi que le réseau de Leech
, réalisent un minimum local strict de
pour tout
(
). 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.