Jordan induction for $\mathrm{GL}_{n}(\mathcal{O})$

Abstract.

Let $\mathcal{O}$ be a complete discrete valuation ring with a finite residue field. We introduce a simple framework of constructing smooth representations of $\mathrm{GL}_{n}(\mathcal{O})$ modulo the knowledge of nilpotent orbits, called Jordan induction, which enjoys several remarkable properties: It yields only irreducible representations, it yields all the even level irreducible representations, and up to conjugation it yields non-isomorphic representations.

In the even level case, this gives an explicit realisation of Hill’s analogue of Lusztig’s Jordan decomposition, as well as a vast generalisation of Gérardin’s construction for $\mathrm{GL}_{n}(\mathcal{O})$. As a simple application, we construct an explicit section to the orbit map. We also propose a conjecture linking Jordan induction and Lusztig induction, aiming at generalising the algebraisation theorem obtained in recent joint works with Stasinski.

1. Introduction

Let $\mathcal{O}$ be a complete discrete valuation ring with finite residue field $\mathbb{F}_{q}$. The representation theory of $\mathrm{GL}_{n}(\mathcal{O})$, like that of any group, has two fundamental problems: classifying the irreducible representations and explicitly constructing them. We shall be concerned with the latter one.

Let $\pi$ be a fixed uniformiser of $\mathcal{O}$. Then every smooth irreducible representation of $\mathrm{GL}_{n}(\mathcal{O})$ factors through a finite quotient $\mathrm{GL}_{n}(\mathcal{O}_{r})$, where $\mathcal{O}_{r}:=\mathcal{O}/\pi^{r}$.

For $r=1$, we have $\mathrm{GL}_{n}(\mathcal{O}_{r})=\mathrm{GL}_{n}(\mathbb{F}_{q})$, whose representation theory has been extensively studied, and in 1955 Green [Gre55] obtained all its irreducible characters. In 1977 Lusztig and Srinivasan [LS77] constructed the corresponding representation spaces using Deligne–Lusztig theory [DL76]. Recently, Jing and Wu [JW24] initiated an alternative approach based on vertex operator algebras. For general connected reductive groups over $\mathbb{F}_{q}$, Lusztig established the Jordan decomposition of irreducible characters in [Lus84, Lus88], a cornerstone of their representation theory. For more details and results we refer the interested reader to [Car93, DM20, GM20].

For $r>1$, the study of representations of $\mathrm{GL}_{n}(\mathcal{O}_{r})$, and of the closely related $\mathrm{SL}_{n}(\mathcal{O}_{r})$, has attracted considerable attention over the past decades: There are cohomological approaches towards generalising Deligne–Lusztig theory [Lus04, Sta09b, Sta11, Che20], algebraic/arithmetic approaches based on Clifford theory and zeta functions [Hil95a, AKOV16, SS17, KOS18, HS19, HS22, OPS25], and analytic approaches using theta functions/modular forms [NW74, Wol75, CF25], just to name a few; more developments can be found in the survey [Sta17]. In the present work we introduce a new framework of constructing representations based on the idea of Jordan decomposition; this framework, on the one hand, is similar to Harish-Chandra theory, and on the other hand has a natural connection with $\ell$-adic cohomology.

Throughout the remaining part of the paper we assume $r>1$. We make no assumption on $p:=\mathrm{char}(\mathbb{F}_{q})$.

In the 1990s, in a series of inspiring works [Hil93, Hil94, Hil95a, Hil95b] Hill found an analogue of Lusztig’s Jordan decomposition for $\mathrm{GL}_{n}(\mathcal{O}_{r})$ and studied $\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))$ based on it, with aids from Clifford theory and adjoint orbits. To describe it in a more precise way, for every semisimple $s\in\mathfrak{gl}_{n}(\mathbb{F}_{q})=M_{n}(\mathbb{F}_{q})$, let $\mathrm{Irr}_{s}(\mathrm{GL}_{n}(\mathcal{O}_{r}))$ denote the set of equivalence classes of irreducible representations whose orbits (see Definition 2.2) contain an element with $s$ being the semisimple part. Then there is a natural partition

$$\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))=\bigsqcup_{(s)}\mathrm{Irr}_{s}(\mathrm{GL}_{n}(\mathcal{O}_{r}))$$

where $(s)$ runs over the semisimple conjugacy classes in $M_{n}(\mathbb{F}_{q})$. Hill’s version of Jordan decomposition [Hil93, 2.13 Theorem] asserts that, for each semisimple $s\in M_{n}(\mathbb{F}_{q})$, there exists a bijection

$$\begin{split}\mathrm{Irr}_{s}(\mathrm{GL}_{n}(\mathcal{O}_{r}))&\longleftrightarrow\{\textrm{nilpotent orbit representations of }C_{\mathrm{GL}_{n}(\mathcal{O}_{r})}(\hat{s})\};\\ \sigma&\longmapsto\nu_{\sigma},\end{split}$$

where $\hat{s}\in M_{n}(\mathcal{O}_{r})$ is a lift of $s$, such that $\frac{\dim\sigma}{\dim\nu_{\sigma}}$ is a constant. Replacing “nilpotent orbit” by “unipotent” this statement becomes an exact analogue of the bijection part of Lusztig’s Jordan decomposition; see [DM20, Theorem 11.5.1] and [GM20, Theorem 2.6.22]. Hill’s analogue of Jordan decomposition is very useful for the quantitative information needed in computing representation zeta functions; see [OPS25, Subsection 5.2]. Recently it also plays an important role in proving the equivalence, in the case of $\mathrm{GL}_{n}$, between regular semisimple orbit representations and regular higher level Deligne–Lusztig representations; see [CS26, Proposition 3.9 and Remark 4.6].

In this work, motivated by the constructions in [Gér73, CS17, Che21, CS26], we find that Hill’s existence assertion can be refined to a method of constructing irreducible representations of $\mathrm{GL}_{n}(\mathcal{O}_{r})$, at least when $r$ is even: Attached to each pair $(s,\nu)$ where $s$ is a semisimple element in $\mathfrak{gl}_{n}(\mathbb{F}_{q})=M_{n}(\mathbb{F}_{q})$ and $\nu$ is a nilpotent orbit representation of the centraliser of $s$, we construct explicitly a representation $J_{r}(s,\nu)$ of $\mathrm{GL}_{n}(\mathcal{O}_{r})$, which we call the Jordan induction. It is of the form

$$J_{r}(s,\nu):=\mathrm{Ind}_{(L_{s}G_{r}^{l})^{F}}^{\mathrm{GL}_{n}(\mathcal{O}_{r})}\widetilde{\phi_{s}\otimes\nu},$$

in which $(L_{s}G_{r}^{l})^{F}$ is a group extension of the centraliser (by the so-called arithmetic radical), and $\widetilde{\phi_{s}\otimes\nu}$ is certain representation of it; see Definition 2.6. When $s$ is regular and semisimple, $\nu$ will be imprimitive (Definition 6.1) and this construction specialises to Gérardin’s representations [Gér73].

The main properties of $J_{r}(s,\nu)$ are:

Theorem (Theorem 2.7).

Suppose that $r$ is even. Then one has:

1. (Irreducibility) The representations $J_{r}(s,\nu)$ are always irreducible.

2. (Uniqueness) The map $J_{r}(s,-)$ is an injection for every semisimple $s\in M_{n}(\mathbb{F}_{q})$; moreover,

   $$\mathrm{Im}(J_{r}(s,-))\cap\mathrm{Im}(J_{r}(s^{\prime},-))=\emptyset$$

   if $s,s^{\prime}\in M_{n}(\mathbb{F}_{q})$ are not $\mathrm{GL}_{n}(\mathbb{F}_{q})$-conjugated.

3. (Exhaustion) One has

   $$\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))=\mathrm{Im}(J_{r}(-,-)).$$

4. (Dimension) For a given $s$, the ratio $\frac{\dim J_{r}(s,\nu)}{\dim\nu}$ is a constant independent of $\nu$.

As we will see, once the formalism of $J_{r}(s,\nu)$ is set up, this theorem essentially follows from Clifford theory.

The above result reduces the problem of constructing irreducible representations to the problem of constructing nilpotent orbit representations. We should mention that, however, constructing nilpotent orbit representations is in general notoriously difficult, and only partial results are available: Hill [Hil93, Hil94] proves that there is an explicit monomial representation whose irreducible constituents are precisely the nilpotent orbit representations; this has been generalised to general connected reductive groups in [Che20]. For $\mathrm{GL}_{3}$ with $p>3$, all nilpotent orbit representations are constructed only recently by Onn–Prasad–Singla [OPS25]; prior to it, the counting of representations have been given by Avni–Klopsch–Onn–Voll [AKOV16] under a further assumption on $p$. For $\mathrm{GL}_{n}$ with $n\geq 4$, constructing all the nilpotent orbit representations is believed to be intractable (see [Nag78, Section 4]). Nevertheless, all the regular orbit representations (including in particular the regular nilpotent ones) have been obtained by Stasinski–Stevens [SS17] (in general) and by Krakovski–Onn–Singla [KOS18] (for odd $p$), by different methods. Moreover, for general connected reductive groups the recent works [CS17, CS26] show that all the regular semisimple orbit representations can be obtained by taking the higher Deligne–Lusztig inductions, though in general the latter miss some nilpotent ones; see [Sta11, Che20, Che25].

In Section 2, after accomplishing the formalism of Jordan induction and proving Theorem 2.7, we turn to a discussion on the graded additive group

$$A(\mathcal{O}_{r})=\bigoplus_{n\geq 0}\mathbb{Z}\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))$$

following Zelevinsky [Zel81]. This group admits an algebra structure and a co-algebra structure, given by the Jordan induction. These two structures are linked by an adjunction, and as an algebra $A(\mathcal{O}_{r})$ is generated by the cuboidal representations (Definition 2.8), which play a role similar to that of the cuspidal representations in Harish-Chandra theory; see Proposition 2.11, 2.12, and 2.13. We remark that in this direction several related, but different, constructions have been studied, like the one in Crisp–Meir–Onn [CMO17, CMO24] using idempotent techniques, and the one in [Che24] using invariant characters of the Lie algebra $\mathfrak{gl}_{n}(\mathbb{F}_{q})$; we expect to investigate their relations in a future work.

In Section 3 we consider a simple application of Jordan induction to the sections of the orbit map $\Omega(-)$ (Definition 2.2), in the equal characteristic case. More precisely, we will construct a map

$$\mathcal{J}_{r}\colon\mathfrak{gl}_{n}(\mathbb{F}_{q})\longrightarrow\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))$$

satisfying that

$$\omega\in\Omega(\mathcal{J}_{r}(\omega))$$

for every $\omega\in\mathfrak{gl}_{n}(\mathbb{F}_{q})$. This relies on a property of nilpotent matrices and the construction of Jordan induction; see Corollary 3.4.

In Section 4 we turn to the cohomological nature of $J_{r}(-,-)$. In the classical finite field case, an important property of Lusztig induction is that it gives a realisation of Lusztig’s Jordan decomposition; see [DM20, Theorem 11.4.3(ii)]. In Conjecture 4.3 we propose an analogue for $J_{r}(-,-)$, which asserts that

$$J_{r}(s,\nu)\cong R_{L_{s},U_{s}}^{\mathrm{GL}_{n}}(\phi_{s}\otimes\nu)$$

for every parameter $(s,\nu)$, where $R_{L_{s},U_{s}}^{\mathrm{GL}_{n}}$ denotes the Lusztig induction (the parahoric version introduced by Chan [Cha24]). This generalises the algebraisation theorem (specialising to $\mathrm{GL}_{n}$) of [CS17, CS26] from regular semisimple orbit representations to all irreducible representations. We verify a few cases in Proposition 4.4. By Proposition 4.5 this conjecture reduces to the cuboidal case.

In Section 5 we discuss a possible construction of $J_{r}(-,-)$ for odd $r>1$. This involves a conjectural non-abelian Heisenberg lift inspired by the works [CS26, SS17, BF83]; see Conjecture 5.2.

Presented in the final Section 6 is an example on the construction of irreducible representations of $\mathrm{GL}_{3}(\mathcal{O}_{2})$ within the framework of Jordan induction.

Acknowledgement. The author is grateful to Alexander Stasinski for helpful comments on an earlier version of this paper, and also for suggesting him to read Hill’s series of works during his PhD studies; it was only after graduating that he began to truly appreciate these works. Part of this work was undertaken during the author’s stay at TSIMF in Jan 2026, for the conference Geometric Representation Theory and Automorphic Forms, and the author thanks the organisers for the hospitality.

