Multiplicities under basechange: finite field case (Q2178547)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Multiplicities under basechange: finite field case
scientific article

    Statements

    Multiplicities under basechange: finite field case (English)
    0 references
    0 references
    11 May 2020
    0 references
    In this paper, the author proves a general proposition relating multiplicities for the restriction of a representation of a group to a subgroup under base change for reductive groups over finite fields, giving several interesting applications. To explain one of the results, let \( H\subset G \) be two connected algebraic groups over a finite field \( \mathbb{F}=\mathbb{F}_q \) of order \( q \), and \( \pi_1,\pi_2 \) be irreducible uniform (i.e., a virtual sum of Deligne-Lusztig representations \( R(T,\theta) \) for varying maximal tori \( T \) of \( G \) and characters \( \theta:T(\mathbb{F})\to \mathbb{C}^{\times} \)) representations of \( G(\mathbb{F}), H(\mathbb{F}) \) respectively, both representations assumed to have base change to the unique quadratic extension \( \mathbb{E} \) of \( \mathbb{F} \), denoted \( \pi_1^{\mathbb{E}}, \pi_2^{\mathbb{E}} \) respectively. It is further assumed that \( \pi_1^{\mathbb{E}}, \pi_2^{\mathbb{E}} \) are irreducibe representations of \( G(\mathbb{E}), H(\mathbb{E}) \) invariant under \( \langle\sigma \rangle=\mathrm{Gal}(\mathbb{E}/\mathbb{F}). \) The Shintani character identity then fixes unique extensions of \( \pi_1^{\mathbb{E}}, \pi_2^{\mathbb{E}} \) to representations \( \tilde{\pi}_1^{\mathbb{E}}, \tilde{\pi}_2^{\mathbb{E}} \) of \( G(\mathbb{E})\rtimes \langle \sigma \rangle, H(\mathbb{E})\rtimes \langle \sigma \rangle \) respectively. One main result of the paper under review, which generalises Theorem 1 in [\textit{D. Prasad}, Compos. Math. 119, No. 3, 335--345 (1999; Zbl 0969.22008)], may then be stated as \[ 2m(\tilde{\pi}_1^{\mathbb{E}}, \tilde{\pi}_2^{\mathbb{E}})=m({\pi}_1^{\mathbb{E}}, {\pi}_2^{\mathbb{E}}) +m(\pi_1,\pi_2), \] where \( m(\pi_1,\pi_2)=\mathrm{dim\,Hom}_{H(\mathbb{F})} (\pi_1,\pi_2) \) etc. The result is then used to calculate certain multiplicities for cuspidal representations of general linear groups which become principal series representations under base change for which multiplicities can be calculated by geometric methods. This is applied mainly to calculate which one-dimensional representations of \( \mathrm{GL}_n(\mathbb{E}) \) and \( \mathrm{GL}_n(\mathbb{F})\times \mathrm{GL}_n(\mathbb{F}) \) appear in a cuspidal representation of \( \mathrm{GL}_{2n}(\mathbb{F}) \). Several other results with interesting corollaries are proved.
    0 references
    0 references
    Deligne-Lusztig representations
    0 references
    basechange
    0 references
    Shintani character identity
    0 references
    distinguished representations
    0 references
    branching laws
    0 references

    Identifiers