The representation ring of $\mathrm{SL}_2(\mathbb{F}_p)$ and stable modular plethysms of its natural module in characteristic $p$

TL;DR

This paper provides an algebraic description of the representation ring of SL_2 over a finite field of characteristic p, and classifies certain modular plethysms of its natural module, revealing their projectivity and indecomposability properties.

Contribution

It offers a practical algebraic framework for the representation ring of SL_2(F_p) modulo projectives and classifies specific modular plethysms based on projectivity and irreducibility.

Findings

Classified modular plethysms with only one non-projective indecomposable summand.

Identified which plethysms are projective.

Extended classifications to modules of the form bla^{ u} V.

Abstract

Let $p$ be an odd prime and let $k$ be a field of characteristic $p$. We provide a practical algebraic description of the representation ring of $k\mathrm{SL}_2(\mathbb{F}_p)$ modulo projectives. We then investigate a family of modular plethysms of the natural $k\mathrm{SL}_2(\mathbb{F}_p)$-module $E$ of the form $\nabla^{\nu}\mathrm{Sym}^l E$ for a partition $\nu$ of size less than $p$ and $0\leq l\leq p-2$. Within this family we classify both the modular plethysms of $E$ which are projective and the modular plethysms of $E$ which have only one non-projective indecomposable summand which is moreover irreducible. We generalise these results to similar classifications where modular plethysms of $E$ are replaced by $k\mathrm{SL}_2(\mathbb{F}_p)$-modules of the form $\nabla^{\nu} V$, where $V$ is a non-projective indecomposable $k\mathrm{SL}_2(\mathbb{F}_p)$-module and $|\nu|<p$.