THE CONJUGACY ACTION OF Sn AND MODULES INDUCED
FROM CENTRALISERS
SHEILA SUNDARAM

arXiv:1603.05898v2 [math.RT] 11 Oct 2017

For Benjamin and Priyanka
Abstract. 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 multiplicityfree 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.
Keywords: conjugacy action, character tables, symmetric power, exterior power, plethysm,
Ramanujan sum.

1. Introduction
This paper uses plethystic generating functions to provide a general framework for
analysing representations of the symmetric group which arise as sums of modules induced from centralisers. In particular we are led to the study of the conjugation action
of Sn on itself, and related permutation and sign-twisted permutation representations.
Further inspiration was provided by working through the invaluable collection of problems and references in Richard Stanley’s Enumerative Combinatorics Vol. 2, and especially [23, Exercise 7.71]. It follows from work of Solomon [21] that the Frobenius
characteristic ([14], [23]) of the Sn -action on itself by conjugation is a positive integer
combination of the power-sum symmetric functions, each one occurring exactly once.
More recently it was shown, first in [3], and then in [19], that (for n 6= 2) this representation contains every irreducible, or equivalently, the characteristic is a positive
integer combination of every possible Schur function. For the symmetric group Sn , this
translates into the statement that in its character table, the row-sum indexed by any
irreducible character is positive.
The conjugacy action has been shown to contain every irreducible for a large class
of groups, including the finite simple groups [10]. This result is equivalent to a nonvanishing condition on the kernel of the adjoint action (as in Passman’s problem [10]).
Interestingly, the symmetric group Sn seems to fall into a separate category from that
studied in [10]. The conjugacy action decomposes into orbits indexed by centralisers;
Date: 29 October 2015; revised 26 September 2017.
2010 Mathematics Subject Classification. 20C05, 20C15, 20C30, 05E18, 06A07.
1

2

SHEILA SUNDARAM

for Sn these are symmetric powers of representations induced by the trivial character
of a cyclic subroup, and hence our motivation for studying the symmetric and exterior
powers of such representations.
These investigations result in the discovery of several other Sn -modules with the
same dimension as the regular representation, sharing properties of the conjugation
action. Many seem to contain every irreducible. In addition, the conjugacy action of the
alternating subgroup is shown to play a prominent role in these modules. Our methods
also provide a framework for the study of many nonnegative linear combinations of
power-sums.
We write λ ⊢ n to mean that λ is an integer partition λ1 ≥ λ2 ≥ . . . of n. Write ℓ(λ)
for the length, or number of parts, of λ. Write P arn for the set of all partitions of n,
DOn for the subset of P arn consisting of partitions with all parts distinct and odd. Fix
n and let Tn denote any subset of the partitions
of n. Consider the linear combination
P
of power-sum symmetric functions PTn = λ∈Tn pλ . We will say a symmetric function
is Schur-positive if it is a nonnegative integer combination of Schur functions.
Observe that PTn is the Frobenius characteristic of a possibly virtual Sn -module
of nonzero dimension if and only if Tn includes the partition (1n ), in which case the
dimension is n!. Also note that the case Tn = P arn corresponds to the result mentioned
above about the conjugation action of Sn . Sample results of this paper follow. For the
sake of completeness we include Solomon’s result.
Theorem 1.1. For the following choices of Tn , the sums PTn are Schur-positive (and
hence they are the Frobenius characteristic of some Sn -module).
(0) (Corollary 4.3) Tn = P arn .
(1) (Theorem 4.6) Tn = {λ ∈ P arn : λ has all parts odd}.
(2) (Theorem 4.11) Tn = {λ ∈ P arn : n − ℓ(λ) even}.
(3) (Theorem 4.15) Tn = {λ ∈ P arn : λ ∈
/ DOn , n − ℓ(λ) even}, n ≥ 2.
(4) (Theorem 4.11) Tn = {λ ∈ P arn : λ ∈
/ DOn }, n ≥ 2.
(5) (Theorem 4.23) Tn = {λ ∈ P arn : λi = 1 or k}, for any fixed k ≥ 1.
(6) (Theorem 5.6) Tn = {λ ∈ P arn : λi divides k}, for any fixed k ≥ 1.
(7) (Theorem 5.6) For a fixed odd prime p, Tn is the subset of partitions of n with
parts in the set {1, 2, p, 2p} such that an even part occurs at most once.
(8) (Theorem 5.6) Tn consists of partitions λ of n such that odd parts are factors of
k, even parts occur at most once and λi even =⇒ (λi /2)|k but λi 6 |k, for any
fixed k ≥ 1.
For the character table of Sn with rows indexed by the irreducible characters, each of
the above translates into a nonnegativity statement about a suitably restricted row-sum,
omitting certain columns (i.e., conjugacy classes). In some cases (e.g., (1)-(4) above) we
are able to establish the stronger statement that these row sums are strictly positive,
with an exception in case (4) for the row indexed by the sign character, which does not
appear. We note also that by considering induced representations, the statement holds
when each of the subsets described above is modified by restricting to partitions with
at least m parts equal to 1, for any fixed m ≥ 0.
It is tempting to think that including the partition (1n ) in the subset Tn will guarantee
Schur-positivity, by virtue of the dominating presence of the regular representation, but
the following examples show that this is not the case. Suppose Tn consists of (1n )
and all partitions λ of n such that n − ℓ(λ) is odd. It is easily seen that the sign

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

3

representation occurs in PTn with negative multiplicity 1 − |{λ ∈ P arn : n − ℓ(λ) odd}|
when n ≥ 4. For instance, we have PT4 = p41 + p2 p21 + p4 , PT5 = p51 + p2 p31 + p3 p2 + p4 p1 ,
and PT6 = p61 + p2 p41 + p32 + p3 p2 p1 + p4 p21 + p6 , and in these the sign representation occurs
with multiplicity −1, −2, −4 respectively.
Other examples are T6 = {(16 ), (2, 14), (32 ), (4, 2), (4, 12)} (the multiplicity of the
Schur function indexed by (2, 14 ) is −1) and T6 = {(16 ), (23), (3, 13 ), (4, 12), (4, 2)} : in
the latter the multiplicity of the Schur function indexed by (32 ) is −1.
The context in which these representations arise is interesting in its own right. We
define a twisted conjugacy action of Sn on itself, as the following sum of induced modules
from centralisers. Recall that the centraliser of a permutation with mi cycles of length
i is a direct product of wreath product groups ×i Smi [Ci ], where Ci is a cyclic subgroup
of order i. First define a representation of the wreath product Sk [Cm ] so that Sm acts
by conjugation on the m-cycles, and Sk acts on the k disjoint m-cycles according to
the sign representation. Then take outer tensor products, inducing up to Sn from a
centraliser of the form ×i Smi [Ci ]. We call the sum of all such modules, ranging over all
possible conjugacy classes, the twisted conjugacy representation of Sn .
Theorem 1.2. The twisted conjugacy representation is self-conjugate, has dimension
n!, and contains every irreducible. Its Frobenius charactestic is given by PTn where
Tn = {λ ∈ P arn : λ has all parts odd}.
By considering conjugacy actions (ordinary and twisted) on the subsets of even and
odd permutations separately, we show
Theorem 1.3. (Theorems 4.17 and 4.19) The ordinary (respectively twisted) conjugacy
action on the set of even permutations contains every irreducible for n ≥ 4 (respectively
n ≥ 5) while both actions on the set of odd permutations contain every irreducible except
the sign, for n ≥ 2.
The arguments are technical and make use of number-theoretic results on the distribution of primes. In the case of the ordinary conjugacy action, Frumkin’s result follows
as a corollary.
We also study related representations of the alternating group, and show the following:
Theorem 1.4. (Theorem 6.4) Consider the conjugacy action of the alternating group
An on itself, and the representation of Sn obtained by inducing this action up to Sn .
This is a self-conjugate representation of Sn of dimension n!, in which every irreducible
occurs for n 6= 3. It contains the conjugacy action on the even permutations as an
invariant submodule.
As a corollary of the preceding theorem we obtain a different proof of a result that
follows from work of Heide, Saxl, Tiep and Zalesski [10], namely, that the conjugacy
action of An (n 6= 3) on itself also contains every An -irreducible. See Section 6.
The case k = 2 of Theorem 1.1 (5) can be generalised in the following direction:
Conjecture 1. Let Ln denote the
Preverse lexicographic ordering [14, p. 6] on the set
of partitions of n. Then the sum
pλ , taken over any final segment of the total order
Ln , i.e., any interval of the form [µ, (1n )] for fixed µ, (and thus necessarily including
the partition (1n )) is Schur-positive.
The paper is organised as follows. In Sections 2 and 3 we describe a general framework
within which these questions can be investigated. In Section 4 we specialise these

4

SHEILA SUNDARAM

theorems to the conjugacy action of Sn , and in Section 5 we consider symmetric and
exterior powers of an arbitrary linear character of a cyclic subgroup of Sn (the Foulkes
characters [4]). In Section 6 we consider the alternating group, and more generally a
finite group G with a subgroup H of index 2.
At the end of the paper we have included four tables, generated using Stembridge’s
SF package for Maple. Tables 1 and 2 contain respectively the decomposition into
irreducibles for the conjugacy action and its twisted counterpart, up to n = 10. Table
3 lists the decomposition into irreducibles of the conjugacy action on the set of even
permutations and on the set of odd permutations, while Table 4 lists the decomposition
into irreducibles on the same two sets, but for the twisted conjugacy action. Tables 3
and 4 contain this data up to n = 12.
2. The plethystic framework
We follow [14] and [23] for notation regarding symmetric functions. In particular, hn ,
en and pn denote respectively the complete homogeneous, elementary and power-sum
symmetric functions. If ch is the Frobenius characteristic map from the representation
ring of the symmetric group Sn to the ring of symmetric functions with real coefficients,
then hn = ch(1Sn ) is the Frobenius characteristic of the trivial representation, and
en = ch(sgnSn ) is the Frobenius characteristic
of the sign representation of Sn . If µ
Q
is a partition of n then define pµ = i pµi ; hµ and eµ are defined multiplicatively in
analogous fashion. As in [14], sµ denotes the Schur function indexed by the partition µ;
it is the Frobenius characteristic of the Sn -irreducible indexed by µ. Letting zµ denote
the size of the centraliser in Sn of an element of cycle-type µ, we have that zµ−1 pµ is the
Frobenius characteristic of the class function whose value is 1 on the conjugacy class of
type µ and zero on all other classes. Finally, ω is the involution on the ring of symmetric
functions which takes hn to en , corresponding to tensoring with the sign representation.
If q and r are characteristics of representations of Sm and Sn respectively, they yield
a representation of the wreath product Sm [Sn ] in a natural way, with the property
that when this representation is induced up to Smn , its Frobenius characteristic is the
plethysm q[r]. For more background about this operation, see [14].
In this paper we study representations of Sn induced from centralisers. The centraliser
of an element with cycle-decomposition corresponding to the partition µ of n is a direct
product of wreath products ×i Smi [Ci ], where µ has mi parts equal to i and Ci is a cyclic
subgroup
Q of order i (generated by an i-cycle). Note that the centraliser has cardinality
zµ = i imi (mi !). As indicated in the preceding paragraph, we will make extensive use
of properties of the plethysm operation.
Define
X
X
H(t) =
ti hi , E(t) =
ti ei ;
i≥0

i≥0

±

H (t) = H(−t) =

X

(−1)i ti hi ,

E ± (t) = E(−t) =

i≥0

H=

X
i≥0

hi ,

E=

X
i≥0

X

(−1)i ti ei ;

i≥0

ei ;

H± =

X
i≥0

(−1)i hi ,

E± =

X
(−1)i ei .
i≥0

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

5

Now let {qi }i≥1 be a sequence of symmetric functions, each qi homogeneous of degree i. For example, each qi may
of a possibly virtual
P be the Frobenius
Pcharacteristic
n
representation of Si . Let Q = i≥1 qi and Q(t) = n≥1 t qn .
P
For each partition λ of n ≥P
1 with mi (λ)
=
m
parts
equal
to
i,
let
|λ|
=
n
=
i
i imi
P
be the size of λ, and ℓ(λ) = i mi (λ) = i mi be the length (total number of parts)
of λ. Also we say a partition µ is contained in λ, written µ ⊆ λ, if µi ≤ λi for all i. In
this case λ/µ is a skew partition and sλ/µ is the associated skew Schur function. (When
µ = ∅, sλ is the ordinary Schur function indexed by the partition λ. )
Define, for each partition λ of n ≥ 1 with mi (λ) = mi parts equal to i,
Q
Q
Hλ [Q] = i:mi (λ)≥1 hmi [qi ] and Eλ [Q] = i:mi (λ)≥1 emi [qi ].
Also define
Q
Q
Hλ± [Q] = i:mi (λ)≥1 (−1)mi hmi [qi ] and Eλ± [Q] = i:mi (λ)≥1 (−1)mi emi [qi ].

For the empty partition (of zero) we define H∅ [Q] = 1 P
= E∅ [Q] = H∅± [Q] = E∅± [Q].
We have, by definition of H ± (respectively E ± ), since i mi = ℓ(λ),

Hλ± [Q] = (−1)ℓ(λ) Hλ [Q] and Eλ± [Q] = (−1)ℓ(λ) Eλ [Q].
We will derive some general facts about the plethysms H[Q] and E[Q]. Let H[Q](t)
(respectively E[Q](t)) denote the power series in t, with coefficients in the ring of symmetric functions, such that the coefficient of tn is the degree n term (i.e., the symmetric
function of homogeneous degree n) in H[Q] (respectively E[Q]). We define H ± [Q](t)
and E ± [Q](t) analogously. With the convention that P ar, the set of all partitions of
nonnegative integers, includes the unique empty partition of zero, by the preceding
observations and standard properties of plethysm [14] we have
H(v)[Q](t) =

X

t|λ| v ℓ(λ) Hλ [Q],

and E(v)[Q](t) =

λ∈P ar

H ± [Q](t) =

t|λ| v ℓ(λ) Eλ [Q];

λ∈P ar

X

t|λ| Hλ± [Q] =

λ∈P ar

and E ± [Q](t) =

X

X

t|λ| (−1)ℓ(λ) Hλ [Q],

λ∈P ar

t|λ| Eλ± [Q] =

λ∈P ar
alt

X

X

t|λ| (−1)ℓ(λ) Eλ [Q].

λ∈P ar

Also write Q for the alternating sum n≥1 (−1)i−1 qi = q1 − q2 + q3 − . . . .
We record some properties of plethysm that are important for our purposes (see [14]):
P

Proposition 2.1. If q, r are symmetric functions of homogeneous degrees m and n,
respectively, g1 , g2 are arbitrary symmetric functions, and λ is any partition, then
(1) (f g)[q] = f [q]
P · g[q];
(2) sλ [q + r] = µ⊆λ sλ/µ [f ]sµ [g]; we single out the special cases λ = (n), λ = (1n ) :
P
P
hn [q + r] = nk=0 hk [q]hn−k [r] and en [q + r] = nk=0 ek [q]en−k [r];
(3) q[−r] = (−1)deg q · (ωq)[r]
= (−1)m (ωq)[r];

deg r
(4) ω(q[r]) = ω
(q) [ωr] = (ω n (q)) [ωr].

Lemma 2.2. We have
(2.2.1)

ω(Eλ [Q]) = (−1)|λ|−ℓ(λ) Hλ [ω(Q)alt ] = (−1)|λ| ω Eλ± [Q]



6

SHEILA SUNDARAM

=

XY
λ⊢n

em2i [ωq2i ]hm2i+1 [ωq2i+1 ];

i

ω(Hλ[Q]) = (−1)|λ|−ℓ(λ) Eλ [ω(Q)alt ] = (−1)|λ| ω Hλ± [Q]
XY
=
hm2i [ωq2i ]em2i+1 [ωq2i+1 ];

(2.2.2)

λ⊢n



i

Proof. We prove P
(2.2.1), since (2.2.2)
P
P is essentially the
P same. Observe that |λ| − ℓ(λ) =
i (i − 1)mi ≡
j (2j)m2j+1 +
j (2j − 1)m2j ≡
j m2j mod 2. Now a calculation
using Proposition 2.1 shows that
ω(Eλ[Q])
Y
Y
=
ω(em2i [q2i ]) · ω(em2i+1 [q2i+1 ]) =
ω 2i (em2i )[ωq2i ] · ω 2i+1 (em2i+1 )[ωq2i+1 ]
i

=

Y
i

i

Y
em2i [ωq2i ]hm2i+1 [ωq2i+1 ] =
(−1)m2i hm2i [−ωq2i ]hm2i+1 [ωq2i+1 ]

= (−1)

i

|λ|−ℓ(λ)

Y

hmi [(−1)

i−1

ωqi ] = (−1)|λ|−ℓ(λ) Hλ [ω(Q)alt ]

i

Equation (2.2.2) follows mutatis mutandis; we need only interchange e’s and h’s in
the above sequence. The other equalities follow by applying the previous observations
about Hλ± and Eλ± .

Proposition 2.3. Let {qi } be a sequence of symmetric functions with each qi of homogeneous degree i, and let S P
be any subset of the positive integers. Let S̄ denote
the complement of P
S. Let Q = i≥1 qi as before, and for any subset T of the positive
integers, let QT = i∈T qi . Then
(1) H[QS ] = E ± [QS̄ ] · H[Q];
(2) E[QS ] = H ± [QS̄ ] · E[Q].
In particular if each qi is the Frobenius characteristic of a true Si -module, then the
coefficient of tn in E ± [QS̄ ] · H[Q] (respectively H ± [QS̄ ] · E[Q]) is also the characteristic
of a true Sn -module, for any subset S of the positive integers.
Proof. We only prove (1), since (2) is similar. First note that, in the ring of symmetric
functions,PH[Q] = H[QS ] · H[QS̄ ]. This follows, for example, by using the fact that
H[Q] = λ∈P ar Hλ [Q], and keeping track of partitions λ with parts i ∈ S. Thus we
have H[QS ] · H[QS̄ ] = H[Q].
Recall the well-known identity [14] H(t) · E ± (t) = 1 = E(t) · H ± (t) (i.e., H and E ±
are multiplicative inverses in the ring of symmetric functions, as are E and H ± .) Thus
we have 1/H[QS̄ ] = ( H1 )[QS̄ ] = E ± [QS̄ ]. The result follows immediately.

