nLab
ring of adeles

Contents

Idea

The ring of adeles 𝔸 k\mathbb{A}_k of any global field kk – in particular of the rational numbers \mathbb{Q} – is the restricted product of all formal completions k vk_v of kk at all its places vv, where the restriction is such that only a finite number of components have norm greater than 1. (This has a useful geometric interpretation and motivation by the function field analogy, more on which below).

In particular the ring of adeles of the rational numbers is equivalently the rationalization of the product of all p-adic integers (including the “prime at infinity”).

In classical algebraic number theory one embeds a number field into the cartesian product of its completions at its archimedean absolute values. This embedding is very useful in the proofs of several fundamental theorems. For example, the algebraic integers in the number field embed discretely and co-compactly into this cartesian product, i.e., as a lattice, and this opens the way for example to the concrete realization of the group of units (modulo torsion) as a lattice, and also to the technique of Fourier analysis where Poisson summation applied to the lattice has classical implications for theta functions and zeta functions.

It was noticed by Claude Chevalley and André Weil that the situation is made even better if the number field itself is embedded in the cartesian product of its formal completions at all of its absolute values. With a few additional restrictions, these objects are known as the adeles, and the units of this ring are called the ideles. Under these restrictions, the given number field embeds discretely and cocompactly into the adeles, i.e., behaves as a lattice where it is again possible to apply Poisson summation.

When considering the adeles and ideles, it is their topology as much as their algebraic structure that is of interest. Many important results in number theory translate into simple statements about the topologies of the adeles and ideles. For example, the finiteness of the ideal class group and the Dirichlet unit theorem are equivalent to a certain quotient of the ideles being compact and discrete.

(Weston, p. 1)

Definition

The concept of a ring of adeles (older synonym: ring of valuation vectors) makes sense for any global field, hence for any finite-dimensional field extension of either the rational numbers or of a function field over a finite field. The ring of adeles of the rational numbers themselves is the classical case which we discuss first in

Then we consider the definition more generally

and finally in full generality

For the rational numbers

We start off very simply with the algebraic description of the adele ring over the rational numbers.

Definition

The ring of integral adeles 𝔸 \mathbb{A}_{\mathbb{Z}} is the product of the profinite completion of the integers ^\widehat{\mathbb{Z}}, with the real numbers

𝔸 ×^. \mathbb{A}_{\mathbb{Z}} \coloneqq \mathbb{R} \times \widehat{\mathbb{Z}} \,.

The ring of adeles 𝔸 \mathbb{A}_{\mathbb{Q}} (or just 𝔸\mathbb{A}, for short) itself is the rationalization of the ring of integral adeles, hence its tensor product with the rational numbers

𝔸 𝔸 . \mathbb{A}_\mathbb{Q} \coloneqq \mathbb{Q} \otimes_\mathbb{Z} \mathbb{A}_\mathbb{Z} \,.

This definition has various equivalent reformulations which are often useful.

Remark

By this proposition we have that the profinite completion of the integers is equivalently the product of all p-adic integers as pp ranges over all prime numbers

^pprime p \hat \mathbb{Z} \simeq \underset{p\;prime}{\prod} \mathbb{Z}_p

Using this in def. says that the ring of integral adeles is the product

𝔸 ×pprime p. \mathbb{A}_{\mathbb{Z}} \simeq \mathbb{R} \times \underset{p\;prime}{\prod} \mathbb{Z}_p \,.

From this one obtains the following equivalent characterization:

Proposition

The ring of adeles 𝔸\mathbb{A}, def. , is equivalently the restricted product \prod^\prime of the p-adic rational numbers, the restriction being along the inclusion p p\mathbb{Z}_p \to \mathbb{Q}_p:

𝔸 =× pprime p \mathbb{A}_{\mathbb{Q}} = \mathbb{R} \times \underset{p \; prime}{\prod^\prime} \mathbb{Q}_p
Proof

By remark the tensor product to be computed is equivalently

𝔸 (×pprime p). \mathbb{A}_{\mathbb{Q}} \simeq \mathbb{Q}\otimes_{\mathbb{Z}} \left( \mathbb{R} \times \underset{p \; prime}{\prod} \mathbb{Z}_p \right) \,.

