Arithmetic

Adeles and Ideles

Can the real numbers and all p-adic numbers be combined into a single algebraic structure? Chevalley's adeles answer yes - and this opens the door to class field theory and the Langlands program.

**Langlands program:** automorphic forms on GL(n, A_Q) are the central object linking number theory and representation theory
**L-functions:** Dirichlet L-functions as Euler products - the adelic language makes the factorization transparent
**Cryptography:** adelic constructions in post-quantum cryptography (isogeny-based schemes)
**Number theory:** the adelic proof of the Kronecker-Weber theorem is more elegant than the classical one

Предварительные знания

p-adic numbers Q_p
p-adic norms and completions
Basics of Galois theory

p-adic numbers

The Adele Ring

In the 1940s Claude Chevalley solved a technical problem in number theory: how to work with all completions of Q at once? The answer is the adele ring A_Q = R x prod'_p Q_p, which restores the 'local-global' principle of Hasse-Minkowski. Today the Langlands program is formulated on adeles: automorphic representations of GL(n, A_Q) are the central object of modern number theory.

Strong approximation: Q is dense in prod'_p Q_p (the finite adeles). For any finite set of p-adic approximations there is a single rational number satisfying all of them simultaneously - the adelic form of the Chinese Remainder Theorem for infinitely many primes.

For r = 12/35, which primes p give |r|_p > 1?

The Idele Class Group

The ideles I_Q = A_Q^x are the invertible adeles. The idele class group C_Q = I_Q / Q^x is the analog of the ideal class group in classical number theory. The main theorem: the Artin map C_Q -> Gal(Q^ab/Q) is an isomorphism of topological groups. This is class field theory, explicitly describing all abelian extensions of Q.

Local class field theory - a parallel theory for one p-adic field: K_p^x / N_{L/K}(L_p^x) is isomorphic to Gal(L_p^ab/K_p). Global theory glues local pieces into an adelic picture - the 'local-global' principle in action.

What does the Kronecker-Weber theorem say about the maximal abelian extension of Q?

Tate's Thesis and L-Functions

John Tate in his famous 1950 PhD thesis (advised by Artin) rewrote the classical theory of L-functions in adelic language. Analytic continuation and the functional equation of Dirichlet L(s, chi) received conceptual explanations via harmonic analysis on A_Q. This work became the foundation of the Langlands program - the unification of number theory and representation theory.

Adeles in modern mathematics

Adeles are the universal language for global number theory and arithmetic geometry.

Langlands program — Automorphic representations GL(n, A_K) - central objects; functoriality connects different groups via L-functions
Modular forms — Modular forms are automorphic forms on GL(2, A_Q) with weight k; the adelic language unifies the approach
Arithmetic geometry — Schemes over Spec(Z) and their adelic points; the Hasse-Minkowski theorem on quadratic forms
Tate's thesis — Analytic continuation and functional equation of L-functions via harmonic analysis on A_Q

Итоги

**Adele ring:** A_Q = R x prod'_p Q_p; restricted product of all completions of Q
**Diagonal embedding:** Q -> A_Q is discrete, A_Q/Q is compact (adelic Minkowski)
**Product formula:** prod_v |r|_v = 1 for all r in Q^x
**Strong approximation:** Q is dense in the finite adeles (adelic CRT)
**Idele class group:** C_Q = A_Q^x / Q^x; Artin map C_Q -> Gal(Q^ab/Q)
**Kronecker-Weber:** Q^ab = Q(zeta_n); Gal(Q^ab/Q) = prod_p Z_p^x
**Tate's thesis:** L-functions via harmonic analysis on A_Q; foundation of the Langlands program

What unites the Tate zeta integral with the classical Dirichlet L-function?