Related papers: Automorphic functions as the trace of Frobenius

This is an informal note that explains that the classical Langlands theory over function fields can be obtained from the geometric one by taking the trace of Frobenius. The operation of taking the trace of Frobenius takes place at the…

We give cases in which nearby cycles commutes with pushforward from sheaves on the moduli stack of shtukas to a product of curves over a finite field. The proof systematically uses the property that taking nearby cycles of Satake sheaves on…

We prove that the Nakayama automorphism of a Frobenius algebra acts trivially on the Hochschild cohomology of the algebra. As an application of this fact, we show how to construct certain invariants attached to such algebras, and to their…

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 new examples of derived autoequivalences for a family of higher-dimensional Calabi-Yau varieties. Specifically, we take the total spaces of certain natural vector bundles over Grassmannians G(r,d) of r-planes in a d-dimensional…

We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of…

We prove the equivalence of two conjectural constructions of unramified cuspidal automorphic functions on the adelic group GL_n(A) associated to an irreducible l-adic local system of rank n on an algebraic curve X over a finite field. The…

We establish part of the statement of the geometric Langlands conjecture for l-adic sheaves over a field of positive characteristic. Namely, we show that the category of automorphic sheaves with nilpotent singular support is equivalent to…

We develop cohomological interpretations for several types of automorphic forms for Hecke triangle groups of infinite covolume. We then use these interpretations to establish explicit isomorphisms between spaces of automorphic forms,…

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…

We provide a sufficient condition that ensures the nilpotency of endomorphisms universally of trace zero of Schur-finite objects in a category of homological type, i.e., a Q-linear tensor category with a tensor functor to super vector…

In this short paper, we prove that the moduli of automorphisms of Frobenius twisted de Rham cohomology functor is given by $\mathbb{G}_m$. Our method is to use the notion of $\mathbb{G}_a^{\mathrm{perf}}$-modules and its connection to the…

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).…

Let $V$ be an $n$ dimensional vector space over an algebraic closure of a finite field $F_q$ and put $G = GL(V)$. For a positive integer $r$, we consider the variety $X_{uni} = G_{uni} \times V^{r-1}$, on which $G$ acts diagonally.…

We study automorphic categories of nilpotent sheaves under degenerations of smooth curves to nodal Deligne-Mumford curves. Our constructions realize affine Hecke operators as the result of bubbling projective lines from marked points. We…

We study Shimura varieties associated with special orthogonal groups over the field of rational numbers. We prove a version of Morel's formula for the Frobenius--Hecke traces on the intersection cohomology of the Baily--Borel…

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…

Given a ring morphism, this paper constructs the twist functor around the induced derived restriction of scalars functor. We prove that the twist around ring morphisms is a derived autoequivalence in the setting of twists induced by…

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…

We study Frobenius eigenvalues of the compactly supported rigid cohomology of a variety defined over a finite field of $q$ elements via Dwork's method. A couple of arithmetic consequences will be drawn from this study. As the first…