Fact-checked by Grok 2 weeks ago

Class field theory

Class field theory is a fundamental branch of algebraic number theory that provides a complete description of the abelian extensions of local and global fields, establishing a precise reciprocity between their Galois groups and certain arithmetic groups derived from the field's ideals.^[1] Specifically, it classifies all finite abelian extensions of a number field K by associating them bijectively to open subgroups of the idele class group of K, via the Artin reciprocity map, which induces an isomorphism between the idele class group and the Galois group of the maximal abelian extension of K.^[1] This theory generalizes earlier results like the Kronecker-Weber theorem, which states that every finite abelian extension of the rational numbers \mathbb{Q} is contained in a cyclotomic field, extending the correspondence to arbitrary number fields through the use of ray class groups and conductors.^[2] The development of class field theory spans the late 19th and early 20th centuries, beginning with Heinrich Weber's introduction of the concept of "class fields" as unramified abelian extensions of imaginary quadratic fields, where the Galois group is isomorphic to the ideal class group.^[2] David Hilbert later conjectured the existence of the Hilbert class field, the maximal unramified abelian extension whose Galois group matches the class group of any number field, a result proven by Teiji Takagi in 1920 alongside the full existence theorem for ray class fields.^[2] Emil Artin provided the reciprocity law in 1927, explicitly linking ideal groups to Galois groups, while Helmut Hasse unified local and global aspects through a product formula over all places and developed local class field theory, which describes abelian extensions of local fields like p-adic numbers via the multiplicative group.^[2] Claude Chevalley's introduction of ideles in 1936 offered a modern reformulation using adele rings, enabling a topological framework that connects local and global reciprocity seamlessly.^[2] Key results include the global Artin map, which surjects the idele class group onto the Galois group of the maximal abelian extension, with kernel determined by the connected component, and the local version, where the multiplicative group of a local field maps isomorphically to the Galois group after completion.^[1] These theorems not only resolve longstanding conjectures on the distribution of primes in arithmetic progressions—generalizing Dirichlet's theorem to ideal classes—but also underpin applications in explicit constructions of abelian extensions and the study of L-functions.^[2] The theory's influence extends to modern areas like the Langlands program, where it serves as a prototype for non-abelian reciprocity.^[1]

Basic Concepts

Number fields and Galois groups

A number field K is defined as a finite field extension of the rational numbers \mathbb{Q}, with the degree [K : \mathbb{Q}] being the dimension of K as a vector space over \mathbb{Q}.^[3] Fundamental examples include quadratic fields K = \mathbb{Q}(\sqrt{d}), where d is a square-free integer, which have degree 2 and arise as splitting fields of irreducible quadratic polynomials over \mathbb{Q}.^[4] These extensions form the basic objects in algebraic number theory, where elements of K are algebraic numbers satisfying minimal polynomials with rational coefficients.^[5] The discriminant d_K of a number field K is an integer that measures the "ramification" or arithmetic complexity of the extension, defined for a \mathbb{Z}-basis \{\omega_1, \dots, \omega_n\} of the ring of integers \mathcal{O}_K as the determinant of the matrix whose (i,j)-entry is the trace of \omega_i \omega_j.^[6] For quadratic fields \mathbb{Q}(\sqrt{d}), the discriminant is $4d if d \equiv 2,3 \pmod{4} and d if d \equiv 1 \pmod{4}.^[7] The ring of integers \mathcal{O}_K consists of all algebraic integers in K, which is the integral closure of \mathbb{Z} in K, and it forms a Dedekind domain: a Noetherian integrally closed domain of Krull dimension 1 in which every nonzero prime ideal is maximal.^[5] This structure ensures unique factorization of ideals into prime ideals, facilitating the study of arithmetic in K.^[8] For a Galois extension L/K of number fields, the Galois group \mathrm{Gal}(L/K) is the group of field automorphisms of L fixing K pointwise, with |\mathrm{Gal}(L/K)| = [L : K] by the fundamental theorem of Galois theory.^[4] If L/K is abelian, then \mathrm{Gal}(L/K) is an abelian group. Such groups decompose as direct products of cyclic groups of prime-power order by the structure theorem for finite abelian groups.^[9] The infinite Galois theory of number fields involves the absolute Galois group \mathrm{Gal}(\overline{\mathbb{Q}}/K), where \overline{\mathbb{Q}} denotes an algebraic closure of \mathbb{Q} containing K, defined as the inverse limit \varprojlim \mathrm{Gal}(L/K) over all finite Galois extensions L/K.^[10] This profinite group captures all finite extensions of K and is non-abelian in general, but its abelianization \mathrm{Gal}(\overline{\mathbb{Q}}/K)^{\mathrm{ab}} parametrizes the maximal abelian extensions of K, central to class field theory.^[11] The notation \mathrm{Gal}(\overline{\mathbb{Q}}/K) emphasizes the absolute nature of the extension from K to the algebraic closure.^[12]

Ideal class groups and idèles

In the ring of integers \mathcal{O}_K of a number field K, which is a Dedekind domain, a fractional ideal is defined as a nonzero finitely generated \mathcal{O}_K-submodule of the field K.^[13] These fractional ideals form a group I_K under multiplication, where the product of two fractional ideals \mathfrak{a} and \mathfrak{b} is the \mathcal{O}_K-submodule generated by all products of elements from \mathfrak{a} and \mathfrak{b}.^[13] Principal fractional ideals are those of the form \alpha \mathcal{O}_K for some nonzero \alpha \in K, and they constitute a subgroup P_K of I_K.^[13] The ideal class group \mathrm{Cl}(K) is the quotient group I_K / P_K, which measures the failure of unique factorization in \mathcal{O}_K by identifying fractional ideals that differ by a principal factor.^[13] This group is finite and abelian, as established by the finiteness of the class group for rings of integers in number fields.^[13] The order of \mathrm{Cl}(K), denoted h(K) and called the class number of K, quantifies the number of distinct ideal classes; for example, h(\mathbb{Q}) = 1, reflecting the unique factorization in \mathbb{Z}.^[13] To unify local and global structures in number fields, idèles provide a framework that incorporates completions at all places. The idèle group J_K (or \mathbb{A}_K^\times) is the restricted direct product \prod_v' K_v^\times, taken over all places v of K, where K_v denotes the completion of K at v.^[14] An element of J_K is a tuple (a_v)_{v} with a_v \in K_v^\times for all v, such that a_v \in \mathcal{O}_v^\times (the units in the valuation ring) for all but finitely many finite places v.^[14] This restricted product ensures that idèles capture "global" elements with "local" behavior at most places.^[14] The principal idèles form the subgroup K^\times, obtained by diagonally embedding K^\times into J_K via \alpha \mapsto (\alpha, \alpha, \dots) for \alpha \in K^\times.^[14] The idèlic class group C_K is the quotient J_K / K^\times, which is an abelian group that generalizes the ideal class group by incorporating both finite and infinite places.^[14] The idèle class group C_K surjects onto the ideal class group \mathrm{Cl}(K), with the kernel containing the connected component D_K of the identity, which is isomorphic to \mathbb{R}_{>0} (adjusted by units at infinite places).^[15] The idèle group J_K carries a natural topology as a locally compact abelian group, induced by the restricted direct product of the topologies on the local fields K_v, where the topology on finite adèlic components is the product topology with discrete units at most places.^[14] This topology makes J_K Hausdorff and allows for the study of open subgroups corresponding to ray class groups.^[14] The group of idèlic units U_K = \prod_v' \mathcal{O}_v^\times, consisting of elements with |a_v|_v = 1 for all places v, is compact. Its image in the idèle class group C_K is also compact, and this compactness, together with Dirichlet's unit theorem, implies the finiteness of the ideal class group \mathrm{Cl}(K).^[15] For instance, in the case of K = \mathbb{Q}, the idèle class group C_\mathbb{Q} is isomorphic to \mathbb{R}^+ \times \mathbb{Z}/2\mathbb{Z}, reflecting the trivial ideal class group augmented by archimedean factors.^[16]

Local versus global fields

In class field theory, global fields are finite extensions K of the rational numbers \mathbb{Q}, also known as number fields, which provide the foundational setting for studying abelian extensions through their arithmetic structure.^[17] Each such K possesses a set of places, which are equivalence classes of nontrivial absolute values on K; finite places correspond to nonzero prime ideals of the ring of integers of K, while infinite places arise from the real and complex embeddings of K into \mathbb{R} or \mathbb{C}.^[18] These places capture the "points at infinity" and the prime factorizations essential to the global arithmetic of K.^[17] Local fields, in contrast, are the completions of a global field K at its places and serve as the building blocks for decomposing global problems into local ones in class field theory. Non-archimedean local fields are finite extensions of the p-adic numbers \mathbb{Q}_p for a prime p, complete with respect to a discrete valuation, while archimedean local fields are either \mathbb{R} or \mathbb{C}.^[17] For a place v of K, the completion K_v is a local field, equipped with a ring of integers \mathcal{O}_v (the unit ball with respect to the valuation) whose units form the multiplicative group \mathcal{O}_v^\times, and a unique maximal ideal consisting of elements with positive valuation.^[18] The connection between global and local fields is formalized through valuation theory, where each place v of K determines an additive valuation v: K^\times \to \mathbb{R} that is normalized such that v(p) = 1 for the prime p underlying a finite place v.^[18] These valuations extend naturally to the completions K_v, preserving the local structure and enabling the analysis of ramification and inertia in extensions.^[17] The associated absolute value is defined as |x|_v = q^{-v(x)}, where q is the cardinality of the residue field at v, but the normalization ensures compatibility across places.^[18] A key property distinguishing global fields is the product formula, which states that for any x \in K^\times, \prod_v |x|_v^{n_v} = 1, where the product runs over all places v of K and n_v is the local degree [K_v : \mathbb{Q}_p] (or 1 for archimedean places with appropriate embedding).^[18] This formula encodes the balance between local norms at different places and underpins the idèlic formulation of class field theory, where the idèle group is the restricted product of the local multiplicative groups K_v^\times.^[17]

Local Class Field Theory

Formulation for p-adic fields

A non-archimedean local field K is a finite extension of the field of p-adic numbers \mathbb{Q}_p for some prime p, complete with respect to a discrete valuation, and equipped with its canonical topology making it locally compact.^[17] Such a field K has a ring of integers \mathcal{O}_K, a unique maximal ideal (\pi) generated by a uniformizer \pi, a residue field k = \mathcal{O}_K/(\pi) which is a finite field of characteristic p with q elements where q = p^f and f is the inertia degree of K/\mathbb{Q}_p, and a ramification index e satisfying [K : \mathbb{Q}_p] = e f.^[17] The units \mathcal{O}_K^\times form a profinite group, and the valuation map v_K : K^\times \to \mathbb{Z} identifies K^\times \cong \mathcal{O}_K^\times \times \mathbb{Z} via x \mapsto u \pi^{v_K(x)} with u \in \mathcal{O}_K^\times.^[17] For a finite abelian extension L/K of degree n, local class field theory asserts the existence of a canonical surjective homomorphism, called the local Artin reciprocity map,

\theta_{L/K} : K^\times / N_{L/K}(L^\times) \to \Gal(L/K),

where N_{L/K} : L^\times \to K^\times is the norm map, inducing an isomorphism

\Gal(L/K) \cong K^\times / N_{L/K}(L^\times),

with the index [K^\times : N_{L/K}(L^\times)] = n.^[17] This map extends to the maximal abelian extension K^{\ab}/K via the limit over all finite abelian subextensions, yielding a continuous surjection \theta_K : K^\times \to \Gal(K^{\ab}/K) with kernel the closure of the union of all such norm groups.^[17] The Artin map sends units in \mathcal{O}_K^\times to the inertia subgroup of \Gal(L/K), while a uniformizer \pi maps to a generator of the quotient \Gal(L/K)/I_{L/K}, where I_{L/K} is the inertia group.^[19] In the unramified case, where e(L/K) = 1, the extension L/K is obtained by adjoining a root of unity of order q^f - 1 to K, and the Artin map simplifies explicitly: \theta_{L/K}(\pi) is the Frobenius automorphism \Frob_k \in \Gal(k_l / k), which lifts to the unique element of \Gal(L/K) of order f acting as the q-power map on the residue field extension k_l / k.^[17] For general a \in K^\times with v_K(a) = m, \theta_{L/K}(a) = \Frob_k^m on the maximal unramified subextension.^[17] For tamely ramified abelian extensions, where the ramification index e(L/K) is coprime to p, the conductor f(L/K) is the smallest integer such that \theta_{L/K} factors through the quotient K^\times / (U_K^{(f(L/K))} N_{L/K}(L^\times)), with U_K^{(i)} = 1 + \mathfrak{m}_K^i the higher unit groups and \mathfrak{m}_K = (\pi); typically f(L/K) = 1 for tame extensions.^[17] The higher ramification groups G^i_{L/K} for i \geq 0 form a filtration of the inertia group G^0_{L/K} = I_{L/K}, with G^i_{L/K} = \{ \sigma \in I_{L/K} \mid v_L(\sigma(\alpha) - \alpha) \geq i + 1 \ \forall \alpha \in \mathcal{O}_L \}, and in the tame case, these groups are trivial beyond i = 0 or exhibit jumps controlled by the Swan conductor, linking the Galois action to quotients of unit groups via the Artin map: \theta_{L/K}(U_K^{(i)}) = G^i_{L/K}.^[17] The Hasse-Arf theorem ensures that the breaks in the ramification filtration occur at integers for abelian extensions.^[17]

Reciprocity maps and existence

