Anneau adélique
En mathématiques et dans la théorie des nombres, l'anneau adélique, ou anneau des adèles, est un anneau topologique contenant le corps des nombres rationnels (ou, plus généralement, un corps de nombres algébriques), construit à l'aide de toutes les complétions du corps.
Le mot « adèle » est une abréviation pour « additive idele » (« idèle additive »). Le fait que ce soit aussi un prénom féminin français est typique de l'esprit bourbakiste[réf. souhaitée]. Les adèles étaient appelées vecteurs de valuation ou répartitions avant 1950.
Définitions
La complétion profinie des entiers est la limite projective (ou limite inverse) des anneaux Z/nZ :
Par le théorème des restes chinois, il est isomorphe au produit de tous les entiers p-adiques :
le membre de droite étant muni de la topologie produit.
L'anneau adélique des entiers est le produit :
L'anneau adélique des rationnels est son extension des scalaires à tous les rationnels, soit le produit tensoriel :
topologisé de sorte que en est un sous-anneau ouvert. Plus précisément, une base de la topologie est donnée par les ensembles de la forme
où U est un ouvert de , S un ensemble fini de premiers et un ouvert de . La topologie adélique est plus fine que celle induite par la topologie produit de .
Plus généralement, l'anneau adélique d'un corps de nombres algébriques quelconque K est le produit tensoriel
topologisé comme le produit de deg(K) copies de .
L'anneau adélique des rationnels peut aussi être défini comme le produit restreint
de toutes les complétions p-adiques et des nombres réels ou, en d'autres termes, comme le produit restreint de toutes les complétions des rationnels. Dans ce cas, le produit restreint signifie que pour un adèle tous les ap sont des entiers p-adiques, sauf un nombre fini d'entre eux.
L'anneau des adèles d'un corps de fonctions sur un corps fini peut être défini d'une manière similaire, comme le produit restreint de toutes les complétions de ce corps.
Propriétés
Les adèles rationnels forment un groupe localement compact, les nombres rationnels ℚ formant un sous-groupe discret co-compact. L'utilisation des anneaux adéliques en relation avec les transformations de Fourier a été exploitée dans la thèse de Tate. Une des propriétés-clef du groupe additif des adèles est qu'il est isomorphe à son dual de Pontryagin.
Applications
L'anneau des adèles est beaucoup utilisé en théorie des nombres, souvent comme anneau de coefficients dans des groupes matriciels : combiné avec la théorie des groupes algébriques, cela permet de construire les groupes algébriques adéliques (ou groupes des idèles). Le groupe des idèles de la théorie du corps de classes apparait comme le groupe des éléments inversibles de l'anneau des adèles. En identifiant ce groupe au sous-ensemble fermé des points tels que xy=1, avec la topologie induite, on en fait un groupe topologique. Il est à noter que l'inclusion des idèles dans les adèles est une application continue, mais n'est pas une immersion, et son image n'est ni ouverte ni fermée.
Une étape importante dans le développement de la théorie a été la définition du nombre de Tamagawa pour un groupe algébrique adélique linéaire. C'est une mesure de volume reliant avec G(A), disant comment , qui est un groupe discret dans G(A), est plongé dans ce dernier. Une conjecture d'André Weil (en) était que le nombre de Tamagawa était toujours 1 pour G groupe algébrique simplement connexe. Ceci découlait du traitement moderne de Weil des résultats de la théorie des formes quadratiques ; la démonstration fut finalement complétée par Kottwitz.
Pendant ce temps, l'influence de l'idée du nombre de Tamagawa se faisait sentir dans la théorie des variétés abéliennes. Il semblait (et il semble toujours) qu'aucune adaptation directe n'en soit possible. Toutefois, durant la mise au point de la conjecture de Birch et Swinnerton-Dyer, la considération de ce que pour une courbe elliptique E, le groupe des points rationnels pouvait être mis en relation avec fut une motivation et donna une direction de travail sur le chemin menant des résultats numériques à la formulation de la conjecture.
Article connexe
- Fonction de Schwartz-Bruhat (en)
Références
La plupart des livres sur la théorie algébrique des nombres moderne, tels que :
(en) J. W. S. Cassels et A. Fröhlich, Algebraic Number Theory, Academic Press, , 366 p. (ISBN 978-0-9502734-2-6)
Portail des mathématiques