Kronecker coefficients and Harrison centres of the representation ring of the symmetric group

TL;DR

This paper computationally analyzes the structure of the representation ring of the symmetric group S_6, computing Kronecker coefficients, characterizing generators, and exploring the Harrison centre to understand its algebraic properties.

Contribution

It introduces the Harrison centre theory to study the representation ring of S_6 and characterizes its algebraic structure, including generators and primitive idempotents.

Findings

Kronecker coefficients for S_6 computed using character theory

The unit group of the representation ring is a Klein four-group

Harrison centre of the induced cubic form is isomorphic to the ring itself

Abstract

We present a computational approach to studying the structure of the representation ring of the symmetric group in dimension six. The Kronecker coefficients and all power formulae of irreducible representations of $S_6$ are computed using the character theory of finite groups. In addition, considering direct sum decomposition of tensor products of different irreducible representations of $S_6$, we characterise generators of the representation ring $\mathcal{R}(S_6)$, show that its unit group $U(\mathcal{R}(S_6))$ is a Klein four-group, and related results on the structure of primitive idempotents. Furthermore, we introduce the Harrison centre theory to study the representation ring and show that the Harrison centre of the cubic form induced by the generating relations of $\mathcal{R}(S_6)$ is isomorphic to itself. Finally, we conclude with some open problems for future consideration.