Now notice that a natural number nn is a unit in p\mathbb{Z}_p if pp is not a prime factor of nn. Therefore for (a p)p p(a_p) \in \underset{p}{\prod} \mathbb{Z}_p and cd\frac{c}{d} \in \mathbb{Q}, then for each of the finite number of prime factors pp of dd the tensor product element cd a p p\frac{c}{d} \otimes_{\mathbb{Z}} a_p \in \mathbb{Q}_p contains a non-vanishing negative power of pp and is hence not in p\mathbb{Z}_p, whereas for all pp that do not appear as prime factors in dd it is.

Finally notice:

Remark

The prime numbers correspond to the non-archimedean places of \mathbb{Z}, and under this identification there is one more real place at infinity, “p=p = \infty”, the completion of \mathbb{Q} at which is the real numbers \mathbb{R}, which one may therefore write = \mathbb{R} = \mathbb{Q}_\infty. Using this the characterization of the ring of adeles from prop. is equivalently the restricted product over all real places of the formal completion of \mathbb{Q} at this place

𝔸 pPlaces() p. \mathbb{A}_{\mathbb{Q}} \simeq \underset{p \in Places(\mathbb{Z})}{\prod^{\prime}} \mathbb{Q}_p \,.

Considering this restricted product not just in bare commutative rings but in topological rings yields the right structure of a topological ring on 𝔸 \mathbb{A}_{\mathbb{Q}}. This is the content of the following proposition.

Proposition

𝔸 \mathbb{A}_\mathbb{Q} is a locally compact Hausdorff commutative ring. In particular, it is complete with respect to its uniform space structure.

Proof

The restricted product is a filtered colimit of a system of open inclusions between locally compact Hausdorff rings, and is therefore itself locally compact Hausdorff. If x αx_\alpha is a Cauchy net, then for all sufficiently large α,β\alpha, \beta the differences x αx βx_\alpha - x_\beta lie in a compact neighborhood of the identity. Holding β\beta fixed, the limit lim αx αx β\lim_\alpha x_\alpha - x_\beta exists by compactness; if xx is this limit, then x+x βx + x_\beta is the limit of the Cauchy net.

If one omits the factor of = \mathbb{R} = \mathbb{Q}_\infty, then one speaks of the ring of finite adeles.

𝔸 f pprime p. \mathbb{A}_{\mathbb{Q}}^f \coloneqq \underset{p \; prime}{\prod^\prime} \mathbb{Q}_p \,.

All of this generalizes to any number field kk.

For a number field

Let

Notice that

  • for vSv \in S then k vk_v is isomorphic to one of the local fields \mathbb{R} or \mathbb{C};

  • for vSv \notin S then k vk_v is a local field with an open compact subring 𝒪 v\mathcal{O}_v consisting of elements of norm 11 or less.

Definition

For kk a number field, the ring of integral adeles 𝔸 𝒪\mathbb{A}_{\mathcal{O}} is the product of the profinite completion 𝒪^\widehat{\mathcal{O}} with all the archimedean completions,

𝔸 𝒪𝒪^× vSk v, \mathbb{A}_\mathcal{O} \coloneqq \widehat{\mathcal{O}} \times \prod_{v \in S} k_v \,,

and the ring of adeles over kk is the tensor product 𝔸 kk 𝒪𝔸 𝒪\mathbb{A}_k \coloneqq k \otimes_\mathcal{O} \mathbb{A}_\mathcal{O}.

It may be shown that

𝒪^ vS𝒪 v\widehat{\mathcal{O}} \cong \prod_{v \notin S} \mathcal{O}_v

where each non-archimedean place vv may be identified with a prime ideal pp. Now, if we view kk as the localization of 𝒪\mathcal{O} obtained by inverting all nonzero elements x𝒪x \in \mathcal{O}, then kk may be written as a filtered colimit of a system of inclusions of localizations:

kcolim x𝒪[x 1].k \cong colim_x \; \mathcal{O}[x^{-1}].

Componentwise, we may calculate

𝒪[x 1] 𝒪𝒪 p = k p ifxp = 𝒪 p ifxp\array{ \mathcal{O}[x^{-1}] \otimes_\mathcal{O} \mathcal{O}_p & = & k_p & \text{if}\; x \in p \\ & = & \mathcal{O}_p & \text{if}\; x \notin p }

and so

