>>261

つづき

Generalizations of class field theory
There are three main generalizations, each of great interest on its own. They are: the Langlands program, anabelian geometry, and higher class field theory.

Often, the Langlands correspondence is viewed as a nonabelian class field theory. If/when fully established, it would contain a certain theory of nonabelian Galois extensions of global fields.
However, the Langlands correspondence does not include as much arithmetical information about finite Galois extensions as class field theory does in the abelian case.
It also does not include an analog of the existence theorem in class field theory, i.e. the concept of class fields is absent in the Langlands correspondence.
There are several other nonabelian theories, local and global, which provide alternative to the Langlands correspondence point of view.

Another generalization of class field theory is anabelian geometry which studies algorithms to restore the original object (e.g. a number field or a hyperbolic curve over it) from the knowledge of its full absolute Galois group of algebraic fundamental group.[3]

Another natural generalization is higher class field theory. It describes abelian extensions of higher local fields and higher global fields.
The latter come as function fields of schemes of finite type over integers and their appropriate localization and completions.
The theory is referred to as higher local class field theory and higher global class field theory. It uses algebraic K-theory and appropriate Milnor K-groups replace K_{1}}K_{1} which is in use in one-dimensional class field theory.
(引用終り)

つづく