The existence theorem of local class field theory establishes that, for a non-archimedean local field K, the local Artin reciprocity map \theta_K: K^\times \to \Gal(K^\ab / K) is a continuous isomorphism of topological groups with trivial kernel \{1\}, yielding \Gal(K^\ab / K) \cong K^\times. This map satisfies the key property that for a finite abelian extension L/K, the image \theta_K(\Norm_{L/K}(L^\times)) is the subgroup \Gal(K^\ab / L) of \Gal(K^\ab / K) consisting of elements fixing L.^[17] One primary proof strategy constructs explicit abelian extensions using Lubin-Tate formal groups to realize all finite abelian extensions of K, thereby verifying surjectivity of the reciprocity map. Let \mathcal{O}_K be the ring of integers of K, with uniformizer \pi and residue field \mathbb{F}_q of order q. A Lubin-Tate formal \mathcal{O}_K-module of height [K : \mathbb{Q}_p] is a formal group law F_\pi over \mathcal{O}_K together with an \mathcal{O}_K-action such that the endomorphism [ \pi ]_{F_\pi}(X) = \pi X + X^q \mod \mathfrak{m}^2, where \mathfrak{m} is the maximal ideal of \mathcal{O}_K. For each positive integer n, the level-n Lubin-Tate extension K_{\pi, n} is the fixed field of the kernel of multiplication by \pi^n on the Tate module of F_\pi, yielding a totally ramified extension of degree (q-1)q^{n-1} whose Galois group is isomorphic to (\mathcal{O}_K / \pi^n \mathcal{O}_K)^\times. The union over n gives the maximal totally ramified abelian extension, and composing with the maximal unramified extension generates K^\ab, with the reciprocity map induced by the action on torsion points.^[20] A cohomological approach to the existence theorem employs the Tate-Nakayama theorem, which provides a duality relating the second cohomology group to invariants under the Galois action. Specifically, for a finite abelian Galois extension L/K with Galois group G = \Gal(L/K), the Tate-Nakayama theorem asserts that H^2(G, L^\times) \cong H^0(G, L^\times / K^\times)^\vee, where the dual is with respect to the character group over \mathbb{Q}/\mathbb{Z}, under the assumption that higher cohomology vanishes appropriately for profinite completions. This duality, combined with the explicit computation of the Brauer group \Br(K) \cong \mathbb{Q}/\mathbb{Z} via the invariant map, implies that the connecting homomorphism from the norm residue symbol yields an isomorphism between the quotient K^\times / \Norm_{L/K}(L^\times) and G, confirming the existence of extensions corresponding to open subgroups of finite index in K^\times.^[17] For unramified extensions, the reciprocity map is explicit: the maximal unramified extension K^\ur of K has Galois group isomorphic to \hat{\mathbb{Z}}, generated by the Frobenius automorphism, and the map \theta_K sends a uniformizer of K to this Frobenius while acting trivially on units modulo norms from K^\ur. In the case K = \mathbb{Q}_p, unramified extensions of degree f are obtained by adjoining a primitive (p^f - 1)-th root of unity to \mathbb{Q}_p, with the ring of integers being the p-adic completion of the cyclotomic integers; more generally, the integers of the maximal unramified extension are the ring of Witt vectors W(\bar{\mathbb{F}}_p) over the algebraic closure of the residue field. Handling wildly ramified cases requires the higher ramification filtration on the inertia subgroup I_K of \Gal(K^\sep / K), where the filtration jumps determine the conductor of the extension. The Hasse-Arf theorem ensures that for abelian extensions, these jumps occur at integer values in the upper numbering, allowing the reciprocity map to respect the filtration structure and extend continuously to wildly ramified quotients by controlling the action on higher ramification groups via the explicit Lubin-Tate construction or cohomological duality. For archimedean local fields, the abelian extensions are trivial (\mathbb{R}^\ab = \mathbb{R}, \mathbb{C}^\ab = \mathbb{C}), so the reciprocity map is the identity on \mathbb{R}^>0 and complex conjugation on \mathbb{C}^\times / \mathbb{R}^>, but these cases do not affect the non-archimedean theory.^[17]

Global Class Field Theory

Idèlic class group and Artin map

In global class field theory, the idèlic class group of a number field K is defined as the quotient C_K = J_K / K^\times, where J_K denotes the group of idèles of K (the restricted direct product of the local multiplicative groups K_v^\times over all places v of K) and K^\times is the multiplicative group of nonzero elements of K, embedded diagonally into J_K.^[17] This group C_K generalizes the ideal class group by incorporating local information at all places, including archimedean ones, and endows it with a topology making it a locally compact abelian group.^[17] The subgroup of norm-1 idèles, J_K^1 = \{ a \in J_K \mid \prod_v |a_v|_v = 1 \}, where the product is over all places and |\cdot|_v is the normalized absolute value, intersects K^\times to form the connected component of the identity in C_K, denoted C_K^0 = J_K^1 K^\times / K^\times.^[17] The global Artin map, or reciprocity map, is a continuous surjective homomorphism \theta_K: C_K \to \mathrm{Gal}(K^{\mathrm{ab}}/K), where K^{\mathrm{ab}} is the maximal abelian extension of K.^[17] This map induces a topological isomorphism C_K / C_K^0 \cong \mathrm{Gal}(K^{\mathrm{ab}}/K), with the kernel of \theta_K precisely C_K^0, linking the arithmetic of idèles directly to the abelian Galois group.^[17] Locally, \theta_K is compatible with the local Artin maps: for each place v of K and a finite abelian extension L/K, the restriction of \theta_K to the local component yields the local reciprocity map \theta_{K_v}: C_{K_v} \to \mathrm{Gal}(L_w / K_v), where C_{K_v} = K_v^\times / N_{L_w / K_v} L_w^\times is the local idele class group modulo local norms from the completion L_w at a place w above v.^[17] The global map arises as the idèlic product of these local maps, ensuring compatibility via the restriction-corestriction formalism in Galois cohomology.^[17] A key arithmetic principle underlying this compatibility is Hasse's norm theorem, which states that for a cyclic extension L/K of number fields, an element x \in K^\times lies in the global norm group N_{L/K} L^\times if and only if its image lies in the local norm group N_{L_w / K_v} L_w^\times for every place v of K.^[17] This local-global principle for norms follows from the product formula for the idèle group, \prod_v |a_v|_v = 1 for a \in J_K^1, which equates the global norm condition with the product of local conditions, preventing obstructions from the infinite places.^[17] For the specific case of cyclotomic extensions, the global Artin map admits an explicit description: over K = \mathbb{Q}, the map \theta_\mathbb{Q} sends an idèle class represented by a rational integer n coprime to the conductor m (extended as the idèle with component n at finite places and 1 at infinity) to the Galois automorphism in \mathrm{Gal}(\mathbb{Q}(\zeta_m)/\mathbb{Q}) that acts by multiplication \zeta_m \mapsto \zeta_m^n, where \zeta_m is a primitive m-th root of unity and n is viewed in (\mathbb{Z}/m\mathbb{Z})^\times.^[17] More generally, for units in \mathbb{Z}^\times = \{\pm 1\}, the map \theta_K on the corresponding diagonal idèle acts as multiplication by that unit on the roots of unity in the cyclotomic tower.^[17]

Fundamental theorems