𝒪[x 1] 𝒪𝒪^ 𝒪[x 1] 𝒪 pP\S𝒪 p ( xpk p)×( xp𝒪 p)\array{ \mathcal{O}[x^{-1}] \otimes_\mathcal{O} \widehat{\mathcal{O}} & \cong & \mathcal{O}[x^{-1}] \otimes_\mathcal{O} \prod_{p \in P \backslash\; S} \mathcal{O}_p \\ & \cong & (\prod_{x \in p} k_p) \times (\prod_{x \notin p} \mathcal{O}_p) }

Putting these facts together,

k 𝒪𝒪^colim x( xpk p)×( xp𝒪 p)k \otimes_\mathcal{O} \widehat{\mathcal{O}} \cong colim_x\; (\prod_{x \in p} k_p) \times (\prod_{x \notin p} \mathcal{O}_p)

whence

k 𝒪𝔸 𝒪 k 𝒪( vSk v×𝒪^) colim x vSk v×( p:xpk p)×( p:xp𝒪 p)\begin{array}{lll} k \otimes_\mathcal{O} \mathbb{A}_\mathcal{O} & \cong & k \otimes_\mathcal{O} \left(\prod_{v \in S} k_v \times \widehat{\mathcal{O}}\right) \\ & \cong & colim_x \; \prod_{v \in S} k_v \times (\prod_{p: x \in p} k_p) \times (\prod_{p: x \notin p} \mathcal{O}_p) \end{array}

where each component of the filtered diagram is locally compact (a product of finitely many locally compact and infinitely many compact spaces) in the product topology. Taking the filtered colimit in TopTop over the resulting diagram of open inclusions, the result is again a locally compact ring. In this way the ring of adeles 𝔸 k\mathbb{A}_k is topologized.

Remark

The topology on the adele ring 𝔸 k\mathbb{A}_k is strictly finer than the subspace topology inherited from its natural inclusion into vPk v\prod_{v \in P} k_v with the product topology. For example, ( vSk v)× pP\S𝒪 p(\prod_{v \in S} k_v) \times \prod_{p \in P \backslash\; S} \mathcal{O}_p is open in the ring of adeles, but not in vPk v\prod_{v \in P} k_v.

Definition

The group of units of the ring of adeles 𝔸 k\mathbb{A}_k is called the group of ideles, denoted 𝕀 k\mathbb{I}_k.

Under the subspace topology inherited from 𝔸 k\mathbb{A}_k, there is no reason for inversion () 1:𝕀 k𝕀 k(-)^{-1}: \mathbb{I}_k \to \mathbb{I}_k to be continuous (and in fact it isn’t!), so 𝕀 k\mathbb{I}_k isn’t a topological group when topologized this way. However, we can endow 𝕀 k\mathbb{I}_k with the subspace topology given by the embedding 𝕀 k𝔸 k×𝔸 k:x(x,x 1)\mathbb{I}_k \to \mathbb{A}_k \times \mathbb{A}_k: x \mapsto (x, x^{-1}); topologized this way, we get a locally compact topological group. This is the topology on the ideles.

Alternatively, for each finite TPT \subset P containing the set of archimedean places SS, we have a locally compact group

𝕀 k,T=( vTk v ×)×( vT𝒪 v ×)\mathbb{I}_{k, T} = (\prod_{v \in T} k_v^\times) \times (\prod_{v \notin T} \mathcal{O}_v^\times)

(noting that each unit group 𝒪 v ×\mathcal{O}_v^\times is compact), and the idele group can be described as the colimit over a filtered system of open inclusions

𝕀 k=colim T𝕀 k,T\mathbb{I}_k = colim_T \; \mathbb{I}_{k, T}

and indeed the idele topology coincides with the filtered colimit topology.

For a global field

Fully generally, let kk be a global field. Write PP for its set of places and k vk_v for its formal completion at vPv \in P.

Definition

The ring of adeles of a global field kk is the restricted product

𝔸 kvPk v \mathbb{A}_k \coloneqq \underset{v \in P}{\prod} k_v

where the restriction is to elements (x v) vP(x_v)_{v\in P} of the actual product whose components have norm at most unity – |x v|1{\vert x_v\vert} \leq 1, except for at most a finite number of vv.

This is topologized in the same way as discussed above.

Reviews includes (Mathew 10).

