Fact-checked by Grok 2 weeks ago

Adele ring

In algebraic number theory, the adele ring (or ring of adeles) of a number field K is a topological ring constructed as the restricted direct product \prod_{v \in M_K} K_v, taken over all places v of K, where K_v denotes the completion of K at v, and for all but finitely many non-archimedean places the component lies in the valuation ring \mathcal{O}_v (or \mathbb{R} or \mathbb{C} for archimedean places).^[1] This restricted product ensures that elements of the adele ring are "almost local integers" outside a finite set of places, and the natural topology makes the adele ring \mathbb{A}_K a locally compact Hausdorff space with a compatible ring structure.^[2] The field K embeds diagonally into \mathbb{A}_K as a discrete subring, and the quotient \mathbb{A}_K / K is compact.^[1] The concept of the adele ring was introduced by André Weil in the mid-20th century as a tool to bridge local and global methods in number theory, extending earlier ideas on ideles coined by Claude Chevalley.^[3] Motivated by the need to handle infinite products of local fields while preserving compactness and integrability, adeles provide a framework for analyzing Diophantine equations and reciprocity laws by decomposing global problems into solvable local ones at each place.^[2] This unification is essential for class field theory, where the adele ring facilitates the description of the maximal abelian extension of K via the idele class group, the multiplicative group of invertible adeles modulo K^\times.^[2] Key properties of the adele ring include its role in strong approximation theorems, which assert that K is dense in \mathbb{A}_K under certain conditions, and its support for Haar measures that enable integration over locally compact groups.^[1] In broader contexts, such as the Langlands program, adeles underpin the study of automorphic representations and L-functions by allowing global forms to be realized as products of local factors.^[4] The construction extends naturally to global fields of positive characteristic (function fields over finite fields), where the adele ring similarly combines local completions at all places, including those at infinity.^[1]

Definition and Motivation

Formal definition

The adele ring \mathbb{A}_K of a global field K is defined as the restricted direct product \prod_{v \in \Places(K)}' K_v over all places v of K, where K_v denotes the completion of K with respect to the valuation corresponding to the place v.^[5] Elements of this ring are families (a_v)_{v \in \Places(K)} with a_v \in K_v for each v, such that a_v belongs to the ring of integers \mathcal{O}_v of K_v for all but finitely many places v.^[5] The addition and multiplication operations on \mathbb{A}_K are defined componentwise, meaning that for two adeles (a_v) and (b_v), their sum is (a_v + b_v) and their product is (a_v b_v), performed in the respective local fields K_v.^[5] The multiplicative identity element is the family (1_v)_{v \in \Places(K)}, where $1_v is the multiplicative unit in each K_v.^[5] For finite places v, the ring of integers \mathcal{O}_v is the valuation ring of K_v, comprising all elements with non-negative valuation.^[5] In contrast, for infinite places v, \mathcal{O}_v = K_v, so there is no additional integrality restriction at those components.^[5]

Historical motivation

The development of the adele ring emerged in the context of class field theory during the 1930s and 1940s, primarily through the work of André Weil, who sought to provide a unified framework for handling both local and global arithmetic structures in global fields.^[5] This construction built on earlier ideas, such as Claude Chevalley's introduction of ideles in 1936, extending the additive analog to encompass the full ring structure across all places.^[6] A primary motivation arose from the challenges in class field theory, where the goal was to establish a space in which local solvability of equations or extensions at every place implies global solvability, in line with Hasse's local-global principle from the 1920s and 1930s.^[6] The naive direct product of local fields over all places—finite and infinite—proved inadequate, as it failed to converge properly due to the infinitude of non-archimedean places and lacked the topological properties needed for analytic methods in number theory.^[7] To address this, Weil employed the restricted direct product, which limits elements to those that lie in the ring of integers at all but finitely many places; this restriction ensures the resulting space is locally compact and admits a natural ring structure, mirroring the finite support property of fractional ideals in the global ring of integers.^[7] Without this constraint, the unrestricted product would be unwieldy and algebraically trivial, unable to capture the "integral" behavior essential for arithmetic applications.^[5] Central to this framework is the diagonal embedding of the global field K into its adele ring \mathbb{A}_K, which enables strong approximation theorems, allowing global elements to be approximated arbitrarily well by local data at specified places while remaining integral elsewhere.^[7] This embedding resolves the disconnect between local completions (tied to valuations and places) and global objects, providing the topological foundation for idelic formulations of reciprocity laws in class field theory.^[6]

Origin of the name

The term "adeles" (or "adèles" in French) was coined by André Weil as the additive analogue to the "idèles," reflecting the structure of the restricted direct product in algebraic number theory. Weil introduced the concept in a letter to Helmut Hasse dated 22 November 1937, where he described elements of function fields over finite fields that would later form the basis of the adele ring, though without using the specific term at that stage.^[8] The name itself derives from a blend of "additive" and "ideal," emphasizing the additive group structure parallel to the multiplicative idèles, and first appeared in print in Weil's subsequent work.^[8]^[9] The idèles, coined earlier by Claude Chevalley, stem from the French "idéal" (ideal), as they represent invertible elements akin to ideals in the ring of integers of a number field. Chevalley introduced idèles in his 1936 paper on generalizations of class field theory for infinite extensions, initially referring to them as "éléments idéaux" (ideal elements), with Hasse suggesting the contracted form "idèle" in a review, which Chevalley adopted in his 1940 publication.^[8]^[10] Weil's adeles extended this framework additively, with the playful, diminutive-sounding "adèle" evoking a French personal name while serving as a counterpart to "idèle." The term gained formal recognition in Weil's 1959 Bourbaki seminar exposition "Adèles et groupes algébriques," where it was explicitly defined and linked to algebraic groups.^[10]^[9] The adele construction was employed by John Tate in his 1950 thesis on the analytic continuation of zeta functions, though alternative terms like "valuation vectors" were used by Emil Artin and George Whaples in their independent 1945 work on valuation theory.^[9] This mathematical nomenclature has no connection to the contemporary singer Adele, whose prominence dates to the 2000s, postdating the term's origin by decades.^[8]

Background Concepts

Global fields

A global field is defined as either a number field or a function field over a finite field. A number field is a finite extension of the field of rational numbers \mathbb{Q}, such as \mathbb{Q}(\sqrt{2}) or cyclotomic fields.^[11] In contrast, a function field is a finite extension of the field of rational functions \mathbb{F}_q(t), where \mathbb{F}_q is a finite field with q elements and t is an indeterminate; examples include \mathbb{F}_q(t) itself or extensions like \mathbb{F}_q(t)(\sqrt{t^2 + 1}).^[11]^[12] This classification encompasses all fields that admit a rich theory of places and completions, forming the foundational setting for the construction of adeles.^[11] Number fields include \mathbb{Q} as the base case and all its finite algebraic extensions, which are characterized by their degree n over \mathbb{Q} and the number of real and complex embeddings satisfying n = r + 2s, where r is the number of real embeddings and s the number of pairs of complex embeddings.^[11] Function fields, on the other hand, are rational function fields over \mathbb{F}_q or finite extensions thereof, often arising as the field of rational functions on an algebraic curve defined over \mathbb{F}_q.^[12] Every global field possesses non-archimedean places where the residue field is finite, ensuring that the completions at these places are local fields with finite residue fields.^[11] Furthermore, in extensions of global fields, the degree of the extension relates to ramification through the formula \sum e_i f_i = [L:K], where e_i is the ramification index and f_i the residue degree at places above a given place.^[11] A distinguishing property of global fields is the finite number of archimedean places in number fields, corresponding to the real embeddings (r) and pairs of complex embeddings (s); function fields have no archimedean places and only non-archimedean places, with the rational function field \mathbb{F}_q(t) featuring one distinguished place at infinity, analogous to the degree point on the projective line.^[12]^[11] This finiteness of archimedean places (in number fields) contrasts with the infinitely many non-archimedean places, which are in one-to-one correspondence with prime ideals in the ring of integers (for number fields) or irreducible polynomials (for rational function fields).^[11] These properties underpin the product formula for global fields, \prod_v \|x\|_v = 1, which holds across all places and highlights their structured valuation theory.^[12]

