Skip to main content

Notes on class field theory

Section 6.6 Adelic Fourier analysis after Tate

Reference.

The original source is [4], XV; note that the “valuation vectors” used therein are our adèles, as per Remark 6.0.1. For a modern (and much less terse) treatment, see [42].
As an aside, we describe another classic use of adèles in algebraic number theory: the derivation of the analytic continuation and functional equation of Dedekind zeta functions and Dirichlet \(L\)-functions via Fourier analysis on the adèles, as described by Tate in his PhD thesis. This is meant merely as a guide to the latter, so we omit essentially all proofs.

Subsection Additive characters

Proof.

See [4], XV, Lemma 2.2.1.

Remark 6.6.2.

To choose a character \(X\) as in Lemma 6.6.1, we may precompose with a trace map to reduce to the case \(K = \QQ\text{.}\) In that case, for \(v = \infty\) we may take \(X\) to be the character \(t \mapsto e^{-2 \pi i t}\text{;}\) for \(v = p\text{,}\) we may take it to be \(t \mapsto e^{-2 \pi i \lambda(t)}\) where \(\lambda(t) \in \ZZ_{(p)}\) is congruent to \(t\) modulo \(\ZZ_p\text{.}\)
This discussion globalizes directly to the adèles, as long as we are careful about normalization.

Proof.

See [4], XV, Theorem 4.1.1.

Subsection Fourier inversion

Proof.

See [4], XV, Theorem 2.2.2.

Proof.

See [4], XV, Theorem 4.1.2.

Remark 6.6.6.

Crucially, there is also a version of the Poisson summation formula in this context. In classical Fourier analysis, this involves summing a function and its Fourier transform over the lattice \(\ZZ\) in \(\RR\text{.}\) In the adelic setup, the “lattice” is the subgroup \(K\) of \(\AA_K\text{,}\) and the result can also be viewed as an analogue of the Riemann-Roch theorem in complex geometry! See [4], XV, Theorem 4.2.1.

Subsection The space of quasi-characters

Definition 6.6.7.

Let \(K\) be a number field. By a quasi-character on the idèle class group \(C_K\text{,}\) we will mean any continuous homomorphism from this group into \(\CC^*\text{.}\) By contrast, a character is required to map into the unit circle.
For each quasi-character \(c\text{,}\) there exists a unique real number \(s\) such that \(|c(\alpha)| = |\alpha|^s\) for all \(\alpha \in I_K\) (where \(|\alpha|\) is defined as in Definition 6.2.7). We call \(s\) the exponent of \(c\text{.}\)
The space of quasicharacters on \(C_K\) contains a distinguished copy of \(\CC\text{:}\) each complex number \(s\) corresponds to the character \(\alpha \mapsto |\alpha|^s\text{.}\) The exponent of this character is precisely the real part of \(s\text{.}\)

Remark 6.6.8.

The adelic zeta function of \(K\) will be a function on the space of quasi-characters. Its restriction to the distinguished copy of \(\CC\) will give the usual zeta function. If we take the translate of this copy of \(\CC\) by some other quasi-character, we will end up computing the \(L\)-function associated to some Hecke character. The idea of the adelic setup is to package all of these Hecke \(L\)-functions together into a single object, which can be studied by an adelic analogue of the classical proof of analytic continuation for the Riemann zeta function. More on this below.

Subsection Zeta functions and \(L\)-functions

The classical approach to deriving the analytic continuation and functional equation for a Dedekind zeta function, or for Dirichlet \(L\)-functions, is to interpret via an integral representation (technically, as a Mellin transform of a theta series). The functional equation then follows from Poisson summation. Something similar is possible in the adelic situation, with the additional advantage of admitting a “local-global compatibility”.

Proof.

See [4], XV, Theorem 4.4.1.

Remark 6.6.10.

Theorem 6.6.9 looks a lot like what we are expecting except for the presence of the mysterious test function \(f\text{.}\) To get back to more classical statements like Theorem 2.4.2 and Theorem 2.4.5, one must choose \(f\) so that one can evaluate \(\hat{f}\) and have it come out to be something similar to \(f\text{.}\) See the very end of [4], XV for further discussion.