Human disclosure. Except for a few grammar corrections and LaTeXcode search assisted by LLM tools, this work is done by the carbon-based human male.

2. Jordan induction

We start by briefly setting up the notation, partially following our previous work [CS17].

First, fix a maximal unramified extension $K^{\mathrm{ur}}$ of $K:=\mathrm{Frac}(\mathcal{O})$, and let $\mathcal{O}^{\mathrm{ur}}$ be its ring of integers; we also write $\mathcal{O}^{\mathrm{ur}}_{r}:=\mathcal{O}^{\mathrm{ur}}/\pi^{r}$. For $F$ the Frobenius element “$x\mapsto x^{q}$” in $\mathrm{Gal}(\overline{\mathbb{F}}_{q}/\mathbb{F}_{q})$, by identifying $\mathrm{Gal}(\overline{\mathbb{F}}_{q}/\mathbb{F}_{q})$ with $\mathrm{Gal}(K^{\mathrm{ur}}/K)$ we also write $F$ for the corresponding element in $\mathrm{Gal}(K^{\mathrm{ur}}/K)$. The Greenberg functor (see [Gre61, Gre63, Sta09b]) identifies $\mathrm{GL}_{n}(\mathcal{O}^{\mathrm{ur}}_{r})$ with (the group of $\overline{\mathbb{F}}_{q}$-points of) an algebraic group $G_{r}$ over $\overline{\mathbb{F}}_{q}$ such that

$$G_{r}(\overline{\mathbb{F}}_{q})\cong\mathrm{GL}_{n}(\mathcal{O}^{\mathrm{ur}}_{r})$$

as abstract groups. This algebraic group is defined over $\mathbb{F}_{q}$ and the geometric Frobenius, which commutes with the above isomorphism, should also be denoted by $F$. In particular, $G_{r}^{F}\cong\mathrm{GL}_{n}(\mathcal{O}_{r})$. For every $i,j\in\{1,...,r\}$ with $i\leq j$, let $\rho_{j,i}$ be the reduction map from $\mathcal{O}^{\mathrm{ur}}_{j}$ to $\mathcal{O}^{\mathrm{ur}}_{i}$. They induce surjective ring morphisms

$$M_{n}(\mathcal{O}^{\mathrm{ur}}_{j})\longrightarrow M_{n}(\mathcal{O}^{\mathrm{ur}}_{i})$$

which we denote again by $\rho_{j,i}$. When $j=r$ we write $\rho_{i}$ short for $\rho_{r,i}$; the reduction map from $\mathcal{O}^{\mathrm{ur}}$ will also be written as $\rho_{i}$. If $H\subseteq G_{j}$ is a closed subgroup, we use the notation $H_{i}:=\rho_{j,i}(H)$ and $H^{i}:=H\cap\mathrm{Ker}(\rho_{j,i})$ for convention, when there is no confusion. Let $l:=[\frac{r+1}{2}]$ and $l^{\prime}:=[\frac{r}{2}]$. From now on we fix a group morphism

(1) $$\psi\colon\mathcal{O}_{l^{\prime}}\rightarrow\overline{\mathbb{Q}}_{\ell}^{\times}$$

that is non-trivial on $\pi^{l^{\prime}-1}\mathcal{O}_{l^{\prime}}$, where $\ell$ is a prime invertible in $\mathbb{F}_{q}$.

For a given semisimple element $s\in\mathfrak{gl}_{n}(\mathbb{F}_{q})=M_{n}(\mathbb{F}_{q})$, by conjugating $s$ into the diagonal part of $M_{n}(\overline{\mathbb{F}}_{q})$, up to permutation we have (here “$\rightsquigarrow$” means “conjugates to”)

$$\begin{split}s\rightsquigarrow\mathrm{diag}&((s_{1}I_{n_{1}},s_{1}^{q}I_{n_{1}},\cdots,s_{1}^{q^{\lambda_{1}-1}}I_{n_{1}}),\cdots,(s_{d}I_{n_{d}},s_{d}^{q}I_{n_{d}},\cdots,s_{d}^{q^{\lambda_{d}-1}}I_{n_{d}})),\\ \rightsquigarrow\mathrm{diag}&(\underbrace{(s_{1},s_{1}^{q},\cdots,s_{1}^{q^{\lambda_{1}-1}}),\cdots,(s_{1},s_{1}^{q},\cdots,s_{1}^{q^{\lambda_{1}-1}})}_{n_{1}\ \textrm{times}},\cdots\cdots,\\ &\cdots\cdots,\underbrace{(s_{d},s_{d}^{q},\cdots,s_{d}^{q^{\lambda_{d}-1}}),\cdots,(s_{d},s_{d}^{q},\cdots,s_{d}^{q^{\lambda_{d}-1}})}_{n_{d}\ \textrm{times}}),\end{split}$$

where the $s_{i}$’s are in $\overline{\mathbb{F}}_{q}$ and the polynomials $\prod_{j=0}^{\lambda_{i}-1}(x-s_{i}^{q^{j}})$ (for $i=1,\cdots,d$) are pairwise distinct irreducible polynomials over $\mathbb{F}_{q}$. Note in particular that

(2) $$E_{s}(x):=\prod_{i=1}^{d}\left(\prod_{j=0}^{\lambda_{i}-1}(x-s_{i}^{q^{j}})\right)^{n_{i}}$$

is the characteristic polynomial of $s$.

For each $i\in\{1,\cdots,d\}$ let $K^{(\lambda_{i})}$ be the unramified extension of $K$ of degree $\lambda_{i}$ inside $K^{\mathrm{ur}}$, whose residue field $\mathbb{F}_{q^{\lambda_{i}}}$ is generated by $s_{i}$. For each $i$ we pick (and fix) a representative $\hat{s}_{i}$ of $s_{i}$ in $\mathcal{O}^{(\lambda_{i})}$ (the ring of integers in $K^{(\lambda_{i})}$). So

$$\begin{split}\hat{s}=\mathrm{diag}&(\underbrace{(\hat{s}_{1},F(\hat{s}_{1}),\cdots,F^{\lambda_{1}-1}(\hat{s}_{1})),\cdots,(\hat{s}_{1},F(\hat{s}_{1}),\cdots,F^{\lambda_{1}-1}(\hat{s}_{1}))}_{n_{1}\ \textrm{times}},\\ &\cdots\cdots,\underbrace{(\hat{s}_{d},F(\hat{s}_{d}),\cdots,F^{\lambda_{d}-1}(\hat{s}_{d})),\cdots,(\hat{s}_{d},F(\hat{s}_{d}),\cdots,F^{\lambda_{d}-1}(\hat{s}_{d}))}_{n_{d}\ \textrm{times}}),\end{split}$$

is a lift of a conjugate of $s$ in $M_{n}(\mathcal{O}^{\mathrm{ur}})$.

Lemma 2.1.

Each diagonal block matrix $\mathrm{diag}(\hat{s}_{i},F(\hat{s}_{i}),\cdots,F^{\lambda_{i}-1}(\hat{s}_{i}))$ in above can be conjugated by a matrix in ${\mathrm{GL}}_{\lambda_{i}}(\mathcal{O}^{\mathrm{ur}})$ to a (regular and semisimple) matrix $A_{i}\in M_{\lambda_{i}}(\mathcal{O})$; the ring of matrices commuting with $A_{i}$ in $M_{\lambda_{i}}(\mathcal{O})$ is isomorphic to $\mathcal{O}^{(\lambda_{i})}$.

Proof.

Let $c\in\mathrm{GL}_{\lambda_{i}}(\mathcal{O})$ be the permutation matrix such that

$$c\cdot F(\mathrm{diag}(\hat{s}_{i},F(\hat{s}_{i}),\cdots,F^{\lambda_{i}-1}(\hat{s}_{i})))\cdot c^{-1}=\mathrm{diag}(\hat{s}_{i},F(\hat{s}_{i}),\cdots,F^{\lambda_{i}-1}(\hat{s}_{i})).$$

For every $m\in\mathbb{Z}_{>0}$, by the Greenberg functor we can view $\mathrm{GL}_{\lambda_{i}}(\mathcal{O}^{\mathrm{ur}}_{m})$ as a connected algebraic group $\Gamma_{m}$ over $\overline{\mathbb{F}}_{q}$. Let $L_{m}\colon x\mapsto x^{-1}F(x)$ be the Lang isogeny on $\Gamma_{m}$.

Now fix an $m$. Then by the Lang–Steinberg theorem we can find $g_{m}\in\Gamma_{m}$ with $L_{m}(g_{m})=c$. As $c$ is a permutation matrix, we can naturally lift it to $\Gamma_{m+1}$. Then again by the Lang–Steinberg theorem we can pick $g^{\prime}_{m+1}\in\Gamma_{m+1}$ with $L_{m+1}(g^{\prime}_{m+1})=c$. Since

$$L_{m}(\rho_{m+1,m}(g^{\prime}_{m+1}))=\rho_{m+1,m}(L_{m+1}(g^{\prime}_{m+1}))=c=L_{m}(g_{m}),$$

we have $g_{m}=h_{m}\cdot\rho_{m+1,m}(g^{\prime}_{m+1})$ for some $h_{m}\in\Gamma_{m}^{F}$. Let $h_{m+1}\in\Gamma_{m+1}^{F}$ be such that $\rho_{m+1,m}(h_{m+1})=h_{m}$ and put $g_{m+1}:=h_{m+1}\cdot g^{\prime}_{m+1}$. Note that we have $\rho_{m+1,m}(g_{m+1})=g_{m}$ and $L_{m+1}(g_{m+1})=c$.

Repeating the above process inductively from $m=1$ we get a sequence $(g_{m})_{m}$ satisfying that $L_{m}(g_{m})=c$ and $\rho_{m,m^{\prime}}(g_{m})=g_{m^{\prime}}$ for all $m\geq m^{\prime}\geq 1$.

Now, since

$$\mathrm{GL}_{\lambda_{i}}(\mathcal{O}^{\mathrm{ur}})=\varprojlim_{m}\Gamma_{m},$$

the sequence $(g_{m})_{m}$ gives an element $g\in\mathrm{GL}_{\lambda_{i}}(\mathcal{O}^{\mathrm{ur}})$ with $g^{-1}F(g)=c$. So the matrix

$$A_{i}:=g\cdot\mathrm{diag}(\hat{s}_{i},F(\hat{s}_{i}),\cdots,F^{\lambda_{i}-1}(\hat{s}_{i}))\cdot g^{-1}$$

is $F$-stable, and hence lies in $M_{{\lambda_{i}}}(\mathcal{O})$. Now, if $B\in M_{{\lambda_{i}}}(\mathcal{O})$ satisfies that $A_{i}B=BA_{i}$, then, since the elements $F^{j}(\hat{s}_{i})$ are pairwise distinct, the matrix $g^{-1}Bg\in M_{\lambda_{i}}(\mathcal{O}^{\mathrm{ur}})$ must be a diagonal matrix. Moreover, as $B$ is $F$-stable we have

$$F(g^{-1}Bg)=F(g^{-1})gg^{-1}Bgg^{-1}F(g)=c^{-1}g^{-1}Bgc.$$

This implies that $g^{-1}Bg$ is of the form

$$\mathrm{diag}(t_{i},F(t_{i}),\cdots,F^{\lambda_{i}-1}(t_{i}))$$

for some $F^{\lambda_{i}}(t_{i})=t_{i}$ (i.e., $t_{i}\in\mathcal{O}^{(\lambda_{i})}$), which gives the second assertion. ∎

By Lemma 2.1, $\hat{s}$ can be conjugated (by a matrix in $\mathrm{GL}_{n}(\mathcal{O}^{\mathrm{ur}})$) to

$$A_{s}:=\mathrm{diag}((\underbrace{A_{1},\cdots,A_{1}}_{n_{1}\ \text{times}}),\cdots,(\underbrace{A_{d},\cdots,A_{d}}_{n_{d}\ \textrm{times}}))\in M_{n}(\mathcal{O}),$$

and the second assertion of Lemma 2.1 gives an isomorphism of rings

(3) $$C_{M_{n}(\mathcal{O})}(A_{s})\cong\prod_{i=1}^{d}M_{n_{i}}(\mathcal{O}^{(\lambda_{i})});$$

similarly we have

(4) $$C_{M_{n}(\mathcal{O}_{m})}(\rho_{m}(A_{s}))\cong\prod_{i=1}^{d}M_{n_{i}}(\mathcal{O}^{(\lambda_{i})}/\pi^{m})$$

for all $m\in\mathbb{Z}_{>0}$. In the case $m=r$ let

(5) $$\mathcal{L}_{s}:=C_{M_{n}(\mathcal{O}_{r})}(\rho_{r}(A_{s})).$$