Valuations and places

In global fields, which encompass number fields and function fields over finite fields, valuations provide a framework for decomposing elements locally at various "places," facilitating local-global principles central to the construction of the Adele ring.^[12] Non-archimedean valuations on a global field K are given by discrete valuations v: K^\times \to \mathbb{Z}, satisfying v(xy) = v(x) + v(y) and the ultrametric inequality v(x + y) \geq \min\{v(x), v(y)\} for all x, y \in K^\times, with v(0) = \infty.^[13] The associated valuation ring is \mathcal{O}_v = \{x \in K : v(x) \geq 0\}, a discrete valuation ring (DVR) with unique maximal ideal \mathfrak{m}_v = \{x \in K : v(x) > 0\}.^[13] Places of K are equivalence classes of nontrivial absolute values on K, where two absolute values |\cdot|_1 and |\cdot|_2 are equivalent if |\cdot|_1 = |\cdot|_2^c for some c > 0.^[14] Finite places correspond to non-archimedean absolute values, while infinite places correspond to archimedean ones.^[14] For a number field K, the finite places are in bijection with the prime ideals of the ring of integers of K, and the infinite places are in bijection with the real embeddings K \hookrightarrow \mathbb{R} and pairs of complex conjugate embeddings K \hookrightarrow \mathbb{C}.^[14] In contrast, for a function field K over a finite field, which is the function field of a smooth projective curve over \mathbb{F}_q, the places correspond to the closed points of the curve, all non-archimedean; for the rational function field \mathbb{F}_q(t), these include places corresponding to irreducible monic polynomials in \mathbb{F}_q and one infinite place at infinity.^[12] For each finite place v, there exists a uniformizer \pi_v \in \mathcal{O}_v such that v(\pi_v) = 1, generating the maximal ideal [\mathfrak{m}_v](/page/M-V) = (\pi_v).^[13] The residue field is then \kappa_v = \mathcal{O}_v / [\mathfrak{m}_v](/page/M-V), a finite field whose cardinality determines the normalization of the associated absolute value.^[13]

Local fields and completions

In the context of a global field K equipped with places v as defined by its valuations, the local field at a place v is the completion K_v of K with respect to the metric induced by the absolute value |\cdot|_v. This completion endows K_v with a topology making it a complete metric space, and K embeds densely into K_v. For finite places v, which correspond to nonzero prime ideals \mathfrak{p} of the ring of integers \mathcal{O}_K of K, the completion K_v is a finite extension of the field of p-adic numbers \mathbb{Q}_p, where p is the rational prime below \mathfrak{p}. These are non-Archimedean local fields, characterized by being complete with respect to a discrete valuation v_v (normalized so that v_v(\mathfrak{p}) = 1), and they possess a valuation ring \mathcal{O}_v = \{ x \in K_v \mid v_v(x) \geq 0 \}, a maximal ideal \mathfrak{m}_v = \{ x \in K_v \mid v_v(x) > 0 \}, and a finite residue field \kappa_v = \mathcal{O}_v / \mathfrak{m}_v of characteristic p. Every nonzero element x \in K_v has a well-defined valuation v_v(x) \in \mathbb{Z}, and the group of units is \mathcal{O}_v^\times = \{ x \in K_v \mid v_v(x) = 0 \}, which forms an open subgroup of the multiplicative group K_v^\times. For infinite places v of K, the completions K_v are Archimedean local fields: specifically, if v is a real place (arising from a real embedding of K), then K_v \cong \mathbb{R} as ordered fields; if v is complex (arising from a pair of complex conjugate embeddings), then K_v \cong \mathbb{C}, equipped with the standard complex conjugation as an involution. These fields are complete with respect to their usual absolute values, |\cdot|_\infty for \mathbb{R} and |\cdot|^2 for \mathbb{C} to ensure consistency with the product formula. Unlike their non-Archimedean counterparts, Archimedean local fields do not admit a nontrivial discrete valuation but are instead characterized by their ordered or Hermitian structure. In the case of number fields K / \mathbb{Q}, the local degree [K_v : \mathbb{Q}_p] factors as the product of the ramification index e_v = [ \mathcal{O}_v : \mathfrak{p} \mathcal{O}_v ] and the residue degree f_v = [ \kappa_v : \mathbb{F}_p ], satisfying e_v f_v = [K_v : \mathbb{Q}_p]. For unramified extensions at v, the ramification index is e_v = 1, so the residue degree f_v fully determines the local degree, and \kappa_v is the unique extension of \mathbb{F}_p of degree f_v. This decomposition highlights how local ramification and inertia capture the behavior of the global extension K / \mathbb{Q} at each prime.

Construction of the Adele Ring

Restricted direct product

The restricted direct product provides a fundamental construction for forming the adele ring from a family of local components associated to a global field. Given a family of topological rings \{R_v\}_{v \in \mathcal{M}}, where \mathcal{M} is the set of places of the field and each R_v contains a distinguished open subring \mathcal{O}_v \subset R_v, the restricted direct product \prod_v' R_v consists of all tuples (a_v)_{v \in \mathcal{M}} in the full direct product \prod_v R_v such that a_v \in \mathcal{O}_v for all but finitely many places v.^[1] This condition ensures that the elements are "almost integral" at most places, distinguishing the restricted product from the unrestricted direct product, which would include tuples with infinitely many non-integral components and fail to capture the global structure effectively.^[2] The topology on the restricted direct product is the subspace topology induced from the product topology on \prod_v R_v, where a basis for the open sets consists of products \prod_v U_v with U_v open in R_v and U_v = \mathcal{O}_v for all but finitely many v. Since each \mathcal{O}_v is open (and typically compact) in R_v, this topology renders the restricted product a locally compact topological space.^[1] In the context of adeles, the local fields K_v serve as the R_v, with \mathcal{O}_v chosen as the ring of integers \mathcal{O}_{K_v} for non-archimedean (finite) places v—which is compact—and as \mathcal{O}_v = K_v itself for archimedean (infinite) places v, ensuring the overall space is locally compact and Hausdorff.^[2] This choice of subrings is crucial, as it aligns the topology with the valuation structure, making the restricted product suitable for harmonic analysis on global fields.^[15] The ring structure on \prod_v' R_v is defined componentwise: for tuples (a_v), (b_v) \in \prod_v' R_v, their sum and product are (a_v + b_v) and (a_v b_v), respectively. These operations preserve the restricted product condition because the subrings \mathcal{O}_v are themselves rings, so if a_v, b_v \in \mathcal{O}_v for almost all v, then a_v + b_v, a_v b_v \in \mathcal{O}_v for almost all v.^[1] Consequently, the restricted direct product inherits the ring properties from its factors, forming a topological ring that embeds the global field diagonally as a discrete subring.^[15] This construction, introduced by André Weil, underpins the adele ring's role in class field theory and automorphic forms by balancing local and global arithmetic data.^[2]

Adele ring over the rationals

