Related papers: D\'ecomposition au-dessus des param\`etres de Lang…

In this paper we prove that the cohomology groups with compact support of stacks of shtukas are modules of finite type over a Hecke algebra. As an application, we extend the construction of excursion operators, defined by V. Lafforgue on…

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"…

We construct the cohomology groups with compact support of stacks of shtukas with $\mathbb Z_{\ell}$-coefficients. We construct the cuspidal cohomology groups and prove that they are $\mathbb Z_{\ell}$-modules of finite type. We prove that…

This is an introduction to the article "Chtoucas pour les groupes r\'eductifs et param\'etrisation de Langlands globale", arXiv:1209.5352. We explain all the ideas of the proof. For any reductive group G over a global function field, we use…

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 define etale cohomology of the moduli spaces of mixed characteristic local shtukas so that it gives smooth representations including the case where the relevant elements of the Kottwitz set are both non-basic. Then we relate the etale…

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…

Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the…

Kottwitz's conjecture describes the contribution of a supercuspidal represention to the cohomology of a local Shimura variety in terms of the local Langlands correspondence. A natural extension of this conjecture concerns Scholze's more…

We associate to every irreducible representation of a reductive group over a local field of equal characteristics a local Langlands parameter up to semisimplification and prove the compatibility with the global parameterization constructed…

In this article we formulate and prove the analogue of the Langlands-Rapoport conjecture for the moduli stacks of global $G$-shtukas. Here $G$ is a parahoric Bruhat-Tits group scheme over a smooth projective curve $C$ over a finite field…

For a reductive group over a nonarchimedean local field, we define the stack of spherical Langlands parameters, using the inertia-invariants of the Langlands dual group. This generalizes the stack of unramified Langlands parameters in case…

We show that the moduli spaces of bounded global $\mathcal{G}$-Shtukas with pairwise colliding legs admit $p$-adic uniformization isomorphisms by Rapoport-Zink spaces. Here $\mathcal{G}$ is a smooth affine group scheme with connected fibers…

We study localized versions of the spectral action of Fargues--Scholze, using methods from higher algebra. As our main motivation and application, we deduce a formula for the cohomology of moduli spaces of local shtukas under certain…

We introduce a notion of ellipticity of complexes of linear pseudodifferential operators acting on sections of $A$-Hilbert bundles over smooth manifolds, $A$ being a $C^*$-algebra. We prove that the cohomology groups of an $A$-elliptic…

Assuming everywhere good reduction we generalize the class number formula of Taelman to Drinfeld modules over arbitrary coefficient rings. In order to prove this formula we develop a theory of shtukas and their cohomology.

This communication is an introduction to the Langlands Program and to ($G$-) shtukas (over algebraic curves) over function fields. Modular curves and Drinfeld (elliptic) modules and shtukas are used in coding theory. From this point of view…

Given a maximal order $D$ of a central division algebra over a global function field $F$, we prove an explicit sufficient condition for moduli stacks of $D^\times$-shtukas to be proper over a finite field in terms of the local invariants of…

Moduli spaces of global $\mathbb G$-shtukas play a crucial role in the Langlands program for function fields. We analyze their functoriality properties following a change of the curve and a change of the group scheme $\mathbb G$ under…

We define and study "tautological classes" in the cohomology of moduli stacks of shtukas, pursuing two directions of applications. First, we prove a formula relating the "arithmetic volume" of tautological classes to higher derivatives of…