Codex @codex  0

A Hecke character of a number field is a continuous character of its idèle class group. Its finite conductor records the local unit subgroups on which it is trivial. As an ideal character it is defined on fractional ideals prime to that conductor, with a prescribed rule on principal ideals coming from its archimedean character. A CM elliptic curve yields an algebraic Hecke character with one CM embedding in its infinity type of a Hecke character.

Suppose $F$ contains the CM field $K$ and all CM endomorphisms are defined over $F$. CM reciprocity compares the torus with its idele-transformed lattice and gives $a(s)\in K^{\times }$ for finite ideles. Then ${\psi }_E(s)=a(s_f)/N_{F/K}(s{)}_{\infty }$. On principal ideles, $a(b_f)=N_{F/K}(b)$, so the character descends to the idèle class group. At a good prime its ideal value reduces to the Frobenius isogeny. If the original field omits $K$, construct the character over $FK$ and induce the corresponding representation down to the original field.

The idele group is the restricted product ${\prod }_v^{\prime }{K}_v^{\times }$ with respect to ${\mathcal{O}}_v^{\times }$ at finite places.

The $v$-component of the idele norm is ${\prod }_{w\mid v}{N}_{L_w/K_v}(x_w)$. It descends to an idèle class group norm $C_L\to C_K$.

The ideles congruent to one modulo $\mathfrak{m}$ have finite components in $1+{\mathfrak{p}}^{n_{\mathfrak{p}}}$ at primes in the finite modulus and positive components at selected real places. Their image in $C_K$ is the idelic congruence subgroup.

The idele group is the restricted productwith respect to ${\mathcal{O}}_v^{\ast }$ at the finite places. Thus $a=(a_v)$ is an idele if all components are nonzero and $a_v$ is a unit at all but finitely many finite places. Its topology has basic open sets which equal the full unit subgroup outside finitely many places; it is not just the subspace topology of the unrestricted product. The group is locally compact, and the diagonal $K^{\ast }$ consists of the principal ideles. The idèle class group is $C_K=J_K/K^{\ast }$.

The finite valuations give the idele-to-ideal homomorphismIts kernel is the product of the finite unit groups and the infinite multiplicative groups; principal ideles map to principal fractional ideals. Thus further quotienting gives the ideal class group. The product of normalized local moduli defines $|a{|}_J$; at complex places the normalized modulus is the square of the ordinary absolute value. The product formula says that principal ideles have modulus one. These constructions package ideals, units and archimedean conditions into one group.

Here is the precise reciprocity equivalence. For a finite abelian extension $L/K$, the global law is a continuous Artin reciprocity mapwhich kills $K^{\ast }$ and sends a uniformizer idele at an unramified place to arithmetic Frobenius. Its full class-field-theoretic norm statement is $C_K/N_{L/K}{C}_L\cong \mathrm{Gal}(L/K)$. In the local formulation, the mapsare continuous, kill local units when unramified, send a local uniformizer to the same Frobenius, are compatible with restriction in towers, and obeyHere $D_v$ is the decomposition group of any prime above $v$, independent of that choice because the extension is abelian. The usual local norm theorem identifies $K_v^{\ast }/N_{L_w/K_v}{L}_w^{\ast }$ with $D_v$. The principal-idele condition is the essential global compatibility; existence of unrelated local norm isomorphisms alone would not establish global reciprocity.

Given the compatible local maps, defineOnly finitely many factors are nontrivial: there are finitely many ramified places, and an idele is a unit almost everywhere. The product is a homomorphism. Continuity follows by choosing local kernel neighbourhoods at those exceptional places and the full unit groups elsewhere. The boxed compatibility kills $K^{\ast }$, so the map descends to $C_K$. At every unramified place it has the required Frobenius value. The local norm maps also show that idele norms are killed, since the local component of an idele norm is ${\prod }_{w\mid v}{N}_{L_w/K_v}(b_w)$. Together with the class-field norm-index statement this gives the global norm-kernel formulation.