case S̄ = {α} deserves special mention, since then we have E ± [QS̄ ] =
PThe singleton
±
r
r≥0 (−1) er [qα ], and similarly for H . Then we have
Corollary 2.4.

H[QS ] = (

X
r≥0

(−1)r er [qα ]) H[Q];

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

E[QS ] = (

X

7

(−1)r hr [qα ]) E[Q].

r≥0

In particular if Q and S are such that Hλ [QS ] (respectively Eλ [QS ]) is a representation
for every λ ⊢ n, then the same is true for the term of degree n in the right-hand sides
above.
Next we prove a result giving information about the irreducibles appearing in H[QS ]
and E[QS ] in this very general setting. We will apply a similar idea in Section 4 to prove
that certain representations of the symmetric group share the property of the regular
representation of containing at least one copy of each irreducible. Curiously, we need a
number-theoretic result.
Theorem 2.5. [11, Theorem 418]; [18, Sec. 3.1, Exercises 28 and 30]
(1) (Bertrand’s Postulate): For every positive integer n ≥ 3, there is a prime p such
that n/2 < p < n.
(2) Every positive integer n can be written as a sum of distinct primes and the
integer 1. Equivalently, for every n there is a partition δ of n whose parts are
all distinct, and prime or equal to 1.
Bertrand’s Postulate actually states that for each positive integer m ≥ 2, there is a
prime p such that m < p < 2m. If n = 2m, then n ≥ 4, and n/2 = m, n = 2m. If
n = 2m+1, then n ≥ 5 and we have (n−1)/2 = m < p < 2m < n so that m+1 ≤ p < n.
But n/2 < m + 1 so we are done. If n = 3, clearly the prime 2 satisfies n/2 < p < n.
Proposition 2.6. Let {qi : i ≥ 1} be a sequence of Frobenius characteristics of Si modules (so q1 = h1 ). Suppose that whenever k is prime, the representation corresponding to qk contains every irreducible of Sk . Let δ ⊢ n be a partition with all parts prime
and distinct. Then the Sn -module whose characteristic is Hδ [Q] (respectively Eδ [Q])
also contains every Sn -irreducible.
Q
Proof. We have Hδ [Q] =
qδi where the δi are all distinct and each
P is either prime
or equal to 1. Thus each δi contains the sum of Schur functions λ⊢i sλ . It suffices
to establish the result when δ has only two parts, say δ1 = k, δ2 = m. Let µ be a
partition of n, and choose any partition ν of k. Consider the skew-Schur function sµ/ν .
It is well-known
[14] that this decomposes into irreducibles according to the formula
P
µ
sµ/ν = ρ⊢m cν,ρ sρ , where the cµν,ρ are the Littlewood-Richardson coefficients. Since the
skew-Schur function sµ/ν is a nonzero symmetric function, (k < n), there is a partition
ρ ⊢ m such that cµν,ρ 6= 0. Equivalently, for every µ ⊢ n, sµ appears in the product sν · sρ ,

which in turn appears in the product qδ1 qδ2 . This finishes the proof.
3. A specific choice of Q(t)
We will study the symmetric functions H[Q] and E[Q] for Q of a specific form, which
we now describe. Let ψ(n) be any real-valued function defined on the positive integers.
Define symmetric functions fn by
n
1P
d
fn =
d|n ψ(d)pd ,
n
so that

8

SHEILA SUNDARAM

n
1P
n− n
d pd .
d
d|n ψ(d)(−1)
n
Note that, when ψ(1) is a positive integer, this makes fn the Frobenius characteristic
of a possibly virtual Sn -module whose dimension is (n − 1)!ψ(1).
Also define the associated polynomial in one variable, t, by
1P
n
d
fn (t) =
d|n ψ(d)t .
n
P
P
Proposition 3.1. Let F (t) = t≥1 ti fi , (ωF )alt (t) = i≥1 (−1)i−1 ti ω(fi ). Then
Y
ψ(d)
F (t) = log (1 − td pd )− d
(3.1.1)

ω(fn ) =

d≥1

(ωF )alt (t) = log

(3.1.2)

Y

(1 + td pd )

ψ(d)
d

d≥1

Proof.
F (t) =

X tn X
n≥1

n

n

ψ(d)pdd =

X X tmd

m≥1 d≥1

d|n

X1

md

ψ(d)pm
d

(put n = md)

X 1
X1
=
ψ(d)
(td pd )m =
ψ(d) log(1 − td pd )−1
d
m
d
m≥1
d≥1
d≥1
Y
ψ(d)
= log (1 − td pd )− d .
d≥1

Similarly,

(ωF )alt (t) =

X

(−1)n−1 tn ω(fn ) =

n≥1

=

X1

(−1)n−1

n≥1

X X tmd

m≥1 d≥1

=

X

md

ψ(d)

ψ(d)(−1)m−1 pm
d

n n
tn X
ψ(d)(−1)n− d pdd
n

d|n

(again put n = md)

X (−1)m−1
X1
(td pd )m =
ψ(d) log(1 + td pd )
m
d
m≥1

d
Y
ψ(d)
= log (1 + td pd ) d .
d≥1

d≥1

d≥1



Theorem 3.2. Let H(v) = n≥0 v n hn and E(v) = n≥0 v n en . We have the following
plethystic generating functions:
(Symmetric powers)
X
Y
(3.2.1)
H(v)[F ](t) =
tλ| v ℓ(λ) Hλ [F ] =
(1 − tm pm )−fm (v)
P

P

m≥1

λ∈P ar

(Exterior powers)
(3.2.2)

E(v)[F ](t) =

X

λ∈P ar

(Alternating exterior powers)

tλ| v ℓ(λ) Eλ [F ] =

Y

m≥1

(1 − tm pm )fm (−v)

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

P

λ∈P ar

(3.2.3)

=

X

9

tλ| (−1)|λ|−ℓ(λ) v ℓ(λ) ω(Eλ [F ])

tλ| v ℓ(λ) Hλ [ω(F )alt ] = H(v)[ω(F )alt](t) =

Y

(1 + tm pm )fm (v)

m≥1

λ∈P ar

(Alternating symmetric powers)
P

λ∈P ar

(3.2.4)

=

X

tλ| (−1)|λ|−ℓ(λ) v ℓ(λ) ω(Hλ[F ])

tλ| v ℓ(λ) Eλ [ω(F )alt ] = E(v)[ω(F )alt](t) =

Y

(1 + tm pm )−fm (−v)

m≥1

λ∈P ar

Proof. Since H(v) = exp
t = 1):

P

i≥1

v i pi
,
i

Equation (3.1.1) of Proposition 3.1 gives (taking

"
#
X v i pi X ψ(d)
−1
log(1 − pd )
H(v)[F ] = exp
i
d
i≥1
d≥1
"
#
X v i X ψ(d)
log(1 − pid )−1 (using pi [pj ] = pij )
= exp
i
d
i≥1
d≥1
X 1 X
= exp
v m/d ψ(d) log(1 − pm )−1 (putting m = id)
m
m≥1
d|m
X
1 P
m/d
= exp
log(1 − pm )− m d|m ψ(d)v
m≥1

= exp log

Y

m≥1

Since E(v) = exp
m
ψ(d)(−1) d −1 ,

P

i≥1 (−1)

1

(1 − pm )− m

i−1 vi pi
,
i

P

d|m

ψ(d)vm/d

=

Y

(1 − pm )−fm (v) .

m≥1

exactly as before we obtain, by replacing ψ(d) with

X 1 X
m
ψ(d)v m/d (−1) d −1 log(1 − pm )−1
m
m≥1
d|m
m
Y
Y
1 P
m/d
d
(1 − pm )fm (−v) .
= exp log
(1 − pm ) m d|m ψ(d)v (−1) =

E(v)[F ] = exp

m≥1

m≥1

10

SHEILA SUNDARAM

As above, using (3.1.2) of Proposition 3.1, and Equation (2.2.1), we have
"
#
X v i pi X ψ(d)
H(v)[(ωF )alt] = exp
log(1 + pd )
i
d
i≥1
d≥1
= exp

X
i≥1

vi

X ψ(d)
d≥1

id

log(1 + pid )

X 1 X
= exp
ψ(d)v m/d log(1 + pm )
m
m≥1
d|m
X
1 P
m/d
= exp
log(1 + pm ) m d|m ψ(d)v
m≥1

= exp log

Y

1

(1 + pm ) m

P

d|m

ψ(d)vm/d

m≥1

=

Y

(1 + pm )fm (v) .

m≥1

E(v)[(ωF )alt ]
"
#
i
X ψ(d)
X
X ψ(d)
v
p
i
log(1 + pd ) = exp
v i (−1)i−1
log(1 + pid )
= exp
(−1)i−1
i
d
id
i≥1
i≥1
d≥1
d≥1
X 1 X
m
(−1) d −1 ψ(d)v m/d log(1 + pm )
= exp
m
m≥1
d|m
m −1
X
1 P
m/d
d
= exp
log(1 + pm ) m d|m ψ(d)v (−1)
X

m≥1

= exp log

Y

m≥1

(1 + pm )−fm (−v) =

Y

(1 + pm )−fm (−v) .

m≥1

The generating functions in the statement of the theorem now follow, noting that the
power of t keeps track of the homogeneous degree of the symmetric function on each
side.

P
n
From Theorem 3.2 it is clear that the values of the polynomial fn (u) = n1 d|n ψ(d)u d ,
evaluated
P at u = ±1, appear prominently in the symmetric and exterior powers of
F = n≥1 fn . It turns out that, regardless of the choice of the function ψ(d), for the
particular choice of fn in this section, the two numbers fn (1) and fn (−1) determine
each other via a simple formula. In fact the values of fm (1) completely determine the
symmetric function fn . We record this observation in
Proposition 3.3. With fn defined as above, we have
(1) f2m+1 (−1) = −f2m+1 (1) for all m ≥ 0, and f2m (−1) = fm (1) − f2m (1) for all
m ≥ 1. P
n
(2) ψ(n) =
d|n µ( d ) d fd (1), and hence the symmetric function fn is completely
determined by the values fd (1), d|n.

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

11

P
2m+1
1
d
Proof. For Part (1), we have f2m+1 (−1) = 2m+1
= −f2m+1 (1).
d|(2m+1) ψ(d)(−1)
For the second equality, we compute


2m
2m
1 X
1 X
ψ(d) (−1) d + (1) d = 2 ·
f2m (−1) + f2m (1) =
ψ(d).
2m
2m
d|(2m)

d|(2m)
even

2m
d

P
is even if and only if d divides m, we have f2m (−1) + f2m (1) = m1 d|m ψ(d) =
Since 2m
d
fm (1), as claimed.
P
For Part (2), the expression for ψ(n) is obtained from the equality fn (1) = n1 d|n ψ(d)
by Möbius inversion.

Theorem 3.2 has the following important corollary, which we will later use to determine families of linear combinations of power-sums that are Schur-positive:
Theorem 3.4. Suppose the functions fn are Frobenius characteristics of true representations of Sn , i.e., fn is Schur-positive. Then the following are also true representations
of Sn :
(1) Hλ [F ] for each λ ∈ P ar;Q
P
(2) The coefficient of tn in m≥1 (1 − tm pm )−fm (1) = λ⊢n Hλ [F ];
(3) Eλ [F ] for each λ ∈ P ar;Q
P
(4) The coefficient of tn in m≥1 (1 − tm pm )fm (−1) = λ⊢n Eλ [F ].
(5) The coefficient of tn in
!
X
Y
1 Y
Eλ [F ];
(1 − tm pm )fm (−1) + (1 + (−1)m−1 tm pm )fm (1) =
2 m
m
λ⊢n
n−ℓ(λ) even

(6) The coefficient of tn in
1
2

Y
m

Y
(1 − tm pm )fm (−1) −
(1 + (−1)m−1 tm pm )fm (1)
m

!

=

X

Eλ [F ];

λ⊢n
n−ℓ(λ) odd

(7) The coefficient of tn in
1
2

Y

(1 − tm pm )−fm (1) +

m

Y

(1 + (−1)m−1 tm pm )−fm (−1)

m

!

=

!

=

X

Hλ [F ];

X

Hλ [F ].

λ⊢n
n−ℓ(λ) even

(8) The coefficient of tn in
1
2

Y
Y
(1 − tm pm )−fm (1) −
(1 + (−1)m−1 tm pm )−fm (−1)
m

m

λ⊢n
n−ℓ(λ) odd

Proof. We use Theorem 3.2 with the specialisation v = 1. Parts (1)-(4) are immediate
from the definitions. Parts (5) and (6) follow from Theorem 3.2, Equations (3.2.2) and
(3.2.3), by splitting up the sums according to sign, namely:
X
X
Y
t|λ| Eλ [F ] +
t|λ| Eλ [F ] =
(1 − tm pm )fm (−1) ,
(A)
λ⊢n
|λ|−ℓ(λ) even

λ⊢n
|λ|−ℓ(λ) odd

m≥1

12

SHEILA SUNDARAM

and, applying the involution ω to the alternating exterior power in Equation (3.2.3):
X
X
Y
t|λ| Eλ [F ] −
t|λ| Eλ [F ] =
(1 + (−1)m−1 tm pm )fm (1) .
(B)
λ⊢n
|λ|−ℓ(λ) even

λ⊢n
|λ|−ℓ(λ) odd

m≥1

Adding and subtracting (A) and (B) immediately give (5) and (6) respectively.
Parts (7) and (8) follow in identical fashion using Equation (3.2.1) and (3.2.4).



Now assume ψ(1) = 1 in the definition of fn . Then fn is the Frobenius characteristic
of a possibly virtual Sn module of dimension (n − 1)!, whose restriction to Sn−1 is the
regular representation. This is easily seen by taking the partial derivative of fn with
respect to the first power-sum symmetric function p1 [14]. We will need the following
fact about this differential operator [14]:
For symmetric functions u and v each of homogeneous degree,


∂
∂u
∂v
(3.4.1)
(u[v]) =
[v] ·
∂p1
∂p1
∂p1
In what follows we will often use the Frobenius characteristic of an Sn -module to refer
to the module itself.

Proposition 3.5. Now assume ψ(1) = 1, so that the restriction of the representation
n
fn to Sn−1 is the regular representation, i.e., ∂f
= p1n−1 . With notation as above, let
∂p1
P
P
H[F ](t) = G(t) = n≥0 tn gnsym and E[F ](t) = Gext (t) = n≥0 tn gnext. Then as virtual
modules, we have
∂
∂ sym
∂ sym
gn+1 =
(p1 gnsym ) = gnsym + p1
(g )
∂p1
∂p1
∂p1 n
and
∂ ext
∂
∂ ext
gn+1 =
(p1 gnext ) = gnext + p1
(g ).
∂p1
∂p1
∂p1 n
Equivalently, we have the identities
P
P
sym i
∂
∂
ext i
p1 .
g sym = ni=0 gn−i
p1 ,
g ext = ni=0 gn−i
∂p1 n+1
∂p1 n+1

Proof. The hypothesis about fn can be restated in terms of symmetric functions as
∂fn
= p1n−1 . We take partial derivatives with respect to p1 in the equation H[F ](t) =
∂p1
G(t), first observing two key points:
∂hn
∂H
= hn−1 implies that ∂p
= H, and, because each fn restricts to the regular
∂p1
1
P
∂F (t)
representation of Sn−1 , ∂p1 = n≥1 tn p1n−1 = t(1 − tp1 )−1
Hence we have, using the fact about restriction of induced wreath product modules:
H[F ](t) · t(1 − tp1 )−1 =

∂G(t)
,
∂p1

(A)

and hence
t · G(t) = (1 − tp1 ) ∂G(t)
.
∂p1
sym
sym
P
P
n ∂gn
n ∂gn+1
=
=
t
·
.
t
t
But ∂G(t)
n≥1
n≥0
∂p1
∂p1
∂p1
Thus the first equation (A) becomes

G(t) · t(1 − tp1 )−1 =

(B)

(C)
∂G(t)
∂p1

(A1)

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

13

and the second equation (B) becomes
∂G(t)
∂p1

tG(t) = (1 − tp1 ) ·

(B1)

From (B1) and (C) it follows upon equating coefficients of tn , n ≥ 0, that
sym
∂gn+1
∂g sym
− p1 n ,
∂p1
∂p1
P
sym i
sym
= ni=0 gn−i
p1 .
while (A1) and (C) yield ∂p∂ 1 gn+1
ext
The statement for gn is completely analogous.

gnsym =



4. Conjugation in the symmetric group
In this section we let ψ(d) = φ(d), where φ is the number-theoretic totient function.
n
P
Then fn = n1 d|n φ(d)pdd is the Frobenius characteristic of the representation 1 ↑SCnn of
Sn induced from the trivial representation of a cyclic subgroup of order n, that is, of Sn
acting on the class of n-cycles by conjugation.
n
P
Lemma 4.1. We have, for fn = n1 d|n φ(d)pdd :
(1) fn (1) = 1 forPall n ≥ 1.
n
(2) fn (−1) = n1 d|n φ(d)(−1) d = (−1)δn,odd .

P
Proof.
(1) This is immediate from the well-known fact that d|n φ(d) = n.
(2) First let n be odd. Then by Lemma 3.3, fn (−1) = (−1)fn (1) and the result
follows from (1). Now let n be even. Then Lemma 3.3 tells us that fn (−1) =
fn/2 (1) − fn (1) = 1 − 1 = 0 by (1).
This establishes the claim.

Define P arnodd (respectively P arneven ) to be the set of partitions of n with all parts
odd (respectively even), and P arn6= to be the set of partitions of n with distinct parts.
(An old result of Euler states that P arnodd and P arn6= have the same cardinality.) As in
the Introduction, define DOn = P arn6= ∩ P arnodd , the set of all partitions of n into parts
that are odd and distinct. (It is also well-known that DOn has the same cardinality as
the set of self-conjugate partitions of n. ) From Theorem 3.2 (taking v = 1) and Lemma
4.1, we have
Sn
as in the preceding lemma.
Theorem 4.2. Let fn be the Frobenius characteristic of 1 ↑C
n
Then
(1) (Symmetric powers)
X
Y
X
X
pλ ;
(4.2.1)
H[F ](t) =
t|µ| Hµ [F ] =
(1 − tm pm )−1 =
tn
µ

m≥1

X

(4.2.2)

Hµ [F ] =

µ⊢n

n≥0

X

λ∈P arn

pλ .

λ∈P arn

(2) (Exterior powers)
X
Y
X
(4.2.3)
E[F ](t) =
t|µ| Eµ [F ] =
(1 − t2m+1 p2m+1 )−1 =
tn
µ

m≥0

n≥0

X

odd
λ∈P arn

pλ .

14

SHEILA SUNDARAM

X

(4.2.4)

µ⊢n

X

Eµ [F ] =

pλ .

odd
λ∈P arn

(3) (Alternating exterior powers)
X
Y
X
X
(4.2.5)
(−1)|λ|−ℓ(λ) t|λ| ω(Eλ[F ]) =
(1 + tm pm ) =
tn
pλ .
m≥1

λ

X

(4.2.6)

(−1)|µ|−ℓ(µ) ω(Eµ [F ]) =

µ⊢n

n≥0

X

6=
λ∈P arn

pλ .

6
=
λ∈P arn

(4) (Alternating symmetric powers)
Y
X
X
X
pλ .
(−1)|λ|−ℓ(λ) t|λ| ω(Hλ [F ]) =
(1 + t2m+1 p2m+1 ) =
tn
(4.2.7)
m≥0

λ

(4.2.8)

X
µ⊢n

(−1)|µ|−ℓ(µ) ω(Hµ [F ]) =

n≥0

X

λ∈DOn

pλ .

λ∈DOn

We now interpret the preceding calculations in the context of the operation of Sn on
itself by conjugation. This action results in a permutation representation ψ(Sn ) whose
orbits are the conjugacy classes of Sn (indexed by partitions of n); since the centraliser
of any element of type λ is a direct product of wreath products of the form ×i Smi [Ci ] if λ
has mi parts equal to i, it follows easily that the degree n term in H[F ] is the Frobenius
characteristic of the conjugacy action of Sn on itself, and more specifically, the degree
n term in Hλ [F ] is the characteristic of the conjugation action on the conjugacy class
indexed by the partition λ. Hence we obtain, as an immediate corollary to (1) above,
the following result, Part (2) of which is the case G = Sn of [21].
Corollary 4.3. Let fn = ch(1 ↑SCnn ). Let ψ(Sn ) denote the representation of Sn acting
on itself by conjugation. Then
P
P
Q
(1) ch(ψ(Sn )) = λ⊢n Hλ [F ] = λ⊢n,λ=Q imi i hmi [fi ].
Pi
(2) [23, Exercise 7.71 (c)] ch(ψ(Sn )) = λ⊢n pλ .
In particular, if χν is the irreducible Sn -character indexed byPthe partition ν of n, we recover the known result ([21]) that for every partition ν of n, λ⊢n χν (λ) is a nonnegative
integer.
Proof.
These facts are immediate
3.2 (1), since the coefficient of tn in
Q
P from Theorem
Q
m
−1
is precisely λ⊢n,λ=Q imi i hmi [fi ]. The proof is completed by using
m≥1 (1 −t pm )
i
P
the expansion pλ = ν⊢n sν χν (λ).


The conjugation action of Sn on itself has been the subject of several papers ( [3],
[19]), and ([17, 8.6.3]). See also [23, Solution to Exercise 7.71 (a) and (b))] for a more
modern treatment in terms of symmetric functions. For arbitrary finite groups we have
the following two results, of which the first, due to Frame, curiously pre-dates the second
considerably.