The adele ring over the rational numbers, denoted \mathbb{A}_\mathbb{Q}, is the restricted direct product of the completions of \mathbb{Q} at all places, given explicitly by \mathbb{A}_\mathbb{Q} = \prod_p' \mathbb{Q}_p \times \mathbb{R}, where the product runs over all finite primes p with the restriction that components lie in the ring of p-adic integers \mathbb{Z}_p for all but finitely many p, and the archimedean component is unrestricted in \mathbb{R}.^[16] This construction captures the local-global structure of \mathbb{Q} by embedding all p-adic and real completions into a single topological ring, where the restricted product topology ensures local compactness by limiting the "unbounded" components to finitely many places.^[16] The canonical embedding \mathbb{Q} \hookrightarrow \mathbb{A}_\mathbb{Q} sends each rational q to the diagonal element (q, q, \dots ) with q repeated in every component \mathbb{Q}_p (including \mathbb{R}), and this image, known as the principal adeles, is dense in \mathbb{A}_\mathbb{Q} with respect to the adele topology.^[16] The finite adeles form the subring \prod_p' \mathbb{Q}_p over finite primes, excluding the real component, while the integral adeles comprise elements where the finite components lie in \mathbb{Z}_p for all primes p and the infinite component is in \mathbb{R}; these integral adeles, often denoted \widehat{\mathbb{Z}} \times \mathbb{R}, play a key role in approximating global elements locally at integers.^[16] As a topological space, \mathbb{A}_\mathbb{Q} is Hausdorff and locally compact, inheriting these properties from the locally compact fields \mathbb{Q}_p and \mathbb{R} via the product topology restricted to sets where almost all components are open neighborhoods of 0 in the maximal compact subrings.^[16] Moreover, the additive group of \mathbb{A}_\mathbb{Q} is self-dual under Pontryagin duality, meaning it is isomorphic to its own character group via a non-degenerate pairing induced by local additive characters on each \mathbb{Q}_p and \mathbb{R} that trivialize on \mathbb{Q}.^[17] This self-duality underscores the ring's symmetry and facilitates applications in harmonic analysis over number fields.^[17]

Adele ring over number fields

Let K be a finite extension of \mathbb{Q}, known as a number field. The adele ring \mathbb{A}_K of K is defined as the restricted direct product \mathbb{A}_K = \prod_{v \in \Places(K)}' K_v, where \Places(K) denotes the set of all places of K, and K_v is the completion of K at the place v.^[18] The restricted product is taken with respect to the subrings \mathcal{O}_v of K_v at all finite (non-archimedean) places v, meaning an element (x_v)_{v} \in \mathbb{A}_K satisfies x_v \in \mathcal{O}_v for all but finitely many finite places v.^[18] At infinite (archimedean) places, no such restriction is imposed, and the product is unrestricted.^[18] The places of K divide into infinite places, which are equivalence classes of archimedean absolute values on K, and finite places, which are equivalence classes of non-archimedean absolute values corresponding to prime ideals of the ring of integers \mathcal{O}_K.^[18] For a number field K of degree n = [K : \mathbb{Q}] = r_1 + 2r_2, where r_1 is the number of real embeddings and r_2 is the number of pairs of complex conjugate embeddings into \mathbb{C}, the number of infinite places is r_1 + r_2.^[19] Each infinite place v yields a completion K_v isomorphic to either \mathbb{R} (for real places) or \mathbb{C} (for complex places).^[18] The finite places above a given rational prime p correspond to the prime ideals \mathfrak{p}_i of \mathcal{O}_K dividing p \mathcal{O}_K, with the decomposition governed by ramification indices e_i \geq 1 and residue degrees f_i \geq 1 satisfying \sum_i e_i f_i = n; unramified places have e_i = 1 for all i.^[20] There is a natural diagonal embedding K \hookrightarrow \mathbb{A}_K, sending each x \in K to the tuple (x_v)_{v \in \Places(K)}, where x_v is the canonical image of x in the completion K_v.^[18] This embedding identifies K as a discrete subring of \mathbb{A}_K.^[18] More precisely, the adele ring \mathbb{A}_K is isomorphic to \mathbb{A}_\mathbb{Q} \otimes_{\mathbb{Q}} K, where \mathbb{A}_\mathbb{Q} is the adele ring over the rationals; this follows from the corresponding isomorphism at each place v of K, where \mathbb{Q}_w \otimes_{\mathbb{Q}} K \cong \prod_{v \mid w} K_v for places w of \mathbb{Q}, combined with compatibility of the restricted product.

Adele ring over function fields

In the context of function fields, the Adele ring is constructed analogously to that over number fields but benefits from a uniform non-archimedean structure across all places, reflecting the geometric nature of the underlying algebraic curve. Consider the rational function field K = \mathbb{F}_q(t), where q is a power of a prime and t is an indeterminate; this serves as the function field of the projective line over the finite field \mathbb{F}_q. The places of K consist of finite places, corresponding to the monic irreducible polynomials in \mathbb{F}_q, and a single infinite place associated with the degree valuation at infinity.^[21] The completion K_v at a finite place v corresponding to a monic irreducible polynomial \pi(t) is isomorphic to \mathbb{F}_q((u)), the field of formal Laurent series over \mathbb{F}_q with local parameter u = \pi(t)^{-1}. At the infinite place, the completion is \mathbb{F}_q((t^{-1})), again a Laurent series field. All these places are non-archimedean, lacking the archimedean completions like \mathbb{R} or \mathbb{C} found in number fields, which aligns with the discrete valuations on the affine line compactified to the projective line. The Adele ring \mathbb{A}_K is then the restricted direct product \prod_v' K_v, where the product is over all places v and restricted with respect to the rings of integers \mathcal{O}_v = \{ x \in K_v : |x|_v \leq 1 \} at each place.^[21]^[22] Geometrically, elements of \mathbb{A}_K for K = \mathbb{F}_q(t) correspond to rational sections on the projective line with poles and zeros controlled at finitely many places, akin to divisors supported on the closed points of the curve. This interpretation links adeles to the divisor group, where the valuation map from adeles to divisors captures the local orders at each place, facilitating connections to Riemann-Roch theory and the geometry of the curve.^[23]

Topology and Structure of the Adele Ring

Topological properties

The adele ring \mathbb{A}_K of a global field K is equipped with the restricted direct product topology \prod_v' K_v, where the product is over all places v of K, and for all but finitely many non-archimedean places, the components lie in the valuation ring \mathcal{O}_v (or \mathbb{R} or \mathbb{C} for archimedean places).^[1] A basis for the open sets consists of sets of the form \prod_{v \in S} U_v \times \prod_{v \notin S} \mathcal{O}_v, where S is a finite set of places and each U_v is open in K_v.^[1] This topology makes open sets those where, for all but finitely many finite places, the components lie in the local rings of integers.^[24] As a restricted direct product of locally compact groups K_v, the adele ring \mathbb{A}_K is itself locally compact and Hausdorff.^[1] The diagonal embedding of the additive group K into \mathbb{A}_K is discrete, meaning K is a closed discrete subgroup.^[1] The quotient \mathbb{A}_K / K is compact.^[1] The adele ring \mathbb{A}_K is connected, as it contains the connected components from the archimedean places. The Pontryagin dual of the additive group \mathbb{A}_K, consisting of continuous homomorphisms from \mathbb{A}_K to the circle group \mathbb{T}, encodes the additive characters and plays a central role in Fourier analysis on adeles, as in Tate's thesis.^[25]

Haar measure

