Plethysm for characters of relative operads and PROPs

We investigate the relationship between symmetric functions and the representation theory of operads, relative operads, and props. We extend the classical character map for symmetric sequences to relative bisymmetric sequences and symmetric bimodules. We introduce new operations on symmetric functions, the relative plethysm and the (connected) box product, which model via the character map the composition product of relative operads and the box product of prop(erad)s. As applications, we include the computation of characters for stable twisted cohomology of automorphism groups of free groups and the Albanese cohomology of the IA-automorphism group.