Theorem 4.4. Let G be a finite group. The permutation representation of G acting on
itself by conjugation has the following properties.
P
(1) [5] Its character is given by the formula χ∈Irr(G) χχ̄, where Irr(G) is the set
of irreducible characters of G.

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

(2) [21] The multiplicity of the irreducible χ equals the sum
over all the conjugacy classes of G.

P

C

15

χ(C) where C ranges

By considering the conjugation action on specific centralisers, T. Scharf [19] gave
another proof of a result originally due to A. Frumkin [3] that for n 6= 2, every irreducible
appears in the conjugation action of Sn .
Frumkin’s result is
Theorem 4.5. ([3], [19]) If n 6= 2, P
every irreducible of Sn appears in ψ(Sn ). Equivalently, the character table row-sums λ⊢n χν (λ) are positive integers for every partition
ν of n 6= 2.

Now consider the exterior powers in Theorem 4.2: Let ε(Sn ) be the representation
of Sn whose Frobenius characteristic is the coefficient of tn in E[F (t)] for fn = 1 ↑SCnn .
Thus
Y
X
X
emi [fi ].
Eλ [F ] =
ch(ε(Sn )) =
λ∈P arn

λ⊢n,λ=

Q

i

imi

i

Equivalently, ε(Sn ) is a sum of transitive monomial representations, with orbits indexed
by partitions λ of n, and stabiliser equal to the centraliser of type λ. The action of Sn
is trivial within each cycle, and permutes cycles of the same length according to the
sign representation. Thus ε(Sn ) may be considered to be the conjugation action twisted
by the sign. Note that the second statement of the next result, namely, that ε(Sn ) is
self-conjugate, is not obvious from the above definition: the submodules with Frobenius
characteristic Eλ [F ] are not themselves self-conjugate for arbitrary λ.

Theorem 4.6. We have, with fn = ch(1 ↑SCnn ) :
P
(1) ch(ε(Sn )) = E[F ] = λ∈P arnodd pλ .
(2) ε(Sn ) is a self-conjugate representation of Sn of degree n!
(3) If χν is the irreducible
Sn -character indexed by the partition ν of n, then for
P
every ν ⊢ n, λ∈P arnodd χν (λ) is a nonnegative integer.
Proof. Part (1) follows from (2) of Theorem 3.2 (with v = 1), by taking the coefficient
of tn in the right-hand side of (2). Part (2) is now immediate, since ω(pi ) = (−1)i−1 pi
and thus ω fixes pi if i is odd. Hence if λ has all parts odd, pλ is fixed by ω. The
statement about the degree is clear since only p(1n ) = pn1 contributes to the degree. Part
(3) follows upon writing the expression in (1) in terms of Schur functions.


Computations with Stembridge’s symmetric functions package SF for Maple suggest
that, just as in the case of the conjugation action, every irreducible occurs in ε(Sn ).
In order to prove this we will need a lemma about the irreducibles appearing in the
representations 1 ↑SCkk :
Lemma 4.7. If k is an odd prime, the representation fk = ch(1 ↑SCkk ) contains every
irreducible except for those indexed by (k − 1, 1) and (2, 1k−2). More generally, fn always
contains the trivial representation, and never contains the representation (n − 1, 1), and
contains the representation (1n ) (once) if and only if n is odd and (2, 1n−2 ) (once) if
and only if n is even.
Proof. Note that f2 = h2 . We have fk = k1 (pk1 + (k − 1)pk ) since φ(k) = (k − 1) when k
is prime. Let ν ⊢ k.

16

SHEILA SUNDARAM

Let χν be the irreducible indexed by ν; its degree f ν is the number of standard
Young
of shape
P tableaux
P ν ν. Expanding in terms of Schur functions, wePhaveλ fk =
1
ν
( ν f sν + (k − 1) ν χ ((k)))sν , where we have used the fact that pµ = λ χ (µ)sλ .
k
But for the k-cycle (k), it is well-known ([14], [23]) that χν ((k)) is nonzero if and only
if ν = (k − r, 1r ) is a hook shape, in which case it equals (−1)r . Hence
 the multiplicity
1 ν
1 k−1
of the irreducible ν in fk is k f if ν is not a hook, and equals k ( r + (k − 1)(−1)r ) if
ν = (k − r, 1r ), 0 ≤ r ≤ k − 1. It follows that the trivial and sign representations (r = 0
and r = k − 1 respectively) each occur exactly once, the representation (k − 1, 1) never
occurs, and, because r = k − 2 is odd, the representation (2, 1k−2) never occurs.
If ν ⊢ k is any partition other than a hook, the multiplicity is given by k1 f ν . Since
this number is necessarily an integer, and f ν is a positive integer (being the number of
standard Young tableaux of shape ν, or the degree of the irreducible indexed by ν), it
follows that it is nonzero.
The last statement for general n follows from a theorem of Kráskiewicz and Weyman,
and independently Stanley, ([13], [23, Solution to Exercise 7.88 (b)]; see also [17, Cor.
8.10]) that the multiplicity of the irreducible indexed by λ in fn equals the number of
standard Young tableau with major index congruent to 0 modulo n.

Remark 4.8. Maple computations with SF in fact support the conjecture that fn
contains every irreducible besides (n − 1, 1), (2, 1n−2) and (1n ). (The author is grateful
to R. Stanley for verifying this up to n = 29.) This conjecture was recently settled in
the affirmative by Josh Swanson [25].
Theorem 4.9. The representation ε(Sn ) (as well as the representation ψ(Sn ) for n 6= 2)
contains
every irreducible representation of Sn . In particular, the nonnegative integers
P
ν
odd χ (λ) are in fact positive for all partitions ν of n.
λ∈P arn
P
Proof. Our starting point is the formula ch(ε(Sn )) = λ∈P arn Eλ [F ] (recall the definition of Eλ [H] from the preliminaries in Section 2). We will show that for every partition
λ ∈ P ar, there is a partition τ (λ) of n = |λ| such that the Schur function sλ appears in
the representation Eτ (λ) [H], i.e., such that hsλ , Eτ (λ) [H]i > 0.
First note that fi = hi for i = 1, 2. Also the trivial representation hn = s(n) appears
in fn = E(n) [F ], and the sign representation also appears in ε(Sn ) because en = en [f1 ] =
E(1n ) [F ]. Hence we can take τ ((n)) = (n) and τ ((1n )) = (1n ). Similarly since s(n−1,1)
appears in the product hn−1 h1 , which in turn appears in fn−1 f1 = e1 [fn−1 ]e1 [f1 ] =
E(n−1,1) [F ] for n ≥ 3, we can take τ ((n − 1, 1)) = (n − 1, 1) for n ≥ 3. Likewise, s(2,1n−2 )
appears in e1 [f2 ]en−2 [f1 ] = E(2,1n−2 ) [F ], so that we may take τ ((2, 1n−2 )) = (2, 1n−2 )
when n ≥ 3.
We proceed by induction on n = |λ|. The cases n = 0 and n = 1 are trivial. Let
n = 2. Then for λ ⊢ 2, τ (λ) = λ, since h2 = s(2) appears in f2 = e1 [f2 ] = E(2) [F ], and
e2 = s(12 ) appears in e2 = e2 [f1 ] = E(12 ) [F ].
The three partitions of n = 3 have already been addressed. Now let n = 4. Here
the first new partition is (22 ). But it is easily checked that there is a standard Young
tableau of shape (22 ) with major index congruent to 0 modulo 4, and hence s(22 ) appears
in f4 = e1 [f4 ] = E(4) [F ]. We may therefore take τ ((22 )) = (4).
For n = 5, considering only the partitions we have not already addressed, since 5 is an
odd prime, we have that τ (λ) = λ for every partition λ except (4, 1) and its conjugate
(2, 13 ).

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

17

By induction hypothesis, assume that for every i ≤ n, every partition λ of i admits a
partition τ (λ) of i such that sλ appears in Eτ (λ) [F ]. Let n ≥ 6.
From the preceding discussion, we may assume λ and λt do not equal (n − 1, 1).
By Bertrand’s Postulate (see Theorem 2.5) there is a largest prime q ≥ 5 such that
n/2 < q < n, i.e., n > q > n − q > 1. We claim that there is a partition µ of q such
that µ ⊂ λ and neither µ nor its transpose is of the form (m − 1, 1). Invoking Lemma
4.7, this guarantees that sµ appears in fq = E(q) [F ].
Case 1: If µ is of the form (m − 1, 1), then since n − q > n/2 ≥ 1, and we have
assumed λ 6= (n − 1, 1), we know that all the squares in the skew shape λ/µ cannot be
in row 1; there is at least one square in the skew-shape that is in row 2 or row 3. Hence
we may modify our choice by taking µ = (q − 2, 2) or µ = (q − 2, 12 ). Both shapes satisfy
our criteria (the second because q 6= 4) and hence the claim.
Case 2: If µt is of the form (m − 1, 1), then again there must be a square in the
skew-shape λ/µ that is in row 2 or row 1; all the squares cannot be at the bottom
because that would force λt = (n − 1, 1). Thus we may modify our choice by taking
µ = (22 , 1q−4 ) or µ = (3, 1q−3 ). Both shapes satisfy our criteria (the second because
q ≥ 5) and the claim follows.
Next consider the set of partitions ν of n−q such that sλ appears in the product sµ sν ,
and choose such a ν. Assume first that neither ν nor ν t is of the form (m−1, 1), m ≥ 2.
Then by induction hypothesis, there is a partition τ (ν) of n − q such that sν appears
in Eτ (ν) [F ]. Also sµ appears in E(q) [F ] = fq by Lemma 4.7 since q is an odd prime.
Hence sλ appears in Eτ (ν) [F ] · E(q) [F ] = Eτ (ν) [F ]fq . But this is just Eτ (ν)∪(q) [F ], since
q > n − q implies that q is distinct from the parts of τ (ν). We have shown that we may
take τ (λ) = τ (ν) ∪ (q). (If m = 1, τ (ν) is just (1)and τ (λ) is the two-part partition
(q, 1).)
Now assume ν t is of the form (m−1, 1), m ≥ 2, i.e., ν = (2, 1m−2 ). Then sν appears in
the product h2 em−2 [f1 ] = e1 [f2 ] · em−2 [f1 ]. It follows that sλ appears in E(q) [F ] · E(2) [F ] ·
E(1m−2 ) [F ], so that we may take τ (λ) = (q, 2, 1m−2). Since q is an odd prime, we have
E(q) [F ] · E(2) [F ] · E(1m−2 ) [F ] = E(q,2,1m−2 ) [F ].
Finally assume ν is of the form (m − 1, 1). Clearly sν appears in fm−1 f1 where m =
n − q. Again we have two cases.
Case (1a): If m − 1 = n − q − 1 > 1, we have that sλ appears in sµ sν and thus in
fq fm−1 f1 = E(q,m−1,1) , so we may take τ (λ) to be the partition (q, m − 1, 1) and this
has distinct parts since q is an odd prime which is greater than n/2 and 2 ≤ m − 1 =
n − q − 1 < n/2 − 1.
Case (2a): If m = 2, i.e., ν = (12 ), then sν = e2 appears in e2 [f1 ] = E(12 ) [F ], and
thus we may take τ (λ) = (q, 12 ), so that sλ appears in sµ e2 , which in turn appears in
fq e2 = E(q) [F ] · E(12 ) [F ] = E(q,12 ) .
This completes the induction, showing that every irreducible appears in ε(Sn ).

Tables 1 and 2 contain the decomposition into irreducibles up to n = 10 for the
ordinary and twisted conjugacy representations ψ(Sn ) and ε(Sn ). In these tables, the
rows index the partitions of n listed in reverse lexicographic order.
If Wn is a representation of Sn of dimension n!, and ρn denotes the regular representation of Sn , then the induced representation Wk ⊗ ρn−k ↑SSnk ×Sn−k also has dimension n!; if
Wn contains every Sk -irreducible, then the induced representation clearly also contains
every Sn -irreducible. Hence we have

18

SHEILA SUNDARAM

Corollary 4.10. Fix k ≥ 0. Then the induced representations whose characteristics are
ch ψ(Sk ) · p1n−k , k 6= 2 and ch ε(Sk ) · p1n−k are both n!-dimensional representations of Sn
containing every irreducible; the second representation is self-conjugate.
The proof of Theorem 4.9 can be adapted to give yet another proof that ψ(Sn ) contains
every irreducible. The remainder of this section is devoted to proving a stronger result.
We start by introducing a new class of representations, motivated primarily by the fact
that the Sn -action on itself by conjugation breaks up into invariant submodules indexed
by partitions λ of n.
For any subset T of partitions of n, define the representation ψ(Sn , T ) to be the
conjugation action of Sn on permutations whose types lie in T, and similarly the representation ε(Sn , T ) to be the twisted conjugation action of Sn on permutations whose
types lie in T. The Frobenius
characteristics are thus the
P
P Schur-positive symmetric functions ch(ψ(Sn , T )) = λ∈T Hλ [F ] and ch(ε(Sn , T )) = λ∈T Eλ [F ]. In particular, taking
T as a set to be the alternating subgroup An or its complement, which we denote by
Ān , we have, since the sign of a permutation σ ∈ Sn is given by (−1)n−ℓ(µ) if the type
of σ is the partition µ, we have
P
P
and ch(ψ(Sn , Ān )) =
ch(ψ(Sn , An )) =
λ∈P arn Hλ [F ];
λ∈P arn Hλ [F ],
n−ℓ(λ) odd

n−ℓ(λ) even

ch(ε(Sn , An )) =

P

λ∈P arn
n−ℓ(λ) even

Eλ [F ],

P

and ch(ε(Sn , Ān )) =

λ∈P arn
n−ℓ(λ) odd

Eλ [F ].

Theorem 4.11. We have the following formulas for the Frobenius characteristics, and
each linear combination of power-sums below is Schur-positive:
X
X
(4.11.1)
pλ ;
ch ψ(Sn ) = ch ψ(Sn , An ) + ch ψ(Sn , Ān ) =
Hµ [F ] =
µ⊢n

(4.11.2)

X

ch ψ(Sn , An ) =

µ⊢n
n−ℓ(µ) even

1
Hµ [F ] =
2

ch ψ(Sn , Ān ) =

(4.11.3)

X

λ∈P arn

X

pλ +

X

Hµ [F ] =

µ⊢n
n−ℓ(µ) odd

(4.11.4)

(4.11.5)

X

(4.11.6)

ω(ch ε(Sn , An )) =

ω(Eµ [F ]) =

µ⊢n
n−ℓ(µ) even

(4.11.7)

ω(ch ε(Sn , Ān )) =

X

µ⊢n
n−ℓ(µ) odd

ω(Eµ [F ]) =



1 X
pλ ;
2
X

X

1
2

odd
λ∈P arn

6=
λ∈P arn

1
2

X

X

odd
λ∈P arn

pλ ;

odd
λ∈P arn

X



pλ ;

λ∈P arn
n−ℓ(λ) even

Eµ [F ] =

µ⊢n

X

;

λ∈DO
/
n