The adele ring \mathbb{A}_K of a number field K is a locally compact abelian topological group under addition, and thus admits a unique Haar measure up to positive scalar multiple that is left-invariant under translations. This measure is constructed as the product of Haar measures on the local completions K_v at each place v of K, where the product is taken in the sense of the restricted direct product topology. For non-archimedean places v, the local Haar measure \mu_v on K_v is normalized so that the volume of the valuation ring \mathcal{O}_v satisfies \mu_v(\mathcal{O}_v) = 1; for archimedean places, it is the standard Lebesgue measure on \mathbb{R} or, for complex places, twice the Lebesgue measure on \mathbb{C} to ensure consistency.^[1] The global Haar measure \mu on \mathbb{A}_K is defined by \mu\left( \prod_v B_v \right) = \prod_v \mu_v(B_v) for sets where B_v = \mathcal{O}_v for all but finitely many finite places v, and extends uniquely to the Borel \sigma-algebra. This normalization ensures that the quotient \mathbb{A}_K / K, where K embeds diagonally as a discrete subgroup, has total measure \mu(\mathbb{A}_K / K) = 1. For the specific case of the rational numbers, K = \mathbb{Q}, the adele ring \mathbb{A}_\mathbb{Q} has local measures such that \int_{\mathbb{Z}_p} dx = 1 for each prime p and the standard Lebesgue measure on \mathbb{R}. This Haar measure enables the integration of functions over the adele ring, providing the foundation for harmonic analysis on \mathbb{A}_K. It is particularly crucial in the development of Fourier analysis for number fields, as presented in Tate's thesis, where it facilitates the study of characters and zeta integrals essential to the functional equations of L-functions.

Trace and norm maps

The trace map \mathrm{Tr}_{\mathbb{A}_K / K} : \mathbb{A}_K \to K is defined on the subring of integral adeles, consisting of elements (a_v)_{v \in \mathrm{Places}(K)} with a_v \in \mathcal{O}_{K_v} for all places v, where \mathcal{O}_{K_v} is the ring of integers of the local field K_v; it is constructed as the trace of the K-linear endomorphism of multiplication by the adele on \mathbb{A}_K viewed as a left K-module via the diagonal embedding.^[26] This global trace is compatible with the field trace \mathrm{Tr}_{K / \mathbb{Q}} : K \to \mathbb{Q} in the sense that \mathrm{Tr}_{\mathbb{A}_K / K}(x) = n x or adjusted for the diagonal embedding, but for principal adeles x \in K, it aligns appropriately.^[27] The norm map \mathrm{Nm}_{\mathbb{A}_K / K} : \mathbb{A}_K^\times \to K^\times is defined as the determinant of the same K-linear endomorphism of multiplication by the invertible adele. For an element (a_v) \in \mathbb{A}_K^\times, this corresponds to the product over places of local norms, adjusted for the module structure, with almost all local components being units in \mathcal{O}_{K_v}^\times to ensure convergence.^[26] For number fields, the local norm is the multiplicative field norm from K_v to the base local field, and the global norm is compatible with the field norm \mathrm{Nm}_{K / \mathbb{Q}} : K^\times \to \mathbb{Q}^\times.^[27] Both the trace and norm maps are continuous with respect to the adelic topology induced by the local topologies on the completions K_v, as they arise from the module structure over the finite-dimensional pieces.^[28] They are surjective onto the diagonally embedded copy of K (or \mathbb{Q}) within the target, which facilitates the construction of global reciprocity laws in class field theory by linking local and global structures.^[29]

The Idele Group

Definition and construction

The idele group of a number field K is the multiplicative group of invertible elements in the adele ring \mathbb{A}_K, denoted J_K = \mathbb{A}_K^\times. This group is constructed as the restricted direct product \prod_v' K_v^\times over all places v of K, where the components lie in the local unit groups \mathcal{O}_v^\times for all but finitely many finite places v. Equivalently, ideles are adeles whose components are all nonzero and lie outside the local units for only finitely many places. For the rational numbers \mathbb{Q}, the idele group takes the form J_\mathbb{Q} = \prod_p' \mathbb{Q}_p^\times \times \mathbb{R}^\times, where the restricted product runs over all finite primes p, and \mathbb{Q}^\times embeds diagonally into J_\mathbb{Q}.^[28] The topology on J_K is the restricted direct product topology \prod_v' (K_v^\times, U_v), where U_v = \mathcal{O}_v^\times for finite places and U_v = K_v^\times for infinite places, under which J_K is a locally compact topological group.

Topological properties

The topology on the idele group J_K, also denoted I_K, is defined as the restricted direct product topology \prod'(K_v^\times, U_v) over all places v of the global field K, where U_v = \mathcal{O}_v^\times is the group of local units for finite places v and U_v = K_v^\times for infinite places; this ensures J_K is a topological group, unlike the subspace topology induced from the multiplicative group of the adele ring A_K^\times, where inversion would not be continuous.^[30] A basis for the open sets consists of sets of the form \prod_{v \in S} U_v \times \prod_{v \notin S} U_v, where S is a finite set of places and each U_v is open in K_v^\times.^[30] This topology makes open sets those where, for all but finitely many finite places, the components lie in the local unit groups.^[31] As a restricted direct product of locally compact groups K_v^\times, the idele group J_K is itself locally compact and Hausdorff.^[31]^[30] The diagonal embedding of the multiplicative group K^\times into J_K is discrete, meaning K^\times is a closed discrete subgroup.^[31]^[30] The quotient J_K / K^\times, known as the idele class group, exhibits different compactness properties depending on the type of global field: for function fields over finite fields, this quotient is compact, reflecting the compactness of the adele ring modulo scalars; for number fields, it is not compact but relates to abelian extensions of K via class field theory, where the connected component of the identity in the quotient captures the infinite part corresponding to the unit theorem.^[32]^[31] The connected component of the identity in J_K consists of ideles with components 1 at all finite places and components in the connected component of K_v^\times at infinite places: \prod_{v \mid \infty} (K_v^\times)^0, where ( \mathbb{R}^\times )^0 = \mathbb{R}_{>0} for real places and (\mathbb{C}^\times)^0 = \mathbb{C}^\times for complex places.^[31] The Pontryagin dual of J_K, consisting of continuous homomorphisms from J_K to the circle group \mathbb{T}, encodes the unitary characters of the ideles and plays a central role in the reciprocity map of class field theory, where the dual of the idele class group is isomorphic to the abelianization of the absolute Galois group of K.^[31]^[30]

Absolute value and norms

The absolute value on the idèle group J_K of a number field K is defined by the continuous homomorphism |\cdot|_{\mathbb{A}_K}: J_K \to \mathbb{R}_{>0} given by

|j|_{\mathbb{A}_K} = \prod_v |j_v|_v

for j = (j_v)_v \in J_K, where the product is over all places v of K and |j_v|_v denotes the normalized local absolute value on the completion K_v.^[2]^[30] This product converges because |j_v|_v = 1 for all but finitely many finite places v.^[33] The kernel of this map, denoted J_K^1 = \{ j \in J_K : |j|_{\mathbb{A}_K} = 1 \}, consists of the idèles of absolute value 1, also called the norm-1 idèles; it contains the image of K^\times by Artin's product formula, which implies |x|_{\mathbb{A}_K} = 1 for all x \in K^\times.^[2]^[30] The map |\cdot|_{\mathbb{A}_K} is surjective onto \mathbb{R}_{>0}, reflecting the fact that idèles can scale arbitrarily in their archimedean components.^[30] For number fields, the absolute value |\cdot|_{\mathbb{A}_K} extends the usual archimedean absolute value on K in the sense that, under the diagonal embedding K \hookrightarrow \mathbb{A}_K, it matches the product of local absolute values at infinite places while equaling 1 at finite places for integers.^[2] The positive idèles, those with positive components at real places, are connected to the regulator of K via the logarithmic embedding of units into \mathbb{R}^{r_1 + r_2 - 1}, where the regulator measures the covolume of the unit group image.^[34] The norm on idèles arises in the context of extensions; for a finite extension L/K, the global norm map on idèles N_{L/K}: J_L \to J_K is defined componentwise by local norms N_{K_w / K_v}(j_w) at places w of L over v of K, and satisfies \prod_{w \mid v} |j_w|_w = |N_{L/K}(j)|_v for the absolute values.^[2]^[33] In the base field case, this reduces to the absolute value map itself as the product of local norms.^[35]

