Lusztig correspondence and Howe correspondence for finite reductive dual pairs (Q6624847)

Let \((\mathbf{G},\mathbf{G}')\) be one of the following types of reductive dual pairs: \((\mathrm{Sp}_{2n}, \mathrm{O}_{2n'}^{\epsilon})\) where \(\epsilon \in \{+,-\}\), \((\mathrm{Sp}_{2n}, \mathrm{O}_{2n+1}')\) or \((\mathrm{Sp}_{2n}, \mathrm{SO}_{2n+1}')\) over a finite field \(\mathbb{F}_{q}\) of odd characteristic with corresponding Frobenius maps \(F\). By restricting the Weil character of \(\mathrm{Sp}_{2N}(q)\) with respect to a nontrivial additive character \(\psi\) of \(\mathbb{F}_{q}\) to the rational points \(G \times G'\) for the dual pair, one obtains the Weil character \(\omega^{\psi}_{\mathbf{G},\mathbf{G}'}\), which has the non-negative integral decomposition \(\sum_{\rho \in \mathrm{Irr}(G),\rho' \in \mathrm{Irr}(G')} m_{\rho,\rho'} \rho \otimes \rho'\). The pair \((\rho,\rho')\) occurs in the Howe correspondence if \(m_{\rho,\rho'} \neq 0\).\N\NThe Lusztig correspondence is a bijection between the Lusztig series indexed by the conjugacy class of a rational semisimple element \(s\) in the connected component \( (\mathbf{G}^{\ast})^{0}\) of the dual group \(\mathbf{G}^{\ast}\) of \(\mathbf{G}\) and the set of unipotent characters of the centralizer \(C_{\mathbf{G}^{\ast}}(s)^{F}\).\N\NThe main result in the paper under review is the commutativity (up to a twist of the sign character) between Howe and Lusztig correspondences. As a consequence, the Howe correspondence can be explicitly described in terms of Lusztig's parametrizations for classical groups.