In mathematics, non-abelian class field theory is a catchphrase, meaning the extension of the results of class field theory, the relatively complete and classical set of results on abelian extensions of any number field K, to the general Galois extension L/K. While class field theory was essentially known by 1930, the corresponding non-abelian theory has never been formulated in a definitive and accepted sense. [1]
A presentation of class field theory in terms of group cohomology was carried out by Claude Chevalley, Emil Artin and others, mainly in the 1940s. This resulted in a formulation of the central results by means of the group cohomology of the idele class group. The theorems of the cohomological approach are independent of whether or not the Galois group G of L/K is abelian. This theory has never been regarded as the sought-after non-abelian theory. The first reason that can be cited for that is that it did not provide fresh information on the splitting of prime ideals in a Galois extension; a common way to explain the objective of a non-abelian class field theory is that it should provide a more explicit way to express such patterns of splitting. [2]
The cohomological approach therefore was of limited use in even formulating non-abelian class field theory. Behind the history was the wish of Chevalley to write proofs for class field theory without using Dirichlet series: in other words to eliminate L-functions. The first wave of proofs of the central theorems of class field theory was structured as consisting of two 'inequalities' (the same structure as in the proofs now given of the fundamental theorem of Galois theory, though much more complex). One of the two inequalities involved an argument with L-functions. [3]
In a later reversal of this development, it was realised that to generalize Artin reciprocity to the non-abelian case, it was essential in fact to seek a new way of expressing Artin L-functions. The contemporary formulation of this ambition is by means of the Langlands program: in which grounds are given for believing Artin L-functions are also L-functions of automorphic representations. [4] As of the early twenty-first century, this is the formulation of the notion of non-abelian class field theory that has widest expert acceptance. [5]
Robert Phelan Langlands, is a Canadian mathematician. He is best known as the founder of the Langlands program, a vast web of conjectures and results connecting representation theory and automorphic forms to the study of Galois groups in number theory, for which he received the 2018 Abel Prize. He was an emeritus professor and occupied Albert Einstein's office at the Institute for Advanced Study in Princeton, until 2020 when he retired.
In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by Robert Langlands, it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics."
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.
In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory that describes abelian Galois extensions of local and global fields using objects associated to the ground field.
In mathematics, a global field is one of two type of fields which are characterized using valuations. There are two kinds of global fields:
In mathematics, the Brauer group of a field K is an abelian group whose elements are Morita equivalence classes of central simple algebras over K, with addition given by the tensor product of algebras. It was defined by the algebraist Richard Brauer.
In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields and their group cohomology is an important tool in number theory.
In mathematics, local class field theory, introduced by Helmut Hasse, is the study of abelian extensions of local fields; here, "local field" means a field which is complete with respect to an absolute value or a discrete valuation with a finite residue field: hence every local field is isomorphic to the real numbers R, the complex numbers C, a finite extension of the p-adic numbersQp, or a finite extension of the field of formal Laurent series Fq( ) over a finite field Fq.
In harmonic analysis and number theory, an automorphic form is a well-behaved function from a topological group G to the complex numbers which is invariant under the action of a discrete subgroup of the topological group. Automorphic forms are a generalization of the idea of periodic functions in Euclidean space to general topological groups.
In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group G associated to a field extension L/K acts in a natural way on some abelian groups, for example those constructed directly from L, but also through other Galois representations that may be derived by more abstract means. Galois cohomology accounts for the way in which taking Galois-invariant elements fails to be an exact functor.
The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.
In mathematics, an Artin L-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group G. These functions were introduced in 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin L-functions into a larger framework, such as is provided by automorphic forms and the Langlands program. So far, only a small part of such a theory has been put on a firm basis.
This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.
In mathematics, a class formation is a topological group acting on a module satisfying certain conditions. Class formations were introduced by Emil Artin and John Tate to organize the various Galois groups and modules that appear in class field theory.
In mathematics, a Weil group, introduced by Weil (1951), is a modification of the absolute Galois group of a local or global field, used in class field theory. For such a field F, its Weil group is generally denoted WF. There also exists "finite level" modifications of the Galois groups: if E/F is a finite extension, then the relative Weil group of E/F is WE/F = WF/W c
E .
In mathematics, Lafforgue's theorem, due to Laurent Lafforgue, completes the Langlands program for general linear groups over algebraic function fields, by giving a correspondence between automorphic forms on these groups and representations of Galois groups.
In algebraic number theory, the Shafarevich–Weil theorem relates the fundamental class of a Galois extension of local or global fields to an extension of Galois groups. It was introduced by Shafarevich (1946) for local fields and by Weil (1951) for global fields.
In mathematics, class field theory is the study of abelian extensions of local and global fields.
Basic Number Theory is an influential book by André Weil, an exposition of algebraic number theory and class field theory with particular emphasis on valuation-theoretic methods. Based in part on a course taught at Princeton University in 1961-2, it appeared as Volume 144 in Springer's Grundlehren der mathematischen Wissenschaften series. The approach handles all 'A-fields' or global fields, meaning finite algebraic extensions of the field of rational numbers and of the field of rational functions of one variable with a finite field of constants. The theory is developed in a uniform way, starting with topological fields, properties of Haar measure on locally compact fields, the main theorems of adelic and idelic number theory, and class field theory via the theory of simple algebras over local and global fields. The word `basic’ in the title is closer in meaning to `foundational’ rather than `elementary’, and is perhaps best interpreted as meaning that the material developed is foundational for the development of the theories of automorphic forms, representation theory of algebraic groups, and more advanced topics in algebraic number theory. The style is austere, with a narrow concentration on a logically coherent development of the theory required, and essentially no examples.