Irreducible Representations of Finite Pattern Groups

• Finite pattern groups are subgroups of unipotent upper-triangular matrices over finite fields defined by closed combinatorial patterns and nilpotent associative algebras.
• The framework employs a finite-field analogue of the Kirillov orbit method using associative polarization to establish a bijection between coadjoint orbits and irreducible representations.
• Explicit formulas for orbit sizes and character values provide a complete classification of irreducible representations, particularly for unipotent radicals in GLₙ.

A finite pattern group is a subgroup of the group of unipotent upper-triangular matrices over a finite field, specified by a combinatorial "pattern"—a closed subset of the positive roots in $\mathrm{GL}_n(\mathbb{F}_q)$. These groups are finite $p$-groups with rich algebraic and representation-theoretic structures. The study of their irreducible representations is governed by a finite-field analogue of the Kirillov orbit method, recently clarified by Panov's notion of associative polarization, which unifies the approach for pattern groups of "good type." This framework establishes a bijection between coadjoint orbits and irreducible representations, offers explicit dimension and character formulas, and enables complete classification results for broad families such as unipotent radicals of parabolic subgroups in $\mathrm{GL}_n$.

1. Structure and Definition of Finite Pattern Groups

A pattern algebra $A$ is a finite-dimensional, nilpotent, associative algebra over $\mathbb{F}_q$, often represented as a subspace of upper-triangular matrices with a prescribed zero pattern. The associated group is $G = 1 + A$, where the group operation is given by

$(1+x)(1+y) = 1 + x + y + x y$

for $x, y \in A$ (Nien, 2020).

Within $\mathrm{GL}_n(\mathbb{F}_q)$, a pattern group corresponds to a subgroup $G_D = \langle U_\alpha: \alpha \in D \rangle$ for a closed subset $D$ of the positive roots $\Delta_n$. The Lie algebra of $G_D$ is $$\mathfrak{g}_D = \bigoplus_{\alpha \in D} \mathfrak{g}_\alpha$$, and its dual $\mathfrak{g}_D^*$ is identified with the opposite pattern algebra $\mathfrak{g}_{-D}$ via the trace pairing

$$\langle T, X \rangle = \mathrm{Tr}(TX), \quad T \in \mathfrak{g}_D^*,\ X \in \mathfrak{g}_D$$

(Nien et al., 16 Jan 2026).

2. The Coadjoint Orbit Method and Associative Polarization

The irreducible representations of $G_D$ are classified by coadjoint orbits in $\mathfrak{g}_D^*$. The coadjoint action is

$$\mathrm{Ad}^*(g)\lambda(X) = \lambda(\mathrm{Ad}(g^{-1})X)$$

or, for $T \in \mathfrak{g}_{-D}$, $$\mathrm{Ad}^*(g)T = [g T g^{-1}]_{\mathfrak{g}_{-D}}$$ (Nien et al., 16 Jan 2026). For a linear functional $\lambda \in \mathfrak{g}_D^*$ and a nontrivial additive character $\psi: \mathbb{F}_q \to \mathbb{C}^\times$, define the skew-form $B_\lambda(x, y) = \lambda([x, y])$.

An associative polarization $p \subset \mathfrak{g}_D$ attached to $\lambda$ is a subalgebra satisfying:

• $\lambda([p, p]) = 0$ (isotropy),
• $\lambda(p^2) = 0$ (associativity),
• maximality for these properties.

When such a $p$ exists, the subgroup $P = 1 + p$ supports a linear character $\eta_\lambda(1+x) = \psi(\lambda(x))$, and induction yields an irreducible module

$M^\lambda = \mathrm{Ind}_{1+p}^{G_D}(\eta_\lambda)$

whose dimension is

$$\dim M^\lambda = q^{\mathrm{codim}\ p} = \sqrt{|\mathcal{O}_\lambda|}$$

where $\mathcal{O}_\lambda$ is the coadjoint orbit of $\lambda$ (Nien et al., 16 Jan 2026).

3. Explicit Construction and Orbit–Representation Correspondence

The orbit–induction method extends to all pattern groups $G = 1 + A$:

• For $$T \in A^t = \mathrm{Hom}_{\mathbb{F}_q}(A, \mathbb{F}_q)$$, the stabilizer

$$a_T = \{ a \in A : T([a, y]) = 0 \ \forall y \in A \}$$

is an associative subalgebra, and $H_T = 1 + a_T$ (Nien, 2020).