Idele class group

The idele class group of a number field K is defined as the quotient C_K = J_K / K^\times, where J_K denotes the idele group of K and K^\times is the multiplicative group of nonzero elements in K.^[36] This group can equivalently be expressed as C_K = J_K / \overline{K^\times}, where \overline{K^\times} is the closure of K^\times in J_K with respect to the idele topology.^[37] The embedding of K^\times into J_K is dense but discrete, making C_K a locally compact abelian topological group that captures both local and global multiplicative structures of K.^[38] For a number field K of degree n = r_1 + 2r_2 over \mathbb{Q}, with r_1 real places and r_2 complex places, a standard decomposition of the idele group is J_K \cong \mathbb{R}_{>0}^{r_1 + r_2} \times J_K^1, where J_K^1 = \{ j \in J_K : |j|_{\mathbb{A}_K} = [1](/page/1) \} is the subgroup of ideles of absolute value 1, reflecting the archimedean contributions and the unit theorem. The connected component of the identity in C_K, denoted D_K, is isomorphic to \mathbb{R}^{r_1 + r_2 - [1](/page/1)} \times T^{r_2}, where T is the circle group, and this structure is intimately linked to Dirichlet's unit theorem, as the compactness of the quotient J_K^0 / K^\times (where J_K^0 consists of ideles of norm 1) implies the finiteness of the unit group modulo torsion and the logarithmic embedding of units into \mathbb{R}^{r_1 + r_2 - [1](/page/1)}. Specifically, the class number of K, which measures the non-principal ideals, equals the order of the quotient C_K / \hat{\mathcal{O}}_K^\times, where \hat{\mathcal{O}}_K^\times is the profinite completion of the ring of integers' unit group embedded in the ideles.^[37] As an abelian group, C_K plays a central role in class field theory, where its Pontryagin dual \hat{C}_K parametrizes the abelian extensions of K: the global Artin reciprocity map induces an isomorphism \hat{C}_K \cong \mathrm{Gal}(K^{ab}/K), with the connected component D_K forming the kernel, thereby classifying finite abelian extensions via open subgroups of finite index in C_K.^[36] This duality ensures that characters of C_K correspond precisely to the abelian Galois representations over K.^[36]

Key Properties and Relations

Relation to ideal class groups

In the context of a number field K with ring of integers \mathcal{O}_K, fractional ideals of \mathcal{O}_K can be mapped to ideles in the idele group J_K by associating to each ideal an element whose components lie in \mathcal{O}_v^\times at all but finitely many finite places v, and at one such place v is a uniformizer \pi_v. This embedding realizes ideals as specific ideles supported at finite places, with the image dense in a certain subgroup of J_K. Principal ideals, generated by elements of K^\times, map to the diagonal embedding of K^\times in J_K.^[39] The profinite completion \hat{\mathcal{O}}_K of \mathcal{O}_K is the restricted product \prod_v' \mathcal{O}_v over all finite places v, and its unit group \hat{\mathcal{O}}_K^\times = \prod_v' \mathcal{O}_v^\times embeds into J_K as the subgroup of ideles that are units at all finite places. The ideal class group \mathrm{Cl}_K is then isomorphic to the quotient J_K / (K^\times \hat{\mathcal{O}}_K^\times U_\infty), where U_\infty is the group of units at the infinite places, showing how the idele group "adelizes" the classical ideal theory by incorporating local information at finite places.^[39] For number fields, this isomorphism demonstrates that the idele class group C_K = J_K / K^\times surjects onto \mathrm{Cl}_K with kernel related to the connected component involving infinite places, thereby recovering the finite ideal class structure within the broader adelic framework. This construction extends naturally to ray class groups \mathrm{Cl}_m modulo a modulus m, where ideals coprime to m correspond to ideles congruent to 1 modulo m at finite places dividing m, yielding \mathrm{Cl}_m \cong J_K / (K^\times \hat{\mathcal{O}}_{K,m}^\times U_\infty), with U_\infty the units at infinite places.^[39] Unlike the classical ideal class group, which focuses solely on finite places, the idele class group incorporates components at infinite places, enriching the structure by accounting for real and complex embeddings and enabling connections to global reciprocity laws in class field theory.^[39]

Decomposition theorems

The idele group J_K of a number field K fits into an exact sequence $1 \to J_K^1 \to J_K \xrightarrow{|\cdot|} \mathbb{R}_{>0}^{r_1 + r_2} \to 1, where J_K^1 is the subgroup of 1-ideles (ideles of absolute norm 1 across all places), r_1 (resp. r_2) is the number of real (resp. complex) infinite places, and the map is the global norm induced by local absolute values, compatible with the product formula. The higher unit groups U_v^{(n)} (subgroups of the local units U_v = \mathcal{O}_v^\times consisting of elements congruent to 1 modulo \mathfrak{p}_v^n) provide a decreasing filtration on the maximal compact open subgroup of the finite ideles, reflecting the profinite structure at non-archimedean places, while J_K^1 captures the norm-1 condition essential for reciprocity laws.$$](https://link.springer.com/book/10.1007/978-3-662-03983-0) These components underscore local-global compatibility: the finite-place contributions are totally disconnected and compact modulo centers, the 1-ideles encode relative units across places, and the \mathbb{R}_{>0}^{r_1 + r_2} factor endows the archimedean part with a finite-dimensional Lie group structure isomorphic to a vector group under logarithm.[$$(https://link.springer.com/book/10.1007/978-3-662-03983-0) For function fields over finite fields, the absence of archimedean places yields a full decomposition of the idele group into compact and (trivial) vector parts, with J_K topologically a product of compact groups via the restricted direct product of local units and valuation groups, adjusted by idelic norms to maintain compactness in the class group quotient.^[2] Ideles admit a characterization as "fractional ideals with denominators": each idele corresponds to a fractional ideal generated by local components at finite places (via valuations), multiplied by units at those places and adjusted by archimedean factors, generalizing the ideal class group to include denominators and infinite data.

Units and Dirichlet's theorem

The global units \mathcal{O}_K^\times of the ring of integers \mathcal{O}_K in a number field K embed diagonally into the idele group J_K of K, where each unit \varepsilon \in \mathcal{O}_K^\times maps to the idele with components \varepsilon in every local completion K_v. This embedding is discrete, as the image of \mathcal{O}_K^\times is a discrete subgroup of J_K. The local unit groups \mathcal{O}_v^\times form the restricted product \prod_{v \nmid \infty}' \mathcal{O}_v^\times over finite places, whose closure \overline{\prod_{v \nmid \infty}' \mathcal{O}_v^\times} in J_K contains the image of K^\times. In the adelic setting, Dirichlet's unit theorem states that the quotient J_K / K^\times \overline{\prod_{v \nmid \infty}' \mathcal{O}_v^\times} is isomorphic to \mathbb{Z}^r \times F, where r = r_1 + r_2 - 1 is the unit rank (r_1 real places, r_2 pairs of complex places), and F is a finite group. This captures the free abelian part generated by fundamental units and the torsion subgroup of roots of unity. The regulator R of \mathcal{O}_K^\times arises as the volume (with respect to the Haar measure) of a fundamental domain for the image of \mathcal{O}_K^\times under the logarithmic embedding into \mathbb{R}^r. This embedding maps a unit \varepsilon to the vector (\log |\sigma_1(\varepsilon)|, \dots, \log |\sigma_{r_1}(\varepsilon)|, 2\log |\tau_1(\varepsilon)|, \dots, 2\log |\tau_{r_2}(\varepsilon)|) projected onto the hyperplane \sum x_i = 0 in \mathbb{R}^{r_1 + r_2}, yielding a lattice of full rank r whose covolume is R. The units are discrete in the ideles, ensuring this lattice structure and the free \mathbb{Z}^r component in the quotient.

