Geometric Langlands correspondence

Last updated

In mathematics, the geometric Langlands correspondence 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 geometric Langlands correspondence relates algebraic geometry and representation theory.

Contents

The specific case of the geometric Langlands correspondence for general linear groups over function fields was proven by Laurent Lafforgue in 2002, where it follows as a consequence of Lafforgue's theorem.

History

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] Establishing the Langlands correspondence in the number theoretic context has proven extremely difficult. As a result, some mathematicians have posed the geometric Langlands correspondence. [1]

Langlands correspondences can be formulated for global fields (as well as local fields), which are classified into number fields or global function fields. The classical Langlands correspondence is formulated for number fields. The geometric Langlands correspondence is instead formulated for global function fields, which in some sense have proven easier to deal with.

In 2002, the geometric Langlands correspondence was proven for general linear groups over a function field by Laurent Lafforgue. [2]

Connection to physics

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. [3]

In 2018, when accepting the Abel Prize, Langlands delivered a paper reformulating the geometric program using tools similar to his original Langlands correspondence. [4] [5]

Notes

  1. 1 2 3 Frenkel 2007, p. 3
  2. Lafforgue, Laurent. "Chtoucas de Drinfeld, formule des traces d'Arthur–Selberg et correspondance de Langlands". arXiv: math/0212399 .
  3. Kapustin and Witten 2007
  4. "The Greatest Mathematician You've Never Heard Of". The Walrus. 2018-11-15. Retrieved 2020-02-17.
  5. Langlands, Robert (2018). "Об аналитическом виде геометрической теории автоморфных форм1" (PDF). Institute of Advanced Studies.{{cite web}}: CS1 maint: url-status (link)

Related Research Articles

M-theory is a theory in physics that unifies all consistent versions of superstring theory. Edward Witten first conjectured the existence of such a theory at a string theory conference at the University of Southern California in 1995. Witten's announcement initiated a flurry of research activity known as the second superstring revolution. Prior to Witten's announcement, string theorists had identified five versions of superstring theory. Although these theories initially appeared to be very different, work by many physicists showed that the theories were related in intricate and nontrivial ways. Physicists found that apparently distinct theories could be unified by mathematical transformations called S-duality and T-duality. Witten's conjecture was based in part on the existence of these dualities and in part on the relationship of the string theories to a field theory called eleven-dimensional supergravity.

In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. String theory describes how these strings propagate through space and interact with each other. On distance scales larger than the string scale, a string looks just like an ordinary particle, with its mass, charge, and other properties determined by the vibrational state of the string. In string theory, one of the many vibrational states of the string corresponds to the graviton, a quantum mechanical particle that carries the gravitational force. Thus, string theory is a theory of quantum gravity.

<span class="mw-page-title-main">Edward Witten</span> American theoretical physicist

Edward Witten is an American mathematical and theoretical physicist. He is a professor emeritus in the school of natural sciences at the Institute for Advanced Study in Princeton. Witten is a researcher in string theory, quantum gravity, supersymmetric quantum field theories, and other areas of mathematical physics. Witten's work has also significantly impacted pure mathematics. In 1990, he became the first physicist to be awarded a Fields Medal by the International Mathematical Union, for his mathematical insights in physics, such as his 1981 proof of the positive energy theorem in general relativity, and his interpretation of the Jones invariants of knots as Feynman integrals. He is considered the practical founder of M-theory.

<span class="mw-page-title-main">Laurent Lafforgue</span> French mathematician

Laurent Lafforgue is a French mathematician. He has made outstanding contributions to Langlands' program in the fields of number theory and analysis, and in particular proved the Langlands conjectures for the automorphism group of a function field. The crucial contribution by Lafforgue to solve this question is the construction of compactifications of certain moduli stacks of shtukas. The proof was the result of more than six years of concentrated efforts.

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."

<span class="mw-page-title-main">Pierre Deligne</span> Belgian mathematician

Pierre René, Viscount Deligne 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 Crafoord Prize, and 1978 Fields Medal.