1
1X
(Hµ [F ] + ω(Hµ[F ])) =
(ch ψ(Sn ) + ω(ch ψ(Sn ))) =
2
2 µ⊢n
ch ε(Sn ) = ch ε(Sn , An ) + ch ε(Sn , Ān ) =

pλ

λ∈P arn

λ∈DOn

!

pλ +

pλ −

X

6=
λ∈P arn



pλ  ;


pλ  .

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

19

Proof. Apply Theorem 4.2 and Theorem 3.4. The only point that requires comment is
the presence of the fraction 12 . In each case, one side is clearly Schur-positive; equating
multiplicities of each Schur function, we have that twice the multiplicity on one side is
a nonnegative integer, and hence the multiplicity itself must be a nonnegative integer.
Here we invoke the fact that the character values of Sn are all integers.

P
Note that λ∈P arn6= pλ is of course NOT Schur-positive, having dimension zero. Even
including P
the regular representation does not result in Schur-positivity, since for n = 7
we have h λ∈P arn6= pλ , s(17 ) i = −2.
P
Corollary 4.12. For n 6= 2, the Schur-positive symmetric function
λ∈P arn pλ conn−ℓ(λ) even

tains sν for every partition ν of n.

Proof. We use equations (4.11.1) and (4.11.4) in Theorem 4.11. Since for n 6= 2 the
conjugacy representationPcontains every irreducible at least once, it is immediate from
Equation (4.11.4) that h
λ∈P arn pλ , sν i > 0. Hence, invoking again the fact that the
n−ℓ(λ) even

characters of Sn are integer-valued, i.e., every power-sum is an integer combination of
Schur functions, the statement follows.

Define the possibly virtual modules
P
UnDO = λ∈DOn pλ ,

Un+ =

and

Un− =

P

µ⊢n,µ∈DO
/
n
n−ℓ(µ)odd

pµ =

P

µ⊢n,µ∈DO
/
n
n−ℓ(µ)even

P

µ⊢n
n−ℓ(µ)odd

pµ ,

pµ .

Note that Un+ is the characteristic of a module that has dimension n! (because pn1 is
a summand), while Un− and UnDO are characteristics of zero-dimensional (hence virtual)
Sn -modules.
Proposition 4.13. We have
X
(4.13.1)
UnDO =
(−1)n−ℓ(λ) Hλ [F ], and UnDO is self-conjugate
λ⊢n

is self-conjugate, while ω(Un− ) = −Un− .

(4.13.2)

Un+

(4.13.3)

ψ(Sn ) = Un+ + Un− + UnDO

(4.13.4)

(4.13.7)

ωψ(Sn ) = Un+ − Un− + UnDO
1
ψ(Sn , An ) = (Un+ + Un− ) + UnDO
2
1
ψ(Sn , Ān ) = (Un+ + Un− )
2
−
2Un = ψ(Sn ) − ω(ψ(Sn ))

(4.13.8)

UnDO = ψ(Sn , An ) − ψ(Sn , Ān )

(4.13.9)

Un+ = ψ(Sn , Ān ) + ω(ψ(Sn , Ān ))

(4.13.10)

Un+ + UnDO = ψ(Sn , An ) + ω(ψ(Sn , Ān )) =

(4.13.5)
(4.13.6)

1
(ψ(Sn ) + ω(ψ(Sn )))
2

20

SHEILA SUNDARAM

Proof. The first equation, Equation (4.13.1), follows directly from the definition of UnDO
and Theorem 4.2, Part (4). Now ω(pµ ) = (−1)n−ℓ(µ) pµ . Since n − ℓ(µ) is odd for all
the partitions µ appearing in the decomposition of Un− , we compute ω(Un− ) = (−1)Un− .
Also n − ℓ(µ) is even if µ ∈ DOn . Hence statement (4.13.2).
Equation (4.13.3) follows from Theorem 4.2, Part (1), since Un+ + Un− + UnDO is the
sum of all pλ as λ ranges over all partitions of n.
Equation (4.13.4) now follows from the preceding paragraphs. Equations (4.13.5)
and (4.13.6)P
are consequences of Theorem 4.10, Parts (2) and (3) respectively, since
+
−
Un + Un = λ∈DO
p .
/
n λ
Equation (4.13.7) follows by subtracting (4.13.4) from (4.13.3), while (4.13.8) follows
by subtracting (4.13.6) from (4.13.5). Equation (4.13.9) follows directly from equation
(4.13.6) by applying the involution ω and using (4.13.2). Finally (4.13.10) is immediate
upon combining (4.13.9) and (4.13.8).

Corollary 4.14. Let λ be a partition of n. If λ is not self-conjugate, then hch ψ(Sn ), sλ i
and hch ψ(Sn ), sλt i are either both odd or both even. If λ = λt , then the irreducible
indexed by λ does not appear in Un− .
Proof. From equations (4.13.3) and (4.13.4) above, it follows that if λ is not selfconjugate, then
hch ψ(Sn ), sλ i + hch ψ(Sn ), sλt i = hch ψ(Sn ), sλ i + hω(ch ψ(Sn )), sλ i = 2hUn+ + UnDO , sλ i
is even, as is
hch ψ(Sn ), sλ i − hch ψ(Sn ), sλt i = hch ψ(Sn ), sλ i − hω(ch ψ(Sn)), sλ i = 2hUn− , sλ i.
The claims follow.



An immediate consequence of Proposition 4.13 is
Theorem 4.15. Un+ and Un+ + UnDO are both Frobenius characteristics of self-conjugate,
true Sn -modules of dimension n! We have
X
X
(Hµ [F ] + ω(Hµ [F ]))
pµ =
Un+ =
µ∈DO
/
n
n−ℓ(µ) even

(4.15.1)
Un+ + UnDO

µ⊢n
n−ℓ(µ)odd

= ch ψ(Sn , Ān ) + ω(ch ψ(Sn, Ān )).
X
=
pµ
n−ℓ(µ) even

(4.15.2)

= ch ψ(Sn , An ) + ω(ch ψ(Sn, Ān ))
1
= (ch ψ(Sn ) + ω(ch ψ(Sn ))) .
2

(4.15.3)
Hence we also have
(4.15.4)

Un+ + UnDO = ω(ch ψ(Sn , An )) + ch ψ(Sn , Ān ).

Proof. This follows directly from
P Proposition 4.13, Equations (4.13.9) and (4.13.10),
Hµ [F ]. The second equality in (4.15.2) was
recalling that ch ψ(Sn , Ān ) =
µ⊢n
n−ℓ(µ)odd

established in (4.11.4) (see Theorem 4.11).
Now recalling that ch ψ(Sn ) = ch ψ(Sn , An ) + ch ψ(Sn , Ān ) (see (4.11.1)), we obtain
(4.15.3). This is also a consequence of the fact that Un+ + UnDO is self-conjugate.


THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

21

We now need a number-theoretic lemma on the distribution of primes that follows
from a result of Nagura [15].
Lemma 4.16. If n ≥ 12 then there is an odd prime q such that n > q > n − q ≥ 5. If
n ≥ 11 or n = 9, there is an odd prime q such that q > n − q ≥ 4.
Proof. Nagura’s theorem [15] states that, for every positive integer m ≥ 25, there is at
least one prime between m and 6m/5, i.e., such that m < p < 6m/5. By iterating this,
as observed in [16], we find that
m < p1 < 6m/5 < p2 < 36m/25 < p3 < 216m/125 < 2m.
Hence, for m ≥ 25, there are three distinct primes such that m < p1 < p2 < p3 < 2m.
Putting n = 2m + 1, this gives (n − 1)/2 = m < p1 < p2 < p3 < 2m < n, so that
n/2 = m + 1/2 < m + 1 ≤ p1 < p2 < p3 < 2m < n, while putting n = 2m leads to the
same conclusion. It follows that for n ≥ 50, there are primes p1 , p2 , p3 such that
n/2 < p1 < p2 < p3 < n.
Setting q = p1 , we have n − q = (n − p3 ) + (p3 − p2 ) + (p2 − p1 ) ≥ 1 + 2 + 2 = 5, for
n ≥ 50.
The remaining cases, viz., 12 ≤ n < 50, are easily checked by hand, down to n = 11 :
the prime 7 is less than 11 and greater than 11/2, and 11 − 7 = 4. Similarly q = 5
satisfies the requirement for n = 9. Also, if 50 > n ≥ 12, one checks that there is a
prime q, n > q > n/2, such that n − q ≥ 5.

Our next theorem strengthens the fact that the conjugacy action contains every Sn irreducible [3, see Theorem 4.5].
Theorem 4.17. Every Sn -irreducible appears in the conjugacy action on the subset of
even permutations, for n ≥ 4. Also every Sn -irreducible except the sign, appears in the
conjugacy action on the set of odd permutations, for n ≥ 2.
Equivalently: For every partition λ ⊢ n, the Schur function sλ appears
P
Hµ [F ] for
(1) in the (Schur-positive) symmetric function ch ψ(Sn , An ) =
µ⊢n
n−ℓ(µ)even

all n ≥ 4;
P
(2) in the (Schur-positive) symmetric function ch ψ(Sn , Ān ) =
cept for λ = (1n ), which never appears when n ≥ 2.

µ⊢n
n−ℓ(µ)odd

Hµ [F ], ex-

Proof. Note that the sign representation will appear in Hµ [F ] if and only if µ has distinct
odd parts, since fn contains the sign if and only if n is odd. But n − ℓ(µ) is necessarily
even for such a µ. Hence the sign representation appears only in ψ(Sn , An ).
We will use an induction argument as in the proof of Theorem 4.9. However, because
the sign representation does not appear in ψ(Sn , Ān ), we will need Lemma 4.16.
Maple computations with SF show that the statement of the theorem holds for n ≤ 12.
The resulting decompositions into irreducibles of ψ(Sn , An ) and ψ(Sn , Ān ) are recorded
in Table 3, where we have denoted by λ the Sn -irreducible indexed by the partition λ.
Our induction hypothesis will be that for fixed n ≥ 12, whenever 4 ≤ k < n, and k6=
2,3, for every partition λ of k, λ 6= (1k ), there are partitions τ (λ) and σ(λ) of k such
that ℓ(τ (λ)) is even, ℓ(σ(λ)) is odd, and sλ appears in both Hτ (λ) [F ] and Hσ(λ) [F ]. For
λ = (1k ) we know there is a partition τ (λ) such that k − τ (λ) is even and sλ appears in
Hτ (λ) [F ].

22

SHEILA SUNDARAM

It is convenient to address the extreme cases first. We have
(1) Let λ = (n). Then we may always take τ (λ) = (n) because s(n) appears in
H(n) [F ] = fn which contains hn . Similarly we may take σ(λ) to be (n − 1, 1),
because if H(n−1,1) [F ] = fn−1 f1 if n ≥ 3, contains hn−1 h1 , which in turn contains hn . This includes the case n = 2, for then we have σ(λ) = (12 ) and
H(12 ) [F ] = h2 [f1 ] = h2 . When n = 3, the two partitions (2, 1) and (13 ) satisfy the required conditions:Hσ(λ) [F ] = f2 f1 or h3 [f1 ]. We have shown that s(n)
appears in ch ψ(Sn , An ) and in ch ψ(Sn , Ān ) for all n.
(2) Let λ = (1n ). Take τ (λ) = (n) if n is odd, so that Hτ [F ] = fn , and τ (λ) =
(n − 1, 1) if n is even, n 6= 2, so that Hτ [F ] = fn−1 f1 , . In each case, since fm
contains the sign representation for odd m, s(1n ) appears in Hτ [F ]; if n is odd,
n − ℓ(τ ) = n − 1 is even, and if n is even, n − ℓ(τ ) = n − 2 is again even. Hence
s(1n ) appears in Hτ [F ], n 6= 2, with even n − ℓ(τ ), i.e., in ch ψ(Sn , An ), n 6= 2.
(3) Let λ = (n − 1, 1). Provided n ≥ 4, we may take τ (λ) to be (n − 1, 1) and σ(λ) to
be (n − 2, 12 ). In the first case H(n−1,1) [F ] = fn−1 f1 which contains hn−1 h1 and
hence contains s(n−1,1) ; in the second case (since n−2 > 1) H(n−2,12 ) [F ] = fn−2 h2
contains hn−2 h2 , which in turn contains s(n−1,1) . If n = 3 we can take τ = (2, 1),
and then s(2,1) appears in Hτ [F ] = f2 f1 = h2 h1 , i.e., in ch ψ(S3 , S3 \A3 ) but
not in ch ψ(S3 , A3 ). Hence s(n−1,1) appears in ch ψ(Sn , An ) for n ≥ 4 and in
ch ψ(Sn , Ān ) for n ≥ 3.
(4) Let λ = (2, 1n−2). Since fr contains the sign representation if and only if r is
odd, it follows that
(a) If n is odd, we may take τ (λ) = (n − 2, 2) and σ(τ ) = (n − 2, 12 ), n ≥ 4 (the
case n = 3 has been addressed above);
(b) If n is even, we may take τ (λ) = (n − 1, 1) and σ(λ) = (n) for n ≥ 2;
because by Lemma 4.7, s(2,1n−2 ) appears in H(n) [F ] = fn whenever n is
even, in which case n − ℓ((n)) is odd.
Hence s(2,1n−2 ) appears in ch ψ(Sn , An ) if n ≥ 4, and in ch ψ(Sn , Ān ) if n ≥ 3.
Now let n ≥ 12, and let λ be any partition of n other than (1n ), (n−1, 1) and (2, 1n−2 ).
By Lemma 4.16 there is a prime q such that q > n − q ≥ 5. We claim that because
λ, λt 6= (n − 1, 1), we can choose a partition µ ⊂ λ such that µ, µt 6= (|µ| − 1, 1). Hence,
invoking Lemma 4.7, this guarantees that sµ appears in fq = H(q) [F ] for the odd prime
q.
Case (a): If µ is of the form (m − 1, 1), then since n − q > n/2 ≥ 1, and we have assumed
λ 6= (n − 1, 1), we know that all the squares in the skew shape λ/µ cannot be
in row 1; there is at least one square in the skew-shape that is in row 2 or row
3. Hence we may modify our choice by taking µ = (q − 2, 2) or µ = (q − 2, 12 ),
noting that q −2 ≥ 3. Both shapes satisfy our criteria (the second because q 6= 4)
and hence the claim.
Case (b): If µt is of the form (m − 1, 1), then again there must be a square in the skewshape λ/µ that is in row 2 or row 1; all the squares cannot be at the bottom
because that would force λt = (n − 1, 1). Thus we may modify our choice by
taking µ = (22 , 1q−4 ) or µ = (3, 1q−3 ). Both shapes satisfy our criteria (the
second because q ≥ 5) and the claim follows.
Now consider the set of partitions ν of n − q such that sλ appears in the product
sµ sν , and choose such a partition ν.

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

23

Case 1: Assume first that neither ν nor ν t is of the form (m − 1, 1), and ν 6= (1m ). By
induction hypothesis there are partitions τ (ν) and σ(ν) of even and odd length
respectively such that sν appears in Hτ (ν) [F ] and Hσ(ν) [F ]. Hence sλ appears in
H(q)∪τ (ν) [F ] and in H(q)∪σ(ν) [F ]. (Again q > (n − 2)/2 implies that q is distinct
from the parts of τ (ν) and σ(ν). ) Since the partitions (q) ∪ τ (ν) and (q) ∪ σ(ν)
have lengths of opposite parity, we are done.
Case 2: Now suppose ν t = (m − 1, 1), i.e., ν = (2, 1m−2 ). From (4) above, since m =
n − q ≥ 5, we can find partitions τ (ν) and σ(ν) with lengths of opposite parity
such that sν appears in both Hτ (ν) [F ] and Hσ(ν) [F ]. Then as before, since sµ
appears in H(q) [F ], it follows that sλ appears in H(q)∪τ (ν) [F ] and H(q)∪σ(ν) [F ],
and since one part distinct from all the others, namely q > n − q, was added
to both partitions, again we have partitions with lengths of opposite parity, as
claimed.
Case 3: Here we consider the case ν = (m − 1, 1) = (n − q − 1, 1). Since m = n − q ≥ 5,
from (3) above we have two partitions τ and σ of opposite parity such that Hτ [F ]
and Hσ [F ] contain sν .
Case 4: Suppose ν = (1m ). Then sν appears in Hτ [F ] but only for some τ such that
|τ | − ℓ(τ ) = m − ℓ(τ ) is even. The argument is therefore more involved. Note
first that if sλ appears in sµ · s(1m ) for some µ of q, it must also appear in the
product sµ′ · s(2,1m−2 ) for some partition µ′ of q. (Recall that m = n − q ≥ 5.)
This follows by observing that (1m ) ⊂ λ, and recalling that λ 6= (1n ). Since fq
contains all partitions of q except (q − 1, 1) and (2, 1q−2 ), the discussion in Case
2 and the preceding cases implies that it suffices to consider the following two
sub-cases for the partition µ′ :
Case 4-1: Assume µ′ = (q − 1, 1). In this case we know from (3) above that sµ′
appears in H(q−1,1) [F ] = fq−1 f1 , in H(q−2,12 ) [F ] = fq−2 h2 [f1 ], as well as
in H(q−2,2) [F ] = fq−2 f2 , the latter because q − 2 > 2 and fq−2 contains hq−2 .
Now let m be even. Then (4(b)) implies that s(2,1m−2 ) appears in H(m) [F ] =
fm and hence, taking τ (λ) = (q − 2, 12 ) ∪ (m), since q − 2 6= m (q is odd
and m is even), we have an even-length partition (into four parts) such
that Hτ (λ) [F ] = fq−2 fm h2 [f1 ] contains sµ′ s(2,1m−2 ) and hence contains sλ .
Similarly taking σ(λ) = (q − 2, 2) ∪ (m) produces an odd-length partition
(into three distinct parts: q − 2 6= m because q is odd and m is even) such
that Hσ(λ) [F ] = fq−2 f2 fm contains sλ .
Next suppose m is odd. Then from (4(a)) we know that s(2,1m−2 ) appears
in H(m−2,2) [F ] = fm−2 f2 and H(m−2,12 ) [F ] = fm−2 h2 [f1 ]. Taking τ = (q −
2, 12) ∪ (m − 2, 2), and noting that q − 2 > m − 2 > 2, (here we are using
the hypothesis about q that m = n − q ≥ 5) we see that Hτ [F ] contains sλ
and τ has odd length. Similarly noting that q − 1 > m − 1 > m − 2 > 2, we
see that the even-length partition σ = (q − 1, 1) ∪ (m − 2, 2) has the same
property: Hσ [F ] contains sλ . This settles the case µ′ = (q − 1, 1).
Case 4-2: Assume µ′ = (2, 1q−2 ).
First let m be even. Invoking (4(b)), we see again (note that q is odd and
m is even, so q − 2 6= m) that the partitions τ = (q − 2, 2) ∪ (m) and σ =
(q − 2, 12) ∪ (m) have opposite parity and both Hτ [F ] = fq−2 f2 fm , Hσ [F ] =
fq−2 h2 [f1 ] contain s′µ s(2,1m−2 ) and hence contain sλ .

