On the construction of tame supercuspidal representations

Let $F$ be a non-archimedean local field of residual characteristic $p \neq 2$ . Let $G$ be a (connected) reductive group over $F$ that splits over a tamely ramified field extension of $F$ . We revisit Yu's construction of smooth complex representations of $G(F)$ from a slightly different perspective and provide a proof that the resulting representations are supercuspidal. We also provide a counterexample to Proposition 14.1 and Theorem 14.2 in Yu [Construction of tame supercuspidal representations, J. Amer. Math. Soc. 14 (2001), 579–622], whose proofs relied on a typo in a reference.

THE COHOMOLOGY OF UNRAMIFIED RAPOPORT–ZINK SPACES OF EL-TYPE AND HARRIS'S CONJECTURE

We study the l-adic cohomology of unramified Rapoport–Zink spaces of EL-type. These spaces were used in Harris and Taylor's proof of the local Langlands correspondence for $\mathrm {GL_n}$ and to show local–global compatibilities of the Langlands correspondence. In this paper we consider certain morphisms $\mathrm {Mant}_{b, \mu }$ of Grothendieck groups of representations constructed from the cohomology of these spaces, as studied by Harris and Taylor, Mantovan, Fargues, Shin and others. Due to earlier work of Fargues and Shin we have a description of $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ a supercuspidal representation. In this paper, we give a conjectural formula for $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ an admissible representation and prove it when $\rho $ is essentially square-integrable. Our proof works for general $\rho $ conditionally on a conjecture appearing in Shin's work. We show that our description agrees with a conjecture of Harris in the case of parabolic inductions of supercuspidal representations of a Levi subgroup.

Base change for ramified unitary groups: The strongly ramified case

We compute a special case of base change of certain supercuspidal representations from a ramified unitary group to a general linear group, both defined over a p-adic field of odd residual characteristic. In this special case, we require the given supercuspidal representation to contain a skew maximal simple stratum, and the field datum of this stratum to be of maximal degree, tamely ramified over the base field, and quadratic ramified over its subfield fixed by the Galois involution that defines the unitary group. The base change of this supercuspidal representation is described by a canonical lifting of its underlying simple character, together with the base change of the level-zero component of its inducing cuspidal type, modified by a sign attached to a quadratic Gauss sum defined by the internal structure of the simple character. To obtain this result, we study the reducibility points of a parabolic induction and the corresponding module over the affine Hecke algebra, defined by the covering type over the product of types of the given supercuspidal representation and of a candidate of its base change.

The cohomology of semi-infinite Deligne–Lusztig varieties

We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne–Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne–Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes {X_{h}}. Boyarchenko’s two conjectures are on the maximality of {X_{h}} and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invariant {1/n} in the case {h=2} (the “lowest level”) by the work of Boyarchenko–Weinstein on the cohomology of a special affinoid in the Lubin–Tate tower. We prove that the number of rational points of {X_{h}} attains its Weil–Deligne bound, so that the cohomology of {X_{h}} is pure in a very strong sense. We prove that the torus-eigenspaces of the cohomology group {H_{c}^{i}(X_{h})} are irreducible representations and are supported in exactly one cohomological degree. Finally, we give a complete description of the homology groups of the semi-infinite Deligne–Lusztig varieties attached to any division algebra, thus giving a geometric realization of a large class of supercuspidal representations of these groups. Moreover, the correspondence {\theta\mapsto H_{c}^{i}(X_{h})[\theta]} agrees with local Langlands and Jacquet–Langlands correspondences. The techniques developed in this paper should be useful in studying these constructions for p-adic groups in general.

Local Langlands Correspondence for Regular Supercuspidal Representations of GL(n)

In this paper, we prove the coincidence of Kaletha’s recent construction of the local Langlands correspondence for regular supercuspidal representations with Harris–Taylor’s one in the case of general linear groups. The keys are Bushnell–Henniart’s essentially tame local Langlands correspondence and Tam’s result on Bushnell–Henniart’s rectifiers. By combining them, our problem is reduced to an elementary root-theoretic computation on the difference between Kaletha’s and Tam’s $\chi $-data.