The fundamental theorems of global class field theory establish a precise correspondence between the arithmetic of idèle class groups and the Galois groups of maximal abelian extensions of a number field K. These theorems, formulated using the Artin reciprocity map \theta_K: C_K \to \Gal(K^\ab/K), where C_K is the idèle class group and K^\ab the maximal abelian extension of K, provide the algebraic foundation for classifying all abelian extensions.^[21] The first fundamental theorem asserts that the Artin map \theta_K is surjective onto \Gal(K^\ab/K), with kernel equal to the connected component of the identity C_K^0 in C_K. This connected component is given by C_K^0 = K^\times \cdot \prod_{v \mid \infty} K_v^\times, reflecting the contribution from the archimedean places. Consequently, \theta_K induces an isomorphism C_K / C_K^0 \cong \Gal(K^\ab / K), ensuring that every abelian extension arises from the idèlic structure.^[21] The second fundamental theorem addresses finite abelian extensions L/K. It states that the relative Artin map \theta_{L/K}: C_K / N_{L/K} C_L \to \Gal(L/K) is an isomorphism, where N_{L/K} denotes the norm map on idèle classes. This result refines the first theorem by providing an explicit bijection for each finite extension, linking the quotient of the global idèle class group by the image of the norm from L directly to the Galois group.^[21] A key compatibility result, known as the reciprocity theorem, equates the global Artin map to the product of local Artin maps: \prod_v \theta_{K_v} = \theta_K on the idèle group, where the product runs over all places v of K and \theta_{K_v} is the local reciprocity map for the completion K_v. This theorem underscores the harmony between local and global reciprocity laws, confirming that the global structure is determined by its local components.^[21] As a consequence of these theorems, the Chebotarev density theorem describes the splitting behavior of primes in abelian extensions. For a finite abelian Galois extension L/K, the set of prime ideals of K that split completely in L has natural density $1/[L:K]. More generally, for unramified primes p with a given Frobenius element \sigma \in \Gal(L/K), the density is $1/[L:K]. In a cyclic extension of degree m, the density of primes whose Frobenius has order n (with n \mid m) is \phi(n)/m, where \phi is Euler's totient function. This quantifies how the Artin symbol governs prime splitting.^[21] In a graded formulation, the theorems extend to ray class groups for a modulus \mathfrak{m}. The ray class group \Cl_\mathfrak{m}(K) is isomorphic to \Gal(K_\mathfrak{m}/K), where K_\mathfrak{m} is the ray class field modulo \mathfrak{m}, the maximal abelian extension unramified outside \mathfrak{m} and satisfying the ray congruence condition. This version specializes the idèlic isomorphism to conductor-specific extensions, facilitating computations for specific moduli.^[21]

Analytic aspects

The analytic aspects of global class field theory bridge the algebraic structure of abelian extensions with tools from analytic number theory, primarily through the study of L-functions associated to characters of the Galois group. These L-functions encode information about the distribution of prime ideals and the arithmetic of the field, providing a framework to analyze properties like densities and non-vanishing that have profound implications for the theory.^[22] Central to this connection are the Artin L-functions, defined for a finite abelian extension K/k of number fields and a character \chi of the Galois group \mathrm{Gal}(K^{ab}/k). The L-function is given by the Euler product

L(s, \chi) = \prod_{\pi} \left(1 - \chi(\pi) N(\pi)^{-s}\right)^{-1},

where the product runs over the nonzero prime ideals \pi of the ring of integers of k, N(\pi) denotes the norm of \pi, and \chi(\pi) is the image of the Frobenius element at \pi under \chi. In the abelian case, these coincide with Hecke L-functions attached to ray class characters.^[23] Artin L-functions admit meromorphic continuation to the entire complex plane, established using Brauer's induction theorem, which expresses any Artin L-function as a ratio of products of Hecke L-functions (whose analytic properties are known from class field theory). This continuation is of finite order, and the functions satisfy a functional equation relating L(s, \chi) to L(1-s, \overline{\chi}), up to Gamma factors and a root number determined by the conductor. The completeness of this description relies on Brauer induction to reduce to the abelian case, where explicit functional equations hold via Hecke's work.^[24] A key conjecture in this analytic framework is Artin's holomorphy conjecture, which posits that for an irreducible non-trivial representation \rho of \mathrm{Gal}(K/k), the associated Artin L-function L(s, \rho) is entire (holomorphic everywhere). This is equivalent to the assertion that every Artin L-function decomposes as a product of Hecke L-functions corresponding to ray class characters, without interior poles arising from cancellations in the Brauer decomposition. While the meromorphic continuation is unconditional, the full holomorphy remains open in general, though it implies strong bounds on the arithmetic of extensions.^[25] These L-functions play a crucial role in density theorems, particularly the Chebotarev density theorem, whose proof for natural density relies on the non-vanishing of Artin L-functions on the line \mathrm{Re}(s) = 1. Specifically, the Dedekind zeta function of k, which factors as a product of Artin L-functions over irreducible characters, is known to be non-zero at s=1 (as it has a simple pole there), implying that no non-trivial Artin L-function vanishes on this line. This non-vanishing ensures the equidistribution of Frobenius conjugacy classes among prime ideals, quantifying the algebraic predictions of class field theory analytically.^[26] Modern progress on the Artin conjecture has been achieved through the Langlands program, which establishes the conjecture for specific cases by associating Artin representations to automorphic forms whose L-functions match those of Artin. For instance, the conjecture holds for all two-dimensional irreducible representations with solvable image, as proved using base change and functoriality for GL(2). These results, building on earlier work for dihedral and other low-dimensional cases, provide evidence for the broader reciprocity conjectures linking Galois representations to automorphic objects.^[27]

Historical Development

Kronecker's Jugendtraum and early ideas

Leopold Kronecker initiated a program in the 1850s and 1880s to describe all abelian extensions of the rational numbers \mathbb{Q} using cyclotomic fields, culminating in the Kronecker-Weber theorem, which states that every finite abelian extension of \mathbb{Q} is contained in a cyclotomic extension.^[2] This theorem, announced by Kronecker in 1853 and rigorously proved by David Hilbert in 1896, provided a complete classification for the base field \mathbb{Q}, linking Galois groups of abelian extensions directly to subgroups of units in cyclotomic fields.^[2] Kronecker's "Jugendtraum" (youth's dream), articulated in an 1880 letter to Richard Dedekind, extended this vision to imaginary quadratic fields, proposing that their abelian extensions could be generated by special values of elliptic modular functions associated with complex multiplication.^[2] For instance, extensions of \mathbb{Q}(i) were envisioned via values of the lemniscatic sine function, analogous to roots of unity for \mathbb{Q}, while the j-invariant of elliptic curves with complex multiplication was used to construct unramified abelian extensions corresponding to ideal class groups.^[2] This analytic approach aimed to parameterize class fields explicitly, foreshadowing broader connections between arithmetic and modular forms. A key analytic tool in Kronecker's work was his 1880 limit formula, which evaluates the behavior of partial zeta functions at s=1, relating residues to class numbers of imaginary quadratic fields and serving as a precursor to the full analytic class number formula.^[28] Early ideas in class field theory also drew from reciprocity laws, with Carl Friedrich Gauss's quadratic reciprocity (1801) serving as a foundational special case for quadratic extensions of \mathbb{Q}, where the Legendre symbol \left( \frac{p}{q} \right) determines splitting behavior.^[2] Kronecker generalized this to higher-degree abelian extensions through his density conjectures, influencing later developments like the Frobenius density theorem. David Hilbert's 12th problem, posed at the 1900 International Congress of Mathematicians, sought to generalize Kronecker's Jugendtraum to arbitrary number fields by constructing their maximal abelian extensions using special values of transcendental functions, such as abelian integrals or modular functions.^[2] While the Kronecker-Weber theorem resolved it for \mathbb{Q}, and for imaginary quadratic fields Heinrich Weber provided explicit constructions using values of the j-invariant in the early 1900s, Teiji Takagi's development of class field theory in 1920 established the general abstract framework, though the problem remains open in general, with post-2000 advances via complex multiplication on higher-dimensional abelian varieties yielding explicit constructions for certain CM fields.^[29]