Applications

Class field theory and Artin reciprocity

In class field theory, the Artin reciprocity law provides a profound connection between the arithmetic of ideals in a number field K and the Galois groups of its abelian extensions, reformulated elegantly using the idele group J_K (also denoted I_K). For a finite abelian extension L/K, the Artin map is defined as the continuous homomorphism

\mathrm{Art}_{L/K}: J_K / (K^\times \cdot N_{L/K} J_L) \to \Gal(L/K),

where N_{L/K} J_L is the norm subgroup from the idele group of L, and K^\times embeds diagonally into J_K. This map is an isomorphism, capturing the structure of the Galois group through idele classes and establishing that abelian extensions are parametrized by quotients of the idele class group.^[39] The reciprocity aspect manifests through the norm residue symbol, interpreted adelically as the local Artin symbols composed globally. Specifically, the global reciprocity law states that for any idele \alpha \in J_K, the product of the local reciprocity symbols over all places v of K satisfies

\prod_v (\alpha, L/K)_v = 1,

where (\cdot, L/K)_v denotes the local norm residue symbol at v, extended trivially at unramified places. This product formula ensures compatibility between local and global class field theory, with the Artin map arising as the unique extension that respects these local symbols.^[40] A notable application recovers the Kronecker-Weber theorem: when K = \mathbb{Q}, the Artin map identifies the Galois group of the maximal abelian extension \mathbb{Q}^{ab}/\mathbb{Q} with the idele class group \mathbb{Q}^\times \backslash J_\mathbb{Q}, showing that every abelian extension of \mathbb{Q} is contained in a cyclotomic extension \mathbb{Q}(\zeta_n) for some n. More generally, ideles parametrize ray class fields, where the ray class group modulo a conductor \mathfrak{m} is the quotient J_K^{(\mathfrak{m})} / (K_{\mathfrak{m},1} \cdot U_\mathfrak{m}), with J_K^{(\mathfrak{m})} the ideles congruent to 1 modulo \mathfrak{m} at finite places, and the corresponding ray class field is the fixed field under the kernel of the Artin map restricted to this quotient.^[39] The maximal abelian extension K^{ab}/K corresponds precisely to the idele class group, via the surjective Artin map \mathrm{Art}_K: J_K / K^\times \to \Gal(K^{ab}/K), whose kernel is the connected component of the identity in the idele class group. This topological feature highlights how the discrete arithmetic structure of Galois groups emerges from the locally compact topology on ideles, with the quotient by the connected component yielding the full isomorphism for the profinite Galois group.^[41]

Hasse principle and weak approximation

The Hasse principle, reformulated using the adele ring \mathbb{A}_K of a number field K, posits that for certain Diophantine equations, the existence of solutions over K is equivalent to the existence of compatible local solutions over every completion K_v. In particular, for quadratic forms, the Hasse–Minkowski theorem states that a nondegenerate quadratic form over K represents zero nontrivially (i.e., is isotropic) if and only if it is isotropic over K_v for every place v of K. In the adelic setting, this translates to the quadric hypersurface defined by the form having a K-point if and only if it has an \mathbb{A}_K-point, where an \mathbb{A}_K-point corresponds to a system of local solutions that are compatible under the restricted product topology of \mathbb{A}_K. This embedding of local solutions into \mathbb{A}_K ensures that the "local everywhere" condition captures the necessary global solubility for quadratic forms.^[42] The weak approximation theorem asserts that for any finite set of places S, the diagonal embedding of K into \prod_{v \in S} K_v \times \prod_{v \notin S} \mathcal{O}_v is dense in the product topology. This allows elements of K to approximate specified local data at finitely many places arbitrarily closely, facilitating the passage from local data to global solutions in certain contexts. For algebraic varieties, solubility over \mathbb{A}_K—meaning the variety admits an \mathbb{A}_K-point—implies solubility over K under additional conditions, such as when the variety is a principal homogeneous space under an algebraic torus; in such cases, the Hasse principle holds. The topology on \mathbb{A}_K, arising from the product of local topologies, underpins this compatibility.^[42] For principal homogeneous spaces under algebraic tori over K, the Hasse principle holds, meaning the space has a K-point if and only if it has K_v-points for all places v, reflecting the full strength of local-global compatibility in the adelic product. However, counterexamples to the Hasse principle exist beyond quadratic forms and tori, such as Selmer's curve defined by $3x^3 + 4y^3 + 5z^3 = 0 over \mathbb{Q}, which admits points over \mathbb{R} and every \mathbb{Q}_p but no \mathbb{Q}-point, illustrating a failure of the "local everywhere" condition to imply global solubility for cubic equations. Adeles thus provide the precise "local everywhere" formulation, where \mathbb{A}_K-points encode all compatible local solutions, enabling the study of when these suffice for global points.^[42]^[43]

Tate's thesis on local constants

In his 1950 PhD thesis, John Tate developed a framework for analyzing zeta and L-functions over number fields using Fourier analysis on the adeles, introducing local constants that unify the treatment of functional equations across different places. The thesis reformulates Hecke's L-series as integrals over the adele ring, enabling a Poisson summation formula that yields the meromorphic continuation and functional equations for these functions. This approach leverages the locally compact topology of the adeles to apply harmonic analysis uniformly, a key innovation that extends classical results from the rationals to general number fields.^[44] Central to Tate's construction are the local epsilon factors \epsilon(s, \chi, \psi), defined for a character \chi on the idele group J_{K_v} of a local field K_v and a nontrivial additive character \psi on K_v. These factors arise from local zeta integrals \int_{K_v^\times} \chi(x) |x|^s \, d^\times x and are expressed using Gaussian sums, such as G(\chi, \psi) = \int_{K_v} \chi(y) \psi(y) \, dy for appropriate normalizations, capturing the "root number" or sign in the functional equation. For finite places, the epsilon factor is a product involving the conductor of \chi and the Gaussian sum, while at archimedean places, it involves Gamma functions adjusted by the character. This local machinery ensures that the epsilon factor is independent of the choice of Haar measure up to normalization.^[45] The global functional equation emerges as a product of these local factors: for a Hecke character \chi on the idele class group, the completed L-function \Lambda(s, \chi) = N^{s/2} L(s, \chi) satisfies \Lambda(s, \chi) = \epsilon(s, \chi, \psi) \Lambda(1-s, \chi^{-1}), where \epsilon(s, \chi, \psi) is the product over all places of the local \epsilon(s, \chi_v, \psi_v), providing the meromorphic continuation to the entire complex plane. Tate's adelic Fourier analysis, relying on the self-duality of the adele group under the Pontryagin dual with respect to a suitably chosen additive character \psi and Haar measure (normalized so that the idele volume is 1), proves this equation directly from the local integrals without ad hoc adjustments. This product formula highlights how adeles facilitate the uniform handling of archimedean and non-archimedean places, treating infinite and finite primes on equal footing through the restricted product topology.^[45] A pivotal result in the thesis is the proof of the Artin conjecture for one-dimensional characters, affirming that the L-functions associated to characters of the idele class group are meromorphic with no essential singularities, using the adelic setup to derive the functional equation via Fourier inversion on the adeles. This resolves earlier difficulties in extending Hecke's work by avoiding separate treatments for real and p-adic components, instead embedding everything into the global adele structure. The Haar measure on the adeles, defined as the product of local measures with \mu_v(\mathcal{O}_v) = 1 for non-archimedean places and Lebesgue measure at infinity, ensures the integrals converge appropriately and the Poisson formula holds.^[44]