By (4), if we put

(6) $$L_{s}:=C_{\mathrm{GL}_{n}(\mathcal{O}^{\mathrm{ur}}_{r})}(\rho_{r}(A_{s}))\ \left(\cong\prod_{i=1}^{d}(\mathrm{GL}_{n_{i}}(\mathcal{O}^{\mathrm{ur}}_{r}))^{\lambda_{i}}\right),$$

then

(7) $$L_{s}^{F}=C_{\mathrm{GL}_{n}(\mathcal{O}_{r})}(\rho_{r}(A_{s}))\cong\prod_{i=1}^{d}\mathrm{GL}_{n_{i}}(\mathcal{O}^{(\lambda_{i})}/\pi^{r}).$$

From the argument of Lemma 2.1, the isomorphisms (3),(4),(6),(7) are obtained via taking conjugations, and hence commute with taking reduction maps.

Now the point is, the semisimple element $s$ not only brings us a subgroup $L_{s}^{F}\subseteq\mathrm{GL}_{n}(\mathcal{O}_{r})$, but also brings a specific $1$-dimensional representation of $L_{s}^{F}$: First, let $a$ denote the identification of additive groups

$$a\colon\pi^{l}\mathcal{O}^{\mathrm{ur}}_{r}\cong\mathcal{O}^{\mathrm{ur}}_{l^{\prime}};\quad\pi^{l}x\longmapsto\rho_{l^{\prime}}(x).$$

When there is no confusion, we also denote by $a$ the identification of matrix groups

(8) $$a\colon G_{r}^{l}\cong M_{n}(\mathcal{O}^{\mathrm{ur}}_{l^{\prime}});\quad I_{n}+\pi^{l}g\longmapsto\rho_{l^{\prime}}(g).$$

Then we get a representation

$$\phi^{\prime}_{s_{i}}(x):=\psi\left(\sum_{j=0}^{\lambda_{i}-1}F^{j}(\rho_{l^{\prime}}(\hat{s}_{i})a(x))\right)$$

of $\pi^{l}\mathcal{O}^{(\lambda_{i})}/\pi^{r}$; since $\pi^{l}\mathcal{O}^{(\lambda_{i})}/\pi^{r}$ can be viewed as a subgroup of $(\mathcal{O}^{(\lambda_{i})}/\pi^{r})^{\times}$ (by formally taking $\pi^{l}x$ to $1+\pi^{l}x$), we can consider the induced representation $\mathrm{Ind}_{\pi^{l}\mathcal{O}^{(\lambda_{i})}/\pi^{r}}^{(\mathcal{O}^{(\lambda_{i})}/\pi^{r})^{\times}}\phi^{\prime}_{s_{i}}$. For each $s_{i}$ we fix an (arbitrary) irreducible constituent $\phi^{\prime\prime}_{s_{i}}$ of $\mathrm{Ind}_{\pi^{l}\mathcal{O}^{(\lambda_{i})}/\pi^{r}}^{(\mathcal{O}^{(\lambda_{i})}/\pi^{r})^{\times}}\phi^{\prime}_{s_{i}}$. This in turn gives a $1$-dimensional representation

$$\phi_{s}(-):=\prod_{i=1}^{d}\phi^{\prime\prime}_{s_{i}}\left(\det(-)_{i}\right)$$

of $L_{s}^{F}$, in which the symbol $\det(-)_{i}$ means taking the determinant of $\mathrm{GL}_{n_{i}}(\mathcal{O}^{(\lambda_{i})}/\pi^{r})$.

Since $\mathrm{Tr}(-,-)$ is a non-degenerate bilinear form on $M_{n}(\mathcal{O}_{l^{\prime}})$, the irreducible representations of $(G_{r}^{l})^{F}$ are of the form (see e.g. [CS17, Remark 3.6])

(9) $$\psi_{\beta}(-):=\psi(\mathrm{Tr}(\beta\cdot a(-))),$$

where $\beta\in M_{n}(\mathcal{O}_{l^{\prime}})$ and $a(-)$ is defined by (8). Similarly, for $B\in M_{n}(\mathbb{F}_{q})$ we put

$$\psi_{B}(-)=\psi_{\hat{B}}|_{(G_{r}^{r-1})^{F}}(-),$$

where $\hat{B}$ is a lift of $B$ to $M_{n}(\mathcal{O}_{l^{\prime}})$ (by construction $\psi_{B}$ is independent of the choice of such a lift). Now Clifford theory tells that, for every $\sigma\in\mathrm{Irr}(G_{r}^{F})$, the restriction $\sigma|_{(G_{r}^{r-1})^{F}}$ is the sum of characters $\psi_{B}$ with $B$ running over a $\mathrm{GL}_{n}(\mathbb{F}_{q})$-conjugacy class $\Omega(\sigma)\subseteq M_{n}(\mathbb{F}_{q})$.

Definition 2.2.

Given $\sigma\in\mathrm{Irr}(G_{r}^{F})$, we call $\Omega(\sigma)$ the orbit of $\sigma$. Moreover, $\sigma$ is said to be a regular (resp. nilpotent, semisimple) orbit representation, if $\Omega(\sigma)$ contains a regular (resp. nilpotent, semisimple) element.

We can and shall extend the construction of representation orbits to $\mathrm{Irr}(L_{s}^{F})$, and when there is no confusion we use the same notation $\Omega(-)$.

Lemma 2.3.

We have $\Omega(\phi_{s})=\{\rho_{1}(A_{s})\}$.

Proof.

Let $g\in(L_{s}^{r-1})^{F}$; by conjugating it to be a $d\times d$ blocked matrix according to (7), we can write it as $\mathrm{diag}(g_{1},\cdots,g_{d})$ where $g_{i}\in I_{n_{i}}+\pi^{r-1}M_{n_{i}}(\mathcal{O}^{(\lambda_{i})}/\pi^{r})$. Let $t_{i}\in M_{n_{i}}(\mathcal{O}^{(\lambda_{i})}/\pi^{r})$ be such that $g_{i}-I_{n_{i}}=\pi^{r-1}t_{i}$ ($i=1,\cdots,d$). We have (by definition of determinant and by $\pi^{r-1}\cdot\pi^{r-1}=0$)

$$\det(g)_{i}=\det(g_{i})=1+\pi^{r-1}\mathrm{Tr}(t_{i}).$$

So

(10) $$\begin{split}\phi_{s}(g)&=\prod_{i=1}^{d}\psi\left(\sum_{j=0}^{\lambda_{i}-1}F^{j}\left(\rho_{l^{\prime}}(\hat{s}_{i})\cdot a(\pi^{r-1}\mathrm{Tr}(t_{i}))\right)\right)\\ &=\psi\left(\sum_{i=1}^{d}\sum_{j=0}^{\lambda_{i}-1}F^{j}\left(\rho_{l^{\prime}}(\hat{s}_{i})\cdot a(\pi^{r-1}\mathrm{Tr}(t_{i}))\right)\right)\\ &=\psi\left(\sum_{i=1}^{d}\sum_{j=0}^{\lambda_{i}-1}F^{j}(\mathrm{Tr}\left(\rho_{l^{\prime}}(\hat{s}_{i})I_{n_{i}}\cdot a(g_{i})\right))\right).\end{split}$$

For $m\in\mathbb{Z}_{>0}$, let $a^{\prime}$ denote the identification $I_{m}+M_{m}(\pi^{r-1}\mathcal{O}^{\mathrm{ur}}_{r})\cong M_{m}(\overline{\mathbb{F}}_{q})$ (from a multiplicative group to an additive group). Then

(11) $$\eqref{temp: s.s. orbit of 1-dim char}=\psi\left(\pi^{l^{\prime}-1}\sum_{i=1}^{d}\mathrm{Tr}_{\mathbb{F}_{q^{\lambda_{i}}}/\mathbb{F}_{q}}(\mathrm{Tr}\left(s_{i}I_{n_{i}}\cdot a^{\prime}(g_{i})\right))\right).$$

So, conjugating $\mathrm{diag}(g_{1},...,g_{d})$ back to $g\in(L_{s}^{r-1})^{F}\subseteq(G_{r}^{r-1})^{F}$, (11) becomes $\psi_{t}(g)$ for some $t\in M_{n}(\mathbb{F}_{q})$ that can be conjugated to $\mathrm{diag}(s_{1}I_{n_{1}},...,s_{1}^{q^{\lambda_{1}-1}}I_{n_{1}},...,s_{d}^{q^{\lambda_{d}-1}}I_{n_{d}})$; the latter matrix is by definition conjugated to $\rho_{1}(A_{s})$, a central element in $L_{s}^{F}$, and so the assertion follows. ∎

More generally:

Lemma 2.4.

Let $\nu$ be a nilpotent orbit representation of $L_{s}^{F}$. Then $\Omega({\phi_{s}\otimes\nu})=\rho_{1}(A_{s})+\Omega(\nu)$; in particular, the semisimple parts of the elements in $\Omega({\phi_{s}\otimes\nu})$ are always $\rho_{1}(A_{s})$.

Proof.

This follows from Lemma 2.3. ∎

For $\nu$ a nilpotent orbit representation of $L_{s}^{F}$, let $\widetilde{\phi_{s}\otimes\nu}$ be the inflation along the projection $(L_{s}G_{r}^{l})^{F}\rightarrow L_{s}^{F}$ with respect to the Iwahori decomposition (see e.g. [Sta09b, Lemma 2.2]).

Lemma 2.5.

The stabiliser of $\widetilde{\phi_{s}\otimes\nu}|_{(G_{r}^{l})^{F}}$ in $G_{r}^{F}$ is $(L_{s}G_{r}^{l^{\prime}})^{F}$.

Proof.

Since $\widetilde{\phi_{s}\otimes\nu}$ is defined on $(L_{s}G_{r}^{l})^{F}$, and since $(G_{r}^{l^{\prime}})^{F}$ commutes with $(G_{r}^{l})^{F}$, we have

$$(L_{s}G_{r}^{l^{\prime}})^{F}=(L_{s}G_{r}^{l})^{F}(G_{r}^{l^{\prime}})^{F}\subseteq\mathrm{Stab}_{G_{r}^{F}}\left(\widetilde{\phi_{s}\otimes\nu}|_{(G_{r}^{l})^{F}}\right).$$

So it suffices to show that

(12) $$\rho_{l^{\prime}}\left(\mathrm{Stab}_{G_{r}^{F}}\left(\widetilde{\phi_{s}\otimes\nu}|_{(G_{r}^{l})^{F}}\right)\right)\subseteq\rho_{l^{\prime}}(L_{s}).$$

Recall that every irreducible representation of $(G_{r}^{l})^{F}$ is of the form (see (9))

$$\psi_{\beta}(x):=\psi\left(\mathrm{Tr}(\beta\cdot a(x))\right)$$

for some $\beta\in M_{n}(\mathcal{O}_{l^{\prime}})$. We shall try to understand $\widetilde{\phi_{s}\otimes\nu}|_{(G_{r}^{l})^{F}}$ through this viewpoint.

Since $\phi_{s}\otimes\nu$ is an irreducible representation of $L_{s}^{F}$, by Clifford theory and similar arguments of Lemma 2.3 and Lemma 2.4 we can write

(13) $$\widetilde{\phi_{s}\otimes\nu}|_{(G_{r}^{l})^{F}}=\lambda\cdot\sum_{x\in L_{s}^{F}}\psi_{{{}^{x}\beta(s,\nu)}};$$

here $\lambda\in\mathbb{Z}_{>0}$ and

(14) $$\beta(s,\nu):=\rho_{l^{\prime}}(A_{s})+y_{\nu}$$

where $y_{\nu}\in\rho_{l^{\prime}}(\mathcal{L}_{s}^{F})$ is a lift of some element in $\Omega(\nu)\subseteq\rho_{1}(\mathcal{L}_{s}^{F})$ (here $\mathcal{L}_{s}$ is defined in (5)). Thus to prove (12) it is equivalent to prove: If $g\in G_{l^{\prime}}^{F}$ normalises the set $\{{{}^{x}\beta(s,\nu)}\mid x\in\rho_{l^{\prime}}(L_{s})^{F}\}$, namely

$$g\cdot\{{{}^{x}\beta(s,\nu)}\mid x\in\rho_{l^{\prime}}(L_{s}^{F})\}\cdot g^{-1}\subseteq\{{{}^{x}\beta(s,\nu)}\mid x\in\rho_{l^{\prime}}(L_{s}^{F})\},$$

then

(15) $$g\in\rho_{l^{\prime}}(L_{s}).$$

Note that (15) is equivalent to

