arXiv subjects
Publications and source records attributed to Justin Campbell.
We establish the compatibility of the Langlands functor with the operations of Eisenstein series constant term, and deduce that the Langlands functor induces an equivalence on Eisenstein-generated subcategories.
We calculate various categories of equivariant sheaves on the Beilinson-Drinfeld Grassmannian in Langlands dual terms. For one, we obtain the factorizable derived geometric Satake theorem. More generally, we calculate the categorical analogue of unramified vectors in the Jacquet module of sheaves on the Grassmannian. In all cases, our spectral categories involve factorization modules for factorization algebras related to the Langlands dual group.
We construct categories of Harish-Chandra bimodules for affine Lie algebras analogous to Harish-Chandra bimodules with infinitesimal characters for simple Lie algebras, addressing an old problem raised by I. Frenkel and Malikov. Under an integrality hypothesis, we establish monoidal equivalences between blocks of our affine Harish-Chandra bimodules and versions of the affine Hecke category. To do so, we introduce a new singular localization onto Whittaker flag manifolds. The argument for the latter specializes to a somewhat alternative treatment of regular localization, and identifies the category of Lie algebra representations with a generalized infinitesimal character as the parabolic induction, in the sense of categorical representation theory, of a Steinberg module.
We formulate and prove a generalized Albanese property for families of maps from a smooth curve over an arbitrary field into a commutative group stack. Our proof, which is mostly self-contained, employs local-to-global techniques and some new Ext-vanishing results to reduce to the local Cartier self-duality theorem of Contou-Carrere. As a corollary, we reprove local and global geometric class field theory with arbitrary ramification.
In quantum geometric Langlands, the Satake equivalence plays a less prominent role than in the classical theory. Gaitsgory--Lurie proposed a conjectural substitute, later termed the fundamental local equivalence. With a few exceptions, we prove this conjecture and its extension to the affine flag variety by using what amount to Soergel module techniques.
In this article we study the perverse sheaf on Drinfeld's compactification obtained by applying the geometric Jacquet functor (alias nearby cycles) to a nondegenerate Whittaker sheaf. Namely, we describe its restrictions along the defect stratification in terms of the Langlands dual Lie algebra, in particular showing that this nearby cycles sheaf is tilting. We also describe the subquotients of the monodromy filtration using the Picard-Lefschetz oscillators introduced by S. Schieder, including a proof that the subquotients are semisimple without reference to any theory of weights. This argument instead relies on the action of the Langlands dual Lie algebra on compactified Eisenstein series (or what is essentially the same, cohomology of quasimaps into the flag variety) constructed by Feigin, Finkelberg, Kuznetsov, and Mirkovic.
We give a new geometric construction of the big projective module in the principal block of the BGG category $\mathscr{O}$, or rather the corresponding $\mathscr{D}$-module on the flag variety. Namely, given a one-parameter family of nondegenerate additive characters of the unipotent radical of a Borel subgroup which degenerate to the trivial character, there is a corresponding one-parameter family of Whittaker sheaves. We show that the unipotent nearby cycles functor applied to this family yields the big projective $\mathscr{D}$-module.
Drinfeld's relative compactification plays a basic role in the theory of automorphic sheaves, and its singularities encode representation-theoretic information in the form of intersection cohomology. We introduce a resolution of singularities consisting of stable maps from nodal deformations of the curve into twisted flag varieties. As an application, we prove that the twisted intersection cohomology sheaf on Drinfeld's compactification is universally locally acyclic over the moduli stack of $G$-bundles at points sufficiently antidominant relative to their defect.
Francois Rodier proved that it is possible to view smooth representations of certain totally disconnected abelian groups (the underlying additive group of a finite-dimensional p-adic vector space, for example) as sheaves on the Pontryagin dual group. For nonabelian totally disconnected groups, the appropriate dual space necessarily includes representations which are not one-dimensional, and does not carry a group structure. The general definition of the topology on the dual space is technically unwieldy, so we provide three different characterizations of this topology for a large class of totally disconnected groups (which includes, for example, p-adic unipotent groups), each with a somewhat different flavor. We then use these results to demonstrate some formal similarities between smooth representations and sheaves on the dual space, including a concrete description of the Bernstein center of the category of smooth representations.