Let $W_{\mathrm {aff}}$ be an extended affine Weyl group, $\mathbf {H}$ be the corresponding affine Hecke algebra over the ring $\mathbb {C}[\mathbf {q}^{\frac {1}{2}}, \mathbf {q}^{-\frac {1}{2}}]$, and J be Lusztig’s asymptotic Hecke algebra, viewed as a based ring with basis $\{t_w\}$. Viewing J as a subalgebra of the $(\mathbf {q}^{-\frac {1}{2}})$-adic completion of $\mathbf {H}$ via Lusztig’s map $\phi $, we use Harish-Chandra’s Plancherel formula for p-adic groups to show that the coefficient of $T_x$ in $t_w$ is a rational function of $\mathbf {q}$, with denominator depending only on the two-sided cell containing w, and dividing a power of the Poincaré polynomial of the finite Weyl group. As an application, we conjecture that these denominators encode more detailed information about the failure of the Kazhdan-Lusztig classification at roots of the Poincaré polynomial than is currently known.

Along the way, we show that upon specializing $\mathbf {q}=q>1$, the map from J to the Harish-Chandra Schwartz algebra is injective. As an application of injectivity, we give a novel criterion for an Iwahori-spherical representation to have fixed vectors under a larger parahoric subgroup in terms of its Kazhdan-Lusztig parameter.

We give cases in which nearby cycles commute with pushforward from sheaves on the moduli stack of shtukas to a product of curves over a finite field. The proof systematically uses the property that taking nearby cycles of Satake sheaves on the Beilinson–Drinfeld Grassmannian with parahoric reduction is a central functor together with a ‘Zorro's lemma’ argument similar to that of Xue [Smoothness of cohomology sheaves of stacks of shtukas, Preprint (2020), arXiv:2012.12833]. As an application, for automorphic forms at the parahoric level, we characterize the image of tame inertia under the Langlands correspondence in terms of two-sided cells.

The Peter–Weyl idempotent $e_{\mathscr{P}}$ of a parahoric subgroup $\mathscr{P}$ is the sum of the idempotents of irreducible representations of $\mathscr{P}$ that have a nonzero Iwahori fixed vector. The convolution algebra associated with $e_{\mathscr{P}}$ is called a Peter–Weyl Iwahori algebra. We show that any Peter–Weyl Iwahori algebra is Morita equivalent to the Iwahori–Hecke algebra. Both the Iwahori–Hecke algebra and a Peter–Weyl Iwahori algebra have a natural conjugate linear anti-involution $\star$, and the Morita equivalence preserves irreducible hermitian and unitary modules. Both algebras have another anti-involution, denoted by $\bullet$, and the Morita equivalence preserves irreducible and unitary modules for $\bullet$.

We continue our study of the reduction of PEL Shimura varieties with parahoric level structure at primes p at which the group defining the Shimura variety ramifies. We describe ‘good’ p-adic integral models of these Shimura varieties and study their étale local structure. In the present paper we mainly concentrate on the case of unitary groups for a ramified quadratic extension. Some of our results are applications of the theory of twisted affine flag varieties that we developed in a previous paper.

Let G be a connected reductive group defined over a local non Archimedean field F with residue field F; let P be a parahoric subgroup with associated reductive quotient M. If σ is an irreducible cuspidal representation of M(F) it provides an irreducible representation of P by inflation. We show that the pair (P,σ) is an ${\mathfrak S}$-type as defined by Bushnell and Kutzko. The cardinality of${\mathfrak S}$ can be bigger than one; we show that if one replaces P by the full centraliser ${\hat P}$ of the associated facet in the enlarged affine building of G, and σ by any irreducible smooth representation ${\hat σ}$ of ${\hat P}$ which contains σ on restriction then (${\hat P}$,${\hat σ}$) is an ${\mathfrak s}$-type for a singleton set ${\mathfrak s}$. Our methods employ invertible elements in the associated Hecke algebra${\mathcal H}$ (σ) and they imply that the appropriate parabolic induction functor and its left adjoint can be realised algebraically via pullbacks from ring homomorphisms.