24

SHEILA SUNDARAM

Now let m be odd. Then we can take τ = (q − 2, 2) ∪ (m − 2, 12 ) to
obtain an odd-length partition such that Hτ [F ] = fq−2 f2 fm−2 h2 [f1 ] contains
sµ′ s(2,1m−2 ) . Observe also that since q−1 is even,by Lemma 4.7, sµ′ = s(2,1q−2 )
appears in fq−1 h1 = H(q−1,1) . Hence since q − 1 > m − 1 > m − 2, we may in
addition take σ = (q − 1, 1) ∪ (m − 2, 2) for the even length partition such
that Hσ [F ] = fq−1 f1 fm−2 f2 contains sµ′ s(2,1m−2 ) .
This finishes the inductive step, and hence the proof is complete.



Combining the preceding result with (4.15.1) of Theorem 4.15, we immediately obtain
Corollary 4.18. AsP
an Sn -module, Un+ contains every irreducible of Sn . Equivalently,
χλ (µ) in the character table of Sn are positive integers.
the partial row sums
µ∈DO
/
n
n−ℓ(µ)even

We also have the analogous strengthening of Theorem 4.9:

Theorem 4.19. Every Sn -irreducible appears in the twisted conjugacy action on the
subset of even permutations, for n ≥ 5. Also every Sn -irreducible except the sign, appears
in the twisted conjugacy action on the set of odd permutations, for n ≥ 2.
Equivalently: For every partition λ ⊢ n, the Schur function sλ appears
P
Eµ [F ] for
(1) in the (Schur-positive) symmetric function ch ε(Sn , An ) =
µ⊢n
n−ℓ(µ)even

all n ≥ 5;
P
(2) in the (Schur-positive) symmetric function ch ε(Sn , Ān ) =
cept for λ = (1n ), which never appears when n ≥ 2.

µ⊢n
n−ℓ(µ)odd

Eµ [F ], ex-

Proof. Note that Hµ [F ] and Eµ [F ] coincide when µ is a partition with distinct parts.
Thus, in the proof of Theorem 4.17, we need to examine, and possibly modify the
argument in the places where the discussion involves partitions with repeated parts.
First, as before, in Table 4 we record the decomposition into irreducibles for n ≤ 12.
Writing simply λ for the Sn -irreducible indexed by the partition λ, Maple computation
with SF shows that although the irreducible indexed by (22 ) does not appear in ε(S4 , A4 ),
for (12 ≥) n ≥ 5 εn (Sn , An ) contains all irreducibles, while εn (Sn , Ān ) contains all
irreducibles except the sign for (12 ≥) n ≥ 4.
Our induction hypothesis will be that for fixed n ≥ 12, whenever 5 ≤ k < n, (so in
particular k6= 2,3,4), for every partition λ 6= (1k ) of k, there are partitions τ (λ) and
σ(λ) of k such that ℓ(τ (λ)) is even, ℓ(σ(λ)) is odd, and sλ appears in both Eτ (λ) [F ] and
Eσ(λ) [F ]. When λ = (1n ), we will show that it appears only in Eτ (λ) [F ] for some τ such
that n − ℓ(τ (λ)) is even.
(1) Let λ = (n). Then τ = (n) and σ = (n − 1, 1) are partitions with lengths of
opposite parity such that s(n) appears in Eτ [F ] and Eσ [F ], for n ≥ 3. For n = 2,
we have E(2) [F ] = f2 = h2 . Hence (n) appears in ε(Sn , Ān ) for all n ≥ 2, and in
ε(Sn , An ) if n ≥ 3.
(2) Let λ = (1n ). Clearly the sign representation s(1n ) appears in E(1n ) [F ] = en [f1 ] =
en , and n − ℓ((1n )) is even, so it appears in ε(Sn , An ). More generally, the sign
representation cannot appear in Eλ [F ] if λ has an even part, since for fn contains
the sign only if n is odd. But if all parts of λ are odd, then n − ℓ(λ) is necessarily
even. Hence the sign appears only in ε(Sn , An ) and never in ε(Sn , Ān ) (n ≥ 2).

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

25

(3) Let λ = (n − 1, 1). Again for n ≥ 4, we may take τ (λ) = (n − 1, 1) and σ(λ) =
(n − 2, 12). In the first case E(n−1,1) [F ] = fn−1 f1 as before, in the second case
E(n−2,12 ) [F ] = fn−2 e2 [f1 ] = fn−2 e2 , which contains h(n−2) e2 and hence contains
sλ . If n = 3, s(2,1) appears in Eσ [F ] only for σ = (2, 1). Then n − ℓ(σ) = 1
is odd, and E(2,1) [F ] contains f2 f1 = s(3) + s(2,1) . Hence (2, 1) appears only in
ε(S3 , S3 \A3 ), but for n ≥ 4, (n − 1, 1) appears in both representations.
(4) Let λ = (2, 1n−2). Since fr contains the sign representation if and only if r is
odd, it follows that
(a) If n is odd, we may take τ (λ) = (n − 2, 2), n − 2 > 2 (because then
Eτ [F ] = fn−2 h2 which contains en−2 h2 ) and σ(τ ) = (n − 2, 12 ), n ≥ 4
(because Eσ [F ] = fn−2 e2 which now contains en−2 e2 , which also contains
s(2,1n−2 ) ). (The case n = 3 has been addressed above.);
(b) If n is even, we may take τ (λ) = (n − 1, 1) and σ(λ) = (n) for n ≥ 2;
because the sign appears in fn−1 and, by Lemma 4.7, s(2,1n−2 ) appears in
E(n) [F ] = fn whenever n is even, in which case n − ℓ((n)) is odd.
Hence (2, 1n−2) appears in ψ(Sn , An ) if n ≥ 4, and in ψ(Sn , Ān ) if n ≥ 3.
We claim that the rest of the proof of Theorem 4.17 applies almost verbatim, with
all H’s replaced by E’s. Our first observation is that Hµ [F ] = Eµ [F ] when µ has
distinct parts. Consequently, it is the two subcases of Case 4 that require additional
scrutiny. In both these cases, the analysis involves partitions in which the part equal
to 1 occurs with multiplicity 2. For Case 4-1, the claim that needs to be verified is
that sµ′ = s(q−1,1) appears in Eq−2,12 [F ], which is now equal to fq−2 e2 [h1 ] = fq−2 e2 . But
this is clear since fq−2 contains hq−2 . When m is odd, we need to check that s(2,1m−2 )
appears in E(m−2,12 ) [F ] = fm−2 e2 , but this has already been verified in (4(a)) above.
Similarly, in Case 4-2, we need to verify the claim that sµ′ = s(2,1q−2 ) appears in
E(q−2,12 ) [F ] = fq−2 e2 . Once again, since q is odd, this has already been established in
(4(a)) above.
The remaining parts of the proof of Theorem 4.17 pose no difficulty in the passage
from H[F ] to E[F ], and our proof is complete.

Remark 4.20. By similar arguments and careful analysis of products of Schur functions, we can show that there is a single conjugacy class with the property that the
conjugacy action of Sn on this class contains every Sn -irreducible. This is also true for
the twisted conjugacy action. The proof will appear elsewhere.
From the Frobenius characteristic one can extract, by routine plethystic computations
as in [24], more precise information about the multiplicities of other irreducibles in
ψ(Sn ). We state without proof:
Proposition 4.21. The multiplicity in ψ(Sn )
(1) of the trivial representation is p(n), the number of partitions of n;
(2) of the sign representation is |P arn6= ∩ P arnodd |, the number of partitions of n all
of whose parts are distinct and odd.
P
(3) of the irreducible indexed by (n − 1, 1) is λ⊢n (|{i : mi (λ) ≥ 1}| − 1).
(4) of P
the irreducible indexed by (2, 1n−2 ) is
6=
(ℓ(λ) − 1)
λ∈P
P arn ∩P arnodd
+ (|{i : mi (λ) ≥ 1}|), where the second sum runs over the set of partitions
λ ∈ P arnodd : mi (λ) ≤ 2, mj (λ) = 2 for exactly one part j.

26

SHEILA SUNDARAM

Proposition 4.22. The trivial representation and the sign representation each occur in
ε(Sn ) as many times as there are partitions of n with all parts odd, which is the same as
the number of partitions of n with distinct parts. The irreducible indexed by (n − 1, 1)
(as well as the irreducible indexed by (2, 1n−2 )) occurs in ε(Sn ) with multiplicity
P
6= (ℓ(λ) − 1) + |{µ ⊢ n : mi (µ) ≤ 2 ∀i, mj (µ) = 2 for exactly one j}|.
λ∈P arn
We end this section
P by considering one more class of representations. For any fixed
k ≥ 2, let Wn,k = λ⊢n,λi =1 or k pλ . We have

Theorem 4.23. Wn,k is Schur-positive.
P⌊ nk ⌋ r n−kr
Proof. Clearly Wn,k = r=0
pk p1 . Two observations are immediate:
• Wmk,k is certainly an integer linear combination of Schur functions, and
• if n = mk + t with 0 ≤ t ≤ k − 1, then Wn,k = pt1 Wmk,k .
Thus it suffices to consider the case n = mk. Define αk = pk1 − pk , βk = pk1 + pk .
UsingP
the fact that pk is an alternating sum of Schur functions indexed by hooks, i.e.,
k−1
pk = r=0
(−1)r s(k−r,1r ) , we see that αk and βk are both Schur-positive, since f ν ≥ 1
for any partition ν.
k
k
We have pk1 = βk +α
, pk = βk −α
. We compute
2
2
Wmk,k =
=
=

=

m
X

(pk1 )m+1 − pm+1
k
=
k
p1 − pk
i=0

m+1 
m+1 !
βk + αk
βk − αk
1
−
αk
2
2
!
m+1
m+1
X m + 1 m+1−j j
X  m + 1
1
βk
αk (−1)j
βkm+1−i αki −
j
i
2m+1 αk i=0
j=0



m+1 
m+1
X m+1
1
1 X m + 1 m+1−j j−1
m+1−j j
βk
αk
2βk
αk = m
j
2m+1 αk j=1
2 j=1
j
pik pkm−ki
1

j odd

j odd

It follows that Wmk,k is a linear combination of Schur functions with coefficients that are
nonnegative and rational. But we already know that the coefficients must be integers,
and hence Wmk,k must be Schur-positive.

The special case k = 2 is worth mentioning. Here we have W2n+1,2 = p1 W2n,2 and
P
W2n,2 = j odd n+1
h2n+1−j e2j−1 , because α2 = 2e2 and β2 = 2h2 .
j

Question 4.24. Is there a unifying combinatorial interpretation of the following restricted row sums in the character table of Sn , each of which is a nonnegative integer,
for each ν ⊢ n? This is a subset of the list in Theorem 1.1; the first four below are positive
integers for the values of n and ν specified. At present no combinatorial interpretation
is known.
P
(1) (Theorem 4.5) cν = Pλ⊢n χν (λ) for n 6= 2.
(2) (Theorem 4.9) cν = λ∈P arnodd χν (λ)

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

(3) (Corollary 4.12) cν =
(4) (Corollary 4.18) cν =

P

λ⊢n
Pn−ℓ(λ)even

λ∈DO
/
n
n−ℓ(λ)even

27

χν (λ) for n 6= 2.
χν (λ)

(5) (Equation (4.11.3), Theorem 4.11) cν =

P

λ∈DO
/
n

χν (λ), ν 6= (1n ) when n ≥ 2.

5. The Lie and Foulkes characters
In this section we will consider the more general characters obtained by inducing any
nth root of unity from a cyclic subgroup Cn of order n up to Sn . For fixed k ≥ 1, Foulkes
2iπ
showed [4] that the Frobenius characteristic of the induced representation (e n )k ↑SCnn is
P
n/d
given by fn = n1 d|n ψk (d)pd as in Section 3, with
(5.0.1)

ψk (d) = φ(d)

d
µ( (d,k)
)

d
φ( (d,k)
)

,

where (d, k) denotes the greatest common divisor of d and k as usual. The case k = n
(or k = 0) corresponds to the conjugation action of Section 4.
Now let k = 1. Then ψ1 (d) = µ(d), where µ is the number-theoretic Möbius function,
2iπ
and (see [17], [22]) fn = ch((e n ) ↑SCnn ) is the Frobenius characteristic of the representation Lien of Sn on the multilinear component of the free Lie algebra on n generators,
while fn (t) is the dimension of the nth graded piece of the free Lie algebra on t generators. Also ([22]) πn = ωLien is the Sn -representation
on the unique nonvanishing
P
alt
homology of the partition lattice Πn . Let π = i≥1 (−1)i−1 πi . Part (2) below was
observed by direct calculation in [9].
Lemma 5.1. We have
(1) fn (1) = 0 unless n = 1, in which case it is 1.
(2) fn (−1) = (−1)δn,1 + (1)δn,2; i.e., f1 (−1) = −1, f2 (−1) = 1, and fn (−1) equals
zero otherwise.
Proof. Part (1) is a standard property of the Möbius function. Part (2) follows from
Lemma 3.3 applied to ψ(d) = µ(d), the Möbius function, since if n is even, f2n (1) = 0,
and fn/2 (1) is nonzero if and only if n = 2, in which case it is 1.

By applying Theorem 3.2 with v = 1 to this class of functions fn , we immediately
obtain the generating functions below. The first generating function in Corollary 5.2 is
classical; it is essentially the statement of the Poincaré-Birkhoff-Witt theorem, see [17]
for an exhaustive literature. Part (2) is Cadogan’s formula [1], [8], and [23, Solution to
Problem 7.88] for the calculation in this context) ). It also has a topological connection,
arising as a consequence of the Whitney homology of the partition lattice ([24]). Part
(3) appears in a recent paper [9],where the authors derive it by direct calculation for
the special case of the Lie character. Part (4) below is a new observation.
P
Corollary 5.2. Writing L for F = n≥1 fn when fn = ch(Lien ) as above, we have the
following plethystic generating functions:
1
(1) H[L](t) =
(1 − th1 )
alt
(2) H[π ](t) = 1 + th1 = π alt [H](t).

28

SHEILA SUNDARAM

1 − t2 p2
1 − tp1
Q
1 + tp1
alt
j
−fj (−1)
(4) E[π ](t) = j≥1 (1 + t pj )
=
1 + t2 p2
(3) E[L](t) =

j
fj (−1)
=
j≥1 (1 − t pj )

Q

Proof. Combine Theorem 3.2, (1) to (4), and the calculations recorded in Lemma 6.1.

Contrast the next observation with Theorem 4.9 of the preceding section regarding
the exterior powers of the conjugation action, in which every irreducible appears.
Corollary 5.3. The degree n term in H[L] is the regular representation, and thus
contains every irreducible of Sn . The degree n term in E[L] is 2p1n−2e2 , (n ≥ 2), a representation of degree n! which contains every irreducible except the trivial representation.
Proof. A simple calculation shows that the degree n term of E[L] is 2p1n−2 e2 , and hence
the result.

We move on to the case of general k and the function ψk (d) given by equation (5.0.1).
Following Hardy and Wright ([11], pp. 55-56) we define Ramanujan’s sum
X
X
cd (k) =
exp(2iπhk/d) =
ρk .
1≤h≤d
(h,d)=1

ρ a primitive dth root of unity

Then we have, with the notation of equation (5.0.1), the following remarkable formula
of Hölder:
Theorem 5.4. ([7], see also [11, Theorems 271 and 272] for proofs)
cd (k) = φ(d)

d
µ( (d,k)
)
d
φ( (d,k)
)

= ψk (d).

Hence, when fn is the Frobenius characteristic of the general Foulkes character
(e )k ↑SCnn , we obtain the following result. (Note the agreement with Lemmas 4.1
and 5.1 for the cases k = n and k = 1 respectively. ) Part (1) below is originally due
to von Sterneck [26].
2iπ
n