In the function field case, where kk is a finite extension of 𝔽 p(T)\mathbb{F}_p(T), the analogous ring of integers 𝒪(k)\mathcal{O}(k) is the integral closure in kk of the subring 𝔽 p[T]𝔽 p(T)\mathbb{F}_p[T] \hookrightarrow \mathbb{F}_p(T). And analogously, the ring of integer adeles 𝔸 𝒪(k)\mathbb{A}_{\mathcal{O}(k)} may be defined to be the product of all the completions of 𝒪(k)\mathcal{O}(k) over all the places of kk. This is a compact ring. The restricted direct product above map may then, in parallel with the number field case described above, be described as a tensor product

𝔸 k=k 𝒪(k)𝔸 𝒪(k)\mathbb{A}_k = k \otimes_{\mathcal{O}(k)} \mathbb{A}_{\mathcal{O}(k)}

where the right side is again interpreted as a colimit in the category of topological rings of a diagram consisting of compact topological rings and open inclusions between them.

Properties

Basic results

Proposition

Under the natural inclusion i:k𝔸 ki: k \to \mathbb{A}_k, the subspace topology on kk is discrete, and the quotient topology on 𝔸 k/k\mathbb{A}_k/k is compact.

As an additive topological group, there is a natural pairing on 𝔸 k\mathbb{A}_k:

,:𝔸 k×𝔸 k/S 1.\langle -, - \rangle: \mathbb{A}_k \times \mathbb{A}_k \to \mathbb{R}/\mathbb{Z} \cong S^1.

If x=(x v) vPx = (x_v)_{v \in P} and y=(y v) vPy = (y_v)_{v \in P}, then

x,y vx v,y v v\langle x, y \rangle \coloneqq \prod_v \langle x_v, y_v \rangle_v

where each local pairing , v\langle -, - \rangle_v is defined to be a composite of the form

k v×k vmultk vTrQ vχ v/S 1,k_v \times k_v \stackrel{mult}{\to} k_v \stackrel{Tr}{\to} \mathbf{Q}_v \stackrel{\chi_v}{\to} \mathbb{R}/\mathbb{Z} \cong S^1,

noting that a place vv of kk restricts to a place on \mathbb{Q}.

Remarks
  • The trace map TrTr on the finite algebraic extension k v/Q vk_v/\mathbf{Q}_v is of course defined by Tr(x)= σσ(x)Tr(x) = \sum_\sigma \sigma(x) where σ\sigma ranges over all embeddings of k vk_v into the algebraic closure of v\mathbb{Q}_v.

  • When vv is the archimedean place on \mathbb{Q}, we will take the map χ v:/\chi_v: \mathbb{R} \to \mathbb{R}/\mathbb{Z} to be not the quotient map, but its additive inverse. For non-archimedean places v=pv = p, the character χ p\chi_p is the composite Q p(p )/\mathbf{Q}_p \to \mathbb{Z}(p^\infty) \hookrightarrow \mathbb{R}/\mathbb{Z} as defined here.

  • For each x,y𝔸 kx, y \in \mathbb{A}_k, observe that x v,y v v=1S 1\langle x_v, y_v \rangle_v = 1 \in S^1 for all but finitely many places vv, since x v,y v𝒪 vx_v, y_v \in \mathcal{O}_v for all but finitely many places. Hence x,y\langle x, y\rangle is well-defined.

Proposition

The additive group 𝔸 k\mathbb{A}_k is Pontrjagin self-dual in the sense that the map ϕ:𝔸 k𝔸 k \phi: \mathbb{A}_k \to \mathbb{A}_k^\wedge induced from the pairing ,\langle-, -\rangle is an isomorphism onto the character group.

Moreover, define π:𝔸 kk \pi: \mathbb{A}_k \to k^\wedge to be the composite

𝔸 kϕ𝔸 k i k .\mathbb{A}_k \stackrel{\phi}{\to} \mathbb{A}_k^\wedge \stackrel{i^\wedge}{\to} k^\wedge.
Proposition

The map πi:kk \pi \circ i: k \to k^\wedge vanishes. The map 𝔸 k/kk \mathbb{A}_k/k \to k^\wedge induced by π:𝔸 kk \pi: \mathbb{A}_k \to k^\wedge is an isomorphism of topological groups, so that 𝔸 k/k\mathbb{A}_k/k is Pontrjagin dual to kk.

