Une identité mettant en égalité le côté spectral (une somme ou une distribution construite à partir des valeurs propres ou des représentations d'un Laplacien automorphe ou de la représentation régulière) et le côté géométrique (une somme sur les classes de conjugaison ou les orbites périodiques), reliant ainsi les données spectrales d'opérateurs automorphes aux invariants géométriques et arithmétiques de la variété quotient ou du groupe sous-jacent.

Principe

La trace d'un opérateur choisi convenablement peut être calculée de deux manières — via son action sur les données spectrales et via des intégrales orbitales sur des éléments du groupe — produisant une égalité qui traduit l'information spectrale en comptages géométriques/arithmeticques.

Démonstration

Pour une surface hyperbolique compacte Γackslash H, la formule des traces de Selberg relie la somme, pondérée par une fonction test, des valeurs propres du Laplacien à une somme sur les longueurs des géodésiques fermées (classes de conjugaison dans Γ), établissant des liens explicites entre la distribution des valeurs propres et les longueurs géométriques.

Mauvaise application

Employer la formule sans vérifier les hypothèses sur la fonction test, la convergence ou la présence d'un spectre continu ; confondre la formule de Selberg (cas de rang un ou apparentés) avec la formule des traces d'Arthur plus générale sans tenir compte des complications de rang supérieur.

Conséquence

Fournit des outils pour déduire des lois de Weyl, comprendre la distribution des valeurs propres, relier le comptage des géodésiques fermées aux traces spectrales et, en contextes arithmétiques, produire des identités faisant écho aux formules explicites pour les fonctions L et aux relations de nombres de classes.

Inversion

Sans la formule des traces, l'information spectrale et les données géométriques issues des orbites périodiques resteraient formellement déconnectées ; on pourrait disposer soit de connaissances spectrales soit de comptages géométriques mais pas d'une correspondance exacte et systématique.

Limite

Valable dans des contextes où un groupe discret agit sur un espace symétrique et où les opérateurs résultants admettent une décomposition spectrale bien maîtrisée ; les variantes et extensions exigent de traiter les quotients non compacts, le spectre continu ou les groupes de rang supérieur par des techniques raffinées.

Tension sémantique

Tension avec la formule des traces d'Arthur et la sommation de Poisson : Selberg est un prototype en rang un ou dans certains cadres arithmétiques, tandis qu'Arthur généralise au rang supérieur avec une complexité spectrale et combinatoire accrue.

Synthèse

La formule des traces de Selberg est une égalité précise exprimant la trace d'un opérateur à la fois spectralement et géométriquement ; elle forge un pont puissant entre les valeurs propres et les caractéristiques géométriques/arithmétiques (longueurs, classes de conjugaison), permettant des déductions profondes et inter‑disciplinaires.