(16) $$\rho_{l^{\prime},m}(g)\in\rho_{m}(L_{s})\quad\forall m\in\{1,2,\cdots,l^{\prime}\}.$$

In the below we prove (16) by an induction on $m$.

First, by construction we have

$${{}^{g}(\rho_{l^{\prime}}(A_{s}))}+{{}^{g}y_{\nu}}={{}^{x}(\rho_{l^{\prime}}(A_{s}))}+{{}^{x}y_{\nu}}=\rho_{l^{\prime}}(A_{s})+{{}^{x}y_{\nu}}$$

for some $x\in\rho_{l^{\prime}}(L_{s}^{F})$. So the uniqueness of Jordan decomposition (in $M_{n}(\mathbb{F}_{q})$) implies that

$${{}^{\rho_{l^{\prime},1}(g)}(\rho_{1}(A_{s}))}=\rho_{1}(A_{s}).$$

Thus $\rho_{l^{\prime},1}(g)\in\rho_{1}(L_{s})$; that is, (16) holds for $m=1$.

Now assume that (16) holds for some $m\in\{1,2,\cdots,l^{\prime}-1\}$. We shall show that (16) holds for $m+1$.

Let $g^{\prime}\in\rho_{m+1}(L_{s})$ be a lift of $\rho_{l^{\prime},m}(g)\in\rho_{m}(L_{s})$; by construction we have

$$g^{\prime-1}\rho_{l^{\prime},m+1}(g)=I+\pi^{m}g^{\prime\prime}$$

for some $g^{\prime\prime}\in M_{n}(\mathcal{O}_{m+1})$. It remains to show that

(17) $$\rho_{m+1,1}(g^{\prime\prime})\in\rho_{1}(\mathcal{L}_{s})$$

(as this would imply $\rho_{l^{\prime},m+1}(g)=g^{\prime}(I+\pi^{m}g^{\prime\prime})\in\rho_{m+1}(L_{s})$).

As both $g^{\prime}$ and $\rho_{l^{\prime},m+1}(g)$ normalise $\rho_{l^{\prime},m+1}(\{{{}^{x}\beta(s,\nu)}\mid x\in\rho_{l^{\prime}}(L_{s}^{F})\})$, so does $I+\pi^{m}g^{\prime\prime}$. Therefore

$${{}^{I+\pi^{m}g^{\prime\prime}}\rho_{l^{\prime},m+1}(\beta(s,\nu))}={{}^{x}\rho_{l^{\prime},m+1}(\beta(s,\nu))}$$

for some $x\in\rho_{m+1}(L_{s}^{F})$; that is, we have

$$\rho_{l^{\prime},m+1}(\beta(s,\nu))+\pi^{m}(g^{\prime\prime}\cdot\rho_{l^{\prime},m+1}(\beta(s,\nu))-\rho_{l^{\prime},m+1}(\beta(s,\nu))\cdot g^{\prime\prime})={{}^{x}(\rho_{l^{\prime},m+1}(\beta(s,\nu)))}$$

for some $x\in\rho_{m+1}(L_{s}^{F})$. This implies that

$$\pi^{m}(g^{\prime\prime}\cdot\rho_{l^{\prime},m+1}(\beta(s,\nu))-\rho_{l^{\prime},m+1}(\beta(s,\nu))\cdot g^{\prime\prime})\in\rho_{m+1}(\mathcal{L}_{s}),$$

or equivalently,

(18) $$\rho_{m+1,1}(g^{\prime\prime})\cdot\rho_{l^{\prime},1}(\beta(s,\nu))-\rho_{l^{\prime},1}(\beta(s,\nu))\cdot\rho_{m+1,1}(g^{\prime\prime})\in\rho_{1}(\mathcal{L}_{s}).$$

Note that the left side of (18) can be written as $\mathrm{ad}_{\rho_{m+1,1}(g^{\prime\prime})}(\rho_{l^{\prime},1}(\beta(s,\nu)))$ (adjoint action in Lie algebra). To continue we simplify the notation a bit: Let $A:=\rho_{1}(A_{s})$, $N:=\rho_{l^{\prime},1}(y_{\nu})$, $g^{\prime\prime\prime}:=\rho_{m+1,1}(g^{\prime\prime})$, $\mathcal{G}:=M_{n}(\overline{\mathbb{F}}_{q})$, and $\mathcal{L}:=\rho_{1}(\mathcal{L}_{s})$. Then (18) becomes

(19) $$\mathrm{ad}_{g^{\prime\prime\prime}}(A+N)\in\mathcal{L},$$

and our target (17) becomes to showing that

(20) $$g^{\prime\prime\prime}\in\mathcal{L}.$$

Since $A$ is semisimple, the linear transformation $\mathrm{ad}_{A}$ is diagonalisable (over $\overline{\mathbb{F}}_{q}$). So we can consider the eigenspace decomposition

$$\mathcal{G}=\mathcal{L}\oplus\left(\bigoplus_{\lambda\in\overline{\mathbb{F}}_{q}^{\times}}\mathcal{G}_{\lambda}\right)$$

with respect to $\mathrm{ad}_{A}$. Let $g^{\prime\prime\prime}=g_{L}+\sum_{\lambda\neq 0}g_{\lambda}$ be the corresponding decomposition. Then (19) implies that

$$\sum_{\lambda\neq 0}\left(\mathrm{ad}_{g_{\lambda}}(A)+\mathrm{ad}_{g_{\lambda}}(N)\right)\in\mathcal{L},$$

or equivalently

(21) $$\sum_{\lambda\neq 0}\left(-\lambda g_{\lambda}-\mathrm{ad}_{N}(g_{\lambda})\right)\in\mathcal{L}.$$

Consider the Jacobi identity

$$[A,[N,g_{\lambda}]]+[g_{\lambda},[A,N]]+[N,[g_{\lambda},A]]=0;$$

since $N$ commutes with $A$, this implies that

$$\mathrm{ad}_{A}(\mathrm{ad}_{N}(g_{\lambda}))=\lambda\mathrm{ad}_{N}(g_{\lambda}),$$

which means that $\mathrm{ad}_{N}(g_{\lambda})\in\mathcal{G}_{\lambda}$. So by (21) we see

(22) $$\lambda g_{\lambda}+\mathrm{ad}_{N}(g_{\lambda})=0$$

for every non-zero eigenvalue $\lambda$.

If some $g_{\lambda}$ is non-zero, then (22) tells that $g_{\lambda}$ is an eigenvector of $\mathrm{ad}_{N}$ with the eigenvalue $-\lambda$, but this is impossible because all the eigenvalues of $\mathrm{ad}_{N}$ are zero (see e.g. [Hum78, 3.2 Lemma]). Therefore all those $g_{\lambda}$ are zero. Hence

$$g^{\prime\prime\prime}=g_{L}\in\mathcal{L},$$

as desired in (20). ∎

Definition 2.6.

Let the notation be as above, and suppose that $r$ is even. For a semisimple element $s\in M_{n}(\mathbb{F}_{q})$ and a nilpotent orbit representation $\nu$ of $L_{s}^{F}$, we put

$$J_{r}(s,\nu)=\mathrm{Ind}_{(L_{s}G_{r}^{l})^{F}}^{\mathrm{GL}_{n}(\mathcal{O}_{r})}\widetilde{\phi_{s}\otimes\nu}.$$

We call $J_{r}(-,-)$ the level $r$ Jordan induction.

Theorem 2.7.

Let the notation be as above, and suppose that $r$ is even. Then:

1. (Irreducibility) The representations $J_{r}(s,\nu)$ are always irreducible.

2. (Uniqueness) The map $J_{r}(s,-)$ is an injection for every semisimple $s\in M_{n}(\mathbb{F}_{q})$; moreover,

   $$\mathrm{Im}(J_{r}(s,-))\cap\mathrm{Im}(J_{r}(s^{\prime},-))=\emptyset$$

   if $s,s^{\prime}\in M_{n}(\mathbb{F}_{q})$ are not $\mathrm{GL}_{n}(\mathbb{F}_{q})$-conjugated.

3. (Exhaustion) One has

   $$\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))=\mathrm{Im}(J_{r}(-,-)).$$

4. (Dimension) For a given $s$, the ratio $\frac{\dim J_{r}(s,\nu)}{\dim\nu}$ is a constant independent of $\nu$.

Proof.

(A) This follows from Clifford theory (see e.g. [Isa06, (6.11) Theorem (a)]) and Lemma 2.5.

(B) If $s$ and $s^{\prime}$ are not $\mathrm{GL}_{n}(\mathbb{F}_{q})$-conjugated, then the semisimple parts of elements in the corresponding orbits of $J_{r}(s,-)$ and of $J_{r}(s^{\prime},-)$ are not $\mathrm{GL}_{n}(\mathbb{F}_{q})$-conjugated (by Lemma 2.4), and hence the first assertion follows.

Now we turn to the second assertion on the injectivity. If $J_{r}(s,\nu_{1})\cong J_{r}(s,\nu_{2})$, then by Clifford theory [Isa06, (6.2) Theorem] we have ${{}^{g}\beta(s,\nu_{1})}={\beta(s,\nu_{2})}$ for some $g\in G_{l}^{F}$, where $\beta(s,\nu_{i})$ is defined as in (14). Note that the same inductive argument in the proof of Lemma 2.5 gives that $g\in L_{s}^{F}$, which implies that (via (13))

$$\widetilde{\phi_{s}\otimes\nu_{1}}|_{(G_{r}^{l})^{F}}\cong\widetilde{\phi_{s}\otimes\nu_{2}}|_{(G_{r}^{l})^{F}}.$$

So both $\widetilde{\phi_{s}\otimes\nu_{1}}$ and $\widetilde{\phi_{s}\otimes\nu_{2}}$ are extensions of $\widetilde{\phi_{s}\otimes\nu_{1}}|_{(G_{r}^{l})^{F}}$. Thus by Clifford theory [Isa06, (6.11) Theorem (b)] the isomorphism $J_{r}(s,\nu_{1})\cong J_{r}(s,\nu_{2})$ tells that $\widetilde{\phi_{s}\otimes\nu_{1}}\cong\widetilde{\phi_{s}\otimes\nu_{2}}$, which implies $\nu_{1}\cong\nu_{2}$.

(C) This is a direct consequence of (A), (B), and [Hil93, Theorem 2.13].

(D) This is immediate from the construction of $J_{r}(s,\nu)$. ∎

Now consider the graded $\mathbb{Z}$-module

$$A(\mathcal{O}_{r}):=\bigoplus_{n\geq 0}\mathbb{Z}\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r})),$$

where for $n=0$ we let $\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))=\{1\}$. One can define on $A(\mathcal{O}_{r})$ a unital commutative algebra structure: For $J_{r}(s_{1},\nu_{1})\in\mathrm{Irr}(\mathrm{GL}_{n_{1}}(\mathcal{O}_{r}))$ and $J_{r}(s_{2},\nu_{2})\in\mathrm{Irr}(\mathrm{GL}_{n_{2}}(\mathcal{O}_{r}))$, put

(23) $$m(J_{r}(s_{1},\nu_{1}),J_{r}(s_{2},\nu_{2})):=\mathrm{Ind}_{L_{(s_{1},s_{2})}^{F}{\mathrm{GL}_{n_{1}+n_{2}}(\mathcal{O}_{r})}^{l}}^{\mathrm{GL}_{n_{1}+n_{2}}(\mathcal{O}_{r})}\widetilde{\boxtimes_{i}\phi_{s_{i}}\otimes\nu_{i}}=J_{r}((s_{1},s_{2}),\nu_{1}\boxtimes\nu_{2})$$

if the characteristic polynomials of $s_{1}$ and of $s_{2}$ are coprime, where $L_{(s_{1},s_{2})}$ denotes the centraliser of $\rho_{r}(\mathrm{diag}(A_{s_{1}},A_{s_{2}}))\in\mathrm{GL}_{n_{1}+n_{2}}(\mathcal{O}^{\mathrm{ur}}_{r})$ (note that $L_{(s_{1},s_{2})}\cong L_{s_{1}}\times L_{s_{2}}$ and $L_{(s_{1},s_{2})}^{F}\cong L_{s_{1}}^{F}\times L_{s_{2}}^{F}$ by the coprimality between the characteristic polynomials); otherwise let

$$m(J_{r}(s_{1},\nu_{1}),J_{r}(s_{2},\nu_{2}))=0.$$

Extending $m(-,-)$ linearly and setting $m(1,a)=m(a,1)=a$ for every $a\in A(\mathcal{O}_{r})$, we get on $A(\mathcal{O}_{r})$ the desired (associative and commutative) algebra structure.

Definition 2.8.