Hilbert and Takagi's contributions

David Hilbert made foundational contributions to class field theory between 1893 and 1907, particularly through his development of the norm symbol and reciprocity laws. In 1897, Hilbert introduced the norm residue symbol (a, b)_v, which measures whether a is a norm from the extension K(\sqrt{b})/K at the place v, initially for quadratic forms over the rationals \mathbb{Q}. This led to his quadratic reciprocity law, formulated as a product \prod_v (a, b)_v = 1 over all places v of \mathbb{Q}, generalizing Gauss's quadratic reciprocity and providing a framework for abelian extensions via local-global compatibility.^[2] Hilbert extended these ideas to general number fields K, conjecturing in 1898 the existence of the Hilbert class field, the maximal unramified abelian extension of K whose Galois group is isomorphic to the ideal class group \mathrm{Cl}(K). In this extension, every ideal of K becomes principal, resolving key aspects of ideal theory and linking unramified extensions directly to class groups. While Hilbert proved this for class number 2, his student Philipp Furtwängler established the isomorphism and unramified properties for all number fields in 1907, completing Hilbert's vision for unramified class fields.^[2] Teiji Takagi completed the systematic development of global class field theory in his 1920–1922 papers, proving the existence of ray class fields for arbitrary number fields using advanced ideal theory. Building on Steinitz's 1910 work on ideal factorization in Dedekind domains, Takagi defined ray class groups as quotients I_{\mathfrak{m}}/H_{\mathfrak{m}} of congruence ideal groups modulo a conductor \mathfrak{m}, incorporating infinite places via signatures. His existence theorem asserts that for every such ray class group, there is a corresponding abelian extension L/K (the ray class field) with \mathrm{Gal}(L/K) \cong I_{\mathfrak{m}}/H_{\mathfrak{m}}, ramified only at primes dividing \mathfrak{m}, and every finite abelian extension arises this way. Takagi employed pre-idèle concepts, such as multiplicative congruence on integral divisors, to ensure compatibility with local norm residue symbols, predating the full idèle framework.^[30] In the 1920s, Helmut Hasse's local-global principle profoundly influenced class field theory by establishing that quadratic forms over number fields are classified by their local behaviors at all places, including archimedean ones. Hasse proved in 1923 that a quadratic form over \mathbb{Q} represents zero nontrivially if and only if it does so over \mathbb{R} and every \mathbb{Q}_p, extending to general fields and underpinning the Hasse-Minkowski theorem. This principle shaped the axioms of class field theory by emphasizing that global reciprocity laws must align with local ones everywhere, facilitating Takagi's global proofs and later axiomatic formulations.^[31] Takagi's constructive approach using ideal theory has been reinterpreted in modern terms through Galois cohomology, where ray class fields correspond to isomorphisms involving cohomology groups like H^2(\mathrm{Gal}(L/K), L^\times) and the idèle class group, providing an algebraic topology lens on his norm theorems and existence results.^[17]

Artin's axiomatic approach

In 1927, Emil Artin formulated an axiomatic characterization of the reciprocity map in class field theory, reducing the theory to abstract properties of a homomorphism from the idele class group of a number field K to the Galois group of an abelian extension L/K. The axioms specify that the map \phi_{L/K}: J_K / N_{L/K} J_L \to \Gal(L/K) must be surjective, transitive (compatible with norms in field towers), such that unramified primes map to Frobenius elements (decomposition axiom), and ramified primes map to inertia subgroups (inertia axiom).^[32] Artin proved the uniqueness of such a map by showing that any homomorphism satisfying these axioms coincides with the explicit Artin reciprocity map constructed via ideles, relying on Chebotarev's density theorem to verify the decomposition and inertia conditions. This axiomatization demonstrated that Takagi's earlier constructive existence theorem provides the canonical map fulfilling Artin's axioms.^[17] In the 1930s, Claude Chevalley and Ernst Witt reformulated class field theory using group cohomology, proving the existence of the reciprocity map by establishing the vanishing of the second cohomology group H^2(\Gal(L/K), L^\times) = 0 for abelian extensions, which implies the surjectivity axiom cohomologically. Chevalley's 1940 monograph provided a complete algebraic proof of the axioms via this approach, simplifying the idelic framework. Jacques Herbrand's work in the early 1930s introduced cohomological tools, including the Herbrand quotient, to link local and global class field theory through isomorphisms of Brauer groups: the global Brauer group \Br(K) injects into the direct sum of local Brauer groups \oplus_v \Br(K_v), with the kernel consisting of relative Brauer groups for cyclic algebras, enabling descent arguments that confirm the transitivity and compatibility axioms across completions. Post-1950 developments, particularly John Tate's 1950 PhD thesis under Artin, offered more elegant cohomological proofs by dualizing the reciprocity law via Pontryagin duality on ideles and Tate cohomology, vanishing higher cohomology groups to establish the full isomorphism J_K / N_{L/K} J_L \cong \Gal(L^{ab}/K) uniformly for local and global fields. These methods, refined in the 1951–1952 Artin-Tate seminar notes, superseded earlier approaches by integrating analytic and algebraic elements seamlessly.

Applications

Class number problems

Class field theory provides a powerful framework for studying the class number h(K) of a number field K, particularly through the construction of the Hilbert class field H_K, which is the maximal unramified abelian extension of K. By the fundamental theorems of global class field theory, the Galois group \mathrm{Gal}(H_K / K) is isomorphic to the ideal class group \mathrm{Cl}(K), implying that h(K) = [H_K : K]. This isomorphism allows the class number to be determined as the degree of this extension, and more generally, h(K) divides the degree of any unramified abelian extension of K.^[33] For quadratic fields K = \mathbb{Q}(\sqrt{d}), where d is a square-free integer, class field theory builds on classical genus theory to provide effective divisibility results for the class number. Gauss's genus theory, extended via class field theory, shows that if t is the number of distinct prime divisors of the discriminant D_K, then $2^{t-1} divides h(K). This follows from the structure of the 2-Sylow subgroup of the class group, where the 2-rank is t-1, yielding an explicit lower bound on the 2-primary part of h(K). For example, in imaginary quadratic fields with multiple prime factors in the discriminant, this ensures significant 2-divisibility, aiding in the classification of fields with small class numbers.^[34] Asymptotic estimates for class numbers in families of number fields are captured by the Brauer-Siegel theorem, which relates h(K) to the discriminant D_K and regulator R_K. For a family of number fields \{K_i\} with degrees n_{K_i} satisfying n_{K_i} / \log \sqrt{|D_{K_i}|} \to 0 as i \to \infty, the theorem states that \log(h(K_i) R_{K_i}) \sim \log \sqrt{|D_{K_i}|}. This asymptotic equivalence holds unconditionally for normal extensions and under the generalized Riemann hypothesis more generally, providing bounds on how h(K) grows with the discriminant.^[35] Unconditional lower bounds on class numbers follow from Siegel's theorem, which implies that for imaginary quadratic fields K = \mathbb{Q}(\sqrt{-d}), h(K) \gg |D_K|^{1/2 - [\epsilon](/page/Epsilon)} for any \epsilon > 0, though the implied constant depends ineffectively on \epsilon. A related ineffective bound takes the form h(K) > c \log |D_K| / \sqrt{|D_K|} for some positive constant c, highlighting that class numbers tend to infinity as discriminants grow, with no fixed bound independent of the field. These results preclude only finitely many fields with class number 1 in certain families.^[36] Computational applications of class field theory to class numbers, particularly for real quadratic fields, involve constructing Hilbert class fields or analyzing class field towers to verify group structures. Recent algorithms, such as those using the Selberg trace formula and explicit computations of Maaß cusp forms, enable unconditional determination of class groups for all real quadratic fields with discriminants up to $1.1 \times 10^{11}, running in time O(X^{5/4 + o(1)}) for discriminants up to X. These methods complement class field tower computations, which resolve the 2-primary structure in towers of length up to 2 for specific families of real quadratic fields with discriminants not sums of two squares, as determined in recent theoretical advances.^[37]^[38]