In theoretical physics, S-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 theoretical physics because it relates a theory in which calculations are difficult to a theory in which they are easier.

In theoretical physics, the matrix theory is a quantum mechanical model proposed in 1997 by Tom Banks, Willy Fischler, Stephen Shenker, and Leonard Susskind; it is also known as BFSS matrix model, after the authors' initials.

In theoretical physics, anti-de Sitter/conformal field theory correspondence is a conjectured relationship between two kinds of physical theories. On one side are anti-de Sitter spaces (AdS) which are used in theories of quantum gravity, formulated in terms of string theory or M-theory. On the other side of the correspondence are conformal field theories (CFT) which are quantum field theories, including theories similar to the Yang–Mills theories that describe elementary particles.

In algebraic geometry and theoretical physics, mirror symmetry is a relationship between geometric objects called Calabi–Yau manifolds. The term refers to a situation where two Calabi–Yau manifolds look very different geometrically but are nevertheless equivalent when employed as extra dimensions of string theory.

In mathematics, monstrous moonshine, or moonshine theory, is the unexpected connection between the monster group M and modular functions, in particular, the j function. The initial numerical observation was made by John McKay in 1978, and the phrase was coined by John Conway and Simon P. Norton in 1979.

The mathematical term perverse sheaves refers to a certain abelian category associated to a topological space X, which may be a real or complex manifold, or a more general topologically stratified space, usually singular. This concept was introduced in the thesis of Zoghman Mebkhout, gaining more popularity after the (independent) work of Joseph Bernstein, Alexander Beilinson, and Pierre Deligne (1982) as a formalisation of the Riemann-Hilbert correspondence, which related the topology of singular spaces and the algebraic theory of differential equations. It was clear from the outset that perverse sheaves are fundamental mathematical objects at the crossroads of algebraic geometry, topology, analysis and differential equations. They also play an important role in number theory, algebra, and representation theory. The properties characterizing perverse sheaves already appeared in the 75's paper of Kashiwara on the constructibility of solutions of holonomic D-modules.

In theoretical physics, topological string theory is a version of string theory. Topological string theory appeared in papers by theoretical physicists, such as Edward Witten and Cumrun Vafa, by analogy with Witten's earlier idea of topological quantum field theory.

In string theory, K-theory classification refers to a conjectured application of K-theory to superstrings, to classify the allowed Ramond–Ramond field strengths as well as the charges of stable D-branes.

<span class="mw-page-title-main">Edward Frenkel</span> Russian-American mathematician

Edward Vladimirovich Frenkel is a Russian-American mathematician working in representation theory, algebraic geometry, and mathematical physics. He is a professor of mathematics at University of California Berkeley, a member of the American Academy of Arts and Sciences, and author of the bestselling book Love and Math.

<span class="mw-page-title-main">Vincent Lafforgue</span> French mathematician

Vincent Lafforgue is a French mathematician who is active in algebraic geometry, especially in the Langlands program, and a CNRS "Directeur de Recherches" at the Institute Fourier in Grenoble. He is the younger brother of Fields Medalist Laurent Lafforgue.

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 differential geometry, algebraic geometry, and gauge theory, the Kobayashi–Hitchin correspondence relates stable vector bundles over a complex manifold to Einstein–Hermitian vector bundles. The correspondence is named after Shoshichi Kobayashi and Nigel Hitchin, who independently conjectured in the 1980s that the moduli spaces of stable vector bundles and Einstein–Hermitian vector bundles over a complex manifold were essentially the same.

In theoretical physics, the six-dimensional (2,0)-superconformal field theory is a quantum field theory whose existence is predicted by arguments in string theory. It is still poorly understood because there is no known description of the theory in terms of an action functional. Despite the inherent difficulty in studying this theory, it is considered to be an interesting object for a variety of reasons, both physical and mathematical.

<span class="mw-page-title-main">Kari Vilonen</span> Finnish mathematician (born 1955)

Kari Kaleva Vilonen is a Finnish mathematician, specializing in geometric representation theory. He is currently a professor at the University of Melbourne.

References