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].

Let $R$ be a commutative ring, let $F$ be a locally compact non-archimedean field of finite residual field $k$ of characteristic $p$, and let $\mathbf{G}$ be a connected reductive $F$-group. We show that the pro-$p$-Iwahori Hecke $R$-algebra of $G=\mathbf{G}(F)$ admits a presentation similar to the Iwahori–Matsumoto presentation of the Iwahori Hecke algebra of a Chevalley group, and alcove walk bases satisfying Bernstein relations. This was previously known only for a $F$-split group $\mathbf{G}$.

We study the action of the formal affine Hecke algebra on the formal group algebra, and show that the the formal affine Hecke algebra has a basis indexed by the Weyl group as a module over the formal group algebra. We also define a concept called the normal formal group law, which we use to simplify the relations of the generators of the formal affine Demazure algebra and the formal affine Hecke algebra.

This paper gives a complete description of the spherical unitary dual of split classical real and p-adic groups. The proof makes heavy use of the affine graded Hecke algebra.

An affine Hecke algebra $\mathcal{H}$ contains a large abelian subalgebra $\mathcal{A}$ spanned by the Bernstein–Zelevinski–Lusztig basis elements $\theta_x$, where $x$ runs over (an extension of) the root lattice. The centre $\mathcal{Z}$ of $\mathcal{H}$ is the subalgebra of Weyl group invariant elements in $\mathcal{A}$. The natural trace (‘evaluation at the identity’) of the affine Hecke algebra can be written as integral of a certain rational $n$-form (with values in the linear dual of $\mathcal{H}$) over a cycle in the algebraic torus $T=\textrm{Spec}(\mathcal{A})$. This cycle is homologous to a union of ‘local cycles’. We show that this gives rise to a decomposition of the trace as an integral of positive local traces against an explicit probability measure on the spectrum $W_0\setminus T$ of $\mathcal{Z}$. From this result we derive the Plancherel formula of the affine Hecke algebra.

AMS 2000 Mathematics subject classification: Primary 20C08; 22D25; 22E35; 43A32