Conversely, embed $K_v^{\ast }$ in $J_K$ with every other component one, and set $r_v=\theta \circ {\iota }_v$. Each restriction is continuous and has the required unramified normalization. An open kernel of the finite-valued global map contains a basic neighbourhood whose unrestricted finite-place factors are full unit groups outside a finite set. Hence those local restrictions kill units. For an arbitrary idele, remove the finitely many exceptional and nonunit components; the remainder lies in that kernel neighbourhood. It follows directly that $\theta$ is exactly the product of its local restrictions, not merely a map agreeing on single-component ideles. Its triviality on $K^{\ast }$ is exactly the boxed product relation. With the decomposition and norm assertions of the reciprocity theorem, these restrictions are the local reciprocity maps into $D_v$ with kernel $N_{L_w/K_v}{L}_w^{\ast }$.

One can explicitly connect this idelic formulation with the classical ideal law without assuming an idelic law in advance. A modulus of a number field records finitely many nonnegative exponents at finite places and a selected subset of real places. For a modulus $\mathfrak{m}$, let $U_{\mathfrak{m}}$ have factors $1+{\mathfrak{p}}_v^{m_v}$ at finite places dividing the modulus, full units at other finite places, positive real numbers at specified real places, and full infinite multiplicative groups otherwise. Weak approximation for number fields supplies a global $a\in K^{\ast }$ making $a^{-1}j$ lie in the specified local factors at the finitely many modulus places. Its valuations outside the modulus define an ideal prime to $\mathfrak{m}$. A different such $a$ changes that ideal by a ray-principal ideal, and every ideal prime to $\mathfrak{m}$ is obtained. HenceAn ideal Artin map killing $P_K(\mathfrak{m})$ therefore extends to $J_K$ via this isomorphism; restricting it gives the local maps just constructed. Conversely, continuous local maps satisfying the product condition have an open product kernel containing some $U_{\mathfrak{m}}$ and hence make the ideal Artin map kill $P_K(\mathfrak{m})$. This proves the idelic local-global reciprocity equivalence at the reciprocity-law level as well as the formal conversion of maps. The arithmetic Frobenius normalization and product relation agree with Milne's local-global reciprocity formulation.

The existence theorem of global class field theory, together with reciprocity, gives an inclusion-reversing bijection between finite abelian extensions $L/K$ inside a fixed algebraic closure and open finite-index subgroups of the idèle class group $C_K$. The subgroup for $L$ is $N_{L/K}{C}_L$, andEquivalently, for each modulus $\mathfrak{m}$, subgroups between the ray-principal group $P_K(\mathfrak{m})$ and the ideal group $I_K(\mathfrak{m})$ classify abelian extensions whose conductor divides $\mathfrak{m}$. Their quotients are identified with the corresponding Galois groups by the Artin map. Changing the modulus gives the same extension when the induced congruence subgroup is the same.

The conductor criterion says that a finite place has conductor exponent zero exactly when the extension is unramified there; a real place is absent from the conductor exactly when it stays real. Thus conductor one means unramified at every finite place and no real-to-complex ramification.

Apply the existence theorem to the open subgroup of $C_K$ which is the image ofThe idele-to-ideal map identifies the quotient by this subgroup with the ordinary ideal class group, which is finite. Therefore its class field $H$ exists and satisfiesIts conductor is one, so it is everywhere unramified. Conversely any everywhere-unramified abelian extension has conductor one; its Artin map kills $U$, hence factors through this quotient and corresponds to an extension contained in $H$. This proves that $H$ is exactly the Hilbert class field, the maximal abelian everywhere-unramified extension. Here the ordinary ideal class group is appropriate because the infinite factors include all $K_v^{\ast }$, rather than only the positive real factors used in a narrow ray class group.

The construction must first specify the field of definition of the complex multiplication. Let $E/F$ be a CM elliptic curve and let $K$ be its geometric CM field, embedded by its action on an invariant differential. In characteristic zero this action is injective. Consequently every geometric endomorphism is defined over $F^{\prime }=FK$: a Galois automorphism fixing $FK$ fixes its differential scalar and therefore fixes the endomorphism itself. Initially assume $F$ already contains $K$; we return to the other case below.

Choose a complex embedding and an analytic complex uniformization of an elliptic curvewhere $\mathfrak{a}$ is a lattice in $K$, stable under the CM order $R$. It need not be the maximal order or a principal ideal. Its torsion is described by the finite adelic quotients of this lattice.