Call $J_{r}(s,\nu)\in\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))$ cuboidal, if the characteristic polynomial $E_{s}(x)$ of $s$ is a power of an irreducible polynomial over $\mathbb{F}_{q}$. Denote by $\square_{n}$ the set of (equivalence classes of) cuboidal representations of $\mathrm{GL}_{n}(\mathcal{O}_{r})$.

Example 2.9.

In this example let $n$ be a prime. Then the set $\square_{n}$ can be partitioned into two subclasses:

$$\square_{n}=\left\{J_{r}(s,\nu)\mid E_{s}(x)\ \textrm{is irreducible}\right\}\bigsqcup\left\{J_{r}(s,\nu)\mid\exists a\in\mathbb{F}_{q}\ \textrm{s.t.}\ E_{s}(x)=(x-a)^{n}\right\}.$$

The elements in the first set are called strongly cuspidal in literature and have been studied in [AOPS10], and the elements in the second set are linear twists of nilpotent orbit representations.

Lemma 2.10.

One has $J_{r}(s,\nu)^{*}=J_{r}(-s,(\phi_{s}\phi_{-s})^{-1}\otimes\nu^{*})$, where $(-)^{*}$ means taking the dual.

Proof.

This follows from the construction of $J_{r}(s,\nu)$. ∎

The construction of $\phi_{s}$ depends on the choices of the group morphism $\psi$, the lifts $\hat{s}_{i}$, and the irreducible constituents $\phi^{\prime\prime}_{s_{i}}$. For $p\neq 2$ we can normalise the process so that one has

(24) $$\phi_{-s}=\phi_{s}^{-1}$$

for every semisimple $s\in M_{n}(\mathbb{F}_{q})$; however, this is not always doable for $p=2$, as can be seen in the case $\mathcal{O}_{r}=\mathbb{Z}/4$: If $\psi$ is non-trivial on the reduction map kernel $2\mathbb{Z}/4$, then it must be of order $4$. In any case, if $p\neq 2$ in Lemma 2.10 we would have $J_{r}(s,\nu)^{*}=J_{r}(-s,\nu^{*})$ once such a normalisation (24) is taken.

Proposition 2.11.

The algebra $A(\mathcal{O}_{r})$ is generated by $\cup_{n\geq 1}\square_{n}$ over $\mathbb{Z}$, and it is involutive with respect to the involution of taking dual $(-)^{*}$.

Proof.

The first assertion follows from Theorem 2.7(C) and the definition of $m$, and the second assertion follows from Lemma 2.10. ∎

The above proposition suggests that the cuboidal representations form the building blocks of the representation theory of $\mathrm{GL}_{n}(\mathcal{O}_{r})$, similar to the role played by the cuspidal representations for $\mathrm{GL}_{n}(\mathbb{F}_{q})$; see also Proposition 4.5 for its use in Lusztig inductions.

Besides $m$, there is also the “co-” version

$$m^{*}\colon A(\mathcal{O}_{r})\longrightarrow A(\mathcal{O}_{r})\otimes A(\mathcal{O}_{r})=\bigoplus_{n\geq 0}\bigoplus_{\begin{subarray}{c}a,b\geq 0;\\ a+b=n\end{subarray}}\mathbb{Z}\mathrm{Irr}(\mathrm{GL}_{a}(\mathcal{O}_{r})\times\mathrm{GL}_{b}(\mathcal{O}_{r}))$$

obtained by linearly extending

$$m^{*}\colon J_{r}(s,\nu)\longmapsto\sum_{E_{s_{1}},E_{s_{2}}}J_{r}(s_{1},\nu_{1})\otimes J_{r}(s_{2},\nu_{2})$$

in which the sum in the RHS runs over all the coprime factorisations $E_{s}(x)=E_{s_{1}}(x)E_{s_{2}}(x)$ over $\mathbb{F}_{q}$ (i.e. $E_{s_{1}}(x)$ and $E_{s_{2}}(x)$ are coprime polynomials in $\mathbb{F}_{q}[x]$); here we regard $E_{s_{1}}(x)E_{s_{2}}(x)$ and $E_{s_{2}}(x)E_{s_{1}}(x)$ as two different factorisations, and we require $m^{*}(1)=1\otimes 1$. Note that each such factorisation gives rise, up to conjugation, a unique pair of pairs $((s_{1},\nu_{1}),(s_{2},\nu_{2}))$, and hence $m^{*}$ is co-associative and co-commutative.

Let $\langle-,-\rangle_{A(\mathcal{O}_{r})}$ (resp. $\langle-,-\rangle_{A(\mathcal{O}_{r})\otimes A(\mathcal{O}_{r})}$) be the $\mathbb{Z}$-valued bilinear form on $A(\mathcal{O}_{r})$ (resp. $A(\mathcal{O}_{r})\bigotimes A(\mathcal{O}_{r})$) determined by the property that the $\mathbb{Z}$-basis $\bigsqcup_{n\geq 0}\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))$ (resp. $\bigsqcup_{a,b\in\mathbb{Z}_{\geq 0}}\mathrm{Irr}(\mathrm{GL}_{a}(\mathcal{O}_{r}))\times\mathrm{Irr}(\mathrm{GL}_{b}(\mathcal{O}_{r}))$) is orthonormal.

Proposition 2.12.

The pair $(m,m^{*})$ is adjoint in the sense that

$$\langle m(\rho_{1},\rho_{2}),\rho\rangle_{A(\mathcal{O}_{r})}=\langle\rho_{1}\otimes\rho_{2},m^{*}(\rho)\rangle_{A(\mathcal{O}_{r})\otimes A(\mathcal{O}_{r})}$$

for all $\rho_{1},\rho_{2},\rho\in A(\mathcal{O}_{r})$. Moreover, an irreducible representation of $\mathrm{GL}_{n}(\mathcal{O}_{r})$ is cuboidal if and only if $m^{*}(\rho)=\rho\otimes 1+1\otimes\rho$.

Proof.

By linearity one can assume that $\rho_{1},\rho_{2},\rho$ are irreducible representations. Then both of the assertions follow from direct computations. ∎

In [Zel81] Zelevinsky studied a delicate Hopf algebra structure on $\bigoplus_{n\geq 0}\mathbb{Z}\mathrm{Irr}(\mathrm{GL}_{n}(\mathbb{F}_{q}))$, whose multiplication $\tilde{m}$ and co-multiplication $\tilde{m}^{*}$ are defined using the Harish-Chandra induction/restriction, in which a basic observation ([Zel81, 9.2]) is that the cuspidal representations of $\mathrm{GL}_{n}(\mathbb{F}_{q})$ are precisely the irreducible primitive elements of $\bigoplus_{n\geq 0}\mathbb{Z}[\mathrm{Irr}(\mathrm{GL}_{n}(\mathbb{F}_{q}))]$, namely the irreducible elements $\rho$ satisfying that

$$\tilde{m}^{*}(\rho)=\rho\otimes 1+1\otimes\rho,$$

a property similar to the second assertion of Proposition 2.12 for cuboidal representations. Since then, several generalisations and variations have been made; see [CMO17], [CMO24], [Che24], and the references therein.

In our setting, if $u\colon\mathbb{Z}=\mathbb{Z}\mathrm{Irr}(\mathrm{GL_{0}}(\mathcal{O}_{r}))\hookrightarrow A(\mathcal{O}_{r})$ denotes the natural embedding (the unit) and $u^{*}\colon A(\mathcal{O}_{r})\twoheadrightarrow\mathbb{Z}\mathrm{Irr}(\mathrm{GL_{0}}(\mathcal{O}_{r}))$ denotes the natural quotient (the co-unit), then one may expect the algebra/co-algebra $(A(\mathcal{O}_{r}),m,m^{*},u,u^{*})$ is a Hopf algebra. Unfortunately, this property is not true: For every $\rho\in\square_{n}$ one has

$$m^{*}(m(\rho,\rho))=0\neq 2\rho\otimes\rho=(1\otimes\rho+\rho\otimes 1)\cdot(1\otimes\rho+\rho\otimes 1)=m^{*}(\rho)\cdot m^{*}(\rho),$$

so the Hopf axiom (i.e. the property asserting that $m^{*}$ is a ring morphism) fails in general. Nevertheless, it holds for the coprime pairs:

Proposition 2.13.

Let $\rho_{i}=J_{r}(s_{i},\nu_{i})\in A(\mathcal{O}_{r})$ ($i=1,2$) be two irreducible representations such that $E_{s_{1}}$ and $E_{s_{2}}$ are coprime. Then

$$m^{*}(m(\rho_{1},\rho_{2}))=m^{*}(\rho_{1})\cdot m^{*}(\rho_{2}),$$

that is, the Hopf axiom holds for $(\rho_{1},\rho_{2})$.

Proof.

Let $E_{s}(x)=\prod_{j}p_{j}(x)$ be the primary decomposition over $\mathbb{F}_{q}$ (so the $p_{j}$’s are pairwise coprime and each of them is a power of an irreducible polynomial). Let $P_{s}$ be the set of all these $p_{j}$’s. Then by definition the components of $m^{*}(J_{r}(s,\nu))$ are in a natural bijection with the ordered $2$-partitions of $P_{s}$ (we allow the empty subset); in particular, the number of components of $m^{*}(J_{r}(s,\nu))$ is $2^{|P_{s}|}$. Since $E_{s_{1}}$ and $E_{s_{2}}$ are coprime, we have

$$2^{|P_{s_{1}}\cup P_{s_{2}}|}=2^{|P_{s_{1}}|}\cdot 2^{|P_{s_{2}}|},$$

from which the desired equality follows. ∎

3. Representations from orbits

In this section we assume that $\mathcal{O}=\mathbb{F}_{q}[[\pi]]$ and $r=2l$ is even. In the below we construct a map

$$\mathcal{J}_{r}\colon\mathfrak{gl}_{n}(\mathbb{F}_{q})\longrightarrow\mathrm{Irr}(G_{r}^{F})$$

satisfying that $\omega\in\Omega(\mathcal{J}_{r}(\omega))$ for every $\omega\in\mathfrak{gl}_{n}(\mathbb{F}_{q})$. This is a simple application of the Jordan induction.

Lemma 3.1.

Let $N$ be a nilpotent matrix in $M_{n}(\overline{\mathbb{F}}_{q})\subseteq M_{n}(\mathcal{O}^{\mathrm{ur}}_{m})$. Then $\mathrm{Tr}(NX)=0$ for any $X\in C_{M_{n}(\mathcal{O}^{\mathrm{ur}}_{m})}(N)$ and $m\in\mathbb{Z}_{>0}$.

Proof.

Write $X=\sum_{i=0}^{m-1}\pi^{i}X_{i}$ with $X_{i}\in M_{n}(\overline{\mathbb{F}}_{q})$. Then $XN=NX$ implies that $X_{i}N=NX_{i}$ for $\forall i$. So $(NX_{i})^{n}=N^{n}X_{i}^{n}=0$ for $\forall i$, which means that every $NX_{i}\in M_{n}(\overline{\mathbb{F}}_{q})$ is a nilpotent matrix. Thus

$$\mathrm{Tr}(NX)=\sum_{i=0}^{m-1}\pi^{i}\mathrm{Tr}(NX_{i})=0,$$

as desired. ∎

From now on, for $N\in M_{n}(\mathbb{F}_{q})$ we write $C(N)$ for its centraliser in $G_{r}^{F}$. Let $\psi_{N}$ be as defined in (9) (by viewing $N$ as a matrix in $M_{n}(\mathcal{O}_{l})=M_{n}(\mathbb{F}_{q}[[\pi]]/\pi^{l})$). Since $\mathrm{Tr}(-)$ is invariant under conjugation, we have $\mathrm{Stab}_{G_{r}^{F}}(\psi_{N})=C(N)(G_{r}^{l})^{F}$.

Lemma 3.2.

Let $N$ be a nilpotent matrix in $M_{n}({\mathbb{F}}_{q})$. Then the assignment

$$\tilde{\psi}_{N}\colon x\cdot g\longmapsto\psi_{N}(g)$$

for $x\in C(N)$ and $g\in(G_{r}^{l})^{F}$ is a well-defined group morphism from $\mathrm{Stab}_{G_{r}^{F}}(\psi_{N})$ to $\overline{\mathbb{Q}}_{\ell}^{\times}$, and hence is an extension of $\psi_{N}$.

Proof.

If $x\in C(N)\cap G_{r}^{l}$, then $\psi_{N}(x)=1$ by Lemma 3.1 (applied to $m=l$). So, as a map $\tilde{\psi}_{N}$ is well-defined; it is a group morphism because $C(N)$ centralises $N$. ∎

Proposition 3.3.

