Abstract:The conjugation representation of a finite group $G$ is the complex permutation module defined by the action of $G$ on itself by conjugation. Addressing a problem raised by Hain motivated by the study of a Hecke action on iterated Shimura integrals, Tiep proved that for $G=\operatorname{SL}_{2}(\mathbb{Z}/p^{r})$, where $r\geq1$ and $p\geq5$ is a prime, any irreducible representation of $G$ that is trivial on the centre of $G$ is contained in the conjugation representation. Moreover, Tiep asked whether this can be generalised to $p=2$ or $3$. We answer the Hain--Tiep question in the affirmative and also prove analogous statements for $\operatorname{SL}_{2}$ and $\operatorname{GL}_{2}$ over any finite local principal ideal ring with residue field of odd characteristic.

What problem does this paper attempt to address?

### What problems does this paper attempt to solve? This paper mainly explores some problems in the conjugation representation of $\text{GL}_2$ and $\text{SL}_2$ groups over finite local principal ideal rings. Specifically, the authors solved a problem proposed by Hain, which is related to the study of Hecke actions on iterated Shimura integrals. In his previous work, Tiep proved that for $G = \text{SL}_2(\mathbb{Z}/p^r\mathbb{Z})$, where $r\geq1$ and $p\geq5$ is a prime number, any irreducible representation that is trivial on the center of $G$ is included in the conjugation representation. Tiep further raised the question of whether this can be generalized to the cases where $p = 2$ or $p = 3$. In this paper, the authors affirmatively answered the Hain - Tiep problem, and also proved that similar results apply to $\text{SL}_2$ and $\text{GL}_2$ groups over any finite local principal ideal ring with odd characteristic. #### Main contributions 1. **Affirmatively answer the Hain - Tiep problem**: For $p = 2$ or $p = 3$, it is proved that any irreducible representation of $\text{SL}_2(\mathbb{Z}/p^r\mathbb{Z})$ that is trivial on the center is included in the conjugation representation. 2. **Extension to the general case**: Not only limited to $\mathbb{Z}/p^r\mathbb{Z}$, but also including $\text{SL}_2$ and $\text{GL}_2$ groups over any finite local principal ideal ring with odd characteristic. 3. **New method**: A new method is introduced to deal with the cases where $p = 2$ or $p = 3$, where Tiep's original method is no longer applicable. Through these works, the authors not only solved the Hain - Tiep problem, but also provided new tools and methods for further research on other types of groups and representations.

The conjugation representation of $\operatorname{GL}_{2}$ and $\operatorname{SL}_{2}$ over finite local rings

Conjugating Representations in $PGL(k, \mathbb{C})$ into $PGL(k, \mathbb{R})$

The conjugation representation of the binary modular congruence group

Representations of $SL_2(F)$

Dual Pairs and Contragredients of Irreducible Representations

The Defining Characteristic Case of the Representations of $\mathrm{GL}_{n}$ and $\mathrm{SL}_{n}$ over Principal Ideal Local Rings

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

Classification of the conjugacy classes of $\widetilde{\mathrm{SL}}(2,\mathbb{R})$

Irreducible Representations of GL N (ℂ) of Minimal Gelfand–Kirillov Dimension

Conjugacy classes of derangements in finite groups of Lie type

On local and global conjugacy

On the realization of a class of $\text{SL}(2,\mathbb{Z})$-representations

Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

Finite braid group orbits on $SL_2$-character varieties

The geometry of conjugation in Euclidean isometry groups

Conjugacy classes in PSL(2, K)

Local Langlands Correspondence for Classical Groups and Affine Hecke Algebras

On Higher Multiplicity upon Restriction from $\mathrm{GL}(n)$ to $\mathrm{GL}(n-1)$

On the GL(2n) eigenvariety: branching laws, Shalika families and $p$-adic $L$-functions

Trace Preserving Homomorphisms on SL(2,C)

Local Langlands in families: The banal case