Universal module in characteristic \(l>0\) associated to a character of the Hecke algebra of \(\text{GL}(n)\) over a \(p\)-adic field with \(l\neq p\) (Q1283655)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Universal module in characteristic \(l>0\) associated to a character of the Hecke algebra of \(\text{GL}(n)\) over a \(p\)-adic field with \(l\neq p\) |
scientific article |
Statements
Universal module in characteristic \(l>0\) associated to a character of the Hecke algebra of \(\text{GL}(n)\) over a \(p\)-adic field with \(l\neq p\) (English)
0 references
9 September 1999
0 references
Let \(F\) be a non-archimedean local field with finite residue field and let \(G = \text{GL}(n,F)\). Let \(\chi\) be an unramified character of the diagonal subgroup of \(G\) and let \(\lambda\) denote the character of the Hecke algebra corresponding to \(\chi\) by the Satake map. We then have the principal series representation \(I_{\chi}\) of \(G\) and the universal module (or induced module) \(M_{\lambda}\) associated to \(\lambda\). Moreover, there is a natural map \(M_{\lambda} \rightarrow I_{\chi}\). This has been studied for characters with values in \(\mathbb C\) and representations over \(\mathbb C\). The present paper is concerned with the same situation with \(\mathbb C\) replaced by an algebraically closed field of characteristic \(l > 0\) and different from the residual characteristic of \(F\). It is proved that the \(G\)-modules \(M_{\lambda}\) and \(I_{\chi}\) have the same, finite, Jordan-Hölder sequence, under the assumption that \(l\) does not divide the number of elements of the reduced group \(\overline{G} = \text{GL}(n,\mathbb{F}_q)\). There is also a criterion for \(M_{\lambda} \rightarrow I_{\chi}\) to be an isomorphism, under the assumption that \(l\) does not divide \(q(q - 1)\). The main tool for the proofs is the functor \(V\mapsto V^B\) from representations of \(G\) to modules over the Hecke algebra of \(G\) with respect to an Iwahori subgroup \(B\). There are some inaccuracies in the text (e.g., \(\delta\) defined in 1.1 is the inverse of \(\delta\) used further on; Proposition 1.20 is not in concordance with the definition 1.8). Lemma 1.11(i) is false (the right hand side of the equality must be multiplied by an integral power of \(q\)).
0 references
character
0 references
Hecke algebra
0 references
principal series representation
0 references
universal module
0 references
Jordan-Hölder sequence
0 references