Let $N$ be a nilpotent matrix in $M_{n}({\mathbb{F}}_{q})$. Then

$$\nu_{N}:=\mathrm{Ind}_{C(N)(G_{r}^{l})^{F}}^{G_{r}^{F}}\tilde{\psi}_{N}$$

is an irreducible representation of $G_{r}^{F}$ with $N\in\Omega(\nu_{N})$.

Proof.

The irreducibility follows from Lemma 3.2 and Clifford theory [Isa06, (6.11) Theorem (a)]. The orbit assertion is immediate from the Mackey intertwining formula (by taking restriction to $(G_{r}^{r-1})^{F}$). ∎

Now for general $\omega\in M_{n}(\mathbb{F}_{q})$, let $\omega=s+N$ be the additive Jordan decomposition with $s$ the semisimple part and $N$ the nilpotent part. So, by (7) some $\mathrm{GL}_{n}(\mathbb{F}_{q})$-conjugate of $N$ can be written as $\mathrm{diag}(N_{1},...,N_{d})$, where each $N_{i}$ is a nilpotent matrix in $M_{n_{i}}(\mathbb{F}_{q^{\lambda_{i}}})$.

Corollary 3.4.

Let $\omega\in M_{n}(\mathbb{F}_{q})$ and let the notation be as above. Then

$$\mathcal{J}_{r}(\omega):=J_{r}(s,\boxtimes_{i}\nu_{N_{i}})$$

is an irreducible representation of $G_{r}^{F}$ with $\omega\in\Omega(\mathcal{J}_{r}(\omega))$.

Proof.

This follows from Theorem 2.7 and Proposition 3.3. ∎

Remark 3.5.

For $\mathrm{char}(\mathcal{O})=0$, Lemma 3.1 is not true in general: Take $m=2$ and consider the nilpotent matrix $N=\begin{pmatrix}1&1\\ 1&1\end{pmatrix}\in M_{2}(\mathbb{F}_{2})$; we also write $N$ for the canonical lift in $M_{2}(\mathbb{Z}/4)$. Then $NI_{2}=I_{2}N$ but $\mathrm{Tr}(N\cdot I_{2})=2\neq 0\in\mathbb{Z}/4$. However, if $r=2$, then Lemma 3.2, Proposition 3.3, and Corollary 3.4 are still true for $\mathrm{char}(\mathcal{O})=0$, because for $r=2$ one only need the $m=1$ case in Lemma 3.1.

4. Relations with cohomology

Let $T\subseteq L_{s}$ denote a conjugate of (the Greenberg functor image of) a maximal torus of ${\mathrm{GL}_{n}}_{/\mathcal{O}^{\mathrm{ur}_{r}}}$ such that $FT=T$. Choose a Borel subgroup and a parabolic subgroup of ${\mathrm{GL}_{n}}_{/\mathcal{O}^{\mathrm{ur}_{r}}}$, with Greenberg functor images denoted, respectively, by $B$ and $P_{s}$, satisfying that (i) $T\subseteq B\subseteq P_{s}$, and (ii) $L_{s}$ is the Greenberg functor image of a Levi factor of the parabolic subgroup. Let $U,U_{s}$ be the Greenberg functor images of the corresponding unipotent radicals. Note that if $\alpha$ is a root (with respect to $T$) such that $\alpha(s)\neq 1$, then for $U_{\alpha}$ (the Greenberg functor image of) the root subgroup one has $U_{\alpha}\cap L_{s}=\{1\}$ (see e.g. [CS26, Remark 3.11]).

Consider the subgroup

$$U_{s}^{\pm}:=\prod_{\alpha}U_{\alpha}^{l}$$

of $G_{r}$ where the product is taken over all roots $\alpha$ such that $\alpha(s)\neq 1$. Note that this construction works for any connected reductive group, not only $\mathrm{GL}_{n}$, and it generalises the notion of arithmetical radical $U^{\pm}$ in [CS17]. By definition $U_{s}^{\pm}$ is normalised by $L_{s}$ and $F$-stable. In particular, the variety $L^{-1}(U_{s}^{\pm})$ admits a left $G_{r}^{F}$-action and a right $L_{s}^{F}$-action, where $L\colon g\mapsto g^{-1}F(g)$ denotes the Lang map. So

$$H_{c}^{i}(L^{-1}(U_{s}^{\pm}),\overline{\mathbb{Q}}_{\ell})$$

admits a natural structure of $G_{r}^{F}$-module-$L_{s}^{F}$ (see [DM20, Definition 5.1.1]), where $H_{c}^{i}(-,\overline{\mathbb{Q}}_{\ell})$ denotes the compactly supported $\ell$-adic cohomology with $\ell$ a prime not equal to $p$. There is a natural generalisation of [CS17, Proposition 3.3]:

Proposition 4.1.

Suppose that $r$ is even. Then for any $\rho\in\mathrm{Irr}(L_{s}^{F})$ one has

$$\mathrm{Ind}_{(L_{s}G_{r}^{l})^{F}}^{\mathrm{GL}_{n}(\mathcal{O}_{r})}\widetilde{\rho}\cong\sum_{i}(-1)^{i}H_{c}^{i}(L^{-1}(U_{s}^{\pm}),\overline{\mathbb{Q}}_{\ell})\otimes_{\overline{\mathbb{Q}}_{\ell}[L_{s}^{F}]}\rho,$$

where $\widetilde{\rho}$ denotes the trivial inflation along the natural projection $(L_{s}G_{r}^{l})^{F}\rightarrow L_{s}^{F}$.

Proof.

The exact same argument as in [CS17, Proposition 3.3] works here, with $U^{\pm}$ formally replaced by $U_{s}^{\pm}$. ∎

In particular, $J_{r}(s,\nu)$ admits a geometric realisation:

Corollary 4.2.

If $r$ is even, $J_{r}(s,\nu)\cong\sum_{i}(-1)^{i}H_{c}^{i}(L^{-1}(U_{s}^{\pm}),\overline{\mathbb{Q}}_{\ell})\otimes_{\overline{\mathbb{Q}}_{\ell}[L_{s}^{F}]}{(\phi_{s}\otimes\nu)}$.

Similar to $H_{c}^{i}(L^{-1}(U_{s}^{\pm}),\overline{\mathbb{Q}}_{\ell})$, one can consider the $G_{r}^{F}$-module-$L_{s}^{F}$

$$H_{c}^{i}(L^{-1}(F(U_{s})),\overline{\mathbb{Q}}_{\ell});$$

it gives rise to the higher analogue of the Lusztig induction functor [Lus76]

$$R_{L_{s},U_{s}}^{\mathrm{GL}_{n}}\colon\rho\longmapsto\sum_{i}(-1)^{i}H_{c}^{i}(L^{-1}(F(U_{s})),\overline{\mathbb{Q}}_{\ell})\otimes_{\overline{\mathbb{Q}}_{\ell}[L_{s}^{F}]}\rho$$

which takes virtual $L_{s}^{F}$-modules to virtual $G_{r}^{F}$-modules. This construction was introduced by Charlotte Chan [Cha24] in the general parahoric group setting, via a character-theoretic property instead of the above bimodule tensor product (the two constructions coincide by [DM20, Proposition 5.1.5]).

The following conjecture is an exact generalisation (in the case of $\mathrm{GL}_{n}$) of the algebraisation theorem in [CS17, CS26]:

Conjecture 4.3.

Suppose that $r$ is even. Then for every $(s,\nu)$ one has

$$J_{r}(s,\nu)\cong R_{L_{s},U_{s}}^{\mathrm{GL}_{n}}(\phi_{s}\otimes\nu);$$

in particular, $R_{L_{s},U_{s}}^{\mathrm{GL}_{n}}(\phi_{s}\otimes\nu)$ is irreducible.

Note that, together with Theorem 2.7, this conjecture gives a perfect analogue of the relation between Lusztig induction and Lusztig’s Jordan decomposition; see [DM20, Theorem 11.4.3(ii)].

When $\Omega(\nu)=\{0\}$, the representation $J_{r}(s,\nu)$ is a semisimple orbit representation. In this case a similar conjecture (using Yu’s representations [Yu01] and Fintzen–Kaletha–Spice’s twists [FKS23]) has been proposed by Chan–Oi in [CO25, Conjecture 5.12] for parahoric groups, under some assumption on $p$. A smaller family of them, called strongly semisimple representations, has been constructed previously by Hill [Hil95b]; see also the discussion in [AOPS10, Subsection 8.2]. Recently, Monteiro [Mon23] introduced the notion of stable matrices and used it to construct another class of irreducible representations of $\mathrm{GL}_{n}(\mathcal{O}_{r})$; Monteiro’s construction covers all the semisimple orbit representations.

Proposition 4.4.

Conjecture 4.3 is true in the following situations:

1. $s$ is regular (i.e., the characteristic polynomial of $s\in M_{n}(\mathbb{F}_{q})$ is separable over $\overline{\mathbb{F}}_{q}$);

2. $s$ splits (i.e., the characteristic polynomial of $s\in M_{n}(\mathbb{F}_{q})$ splits over ${\mathbb{F}}_{q}$);

3. $n=2$ or $3$.

Note that if $n$ is a prime, then (i) and (ii) cover all the cuboidal representations of $\mathrm{GL}_{n}(\mathcal{O}_{r})$; see Example 2.9 and Proposition 4.5.

Proof.

(i) This is a special case of [CS26, Theorem 4.4] (combined with [CS26, Proposition 2.2 and Remark 4.6]); see also [CS17].

(ii) In this case, up to conjugation we can assume that $P_{s}$ (and hence $U_{s}$) is $F$-stable. Then the same argument as in [DM20, Page 139] gives that

$$R_{L_{s},U_{s}}^{\mathrm{GL}_{n}}(\phi_{s}\otimes\nu)\cong{\mathrm{Ind}}_{P_{s}^{F}}^{G_{r}^{F}}\widetilde{\phi_{s}\otimes\nu}.$$

By construction, both $J_{r}(s,\nu)$ and ${\mathrm{Ind}}_{P_{s}^{F}}^{G_{r}^{F}}\widetilde{\phi_{s}\otimes\nu}$ have the same dimension, so, as $J_{r}(s,\nu)$ is irreducible (Theorem 2.7 (A)), it suffices to show that their inner product is non-zero.

By Frobenius reciprocity and Mackey’s intertwining formula we see that

$$\begin{split}\langle J_{r}(s,\nu),\ &{\mathrm{Ind}}_{P_{s}^{F}}^{G_{r}^{F}}\widetilde{\phi_{s}\otimes\nu}\rangle_{G_{r}^{F}}\\ &=\langle\mathrm{Res}_{P_{s}^{F}}^{G_{r}^{F}}J_{r}(s,\nu),\widetilde{\phi_{s}\otimes\nu}\rangle_{P_{s}^{F}}\\ &=\sum_{x\in(L_{s}G_{r}^{l})^{F}\backslash G_{r}^{F}/P_{s}^{F}}\langle\mathrm{Ind}^{P_{s}^{F}}_{{{}^{x}(L_{s}G_{r}^{l})}^{F}\cap P_{s}^{F}}\mathrm{Res}^{{{}^{x}(L_{s}G_{r}^{l})}^{F}}_{{{}^{x}(L_{s}G_{r}^{l})}^{F}\cap P_{s}^{F}}{{}^{x}(\widetilde{\phi_{s}\otimes\nu})},\widetilde{\phi_{s}\otimes\nu}\rangle_{P_{s}^{F}}\\ &=\sum_{x\in(L_{s}G_{r}^{l})^{F}\backslash G_{r}^{F}/P_{s}^{F}}\langle\mathrm{Res}^{{{}^{x}(L_{s}G_{r}^{l})}^{F}}_{{{}^{x}(L_{s}G_{r}^{l})}^{F}\cap P_{s}^{F}}{{}^{x}(\widetilde{\phi_{s}\otimes\nu})},\mathrm{Res}^{P_{s}^{F}}_{{{}^{x}(L_{s}G_{r}^{l})}^{F}\cap P_{s}^{F}}\widetilde{\phi_{s}\otimes\nu}\rangle_{{{}^{x}(L_{s}G_{r}^{l})}^{F}\cap P_{s}^{F}};\end{split}$$

clearly the summand corresponding to $x=1$ is non-zero, and so the whole inner product is non-zero, as desired.

(iii) This case is covered by (i) and (ii). ∎

Proposition 4.5.

If Conjecture 4.3 holds true for all the cuboidal $J_{r}(s,\nu)\in\mathrm{Irr}(\mathrm{GL}_{m}(\mathcal{O}_{r}))$ for all $m>0$, then it holds true in full.

Proof.