Lemma 5.5. For fixed k ≥ 1,
(
1, if n|k;
(1) ([26]) fn (1) =
0, otherwise.


−1, if n is odd and n|k;
(2) fn (−1) = 1,
if n is even and n2 |k but n 6 |k;

0,
otherwise.

Proof. We have

fn (1) =

1X
1X
cd (k) =
n
n
d|n

d|n

X

ρ a primitive
dth root of unity

ρk =

1X k
τ
n τ

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

29

where the last sum ranges over all the nth roots of unity, since every nth root of unity is
a primitive dth root of unity for a unique divisor d of n. The result now follows because
the nth roots of unity are the zeros of (1 − xn ), and if k is not a multiple of n, then
the kth powers of the nth roots are simply a rearrangement of the (n, k)th roots, each
n
occurring (n,k)
times.
Applying Lemma 3.3 to
P
n
fn (−1) = n1 d|n cd (k)(−1) d ,
we immediately obtain the second statement.



Theorem 5.6. Fix k ≥ 1. LetP
fn be the Frobenius characteristic of the representation
Sn
exp(2iπk/n) ↑Cn , and let F = n≥1 fn . Then
(1) (Symmetric powers)
Y
(5.6.1)
H[F ](t) =
(1 − tn pn )−1
n≥1,n|k

and hence

X

(5.6.2)

Hµ [F ] =

µ⊢n

X

pλ .

λ∈P arn ,λi |k

(2) (Exterior powers)
(5.6.3)

E[F ](t) =

Y

(5.6.4)

Y

ω(E[F ])(t) =

X

(5.6.5)

Y

(1 − t2n−1 p2n−1 )−1

ω(Eµ [F ]) =

µ⊢n

(1 + t2n p2n )

n≥1,n|k,(2n)6|k

n≥1,(2n−1)|k

and

(1 − t2n p2n ),

n≥1,n|k,(2n)6|k

n≥1,(2n−1)|k

and hence

Y

(1 − t2n−1 p2n−1 )−1

X

pλ ,

where the last sum ranges over all partitions λ of n such that the odd parts are
factors of k, the even parts occur at most once, and do not divide k, but half of
each even part is a factor of k.
(3) (Alternating exterior powers)
X
tλ| (−1)|λ|−ℓ(λ) ω(Eλ [F ])
λ∈P ar

(5.6.6)

=

X

tλ| Hλ [ω(F )alt ] = H[ω(F )alt ](t) =

λ∈P ar

Y

(1 + tn pn ).

n≥1,n|k

(4) (Alternating symmetric powers)
X
X
tλ| Eλ [ω(F )alt ]
tλ| (−1)|λ|−ℓ(λ) ω(Hλ [F ]) =
λ∈P ar

λ∈P ar

(5.6.7)

= E[ω(F )alt ](t) =

Y

n≥1,(2n−1)|k

(1 + t2n−1 p2n−1 )

Y

n≥1,n|k,(2n)6|k

(1 + t2n p2n )−1 ,

30

SHEILA SUNDARAM

and hence
X
(5.6.8)
tλ| (−1)|λ|−ℓ(λ) Hλ [F ] =
λ∈P ar

Y

(1+t2n−1 p2n−1 )

n≥1,(2n−1)|k

Y

(1−t2n p2n )−1 ,

n≥1,n|k,(2n)6|k

a multiplicity-free nonnegative integer combination of power-sums.

Proof. All parts follow from the corresponding parts of Theorem 3.2 and Lemma 5.5.
Parts (1) and (3) use the calculation of fn (1) in Lemma 5.5; Parts (2) and (4) use
the value of fn (−1). Equation (5.6.8) follows by applying the involution ω to Equation
(5.6.7). Note that the right-hand side of (5.6.8) is now a nonnegative linear combination
of power-sums.

By combining (5.6.1) and (5.6.8) as in Theorem 3.4, we obtain more linear combinations of power-sums that are Schur-positive. The same statement applies to adding and
subtracting (5.6.5) and (5.6.6).
Note also that when k is prime, equation (5.6.1) coincides with the symmetric function
Wn,k of Theorem 4.23, thereby providing a concrete realisation of the representation.
In particular when k = 2 we obtain, for the symmetric function Wn,2 which is a homogeneous polynomial of degree n in the power-sums p1 and p2 :
Corollary 5.7. Let fn be the Frobenius characteristic of the representation exp (4πi/n) ↑SCnn
. Then
P
Wn,2 = µ⊢n Hµ [F ],
P
(1 + p1 )(1 − p4 )−1 |deg n = gn = µ⊢n (−1)n−ℓ(µ) Hµ [F ],
and the following polynomials in the power-sums p1 , p2 and p4 are Schur-positive:
P
1
(5.7.1)
Hµ [F ];
(Wn,2 + gn ) =
µ⊢n
2
n−ℓ(µ) even
P
1
(5.7.2)
Hµ [F ].
(Wn,2 − gn ) =
µ⊢n
2
n−ℓ(µ) odd

A similar statement can be made for the case of odd prime k.
6. The alternating group

In this section we examine yet another representation of Sn with the same degree as
the regular representation. Consider the alternating group An operating on itself by
conjugation, a representation of degree n!/2 which we denote by ψ(An ). When induced
up to Sn it gives a representation ψ(An ) ↑SAnn of degree n!. Before we prove our next
result, we investigate this situation in greater generality.
Proposition 6.1. Let G be a finite group and H a subgroup of G of index 2 (hence
normal). Fix g0 ∈
/ H, so that G = H ∪ g0 H is a disjoint union of left cosets. Let
ψ(H) denote the action of H on itself by conjugation, and consider the G-dimensional
induced G-module ψ(H) ↑G
H . Let χC (H) denote the character of ψ(H), and let Z(σ) be
the centraliser of σ in G. Then we have
(1) For σ ∈ H, χC (H)(σ) = |H ∩ Z(σ)|
(2) For τ(∈ G, χC (H) ↑G
H (τ )
0,
τ∈
/ H;
=
2χC (H)(τ ) otherwise.

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

31

Proof. Part (1) is a consequence of the easy observation that the trace of σ acting by
conjugation on H is the number of h ∈ H such that σh = hσ.
For Part (2), we use the standard formula for the character of an induced representation. This gives
−1
χC (H) ↑G
H (τ ) = χC (H)(τ )δτ ∈H + χC (H)(g0 τ g0 )δg0 τ g0−1 ∈H ,

where we are writing δP = 1 if statement P is true, and 0 otherwise.
Since H is normal in G, τ ∈ H ⇐⇒ g0 τ g0−1 ∈ H. Hence the induced character has
value
χC
(H) ↑G
H (τ )

if τ ∈
/H
0,
= 2|H ∩ Z(τ )|,
if τ ∈ H and g0 τ g0−1 is conjugate to τ in H,

|H ∩ Z(τ )| + |H ∩ Z(g τ g −1 )|, if τ ∈ H and g τ g −1 is NOT conjugate to τ in H
0
0
0
0


τ∈
/ H,
0,
= 2χC (H)(τ ),
τ ∈ H and g0 τ g0−1 = hτ h−1 for some h ∈ H;

χ (H)(τ ) + χ (H)(g τ g −1 ), otherwise
C
C
0
0
Finally note that Z(σ) ∩ H = Z(g0 σg0−1) ∩ H, because x ∈ Z(σ) ⇐⇒ g0 xg0−1 ∈
Z(g0 σg0−1 ) and x ∈ H ⇐⇒ g0 xg0−1 ∈ H. This implies that |H ∩ Z(τ )| + |H ∩

Z(g0 τ g0−1 )| = 2|H ∩ Z(τ )| if τ ∈ H. The result follows.
Proposition 6.2. Let G be a finite group and H a subgroup of G of index 2 (hence
normal). Fix g0 ∈
/ H, so that G = H ∪ g0 H is a disjoint union of left cosets. Consider
the action ψ(G) of G on itself by conjugation. Then
(1) H and g0 H are disjoint orbits for this action.
(2) Hence if ψ(G, H), ψ(G, g0H) denote respectively the actions of G by conjugation
on H and g0 H, we have
ψ(G) = ψ(G, H) ⊕ ψ(G, g0 H).
(3) The character values of ψ(G, H) and ψ(G, g0 H); on τ ∈ G are equal to |Z(τ )∩H|
and |Z(τ ) ∩ g0 H| respectively.
(4) Let ωH denote the one-dimensional representation of G induced by the unique
nontrivial one-dimensional representation of the quotient group G/H (which is
cyclic(of order 2), with character χωH (g)
1,
g ∈ H;
=
−1, g ∈
/ H ⇐⇒ g ∈ g0 H.
Then
ψ(H) ↑G
H = ψ(G, H) ⊕ ωH ⊗ ψ(G, H),
G
and hence ωH ⊗ ψ(H) ↑H = ψ(H) ↑G
H .
(5) ψ(H) ↑G
is
a
G-submodule
of
ψ(G)
⊕ ωH ⊗ ψ(G). In fact if we define UG+ to be
H
(ψ(G) ⊕ ωH ⊗ ψ(G)) /ψ(H) ↑G
H , then we have
UG+ = ψ(G, g0 H) ⊕ ωH ⊗ ψ(G, g0H),
and hence ωH ⊗ UG+ = UG+ .
(6) Define UG∗ to be the virtual module ψ(G, H) − ψ(G, g0 H). Then
∗
∗
2ψ(H) ↑G
H = (ψ(G) + ωH ⊗ ψ(G)) + (UG + ωH ⊗ UG ).

32

SHEILA SUNDARAM

(7)
+
∗
∗
ψ(H) ↑G
H = UG + (UG + ωH ⊗ UG ).

(8)

UG+ + UG∗ = ψ(G, H) + ωH ⊗ ψ(G, g0H).

Proof. For (1)and (2): this is clear, since H is normal in G and gxg −1 ∈ H ⇐⇒ x ∈
g −1 Hg = H, and hence g(g0 h)g −1 ∈ g0 H for all h ∈ H.
For (3): Let τ ∈ G. We compute the trace of τ acting on H by conjugation:
tr (τ |H ) = |{h ∈ H : τ hτ −1 = h}| = |{h ∈ H : τ h = hτ }| = |Z(τ ) ∩ H|
and similarly for τ acting on g0 H by conjugation: tr τ |g0 H = |Z(τ ) ∩ g0 H|.
For (4): From the trace of τ acting on H it follows that the character value of τ on
the representation ψ(G, H) ⊕ (ωH ⊗ ψ(G, H)) equals (1 + χ(ωH )(τ )) · |Z(τ ) ∩ H| which
in (
turn equals
0,
τ∈
/ H, since then χ(ωH )(τ ) = −1
The second statement follows since
2|Z(τ ) ∩ H|, else.
ωH ⊗ ωH is the trivial representation of G.
For (5): This follows immediately from (2) and (4).
The statement in (6) is immediate upon substituting from (2) and (4), since ψ(G) +
∗
UG = 2ψ(G, H), with the analogous result when we tensor with ωH . Statement (7)
follows by using the definition of UG+ , and (8) follows from (5).

Now we apply this to the alternating subgroup An ofQSn . For σ in Sn , if σ has cycletype λ and λ has mi parts equal to i, recall that zλ = i≥1 imi (mi !) is the order of the
centraliser of σ.
Lemma
( 6.3. For any σ ∈ Sn with cycle-type given by a partition λ of n, |Z(σ) ∩ An |
|Z(σ)| = zλ ,
σ ∈ An and all parts of λ are odd and distinct ;
= 1
z , otherwise.
2 λ

Proof. It is well-known that for any subgroup K of Sn , either K ⊂ An or exactly half
the permutations of K are even. Hence for any σ ∈ Sn with cycle-type given by a
partition
( λ of n, |Z(σ) ∩ An |
|Z(σ)| = zλ , if Z(σ) ⊂ An
= 1
z ,
otherwise, i.e., if Z(σ) contains an odd permutation
2 λ
Let σ ∈ Sn be of cycle-type λ ⊢ n. We claim that the centraliser Z(σ) contains an
odd permutation if and only if some part i is even, or all parts i are odd but some odd
part is repeated. But the natural embedding of Sa [Sb ] in Sab (e.g., [12]) shows that
there are odd permutations in the wreath product subgroup Sa [Sb ] if and only if b is
odd and a ≥ 2, or b is even. Since Z(σ) is isomorphic to the direct product ×i Smi [Si ],
the conclusion follows.

Hence we have:
Theorem 6.4. The induction ψ(An ) ↑SAnn is a self-conjugate representation of Sn of
degree n! with Frobenius characteristic
P
P
2 λ∈DOn pλ +
pµ .
µ∈DO
/
n
n−ℓ(µ)even

We also have

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

33

ψ(An ) ↑SAnn = ψ(Sn , An ) + ω(ψ(Sn , An )).
For n 6= 3, ψ(An ) ↑SAnn has the property that every Sn -irreducible appears in its irreducible
decomposition, while for n = 3, ch(ψ(A3 ) ↑SA33 ) = 3(h3 + e3 ).
Proof. Apply the Frobenius characteristic map to the character χ of ψ(An ) ↑SAnn :
P
ch(χ) = λ⊢n zλ−1 pλ χ(λ).
P
Note that λ is the cycle-type of an even permutation if and only if i (i − 1)mi (λ) =
n − ℓ(λ) is even.
Hence
 from Proposition 6.2 and Lemma 6.3, χ(λ)

if n − ℓ(λ) is odd;
0
= 2zλ if all parts of λ are odd and distinct ;

z
otherwise, with n − ℓ(λ) even,
λ
and the result follows. The penultimate statement is a direct consequence of Proposition
6.2 (4), and hence, by Theorem 4.17, the last statement follows as well.

Proposition 6.5. We have
(6.5.1)
(6.5.2)

ψ(An ) ↑SAnn = ψ(Sn , An ) + ω(ψ(Sn , An ))
X
X
ω(Hµ [F ])
Hµ [F ] +
=
µ⊢n
n−ℓ(µ) even

(6.5.3)
(6.5.4)
(6.5.5)

µ⊢n
n−ℓ(µ) even

ψ(An ) ↑SAnn = Un+ + 2UnDO
2ψ(An ) ↑SAnn = ψ(Sn ) + ω(ψ(Sn )) + 2UnDO
Un+ = (ψ(Sn ) + ω(ψ(Sn ))) − ψ(An ) ↑SAnn

Proof. We use Proposition 4.13. Equations (6.5.1) and (6.5.2) follow from Theorem 6.4.
Equation (6.5.3) is just a matter of putting together equations (4.13.5) and (4.13.2) of
Proposition 4.13, and equation (6.5.1) above. Equation (6.5.4) is simply (6) of Proposition 6.2, coupled with the fact that UnDO is self-conjugate (equation (4.13.1)).
Finally, equation (6.5.5) follows by eliminating ψ(An ) ↑SAnn from equations (6.5.4) and
(6.5.3), or directly from Proposition 6.2 (5)-(7).

The irreducible representations of An are determined essentially from Clifford theory
for the special case of a finite group G with a subgroup H of index 2. The results are
summarised in the following theorem. The reference [20] derives all the basic facts without using Clifford theory; in contrast [2] is an exposition using Clifford theory. (These
two references were supplied by an anonymous referee, whom the author gratefully
acknowledges.)
Theorem 6.6. (see [6, Proposition 5.1], [20], [2]) Let G be a finite group with a subgroup
H of index 2. Let ωH be the linear character induced by G/H as in Proposition 6.2. Let
Irr(G) (respectively Irr(H)) denote the irreducible characters of G (respectively H).
Let χ ∈ Irr(G). Then
(1) If χ(g) 6= 0 for some g ∈
/ H, then χ and ωH · χ ∈ Irr(G), and χ ↓H = ωH · χ ↓H
is also an irreducible for H.
(2) If χ(g) = 0 for all g ∈
/ H, then χ ↓H is a sum of two irreducible characters χ+
−
and χ in H.

34

SHEILA SUNDARAM

(3) All irreducibles of H arise in this manner.
(4) If ψ ∈ Irr(H), there exists χ ∈ Irr(G) such that ψ is an irreducible component
of χ ↓H , or equivalently, such that χ is an irreducible component of ψ ↑G . In this
case either χ ↓H is irreducible so it equals ψ, or χ ↓H splits into two irreducibles,
and then ψ is either χ+ or χ− .
(5) Let W be any representation of H. Suppose W decomposes into H-irreducibles
as
X
X
W =
cχ χ +
d+ (χ+ ) + d− (χ− ),
χ∈Irr(G)
χ(g)6=0 for some g ∈H
/

χ∈Irr(G)
χ(g)=0 for all g ∈H
/

where in the first sum we take exactly one of χ, ωH · χ. Then W ↑G
H decomposes
into G irreducibles as
X
X
cχ (χ + ωH · χ) +
(d+ + d− )χ,
χ∈Irr(G)
χ(g)6=0 for some g ∈H
/

χ∈Irr(G)
χ(g)=0 for all g ∈H
/

where in the first sum we take exactly one of χ, ωH · χ.
Corollary 6.7. Let G be a finite group with a subgroup H of index 2. Let W be a
representation of H. Then W contains every irreducible of H if and only if the induced
representation W ↑G
H contains every irreducible of G.
Proof. Immediate from (5) of the preceding Theorem 6.6.



In the special case of the alternating group we immediately obtain, from Theorem
6.4 and Corollary 6.7, the following known result:
Corollary 6.8. The conjugacy action of An on itself contains every (An -)irreducible
for n 6= 3.
The preceding corollary is also a consequence of the following deep result of Heide,
Saxl, Tiep and Zalesski:
Theorem 6.9. [10, Corollary 1.4] If G is a finite nonabelian simple group, then every
G-irreducible appears in the conjugation action of G on itself.
Hence we have
Theorem 6.10. If G is a finite group and H is a subgroup of index 2 which is nonabelian
and simple, then the conjugacy action of H on itself, when induced up to G, contains
every G-irreducible.
We conclude with some natural questions raised by this section, in analogy with the
results established for the symmetric group.
Question 6.11. Given a group G with a subgroup H of index 2, we know (Proposition
6.2) that ψ(G) decomposes into a direct sum ψ(G, H) ⊕ ψ(G, g0H). If ψ(G) contains
every G-irreducible, is this also true for the submodules ψ(G, H), ψ(G, g0 H) (the analogues of Sn acting by conjugation on the subsets of even and odd permutations), and
the representations UG+ and UG+ ⊕ UG∗ defined in Proposition 6.2?

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

35

Tables 1 and 2 which follow contain the decomposition into irreducibles up to n =
10 for the ordinary and twisted conjugacy representations ψ(Sn ) and ε(Sn ). In these
tables, the rows index the irreducibles according to partitions of n listed in reverse
lexicographic order. Tables 3 and 4 list the decomposition of the ordinary and twisted
conjugacy actions respectively, on the subset of even permutations, and the set of odd
permutations, up to n = 12.

36

SHEILA SUNDARAM

n

Table 1: Decomposition into irreducibles of conjugacy action of Sn
1 2 3 4 5 6 7 8
9 10 11 12 13 14

λ reverse lex order
(n)
1 2 3 5
0 1 2
(n − 1, 1)
(n − 2, 2)
1 3
2
(n − 2, 1 )
2
1

7
5
6
5
4
3
1

11
8
15
10
4
13
10
8
5
4
1

15
15
26
19
18
36
19
18
22
28
7
12
10
5
1

22
23
49
33
39
78
44
25
70
67
81
34
35
53
58
52
17
19
19
17
5
2

30
37
79
57
87
154
82
64
188
152
201
75
95
168
207
203
169
52
41
144
104
81
130
84
23
34
39
21
7
2

15

16

42 56 77 101 135 176 231
55
131
91
157
284
148
165
424
327
427
158
52
345
497
614
546
447
124
284
283
200
721
482
305
492
311
72
194
208
387
177
241
258
128
33
46
65
63
25
9
2

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

Table 2: Decomposition into irreducibles of twisted conjugacy action of Sn
n
1 2 3 4 5 6 7 8
9 10 11 12 13 14 15 16
λ reverse lex order
(n)
1 1 2 2
1 1 3
(n − 1, 1)
(n − 2, 2)
2 1
2
(n − 2, 1 )
3
2

3 4 5 6
4 6 9 13
4 8 14 23
7 12 19 29
4 6 14 29
4 13 33 65
3 12 23 42
6 19 13
8 19 66
6 33 53
4 19 89
14 42
14 37
9 53
5 66
65
29
13
29
23
13
6

8
17
36
44
55
114
72
39
160
121
196
83
82
153
208
208
196
72
43
153
82
121
160
114
44
39
55
36
17
8

10
23
53
63
92
193
115
93
329
236
382
156
41
280
433
566
525
473
156
237
289
196
721
525
289
566
382
115
196
237
433
236
280
329
193
63
41
93
92
53
23
10

37

38

SHEILA SUNDARAM

Table 3: Irreducible decomposition of ψ(Sn , An ) and ψ(Sn , Ān ), 2 ≤ n ≤ 12 :

ψ(S2 , A2 )

= (2) = ψ(S2 , Ā2 )

ψ(S3 , A3 )

= 2(3) + (13 );

ψ(S4 , A4 )

= 3(4) + (3, 1) + (22 ) + (2, 12 ) + (14 ),

ψ(S4 , Ā4 )

= 2(4) + (3, 1) + 2(22 ) + (2, 12 );

ψ(S5 , A5 )

= 4(5) + 2(4, 1) + 3(3, 2) + 3(3, 12 ) + 2(22 , 1) + (2, 13 ) + (15 ),

ψ(S5 , Ā5 )

= 3(5) + 3(4, 1) + 3(3, 2) + 2(3, 12 ) + 2(22 , 1) + 2(2, 13 );

ψ(S6 , A6 )

= 6(6) + 4(5, 1) + 7(4, 2) + 5(4, 12 ) + 2(32 ) + 7(3, 2, 1) + 5(3, 13 ) + 4(23 ) + 2(22 , 12 ) + 2(2, 14 ) + (16 ),

ψ(S6 , Ā6 )

= 5(6) + 4(5, 1) + 8(4, 2) + 5(4, 12 ) + 2(32 ) + 6(3, 2, 1) + 5(3, 13 ) + 4(23 ) + 3(22 , 12 ) + 2(2, 14 ).

ψ(S7 , A7 )

= 8(7) + 7(6, 1) + 13(5, 2) + 10(5, 12 ) + 9(4, 3) + 18(4, 2, 1) + 9(4, 13 )

ψ(S3 , Ā3 ) = (3) + (2, 1)

+9(32 , 1) + 11(3, 22 ) + 14(3, 2, 12 ) + 4(3, 14 ) + 6(23 , 1) + 5(22 , 13 ) + 2(2, 15 ) + (17 ),
ψ(S7 , Ā7 )

= 7(7) + 8(6, 1) + 13(5, 2) + 9(5, 12 ) + 9(4, 3) + 18(4, 2, 1) + 10(4, 13 )
+9(32 , 1) + 11(3, 22 ) + 14(3, 2, 12 ) + 3(3, 14 ) + 6(23 , 1) + 5(22 , 13 ) + 3(2, 15 );

ψ(S8 , A8 )

= 12(8) + 11(7, 1) + 24(6, 2) + 17(6, 12 ) + 20(5, 3) + 39(5, 2, 1) + 22(5, 13 ) + 12(42 ) + 35(4, 3, 1)
+34(4, 22 ) + 40(4, 2, 12 ) + 17(4, 14 ) + 17(32 , 2) + 27(32 , 12 ) + 29(3, 22 , 1) + 26(3, 2, 13 )
+9(3, 15 ) + 9(24 ) + 10(23 , 12 ) + 8(22 , 14 ) + 2(2, 16 ) + 2(18 );

ψ(S8 , A¯8 )

= 10(8) + 12(7, 1) + 25(6, 2) + 16(6, 12 ) + 19(5, 3) + 39(5, 2, 1) + 22(5, 13 ) + 13(42 ) + 35(4, 3, 1)
+33(4, 22 ) + 41(4, 2, 12 ) + 17(4, 14 ) + 18(32 , 2) + 26(32 , 12 ) + 29(3, 22 , 1) + 26(3, 2, 13 )
+8(3, 15 ) + 10(24 ) + 9(23 , 12 ) + 9(22 , 14 ) + 3(2, 16 );

ψ(S9 , A9 )

= 16(9) + 18(8, 1) + 39(7, 2) + 29(7, 12 ) + 44(6, 3) + 77(6, 2, 1) + 41(6, 13 )
+32(5, 4) + 94(5, 3, 1) + 76(5, 22 ) + 100(5, 2, 12 ) + 38(5, 14 )
+47(42 , 1) + 84(4, 3, 2) + 104(4, 3, 12 ) + 102(4, 22 , 1) + 84(4, 2, 13 ) + 26(4, 15 )
+20(33 ) + 72(32 , 2, 1) + 52(32 , 13 ) + 40(3, 23 ) + 65(3, 22 , 12 ) + 42(3, 2, 14 )
+12(3, 16 ) + 17(24 , 1) + 20(23 , 13 ) + 10(22 , 15 ) + 3(2, 17 ) + 2(19 )

ψ(S9 , A¯9 )

= 14(9) + 19(8, 1) + 40(7, 2) + 28(7, 12 ) + 43(6, 3) + 77(6, 2, 1) + 41(6, 14 )
+32(5, 4) + 94(5, 3, 1) + 76(5, 22 ) + 101(5, 2, 12 ) + 37(5, 14 )
+48(42 , 1) + 84(4, 3, 2) + 103(4, 3, 12 ) + 101(4, 22 , 1) + 85(4, 2, 13 ) + 26(4, 15 )
+21(33 ) + 72(32 , 2, 1) + 52(32 , 13 ) + 41(3, 23 ) + 65(3, 22 , 12 ) + 42(3, 2, 14 )
+11(3, 16 ) + 17(24 , 1) + 19(23 , 13 ) + 11(22 , 15 ) + 4(2, 17 );

ψ(S10 , A10 )

= 22(10) + 27(9, 1) + 65(8, 2) + 46(8, 12 ) + 79(7, 3) + 142(7, 2, 1) + 74(7, 13 )
+82(6, 4) + 212(6, 3, 1) + 164(6, 22 ) + 213(6, 2, 12 ) + 79(6, 14 )
+26(52 ) + 173(5, 4, 1) + 248(5, 3, 2) + 307(5, 3, 12 ) + 273(5, 22 , 1) + 224(5, 2, 13 ) + 62(5, 15 )
+142(42 , 2) + 141(42 , 12 ) + 100(4, 32 ) + 361(4, 3, 2, 1) + 241(4, 3, 13 ) + 152(4, 23 )
+246(4, 22 , 12 ) + 155(4, 2, 14 ) + 36(4, 16 )
+97(33 , 1) + 104(32 , 22 ) + 193(32 , 2, 12 ) + 89(32 , 14 ) + 121(3, 23 , 1) + 129(3, 22 , 13 )
+64(3, 2, 15 ) + 17(3, 17 )
5

+23(2 ) + 32(2 , 1 ) + 32(2 , 1 ) + 12(2 , 1 ) + 4(2, 1 ) + 2(110 );
ψ(S10 , Ā10 )

4

2

3

4

2

8

10

= 20(10) + 28(9, 1) + 66(8, 2) + 45(8, 12 ) + 78(7, 3) + 142(7, 2, 1) + 74(7, 13 )
+83(6, 4) + 212(6, 3, 1) + 163(6, 22 ) + 214(6, 2, 12 ) + 79(6, 14 )
+26(52 ) + 172(5, 4, 1) + 249(5, 3, 2) + 307(5, 3, 12 ) + 273(5, 22 , 1) + 223(5, 2, 13 ) + 62(5, 15 )
+142(42 , 2) + 142(42 , 12 ) + 100(4, 32 ) + 360(4, 3, 2, 1) + 241(4, 3, 13 ) + 153(4, 23 )
+246(4, 22 , 12 ) + 156(4, 2, 14 ) + 36(4, 16 )
+97(33 , 1) + 104(32 , 22 ) + 194(32 , 2, 12 ) + 88(32 , 14 ) + 120(3, 23 , 1) + 129(3, 22 , 13 )
+64(3, 2, 15 ) + 16(3, 17 )
+23(25 ) + 33(24 , 12 ) + 31(23 , 14 ) + 13(22 , 18 ) + 5(2, 110 );

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

ψ(S11 , A11 )

39

= 29(11) + 41(10, 1) + 100(9, 2) + 73(9, 12 ) + 142(8, 3) + 248(8, 2, 1) + 125(8, 13 )
+164(7, 4) + 432(7, 3, 1) + 314(7, 22 ) + 426(7, 2, 12 ) + 151(7, 14 )
+107(6, 5) + 465(6, 4, 1) + 621(6, 3, 2) + 738(6, 3, 12 ) + 645(6, 22 , 1) + 519(6, 2, 13 ) + 140(6, 15 )
+200(52 , 1) + 566(5, 4, 2) + 619(5, 4, 12 ) + 349(5, 32 ) + 1188(5, 3, 2, 1) + 769(5, 3, 13 ) + 432(5, 23 )
+742(5, 22 , 12 ) + 441(5, 2, 14 ) + 99(5, 16 )
+239(42 , 3) + 644(42 , 2, 1) + 384(42 , 13 ) + 560(4, 32 , 1) + 614(4, 3, 22 ) + 1043(4, 3, 2, 12 )
+484(4, 3, 14 ) + 515(4, 23 , 1) + 533(4, 22 , 13 ) + 254(4, 2, 15 ) + 53(4, 17 )
+202(33 , 2) + 287(33 , 12 ) + 420(32 , 22 , 1) + 410(32 , 2, 13 ) + 155(32 , 15 ) + 146(3, 24 ) + 282(3, 23 , 12 )
+223(3, 22 , 14 ) + 93(3, 2, 16 ) + 21(3, 18 )
5

+53(2 , 1) + 66(2 , 1 ) + 44(2 , 1 ) + 17(2 , 1 ) + 5(2, 19 ) + 2(111 )
ψ(S11 , Ā11 )

4

3

3

5

2

7

= 27(11) + 42(10, 1) + 101(9, 2) + 72(9, 12 ) + 141(8, 3) + 248(8, 2, 1) + 125(8, 13 )
+164(7, 4) + 432(7, 3, 1) + 314(7, 22 ) + 427(7, 2, 12 ) + 150(7, 14 )
+108(6, 5) + 465(6, 4, 1) + 621(6, 3, 2) + 738(6, 3, 12 ) + 644(6, 22 , 1) + 519(6, 2, 13 ) + 141(6, 15 )
+199(52 , 1) + 566(5, 4, 2) + 619(5, 4, 12 ) + 350(5, 32 ) + 1188(5, 3, 2, 1) + 769(5, 3, 13 ) + 433(5, 23 )
+742(5, 22 , 12 ) + 441(5, 2, 14 ) + 98(5, 16 )
+239(42 , 3) + 644(42 , 2, 1) + 385(42 , 13 ) + 559(4, 32 , 1) + 614(4, 3, 22 ) + 1043(4, 3, 2, 12 )
+483(4, 3, 14 ) + 515(4, 23 , 1) + 533(4, 22 , 13 ) + 255(4, 2, 15 ) + 53(4, 17 )
+202(33 , 2) + 288(33 , 12 ) + 420(32 , 22 , 1) + 410(32 , 2, 13 ) + 155(32 , 15 ) + 145(3, 24 ) + 282(3, 23 , 12 )
+223(3, 22 , 14 ) + 93(3, 2, 16 ) + 20(3, 18 )
5

+54(2 , 1) + 66(2 , 1 ) + 43(2 , 1 ) + 18(2 , 1 ) + 6(2, 19 )
ψ(S12 , A12 )

4

3

3

5

2

7

= 40(12) + 58(11, 1) + 155(10, 2) + 112(10, 12 ) + 236(9, 3) + 414(9, 2, 1) + 207(9, 13 )
+318(8, 4) + 815(8, 3, 1) + 586(8, 22 ) + 789(8, 2, 12 ) + 276(8, 14 )
+260(7, 5) + 1060(7, 4, 1) + 1355(7, 3, 2) + 1616(7, 3, 12 ) + 1373(7, 22 , 1) + 1099(7, 2, 13 ) + 288(7, 15 )
+124(62 ) + 767(6, 5, 1) + 1679(6, 4, 2) + 1801(6, 4, 12 ) + 960(6, 33 ) + 3187(6, 3, 2, 1) + 2032(6, 3, 13 )
+1108(6, 23 ) + 1891(6, 22 , 12 ) + 1106(6, 2, 14 ) + 236(6, 16 )
2

2

2

+747(5 , 2) + 842(5 , 1 ) + 1147(5, 4, 3) + 3016(5, 4, 2, 1) + 1771(5, 4, 13 )
+2115(5, 32 , 1) + 2211(5, 3, 22 ) + 3753(5, 3, 2, 12 ) + 1678(5, 3, 14 )
+1682(5, 23 , 1) + 1727(5, 22 , 13 ) + 793(5, 2, 15 ) + 156(5, 17 )
3

2

+263(4 ) + 1426(4 , 3, 1) + 1294(42 , 22 ) + 2053(42 , 2, 12 ) + 888(42 , 14 ) + 1363(4, 32 , 2)
+1901(4, 32 , 12 ) + 2592(4, 3, 22 , 1) + 2466(4, 3, 2, 13 ) + 892(4, 3, 15 )
+684(4, 24 ) + 1314(4, 23 , 12 ) + 1019(4, 22 , 14 ) + 394(4, 2, 16 ) + 75(4, 18 )
4

3

+218(3 ) + 906(3 , 2, 1) + 690(33 , 13 ) + 549(32 , 23 ) + 1132(32 , 22 , 12 ) + 779(32 , 2, 14 ) + 258(32 , 16 )
+474(3, 24 , 1) + 574(3, 23 , 13 ) + 357(3, 22 , 15 ) + 130(3, 2, 17 ) + 26(3, 19 )
6

+66(2 ) + 114(2 , 1 ) + 112(24 , 14 ) + 61(23 , 16 ) + 24(22 , 18 ) + 5(2, 110 ) + 3(112 ).
ψ(S12 , Ā12 )

5

2

= 37(12) + 60(11, 1) + 156(10, 2) + 110(10, 12 ) + 235(9, 3) + 414(9, 2, 1) + 208(9, 13 )
+319(8, 4) + 815(8, 3, 1) + 585(8, 22 ) + 790(8, 2, 12 ) + 275(8, 14 )
+259(7, 5) + 1060(7, 4, 1) + 1356(7, 3, 2) + 1615(7, 3, 12 ) + 1373(7, 22 , 1) + 1099(7, 2, 13 ) + 288(7, 15 )
+125(62 ) + 767(6, 5, 1) + 1678(6, 4, 2) + 1802(6, 4, 12 ) + 960(6, 33 ) + 3187(6, 3, 2, 1) + 2032(6, 3, 13 )
+1109(6, 23 ) + 1890(6, 22 , 12 ) + 1107(6, 2, 14 ) + 236(6, 16 )
+748(52 , 2) + 841(52 , 12 ) + 1147(5, 4, 3) + 3016(5, 4, 2, 1) + 1771(5, 4, 13 )
+2115(5, 32 , 1) + 2210(5, 3, 22 ) + 3754(5, 3, 2, 12 ) + 1677(5, 3, 14 )
+1682(5, 23 , 1) + 1727(5, 22 , 13 ) + 793(5, 2, 15 ) + 155(5, 17 )
3

2

+263(4 ) + 1426(4 , 3, 1) + 1295(42 , 22 ) + 2052(42 , 2, 12 ) + 889(42 , 14 ) + 1363(4, 32 , 2)
+1901(4, 32 , 12 ) + 2592(4, 3, 22 , 1) + 2466(4, 3, 2, 13 ) + 892(4, 3, 15 )
+683(4, 24 ) + 1315(4, 23 , 12 ) + 1018(4, 22 , 14 ) + 395(4, 2, 16 ) + 76(4, 18 )
4

3

+218(3 ) + 906(3 , 2, 1) + 690(33 , 13 ) + 550(32 , 23 ) + 1131(32 , 22 , 12 ) + 780(32 , 2, 14 ) + 257(32 , 16 )
+474(3, 24 , 1) + 574(3, 23 , 13 ) + 357(3, 22 , 15 ) + 130(3, 2, 17 ) + 24(3, 19 )
6

5

2

+67(2 ) + 113(2 , 1 ) + 113(24 , 14 ) + 60(23 , 16 ) + 25(22 , 18 ) + 7(2, 110 ).

40

SHEILA SUNDARAM

Table 4: Decomposition into irreducibles of ε(Sn , An ) and ε(Sn , Ān ) for 2 ≤ n ≤ 12 :
ε(S2 , A2 )

= (12 );

ε(S3 , A3 )

= (3) + 2(13 );

ε(S4 , A4 )

= (4) + 2(3, 1) +

ε(S2 , Ā2 ) = (2);
ε(S3 , Ā3 ) = (3) + (2, 1)
(2, 12 ) + 2(14 ),
2

ε(S4 , Ā4 )

= (4) + (3, 1) + (2 ) + 2(2, 12 );

ε(S5 , A5 )

= (5) + 2(4, 1) + 2(3, 2) + 4(3, 12 ) + 2(22 , 1) + (2, 13 ) + 3(15 ),

ε(S5 , Ā5 )

= 2(5) + 2(4, 1) + 2(3, 2) + 3(3, 12 ) + 2(22 , 1) + 3(2, 13 );

ε(S6 , A6 )

= 2(6) + 3(5, 1) + 4(4, 2) + 6(4, 12 ) + +2(32 ) + 7(3, 2, 1) + 6(3, 13 )
+3(23 ) + 4(22 , 12 ) + 2(2, 14 ) + 4(16 ),

ε(S6 , Ā6 )

= 2(6) + 3(5, 1) + 4(4, 2) + 6(4, 12 ) + 4(32 ) + 6(3, 2, 1) + 6(3, 13 )
+3(23 ) + 4(22 , 12 ) + 4(2, 14 )

ε(S7 , A7 )

= 2(7) + 5(6, 1) + 7(5, 2) + 9(5, 12 ) + 7(4, 3) + 17(4, 2, 1) + 11(4, 13 )
+9(32 , 1) + 9(3, 22 ) + 17(3, 2, 12 ) + 10(3, 14 ) + 7(23 , 1) + 7(22 , 13 ) + 3(2, 15 ) + 5(17 )

ε(S7 , Ā7 )

= 3(7) + 4(6, 1) + 7(5, 2) + 10(5, 12 ) + 7(4, 3) + 16(4, 2, 1) + 12(4, 13 )
+10(32 , 1) + 10(3, 22 ) + 16(3, 2, 12 ) + 9(3, 14 ) + 7(23 , 1) + 7(22 , 13 ) + 6(2, 15 )

ε(S8 , A8 )

= 3(8) + 6(7, 1) + 12(6, 2) + 15(6, 12 ) + 14(5, 3) + 32(5, 2, 1) + 21(5, 13 ) + 6(42 )
+34(4, 3, 1) + 27(4, 22 ) + 44(4, 2, 12 ) + 21(4, 14 ) + 18(32 , 2) + 26(32 , 12 ) + 33(3, 22 , 1)
+33(3, 2, 13 ) + 15(3, 15 ) + 6(24 ) + 15(23 , 12 ) + 11(22 , 14 ) + 5(2, 16 ) + 6(18 )

ε(S8 , Ā8 )

= 3(8) + 7(7, 1) + 11(6, 2) + 14(6, 12 ) + 15(5, 3) + 33(5, 2, 1) + 21(5, 13 ) + 7(42 )
+32(4, 3, 1) + 26(4, 22 ) + 45(4, 2, 12 ) + 21(4, 14 ) + 19(32 , 2) + 27(32 , 12 ) + 33(3, 22 , 1)
+32(3, 2, 13 ) + 14(3, 15 ) + 7(24 ) + 14(23 , 12 ) + 12(22 , 14 ) + 8(2, 16 )

ε(S9 , A9 )

= 4(9) + 9(8, 1) + 18(7, 2) + 21(7, 12 ) + 28(6, 3) + 57(6, 2, 1) + 37(6, 13 )
+19(5, 4) + 80(5, 3, 1) + 60(5, 22 ) + 98(5, 2, 12 ) + 41(5, 14 )
+41(42 , 1) + 77(4, 3, 2) + 104(4, 3, 12 ) + 104(4, 22 , 1) + 98(4, 2, 13 ) + 36(4, 15 )
+20(33 ) + 77(32 , 2, 1) + 41(3, 23 ) + 60(32 , 13 ) + 80(3, 22 , 12 ) + 57(3, 2, 14 ) + 23(3, 16 )
+19(24 , 1) + 28(23 , 13 ) + 18(22 , 15 ) + 6(2, 17 ) + 8(19 )

ε(S9 , Ā9 )

= 4(9) + 8(8, 1) + 18(7, 2) + 23(7, 12 ) + 27(6, 3) + 57(6, 2, 1) + 35(6, 13 )
+20(5, 4) + 80(5, 3, 1) + 61(5, 22 ) + 98(5, 2, 12 ) + 42(5, 14 )
+41(42 , 1) + 76(4, 3, 2) + 104(4, 3, 12 ) + 104(4, 22 , 1) + 98(4, 2, 13 ) + 36(4, 15 )
+23(33 ) + 76(32 , 2, 1) + 41(3, 23 ) + 61(32 , 13 ) + 80(3, 22 , 12 ) + 57(3, 2, 14 ) + 21(3, 16 )
+20(24 , 1) + 27(23 , 13 ) + 18(22 , 15 ) + 11(2, 17 )

ε(S10 , A10 )

= 5(10) + 11(9, 1) + 27(8, 2) + 32(8, 12 ) + 46(7, 3) + 96(7, 2, 1) + 57(7, 13 )
+47(6, 4) + 164(6, 3, 1) + 118(6, 22 ) + 192(6, 2, 12 ) + 78(6, 14 )
+19(52 ) + 141(5, 4, 1) + 217(5, 3, 2) + 282(5, 3, 12 ) + 262(5, 22 , 1) + 237(5, 2, 13 ) + 77(5, 15 )
+118(42 , 2) + 144(42 , 12 ) + 98(4, 32 ) + 361(4, 3, 2, 1) + 263(4, 3, 13 ) + 144(4, 23 )
+283(4, 22 , 12 ) + 191(4, 2, 14 ) + 58(4, 16 )
+97(33 , 1) + 119(32 , 22 ) + 217(32 , 2, 12 ) + 117(32 , 14 ) + 140(3, 23 , 1) + 164(3, 22 , 13 )
+97(3, 2, 15 ) + 32(3, 17 )
5

+21(2 ) + 46(2 , 1 ) + 47(2 , 1 ) + 26(2 , 1 ) + 9(2, 1 ) + 10(110 );
ε(S10 , Ā10 )

4

2

3

4

2

6

8

= 5(10) + 12(9, 1) + 26(8, 2) + 31(8, 12 ) + 46(7, 3) + 97(7, 2, 1) + 58(7, 13 )
+46(6, 4) + 165(6, 3, 1) + 118(6, 22 ) + 190(6, 2, 12 ) + 78(6, 14 )
+22(52 ) + 139(5, 4, 1) + 216(5, 3, 2) + 284(5, 3, 12 ) + 263(5, 22 , 1) + 236(5, 2, 13 ) + 79(5, 15 )
+119(42 , 2) + 145(42 , 12 ) + 98(4, 32 ) + 360(4, 3, 2, 1) + 262(4, 3, 13 ) + 145(4, 23 )
+283(4, 22 , 12 ) + 191(4, 2, 14 ) + 57(4, 16 )
+99(33 , 1) + 118(32 , 22 ) + 216(32 , 2, 12 ) + 119(32 , 14 ) + 140(3, 23 , 1) + 165(3, 22 , 13 )
+96(3, 2, 15 ) + 31(3, 17 )
+20(25 ) + 47(24 , 12 ) + 45(23 , 14 ) + 27(22 , 16 ) + 14(2, 18 );

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

ε(S11 , A11 )

41

= 6(11) + 16(10, 1) + 38(9, 2) + 43(9, 12 ) + 73(8, 3) + 154(8, 2, 1) + 90(8, 13 )
+92(7, 4) + 307(7, 3, 1) + 215(7, 22 ) + 345(7, 2, 12 ) + 134(7, 14 )
+67(6, 5) + 352(6, 4, 1) + 498(6, 3, 2) + 638(6, 3, 12 ) + 572(6, 22 , 1) + 506(6, 2, 13 ) + 157(6, 15 )
+159(52 , 1) + 476(5, 4, 2) + 568(5, 4, 12 ) + 315(5, 32 ) + 1122(5, 3, 2, 1) + 782(5, 3, 13 ) + 407(5, 23 )
+782(5, 22 , 12 ) + 505(5, 2, 14 ) + 135(5, 16 )
+215(42 , 3) + 623(42 , 2, 1) + 407(42 , 13 ) + 558(4, 32 , 1) + 624(4, 3, 22 ) + 1122(4, 3, 2, 12 )
+572(4, 3, 14 ) + 567(4, 23 , 1) + 639(4, 22 , 13 ) + 345(4, 2, 15 ) + 89(4, 17 )
+215(33 , 2) + 314(33 , 12 ) + 476(32 , 22 , 1) + 499(32 , 2, 13 ) + 214(32 , 15 ) + 160(3, 24 ) + 351(3, 23 , 12 )
+307(3, 22 , 14 ) + 154(3, 2, 16 ) + 45(3, 18 )
5

+68(2 , 1) + 91(2 , 1 ) + 74(2 , 1 ) + 38(2 , 1 ) + 12(2, 19 ) + 12(111 )
ε(S11 , Ā11 )

4

3

3

5

2

7

= 6(11) + 15(10, 1) + 38(9, 2) + 45(9, 12 ) + 74(8, 3) + 153(8, 2, 1) + 88(8, 13 )
+91(7, 4) + 307(7, 3, 1) + 216(7, 22 ) + 345(7, 2, 12 ) + 137(7, 14 )
+68(6, 5) + 351(6, 4, 1) + 498(6, 3, 2) + 640(6, 3, 12 ) + 571(6, 22 , 1) + 504(6, 2, 13 ) + 156(6, 15 )
+161(52 , 1) + 475(5, 4, 2) + 566(5, 4, 12 ) + 316(5, 32 ) + 1122(5, 3, 2, 1) + 783(5, 3, 13 ) + 407(5, 23 )
+783(5, 22 , 12 ) + 505(5, 2, 14 ) + 136(5, 16 )
+216(42 , 3) + 625(42 , 2, 1) + 407(42 , 13 ) + 555(4, 32 , 1) + 624(4, 3, 22 ) + 1122(4, 3, 2, 12 )
+571(4, 3, 14 ) + 567(4, 23 , 1) + 639(4, 22 , 13 ) + 345(4, 2, 15 ) + 89(4, 17 )
+216(33 , 2) + 317(33 , 12 ) + 475(32 , 22 , 1) + 497(32 , 2, 13 ) + 217(32 , 15 ) + 160(3, 24 ) + 352(3, 23 , 12 )
+307(3, 22 , 14 ) + 153(3, 2, 16 ) + 43(3, 18 )
5

+67(2 , 1) + 92(2 , 1 ) + 73(2 , 1 ) + 38(2 , 1 ) + 19(2, 19 )
ε(S12 , A12 )

4

3

3

5

2

7

= 7(12) + 20(11, 1) + 54(10, 2) + 61(10, 12 ) + 114(9, 3) + 233(9, 2, 1) + 133(9, 13 )
+162(8, 4) + 534(8, 3, 1) + 371(8, 22 ) + 588(8, 2, 12 ) + 225(8, 14 )
+160(7, 5) + 752(7, 4, 1) + 1018(7, 3, 2) + 1292(7, 3, 12 ) + 1132(7, 22 , 1) + 984(7, 2, 13 ) + 292(7, 15 )
+70(62 ) + 576(6, 5, 1) + 1326(6, 4, 2) + 1557(6, 4, 12 ) + 820(6, 33 ) + 2826(6, 3, 2, 1) + 1930(6, 3, 13 )
+982(6, 23 ) + 1860(6, 22 , 12 ) + 1164(6, 2, 14 ) + 295(6, 16 )
2

2

2

+638(5 , 2) + 727(5 , 1 ) + 999(5, 4, 3) + 2793(5, 4, 2, 1) + 1753(5, 4, 13 )
+1994(5, 32 , 1) + 2153(5, 3, 22 ) + 3809(5, 3, 2, 12 ) + 1859(5, 3, 14 )
+1753(5, 23 , 1) + 1929(5, 22 , 13 ) + 985(5, 2, 15 ) + 222(5, 17 )
3

2

+223(4 ) + 1396(4 , 3, 1) + 1243(42 , 22 ) + 2153(42 , 2, 12 ) + 982(42 , 14 ) + 1397(4, 32 , 2)
+1994(4, 32 , 12 ) + 2792(4, 3, 22 , 1) + 2827(4, 3, 2, 13 ) + 1132(4, 3, 15 )
+728(4, 24 ) + 1557(4, 23 , 12 ) + 1292(4, 22 , 14 ) + 588(4, 2, 16 ) + 134(4, 18 )
4

3

+220(3 ) + 1001(3 , 2, 1) + 818(33 , 13 ) + 637(32 , 23 ) + 1326(32 , 22 , 12 ) + 1019(32 , 2, 14 ) + 370(32 , 16 )
+576(3, 24 , 1) + 752(3, 23 , 13 ) + 533(3, 22 , 15 ) + 234(3, 2, 17 ) + 62(3, 19 )
6

+70(2 ) + 160(2 , 1 ) + 162(24 , 14 ) + 115(23 , 16 ) + 53(22 , 18 ) + 16(2, 110 ) + 15(112 ).
ε(S12 , Ā12 )

5

2

= 8(12) + 20(11, 1) + 53(10, 2) + 61(10, 12 ) + 114(9, 3) + 233(9, 2, 1) + 135(9, 13 )
+163(8, 4) + 534(8, 3, 1) + 372(8, 22 ) + 587(8, 2, 12 ) + 222(8, 14 )
+159(7, 5) + 752(7, 4, 1) + 1018(7, 3, 2) + 1291(7, 3, 12 ) + 1132(7, 22 , 1) + 986(7, 2, 13 ) + 295(7, 15 )
+70(62 ) + 576(6, 5, 1) + 1325(6, 4, 2) + 1559(6, 4, 12 ) + 819(6, 33 ) + 2827(6, 3, 2, 1) + 1929(6, 3, 13 )
+982(6, 23 ) + 1859(6, 22 , 12 ) + 1163(6, 2, 14 ) + 292(6, 16 )
+638(52 , 2) + 728(52 , 12 ) + 1002(5, 4, 3) + 2790(5, 4, 2, 1) + 1752(5, 4, 13 )
+1994(5, 32 , 1) + 2154(5, 3, 22 ) + 3810(5, 3, 2, 12 ) + 1860(5, 3, 14 )
+1752(5, 23 , 1) + 1930(5, 22 , 13 ) + 985(5, 2, 15 ) + 225(5, 17 )
3

2

+220(4 ) + 1396(4 , 3, 1) + 1246(42 , 22 ) + 2154(42 , 2, 12 ) + 982(42 , 14 ) + 1395(4, 32 , 2)
+1994(4, 32 , 12 ) + 2791(4, 3, 22 , 1) + 2826(4, 3, 2, 13 ) + 1132(4, 3, 15 )
+727(4, 24 ) + 1559(4, 23 , 12 ) + 1291(4, 22 , 14 ) + 587(4, 2, 16 ) + 134(4, 18 )
4

3

+223(3 ) + 1000(3 , 2, 1) + 821(33 , 13 ) + 639(32 , 23 ) + 1325(32 , 22 , 12 ) + 1017(32 , 2, 14 ) + 373(32 , 16 )
+576(3, 24 , 1) + 752(3, 23 , 13 ) + 535(3, 22 , 15 ) + 232(3, 2, 17 ) + 60(3, 19 )
6

5

2

+70(2 ) + 159(2 , 1 ) + 163(24 , 14 ) + 113(23 , 16 ) + 54(22 , 18 ) + 24(2, 110 ).

42

SHEILA SUNDARAM

References
1. C. Cadogan, The Möbius function and connected graphs, J. Combinatorial Theory (B) 11 (1971),
193-200 (3).
2. T. Ceccherini-Silberstein, T. Scarabotti, F. Tolli, Clifford Theory and applications, Functional
Analysis, J. Math.Sci. N.Y. 156 No. 1 (2009), 29–43.
3. A. Frumkin, Theorem about the conjugacy representation of Sn , Israel J. Math. 55 (1986), 121–
128.
4. H. O. Foulkes, Characters of symmetric groups induced by characters of cyclic subgroups, Proc.
Conf. on Combinatorial Math., Oxford (D.J.A. Welsh and D.R. Woodall, eds.), The Institute for
Mathematics and its Applications, Southend-on-Sea, Essex (1972), 141-154.
5. J. Sutherland Frame, On the reduction of the conjugating representation of a finite group, Bull.
Amer. Math Soc 53 (1947), 584-589.
6. W. Fulton and J. Harris, Representation Theory, A First Course, Graduate Texts in Mathematics
Vol. 129, Springer-Verlag (1991).
7. O. Hölder, Zur Theorie der Kreisteilungsgleichung Km (x) = 0, Prace Matematyczno Fizyczne,
43 (1936), 13-23.
8. P. Hanlon, The fixed-point partition lattices, Pacific J. Math. 96 (1981), 319–341.
9. P. L. Hersh and V. Reiner, Representation stability for cohomology of configuration spaces in Rd ,
Int. Math. Res. Not. IMRN 2017, no. 5, 1433–1486.
10. G. Heide, J. Saxl, P. H. Tiep and A. E. Zalesski, Conjugacy action, induced representations and
the Steinberg square for simple groups of Lie type, Proc. Lond. Math. Soc. (3) 106 (2013), no. 4,
908930.
11. G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, Fifth edition, Oxford
Science Publications, Oxford University Press (1979).
12. G. D. James and A. Kerber, The representation theory of the symmetric group, Encyclopedia of
Mathematics and its Applications, Addison-Wesley (1981).
13. W. Kráskiewicz and J. Weyman, Algebra of coinvariants and the action of a Coxeter element,
Bayreuth Math. Schr. 63 (2001), 265–284.
14. I. G. Macdonald, Symmetric functions and Hall polynomials, Second Edition, Oxford University
Press (1995).
15. J. Nagura, On the interval containing at least one prime number, Proc. Japan Acad. 28, (4)
(1952), 177181. doi:10.3792/pja/1195570997
16. ShreevatsaR, (http://math.stackexchange.com/users/205/shreevatsar), Primes between n and
2n, URL (version: 2013-08-13): http://math.stackexchange.com/q/466857
17. C. Reutenauer, Free Lie Algebras, London Mathematical Society Monographs, Oxford Science
Publications (1993).
18. K. H. Rosen, Elementary Number Theory and its Applications, 4th edition, Addison-Wesley
(1999).
19. T. Scharf, Ein weiterer Beweis, daß die konjugierende Darstellung der symmetrischen Gruppe
jede irreduzible Darstellung enthält, Arch. Math. 54 (1990), 427–429.
20. B. Simon, Representations of Finite and Compact Groups, Graduate Studies in Mathematics 10,
American Mathematical Society, Providence, RI (1996).
21. L. Solomon, On the sum of the elements in the character table of a finite group, Proc. Amer.
Math. Soc. 12 No. 6 (1961), 962–963.
22. R. Stanley, Some aspects of groups acting on finite posets, J. Comb. Theory (A) 32, No. 2 (1982),
132–161.
, Enumerative Combinatorics, Vol.2, Cambridge Studies in Advanced Mathematics 62,
23.
Cambridge University Press, Cambridge, 1999.
24. S. Sundaram, The homology representations of the symmetric group on Cohen-Macaulay subposets
of the partition lattice, Adv. in Math. 104 (2)(1994), 225–296.
25. J. Swanson, On the existence of tableaux with given modular major index, Algebraic Combinatorics, to appear (arXiv:1701.04963).

THE CONJUGACY ACTION OF Sn AND MODULES INDUCED FROM CENTRALISERS

43

26. R. Daublebsky von Sterneck, Ein Analogon zur additiven Zahlentheorie, Sitzber. Akad. Wiss.
Wien, Math,-Naturw. Klasse, 111 (Abt. IIa) (1902), 1567-1601.
Pierrepont School, One Sylvan Road North, Westport, CT 06880
E-mail address: shsund@comcast.net

