Formule des traces de Selberg

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche à compléter concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant.

En mathématiques, la formule des traces de Selberg est un résultat central en analyse harmonique non-commutative. Elle fournit une expression pour la trace de certains opérateurs intégraux ou différentiels agissant sur des espaces de fonctions sur un espace homogène G/Γ, où G est un groupe de Lie et Γ un groupe discret, ou plus généralement sur un double quotient H\G/Γ.

Un cas particulier important est celui où l'espace est une surface de Riemann compacte S. L'article initial de Atle Selberg en 1956 traitait de ce cas, pour l'opérateur laplacien et ses puissances. Les traces des puissances du Laplacien permettent dans ce cas de définir une forme de fonction zeta. L'intérêt est l'analogie puissante qui apparaît alors entre la formule obtenue et les formules explicites de la théorie des nombres. Les géodésiques fermées de S jouent le rôle des nombres premiers. Cette relation a été immédiatement reconnue comme une lueur nouvelle sur l'hypothèse de Riemann.

La formule des traces de Selberg établit une relation entre le spectre de l'opérateur de Laplace-Beltrami sur une surface compacte à courbure négative constante et les longueurs des géodésiques périodiques sur cette surface.

Elle généralise la formule sommatoire de Poisson valide pour le tore.

[modifier] Définitions

Toute surface X compacte à courbure négative constante peut se représenter comme l'espace quotient du demi-plan de Poincaré $\mathbb{H}$ par un sous-groupe discret $Γ$ du groupe $PSL(2,\mathbb{R})$ des isométries :

$X \ = \ \Gamma \backslash \mathbb{H}$

Considérons l'opérateur de Laplace-Beltrami sur X :

$\Delta \ u(x,y) \ = \ y^2 \left( \, \frac{\partial^2 u}{\partial x^2} \ + \ \frac{\partial^2 u}{\partial y^2} \, \right)$

On peut démontrer que, la surface étant compacte, son spectre est discret , c'est à dire que les valeurs propres $λ n$ , solution de l'équation aux valeurs propres :

$- \ \Delta \ u_n(x,y) \ = \ \lambda_n \ u_n(x,y)$ ,

forment une suite dénombrable, qu'on peut ranger par ordre croissant :

$0 = \lambda_0 < \lambda_1 \leq \lambda_2 \leq \cdots$

Les fonctions propres sont dans $u_n(x,y) \in C^{\infty}(\mathbb{H})$ et vérifient la condition de périodicité :

$\forall \ \gamma \ \in \ \Gamma \ , \quad u_n(\gamma z)\ = \ u_n(z)$

En introduisant le changement de variable :

$\mu \ = \ s(1-s) \ , \quad s \ = \ \frac{1}{2} \ + \ i \, r$

les valeurs propres sont indexées par

$r_{n}, \quad n \ \geq \ 0$ .

[modifier] Formule de Selberg

La formule des traces de Selberg s'écrit :

$\sum_{n=0}^{\infty} h(r_n) = \frac{\mu(F)}{4 \pi } \int_{-\infty}^{\infty} r \, h(r) \, \tanh(\pi r) \, dr \ + \ \sum_{ \{T\} } \frac{ \log N(T_0) }{ N(T)^{1/2} - N(T)^{-1/2} } \ g( \log N(T) )$

La somme ${T}$ est prise sur toutes les classes de conjugaison hyperboliques distinctes. La fonction h doit être :

analytique dans la bande $\vert \Im \mathrm{m}(r) \vert \leq 1/2+\delta$ , où $δ$ est une constante positive.

être paire : $h ( - r) = h (r)$

satisfaire la majoration : $\vert h(r) \vert \leq M \ \left( 1 + \vert \Re \mathrm{e}(r) \vert^{-2-\delta} \ \right)$ , où M est une autre constante positive.

La fonction g est la transformée de Fourier de h, c'est à dire :

$h(r) = \int_{-\infty}^{\infty} g(u) \ e^{iru} \ du$ .

[modifier] Articles connexes

[modifier] Bibliographie

A. Selberg, Harmonic Analysis and Discontinuous Groups in Weakly Symmetric Riemannian Spaces With Applications to Dirichlet Series, Journal of the Indian Mathematical Society 20 (1956) 47-87.

H.P. McKean, Selberg's Trace Formula as Applied to a Compact Riemannian Surface, Communications in Pure and Applied Mathematics 25 (1972) 225-246. Erratum dans : Communications in Pure and Applied Mathematics 27 (1974) p.134

D. Hejhal, The Selberg Trace Formula and the Riemann Zeta Function, Duke Mathematics Journal 43 (1976) 441-482

D. Hejhal, The Selberg Trace Formula For Psl(2,R), Volume I, Springer Lecture Notes 548 (1976), ISBN .

A.B. Venkov, Spectral Theory of Automorphic Functions, the Selberg Zeta Function, and Some Problems of Analytic Number Theory and Mathematical Physics, Russian Mathematical Surveys 34 (1979) 79-153.

P. Cartier and A. Voros, Une Nouvelle Interprétation de la formule des traces de Selberg, dans The Grothendieck Festschrift, volume 87 of Progress in Mathematics, Birkhäuser (1990) 1-67.