Function field analogy

Via the function field analogy one may understand any number field or function field FF as being the rational functions on an arithmetic curve Σ\Sigma. Under this identification the ring of adeles 𝔸 F\mathbb{A}_F of FF has the interpretation of being the ring of functions on all punctured formal disks around all points of Σ\Sigma, such that only finitely many of them do not extend to the given point. (Frenkel 05, section 3.2). This is most manifest in terms of def. above.

This means for instance that the general linear group GL n(𝔸 F)GL_n(\mathbb{A}_F) with coefficients in the ring of adeles has the interpretation as being the Cech cocycles for algebraic vector bundles of rank nn on an algebraic curve with respect to any cover of that curve by the complement of a finite number of points together with the formal disks around these points. (Notice that for n=1n = 1 then GL 1(𝔸 F)GL_1(\mathbb{A}_F) is the group of ideles). This is part of a standard construction of the moduli stack of bundles on algebraic curves, see at Moduli space of bundles and the Langlands correspondence.

function field analogy

number fields (“function fields of curves over F1”)function fields of curves over finite fields 𝔽 q\mathbb{F}_q (arithmetic curves)Riemann surfaces/complex curves
affine and projective line
\mathbb{Z} (integers)𝔽 q[z]\mathbb{F}_q[z] (polynomials, function algebra on affine line 𝔸 𝔽 q 1\mathbb{A}^1_{\mathbb{F}_q})𝒪 \mathcal{O}_{\mathbb{C}} (holomorphic functions on complex plane)
\mathbb{Q} (rational numbers)𝔽 q(z)\mathbb{F}_q(z) (rational functions)meromorphic functions on complex plane
pp (prime number/non-archimedean place)x𝔽 px \in \mathbb{F}_pxx \in \mathbb{C}
\infty (place at infinity)\infty
Spec()Spec(\mathbb{Z}) (Spec(Z))𝔸 𝔽 q 1\mathbb{A}^1_{\mathbb{F}_q} (affine line)complex plane
Spec()place Spec(\mathbb{Z}) \cup place_{\infty} 𝔽 q\mathbb{P}_{\mathbb{F}_q} (projective line)Riemann sphere
p() p()p\partial_p \coloneqq \frac{(-)^p - (-)}{p} (Fermat quotient)z\frac{\partial}{\partial z} (coordinate derivation)
genus of the rational numbers = 0genus of the Riemann sphere = 0
formal neighbourhoods
p\mathbb{Z}_p (p-adic integers)𝔽 q[[tx]]\mathbb{F}_q[ [ t -x ] ] (power series around xx)[[zx]]\mathbb{C}[ [z-x] ] (holomorphic functions on formal disk around xx)
Spf( p)×Spec()XSpf(\mathbb{Z}_p)\underset{Spec(\mathbb{Z})}{\times} X (“pp-arithmetic jet space” of XX at pp)formal disks in XX
p\mathbb{Q}_p (p-adic numbers)𝔽 q((zx))\mathbb{F}_q((z-x)) (Laurent series around xx)((zx))\mathbb{C}((z-x)) (holomorphic functions on punctured formal disk around xx)
𝔸 = pplace p\mathbb{A}_{\mathbb{Q}} = \underset{p\; place}{\prod^\prime}\mathbb{Q}_p (ring of adeles)𝔸 𝔽 q((t))\mathbb{A}_{\mathbb{F}_q((t))} ( adeles of function field ) x((zx))\underset{x \in \mathbb{C}}{\prod^\prime} \mathbb{C}((z-x)) (restricted product of holomorphic functions on all punctured formal disks, finitely of which do not extend to the unpunctured disks)
𝕀 =GL 1(𝔸 )\mathbb{I}_{\mathbb{Q}} = GL_1(\mathbb{A}_{\mathbb{Q}}) (group of ideles)𝕀 𝔽 q((t))\mathbb{I}_{\mathbb{F}_q((t))} ( ideles of function field ) xGL 1(((zx)))\underset{x \in \mathbb{C}}{\prod^\prime} GL_1(\mathbb{C}((z-x)))
theta functions
Jacobi theta function
zeta functions
Riemann zeta functionGoss zeta function
branched covering curves
KK a number field (K\mathbb{Q} \hookrightarrow K a possibly ramified finite dimensional field extension)KK a function field of an algebraic curve Σ\Sigma over 𝔽 p\mathbb{F}_pK ΣK_\Sigma (sheaf of rational functions on complex curve Σ\Sigma)
𝒪 K\mathcal{O}_K (ring of integers)𝒪 Σ\mathcal{O}_{\Sigma} (structure sheaf)
Spec an(𝒪 K)Spec()Spec_{an}(\mathcal{O}_K) \to Spec(\mathbb{Z}) (spectrum with archimedean places)Σ\Sigma (arithmetic curve)ΣP 1\Sigma \to \mathbb{C}P^1 (complex curve being branched cover of Riemann sphere)
() pΦ()p\frac{(-)^p - \Phi(-)}{p} (lift of Frobenius morphism/Lambda-ring structure)z\frac{\partial}{\partial z}
genus of a number fieldgenus of an algebraic curvegenus of a surface
formal neighbourhoods
vv prime ideal in ring of integers 𝒪 K\mathcal{O}_KxΣx \in \SigmaxΣx \in \Sigma
K vK_v (formal completion at vv)((z x))\mathbb{C}((z_x)) (function algebra on punctured formal disk around xx)
𝒪 K v\mathcal{O}_{K_v} (ring of integers of formal completion)[[z x]]\mathbb{C}[ [ z_x ] ] (function algebra on formal disk around xx)
𝔸 K\mathbb{A}_K (ring of adeles) xΣ ((z x))\prod^\prime_{x\in \Sigma} \mathbb{C}((z_x)) (restricted product of function rings on all punctured formal disks around all points in Σ\Sigma)
𝒪\mathcal{O} xΣ[[z x]]\prod_{x\in \Sigma} \mathbb{C}[ [z_x] ] (function ring on all formal disks around all points in Σ\Sigma)
𝕀 K=GL 1(𝔸 K)\mathbb{I}_K = GL_1(\mathbb{A}_K) (group of ideles) xΣ GL 1(((z x)))\prod^\prime_{x\in \Sigma} GL_1(\mathbb{C}((z_x)))
Galois theory
Galois groupπ 1(Σ)\pi_1(\Sigma) fundamental group
Galois representationflat connection (“local system”) on Σ\Sigma
class field theory
class field theorygeometric class field theory
Hilbert reciprocity lawArtin reciprocity lawWeil reciprocity law
GL 1(K)\GL 1(𝔸 K)GL_1(K)\backslash GL_1(\mathbb{A}_K) (idele class group)
GL 1(K)\GL 1(𝔸 K)/GL 1(𝒪)GL_1(K)\backslash GL_1(\mathbb{A}_K)/GL_1(\mathcal{O})Bun GL 1(Σ)Bun_{GL_1}(\Sigma) (moduli stack of line bundles, by Weil uniformization theorem)
non-abelian class field theory and automorphy
number field Langlands correspondencefunction field Langlands correspondencegeometric Langlands correspondence
GL n(K)\GL n(𝔸 K)//GL n(𝒪)GL_n(K) \backslash GL_n(\mathbb{A}_K)//GL_n(\mathcal{O}) (constant sheaves on this stack form unramified automorphic representations)Bun GL n()(Σ)Bun_{GL_n(\mathbb{C})}(\Sigma) (moduli stack of bundles on the curve Σ\Sigma, by Weil uniformization theorem)
Tamagawa-Weil for number fieldsTamagawa-Weil for function fields
theta functions
Hecke theta functionfunctional determinant line bundle of Dirac operator/chiral Laplace operator on Σ\Sigma
zeta functions
Dedekind zeta functionWeil zeta functionzeta function of a Riemann surface/of the Laplace operator on Σ\Sigma
higher dimensional spaces
zeta functionsHasse-Weil zeta function

References

Discussion in the context of the function field analogy and the geometric Langlands correspondence is in

  • Edward Frenkel, Lectures on the Langlands Program and Conformal Field Theory, in Frontiers in number theory, physics, and geometry II, Springer Berlin Heidelberg, 2007. 387-533. (arXiv:hep-th/0512172)

Last revised on July 23, 2018 at 17:33:52. See the history of this page for a list of all contributions to it.