Related papers: Cuspidal cohomology of stacks of shtukas
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…
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…
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…
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"…
Syntomic cohomology here defined yields a link between rigid cohomology and etale cohomology, viewing the last one as the fixed points under Frobenius of the former one. Let V be a complete discrete valuation ring, with perfect residue…
We prove that, over any elliptic global Langlands parameter $\sigma$, the cuspidal cohomology groups of moduli stacks of shtukas are given by a formula involving a finite dimensional representation of the centralizer of $\sigma$. It is a…
For arbitrary reductive groups $G$ defined over a finite field, we decompose Newton strata in the special fiber of moduli spaces of global $G$-shtukas into a product of Rapoport-Zink spaces and Igusa varieties. This allows us to compare the…
Let $G$ be a reductive group over a number field $F$, which is split at a finite place $\mathfrak{p}$ of $F$, and let $\pi$ be a cuspidal automorphic representation of $G$, which is cohomological with respect to the trivial coefficient…
We introduce Hochschild (co-)homology of morphisms of schemes or analytic spaces and study its fundamental properties. In analogy with the cotangent complex we introduce the so called (derived) Hochschild complex of a morphism; the…
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…
We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…
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…
Let $G$ be a discrete group. We give a decomposition theorem for the Hochschild cohomology of $\ell^1(G)$ with coefficients in certain $G$-modules. Using this we show that if $G$ is commutative-transitive, the canonical inclusion of bounded…
Standard results from non-abelian cohomology theory specialize to a theory of torsors and stacks for cosimplicial groupoids. The space of global sections of the stack completion of a cosimplicial groupoid $G$ is weakly equivalent to the…
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 identify the cohomology of the stable classifying space of homotopy automorphisms (relative to an embedded disk) of connected sums of $S^k \times S^l$, where $3 \le k < l \le 2k - 2$. The result is expressed in terms of Lie graph complex…
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…
Let $X$ be a smooth, projective, geometrically connected curve over a finite field $\mathbb{F}_q$, and let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Its dual group $\hat{G}$ is a split reductive group over $\mathbb{Z}$.…
We construct a semi-stable formal model of a wide open rigid curve with a semi-stable covering, and study the l-adic cohomology of the rigid curve. We describe the l-adic cohomology of the rigid curve using the l-adic cohomology of the…
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…