The Structure of the Grothendieck Rings of Wreath Product Deligne Categories and their Generalisations

Given a tensor category $\mathcal{C}$ over an algebraically closed field of characteristic zero, we may form the wreath product category $\mathcal{W}_n(\mathcal{C})$. It was shown in [10] that the Grothendieck rings of these wreath product categories stabilise in some sense as $n \to \infty $. The resulting “limit” ring, $\mathcal{G}_\infty ^{\mathbb{Z}}(\mathcal{C})$, is isomorphic to the Grothendieck ring of the wreath product Deligne category $S_t(\mathcal{C})$ as defined by [9] (although it is also related to $FI_G$-modules). This ring only depends on the Grothendieck ring $\mathcal{G}(\mathcal{C})$. Given a ring $R$ that is free as a $\mathbb{Z}$-module, we construct a ring $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ that specialises to $\mathcal{G}_\infty ^{\mathbb{Z}}(\mathcal{C})$ when $R = \mathcal{G}(\mathcal{C})$. We give a description of $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ using generators very similar to the basic hooks of [5]. We also show that $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ is a $\lambda $-ring wherever $R$ is and that $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ is (unconditionally) a Hopf algebra. Finally, we show that $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ is isomorphic to the Hopf algebra of distributions on the formal neighbourhood of the identity in $(W\otimes _{\mathbb{Z}} R)^\times $, where $W$ is the ring of Big Witt Vectors.

A $\lambda$-ring Frobenius Characteristic for $G\wr S_n$

A $\lambda$-ring version of a Frobenius characteristic for groups of the form $G \wr S_n$ is given. Our methods provide natural analogs of classic results in the representation theory of the symmetric group. Included is a method decompose the Kronecker product of two irreducible representations of $G\wr S_n$ into its irreducible components along with generalizations of the Murnaghan-Nakayama rule, the Hall inner product, and the reproducing kernel for $G\wr S_n$.

Free Lie algebra and lambda-ring structure

Let R be a graded λ-ring. We extend a well-known formula in the universal ring of Witt vectors by replacing the power operations by the Adams operations. Our method provides us an easy way to compute the inverse image by the symmetric power operators of certain elements of R. As a corollary we get identities, found by Klyachko and Hanlon, in the rings 1 + ℤ[[t]]+ and 1 + Rˆ[[t]]+, where R is the representation ring of the symmetric groups.