arXiv++ Combinatorics

We introduce a variant of the much-studied $Lie$ representation of the symmetric group $S_n$, which we denote by $Lie_n^{(2)}.$ Our variant gives rise to a decomposition of the regular representation as a sum of {exterior} powers of modules $Lie_n^{(2)}.$ This is in contrast to the theorems of Poincaré-Birkhoff-Witt and Thrall which decompose the regular representation into a sum of symmetrised $Lie$ modules. We show that nearly every known property of $Lie_n$ has a counterpart for the module $Lie_n^{(2)},$ suggesting connections to the cohomology of configuration spaces via the character formulas of Sundaram and Welker, to the Eulerian idempotents of Gerstenhaber and Schack, and to the Hodge decomposition of the complex of injective words arising from Hochschild homology, due to Hanlon and Hersh.

The Frobenius characteristic of $Lie_n,$ the representation of the symmetric group $S_n$ afforded by the multilinear component of the free Lie algebra, is known to satisfy many interesting plethystic identities. In this paper we prove a conjecture of Richard Stanley establishing the plethystic inverse of the sum $\sum_{n\geq 0} Lie_{2n+1}$ of the odd Lie characteristics. We obtain an apparently new plethystic decomposition of the regular representation of $S_n$ in terms of irreducibles indexed by hooks, and the Lie representations. We determine the plethystic inverse of the alternating sum of the odd Lie characteristics.

The Kronecker coefficients are the structure constants for the restriction of irreducible representations of the general linear group $GL(n m)$ into irreducibles for the subgroup $GL(n)\times GL(m)$. In this work we study the quasipolynomial nature of the Kronecker function using elementary tools from polyhedral geometry. We write the Kronecker function in terms of coefficients of a vector partition function. This allows us to define a new family of coefficients, the atomic Kronecker coefficients. Our derivation is explicit and self-contained, and gives a new exact formula and an upper bound for the Kronecker coefficients in the first nontrivial case.

In previous work of this author it was conjectured that the sum of power sums $p_λ,$ for partitions $λ$ ranging over an interval $[(1^n), μ]$ in reverse lexicographic order, is Schur-positive. Here we investigate this conjecture and establish its truth in the following special cases: for $μ\in [(n-4,1^4), (n)]$ or $μ\in [(1^n), (3,1^{n-3})], $ or $μ=(3, 2^k, 1^r)$ when $k\geq 1$ and $0\leq r\leq 2.$ Many new Schur positivity questions are presented.

We define, for each subset $S$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. When $S=\emptyset,$ this is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra. The most intriguing case is $S=\{2\},$ giving a decomposition of the regular representation as a sum of {exterior} powers of modules $Lie_n^{(2)}.$ This is in contrast to the theorems of Poincaré-Birkhoff-Witt and Thrall which decompose the regular representation into a sum of symmetrised $Lie$ modules. We show that nearly every known property of $Lie_n$ has a counterpart for the module $Lie_n^{(2)},$ suggesting connections to the cohomology of configuration spaces via the character formulas of Sundaram and Welker, to the Eulerian idempotents of Gerstenhaber and Schack, and to the Hodge decomposition of the complex of injective words arising from Hochschild homology, due to Hanlon and Hersh. For arbitrary $S,$ the symmetric and exterior powers of the module $Lie_n^S$ allow us to deduce Schur positivity for a new class of multiplicity-free sums of power sums.

It is shown that for the conjugation action of the symmetric group $S_n,$ when $n=6$ or $n\geq 8,$ all $S_n$-irreducibles appear as constituents of a single conjugacy class, namely, one indexed by a partition $λ$ of $n$ with at least two parts, whose parts are all distinct and taken from the set of odd primes and 1. The following simple characterisation of conjugacy classes containing all irreducibles is proved: If $n\neq 4,8,$ the partition $λ$ of $n$ indexes a global conjugacy class for $S_n$ if and only if it has at least two parts, and all its parts are odd and distinct.

We establish, for the character table of the symmetric group, the positivity of the row sums indexed by irreducible characters, when restricted to various subsets of the conjugacy classes. A notable example is that of partitions with all parts odd. More generally, we study representations related to the conjugacy action of the symmetric group. These arise as sums of submodules induced from centraliser subgroups, and their Frobenius characteristics have elegant descriptions, often as a multiplicity-free sum of power-sum symmetric functions. We describe a general framework in which such representations, and consequently such linear combinations of power-sums, can be analysed. The conjugacy action for the symmetric group, and more generally for a large class of groups, is known to contain every irreducible. We find other representations of dimension $n!$ with this property, including a twisted analogue of the conjugacy action.

We describe some open problems related to homology representations of subposets of the partition lattice, beginning with questions first raised in Stanley's work on group actions on posets.

Consider S_n, the symmetric group on n letters, and let maj pi denote the major index of a permutation pi in S_n. Given positive integers k,l and nonnegative integers i,j, define m_n^{k,l}(i,j) := number of pi in S_n such that maj pi = i (mod k) and maj pi^{-1} = j (mod l). We prove bijectively that if k,l are relatively prime and at most n then m_n^{k,l}(i,j) = n!/(kl) which, surprisingly, does not depend on i and j. Equivalently, if m_n^{k,l}(i,j) is interpreted as the (i,j)-entry of a matrix m_n^{k,l}, then this is a constant matrix under the stated conditions. This bijection is extended to show the more general result that for d at least 1 and k,l relatively prime, the matrix m_n^{kd,ld} admits a block decompostion where each block is the matrix m_n^{d,d}/(kl). We also give an explicit formula for m_n^{n,n} and show that if p is prime then m_{np}^{p,p} has a simple block decomposition. To prove these results, we use the representation theory of the symmetric group and certain restricted shuffles.

For a fixed positive integer n, let S_n denote the symmetric group of n! permutations on n symbols, and let maj(sigma) denote the major index of a permutation sigma. For positive integers k<m not greater than n and non-negative integers i and j, we give enumerative formulas for the cardinality of the set of permutations sigma in S_n with maj(sigma) congruent to i mod k and maj(sigma^(-1)) congruent to j mod m. When m divides n-1 and k divides n, we show that for all i,j, this cardinality equals (n!)/(km).