Related papers: A toy model for the Drinfeld-Lafforgue shtuka cons…

We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces…

In this article, we relate the fake special cycle classes $z_{\mathbb{L}_{\sigma},r}$ attached to a Hecke eigensheaf $\mathbb{L}_{\sigma}\in\mathrm{Shv}_{\mathrm{Nilp}}(\mathrm{Bun}_G)$ introduced in the author's previous work to the…

The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be…

We provide two mathematical descriptions of Spekkens's toy qubit theory, an inductively one in terms of a small set of generators, as well as an explicit closed form description. It is a subcategory MSpek of the category of finite sets,…

We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective…

For an Anderson A-motive over a discretely valued field whose residue field has A-characteristic \epsilon, we prove a criterion for good reduction in terms of its associated local shtuka at \epsilon. This yields a criterion for good…

This paper explores differential bundles in tangent categories, characterizing them as functors from a structure category. This is analogous to the actegory perspective of Garner and Leung, which we also use to describe the tangent…

In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under…

We define functors on the derived category of the moduli space M of stable sheaves on a smooth projective surface (under Assumptions A and S below), and prove that these functors satisfy certain relations. These relations allow us to prove…

Let D be a holomorphic differential operator acting on sections of a holomorphic vector bundle on an n-dimensional compact complex manifold. We prove a formula, conjectured by Feigin and Shoikhet, for the Lefschetz number of D as the…

We formulate a connection between a topological and a geometric category. The former is the idempotent completion of the (horizontal) trace of the affine Hecke category, while the latter is the equivariant derived category of the…

We give a geometric interpretation of the Weil representation of the metaplectic group, placing it in the framework of the geometric Langlands program. For a smooth projective curve X we introduce an algebraic stack \tilde\Bun_G of…

We study various moduli spaces of local Shtukas in the setting of Fargues' program for $GL_n$. In certain cases, this gives us an explicit description of the spectral action which was recently introduced by Fargues and Scholze. This…

We construct the Fukaya category of a closed surface equipped with an area form using only elementary (essentially combinatorial) methods. We also compute the Grothendieck group of its derived category.

We show that Lusztig's theories of two-sided cells and non-unipotent representations of a reductive group over a finite field are compatible with the V. Lafforgue's automorphic-to-galois direction of the Langlands correspondence. To do…

We discuss some categorical aspects of the objects that appear in the construction of the Monster and other sporadic simple groups. We define the basic representation of the categorical torus $\mathcal T$ classified by an even symmetric…

We provide formulas for traces of p-th Hecke operators in level 1 in terms of values of finite field 2F1-hypergeometric functions, extending previous work of the author to all odd primes p, instead of only those p=1 (mod 12). We first give…

For a split reductive group G over a finite field, we show that the intersection (cohomology) motive of the moduli stack of iterated G-shtukas with bounded modification and level structure is defined independently of the standard…

The Levin-Wen string-nets of a spherical fusion category $\mathcal{C}$ describe, by results of Kirillov and Bartlett, the representations of mapping class groups of closed surfaces obtained from the Turaev-Viro construction applied to…

Let G be a simple simply-connected group over an algebraically closed field k, X be a smooth connected projective curve over k. In this paper we develop the theory of geometric Eisenstein series on the moduli stack Bun_G of G-torsors on X…