Geometric Langlands

Geometric Langlands
Name	Geometric Langlands
Field	Algebraic geometry; Representation theory; Mathematical physics
Introduced	1980s
Founder	Alexander Beilinson; Vladimir Drinfeld
Notable contributors	Edward Frenkel; Dennis Gaitsgory; Pierre Deligne; Robert Langlands

Geometric Langlands

Geometric Langlands is a research area connecting Alexander Beilinson, Vladimir Drinfeld, Robert Langlands, Edward Frenkel, and Dennis Gaitsgory through a categorical form of the Langlands program that reformulates arithmetic reciprocity statements of Robert Langlands in terms of sheaves and categories on moduli spaces studied by Alexander Grothendieck, Jean-Pierre Serre, Pierre Deligne, and Alexander Beilinson. The subject draws tools from Algebraic Geometry, Representation Theory, Mathematical Physics, Category Theory, and foundational work of Gaston Darboux and André Weil, influencing research at institutes such as the Institute for Advanced Study, Princeton University, Harvard University, and École Normale Supérieure.

Introduction

Geometric Langlands arose by transporting ideas from the Langlands program of Robert Langlands and the arithmetic formulations used by John Tate, Pierre Deligne, Grothendieck, and Alexander Beilinson into a geometric setting on curves over complex numbers inspired by moduli constructions of Alexander Grothendieck and categorical techniques developed by Max Karoubi and Saul Kripke. Central aims mirror correspondences between automorphic objects studied by Harish-Chandra and Galois-type objects appearing in work of Emil Artin and André Weil, reformulated using perverse sheaves and D-modules pioneered by Masaki Kashiwara, Pierre Deligne, and Gelfand–Mikhail] Gel'fand school influences.

Historical Development and Motivation

Early motivations trace to the arithmetic Langlands conjectures of Robert Langlands, pursued by Gerard 't Hooft-era interactions between number theory and physics and to categorical reformulations by Alexander Beilinson and Vladimir Drinfeld in the 1980s, with further impetus from the geometric representation theory of George Lusztig, Harish-Chandra, and the Tannakian formalism of Saavedra Rivano. Developments include the proof of special cases by Vladimir Drinfeld (rank two) and work by Edward Frenkel and collaborators linking the subject to conformal field theory studied by Belavin, Alexander Zamolodchikov, and Vladimir Faddeev, and to gauge theory perspectives advanced by Edward Witten, Anton Kapustin, and Cumrun Vafa.

Geometric Langlands Correspondence

The core correspondence proposes an equivalence between categories of D-modules on the moduli stack of G-bundles studied by Alexander Beilinson and spectral data given by local systems for the Langlands dual group formalized by Robert Langlands and duality constructions of Victor Kac and Igor Frenkel. Precise formulations involve the work of Dennis Gaitsgory on categorical sheaves, the spectral side influenced by Pierre Deligne's theory of ℓ-adic sheaves, and compatibility conditions echoing reciprocity laws of Emil Artin and the functional equations studied by Atle Selberg.

Key Objects and Constructions

Key objects include the moduli stack Bun_G introduced via techniques of Alexander Grothendieck and the theory of Algebraic Stacks developed by Michael Artin, Pierre Deligne, and Jacob Lurie; Hecke eigensheaves influenced by Hecke operators studied by Erich Hecke and Atle Selberg; local systems and flat connections building on Kurt Gödel-era foundations in differential equations and work by Deligne on regular singularities; and the Langlands dual group notions related to root data classified by Claude Chevalley and Élie Cartan. Constructions employ perverse sheaves from Joseph Bernstein and Alexander Beilinson, D-modules from Masaki Kashiwara, and factorization algebras linked to Konrad Schmüdgen-style operator algebra frameworks.

Examples and Special Cases

Notable examples include Drinfeld’s proof for GL(2) using shtukas developed by Vladimir Drinfeld and techniques paralleling those in the proof of the Taniyama–Shimura conjecture later used in work by Andrew Wiles and Richard Taylor, abelian class field theory analogues echoing Emil Artin and John Tate, and the unramified case studied by George Lusztig and Harish-Chandra. Rank-one and torus cases reduce to classical results by Claude Chevalley and the geometric Fourier–Mukai transform related to work of Alexandre Grothendieck and Daniel Quillen.

Connections to Representation Theory and Physics

Geometric Langlands tightly connects to representation theory of affine Kac–Moody algebras developed by Victor Kac and conformal field theory studied by Belavin, Alexander Zamolodchikov, and Edward Witten, and to four-dimensional gauge theory insights of Edward Witten and Anton Kapustin via electromagnetic duality traced to James Clerk Maxwell-inspired dualities. The interplay involves categorical actions reminiscent of the work of George Lusztig on canonical bases, quantum groups of Vladimir Drinfeld and Michio Jimbo, and mirror symmetry frameworks articulated by Maxim Kontsevich and Cumrun Vafa.

Open Problems and Recent Progress

Active problems include establishing full categorical equivalences for general reductive groups pursued by Dennis Gaitsgory, proving ramified correspondences linked to wild ramification work of Pierre Deligne and Tetsuji Saito, and elucidating analytic and arithmetic incarnations related to conjectures of Robert Langlands and advances by Ngo Bao Chau in the fundamental lemma. Recent progress involves categorical advances by Dennis Gaitsgory and Edward Frenkel, geometric input from Vladimir Drinfeld and collaborators, and cross-disciplinary insights from Anton Kapustin–Edward Witten gauge theory approaches that connect to modern work at Institute for Advanced Study and research groups led by Alexander Beilinson and Pierre Deligne.

Category:Mathematical theories