FROBENIUS, GEOMETRIZATION, AND THE ARCHIMEDEAN OBSTRUCTION: THE LANGLANDS CORRESPONDENCE ACROSS WEIL'S THREE COLUMNS

This is an expository synthesis, not a report of new theorems. We survey the Langlands correspondence as it manifests in the three columns of AndréWeil’s celebrated analogy—number
fields, function fields of curves over finite fields, and function fields of complex curves (Riemann
surfaces)—and we advance a single organizing thesis: the availability of a global Frobenius endomorphism
is the structural variable that determines which column admits unconditional proofs. Where a curve over a
finite field supplies a Frobenius, the machinery of shtukas, Drinfeld’s lemma, and Vincent Lafforgue’s
excursion operators delivers the automorphic-to-Galois parametrization for every reductive group.
Where the base is a complex curve, Frobenius is replaced by flat connections and the moduli stack of
bundles, and the categorical correspondence is now a theorem of Gaitsgory, Raskin and collaborators.
Where the base is SpecZ, no global Frobenius exists and the correspondence remains conjectural.
We develop three frontier topics through this lens: (i) the geometrization of local Langlands by
Fargues and Scholze, in which perfectoid tilting manufactures a Frobenius one place at a time on
the Fargues–Fontaine curve; (ii) the precise sense in which Lafforgue’s excursion operators are the
trace-of-Frobenius decategorification of the de Rham geometric correspondence, via Grothendieck’s
sheaf–function dictionary; and (iii) the archimedean obstruction—the structural reason no shtukastyle
argument reaches the place at infinity, and hence the number-field column. Throughout we
keep the geometric meaning of the word “field” (sections of a structure sheaf) in view, so that the
algebraic function field appears as the generic stalk of OX and the geometric field as a section of
an OX-module. A running GL1 thread exhibits each column’s abelian case as an unconditional
theorem—class field theory, Fourier–Mukai, Lubin–Tate—isolating nonabelian reciprocity as the true
locus of difficulty, and an appendix proves the abelian case of geometric Satake in full.