Non-abelian class field theory

﻿
Non-abelian class field theory

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]

History

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]

Notes

1. ^ The problem of creating non-Abelian class field theory for normal extensions with non-Abelian Galois group remains. From the Springer Encyclopedia on class field theory.
2. ^ On the statistical level, the classical result on primes in arithmetic progressions of Dirichlet generalises to Chebotaryov's density theorem; what is asked for is a generalisation, of the same scope of quadratic reciprocity.
3. ^ In today's terminology, that is the second inequality. See class formation for a contemporary presentation.
4. ^ James W. Cogdell, Functoriality, Converse Theorems and Applications (PDF) states that Functoriality itself is a manifestation of Langlands' vision of a non-abelian class field theory.
5. ^ The matter of reciprocity laws and symbols for non-Abelian field extensions more properly fits into non-Abelian class field theory and the Langlands program: from Springer Encyclopedia article on the Hilbert problems.

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Class field theory — In mathematics, class field theory is a major branch of algebraic number theory that studies abelian extensions of number fields. Most of the central results in this area were proved in the period between 1900 and 1950. The theory takes its name… …   Wikipedia

• Conductor (class field theory) — In algebraic number theory, the conductor of a finite abelian extension of local or global fields provides a quantitative measure of the ramification in the extension. The definition of the conductor is related to the Artin map. Contents 1 Local… …   Wikipedia

• Class formation — In mathematics, a class formation is a structure used to organize the various Galois groups and modules that appear in class field theory. They were invented by Emil Artin and John Tate. Contents 1 Definitions 2 Examples of class formations 3 The …   Wikipedia

• Abelian group — For other uses, see Abelian (disambiguation). Abelian group is also an archaic name for the symplectic group Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product,… …   Wikipedia

• Abelian extension — In abstract algebra, an abelian extension is a Galois extension whose Galois group is abelian. When the Galois group is a cyclic group, we have a cyclic extension. More generally, a Galois extension is called solvable if its Galois group is… …   Wikipedia

• Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it …   Wikipedia

• Non-topological soliton — In quantum field theory, a non topological soliton (NTS) is a field configuration possessing, contrary to a topological one, a conserved Noether charge and stable against transformation into usual particles of this field for the following reason …   Wikipedia

• Field extension — In abstract algebra, field extensions are the main object of study in field theory. The general idea is to start with a base field and construct in some manner a larger field which contains the base field and satisfies additional properties. For… …   Wikipedia

• Abelian variety — In mathematics, particularly in algebraic geometry, complex analysis and number theory, an Abelian variety is a projective algebraic variety that is at the same time an algebraic group, i.e., has a group law that can be defined by regular… …   Wikipedia

• Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia