A Permutation Module Deligne Category and Stable Patterns of Kronecker Coefficients

TL;DR

This paper introduces a new family of categories that interpolate permutation representations and reveal stable patterns in Kronecker coefficients, connecting Deligne categories with Lie algebra structures.

Contribution

It constructs categories $ ext{C}_ ext{lambda}$ as module categories over Deligne's tensor categories, interpolating permutation representations and categorifying Kronecker coefficient stability.

Findings

Categories $ ext{C}_ ext{lambda}$ are defined over any ring and interpolate permutation representations.

They admit tensor-compatible specialisation functors to symmetric group modules.

The categories are presented using Lusztig's universal enveloping algebra, revealing stability in Kronecker coefficients.

Abstract

Deligne's category $\underline{{\rm Rep}}(S_t)$ is a tensor category depending on a parameter $t$ "interpolating" the categories of representations of the symmetric groups $S_n$. We construct a family of categories $\mathcal{C}_\lambda$ (depending on a vector of variables $\lambda = (\lambda_1, \lambda_2, \ldots, \lambda_l)$, that may be specialised to values in the ground ring) which are module categories over $\underline{{\rm Rep}}(S_t)$. The categories $\mathcal{C}_\lambda$ are defined over any ring and are constructed by interpolating permutation representations. Further, they admit specialisation functors to $S_n$-mod which are tensor-compatible with the functors $\underline{{\rm Rep}}(S_t) \to S_n$-mod. We show that $\mathcal{C}_\lambda$ can be presented using the Kostant integral form of Lusztig's universal enveloping algebra $\dot{U}(\mathfrak{gl_{\infty}})$, and exhibit a categorification of some stability properties of Kronecker coefficients.