Traduction de "converse theorem" en français
dans Arithmétique
Bonjour,
Quelqu'un saurait comment on traduit l'expression "converse theorem" telle qu'apparaissant dans les articles visant à montrer que certaines fonctions L de la classe de Selberg proviennent de formes modulaires ou automorphes comme le preprint de Michael Farmer paru ce matin dans la section Number Theory d'arxiv ?
Merci d'avance.
Quelqu'un saurait comment on traduit l'expression "converse theorem" telle qu'apparaissant dans les articles visant à montrer que certaines fonctions L de la classe de Selberg proviennent de formes modulaires ou automorphes comme le preprint de Michael Farmer paru ce matin dans la section Number Theory d'arxiv ?
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
$$f(z) = \sum_{n \geqslant 1} a_n e(nz) \quad \textrm{et} \quad g(z) = \sum_{n \geqslant 1} b_n e(nz)$$
auxquelles tu attaches leurs séries de Dirichlet $L(s,f)$ et $L(s,g)$, et on note $\Lambda(s,f)$ et $\Lambda(s,g)$ leurs séries de Dirichlet complétées.
En 1936, Hecke montra l'équivalence des deux assertions suivantes : pour $k \in \mathbb{Z}$
$\triangleright$ $f,g$ sont deux formes paraboliques de poids $k$ sur $\textrm{SL}_2(\mathbb{Z})$ et $(f \mid_k T)(z) = g(z)$ ;
$\triangleright$ $\Lambda(s,f)$ et $\Lambda(s,g)$ se prolongent analytiquement à tout le plan complexe, sont bornées dans toute bande verticale et vérifient l'équation fonctionnelle $\Lambda(s,f) = i^k \Lambda(k-s,g)$.
D'un point de vue arithmétique, il est plus intéressant de disposer d'un tel résultat sur le sous-groupe de congruence de Hecke $\Gamma_0(N)$, plutôt que sur $\textrm{SL}_2(\mathbb{Z})$. Malheureusement, l'équivalence est plus compliquée à démontrer dans ce cas-là, en particulier le sens $\Longleftarrow$. En 1967, Weil a réussi ce tour de force en supposant des informations supplémentaires, i.e. une équation fonctionnelle provenant de fonctions $L$ twistées. C'est ce que l'on appelle le "converse theorem" de Weil, et tout résultat de ce type prend aussi le nom de "converse theorem".
Ai-je été assez clair ?