Connections to L-functions

The Dedekind zeta function of a number field K is defined as \zeta_K(s) = \sum_{\mathfrak{a}} (N \mathfrak{a})^{-s}, where the sum runs over nonzero ideals \mathfrak{a} of the ring of integers of K and N denotes the norm, and it admits an Euler product expansion \zeta_K(s) = \prod_{\mathfrak{p}} (1 - N \mathfrak{p}^{-s})^{-1} over the prime ideals \mathfrak{p} of K.^[39] For an abelian extension L/K corresponding to a quotient of the ideal class group \mathrm{Cl}(K) via the Artin map, the Dedekind zeta function \zeta_L(s) decomposes as a product of Artin L-functions: \zeta_L(s) = \zeta_K(s) \prod_{\chi \in \widehat{\mathrm{Cl}(K)}, \chi \neq 1} L(s, \chi), where each L(s, \chi) is the Artin L-function attached to the one-dimensional character \chi of \mathrm{Gal}(L/K) \cong \mathrm{Cl}(K), defined via the Euler product L(s, \chi) = \prod_{\mathfrak{p}} \det(1 - N\mathfrak{p}^{-s} \chi(\mathrm{Fr}_{\mathfrak{p}}))^{-1} excluding ramified primes.^[40]^[22] Hecke characters, also known as Grössencharaktere, are defined idèlically as continuous homomorphisms \chi: I_K / K^\times \to \mathbb{C}^\times from the idele class group of K to the multiplicative group of complex numbers, often restricted to ray class groups modulo an integral ideal \mathfrak{m}.^[41] For a Hecke character \psi of finite order modulo \mathfrak{m}, the associated ray class field K^{(\mathfrak{m})} is the maximal abelian extension of K unramified outside \mathfrak{m} and the infinite places, with \mathrm{Gal}(K^{(\mathfrak{m})}/K) \cong C_K^{(\mathfrak{m})}, the ray class group, and \psi inducing characters on this Galois group.^[41] The corresponding Hecke L-function is L(s, \psi) = \sum_{\mathfrak{a}} \psi(\mathfrak{a}) (N \mathfrak{a})^{-s} = \prod_{\mathfrak{p} \nmid \mathfrak{m}} (1 - \psi(\mathfrak{p}) N\mathfrak{p}^{-s})^{-1}, which extends the theory of Dirichlet [L-function](/page/L-function)s to number fields and plays a central role in generating these ray class fields through their analytic properties.^[41] A key analytic connection is the class number formula, which expresses the residue of the Dedekind zeta function at s=1 in terms of arithmetic invariants of K:

\Res_{s=1} \zeta_K(s) = \frac{2^{r_1} (2\pi)^{r_2} h(K) R_K}{w_K \sqrt{|\Delta_K|}},

where r_1 (resp., r_2) is the number of real (resp., pairs of complex) embeddings of K, h(K) is the class number, R_K is the regulator of the unit group, w_K is the number of roots of unity in K, and \Delta_K is the discriminant of K.^[39] This formula arises from the functional equation of \zeta_K(s) and the decomposition into Artin L-functions, linking the pole at s=1 (simple, with residue tied to h(K)) to the trivial character in the product.^[39] In the context of elliptic curves over number fields, class field theory informs the Birch and Swinnerton-Dyer conjecture through twists of L-functions by Hecke characters. For an elliptic curve E over K, the conjecture posits that the order of vanishing of the L-function L(E/K, s) at s=1 equals the rank of the Mordell-Weil group E(K), with the leading term involving the regulator, Tamagawa numbers, the order of the Tate-Shafarevich group, and the Sha torsion.^[42] Twists L(E \otimes \chi / K, s) by Hecke characters \chi of finite order (corresponding to abelian extensions via class field theory) yield analogous rank conjectures, where the analytic rank of the twisted L-function matches the rank of the twisted Mordell-Weil group, providing a framework for studying ranks over ray class fields.^[42] The Langlands correspondence further connects Artin L-functions from class field theory to automorphic L-functions, with significant progress since the 2010s establishing functoriality and base change results that confirm the holomorphy and functional equations conjectured by Artin. For instance, advancements in the local Langlands correspondence for \mathrm{GL}(n) and classical groups, including endoscopic classifications, have linked two- and three-dimensional Artin representations to automorphic forms, extending abelian reciprocity to non-abelian settings and supporting a broader non-abelian class field theory.^[43] Recent trace formula techniques, such as those yielding subconvexity bounds for cuspidal representations, have refined these connections, with implications for the analytic continuation of Artin L-functions beyond abelian cases.^[43]

Generalizations

Class field theory for function fields

Class field theory extends naturally to global fields of positive characteristic, particularly function fields over finite fields. A function field K in this context is the field of rational functions on an algebraic curve over a finite field \mathbb{F}_q, such as K = \mathbb{F}_q(T) for the projective line, where places correspond to points on the curve, including the point at infinity. These places play the role of prime ideals in number fields, and the arithmetic of K is governed by divisors, which are formal sums of places. The divisor class group, specifically the group of degree-zero divisors modulo principal divisors \mathrm{Div}^0(K)/\mathrm{Prin}(K), serves as the analogue of the ideal class group in number fields, capturing the structure of unramified abelian extensions.^[17] The zeta function for such a function field K is defined as \zeta_K(s) = \prod_{P} (1 - |k_P|^{-s})^{-1}, where the product runs over all places P and |k_P| is the cardinality of the residue field at P; this function exhibits analytic properties analogous to the Dedekind zeta function, including a simple pole at s=1. The Riemann-Roch theorem provides essential tools for the theory, stating that for a divisor D on the curve, the dimension of the Riemann-Roch space L(D) satisfies \dim L(D) = \deg D - g + 1 when \deg D \geq 2g - 1, where g is the genus of the curve; this theorem is pivotal in proving the existence of divisors and functions needed for constructing class fields.^[17]^[44] The full class field theory for function fields establishes an Artin reciprocity map from the idèle class group of K to the Galois group \mathrm{Gal}(K^{\mathrm{ab}}/K) of the maximal abelian extension, providing a complete description of abelian extensions in terms of idele data, much like in the number field case. Drinfeld modules, which are analogues of elliptic curves defined over function fields, realize an explicit solution to Hilbert's 12th problem by generating ray class fields through their torsion points and Carlitz modules, offering a function field counterpart to complex multiplication.^[17]^[45] In analogy to number fields, constant field extensions—such as adjoining roots of unity to the constant field \mathbb{F}_q—play the role of cyclotomic extensions, contributing to the structure of the class group and abelian Galois groups. The zeta function \zeta_K(s) gains profound geometric insight from the Weil conjectures, which assert that it factors rationally with roots of unity on the unit circle, proven using étale cohomology and linking the arithmetic of function fields to the topology of their associated varieties over finite fields.^[17]^[46]

