Ideles, Hecke Characters, and Artin Reciprocity

The idele class group and its link to abelian Galois groups; source of abelian $L$-series
Ideles, Hecke Characters, and Artin Reciprocity

For a number field KK, the idele group is IK:=vKv×\mathbb I_K:=\prod_v' K_v^\times (restricted product with respect to Ov×\mathcal O_v^\times at finite vv), and the idele class group is CK:=K×\IKC_K:=K^\times\backslash \mathbb I_K.

A Hecke character (Grössencharakter) is a continuous homomorphism χ:CKC×\chi:C_K\to \mathbb C^\times; it has an Euler product L(s,χ)=vLv(s,χv)L(s,\chi)=\prod_v L_v(s,\chi_v).

Artin reciprocity identifies (canonically, up to the standard class field theory normalizations) the abelianized Galois group Gal(Kab/K)\mathrm{Gal}(K^{\mathrm{ab}}/K) with a profinite quotient of CKC_K, sending uniformizers to Frobenius elements.

In the letter: this realizes abelian Artin LL-series as LL-series of Hecke characters (example (iii)).