Reciprocity Maps

Reciprocity in Arithmetic

One of the oldest themes in number theory is reciprocity: the phenomenon that solvability conditions for one prime are controlled by arithmetic involving another prime.

The classical example is quadratic reciprocity, discovered by entity[“people”,“Carl Friedrich Gauss”,“German mathematician”]. It describes when a prime number $p$ is a quadratic residue modulo another prime $q$ .

For odd primes $p$ and $q$ ,

\left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{(p-1)(q-1)}4}.

At first sight, this formula appears mysterious. Why should congruences modulo $p$ and modulo $q$ interact at all?

Class field theory reveals that reciprocity laws arise from a deep correspondence between arithmetic objects and Galois groups. The central mechanism of this correspondence is the reciprocity map.

Frobenius Automorphisms

Let

L/K

be a finite abelian extension of number fields.

Suppose

\mathfrak{p}

is a prime ideal of $K$ unramified in $L$ .

Choose a prime

\mathfrak{P}

of $L$ above $\mathfrak{p}$ . The residue field extension is finite:

\mathcal{O}_L/\mathfrak{P} \supseteq \mathcal{O}_K/\mathfrak{p}.

The map

x\mapsto x^{N(\mathfrak{p})}

acts as an automorphism of the residue field, where

N(\mathfrak{p}) = |\mathcal{O}_K/\mathfrak{p}|.

This automorphism lifts uniquely to an element of the Galois group:

\mathrm{Frob}_{\mathfrak{p}} \in \mathrm{Gal}(L/K),

called the Frobenius automorphism.

It satisfies

\mathrm{Frob}_{\mathfrak{p}}(x) \equiv x^{N(\mathfrak{p})} \pmod{\mathfrak{P}}.

In abelian extensions, this automorphism depends only on $\mathfrak{p}$ , not on the chosen prime above it.

The Frobenius automorphism encodes how primes split inside field extensions.

From Primes to Galois Elements

The remarkable idea of class field theory is that prime ideals themselves should correspond systematically to Galois automorphisms.

Given an abelian extension

L/K,

one obtains a map

\mathfrak{p} \mapsto \mathrm{Frob}_{\mathfrak{p}}.

Multiplication of ideals corresponds to composition of automorphisms.

This relationship extends far beyond individual primes. It eventually produces a homomorphism from a global arithmetic group into the Galois group.

That homomorphism is the reciprocity map.

Ideal-Theoretic Reciprocity

Let

I_K

denote the group of fractional ideals of a number field $K$ .

Ignoring ramified primes temporarily, the Frobenius assignment extends multiplicatively:

\mathfrak{a} \mapsto \left( \frac{L/K}{\mathfrak{a}} \right),

called the Artin symbol.

For prime ideals,

\left( \frac{L/K}{\mathfrak{p}} \right) = \mathrm{Frob}_{\mathfrak{p}}.

The Artin symbol therefore converts arithmetic information about ideals into symmetry information inside Galois groups.

This construction generalizes quadratic reciprocity.

Local Reciprocity

The local theory provides the conceptual foundation.

Let $K$ be a local field, such as

\mathbb{Q}_p.

Local class field theory constructs a canonical homomorphism

\theta_K: K^\times \to \mathrm{Gal}(K^{\mathrm{ab}}/K),

called the local reciprocity map.

This map is continuous and surjective.

Moreover,

K^\times

controls all finite abelian extensions of $K$ .

The reciprocity map transforms multiplicative arithmetic into Galois symmetry.

For example, powers of a uniformizer correspond to Frobenius elements in unramified extensions.

Global Reciprocity

The global theory assembles all local reciprocity maps into a single global statement.

For a number field $K$ , define the idele group

\mathbb{A}_K^\times.

Class field theory constructs the global reciprocity map

\Theta_K: \mathbb{A}_K^\times \to \mathrm{Gal}(K^{\mathrm{ab}}/K).

This map is continuous and surjective.

Its kernel contains the diagonal image of

K^\times.

Consequently, the map descends to the idele class group:

C_K = \mathbb{A}_K^\times/K^\times.

The reciprocity map becomes

C_K \to \mathrm{Gal}(K^{\mathrm{ab}}/K).

This is the central map of global class field theory.

Artin Reciprocity Law

The reciprocity map satisfies a profound universal property.

Artin Reciprocity Theorem. The global reciprocity map induces an isomorphism

C_K/\overline{N_{L/K}(C_L)} \cong \mathrm{Gal}(L/K)

for every finite abelian extension

L/K.

Here

N_{L/K}

denotes the norm map.

Thus every finite abelian Galois group is obtained from arithmetic quotients of idele class groups.

This theorem completely characterizes abelian extensions in arithmetic terms.

Quadratic Reciprocity Revisited

Quadratic reciprocity becomes transparent through reciprocity maps.

For a quadratic extension

K(\sqrt d)/K,

the Frobenius automorphism at a prime determines whether $d$ is a quadratic residue modulo that prime.

The Legendre symbol

\left(\frac{d}{p}\right)

therefore describes the action of Frobenius.

Quadratic reciprocity expresses the symmetry of these Frobenius actions across different primes.

Thus classical reciprocity laws are shadows of the global reciprocity map.

Norms and Reciprocity

Norm maps play a central role in reciprocity theory.

For an extension

L/K,

the norm is

N_{L/K}(x) = \prod_{\sigma\in\mathrm{Gal}(L/K)} \sigma(x).

Elements arising as norms correspond precisely to elements acting trivially under reciprocity.

This relationship links multiplicative arithmetic with Galois structure.

The norm residue viewpoint later evolved into cohomological formulations of class field theory.

Reciprocity and Ramification

Ramified primes require special treatment.

The reciprocity map describes:

decomposition behavior;
inertia groups;
higher ramification.

Local units correspond to inertia subgroups, while uniformizers correspond to Frobenius automorphisms.

Thus reciprocity simultaneously encodes splitting and ramification.

This local structure becomes essential in arithmetic geometry and Galois representations.

Functorial Nature

Reciprocity maps are compatible with field extensions.

E/L/K

is a tower of fields, the reciprocity maps interact compatibly with norm maps and restriction maps between Galois groups.

This compatibility gives class field theory its categorical structure.

Arithmetic objects and Galois groups become dual descriptions of the same underlying phenomena.

Reciprocity in Modern Mathematics

Reciprocity maps remain central throughout modern arithmetic.

They appear in:

class field theory;
Iwasawa theory;
étale cohomology;
Galois representations;
automorphic forms;
the Langlands program.

Modern reciprocity laws generalize the Artin map from abelian groups to nonabelian representation-theoretic correspondences.

In this sense, reciprocity maps form the bridge between arithmetic and symmetry that underlies much of modern number theory.