A model for the E3 fusion-convolution product of constructible sheaves on the affine Grassmannian

Abstract

Let $G$ be a complex reductive group. The spherical Hecke category of $G$ can be presented as the category of $G_{\mathcal{O}}$-equivariant constructible sheaves on the affine Grassmannian ${\mathrm{Gr}}_G$. This category admits a convolution product, extending the convolution product of equivariant perverse sheaves. In this paper, we upgrade the mentioned convolution product to a left t-exact ${\mathbb{E}}_3$-monoidal structure in $\infty$-categories. The construction is intrinsic to the automorphic side. Our main tools are the Beilinson--Drinfeld Grassmannian, Lurie's characterization of ${\mathbb{E}}_k$-algebras via the topological Ran space, the homotopy theory of stratified spaces, and the formalism of correspondences.

Correction of two mistakes and addition of some auxiliary results

References in corpus (5)

• The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups
• Analytification of mapping stacks
• Formal gluing along non-linear flags
• Multiplicative Structure in the Stable Splitting of $\Omega S{L}_n(\mathbb{C})$
• Constructible hypersheaves via exit paths

Cited by in corpus (1)

• An Extension of the Kazhdan-Lusztig Equivalence