The irreducible modular representations of parabolic subgroups of general linear groups (Q4380586)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1129508
Language Label Description Also known as
default for all languages
No label defined
    English
    The irreducible modular representations of parabolic subgroups of general linear groups
    scientific article; zbMATH DE number 1129508

      Statements

      The irreducible modular representations of parabolic subgroups of general linear groups (English)
      0 references
      0 references
      8 September 1998
      0 references
      irreducible modular representations
      0 references
      parabolic subgroups
      0 references
      modular invariant theory
      0 references
      general linear groups
      0 references
      Dickson invariants
      0 references
      highest weights
      0 references
      irreducible modules
      0 references
      The author constructs and parametrizes the irreducible modular representations of parabolic subgroups of \(\text{GL}_n(q)\) in the describing characteristic, using tools from modular invariant theory. Let \(p\) be a prime, \(G:=\text{GL}_n(q)\) the general linear group of degree \(n\) over the field \(\mathbb{F}_q\) with \(q=p^s\) elements, acting naturally on the polynomial ring \(A:=\mathbb{F}_q[x_1,\dots,x_n]\) and let \(L_n\in A\) denote the (relative) Dickson invariant \(\text{det}((x^{q^j}_i)_{i=1,\dots,n;\;j=0,\dots,n-1})\) satisfying \(gL_n=\text{det}(g)L_n\) for all \(g\in G\). For nonnegative integers \(n_1,\dots,n_r\) with \(\sum_i n_i=n\) let \(G_{n_1,\dots,n_r}\) denote the corresponding parabolic subgroup of \(G\) and for \(\beta=(\beta_1,\dots,\beta_n)\) set \(L^\beta:=\prod^n_{i=1}L^{\beta_i}_i\in A\). For any subgroup \(K\) of \(G\), \(H_\beta(K)\) denotes the \(\mathbb{F}_qK\)-submodule in \(A\), generated by \(\{gL^\beta\mid g\in K\}\). The following is the main theorem of the paper: Theorem: The set \[ \{H_\beta(G_{n_1,\dots,n_r})\mid 0\leq\beta_i\leq q-1,\;1\leq i\leq n,\;\beta_{n_1},\beta_{n_1+n_2},\dots,\beta_{n_1+n_2+\cdots+n_{r-1}},\beta_n\neq 0\} \] is a complete set of \((q-1)^r q^{n-r}\) distinct irreducible \(\mathbb{F}_q G_{n_1,\dots,n_r}\)-modules and they all are absolutely irreducible. To obtain these results, the author shows that the \(L^\beta\) are suitable `highest weight vectors' and span the one-dimensional socle of \(H_\beta(G_{n_1,\dots,n_r})_{| T_n}\), where \(T_n\) denotes a Sylow \(p\)-group of \(G_{n_1,\dots,n_r}\). For this he uses results of \textit{Huýnh Mùi} [J. Fac. Sci., Univ. Tokyo, Sect. I A 22, 319-369 (1975; Zbl 0335.18010)]\ on the ring of \(T_n\)-invariants in \(A\). As a corollary, the author obtains the well-known highest weight parametrization of irreducible \(kG\)-modules.
      0 references

      Identifiers