We prove this by an induction on $n$ in $\mathrm{GL}_{n}$. The initial step is covered by Proposition 4.4(iii). Suppose now that the conjecture is true for any $k<n$. If $J_{r}(s,\nu)\in\mathrm{Irr}(\mathrm{GL}_{n}(\mathcal{O}_{r}))$ is not cuboidal, then in the same way as (23) we can rewrite $\phi_{s}\otimes\nu$ to be $(\phi_{s_{1}}\otimes\nu_{1})\boxtimes(\phi_{s_{2}}\otimes\nu_{2})$, where $n_{1}+n_{2}=n$ and each $\phi_{s_{i}}\otimes\nu_{i}$ is an irreducible representation of $L_{s_{i}}^{F}\subseteq\mathrm{GL}_{n_{i}}(\mathcal{O}_{r})$. Let $P_{n_{1},n_{2}}\subseteq\mathrm{GL}_{n}(\mathcal{O}^{\mathrm{ur}}_{r})$ be the corresponding standard blocked upper triangular subgroup, and denote its blocked upper uni-triangular part by $U_{n_{1},n_{2}}$. Then by the transitive property of Lusztig inductions (see [Cha24, Proposition 3.3]) we have

$$\begin{split}R_{L_{s},U_{s}}^{\mathrm{GL}_{n}}(\phi_{s}\otimes\nu)&=R_{\mathrm{GL}_{n_{1}}\times\mathrm{GL}_{n_{2}},U_{n_{1},n_{2}}}^{\mathrm{GL}_{n}}R^{\mathrm{GL}_{n_{1}}\times\mathrm{GL}_{n_{2}}}_{L_{s},U_{s}\cap(\mathrm{GL}_{n_{1}}\times\mathrm{GL}_{n_{2}})}(\phi_{s_{1}}\otimes\nu_{1})\boxtimes(\phi_{s_{2}}\otimes\nu_{2})\\ &=\mathrm{Ind}_{P_{n_{1},n_{2}}(\mathcal{O}_{r})}^{\mathrm{GL}_{n}(\mathcal{O}_{r})}\widetilde{J_{r}(s_{1},\nu_{1})\boxtimes J_{r}(s_{2},\nu_{2})},\end{split}$$

in which the second equality follows from the induction principle. Now the conclusion follows from the same use of a dimension comparison and of the Mackey formula as in the argument of Proposition 4.4(ii). ∎

5. On odd levels

In this section we propose a conjectural construction of Jordan induction $J_{r}(s,\nu)$ in the odd level case.

Lemma 5.1.

Suppose that $r=2l-1$ is odd. Let $\nu$ be a nilpotent orbit irreducible representation of $L_{s}^{F}$. Then all the irreducible constituents of

$$\mathrm{Ind}_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}^{\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}}\widetilde{(\phi_{s}\otimes\nu)}|_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}$$

have the same dimension and the same multiplicity.

Proof.

Let $\rho$ be an irreducible constituent of $\mathrm{Ind}_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}^{\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}}\widetilde{(\phi_{s}\otimes\nu)}|_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}$. By Clifford theory (see [Isa06, (6.11) Theorem (b)]) we know that for

$$S:=\mathrm{Stab}_{\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}}\left(\widetilde{(\phi_{s}\otimes\nu)}|_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}\right)$$

the induced representation $\mathrm{Ind}^{S}_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}\widetilde{(\phi_{s}\otimes\nu)}|_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}$ has an irreducible constituent $\rho_{S}$ satisfying that

$$\rho\cong\mathrm{Ind}_{S}^{\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}}\rho_{S}.$$

Meanwhile, note that

$$S/(L_{s}^{1}G^{l}_{r})^{F}\subseteq(L_{s}^{1}G^{l^{\prime}}_{r})^{F}/(L_{s}^{1}G^{l}_{r})^{F}=(G^{l^{\prime}}_{r})^{F}/(L_{s}^{l^{\prime}}G^{l}_{r})^{F}$$

is a quotient of $(G^{l^{\prime}}_{r})^{F}/(G^{l}_{r})^{F}=(G_{l}^{l^{\prime}})^{F}$, and hence it is abelian. So by [Nav18, Corollary 1.24(b)] every irreducible constituent of $\mathrm{Ind}^{S}_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}\widetilde{(\phi_{s}\otimes\nu)}|_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}$ is of the form $\lambda\rho_{S}$ where $\lambda$ is (the trivial lift of) a $1$-dimensional representation of the abelian group $S/(L_{s}^{1}G^{l}_{r})^{F}$.

In particular, every irreducible constituent of $\mathrm{Ind}_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}^{\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}}\widetilde{(\phi_{s}\otimes\nu)}|_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}$ is

$$\mathrm{Ind}_{S}^{\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}}\lambda\rho_{S},$$

for some $1$-dimensional $\lambda$. This proves the dimension assertion.

Now, since $\lambda$ is by definition trivial on $(L_{s}^{1}G_{r}^{l})^{F}$, the multiplicity assertion follows immediately from Clifford theory ([Isa06, (6.11) Theorem (d)]) and the Frobenius reciprocity. ∎

We shall fix for each pair $(s,\nu)$ an irreducible constituent $\phi_{s,\nu}$ of the induced representation $\mathrm{Ind}_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}^{\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}}\widetilde{(\phi_{s}\otimes\nu)}|_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}$ in the above. We make the following conjecture concerning its construction and extension:

Conjecture 5.2.

Suppose that $r=2l-1$ is odd. Then:

1. One has

   $$\mathrm{Ind}_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}^{\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}}\widetilde{(\phi_{s}\otimes\nu)}|_{\left(L_{s}^{1}G_{r}^{l}\right)^{F}}=\sqrt{\frac{|\left(L_{s}^{1}G_{r}^{l^{\prime}}\right)^{F}|}{|\left(L_{s}^{1}G_{r}^{l}\right)^{F}|}}\cdot\phi_{s,\nu};$$

2. $\phi_{s,\nu}$ admits a canonical extension $\widehat{\phi_{s,\nu}}$ to $(L_{s}G_{r}^{l^{\prime}})^{F}$, in a way such that, for a given $s$, non-isomorphic $\nu$ yields non-isomorphic $\widehat{\phi_{s,\nu}}$.

One may compare this conjecture with the constructions in [CS26, Section 4], in which it is established for regular semisimple $s$ (after specialising it to $\mathrm{GL}_{n}$); in particular, the $\phi_{s,\nu}$ might be viewed as a non-abelian version of the Heisenberg lift in [CS26, Lemma 4.1] (see also [SS17, Corollary 3.3] and [BF83, (8.3.3) Proposition]).

Proposition 5.3.

Suppose that $r=2l-1$ is odd, and assume that Conjecture 5.2 holds. Let

$$J_{r}(s,\nu):=\mathrm{Ind}_{(L_{s}G_{r}^{l^{\prime}})^{F}}^{G_{r}^{F}}\widehat{\phi_{s,\nu}}.$$

Then the same assertions of Theorem 2.7 hold, namely:

1. (Irreducibility) The representations $J_{r}(s,\nu)$ are always irreducible.

2. (Uniqueness) If $s,s^{\prime}\in M_{n}(\mathbb{F}_{q})$ are not $\mathrm{GL}_{n}(\mathbb{F}_{q})$-conjugated, then

   $$\mathrm{Im}(J_{r}(s,-))\cap\mathrm{Im}(J_{r}(s^{\prime},-))=\emptyset;$$

   moreover, $J_{r}(s,-)$ is an injection for every semisimple $s\in M_{n}(\mathbb{F}_{q})$.

3. (Exhaustion) One has

   $$\mathrm{Irr}(G_{r}^{F})=\mathrm{Im}(J_{r}(-,-)).$$

4. (Dimension) The ratio $\frac{\dim J_{r}(s,\nu)}{\dim\nu}$ is a constant depending only on $s$.

Proof.

The exactly same argument of Theorem 2.7 works here. ∎

6. An example

The irreducible representations of $\mathrm{GL}_{2}(\mathcal{O}_{r})$ have been studied by many authors, and their full classification and construction are known for decades, in various contexts [Kut73, Nag76, Nob77, Onn08, Sta09a]; see [Sta09a, Introduction] for the history. For $\mathrm{GL}_{3}$, to exhaust all the irreducible representations is a difficult problem, and the challenging part is to construct the subregular nilpotent ones; when $p>3$ this is solved by Onn–Prasad–Singla [OPS25, Section 7].

In the remaining part of this section we assume that $n=3$ and $r=2$ (we make no assumption on $p$). So we are considering

$$G_{2}^{F}=\mathrm{GL}_{3}(\mathcal{O}_{2}).$$

We want to describe the construction of its irreducible representations in the framework of Jordan induction; we shall be concerned with only the primitive representations in the following sense.

Definition 6.1.

An irreducible representation $\sigma$ of $G_{r}^{F}$ is called primitive if $\Omega(\sigma)$ does not consist of a central element. Otherwise it is called imprimitive.

By Theorem 2.7(C) every irreducible representation of $G_{r}^{F}$ is of the form $J_{r}(s,\nu)$, and by Lemma 2.4 the semisimple part of every element of $\Omega(J_{r}(s,\nu))$ is conjugate to $s$. Hence $J_{r}(s,\nu)$ is primitive if and only if either $s$ is non-central, or $s$ is central and $\Omega(\nu)\neq\{0\}$. Note that a semisimple $s\in M_{3}(\mathbb{F}_{q})$ is conjugate to exactly one of the following:

• a regular semisimple element (three distinct eigenvalues in $\overline{\mathbb{F}}_{q}$);

• an element of type $(2,1)$, i.e. $\mathrm{diag}(a,a,b)$ with $a\neq b\in\mathbb{F}_{q}$;

• a central element $s=c\cdot I_{3}$, $c\in\mathbb{F}_{q}$.

(i) The regular semisimple case

Suppose that $s$ is regular and semisimple. Then

$$L_{s}^{F}\cong T(\mathcal{O}_{2})$$

for a maximal torus $T$ of $\mathrm{GL}_{3}$ over $\mathcal{O}_{2}$; in this case the nilpotent orbit representations of $L_{s}^{F}$ are precisely the trivial inflations of the irreducible representations of $(L_{s})_{1}^{F}$. Thus:

Proposition 6.2.

Let $s\in M_{3}(\mathbb{F}_{q})$ be a regular semisimple element, and let $\nu$ be an imprimitive $1$-dimensional representation of $L_{s}^{F}$. Then $J_{2}(s,\nu)$ is a regular semisimple orbit irreducible representation of $G_{2}^{F}$, and every regular semisimple orbit irreducible representation of $G_{2}^{F}$ is of this form. So $\dim J_{2}(s,\nu)=\frac{|\mathrm{GL}_{3}(\mathbb{F}_{q})|}{|(L_{s})_{1}^{F}|}$, and

$\dim J_{2}(s,\nu)$	$\#$
$q^{3}(q^{2}+q+1)(q+1)$	$\frac{1}{6}q(q-1)(q-2)\cdot(q-1)^{3}$
$q^{3}(q^{3}-1)$	$\frac{1}{2}q(q^{2}-q)\cdot(q-1)(q^{2}-1)$
$q^{3}(q-1)^{2}(q+1)$	$\frac{1}{3}(q^{3}-q)\cdot(q^{3}-1)$.

(ii) The type $(2,1)$ case

Suppose that $s$ is conjugate to $\mathrm{diag}(a,a,b)$ with $a\neq b\in\mathbb{F}_{q}$. Then

$$L_{s}^{F}\cong\mathrm{GL}_{2}(\mathcal{O}_{2})\times\mathcal{O}_{2}^{\times}.$$

An irreducible representation $\nu$ of $L_{s}^{F}$ has a nilpotent orbit if and only if it is of the form

$$\nu=\nu_{2}\boxtimes\chi,$$

where $\nu_{2}$ is a nilpotent orbit representation of $\mathrm{GL}_{2}(\mathcal{O}_{2})$ and $\chi$ is a character of $\mathcal{O}_{2}^{\times}$ trivially inflated from $\mathbb{F}_{q}^{\times}$. If the orbit of $\nu_{2}$ is non-zero, then $\nu_{2}$ is a regular nilpotent orbit representation of $\mathrm{GL}_{2}(\mathcal{O}_{2})$, whose construction is given in [Sta09a, Section 3]; we recall it here: Let $N={\begin{pmatrix}0&1\\ 0&0\end{pmatrix}}$. Then these representations are of the form

(25) $$\nu_{2}=\mathrm{Ind}_{C(N)\cdot(G_{2}^{1})^{F}}^{\mathrm{GL}_{2}(\mathcal{O}_{2})}\tilde{\psi},$$

where

