Adèles

Section 6.1 Adèles

Reference.

[37]; [38], VI.1 and VI.2; [34], VII.

Subsection Lattices of number fields

The basic idea is that we want some sort of “global completion” of a number field

K .

Let us first recall an older version of this idea: Minkowski’s construction of the Euclidean lattice associated to a number field. We follow [38], I.5.

🔗

Definition 6.1.1.

Let

K

be a number field of degree

n .

It then has

n

distinct embeddings

τ : K \to C .

The product embedding

🔗

j : K \to \prod_{τ} C, a \mapsto (τ (a))_{τ}

induces an isomorphism of

K_{C} = K \otimes_{Q} C

with

\prod_{τ} C .

🔗

The ring

K_{C} = K \otimes_{Q} C

admits an involution

F

which fixes

K

and acts on

C

via complex conjugation. The corresponding action on

\prod_{τ} C

🔗

(z_{τ})_{τ} \mapsto (\overset{―}{z_{\overset{―}{τ}}})_{τ}

where

\overset{―}{τ}

denotes the composition of

τ

with complex conjugation on

C .

The fixed subring under

F

K_{R} = K \otimes_{Q} R .

🔗

Equip

K_{C} ≅ \prod_{τ} C

with the standard Hermitian inner product, that is,

🔗

⟨ z_{1}, z_{2} ⟩ = \sum_{τ} z_{1, τ} \overset{―}{z_{2, τ}} .

This restricts to a positive definite inner product on

K_{R} .

🔗

Via the embedding of

K

into

K_{R},

o_{K}

corresponds to a lattice in

K_{R},

i.e., a discrete cocompact subgroup. Similarly, any fractional ideal of

K

corresponds to a lattice in

K_{R} .

🔗

Subsection Profinite completions

Let us put aside the Minkowski construction for the moment and turn to some more arithmetic considerations. We have already used in multiple places the fact that the profinite completion

\hat{Z}

of the group

Z

can be identified, via the Chinese remainder theorem, with the product

\prod_{p} Z_{p} .

This generalizes to an arbitrary number field as follows.

🔗

Remark 6.1.2.

Before continuing, we should clarify our use of notation like

\hat{o_{K}}

to denote the profinite completion of

o_{K}

for

K

a number field. We originally defined this as an inverse limit over finite group quotients of

o_{K} .

However, remember that we can define the same inverse limit using any smaller collection of quotients which is cofinal (that is, any finite quotient factors through some chosen quotient). In particular, if

G

is a subgroup of

o_{K}

of some finite index

n,

then

n o_{K} \subseteq G

and so the quotient map

o_{K} \to o_{K} / G

factors through the ring quotient

o_{K} / n o_{K} .

That is,

\hat{o_{K}}

can be identified with the inverse limit

{\lim_{\leftarrow}}_{n} o_{K} / n o_{K},

and hence also carries the structure of a topological ring.

🔗

Lemma 6.1.3.

For

K

a number field, there is a natural isomorphism of compact topological rings

\hat{o_{K}} \to \prod_{p} \underset{m}{\lim_{\leftarrow}} o_{K} / p^{m}

where

p

runs over (nonzero) prime ideals of

o_{K} .

🔗

Proof.

As in Remark 6.1.2, we identify

\hat{o_{K}}

with

{\lim_{\leftarrow}}_{n} o_{K} / n o_{K} .

This ring maps to

o_{K} / p^{m}

for each prime

p

and each positive integer

m;

putting these maps together gives us a map

\hat{o_{K}} \to {\lim_{\leftarrow}}_{m} o_{K} / p^{m}

for each

p,

and hence a map to the product.

To see that this map is a bijection, factor the ideal

n o_{K}

p_{1}^{e_{1}} \dots p_{r}^{e_{r}}

for some primes

p_{1}, \dots, p_{r}

and some positive integers

e_{1}, \dots, e_{r} .

By the Chinese remainder theorem for ideals in a Dedekind domain, the natural map

o_{K} / n o_{K} \to \prod_{i = 1}^{r} o_{K} / p_{i}^{e_{i}}

is an isomorphism. This immediately implies that the original map is injective. To see that the original map is surjective, we must also observe that for each prime