Serre duality on curves

In the context of smooth projective curves over a field, the adelic formulation of Serre duality leverages the structure of the adele ring associated to the function field of the curve to interpret cohomology groups of coherent sheaves. For a coherent sheaf \mathcal{F} on a curve X, the cohomology H^i(X, \mathcal{F}) can be computed using adelic complexes, where sections correspond to adelic integrals over local completions at points of X. This approach establishes a perfect duality pairing between H^i(X, \mathcal{F}) and H^{1-i}(X, \mathcal{F}^\vee \otimes \omega_X), where \mathcal{F}^\vee is the dual sheaf and \omega_X is the canonical sheaf, yielding the isomorphism H^i(X, \mathcal{F})^\vee \cong H^{1-i}(X, \mathcal{F}^\vee \otimes \omega_X).^[46]^[47] For function fields of curves, the adele ring provides residue maps at each place (corresponding to points on the curve) and trace pairings that define a non-degenerate bilinear form on the space of differentials. These pairings, constructed via local residues summing to a global trace, pair adelic sections with differentials of the second kind, ensuring the finite-dimensionality of the cohomology groups involved in the duality. Specifically, the quotient spaces arising from adelic lattices yield finite-dimensional vector spaces over the base field, with dimensions governed by the genus and degree data.^[47] A key property of this adelic setup is the use of local completions of the function field at places, which facilitate explicit computations of residues through Laurent series expansions at each point. The residue at a place P extracts the coefficient of the t^{-1} dt term in the local uniformizer expansion, allowing the global residue theorem to hold as the sum over all places vanishes for rational differentials. This local-global principle generalizes the classical Riemann-Roch theorem, where the Euler characteristic \chi(X, \mathcal{F}) is expressed in terms of degrees and the genus, with Serre duality providing the missing dimension relations.^[23] Geometrically, adeles over the curve geometrize the divisor class group by identifying it with the idele class group modulo units, where divisors correspond to adelic lattices A_X(D) for a divisor D, and the Picard group \operatorname{Pic}(X) arises as the quotient of ideles by principal ideles and units. This perspective unifies the arithmetic of places with the geometry of line bundles on the curve.^[46]^[47]

Automorphic forms and representations

Automorphic forms on the adele group \GL_n(\mathbb{A}_K) for a number field K are smooth functions \phi: \GL_n(\mathbb{A}_K) \to \mathbb{C} that satisfy \phi(\gamma g) = \phi(g) for all \gamma \in \GL_n(K) and g \in \GL_n(\mathbb{A}_K), are right K_f-finite for some open compact subgroup K_f \subset \GL_n(\mathbb{A}_K^f), exhibit moderate growth at the archimedean places (meaning |\phi(g)| \ll \|g\|_\mathbb{A}^N for some N > 0), and are annihilated by a congruence subgroup of the center Z(\GL_n(\mathbb{A}_{K,\infty})).^[48] At the infinite places, these functions must also be holomorphic in suitable coordinates and lie in the discrete series or limits thereof for the archimedean factors.^[49] Cuspidal automorphic forms further require that the constant terms along proper parabolic subgroups vanish, ensuring rapid decay in the adelic setting analogous to classical cusp forms.^[50] These automorphic forms generate irreducible unitary representations of \GL_n(\mathbb{A}_K), known as automorphic representations, which decompose as restricted tensor products \pi = \otimes_v' \pi_v over all places v of K, where \pi_v are irreducible admissible representations of the local groups \GL_n(K_v), unramified at almost all finite places.^[49] The central role of adeles lies in this factorization, allowing global automorphic forms to be constructed from local data while ensuring compatibility via the global quotient \GL_n(K) \backslash \GL_n(\mathbb{A}_K). The Langlands correspondence posits a bijection between such cuspidal automorphic representations of \GL_n(\mathbb{A}_K) and irreducible n-dimensional Galois representations of the absolute Galois group of K, preserving L-parameters and epsilon factors, with local-global compatibility at each place.^[51] A key feature of generic cuspidal automorphic representations on \GL_n(\mathbb{A}_K) is the existence of a unique Whittaker model, realized as the space of smooth functions W: \GL_n(\mathbb{A}_K) \to \mathbb{C} satisfying W(ng) = \psi(n) W(g) for n in the unipotent radical of the standard Borel subgroup and additive character \psi on the unipotents, with W of moderate growth and finite under the center.^[50] This model facilitates Fourier expansions and coefficient extraction, mirroring classical theory. The Ramanujan conjecture asserts that for cuspidal automorphic representations, all local components \pi_v are tempered, meaning their Satake parameters (for unramified v) lie on the unit circle, bounding the growth of Hecke eigenvalues and implying subconvexity bounds for associated L-functions.^[52] The adelic framework unifies cuspidal cohomology—arising from algebraic constructions like cohomology of arithmetic groups—and spectral theory on L^2(\GL_n(K) \backslash \GL_n(\mathbb{A}_K)), where the discrete spectrum decomposes into these irreducible automorphic representations, enabling the Arthur-Selberg trace formula to relate orbital integrals to spectral traces.^[53] This unification underpins applications to Langlands functoriality, conjecturing lifts of automorphic representations between groups via endoscopic transfers and base changes, preserving key analytic properties across the adelic structure.^[53]

References

