Une adèle d'un corps global K est un élément du produit restreint des complétés K_v en toutes les places v de K, où pour toutes les places non archimédiennes sauf un nombre fini la composante appartient à l'anneau local des entiers O_v. L'anneau des adèles combine simultanément les complétés locaux avec une condition 'presque intégrale'.

Principe

Les adèles regroupent les données locales en chaque place en un seul objet global en exigeant l'intégralité pour presque toutes les places finies ; cette structure de produit restreint et topologie d'anneau rend possibles des arguments global-vers-local et l'analyse harmonique.

Démonstration

Pour K = Q une adèle est un tuple (x_infty, x_2, x_3, x_5, ... ) avec x_infty dans R et x_p dans Q_p pour chaque premier p, soumis à la condition x_p dans Z_p pour presque tous les p. Les rationnels s'insèrent diagonalement dans l'anneau des adèles.

Mauvaise application

Confondre adèles et produit non restreint des complétés (qui n'a pas la condition presque intégrale), ou confondre adèles et idèles (le sous-groupe multiplicatif des adèles inversibles) lorsque la structure multiplicative est importante.

Conséquence

Les adèles fournissent un anneau topologique naturel dans lequel les corps globaux s'insèrent diagonalement et permettent des énoncés uniformes de dualité, de sommation de Poisson et du langage des formes automorphes ; ils traduisent des questions arithmétiques en analyse sur des groupes localement compacts.

Inversion

La notion duale met l'accent sur les idèles (le groupe multiplicatif des adèles inversibles) ou seulement sur l'anneau des adèles finis ; supprimer la condition 'presque intégrale' donne le produit complet qui est trop volumineux pour de nombreuses applications arithmétiques.

Limite

Les adèles sont définies pour des corps globaux (corps de nombres et corps de fonctions de courbes sur un corps fini) et reposent sur l'ensemble des places ; les constructions de type adèle pour des anneaux quelconques exigent des précautions et ne conservent pas forcément la structure de produit restreint ni la compacité locale.

Tension sémantique

Adèle versus produit des complétés : le produit restreint impose une condition de finitude/intégralité absente du produit non restreint ; adèle versus idèle : les adèles forment un anneau topologique additif, les idèles son groupe multiplicatif, et les deux jouent des rôles différents.

Synthèse

Une adèle est un tuple global de coordonnées locales, une par place, contraint d'être intégral pour presque toutes les places finies ; ce produit restreint donne un anneau topologique localement compact qui unifie l'arithmétique locale et globale et permet des méthodes d'analyse harmonique.