A linear character $\psi_T(1 + a) = \psi(T(a))$ is defined on $H_T$. Induction to $G$,

$\mathrm{Ind}_{H_T}^G \psi_T,$

gives an irreducible representation of dimension $[G : H_T]^{1/2} = |\mathcal{O}_T|^{1/2}$. Two such representations are isomorphic if and only if their corresponding functionals lie in the same coadjoint orbit (Nien, 2020).

This establishes a bijection: $$\{\text{coadjoint orbits } \mathcal{O} \subset \mathfrak{g}_D^*\} \longleftrightarrow \text{Irr}(G_D)$$ with irreducible representations of degree $q^f$ corresponding to orbits of size $q^{2f}$ (Nien et al., 16 Jan 2026).

4. Character Formula and Orbit Size

The finite-field analogue of the Kirillov character formula for an irreducible representation $M^\lambda$ attached to $\lambda$ is

$$\chi_\lambda(1 + x) = \frac{1}{\sqrt{|\mathcal{O}_\lambda|}} \sum_{\mu \in \mathcal{O}_\lambda} \psi(\mu(x)), \quad x \in \mathfrak{g}_D$$

(Nien et al., 16 Jan 2026). The size of the coadjoint orbit is governed by the orbit–stabilizer relation: $$|\mathcal{O}_\lambda| = [G_D : G_D^\lambda] = q^{\dim \mathfrak{g}_D - \dim \mathfrak{g}_D^\lambda}$$ with $$\mathfrak{g}_D^\lambda = \{ X \in \mathfrak{g}_D : \lambda([X, -]) = 0 \}$$ and $G_D^\lambda = 1 + \mathfrak{g}_D^\lambda$ (Nien et al., 16 Jan 2026).

5. Classification in the Four-Block Parabolic Case

For $G = U_{n_1, n_2, n_3, n_4}$, the unipotent radical of the standard parabolic in $\mathrm{GL}_n(\mathbb{F}_q)$, explicit associative polarizations yield a full parametrization of irreducible representations. Writing a general element $T$ in the coadjoint space in four-block form,

$$T = \begin{pmatrix} 0 & 0 & 0 & 0 \ 0 & 0 & T_{23} & T_{24} \ 0 & 0 & 0 & T_{34} \ 0 & 0 & 0 & 0 \end{pmatrix}$$

the size of the coadjoint orbit is

$$|\mathcal{O}_\lambda| = q^{2(n_2 \mathrm{rk}\ T_{23} + n_3 \mathrm{rk}\ T_{24} + n_3 \mathrm{rk}\ T_{34} - \mathrm{rk}\ T_{23}\ \mathrm{rk}\ T_{34})}$$

and so the dimension of the associated irreducible is

$$\dim M^\lambda = q^{n_2 \mathrm{rk}\ T_{23} + n_3 \mathrm{rk}\ T_{24} + n_3 \mathrm{rk}\ T_{34} - \mathrm{rk}\ T_{23}\ \mathrm{rk}\ T_{34}}$$

(Nien et al., 16 Jan 2026).

A plausible implication is that the possible irreducible character degrees and their parametrization can be algorithmically determined from the combinatorics of the block ranks, paralleling known results for specific cases such as $U_4(\mathbb{F}_q)$.

6. Low-Dimensional Cases and Classical Examples

For $n_1 = n_2 = n_3 = n_4 = 1$, $G = U_4(\mathbb{F}_q)$ and $\mathfrak{g}$ consists of strictly upper-triangular $4 \times 4$ matrices. Coadjoint orbits are enumerated explicitly: $1 + 3(q - 1) + 3(q - 1)^2 + (q - 1)^3$. Each admits an associative polarization. The induced characters recover the classification of irreducible representations into the trivial, linear, $q$-, $q^2$-, and $q^3$-dimensional types, consistent with the Higman–Isaacs formulae (Nien et al., 16 Jan 2026).

7. Generalization, Impact, and Open Directions

The classification via associative polarizations offers a one-to-one parametrization of all irreducible representations for pattern groups of "good type," i.e., where every functional admits an associative polarization. This framework connects the representation theory of finite nilpotent groups to Lie-theoretic and algebraic techniques and realizes the orbit method in the finite-field setting (Nien, 2020, Nien et al., 16 Jan 2026). Further study involves the explicit identification of good types, the structure of polarizations, and deeper connections to the geometry of algebraic groups and their orbits. Cases where associative polarizations fail to exist or uniqueness is not guaranteed remain active areas of investigation.