[1]
[PDF] 25 The ring of adeles, strong approximation
Theorem 25.12. For each global field L the principal adeles L ⊆ AL form a discrete cocompact subgroup of the additive group of the adele ring AL ...
[2]
[PDF] Adeles and Ideles and their applications - UChicago Math
Aug 18, 2010 · The adele ring represents a restricted direct product of the different completions of a given algebraic number field k. The word restricted ...
[3]
Basic Number Theory - Book - SpringerLink
André Weil ... Shafarevich showed me the first edition in autumn 1967 in Moscow and said that this book will be from now on the book about class field theory.
[4]
[PDF] History of class field theory - Keith Conrad
Class field theory is the description of abelian extensions of global fields and local fields. The label “class field” refers to a field extension satisfying a ...
[5]
[PDF] Algebraic Number Theory
A sourcebook on algebraic number fields without the crowning conclusion of class field theory with its important consequences for the theory of L-series would ...Missing: adeles | Show results with:adeles
[6]
[PDF] The Riemann Hypothesis in Characteristic p in Historical Perspective
uation vector” which later were renamed as “adele” by A.Weil. Here we see that the introduction of adeles is due to Weil himself, in the year 1938 already ...
[7]
[PDF] arXiv:2007.09237v1 [math.LO] 17 Jul 2020
Jul 17, 2020 · The ring of adeles was first introduced by Weil in a letter to Hasse on 3 November. 1937. It was for the case of function fields and as "a ...<|control11|><|separator|>
[8]
https://www.mathi.uni-heidelberg.de/~roquette/2017rv_with_pictures.pdf
[9]
[PDF] Algebraic Number Theory - James Milne
the ring of integers in the number field, the ideals and units in the ring of.
[10]
[PDF] 13 Global fields and the product formula - MIT Mathematics
Up to this point we have defined global fields as finite extensions of Q (number fields) or. Fq(t) (global function fields).
[11]
[PDF] 1 Absolute values and discrete valuations - MIT Mathematics
Sep 10, 2015 · uniformizer π: if π0 is any other uniformizer its unique ... The residue field of a discrete valuation ring A with unique maximal.
[12]
[PDF] 0.1 Valuations on a number field
The set of non-equivalent Archimedean places of k is denoted by M∞ k , the set of non-equivalent non-Archimedean places of k is denoted by M0 k . For every ...
[13]
[PDF] 1. Restricted direct product (rdp) (ANT p.322
For each gobal field K we now have a measure on the adele group AK, namely, the product over the places v of K of the µv defined above on the local fields Kv. 5 ...<|control11|><|separator|>
[14]
[PDF] 22 The ring of adeles, strong approximation
Dec 1, 2015 · For K = Q the adele ring AQ is the union of the rings. AQ,S = R ×. Y p∈S. Qp × Y p6∈S. Zp. Taking S = ∅ yields the ring AZ := R × Qp<∞ Zp ...Missing: rationals | Show results with:rationals
[15]
[PDF] Pontryagin Duality on the Adeles - (featuring differents)
Oct 29, 2020 · Since E/F is separable, the F-bilinear pairing E × E →F given by. (x,y) 7→ trE/F (xy) is non-degenerate. We call this the trace pairing.
[16]
[PDF] Formalising the local compactness of the adele ring - arXiv
Salvatore Mercuri. Abstract. The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is ...
[17]
[PDF] 5 Places - DPMMS
We say an infinite place v is real or complex according as Kv ≃ R or C, and define ev = e(v/∞)=1if v is real, 2 if v is complex. (We say the complex places are ...
[18]
[PDF] Ramification Theory
Let L/K be a Galois extension of number fields, with Galois group G = Gal(L/K). Let p be a prime of OK. If P is a prime above p in OL, and σ ∈ G, then σ(P).
[19]
https://www.dpmms.cam.ac.uk/~ajs1005/ANT/notes_s5-8.pdf
[20]
[PDF] Formalizing the Ring of Adèles of a Global Field - DROPS
Abstract. The ring of adèles of a global field and its group of units, the group of idèles, are fundamental objects in modern number theory.
[21]
[PDF] Geometric adeles and the Riemann–Roch theorem for 1-cycles on ...
The classical Riemann–Roch theorem for projective irreducible curves over perfect fields can be elegantly proved using adeles and their topological self-duality ...
[22]
[PDF] 26 The idele group, profinite groups, infinite Galois theory
Dec 6, 2017 · As a subspace of AK, the unit group of AK is not a topological group because the inversion map a 7→ a−1 need not be continuous.Missing: rationals | Show results with:rationals
[23]
6.2 Idèles and class groups - Kiran S. Kedlaya
8 may look innocuous, it actually implies two key theorems of algebraic number theory which are traditionally proved using the Minkowski lattice construction.
[24]
https://kskedlaya.org/cft/sec_adeles.html
[25]
[PDF] The Id`ele Class Group - of /websites
Below, we let K be an algebraic number field, with ring of integers O, id`ele group JK, id`ele class group CK, and connected component of the id`ele class group ...
[26]
[PDF] Fourier_Analysis_on_Number_Fi...
Fourier analysis on number fields / Dinakar Ramakrishnan, Robert. 1. Valenza ... (i) The measure p is a left Haar measure on G if and only if the measure.
[27]
None
Below is a merged summary of the Adele Ring and Haar Measure from Neukirch’s *Algebraic Number Theory* (1999), consolidating all information from the provided segments into a comprehensive response. To maximize detail and clarity, I will use a table format for key concepts (Adele Ring, Haar Measure, and related details) followed by additional narrative sections for context, relations to Tate, and references. The table will be presented in CSV-style format for density and ease of parsing.
[28]
Fourier Analysis on Number Fields | SpringerLink
A modern approach to number theory through a blending of complementary algebraic and analytic perspectives, emphasizing harmonic analysis on topological groups.<|control11|><|separator|>
[29]
[PDF] 8 Adèles - Kimball Martin
Show the idèlic norm NL/K(x) lies in K⇥ ✓ A⇥K. For a number field K, let K denote its algebraic closure, and for a group G let Gab denote is abelianization ( ...<|control11|><|separator|>
[30]
https://math.mit.edu/classes/18.785/2017fa/LectureNotes26.pdf
[31]
https://kskedlaya.org/cft/sec_ideles.html
[32]
[PDF] A Brief Summary of the Statements of Class Field Theory
The idele group and idele class group. The idele group of K is. A× = Y0 v. (K ... [Neu99] Jürgen Neukirch, Algebraic number theory, Grundlehren der Mathematischen ...
[33]
[PDF] idele class group and the unit theorem
IDELE CLASS GROUP AND THE UNIT THEOREM. The ring of adeles. Let k be an finite extension of the rational number field. An element a of the direct product Qp.
[34]
[PDF] Class Field Theory
Class field theory describes the abelian extensions of a local or global field in terms of the arithmetic of the field itself. These notes contain an ...
[35]
None
### Summary of Decomposition Theorems for the Idele Group
[36]
Algebraic Number Theory
**Summary of Ideles in Algebraic Number Theory by Jürgen Neukirch**
[37]
6.4 The adelic reciprocity law and Artin reciprocity - Kiran S. Kedlaya
We now formulate the statements of global class field theory in adelic language, imitating the setup from local class field theory but using the idèle class ...
[38]
Artin reciprocity law in nLab
Jun 30, 2024 · Emil Artin's reciprocity law is a reciprocity law in class field theory for global fields. It states, in consequence, that for each 1- ...
[39]
[PDF] Algebraic Number Theory - UCSB Math
It becomes clear from his Preface that Number Theory was Neukirch's favorite subject in mathematics. He was enthusiastic about it, and he was also.Missing: adeles | Show results with:adeles
[40]
[PDF] Counterexamples to the Hasse Principle: an elementary Introduction
Selmer's example and system (5) are more similar than they first appear: they both define curves of genus one. Selmer's example is of degree 3 in P2, but the ...
[41]
[PDF] Tate's Thesis - University of Warwick
Jun 5, 2023 · Tate's thesis is John Tate's 1950 PhD thesis written under the supervision of Emil Artin at Princeton University.
[42]
[PDF] The Work of John Tate
Sep 23, 2012 · In the early 1960s, Tate proved duality theorems for modules over the absolute Galois groups of local and global fields that have become an ...Missing: adeles | Show results with:adeles
[43]
[PDF] Adelic methods in algebraic geometry
Apr 11, 2016 · and using this presentation one can give an adelic proof of Serre duality. Theorem 1.17 (Adelic Serre duality). ... We then used this observation ...
[44]
[PDF] arXiv:0812.0169v3 [math.AG] 28 Dec 2013
Dec 28, 2013 · Using Serre's adelic interpretation of cohomology, we de- velop a 'differential and integral calculus' on an algebraic curve X over an ...
[45]
[PDF] An introduction to automorphic representations
The adeles AF of a global field F are a locally compact hausdorff topological ring. Proof. We argue that AF is locally compact and leave the other details to ...
[46]
https://www.braunling.org/chicago.pdf
[47]
[PDF] Lectures on L-functions, Converse Theorems, and Functoriality for GL
We will then turn to the theory of automorphic representations of GL(n), particularly cuspidal representations. We will first develop the Fourier expansion of a ...
[48]
The Local Langlands correspondence for \GL_n - adic fields - arXiv
Oct 7, 2010 · This paper reproves the Local Langlands Correspondence for GL_n over p-adic fields, proving local-global compatibility, and bypassing Henniart' ...
[49]
[PDF] Notes on the Generalized Ramanujan Conjectures - Math (Princeton)
Ramanujan's original conjecture is concerned with the estimation of Fourier coefficients of the weight 12 holomorphic cusp form ∆ for SL(2, Z) on the upper ...
[50]
[PDF] An Introduction to the Trace Formula - Clay Mathematics Institute
In §2 we introduce the ring A = AF of adeles. We also try to illustrate why adelic algebraic groups G(A), and their quotients G(F)\G(A), are more ...