Geometric Langlands Correspondence
   HOME

TheInfoList



OR:

In mathematics, the geometric Langlands correspondence relates
algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
and
representation theory Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), ...
. It is a reformulation of the Langlands correspondence obtained by replacing the number fields appearing in the original number theoretic version by function fields and applying techniques from
algebraic geometry Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
. The correspondence is named for the Canadian mathematician
Robert Langlands Robert Phelan Langlands, (; born October 6, 1936) 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 o ...
, who formulated the original form of it in the late 1960s. The geometric Langlands conjecture asserts the existence of the geometric Langlands correspondence. The existence of the geometric Langlands correspondence in the specific case of
general linear group In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again inve ...
s over function fields was proven by
Laurent Lafforgue Laurent Lafforgue (; born 6 November 1966) is a French mathematician. He has made outstanding contributions to Langlands' program in the fields of number theory and Mathematical analysis, analysis, and in particular proved the Langlands conjecture ...
in 2002, where it follows as a consequence of Lafforgue's theorem.


Background

In mathematics, the classical Langlands correspondence is a collection of results and conjectures relating number theory and representation theory. Formulated by Robert Langlands in the late 1960s, the Langlands correspondence is related to important conjectures in number theory such as the Taniyama–Shimura conjecture, which includes
Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive number, positive integers , , and satisfy the equation for any integer value of greater than . The cases ...
as a special case. Langlands correspondences can be formulated for
global field In mathematics, a global field is one of two types of fields (the other one is local fields) that are characterized using valuations. There are two kinds of global fields: *Algebraic number field: A finite extension of \mathbb *Global functio ...
s (as well as
local field In mathematics, a field ''K'' is called a non-Archimedean local field if it is complete with respect to a metric induced by a discrete valuation ''v'' and if its residue field ''k'' is finite. In general, a local field is a locally compact t ...
s), which are classified into
number field In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension). Thus K is a ...
s or global function fields. Establishing the classical Langlands correspondence, for number fields, has proven extremely difficult. As a result, some mathematicians posed the geometric Langlands correspondence for global function fields, which in some sense have proven easier to deal with. The geometric Langlands conjecture for
general linear group In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again inve ...
s GL(n,K) over a function field K was formulated by
Vladimir Drinfeld Vladimir Gershonovich Drinfeld (; born February 14, 1954), surname also romanized as Drinfel'd, is a mathematician from Ukraine, who immigrated to the United States and works at the University of Chicago. Drinfeld's work connected algebraic geome ...
and Gérard Laumon in 1987.


Status

The geometric Langlands conjecture was proved for GL(1) by
Pierre Deligne Pierre René, Viscount Deligne (; born 3 October 1944) is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoor ...
and for GL(2) by Drinfeld in 1983.
Laurent Lafforgue Laurent Lafforgue (; born 6 November 1966) is a French mathematician. He has made outstanding contributions to Langlands' program in the fields of number theory and Mathematical analysis, analysis, and in particular proved the Langlands conjecture ...
proved the geometric Langlands conjecture for GL(n,K) over a function field K in 2002. A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory. The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it". Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.


Connection to physics

In a paper from 2007, Anton Kapustin and
Edward Witten Edward Witten (born August 26, 1951) is an American theoretical physics, theoretical physicist known for his contributions to string theory, topological quantum field theory, and various areas of mathematics. He is a professor emeritus in the sc ...
described a connection between the geometric Langlands correspondence and
S-duality In theoretical physics, S-duality (short for strong–weak duality, or Sen duality) is an equivalence of two physical theories, which may be either quantum field theories or string theories. S-duality is useful for doing calculations in theore ...
, a property of certain quantum field theories. In 2018, when accepting the Abel Prize, Langlands delivered a paper reformulating the geometric program using tools similar to his original Langlands correspondence. Langlands' ideas were further developed by Etingof, Frenkel, and Kazhdan.


Notes


References

* *


External links

*{{wikiquote-inline
Quantum geometric Langlands correspondence
at
nLab The ''n''Lab is a wiki for research-level notes, expositions and collaborative work, including original research, in mathematics, physics, and philosophy, with a focus on methods from type theory, category theory, and homotopy theory. The ''n''Lab ...
Algebraic geometry Langlands program Representation theory