Hardy space for the quotients \(\Gamma\backslash G\) (Q1297927)

Soit \(G\) un groupe linéaire réel simple hermitien, \(\Gamma\) un sous-groupe arithmétique de covolume fini. Soit \(C\) un cône régulier \(\text{Ad}(G)\)-invariant dans l'algèbre de Lie \({\mathfrak g}\) de \(G\), \(C^0\) l'intérieur de \(C\), et \(S(C)=G\exp(iC)\) le semi-groupe complexe d'Olshanski. L'espace de Hardy associé à ces données est l'espace des fonctions holomorphes sur \(S(C^0)\), \(\Gamma\)-invariantes à gauche telles qu'une certaine norme soit finie. C'est un espace de Hilbert, qui se plonge de manière isométrique dans l'espace \(L^2(\Gamma\backslash G)\). On donne une décomposition de l'espace de Hardy en représentations unitaires irréductibles avec des multiplicités égale à des dimensions d'espaces de formes automorphes. Les résultats les plus importants sont obtenus dans le cas de \(G=\text{SL}(2,\mathbb R)\) et \(\Gamma=\text{SL}(2,\mathbb Z)\), où l'on démontre que l'espace des vecteurs distributions des représentations de la série discrète, qui sont \(\Gamma\)-invariants et qui vérifient une condition de carré intégrabilité, s'identifie à l'espace des formes modulaires paraboliques correspondant, ce qui nous permet de décrire explicitement la décomposition de l'espace de Hardy cuspidal en représentations irréductibles et d'en calculer le noyau reproduisant (appelé noyau de Cauchy-Szegö) à l'aide des noyaux reproduisants des espaces de cusp forms. L'espace de Hardy cuspidal s'identifie au ``morceau holomorphe'' du spectre cuspidal \(_0L^2(\Gamma\backslash G)\).