Geometric Langlands correspondence

From Wikipedia, the free encyclopedia
(Redirected from Geometric Langlands program)
Jump to navigation Jump to search

In mathematics, the geometric Langlands correspondence relates algebraic geometry and representation theory. 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.[1] The correspondence is named for the Canadian mathematician Robert Langlands, who formulated the original form of it in the late 1960s.

The geometric Langlands conjecture asserts the existence of the geometric Langlands correspondence.

Background

[edit | edit source]

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 as a special case.[1]

Langlands correspondences can be formulated for global fields (as well as local fields), which are classified into number fields 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.[2]

The geometric Langlands conjecture for general linear groups GL(n,K) over a function field K was formulated by Vladimir Drinfeld and Gérard Laumon in 1987.[3][4]

Status

[edit | edit source]

The geometric Langlands conjecture was proved for GL(1) by Pierre Deligne and for GL(2) by Drinfeld in 1983.[5][6]

A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8] 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.[9]

Connection to physics

[edit | edit source]

In a paper from 2007, Anton Kapustin and Edward Witten described a connection between the geometric Langlands correspondence and S-duality, a property of certain quantum field theories.[10]

In 2018, when accepting the Abel Prize, Langlands delivered a paper reformulating the geometric program using tools similar to his original Langlands correspondence.[11][12] Langlands' ideas were further developed by Etingof, Frenkel, and Kazhdan.[13]

Notes

[edit | edit source]
  1. ^ a b Frenkel 2007, p. 3.
  2. ^ Frenkel 2007, p. 3,24.
  3. ^ Frenkel 2007, p. 46.
  4. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  5. ^ Frenkel 2007, p. 31,46.
  6. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  7. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  8. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  9. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  10. ^ Kapustin and Witten 2007
  11. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  12. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  13. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).

References

[edit | edit source]
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
[edit | edit source]
  • Quotations related to Geometric Langlands correspondence at Wikiquote
  • Quantum geometric Langlands correspondence at nLab