Non-abelian and higher extensions

Class field theory provides a complete solution to the inverse Galois problem for finite abelian groups, realizing any such group as the Galois group of a finite abelian extension of the rationals via the Kronecker-Weber theorem, which embeds all abelian extensions within cyclotomic fields. However, the problem remains open for non-abelian groups, such as the symmetric groups S_n for n \geq 3, where realizing them as Galois groups over the rationals requires constructing extensions with prescribed non-abelian Galois actions, a challenge that has motivated ongoing research in arithmetic geometry.^[47] Non-abelian class field towers extend the abelian framework by considering infinite towers of Galois extensions with pro-p Galois groups, where the layers correspond to unramified or tamely ramified extensions controlled by the p-class groups of the base fields. These towers arise in cases where the Golod-Shafarevich inequality implies infinite ascent, linking the structure of the pro-p group to the divisibility properties of class numbers in the tower. For instance, the Golod-Shafarevich theorem guarantees the existence of infinite 2-class field towers for certain number fields, demonstrating that the p-rank of class groups grows without bound and providing counterexamples to the expectation of finite class number ascent.^[48] Recent computations have determined the full structure of such towers for specific quadratic fields, revealing non-metabelian topologies in the Galois groups. Higher class field theory generalizes the classical theory to settings beyond number fields, encompassing commutative rings and schemes through connections to algebraic K-theory and étale cohomology. In this framework, higher regulators map elements of Quillen K-groups K_n([R](/page/R)) of the ring of integers R to étale cohomology groups H^2_{\ét}( \Spec R, \mathbb{Q}/\mathbb{Z}(n) ), providing arithmetic invariants that encode ramification data for higher-dimensional extensions. Soulé's construction of étale Chern classes achieves this by defining homomorphisms from finite-coefficient K-theory to étale cohomology, enabling the study of class groups in higher degrees and facilitating explicit computations for rings of integers in number fields.^[49] This approach has applications in arithmetic geometry, where it relates the structure of higher K-groups to regulators and Beilinson's conjectures on special values of L-functions.^[50] The Langlands program offers a non-abelian generalization of class field theory by establishing reciprocity laws that associate irreducible n-dimensional Galois representations of the absolute Galois group of a number field to automorphic representations of \GL_n over the adele ring, extending Artin's reciprocity map from the abelian case where it identifies the idele class group with the abelianized Galois group.^[47] This correspondence predicts that Artin L-functions attached to Galois representations coincide with automorphic L-functions, providing analytic continuations and functional equations that control the distribution of primes splitting in non-abelian extensions. For n=1, it recovers classical class field theory, while for higher n, it encompasses cases like the modularity theorem for elliptic curves, linking Galois representations to modular forms.^[51] Recent advances in the p-adic Langlands correspondences, building on local class field theory, have constructed explicit bijections between certain p-adic Galois representations and Banach space representations of p-adic groups like \GL_2(\mathbb{Q}_p), with significant progress since 2015 including Scholze's geometric approach using the Langlands-Rapoport method and Colmez's work on trianguline parameters. These developments, including geometrizations via shtukas and patching techniques, have resolved cases for unitary groups and extended the correspondence to potentially stable settings, reflecting ongoing efforts to unify local and global reciprocity in the p-adic setting.^[52]

References

