01 · The idea
In everyday language
A global function field behaves in some ways like the rational numbers, but comes from functions on a curve over a finite field. One can study it through Galois representations, which encode arithmetic symmetries, or through automorphic representations, which encode highly constrained analytic patterns. Lafforgue established a precise matching for general linear groups in every rank. His proof uses moduli spaces of shtukas: geometric objects whose cohomology carries the information needed on both sides. The result is a dictionary preserving specific arithmetic data, not merely a suggestive resemblance between two subjects.
Why it matters
The correspondence brought a major function-field part of the Langlands programme to completion for general linear groups, giving arithmetic and analysis a common framework and new ways to transfer information.
