Eine Adèle eines globalen Körpers K ist ein Element des restringierten (eingeschränkten direkten) Produkts der Komplettierungen K_v über alle Stellen v von K, wobei für bis auf endlich viele nichtarchimedische Stellen v die Komponente im lokalen Ganzheitsring O_v liegt. Der Adèlesring vereinigt die lokalen Komplettierungen mit einer 'fast integralen' Bedingung.

Prinzip

Adelen bündeln lokale Daten an allen Stellen in einem globalen Objekt, indem sie Integrität an fast allen endlichen Stellen verlangen; diese Struktur des restringierten Produkts und die Ringtopologie ermöglichen global-zu-lokal-Argumente und harmonische Analyse.

Demonstration

Für K = Q ist eine Adèle ein Tupel (x_infty, x_2, x_3, x_5, ... ) mit x_infty in R und x_p in Q_p für jedes Prim p, wobei x_p für fast alle p in Z_p liegen. Die rationalen Zahlen liegen diagonal im Adèlesring.

Fehlanwendung

Adelen mit dem uneingeschränkten Produkt der Komplettierungen zu verwechseln (welches die fast-integrale Einschränkung nicht hat), oder Adelen mit Idelen (der multiplikativen Gruppe invertierbarer Adelen) zu verwechseln, wenn die multiplikative Struktur bedeutsam ist.

Konsequenz

Adelen liefern einen natürlichen topologischen Ring, in den globale Körper diagonal eingebettet sind, und ermöglichen einheitliche Aussagen zu Dualität, Poisson-Summation und dem Sprachgebrauch automorpher Formen; sie übersetzen arithmetische Fragen in Analysis auf lokal kompakten Gruppen.

Umkehrung

Die duale Sichtweise betont Idelen (die multiplikative Gruppe der invertierbaren Adelen) oder nur den Ring der endlichen Adelen; fällt man die 'fast-integrale' Bedingung weg, erhält man das volle Produkt, das für viele arithmetische Anwendungen zu groß ist.

Abgrenzung

Adelen sind für globale Körper (Zahlkörper und Funktionenkörper von Kurven über endlichen Körpern) definiert und beruhen auf der Stellenmenge; Adèle-ähnliche Konstruktionen für beliebige Ringe erfordern Vorsicht und teilen nicht notwendigerweise die Struktur des restringierten Produkts oder die lokale Kompaktheit.

Semantische Spannung

Adèle versus Produkt der Komplettierungen: Das restringierte Produkt setzt eine Finitäts-/Integritätsbedingung voraus, die im uneingeschränkten Produkt fehlt; Adèle versus Idèle: Adelen sind ein additiver topologischer Ring, Idelen die multiplikative Gruppe, mit unterschiedlichen Rollen.

Synthese

Eine Adèle ist ein globales Tupel lokaler Koordinaten, eine pro Stelle, mit der Einschränkung, an fast allen endlichen Stellen ganzzahlig zu sein; dieses restringierte Produkt ergibt einen lokal kompakten topologischen Ring, der lokale und globale Arithmetik vereint und harmonische-analytische Methoden ermöglicht.