[1]
[PDF] A Brief Summary of the Statements of Class Field Theory
Global class field theory (via ideles). 2.1. Global fields. Definition 2.1. A number field is a finite extension of Q. A global function field is a finite.
[2]
[PDF] History of class field theory - Keith Conrad
Class field theory describes abelian extensions of global and local fields, related to ideal class groups, and developed from 19th-century number theory themes.
[3]
[PDF] Algebraic Number Theory Tom Weston
common definition.) We define the degree of a number field K to be the positive integer [K : Q]. The fundamental examples are fields of the form. Q[x]/(f(x)).
[4]
[PDF] Number Fields and Galois Theory
In this paper, we start by introducing basic abstract algebra concepts such as fields, and the build up to the idea of number fields. From there, we study.
[5]
[PDF] ALGEBRAIC NUMBER THEORY NOTES Contents 1. Unique Prime ...
If K is an algebraic number field and OK its ring of integers, then OK is Noe- therian, integrally closed, and every nonzero prime ideal of OK is maximal. Proof ...
[6]
[PDF] 12 The different and the discriminant
Oct 20, 2016 · If A = Z then B is the ring of integers of the number field L, and B is a free A-lattice, because it is a torsion-free module over a PID and ...
[7]
[PDF] MATH 154. ALGEBRAIC NUMBER THEORY 1. Fermat's ...
specific number, with no scaling ambiguity at all! 8. DISCRIMINANTS OF NUMBER FIELDS. We will define the discriminant of a number field, or really the “discrim-.
[8]
Introduction - Dedekind Domains
Theorem: Every number ring is a Dedekind domain. Proof: Since a number ring is a free abelian group of finite rank, any ideal must also be a free abelian group ...
[9]
1.1 The Kronecker-Weber theorem - Kiran S. Kedlaya
An abelian extension of a field is a Galois extension with abelian Galois group. An example of an abelian extension of Q is the cyclotomic field Q ( ζ n ) ...<|separator|>
[10]
ABELIAN GALOIS GROUPS 767
In this section the construction of noninner, nonouter Abelian Galois groups for certain K is reduced to that of nontrivial finite Abelian outer subgroups of G ...
[11]
[PDF] Galois representations
For an arbitrary field K, we have that the seperable closure Ksep is Galois over K and we write GK = Gal(Ksep/K) for the absolute Galois group.Missing: Qbar/ | Show results with:Qbar/<|control11|><|separator|>
[12]
absolute Galois group in nLab
Sep 25, 2018 · 1. Idea. The absolute Galois group of a field k is that of the field extension k ↪ k s which is the separable closure of k . When k is a ...
[13]
[PDF] THE CLASS NUMBER THEOREM Contents 1. Localization 2 2 ...
Abstract. In basic number theory we encounter the class group (also known as the ideal class group). This group measures the extent that a ring fails.
[14]
6.2 Idèles and class groups - Kiran S. Kedlaya
We define the group of idèles I K associated to K as the group of units of the ring . A K . In other words, an element of ...
[15]
[PDF] Adeles and Ideles and their applications - UChicago Math
Aug 18, 2010 · Definition 2.2. The adele ring kA of the algebraic number field k is defined as the union of the sets kA(P), where P ranges over all ...
[16]
[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 ...
[17]
[PDF] 13 Global fields and the product formula - MIT Mathematics
Oct 23, 2017 · Up to this point we have defined global fields as finite extensions of Q (number fields) or. Fq(t) (global function fields).
[18]
[PDF] Class field theory - Columbia Math Department
Theorem 2 (Local class field theory). Let K be a p-adic field. • (Local reciprocity) There exists a unique homomorphism (called the local reciprocity map) ...
[19]
[PDF] Formal Complex Multiplication in Local Fields
Feb 14, 2013 · Formal complex multiplication in local fields involves power series in a field with a discrete valuation, and the construction of formal Lie ...
[20]
[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.
[21]
[PDF] On Artin L-functions - OSU Math
And so Artin made the following first definition of his L-functions. Definition: Let ρ : Gal(K/k) → GLn(C) be a n-dimensional representation of. K/k.
[22]
https://math.osu.edu/~cogdell/artin-www.pdf
[23]
On Artin's L-Series with General Group Characters - jstor
If x is a simple character of 5, different from the 1-character, then Artin surmises that L(s, X, K/F) is an integral function. 2. Instead of proving Theorem 1 ...
[24]
On Artin £-Functions - Project Euclid
L( s, ¢; K / k) is analytic and non-zero for Re( s) = 1. Proof Since the Dedekind zeta function doesn't vanish on the line. Re(s) = 1, we get immediately that ...Missing: continuation | Show results with:continuation
[25]
[PDF] Artin L-functions - Department of Mathematics and Statistics
An Artin L-function is a meromorphic function, defined for any global field, and can be abbreviated as L(s, p).
[26]
Langlands reciprocity for certain Galois extensions - ScienceDirect
After Artin, Langlands [22] and Tunnell [30] proved Artin's conjecture for any 2-dimensional irreducible representation with solvable image, and it is a major ...
[27]
[PDF] A generalization of Kronecker's first limit formula - FSU Math
Kronecker's first limit formula gives the polar and constant terms of the Laurent series expansion of the Eisenstein series for SL(2, Z) at s = 1, which in ...
[28]
[PDF] Brumer–Stark Units and Hilbert's 12th Problem - IISc Math
Feb 26, 2021 · Our motivation in this paper is Hilbert's 12th problem, which asks for the explicit analytic construction of the maximal abelian extension of a ...
[29]
[PDF] Takagi's Class Field Theory - RIMS, Kyoto University
In Section 5, the independent contributions of Weber and Hilbert on concepts of. Page 4. 128. Katsuya MIYAKE class fields are investigated in two subsections.
[30]
[PDF] THE LOCAL-GLOBAL PRINCIPLE 1. Introduction Hensel created p ...
Then we will state Hasse's version of Minkowski's theorem on quadratic forms over Qp as an example where the local–global principle works. Next we will see.
[31]
Beweis des allgemeinen Reziprozitätsgesetzes
Beweis des allgemeinen Reziprozitätsgesetzes. Download PDF. Emil Artin. 205 Accesses. 69 Citations. 3 Altmetric. Explore all metrics. Article PDF. Download to ...
[32]
Hilbert Class Field -- from Wolfram MathWorld
Hilbert Class Field. Given a number field K , there exists a unique maximal unramified Abelian extension L of K which contains all other unramified Abelian ...Missing: definition 1893-1907
[33]
Class Numbers of Imaginary Quadratic Fields - Project Euclid
Lett be the number of different prime divi- sors of D. Then h(D) is odd if and only if t = 1. In fact, by genus theory one has CL(D) /CL(D)2 ~ (Z /2Z)t-i_.
[34]
[PDF] on the generalizations of the brauer–siegel theorem - GAATI
There are only 9 imaginary quadratic fields with class number equal to one, namely those having their discriminants equal to. −3, −4, −7, −8, −11, −19, −43, −67 ...
[35]
A Simple Proof of Siegel's Theorem | PNAS
- **Siegel's Theorem Lower Bound**: h(d) » d^(1/2 - ε) as d → ∞, where h(d) is the class number of the quadratic field Q(√(-d)), and ε is an unspecified small positive value.
[36]
[PDF] Unconditional computation of the class groups of real quadratic fields
Jun 30, 2023 · We describe an algorithm, based on the Selberg trace formula and explicit numerical computations of Maaß cusp forms, for computing the class ...Missing: tower 2020-2025
[37]
[2504.20787] On the Narrow $2$-Class Field Tower of Some Real ...
Apr 28, 2025 · Abstract:We determine precisely when the length of the narrow 2-class field tower is 2 for most of those real quadratic number fields whose ...
[38]
[PDF] The Dedekind Zeta Function and the Class Number Formula Math ...
The class number formula gives us the residue of ζK(s) in s = 1. As ζ(s) has residue 1 in this point, the residue of ζK(s) must equal the value of L(dK, ...
[39]
[PDF] math 6370, lecture 6, artin l-functions march 30
Mar 30, 2020 · In the next lecture we shall show that the Artin L-function attached to the regular rep- resentation of G is the Dedekind zeta function of F.
[40]
[PDF] Notes on the arithmetic of Hecke L-functions
Abstract. This is an expository article that concerns the various related notions of algebraic idèle-class characters, the Größencharaktere of Hecke, ...
[41]
[PDF] Lectures on the Conjecture of Birch and Swinnerton-Dyer
In the number field case, most of the progress has come from the study of special points on Shimura curves over totally real fields, and the images of certain.
[42]
[PDF] The work of Robert Langlands
With the Artin L-functions of degree n and the automorphic L-functions of. GL ... the first progress in Artin's conjecture in fifty years. Langlands ...
[43]
The Riemann-Roch Theorem | SpringerLink
The Riemann-Roch theorem relates various numbers and invariants of a function field ... Download citation .RIS .ENW .BIB. DOI : https://doi.org/10.1007/0 ...
[44]
[PDF] Drinfeld modules and Hilbert's 12th problem over function fields
Dec 13, 2024 · This theorem solves a case of Hilbert's 12th problem by explicitly describing one of the ray class fields of A. It is not too hard to ...
[45]
The Weil conjectures and examples - Kiran S. Kedlaya
In this lecture, we give the full statement of Weil's conjecture together with some small examples.
[46]
[PDF] L-functions and non-abelian class field theory, from Artin to Langlands
Artin introduced L-functions to develop non-abelian class field theory, and they are related to Langlands' conjecture, a global non-abelian reciprocity law.
[47]
[1605.09617] Recent progress in determining p-class field towers
May 31, 2016 · These non-metabelian towers reveal the new phenomenon of various tree topologies expressing the mutual location of the groups H and G.
[48]
[PDF] Higher K-Theory of Algebraic Integers and the Cohomology ... - IHES
K1(A) = A×. In fact, Bass, Milnor, and Serre [BMS67] proved that SK1(A) = 0, and for any commutative ring A one has K1(A) = A× × SK1(A). For A = OF ...
[49]
[PDF] Algebraic K-Theory, Algebraic Cycles and Arithmetic Geometry
2. In [173], following a suggestion of Quillen, Soulé constructed higher Chern classes from algebraic K-theory with finite coefficients to étale cohomology.
[50]
[PDF] Non-abelian class field theory and higher dimensional ... - arXiv
The influential Langlands Program predicts an analytic solution based on the L-functions associated to the irreducible representations of the algebraic groups ...
[51]
[2412.12055] $p$-adic Local Langlands Correspondence - arXiv
Dec 16, 2024 · Abstract:We discuss symmetrical monoidal \infty-categoricalizations in relevant p-adic functional analysis and p-adic analytic geometry.Missing: advances 2015