Related papers: From geometric to function-theoretic Langlands (or…

We prove that the trace of the Frobenius endofunctor of the category of automorphic sheaves with nilpotent singular support maps isomorphically to the space of unramified automorphic functions, settling a conjecture from [AGKRRV1]. More…

We discuss recent developments in the Langlands program for function fields, and in the geometric Langlands program. In particular we explain a canonical decomposition of the space of cuspidal automorphic forms for any reductive group G…

We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…

The goal of this paper is to provide a categorical framework that leads to the definition of shtukas \`a la Drinfeld and of excursion operators \`a la V. Lafforgue. We take as the point of departure the Hecke action of Rep(G^L) on the…

In his paper "Beyond Endoscopy," Langlands tries to understand functoriality via poles of L-functions. The following paper further investigates the analytic continuation of a L-function associated to a $GL_2$ automorphic form through the…

Using the Langlands-Kottwitz paradigm, we compute the trace of Frobenius composed with Hecke operators on the cohomology of nearby cycles, at places of parahoric reduction, of perverse sheaves on certain moduli stacks of shtukas. Following…

This is a translation in English of version 5 of the article arXiv:1404.3998, which is itself an introduction to arXiv:1209.5352. We explain all the ideas of the proof of the following theorem. For any reductive group G over a global…

We introduce and study the filtration on the space of automorphic functions (in the everywhere unramified situation for the function field case) obtained by transferring the filtration on the spectral side of the classical Langlands…

For any reductive group G over a global function field, we use the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence to prove the global Langlands correspondence for G in the "automorphic to Galois"…

This is a write-up for the plenary ICM talk, 2026. The goal of this paper is to propose a set of conjectures whose aim is to answer the basic question of the Langlands program (over function fields): how to describe the space of automorphic…

We introduce the concept of Frobenius theory as a generalisation of Lawvere's functorial semantics approach to categorical universal algebra. Whereas the universe for models of Lawvere theories is the category of sets and functions, or more…

The geometric Langlands correspondence for complex algebraic curves differs from the original Langlands correspondence for number fields in that it is formulated in terms of sheaves rather than functions (in the intermediate case of curves…

The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the…

Following our joint work arXiv:1003.4578 with Robert Langlands, we make the first steps toward developing geometric methods for analyzing trace formulas in the case of the function field of a curve defined over a finite field. We also…

Refined forms of the local Langlands correspondence seek to relate representations of reductive groups over local fields with sheaves on stacks of Langlands parameters. But what kind of sheaves? Conjectures in the spirit of Kazhdan-Lusztig…

These are lectures notes of my talks at the IHES summer school on the Langlands program in 2022. We give an introduction to the notion of Shtukas, their relation with more familiar geometric objects, their moduli spaces and applications to…

We introduce the space of parameters for the metaplectic Langlands theory as *factorization gerbes* on the affine Grassmannian, and develop metaplectic Langlands duality in the incarnation of the metaplectic geometric Satake functor. We…

The Langlands Program relates Galois representations and automorphic representations of reductive algebraic groups. The trace formula is a powerful tool in the study of this connection and the Langlands Functoriality Conjecture. After…

This work investigates the Frobenius morphism on derived categories associated with algebraic stacks in positive characteristic. Particularly, we show that in many cases sufficiently many Frobenius pushforwards of a compact generator…

In this paper we first review the setting for the geometric Langlands functoriality and establish a result for the `backward' functoriality functor. We illustrate this by known examples of the geometric theta-lifting. We then apply the…