p

and each positive integer

m,

there exists a positive integer

n

such that

n o_{K}

is divisible by

p^{m};

for instance, we may take

n

to be the absolute norm of

p^{m} .

Remark 6.1.4.

We cannot help mentioning a variant of Remark 6.1.2 that plays a key role in

p

-adic Hodge theory. Let

C_{p}

be a completed algebraic closure of

Q_{p} .

Consider the inverse system

🔗

\dots \overset{x \mapsto x^{p}}{\to} o_{C_{p}} \overset{x \mapsto x^{p}}{\to} o_{C_{p}} .

Since the maps are multiplicative but not additive, the inverse limit only appears to carry the structure of a multiplicative monoid. However, it was originally observed by Fontaine that the natural map from this inverse system to the inverse system

🔗

\dots \overset{x \mapsto x^{p}}{\to} o_{C_{p}} / p o_{C_{p}} \overset{x \mapsto x^{p}}{\to} o_{C_{p}} / p o_{C_{p}}

is an isomorphism. In this inverse system, the maps upgrade to ring homomorphisms because

(x + y)^{p} = x^{p} + y^{p}

in any ring in which

p = 0;

consequently, the original inverse limit is upgraded to a ring! This then implies that the inverse limit of the system

🔗

\dots \overset{x \mapsto x^{p}}{\to} C_{p} \overset{x \mapsto x^{p}}{\to} C_{p}

is again a ring; it is in fact an algebraically closed field which is complete with respect to a certain nonarchimedean absolute value. This construction has come to be known as forming the tilt of

C_{p},

and generalizes to a large class of fields which are complete with respect to nonarchimedean absolute values (the perfectoid fields). See [3] for an introduction to this circle of ideas.

🔗

Subsection The adèles (rational case)

Our next step is to put the Minkowski construction together with profinite completion to define the ring of adèles. Let us do this first in the case of the rational numbers.

🔗

Definition 6.1.5.

We define the ring of finite adèles

A_{Q}^{fin}

as any of the following isomorphic objects:

🔗