$$C(N)=\left\{\begin{pmatrix}a&b\\ 0&a\end{pmatrix},a\in\mathcal{O}_{2}^{\times},b\in\mathcal{O}_{2}\right\}$$

and $\tilde{\psi}$ is an extension of $\psi_{N}(-)=\psi(\mathrm{Tr}(N\cdot a(-)))$ from $(G_{2}^{1})^{F}$ to $C(N)\cdot(G_{2}^{1})^{F}$; the extensions $\tilde{\psi}$, by Clifford theory, are in bijection with the linear characters of the abelian group $C(N)/(C(N)\cap G_{2}^{1})$. In particular, those $\nu_{2}$ all have the dimension

$$\dim\nu_{2}=q^{2}-1$$

and the number of their isomorphism classes is $(q-1)q$. On the other hand, if $\Omega(\nu_{2})=\{0\}$, then $\nu_{2}$ is the trivial inflation of an element in $\mathrm{Irr}(\mathrm{GL}_{2}(\mathbb{F}_{q}))$, which can be of dimension $1$, $q$, $q+1$, or $q-1$; the numbers of their isomorphism classes are $q-1$, $q-1$, $\frac{1}{2}(q-1)(q-2)$, and $\frac{1}{2}(q^{2}-q)$, respectively. Therefore we have:

Proposition 6.3.

Every irreducible representation of $\mathrm{GL}_{3}(\mathcal{O}_{2})$ whose orbit has a type $(2,1)$ semisimple part is of the form

$$J_{2}(s,\nu)=\mathrm{Ind}_{(L_{s}G_{2}^{1})^{F}}^{\mathrm{GL}_{3}(\mathcal{O}_{2})}\widetilde{\phi_{s}\otimes(\nu_{2}\boxtimes\chi)},$$

where $s$ be of type $(2,1)$ and $\nu=\nu_{2}\boxtimes\chi$ is a nilpotent orbit representation of $L_{s}^{F}$ as above. Moreover, $\nu_{2}$ is either a regular nilpotent orbit irreducible representation of $\mathrm{GL}_{2}(\mathcal{O}_{2})$, or the trivial inflation of an irreducible representation of $\mathrm{GL}_{2}(\mathbb{F}_{q})$ (whose orbit is $\{0\}$). In the first case $\nu_{2}$ is given by (25) and is of dimension $q^{2}-1$, and

$\dim J_{2}(s,\nu)$	$\#$
$q^{2}(q^{2}+q+1)\cdot(q^{2}-1)$	$(q-1)q\cdot(q-1)\cdot(q-1)q$.

On the other hand, if $\Omega(\nu_{2})=\{0\}$, then

$\dim J_{2}(s,\nu)$	$\#$
$q^{2}(q^{2}+q+1)$	$(q-1)\cdot(q-1)\cdot(q-1)q$
$q^{2}(q^{2}+q+1)\cdot q$	$(q-1)\cdot(q-1)\cdot(q-1)q$
$q^{2}(q^{2}+q+1)\cdot(q+1)$	$\frac{1}{2}(q-1)(q-2)\cdot(q-1)\cdot(q-1)q$
$q^{2}(q^{2}+q+1)\cdot(q-1)$	$\frac{1}{2}(q^{2}-q)\cdot(q-1)\cdot(q-1)q$.

(iii) The central case

Suppose that $s=c\cdot I_{3}$ ($c\in\mathbb{F}_{q}$). Then $L_{s}=G_{2}^{F}$ and

$$J_{2}(s,\nu)=\phi_{c\cdot I_{3}}\otimes\nu,$$

where $\nu$ is a nilpotent orbit representation of $G_{2}^{F}$. Thus $J_{2}(s,\nu)$ is primitive if and only if $\nu$ is either regular nilpotent or subregular nilpotent.

(iii-1) The regular nilpotent orbit

Let $N:=\begin{pmatrix}0&1&0\\ 0&0&1\\ 0&0&0\end{pmatrix}$. Then for $C(N):=\left\{\begin{pmatrix}a&b&c\\ 0&a&b\\ 0&0&a\end{pmatrix}\mid a\in\mathcal{O}_{2}^{\times},\ b,c\in\mathcal{O}_{2}\right\}$, one has $\mathrm{Stab}_{G_{2}^{F}}(\psi_{N})=C(N)(G_{2}^{1})^{F}$. Since $C(N)(\cong(\mathcal{O}_{2}[x]/x^{3})^{\times})$ is abelian, by Clifford theory [Isa06, (6.17) Corollary] all the extensions of $\psi_{N}$ to $C(N)(G_{2}^{1})^{F}$ are of the form $\chi\tilde{\psi}_{N}$, where $\tilde{\psi}_{N}$ is defined as in Lemma 3.2 (see also Remark 3.5) and $\chi$ is a $1$-dimensional representation $\chi$ of $C_{G_{1}^{F}}(N)\cong(\mathbb{F}_{q}[x]/x^{3})^{\times}$. Thus, similar to (25), the regular nilpotent orbit representations of $\mathrm{GL}_{3}(\mathcal{O}_{2})$ are

(26) $$\nu=\mathrm{Ind}_{C(N)\cdot(G_{2}^{1})^{F}}^{\mathrm{GL}_{3}(\mathcal{O}_{2})}\chi\tilde{\psi}_{N},$$

where $\chi$ runs over the $1$-dimensional representations of $C_{G_{1}^{F}}(N)$. In summary:

Proposition 6.4.

Every irreducible representation of $\mathrm{GL}_{3}(\mathcal{O}_{2})$ whose orbit has a central semisimple part and a regular nilpotent part is of the form

$$J_{2}(c\cdot I_{3},\nu)=\phi_{c\cdot I_{3}}\otimes\mathrm{Ind}_{C(N)\cdot(G_{2}^{1})^{F}}^{\mathrm{GL}_{3}(\mathcal{O}_{2})}\chi\tilde{\psi}_{N},$$

where $c\in\mathbb{F}_{q}$ and $\chi\in\mathrm{Irr}(C_{G_{1}^{F}}(N))$. We have

$\dim J_{2}(s,\nu)$	$\#$
$q(q^{2}-1)(q^{3}-1)$	$q\cdot q^{2}(q-1)$.

(iii-2) The subregular nilpotent orbit

Let $N=\begin{pmatrix}0&1&0\\ 0&0&0\\ 0&0&0\end{pmatrix}$. Note that its centraliser in ${\mathrm{GL}_{3}(\mathcal{O}_{2})}$ is

$$C(N)=\left\{\begin{pmatrix}a&b&c\\ 0&a&0\\ 0&d&e\end{pmatrix}\mid a,e\in\mathcal{O}_{2}^{\times},\ b,c,d\in\mathcal{O}_{2}\right\},$$

and its centraliser in ${\mathrm{GL}_{3}(\mathbb{F}_{q})}$ is $\rho_{2,1}(C(N))$; so $\mathrm{Stab}_{G_{2}^{F}}(\psi_{N})=C(N)\cdot(G_{2}^{1})^{F}$. As in the case of (iii-1), all the subregular nilpotent orbit representations of $G_{2}^{F}$ are of the form

(27) $$\nu=\mathrm{Ind}_{C(N)\cdot(G_{2}^{1})^{F}}^{\mathrm{GL}_{3}(\mathcal{O}_{2})}\chi\tilde{\psi}_{N},$$

where $\chi$ runs over $\mathrm{Irr}(C_{G_{1}^{F}}(N))$. So we only need to find out the irreducible representations of $C_{G_{1}^{F}}(N)$.

Note that

$$C_{G_{1}^{F}}(N)=\rho_{2,1}(C(N))=D\ltimes H$$

where $D:=\{\mathrm{diag}(a,a,e)\mid a,e\in\mathbb{F}_{q}^{\times}\}$ and

$$H:=\left\{\begin{pmatrix}1&b&c\\ 0&1&0\\ 0&d&1\end{pmatrix}\mid b,c,d\in\mathbb{F}_{q}\right\}\cong\left\{\begin{pmatrix}1&c&b\\ 0&1&d\\ 0&0&1\end{pmatrix}\mid b,c,d\in\mathbb{F}_{q}\right\}.$$

Being isomorphic to the Heisenberg group over $\mathbb{F}_{q}$, the construction of irreducible representations of $H$ is well-known (details can be found in [Gér77, Section 1.2 and Section 1.3]): There are $q^{2}$ irreducible representations of dimension $1$ (the ones trivial on the centre) and $q-1$ irreducible representations of dimension $q$ (the ones determined by the non-trivial central characters).

Every $q$-dimensional $\sigma_{q}\in\mathrm{Irr}(H)$ is invariant under the action of $D$, as $D$ does not affect the centre of $H$. So, since $|D|$ is coprime to $|H|$, by [Nav18, Corollary 6.2] we see that $\sigma_{q}$ extends to $C_{G_{1}}(N)$ in $|D|=(q-1)^{2}$ different ways. The trivial representation $1_{H}$ clearly also extends to $C_{G_{1}}(N)$ in $(q-1)^{2}$ different ways. It remains to consider the non-trivial $1$-dimensional representations $\sigma_{1}$ of $H$.

Note that $\mathrm{diag}(a,a,e)\in D$ acts on $H$ by taking the entry triple $(b,c,d)$ to $(b,ae^{-1}c,ea^{-1}d)$. So the stabiliser of every $\sigma_{1}$ in $C_{G_{1}^{F}}(N)$ is $Z_{G_{1}^{F}}H$, and the $D$-orbit of $\sigma_{1}$ consists of $q-1$ elements. For the $D$-orbit of $\sigma_{1}$ we choose a representative $\sigma_{1}^{o}$. Since $Z_{G_{1}^{F}}$ is the centre, we can extend $\sigma_{1}^{o}$ to $Z_{G_{1}^{F}}H$, in $|Z_{G_{1}^{F}}|=q-1$ different ways. Thus by Clifford theory,

$$\mathrm{Ind}_{Z_{G_{1}^{F}}H}^{C_{G_{1}^{F}}(N)}z\sigma_{1}^{o}$$

for $z\in\mathrm{Irr}(Z_{G_{1}^{F}})$, produces $q-1$ non-isomorphic irreducible representations of dimension $q-1$. As there are totally $q+1$ orbits of non-trivial $1$-dimensional representations of $H$, this process gives $q^{2}-1$ irreducible representations of dimension $q-1$ of $C_{G_{1}^{F}}(N)$.

Summing the squares of the dimensions of the irreducible representations obtained above, one sees that all irreducible representations of $C_{G_{1}^{F}}(N)$ are exhausted. So we get:

Proposition 6.5.

Every irreducible representation of $\mathrm{GL}_{3}(\mathcal{O}_{2})$ whose orbit has a central semisimple part and a subregular nilpotent part is of the form

$$J_{2}(c\cdot I_{3},\nu)=\phi_{c\cdot I_{3}}\otimes\mathrm{Ind}_{C(N)\cdot(G_{2}^{1})^{F}}^{\mathrm{GL}_{3}(\mathcal{O}_{2})}\chi\tilde{\psi}_{N},$$

where $c\in\mathbb{F}_{q}$ and $\chi\in\mathrm{Irr}(C_{G_{1}^{F}}(N))$. These $\chi$’s are in three classes:

• $(q-1)^{2}$ extensions of $q-1$ irreducible representations $\sigma_{q}$ of dimension $q$ of $H$,

• $(q-1)^{2}$ extensions of the trivial representation $1_{H}$ of $H$, and

• $q^{2}-1$ induced representations $\mathrm{Ind}_{Z_{G_{1}^{F}}H}^{C_{G_{1}^{F}}(N)}z\sigma_{1}^{o}$ of dimension $q-1$.

Thus

$\dim J_{2}(s,\nu)$	$\#$
$(q+1)(q^{3}-1)\cdot q$	$q(q-1)^{3}$
$(q+1)(q^{3}-1)$	$q(q-1)^{2}$
$(q+1)(q^{3}-1)\cdot(q-1)$	$q(q^{2}-1)$.

Remark 6.6.

Summing the squares of the dimensions (with the multiplicities) in the tables obtained in Proposition 6.2, Proposition 6.3, Proposition 6.4, Proposition 6.5, we get a polynomial $\delta(q):=q(q^{8}-1)(q^{3}-1)(q^{3}-q)(q^{3}-q^{2})$. Thus the equality

$$\delta(q)+q\cdot|\mathrm{GL}_{3}(\mathbb{F})_{q}|=q^{9}(q^{3}-1)(q^{3}-q)(q^{3}-q^{2})=|\mathrm{GL}_{3}(\mathcal{O}_{2})|$$

verifies that we obtained all the primitive irreducible representations.