Direct limits of adèle rings and their completions

From MaRDI portal
Publication:2192255



Abstract: The ad`ele ring mathbbAK of a global field K is a locally compact, metrizable topological ring which is complete with respect to any invariant metric on mathbbAK. For a fixed global field F and a possibly infinite algebraic extension E/F, there is a natural partial ordering on mathbbAK:FsubseteqKsubseteqE. Therefore, we may form the direct limit [ mathbb A_E = varinjlim mathbb A_K ] which provides one possible generalization of ad`ele rings to arbitrary algebraic extensions E/F. In the case where E/F is Galois, we define an alternate generalization of the ad`eles, denoted , to be a certain metrizable topological ring of continuous functions on the set of places of E. We show that is isomorphic to the completion of mathbbAE with respect to any invariant metric and use this isomorphism to establish several topological properties of mathbbAE.


For a Galois extension \(E/F\), with F a global field, the paper defines a topological ring, denoted by \(\overline{\mathbb{V}}_E\), called the generalized adèle ring of \(E\). Denote by \(\mathcal{J}_E\) the set \(\{K \subseteq E : K/F\text{ finite Galois}\}\), by \(\mathbb{A}_K\) the adèle ring of \(K\) and by \(\overline{\mathbb{A}}_K\) its completion with respect to some (any) invariant metric on \(\mathbb{A}_K\). Main theorems are now stated in a short form. Theorem 1. If \(E/F\) is a Galois extension, then the following hold: \begin{itemize} \item[i)] \(\overline{\mathbb{V}}_E\) is a metrizable topological ring which is complete with respect to any invariant metric on \(\overline{\mathbb{V}}_E\). \item[ii)] If \(\mathbb{V}_E = \bigcup_{K\in\mathcal J_E} \mathbb{V}_K\), then \(\overline{\mathbb{V}}_E\) equals the closure of \(\mathbb{V}_E\) in \(\overline{\mathbb{V}}_E\). \item[iii)] There exists a topological ring isomorphism \(\phi: \overline{\mathbb{A}}_E \to \overline{\mathbb{V}}_E\) such that \(\phi(\mathbb{A}_E) = \mathbb{V}_E\). \end{itemize} Theorem 2. If \(E/F\) is an infinite Galois extension, then \(\mathbb{A}_E\) has empty interior in \(\overline{\mathbb{A}}_E\).











This page was built for publication: Direct limits of adèle rings and their completions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2192255)