On representations of general linear groups over principal ideal local rings of length two. (Q618262): Difference between revisions

Let \(F\) and \(F'\) be non-Archimedean local fields with ring of integers \(\mathfrak o\) and \(\mathfrak o'\), respectively. Let \(\mathfrak p\) and \(\mathfrak p'\) denote the maximal ideals of \(\mathfrak o\) and \(\mathfrak o'\), respectively. Assume that the residue fields \(\mathfrak o/\mathfrak p\) and \(\mathfrak o'/\mathfrak p'\) are finite, and let \(\mathfrak o_2\) and \(\mathfrak o'_2\) denote the rings \(\mathfrak o/\mathfrak p^2\) and \(\mathfrak o'/\mathfrak p^{\prime 2}\), respectively. The main result of the paper is the existence of a canonical bijection between the sets of irreducible representations of \(\text{GL}_n(\mathfrak o_2)\) and of \(\text{GL}_n(\mathfrak o'_2)\), which preserves dimensions. An immediate consequence is the equality of the `representation zeta polynomials' of \(\text{GL}_n(\mathfrak o_2)\) and \(\text{GL}_n(\mathfrak o'_2)\). Since \(\mathfrak o\) is a principal ideal domain with a unique maximal ideal \(\mathfrak p\), every finite \(\mathfrak o\)-module is of the form \[ M_\lambda=\bigoplus_{i=1}^k\mathfrak o_{\ell_i}, \] where we have set \(\mathfrak o_{\ell_i}:=\mathfrak o/\mathfrak p^{\ell_i}\), and where we can arrange \(\ell_i\)'s so that \(\lambda:=(\ell_1,\ell_2,\dots,\ell_k)\) is a non-increasing sequence. We put \(G_{\lambda,F}:=\Aut_{\mathfrak o}(M_\lambda)\). If \(M_\lambda=\mathfrak o_\ell^n\) (that is, \(\lambda=(\ell,\dots,\ell)\)), then \(G_\lambda=\text{GL}_n(\mathfrak o_\ell)\). Let \(q\) denote the order of the residue field of \(F\). The main result of the paper, combined with a previous result of \textit{U. Onn, A. Prasad, A. Stasinski} and the reviewer [Isr. J.~Math. 175, 391-420 (2010; Zbl 1201.22012)] implies also the following: the problem of constructing the irreducible representations of the groups \(\text{GL}_n(\mathfrak o_2)\) for all positive integers \(n\) is equivalent to the problem of constructing the irreducible representations of the groups \(G_{\lambda,E}\) for all partitions \(\lambda\) and all unramified extensions \(E\) of \(\mathbf F_q((t))\). All the irreducible representations of \(\text{GL}_3(\mathfrak o_2)\) and \(\text{GL}_4(\mathfrak o_2)\) are constructed in the paper, showing that the number and dimensions of the irreducible representations of \(\text{GL}_3(\mathfrak o_2)\) and \(\text{GL}_4(\mathfrak o_2)\) are polynomials in \(q\) with rational coefficients, as conjectured by Onn.