We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions, which appear in recent advances in the geometric Langlands program. The key technical tools in our arguments are a new descent theory for coherent sheaves or ${\mathcal{D}}$-modules with prescribed singular support and the theory of integral transforms for coherent sheaves developed in the companion paper by Ben-Zvi et al. [Integral transforms for coherent sheaves, J. Eur. Math. Soc. (JEMS), to appear].

This paper deals with the geometric local theta correspondence at the Iwahori level for dual reductive pairs of type II over a non-Archimedean field $F$ of characteristic $p\neq 2$ in the framework of the geometric Langlands program. First we construct and study the geometric version of the invariants of the Weil representation of the Iwahori-Hecke algebras. In the particular case of $(\mathbf{GL}_{1},\mathbf{GL}_{m})$ we give a complete geometric description of the corresponding category. The second part of the paper deals with geometric local Langlands functoriality at the Iwahori level in a general setting. Given two reductive connected groups $G$ and $H$ over $F$, and a morphism ${\check{G}}\times \text{SL}_{2}\rightarrow \check{H}$ of Langlands dual groups, we construct a bimodule over the affine extended Hecke algebras of $H$ and $G$ that should realize the geometric local Arthur–Langlands functoriality at the Iwahori level. Then, we propose a conjecture describing the geometric local theta correspondence at the Iwahori level constructed in the first part in terms of this bimodule, and we prove our conjecture for pairs $(\mathbf{GL}_{1},\mathbf{GL}_{m})$.

Let k be an algebraically closed field and O = k[[t]] ⊂ F = k((t)). For an almost simple algebraic group G we classify central extensions 1 → m → E → G(F) → 1; any such extension splits canonically over G(O). Fix a positive integer N and a primitive character ζ : μN(K) → (under some assumption on the characteristic of k). Consider the category of G(O)-bi-invariant perverse sheaves on E with m-monodromy ζ. We show that this is a tensor category, which is tensor equivalent to the category of representations of a reductive group ǦE,N. We compute the root datum of ǦE,N.

Let k be an algebraically closed field of characteristic greater than 2, and let F=k((t)) and G=𝕊p2d. In this paper we propose a geometric analog of the Weil representation of the metaplectic group . This is a category of certain perverse sheaves on some stack, on which acts by functors. This construction will be used by Lysenko (in [Geometric theta-lifting for the dual pair S𝕆2m, 𝕊p2n, math.RT/0701170] and subsequent publications) for the proof of the geometric Langlands functoriality for some dual reductive pairs.

Let X be a smooth projective curve. We consider the dual reductive pair , over X, where H splits on an étale two-sheeted covering . Let BunG (respectively, BunH) be the stack of G-torsors (respectively, H-torsors) on X. We study the functors FG and FH between the derived categories D(BunG) and D(BunH), which are analogs of the classical theta-lifting operators in the framework of the geometric Langlands program. Assume n=m=1 and H nonsplit, that is, with connected. We establish the geometric Langlands functoriality for this pair. Namely, we show that FG :D(BunH)→D(BunG) commutes with Hecke operators with respect to the corresponding map of Langlands L-groups LH→LG. As an application, we calculate Waldspurger periods of cuspidal automorphic sheaves on BunGL2 and Bessel periods of theta-lifts from to . Based on these calculations, we give three conjectural constructions of certain automorphic sheaves on (one of them makes sense for -modules only).