# Geometric Langlands Theory ## From Arithmetic to Geometry The classical Langlands program relates: - automorphic representations; - Galois representations; - $L$-functions. Its original setting is arithmetic: number fields, primes, and automorphic forms. Geometric Langlands theory transforms this picture into geometry. Instead of studying number fields, one studies algebraic curves over fields such as $$ \mathbb{C}. $$ Instead of automorphic functions, one studies sheaves and categories. Instead of Galois representations, one studies local systems and flat bundles. The result is a vast geometric framework connecting: - algebraic geometry; - representation theory; - category theory; - mathematical physics. Geometric Langlands theory is one of the deepest modern generalizations of symmetry in mathematics. ## Curves Instead of Number Fields Classical Langlands theory studies arithmetic over a number field $$ K. $$ Geometric Langlands replaces this by a smooth projective algebraic curve $$ X. $$ The function field $$ \mathbb{C}(X) $$ plays the role analogous to a number field. Points of the curve correspond to places or primes. This analogy between curves and number fields is fundamental throughout arithmetic geometry. The geometric theory develops the Langlands philosophy in this function-field setting. ## Vector Bundles on Curves Automorphic objects become geometric objects on the curve. Instead of studying automorphic functions, one studies moduli spaces of vector bundles over $$ X. $$ For a reductive group $$ G, $$ let $$ \mathrm{Bun}_G(X) $$ denote the moduli stack of principal $G$-bundles on $X$. This moduli stack replaces the adelic quotient spaces appearing in classical automorphic theory. Automorphic information becomes encoded in sheaves on these moduli spaces. ## Local Systems On the Galois side, geometric Langlands replaces Galois representations by local systems. A local system is roughly a vector bundle equipped with a flat connection. Equivalently, local systems correspond to representations of the fundamental group: $$ \pi_1(X). $$ For the dual group $$ {}^LG, $$ one studies $$ {}^LG $$ -local systems on the curve. These play the role analogous to Langlands parameters and Galois representations. Thus arithmetic symmetry becomes geometric monodromy. ## Sheaves Instead of Functions Classical automorphic forms are functions. Geometric Langlands replaces functions by sheaves or $D$-modules. A sheaf may be viewed as a geometric object encoding local algebraic data. The geometric Langlands correspondence predicts a relationship between: - sheaves on $$ \mathrm{Bun}_G(X); $$ - local systems for $$ {}^LG. $$ Thus functions are categorified into geometric objects. This shift from functions to categories is one of the defining ideas of modern geometry. ## The Geometric Langlands Correspondence Roughly speaking, the correspondence predicts: To each irreducible $$ {}^LG $$ -local system on $X$, there corresponds a Hecke eigensheaf on $$ \mathrm{Bun}_G(X). $$ This is the geometric analogue of associating automorphic representations to Galois representations. The correspondence is categorical rather than numerical. Instead of equalities between functions, one obtains equivalences between geometric categories. ## Hecke Operators and Hecke Functors Classical Langlands theory uses Hecke operators acting on automorphic forms. Geometric Langlands replaces these with Hecke functors acting on categories of sheaves. These functors modify bundles at points of the curve. An eigensheaf behaves under Hecke functors analogously to a Hecke eigenform under classical Hecke operators. Thus automorphic symmetry becomes categorical symmetry. ## Abelian Case The simplest case occurs when $$ G=GL_1. $$ Then geometric Langlands reduces to classical Fourier-Mukai duality for line bundles on curves. This mirrors the relationship between ordinary class field theory and abelian Langlands correspondences. The abelian theory is relatively well understood and provides intuition for the general theory. ## Moduli Stacks Unlike ordinary varieties, moduli spaces of bundles naturally form stacks. Stacks generalize spaces by allowing points to possess automorphisms. The moduli stack $$ \mathrm{Bun}_G(X) $$ therefore becomes the natural geometric arena for automorphic objects. Modern algebraic geometry heavily relies on stacks in moduli theory. Geometric Langlands theory is fundamentally formulated in stack-theoretic language. ## $D$-Modules A major formulation of geometric Langlands uses $D$-modules. A $D$-module is roughly a sheaf equipped with differential equations. This framework naturally incorporates flat connections and representation theory. In geometric Langlands, automorphic sheaves are often realized as $D$-modules on moduli stacks. This connects the theory with algebraic analysis and microlocal geometry. ## Hitchin Systems A central geometric object is the Hitchin fibration. It arises from Higgs bundles on algebraic curves. The Hitchin system provides an integrable system whose geometry controls large portions of geometric Langlands theory. Its fibers exhibit deep duality phenomena related to mirror symmetry. Hitchin systems became one of the key geometric tools in modern Langlands theory. ## Mirror Symmetry Connections Geometric Langlands has surprising connections with mathematical physics. In work of entity["people","Edward Witten","American theoretical physicist"] and entity["people","Anton Kapustin","American physicist"], geometric Langlands was related to: - supersymmetric gauge theory; - electric-magnetic duality; - mirror symmetry. This interpretation linked geometric representation theory with quantum field theory. It revealed that Langlands duality behaves like a physical duality symmetry. ## Categorification A recurring theme in geometric Langlands is categorification. Numbers become vector spaces. Functions become sheaves. Operators become functors. Equalities become equivalences of categories. This categorical viewpoint reflects a major trend throughout modern mathematics. Geometric Langlands is one of the most sophisticated realizations of categorification. ## Geometric Satake Equivalence The geometric Satake equivalence is one of the foundational results of the theory. It identifies: - representations of the dual group $$ {}^LG; $$ with - certain perverse sheaves on affine Grassmannians. This theorem geometrizes the representation theory underlying Langlands duality. It plays a central role in modern geometric representation theory. ## Function Field Langlands The Langlands correspondence for function fields over finite fields was proved by entity["people","Vladimir Drinfeld","Ukrainian mathematician"] for $$ GL_2 $$ and later by entity["people","Laurent Lafforgue","French mathematician"] for $$ GL_n. $$ These results strongly influenced geometric Langlands theory. The geometric setting often provides tools unavailable in arithmetic number-field settings. ## Importance in Modern Mathematics Geometric Langlands theory connects: - algebraic geometry; - category theory; - representation theory; - topology; - mathematical physics; - quantum field theory. It transforms arithmetic reciprocity into geometric duality. The theory reveals that the hidden symmetries governing numbers also govern geometry, topology, and physics through deep categorical structures.