the tensor product $\hat{Z} \otimes_{Z} Q;$
the direct limit of $\frac{1}{n} \hat{Z}$ over all nonzero integers $n;$
the restricted direct product $\prod_{p}^{'} Q_{p},$ where we only allow tuples $(α_{p})$ for which $α_{p} \in Z_{p}$ for almost all $p .$ See Definition 6.1.6.

This is a locally compact topological ring, with the groups

\frac{1}{n} \hat{Z}

forming a fundamental system of neighborhoods of 0 consisting of compact subgroups. The natural group homomorphism

🔗

Q / Z \to A_{Q}^{fin} / \hat{Z}

is an isomorphism.

🔗

In preparation for the definition of adèles associated to a general number field, we introduce the formalism of restricted products.

🔗

Definition 6.1.6.

Let

I

be an index set. For each

i \in I,

let

G_{i}

be a set and let

H_{i}

be a set of

G_{i} .

The restricted (direct) product

G

of the pairs

(G_{i}, H_{i})

is the set of tuples

(g_{i})_{i = 1}^{\infty}

such that

g_{i} \in H_{i}

for all but finitely many indices

i .

Another way to say this is to define, for each finite subset

S \subseteq I,

the set

🔗

G_{S} = \prod_{i \in S} G_{i} \times \prod_{i \notin S} H_{i}

and take

G = ⋃_{S} G_{S} .

🔗

We upgrade this construction from sets to richer categories as follows.

🔗

If each $G_{i}$ is a group and each $H_{i}$ is a subgroup, then $G$ admits a group structure.
If each $G_{i}$ is a ring and each $H_{i}$ is a subring, then $G$ admits a ring structure. (However, if each $G_{i}$ is a field, then $G$ cannot be a field unless $I$ is a singleton set.)
If each $G_{i}$ is a locally compact topological space and each $H_{i}$ is a compact subspace, then $G$ may be viewed as a locally compact topological space. One way to see this is to use a system of neighborhoods of the identity given by taking products of compact neighborhoods $S_{i} \subseteq G_{i}$ in which $S_{i} = H_{i}$ for all but finitely many $i .$ (Remember that by Tikhonov’s theorem, any product of compact topological spaces is compact.) Another way is to equip each subset $G_{S}$ with the product topology, then declare a subset $U \subset G$ to be open if its intersection with each $G_{S}$ is an open subset of $G_{S} .$
Likewise, if each $G_{i}$ is a locally compact topological group/ring and each $H_{i}$ is a compact subgroup/subring, then $G$ may be viewed as a locally compact topological group/ring.

🔗

Definition 6.1.7.

Define the ring of adèles over

Q

A_{Q} = R \times A_{Q}^{fin} .

Then

A_{Q}

is a locally compact topological ring with a canonical embedding

Q ↪ A_{Q} .

We refer to the elements of

Q

as principal adèles within

A_{Q} .

🔗

We may also view

A_{Q}

as a restricted direct product of the pairs

🔗

(R, {0}), (Q_{2}, Z_{2}), (Q_{3}, Z_{3}), \dots;

note that taking the subgroup

{0}

R

has no real effect because the definition of the restricted product involves checking membership in the chosen subgroup for all but finitely many indices.

🔗

Remark 6.1.8.

Note that

A_{Q}

contains the neighborhood

U

0

consisting of tuples

(x)_{v}

where

| x |_{\infty} < 1

and

| x |_{p} \leq 1

for all primes

p .

Any element of the intersection

U \cap Q

must be an integer (because of the condition at primes), but cannot be a nonzero integer (due to the condition at the real place); hence

U \cap Q = {0} .

That is, just as

Z

sits inside

R

as a discrete subgroup,

Q

sits inside

A_{Q}

as a discrete subgroup.

🔗

In fact, we can do somewhat better. Just as the quotient group

R / Z

is covered by the compact subset

[0, 1]

R

(and therefore is compact: a continous map from a compact topological space to Hausdorff topological space has compact image), the quotient group

A_{Q} / Q

is covered by a compact subset

🔗

[0, 1] \times \prod_{p} Z_{p}

(see Exercise 1).

🔗

Remark 6.1.9.

In general, the restricted direct product of pairs

(G_{i}, H_{i})

does not carry the subspace topology from the ordinary product

\prod_{i} G_{i} .

We may see a concrete example using

A_{Q}^{fin} :

for each prime

p,

let

e_{p}

be the element consisting of

\frac{1}{p}

in the place

v = p

and 0 elsewhere. Then the sequence

{e_{p}}

converges to zero in

\prod_{i} G_{i}

but not in the restricted product: no cofinite subset of the sequence belongs to any neighborhood of 0.

🔗

Subsection The adèles (general case)

We now put the Minkowski construction together with profinite completion to define the ring of adèles of a number field.

🔗

Definition 6.1.10.

Let

K

be a number field. By Lemma 6.1.3, the profinite completion

\hat{o_{K}}

is canonically isomorphic to

\prod_{p} o_{K_{p}} .

We may thus define the ring of finite adèles

A_{K}^{fin}

as any of the following isomorphic objects:

🔗

the tensor product $\hat{o_{K}} \otimes_{o_{K}} K;$
the direct limit of $\frac{1}{α} \hat{o_{K}}$ over all nonzero $α \in o_{K};$
the restricted direct product of the pairs $(K_{p}, o_{K_{p}})$ over all primes $p$ of $K .$

The natural homomorphism

🔗

K / o_{K} \to A_{K}^{fin} / \hat{o_{K}}

is an isomorphism.

🔗

The ring of adèles

A_{K}

is the product

K_{R} \times A_{K}^{fin} .

In other words, this is the restricted product of the pairs

(K_{v}, {0})

for infinite places

v

and

(K_{v}, o_{K_{v}})

for finite places

v .

We again have a diagonal embedding

K ↪ A_{K};

we again refer to the elements of the image of this embedding as principal adèles.

🔗

Definition 6.1.11.

For each place

v

K,

let

| ∙ |_{v}

be the absolute value on the completion

K_{v}

normalized as follows.

🔗

For $v$ real, take the usual real absolute value.
For $v$ complex, take the square of the usual absolute value. (This does not satisfy the triangle inequality; sorry.)
For $v$ a finite place above the prime $p,$ normalize so that $| p |_{v} = p^{- 1} .$

We then have a well-defined function

| ∙ |

A_{K}

given by

🔗

| x |_{K} = \prod_{v} | x |_{v};

this makes sense because by virtue of the definition of a restricted direct product, all but finitely many of the values

| x |_{v}

are equal to 1.

🔗

Proposition 6.1.12. Product formula.

α \in K^{*},

then

| α |_{K} = 1 .

(By contrast,

| 0 |_{K} = 0 .

)

🔗

Proof.

The normalizations have been chosen so that for each place

v

Q,

for each

α \in K,

the product of

| α |_{w}

over all places

w

K

above

p

equals

| {Norm}_{L / K} (α) |_{v} .

Taking the product over

v,

we deduce that

| α |_{K} = | {Norm}_{L / K} (α) |_{Q} .

That is, the product formula reduces to the case

K = Q,

which we may check directly: for

α = \pm p_{1}^{e_{1}} \dots p_{r}^{e_{r}},

| α |_{v} = {\begin{cases} p_{1}^{e_{1}} \dots p_{r}^{e_{r}} & if v = \infty \\ p_{i}^{- e_{i}} & if v = p_{i} for some i \\ 0 & otherwise. \end{cases}

Corollary 6.1.13.

The subset

K

A_{K}

is discrete.

🔗

Subsection Adelic $S$ -integers

Definition 6.1.14.

For any finite set

S

of places, let

A_{K, S}

(resp.

A_{K, S}^{fin}

) be the subring of

A_{K}

(resp.

A_{K}^{fin}

) consisting of those adèles which are integral at all finite places not contained in

S .

The elements of

A_{S}

might be thought of as “adelic

S

-integers”.

🔗

We can formulate an adelic analogue of the Chinese remainder theorem.

🔗

Proposition 6.1.15.

For any finite set

S

of places,

K + A_{K, S}^{fin} = A_{K}^{fin}

and

K + A_{K, S} = A_{K} .

🔗

Proof.

See Exercise 2.

We end up with an adelic analogue of the Minkowski embedding, but with the role of

o_{K}

played by the entire field

K!

🔗

Corollary 6.1.16.

The quotient group

A_{K} / K

is compact.

🔗

Proof.

Choose a compact subset

T

of the Minkowski space

M

containing a fundamental domain for the lattice

o_{K} .

Then every element of

M \times A_{K}^{fin}

is congruent modulo

o_{K}

to an element of

T \times A_{K}^{fin} .

However, we can also interpret

M \times A_{K}^{fin}

A_{K, S}

where

S

is the set of infinite places of

K .

We may thus apply Proposition 6.1.15 to see that

\begin{aligned} M / o_{K} \times A_{K}^{fin} & ≅ (M \times A_{K}^{fin}) / o_{K} \\ ≅ A_{K, S} / o_{K} = A_{K, S} / (K \cap A_{K, S}) \\ = (K + A^{K, S}) / K \to A_{K} / K \end{aligned}

is surjective. Consequently, the compact set

T \times A_{K}^{fin}

surjects onto

A_{K} / K;

the latter is Hausdorff by Corollary 6.1.13, so it being covered by a compact set makes it also compact.

Remark 6.1.17.

We mention in passing that just as the various completions of

Q

are “rigid” in the sense that they have no nontrivial automorphisms even if you ignore the topology (Exercise 3), the ring

A_{Q}

also has no nontrivial automorphisms even if you ignore the topology (Exercise 6).

🔗

Subsection The approximation theorem

We already mentioned one analogue of the Chinese remainder theorem (Proposition 6.1.15). Here is another one.

🔗

Proposition 6.1.18. Approximation theorem.

Let

S

be a finite set of places of

K .

For each

v \in S,

let

U_{v}

be an open subgroup of

K_{v} .

Then

K \cap ⋂_{v \in S} U_{v} \neq \emptyset .

🔗

Proof.

See Exercise 7.

🔗

Exercises Exercises

1.

Prove that the map from

[0, 1] \times \prod_{p} Z_{p}

A_{Q} / Q

is surjective.

🔗

2.

Prove Proposition 6.1.15.

🔗

3.

Let

K

be a number field and let

v

be a place of

K

which is not complex. Prove that every automorphism of the field

K_{v}

(as a ring without topology) is continuous. (See Remark 6.3.3 for discussion of how this breaks down when

v

is complex.)

🔗

Hint.

For a real place, note that any automorphism of

R

preserves the perfect squares and hence the order relation. For a finite place, let

q

be the cardinality of the residue field of

v .

Show first that an element of

K_{v}^{*}

belongs to

o_{K_{v}}^{*}

if and only if it has an

m

-th root for every positive integer

m

coprime to

p (q - 1) .

Then note that an element of

K_{v}

belongs to

o_{K_{v}}

iff it is a difference of two elements of

o_{K_{v}}^{*} .

🔗

4.

Let

S

be a finite set of places of a number field

K,

none of which is complex. Prove that every automorphism of

\prod_{v \in S} K_{v}

(as a ring without topology) is continuous.

🔗

Hint.

Using Exercise 3, reduce to checking that for two noncomplex places

v

and

w

K,

lying over distinct places of

Q,

the completions

K_{v}

and

K_{w}

are not isomorphic as underlying rings. To prove this, consider the set of

x \in K

which are squares in

K_{v},

and similarly for

w .

🔗

5.

Let

K

be a number field and let

v

be a place of

K

which is not complex. Let

Q (x, y, z)

be a quadratic form over

K

defined as follows.

🔗

If $v$ is real, put $Q (x, y, z) := x^{2} + y^{2} + z^{2} .$
If $v$ is finite lying over the rational prime $p,$ choose $a \in K \cap o_{K_{v}}^{*}$ whose image in the residue field of $v$ is not a quadratic residue, and put $Q (x, y, z) := x^{2} - a y^{2} + p z^{2} .$

Let

T

be the intersection of the images of the maps

c Q : A_{K}^{3} \to A_{K}

over all

c \in K^{*} .

Prove that

T = \ker (A_{K} \to \prod_{w \in S} K_{w})

for some finite set

S

of places of

K

containing

v .

🔗

Hint.

Use Hensel’s lemma to show that for

w

a finite place not lying above 2,

a, b, c \in o_{K_{w}}^{*},

and

t \in K_{w}^{*},

the equation

a x^{2} + b y^{2} + c z^{2} = t

always has a solution with

a, b, c \in K_{w}^{*} .

🔗

6.

Prove that every automorphism of the ring

A_{Q},

not necessarily continuous, is trivial.

🔗

Hint.

Use Exercise 4 and Exercise 5 to prove that the map

A_{Q} \to \prod_{v} Q_{v}

is equivariant for any automorphism of

A_{Q}

and the trivial action on

\prod_{v} Q_{v} .

Luckily

Q

has no complex places!

🔗

7.

Prove Proposition 6.1.18.

🔗

Hint.

Prove by induction on

n

that given any pairwise distinct places

v_{1}, \dots, v_{n},

we can find

x \in K

with

| x |_{v_{1}} > 1, | x |_{v_{2}} < 1, \dots, | x |_{v_{n}} < 1 .

Then make a careful linear combination of powers of such elements. For more details, see [38], Theorem II.3.4.

🔗

Prev Top Next

Section 6.1 Adèles

Reference.

Subsection Lattices of number fields

Definition 6.1.1.

Subsection Profinite completions

Remark 6.1.2.

Lemma 6.1.3.

Proof.

Remark 6.1.4.

Subsection The adèles (rational case)

Definition 6.1.5.

Definition 6.1.6.

Definition 6.1.7.

Remark 6.1.8.

Remark 6.1.9.

Subsection The adèles (general case)

Definition 6.1.10.

Definition 6.1.11.

Proposition 6.1.12. Product formula.

Proof.

Corollary 6.1.13.

Subsection Adelic S-integers

Definition 6.1.14.

Proposition 6.1.15.

Proof.

Corollary 6.1.16.

Proof.

Remark 6.1.17.

Subsection The approximation theorem

Proposition 6.1.18. Approximation theorem.

Proof.

Exercises Exercises

1.

2.

3.

4.

5.

6.

7.

Subsection Adelic $S$ -integers