Adeles & ideles — flashcards

For nonzero rational x, the ordinary absolute value times the product of all p-adic ones equals 1. Every place is accounted for, and no single one is privileged.

Analytic continuation and the functional equation of Hecke L-functions, reproved as Fourier analysis on the adeles. The functional equation becomes Poisson summation.

st/tate-thesis reproves Hecke L-function analytic continuation via Fourier analysis on the adeles. At a single p-adic place, the local piece of that machinery — Tate's local zeta integral Z(f,s) = ∫_{Q_p*} f(x)|x|_p^s d*x — is exactly the p-adic analogue of the (archimedean) Mellin transform, using the multiplicative Haar measure d*x in place of dx/x. For f the indicator of Z_p, it sums to (1−p⁻¹)/(1−p^{-(s+1)}), the local Euler factor itself — so the Euler factor at p is literally a Mellin transform value, not just an analogue of one by loose resemblance.

st/tate-thesis reproves the Hecke L-function functional equation as Poisson summation on Q embedded diagonally in its adele ring A_Q — a consequence of the product formula ∏_v |x|_v = 1 over all places v (finite and infinite), which underlies the whole construction and was checked directly for a specific rational number. Carrying this local/global structure one step further: the log-derivative ξ'(s)/ξ(s) of the completed zeta function decomposes exactly into two pieces — an archimedean piece built from the digamma function (from the Gamma factor at the infinite place) plus a finite-place piece built from the von Mangoldt function (from the Euler product over primes) — verified numerically to 17 digits. The local zeta integral at a single prime p, Z(f,s) for f the indicator of Z_p, sums directly to the Euler factor 1/(1-p^{-s}); the global decomposition is what happens when every place's local computation is assembled at once under the product-formula constraint.

Artin and Whaples, 1945.

John Tate, 1950.

You may study a problem at a single completion, or assemble every place at once into the adeles. Neither is the default; the product formula says no place is privileged, and choosing one is a choice.

All completions of a number field handled at once, as a single restricted product. The device that turns ‘check every place separately’ into one object with its own analysis.