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 localement compact contenant le corps des nombres rationnels (ou, plus généralement, un corps de nombres voire un corps global), 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

L'anneau des adèles admet plusieurs définitions équivalentes.

Comme une extension scalaire de la complétion profinie des entiers

La complétion profinie ${\hat {\mathbb {Z} }}$ des entiers est la limite projective (ou limite inverse) des anneaux Z/nZ :

{\hat {\mathbb {Z} }}=\lim _{\leftarrow }\mathbb {Z} /n\mathbb {Z} ~.

Par le théorème des restes chinois, il est isomorphe au produit de tous les entiers p-adiques :

{\hat {\mathbb {Z} }}=\prod _{p}\mathbb {Z} _{p},

le membre de droite étant muni de la topologie produit.

L'anneau adélique des entiers est le produit :

\mathbb {A} _{\mathbb {Z} }=\mathbb {R} \times {\hat {\mathbb {Z} }}=\mathbb {R} \times \prod _{p}\mathbb {Z} _{p}.

L'anneau adélique des rationnels est son extension des scalaires à tous les rationnels, soit le produit tensoriel :

\mathbb {A} _{\mathbb {Q} }=\mathbb {Q} \otimes _{\mathbb {Z} }\mathbb {A} _{\mathbb {Z} }

topologisé de sorte que $\mathbb {A} _{\mathbb {Z} }$ en est un sous-anneau ouvert. Plus précisément, une base de la topologie est donnée par les ensembles de la forme

U\times \prod _{p\in S}V_{p}\times \prod _{p\notin S}{\mathbb {Z} }_{p}

où U est un ouvert de $\mathbb {R}$ , S un ensemble fini de nombres premiers et $V_{p}$ un ouvert de $\mathbb {Q} _{p}$ . La topologie adélique est strictement plus fine que celle induite par la topologie produit de $\mathbb {R} \times \prod _{p}\mathbb {Q} _{p}$ .

Plus généralement, l'anneau adélique d'un corps de nombres quelconque K est le produit tensoriel

\mathbb {A} _{K}={K}\otimes _{\mathbb {Z} }\mathbb {A} _{\mathbb {Z} }

topologisé comme le produit de $[K:\mathbb {Q} ]$ copies de $\mathbb {A} _{\mathbb {Q} }$ .

Comme un produit restreint

L'anneau adélique des rationnels peut également être défini comme le produit restreint

\mathbb {A} _{\mathbb {Q} }=\mathbb {R} \times {\prod _{p}}'\mathbb {Q} _{p}

de toutes les complétions p-adiques $\mathbb {Q} _{p}$ et des nombres réels, par rapport aux anneaux des entiers p-adiques $\mathbb {Z} _{p}$ , qui sont compacts dans les $\mathbb {Q} _{p}$ . En d'autres termes, comme le produit restreint de toutes les complétions du corps des rationnels (telles que données par le théorème d'Ostrowski). Concrètement, un élément de l'adèles $\mathbb {A} _{\mathbb {Q} }$ est la donnée d'un uplet $a=(a_{\infty },(a_{p})_{p})=(a_{\infty },a_{2},a_{3},a_{5},\ldots )$ où $a_{\infty }$ est un réel et où tous les $a_{p}$ sont des entiers p-adiques, sauf peut-être un nombre fini d'entre eux.

Les anneaux des adèles d'un corps de nombres ou d'un corps de fonctions sur un corps fini peuvent être défini de manière similaire, comme le produit restreint de toutes les complétions de ce corps.

Propriétés

Pour $F$ un corps global, l'anneau des adèles de $F$ est muni d'un plongement canonique $F\hookrightarrow \mathbb {A} _{F}$ donné par $x\mapsto (x,x,\ldots )$ .

Les adèles d'un corps global $F$ forment un groupe localement compact, le corps $F$ 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, visant à reformuler les travaux de Hecke sur les fonctions L des caractères du même nom. Une des propriétés-clef du groupe additif des adèles est qu'il est isomorphe à son dual de Pontryagin, autrement dit ses caractères sont exactement de la forme $x\mapsto \psi (ax)$ , où $a$ parcourt l'anneau des adèles et $\psi$ est un caractère additif non trivial fixé quelconque.

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 $(x,y)\in \mathbb {A} _{\mathbb {K} }\times \mathbb {A} _{\mathbb {K} }$ 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 du volume du quotient $G(\mathbb {A} )/G(\mathbb {Q} )$ , disant comment $G(\mathbb {Q} )$ , qui est un groupe discret dans $G(\mathbb {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 $E(\mathbb {Q} )$ pouvait être mis en relation avec $E(\mathbb {Q} _{p})$ 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

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, 1967, 366 p. (ISBN 978-0-9502734-2-6)

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Adele ring » (voir la liste des auteurs).

Portail des mathématiques