Deligne-Lusztig constructions for division algebras and the local Langlands correspondence (Q266126)

Let \(G\) be a reductive group over a local field \(F\) of equal characteristic \(p > 0\). Fix a suitable maximal torus \(T\). Lusztig suggested a variant of Deligne-Lusztig theory for \(G\), which should realize a correspondence between characters \(\theta: T \to \bar{\mathbb{Q}}_\ell^\times\) and the supercuspidal representations \(\rho\) of \(G\) inside the \(\ell\)-adic homologies \(H_i(X)\), where \(X\) is a certain ind-variety with \(G \times T\)-action. Henceforth, we take \(G = D^\times\) where \(D\) is the division \(F\)-algebra of invariant \(1/n\), and \(T = L^\times\) is taken to be the unramified maximal torus. Boyarchenko and Weinstein have shown how Lusztig's proposal can be reduced to problems involving unipotent group schemes over finite fields, for suitable \(\theta\). In this paper, the author proves a special case of Boyarchenko's conjecture in the case \(n=2\). As a consequence, for many characters \(\theta: L^\times \to \bar{\mathbb{Q}}_\ell^\times\) there exists \(r\) depending on the level of \(\theta\), such that \(H_i(X)[\theta]\) equals an irreducible smooth representation \(\rho_\theta\) of \(G\) if \(i=r\), otherwise it vanishes. Furthermore, \(\theta \mapsto \rho_\theta\) is compatible with the local Langlands correspondence and the Jacquet-Langlands correspondence. Therefore, it also affords a geometric realization of these two representation-theoretic constructions.