A Hecke algebra on the double cover of a Chevalley group over \(\mathbb{Q}_2\) (Q2239242)

Consider a a simple, simply laced and simply connected Chevalley group \(\mathbf{G}\) over \(\mathbb{Q}_2\) and a nonlinear double cover \[ 1 \to \mu_2 \to \tilde{G} \xrightarrow{\mathrm{pr}} G \to 1 \] where \(G = \mathbf{G}(\mathbb{Q}_2)\). By fixing an embedding \(\varepsilon: \mu_2 \to \mathbb{C}^\times\), one can talk about \(\varepsilon\)-genuine functions on \(\tilde{G}\). Let \(\Gamma_0(4) \subset G\) be the preimage of the Borel subgroup \(\mathbf{B}\) under reduction modulo \(4\), and let \(\Gamma_1(4)\) be the preimage of \(R_u(\mathbf{B})\). In this paper, one considers the \(\varepsilon\)-genuine Hecke algebras of \(\tilde{G}\) with respect to the compact open subgroup \(\Gamma_0(4)\). More precisely, a key result (Theorem 3.3) asserts that \(\tilde{G}\) splits canonically over \(\Gamma_1(4)\); by fixing an \(\varepsilon\)-genuine irreducible representation \((\tau, E)\) of \(\mathrm{pr}^{-1}(\Gamma_0(4))/\Gamma_1(4)\), the Hecke algebra in question is \[ \mathcal{H} = \left\{ f \in C^\infty_c(\tilde{G}, \mathrm{End}(E)) \middle| f(k_1 g k_2) = \tau(k_1) f(g) \tau(k_2), \; k_1, k_2 \in \mathrm{pr}^{-1}(\Gamma_0(4)) \right\}. \] The basic results are recapitulated below. In Theorem 6.14, one deduces a Bernstein presentation for \(\mathcal{H}\). In Theorem 7.1, one show that the category \(\mathcal{R}(\tilde{G}, \tau)\) of representations generated by \(\tau\)-isotypic vectors is closed under subquotients, and every irreducible \((\pi, \mathcal{V})\) therein is isomorphic to a subquotient of an unramified genuine principal series for \(\tilde{G}\) -- see Section 7 for details. With these results in hand, one obtains in Theorem 8.1 an isomorphism \[ \phi: \mathcal{H}(G', I') \simeq \mathcal{H} \] where \(\mathbf{G}' = \mathbf{G}/Z_{\mathbf{G}, 2\text{-tors}}\) and \(I' \subset G'\) is an Iwahori subgroup. In turn, this enables us to match the categories \(\mathcal{R}(G', I')\) and \(\mathcal{R}(\tilde{G}, \tau)\). This is an instance of local Shimura correspondences for \(p\)-adic covering groups. It is also consistent with the predictions of Langlands program for coverings. Compared to the so-called tame cases in the literature, the key difficulty here is that the covering has degree equal to residual characteristic, both equal to \(2\). This extends earlier work [\textit{H. Y. Loke} and \textit{G. Savin}, Pac. J. Math. 247, No. 2, 435--454 (2010; Zbl 1259.11053)] to higher ranks. The appearance of \(\mathrm{pr}^{-1}(\Gamma_0(4))/\Gamma_1(4)\) is also comparable to the level structure in Ibukiyama's isomorphism for Siegel modular forms of half-integral weight, addressed in a recent work of H.\ Ishimoto. It suggests a natural level structure for twofold coverings over \(\mathbb{Q}_2\).