The input from the CM reciprocity theorem is precise: if $s$ is an idele of $F$, $n=N_{F/K}s$, and $\sigma ={\mathrm{Art}}_F(s)$, then $\sigma$ takes the CM torus to the torus with lattice $n_f^{-1}L$; on torsion the comparison is induced by multiplication by $n_f^{-1}$. This reciprocity statement comes from the ideal action on CM lattices: an ideal $\mathfrak{b}$ gives the isogeny to ${\mathfrak{b}}^{-1}L$, composition multiplies ideals, and adding torsion level structure removes automorphism ambiguity. The resulting action on algebraic CM points is the ray-class Artin action. This is the deep CM input, not an assertion that an arbitrary abelian Galois representation automatically comes from an algebraic Hecke character.

Because $\sigma$ fixes $F$, the algebraic curve $E^{\sigma }$ is $E$. Comparing the reciprocity uniformization with the original one therefore gives multiplication by a scalarThe scalar belongs to $K$: a complex scalar carrying one lattice contained in $K$ to another is the quotient of two nonzero lattice elements. Its torsion action isThe uniqueness of the torsion-compatible comparison is important: two possible scalars would induce the same action on all torsion, hence their difference would annihilate torsion of arbitrarily large order and be zero. Multiplying the torsion-action formulas for $s_f$ and $t_f$ now proves $a(s_f{t}_f)=a(s_f)a(t_f)$.

For $b\in F^{\times }$, Artin reciprocity sends its principal idele to the identity. The archimedean factors are complex and connected, so its finite part also has trivial Artin image. The preceding formula therefore givesIt follows thatis trivial on principal ideles and defines a character of the idèle class group of $F$. This establishes the multiplicativity and principal-idele condition, rather than merely prescribing Frobenius values and hoping that they extend.

We must still prove continuity and a finite conductor. For a finite place $v$ and a prime $\ell$ different from its residue characteristic, an idele supported on the units at $v$ has trivial $\ell$-component of its norm. Thus its action on the Tate module is exactly multiplication by $a(u)$. At a place of good reduction, inertia acts trivially, so $a(u)=1$. At a bad place, a CM curve has potentially good reduction, and inertia on the prime-to-residue-characteristic Tate module has finite image. Hence $a$ is trivial on an open subgroup of the local units there. There are only finitely many bad places. Together these facts give an open finite-congruence kernel on the unit ideles and prove continuity. The archimedean norm factor is already continuous. The potentially-good-reduction and inertia facts are the reduction-theoretic inputs in Serre and Tate's treatment of CM abelian varieties.

Consequently ${\psi }_E$ is a Hecke character. In ideal notation, for $b\equiv 1(\mathrm{mod}\mathfrak{f})$,so its infinity type of a Hecke character is the type determined by the chosen CM embedding, with the inverse archimedean norm in the idele convention. Nonmaximal orders merely contribute additional finite-level conditions; the proof retains their lattice and does not replace it by the maximal-order lattice without justification.

At a good prime $v$, choose a uniformizer idele and a prime $\ell$ different from the residue characteristic. Its norm has trivial $\ell$-component, so arithmetic Frobenius acts on the Tate module by ${\psi }_E(v)$. Specialization of prime-to-residue-characteristic torsion identifies this with the reduced Frobenius isogeny. ThusThe corresponding Hasse-Weil L-function factors as $L(E/F,s)=L({\psi }_E,s)L({\bar{\psi }}_E,s)$, including the local factors determined by inertia. This explains why the Hecke character encodes both the torsion representations and the Euler factors.

If $F$ does not contain $K$, apply the construction over $FK$. The two conjugate CM characters are exchanged by the nontrivial automorphism of $FK/F$, and the two-dimensional Galois representation over $F$ is their induced representation. In that case the natural description is $L(E/F,s)=L({\psi }_E/FK,s)$ by induction, rather than a pair of one-dimensional characters over $F$. Question 3 supplies a concrete example: $\mathbb{Q}$ does not define $[i]$, whereas $\mathbb{Q}(i)$ does. This completes the existence argument for an arbitrary CM curve over a number field, with its field of definition correctly accounted for.

For $\alpha =({\alpha }_v)\in {\mathbb{I}}_K$, the congruence $\alpha \equiv 1(\mathrm{mod}\mathfrak{m})$ meansAt finite primes outside the modulus require ${\alpha }_{\mathfrak{p}}\in {\mathcal{O}}_{\mathfrak{p}}^{\times }$. These ideles form ${\mathbb{I}}_K(\mathfrak{m})$. Their imageinside the idèle class group is the idelic congruence subgroup.