Beruflich Dokumente
Kultur Dokumente
CMS Associate Publisher/Editeur associe
Henri Darmon
berg 2009/4/13 13:55 page iii #3
Algebraic Combinatorics
and Coinvariant Spaces
Francois Bergeron
Universite du Quebec a` Montreal
Copyright
c 2009 Canadian Mathematical Society/Societ
e mathematique du Canada
All rights reserved. No part of the material protected by this copyright notice
may be reproduced or utilized in any form, electronic or mechanical, including
photocopying, recording, or by any information storage and retrieval system,
without written permission from the copyright owner.
Bergeron, Francois
Algebraic Combinatorics and Coinvariant Spaces / Francois Bergeron
p. cm. -- (CMS treatises in mathematics = Traites de math
ematiques de la SMC)
Includes bibliographical references and index.
ISBN 978-1-56881-324-0 (alk. paper)
1. Combinatorial analysis. 2. Algebraic spaces. I. Title.
QA164.B473 2009
511.6--dc22
2009005442
Printed in India
11 10 09 08 07 10 9 8 7 6 5 4 3 2 1
berg 2009/4/13 13:55 page v #5
Contents
Introduction 1
1 Combinatorial Objects 5
1.1 Permutations . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Monomials . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4 Partial Orders on Vectors . . . . . . . . . . . . . . . . . . 12
1.5 Young Diagrams . . . . . . . . . . . . . . . . . . . . . . . 14
1.6 Partitions . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7 The Young Lattice . . . . . . . . . . . . . . . . . . . . . 20
1.8 Compositions . . . . . . . . . . . . . . . . . . . . . . . . 26
1.9 Words . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3 Invariant Theory 45
3.1 Polynomial Ring . . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Root Systems . . . . . . . . . . . . . . . . . . . . . . . . 50
3.3 Coxeter Groups . . . . . . . . . . . . . . . . . . . . . . . 51
3.4 Invariant and Skew-Invariant Polynomials . . . . . . . . 52
3.5 Symmetric Polynomials and Functions . . . . . . . . . . 55
3.6 The Fundamental Theorem of Symmetric Functions . . . 60
3.7 More Basic Identities . . . . . . . . . . . . . . . . . . . . 60
3.8 Plethystic Substitutions . . . . . . . . . . . . . . . . . . . 62
3.9 Antisymmetric Polynomials . . . . . . . . . . . . . . . . 65
v
berg 2009/4/13 13:55 page vi #6
vi Contents
5 Representation Theory 95
5.1 Basic Representation Theory . . . . . . . . . . . . . . . . 95
5.2 Characters . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.3 Special Representations . . . . . . . . . . . . . . . . . . . 97
5.4 Action of Sn on Bijective Tableaux . . . . . . . . . . . . 98
5.5 Irreducible Representations of Sn . . . . . . . . . . . . . 100
5.6 Frobenius Transform . . . . . . . . . . . . . . . . . . . . 101
5.7 Restriction from Sn to Sn1 . . . . . . . . . . . . . . . 105
5.8 Polynomial Representations of GL (V) . . . . . . . . . . 105
5.9 SchurWeyl Duality . . . . . . . . . . . . . . . . . . . . . 107
Contents vii
A Formulary 197
A.1 Some q-Identities . . . . . . . . . . . . . . . . . . . . . . 197
A.2 Partitions and Tableaux . . . . . . . . . . . . . . . . . . 198
A.3 Symmetric and Antisymmetric Functions . . . . . . . . . 200
A.4 Integral Form Macdonald Functions . . . . . . . . . . . . 202
A.5 Some Specic Values . . . . . . . . . . . . . . . . . . . . 204
Bibliography 209
Index 217
berg 2009/4/13 13:55 page 1 #9
Introduction
1
berg 2009/4/13 13:55 page 2 #10
2 Introduction
Sn Sn
Cx Cx Cx
C[x]Sn C[x]Sn C[x]
Sn
where C[x]+ is the ideal of C[x] generated by the constant-term-free
symmetric polynomials. This quotient, often encountered in association
with the ring C[x]Sn of Sn -invariant (symmetric) polynomials, plays an
berg 2009/4/13 13:55 page 3 #11
important role at least in the elds of invariant theory [Steinberg 64], Ga-
lois theory [Artin 44], and algebraic geometry [Borel 53]. In the rst of
these contexts, it is known as the coinvariant space of the symmetric
group; and in the third, it appears as the cohomology ring of the ag
variety. It has nite dimension equal to n!, and it is in fact isomor-
phic to the left regular representation of Sn . This is but the symmetric
group case of a more general story concerning nite reection groups (see
[Humphreys 90]). Recent renewed interest in these coinvariant spaces is
closely tied with the study of the bigraded Sn -module of diagonal coin-
variant space (see [Garsia and Haiman 96a]). In turn these Sn -modules
have been considered in relation to the study of a remarkable family of two-
parameter symmetric functions known as Macdonald functions. Not only
do Macdonald functions unify most of the important families of symmetric
functions, but they also play an interesting role in representation theory.
It may also be worth mentioning that they appear naturally in the study
of CalogeroSutherland quantum many-body systems in statistical physics
(see [Baker and Forrester 97]). On another note, the study of Macdonald
functions has prompted the introduction of new families of symmetric func-
tions such as the k-Schur functions (see [Lapointe and Morse 08]), which
relate to the study of 3-point GromovWitten invariants as well as to WZW
conformal eld theory.
To keep this presentation short and lively, I have chosen to skip many
proofs that can easily be found in the literature, especially when the presen-
tation can easily be followed without explicitly writing down the relevant
proof. In these instances, a specic reference is given for the interested
reader. However, some proofs have been kept, either because they teach
something new about the underlying situation, or simply because they are
very nice. One should consider this monograph as a guide to introduce
oneself to this subject, rather than as a complete and systematic expose
of a more traditional format.
It may be helpful for the reader to consult Appendix A as a guide to
notations and formulas.
Acknowledgements
Many people are to be thanked here: some because they have patiently
explained to me (in person, at conferences, or in writing) many of the
beautiful mathematical notions that are presented in this work, others
because they have patiently listened to my sometimes overenthusiastic
renditions of these same notions. Happily for me, many are also to be
counted in both groups, so that I will not distinguish between them in
my thanks. My rst thanks go to my close mathematical family, Nan-
tel Bergeron, Adriano Garsia, and Christophe Reutenauer, as well as those
berg 2009/4/13 13:55 page 4 #12
4 Introduction
(most often friends) who have had such a profound mathematical impact on
me: Persi Diaconis, Sergey Fomin, Ira Gessel, Mark Haiman, Andre Joyal,
Alain Lascoux, I. G. Macdonald, Gian-Carlo Rota, Richard Stanley, and
Xavier Viennot. Let me add to these the relevant members of our research
center LaCIM,2 as well as visitors and special friends: Marcelo Aguiar,
Jean-Christophe Aval, Srecko Brlek, Frederic Chapoton, Sara Faridi, An-
thony Geramita, Alain Goupil, Jim Haglund, Florent Hivert, Christophe
Hohlweg, Gilbert Labelle, Luc Lapointe, Bernard Leclerc, Pierre Leroux
(the sadly deceased founder of our research center), Claudia Malvenuto,
Jennifer Morse, Frederic Patras, Bruce Sagan, Franco Saliola, Manfred
Schocker, Jean-Yves Thibon, Glenn Tesler, Luc Vinet, Stephanie Van Willi-
genburg, and Mike Zabrocki. They have all knowingly or unknowingly con-
tributed to this project and, together with all others in the large LaCIM
community, they have made all this a very enjoyable daily experience. I also
want to thank students and postdoctoral fellows who have been closely tied
to the study of the relevant material: Riccardo Biagioli, Anouk Bergeron-
Brlek, Philippe Choquette, Sylvie Hamel, Aaron Lauve, Francois Lamon-
tagne, Peter McNamara, Yannic Vargas, Adolfo Rodriguez, and Mercedes
Rosas. They are the ones who may have suered most from my obsessions,
even if they have not yet publicly complained. I hope I have not forgotten
anyone else here.
I would like to thank Joel Lewis and Craig Platt for reading through
the text and providing suggestions and a list of errata. I am also thankful
for the support and encouragement of Jon Borwein and Klaus Peters, who
suggested that I write this book, as well as the help of Graham Wright,
David Langstroth, and Ellen Ulyanova. I gratefully acknowledge the -
nancial support of the National Science and Engineering Research Council
(NSERC) of Canada while I worked on this book.
On a more personal note, let me thank my family for all the morning
smiles and their patience while I sat in front of the computer rather than
enjoy their company. Merci donc a` ma compagne Sylvie et `a mon jeune
ls Cedrik, ainsi qu`
a mes plus grands ls Louis-Philippe et Karl-Frederik
meme sils vivent maintenant un peu ou beaucoup plus loin.
means.
berg 2009/4/13 13:55 page 5 #13
Chapter 1
Before going on with the more algebraic central theme, it is probably pru-
dent to discuss some general combinatorial background. In this chapter the
necessary notions of combinatorial objects will be reviewed in a manner
that tries to reconcile conciseness and rigor, while not being too humdrum.
Among the many important combinatorial objects involved in the var-
ious interactions between algebra and combinatorics, we should certainly
include partitions, tableaux, compositions and permutations. In addition
to allowing elementary constructions of irreducible representations of the
symmetric group, these notions are involved in the explicit descriptions of
many interesting algebraic objects. Moreover, they appear as basic tools
for the study of symmetric functions. This is why it is necessary to recall
their main properties and consider closely related combinatorial objects.1
1.1 Permutations
The symmetric group SA , of permutations of a nite set A, plays a crucial
role in combinatorics, and this is even more true for algebraic combina-
torics. Its manifold appearances range from canonical indexing of funda-
mental algebraic objects to various natural actions on important spaces.
Let us rst review some notations and important concepts concerning
permutations of a nite set A. Most often this nite set will be chosen to
be of the standard form {1, 2, . . . , n}. A permutation of {1, 2, . . . , n} is
a bijection : {1, 2, . . . , n}{1, 2, . . . , n}. Taking into account2 the usual
order on {1, 2, . . . , n} (namely 1 < 2 < < n), a permutation can be
1 For more details on such combinatorial objects and their role, the interested reader
is encouraged to consult R. Stanleys two volume work [Stanley 97].
2 This is usually implicit, but we will see in Chapter 6 that there are fundamental
5
berg 2009/4/13 13:55 page 6 #14
6 1. Combinatorial Objects
1.1. Permutations 7
3 5
6
8
2 1
4 7 9
Figure 1.1. Cycle decomposition of 248736159.
n
1 qk
[n]q ! :=
1q (1.1)
k=1
= (1 + q)(1 + q + q ) (1 + + q
2 n1
).
maj()
It is striking that the major index generating polynomial Sn q
coincides with [n]q !. This is readily veried (recursively) by considering the
possible positions for the insertion of n in permutations of {1, . . . , n 1}.
4 Throughout this book, N contains 0.
berg 2009/4/13 13:55 page 8 #16
8 1. Combinatorial Objects
Also striking is the fact that the inversion number generating polynomial
is equal to [n]q !. Recall that a pair (i, j), with i < j, is said to be an
inversion of if (i) > (j). We can then dene the inversion number
(or length) () of as being the number of pairs (i, j) such that i < j
and (i) > (j). The respective major index and inversion number of the
permutation = 936245178 are maj() = 10 and () = 16. The sign of
can also be computed using the formula () = (1)() .
Coxeter Generators
To give a geometric avor to inversions we use a strand presentation (see
Figure 1.3) of permutations. Inversions are then just crossings between
pairs of strands. In this representation, permutations are composed by
stacking them as illustrated in Figure 1.4. This approach also makes it nat-
ural to generalize our discussion to nite reection groups. More precisely,
we reformulate previous denitions in terms of a Coxeter generator-relation
presentation of Sn . Recall that Sn is generated by the adjacent transpo-
sitions si := (i, i + 1) (see Figure 1.5). These are involutions that satisfy
the braid relations: si sj = sj si when |i j| 2, and si si+1 si = si+1 si si+1
when 1 i < n. It is clear that every permutation can be written as a
product of such adjacent transpositions. The reduced expressions for are
the minimal length products of this form. In fact, the number of terms in
a reduced expression for is given by (). For example, s6 s4 s5 s3 s4 s3 s2 s3
1 2 3 4 5 6 7
1 2 3 4 5 6 7
Figure 1.3. Strand presentation of the permutation = 1456372.
1 2 3 4 5 6 7
1 2 3 4 5 6 7
Figure 1.4. Composition of permutations.
berg 2009/4/13 13:55 page 9 #17
1.2. Monomials 9
1 2 i i+1 n
1 2 i i+1 n
Figure 1.5. Adjacent transposition si = (i, i + 1).
is one of the several possible reduced expressions (all of length 8) for the
permutation = 1456372 of Figure 1.3.
It is now straightforward to translate the notion of descent to this new
point of view. Indeed, we check that i is a descent of if and only if (si )
is smaller than (). As previously alluded to, the advantage is that we
can now generalize the notion of descent to any nite Coxeter group (see
Section 3.3).
1.2 Monomials
As a rst step for further explorations of the role of the symmetric group in
algebraic contexts, let us recall some basic properties of monomials in the
variables x = x1 , x2 , . . . , xn , with the symmetric group acting by permuta-
tion of these variables. Extension of this action to polynomials is discussed
in Chapter 3.
It is helpful to adopt a vectorial notation for monomials. We write xa for
the monomial xa1 1 xa2 2 xann , with exponent vector a = (a1 , a2 , . . . , an ) in
Nn . The degree deg(xa ) of the monomial xa is simply |a| = a1 +a2 + +an .
Observe that the usual rules for exponentiation hold, so that we have
x0 = 1, and xa+b = xa xb .
1
The action of Sn on n-variable monomials is dened by xa := x a ,
where (a1 , a2 , . . . , an ) = (a (1) , a (2) , . . . , a (n) ). It is easy to check that
the resulting monomial can equivalently be obtained by replacing each xi
by x(i) in xa . Observe that there is at least one permutation that
reorders a in decreasing order from left to right:
10 1. Combinatorial Objects
1.3 Diagrams
Our next fundamental notion, that of diagram, allows a classication of
orbits of monomials xa yb , as well as some bivariate determinants d (x, y)
of importance for our discussion (see Section 10.2). It also comes up
under many guises throughout our explorations, in particular as a gen-
eralization of the more classical notion of Young diagrams (see Sec-
tion 1.5). We dene a diagram to be any nite subset of N N. Adopt-
ing a geometrical viewpoint, let us call the elements of a diagram cells,
each cell (i, j) being pictured as a 1 1 square having vertices (i, j),
(i + 1, j), (i, j + 1), and (i + 1, j + 1). Thus Figure 1.6 depicts the diagram
{(0, 0), (2, 0), (2, 1), (3, 1), (0, 2), (0, 3), (1, 3)}. We adopt here the French
convention and use cartesian coordinates, rather than the English con-
vention, which uses matrix-like coordinates.5
N
Figure 1.6. A diagram.
1.3. Diagrams 11
N
Figure 1.7. Conjugate of the diagram in Figure 1.6.
height r. Likewise, the rth column of a diagram is the set of its cells that
have rst coordinate equal to r 1. The conjugate d of a diagram d is
the set of cells of form (j, i), with (i, j) a cell of d. Thus, d is obtained by
ipping d along the line x = y in N N. This is illustrated in Figure 1.7
for the diagram in Figure 1.6. Observe that conjugation is an involution,
i.e., d = d.
One can bijectively encode
a diagram as a polynomial in two variables
q and t by setting Bd (q, t) := (i,j)d q i tj , each term corresponding to a
cell of d. For the diagram in Figure 1.6 we get
Bd (q, t) = 1 + q 2 + q 2 t + q 3 t + t2 + t3 + qt3 .
In later chapters, we denote by Td = Td (q, t) the monomial q n(d ) tn(d) .
Consider now a monomial xa yb , with a = (a1 , . . . , an ) and b = (b1 , . . . , bn ).
We write d = (a, b) if
d = {(a1 , b1 ), (a2 , b2 ), . . . , (an , bn )}.
Observe that the bidegree of xa yb is n(d ), n(d) , here considered as a
multiset. It is clear that the orbit of xa yb under the diagonal action of Sn
is precisely characterized by the diagram d. For example,
x21 x42 y2 x3 y3 , x21 x43 y3 x2 y2 , x22 x41 y1 x3 y3 ,
x22 x43 y3 x1 y1 , x23 x41 y1 x2 y2 , x23 x42 y2 x1 y1 ,
is characterized by the diagram {(2, 0), (4, 1), (1, 1)}. The correspondence
between diagrams and orbits of monomials is essential for our later discus-
sion. Given any n-celled diagram d with some order on its cells, we also
dene the lattice determinant
d (x, y) := det(xjk yki )1kn .
(i,j)d
berg 2009/4/13 13:55 page 12 #20
12 1. Combinatorial Objects
1
2 3
4 5
6 7 8
Monomial Orders
Among the crucial aspects of interactions between combinatorics and alge-
braic geometry, the eective algorithmic emphasis of modern algebraic
geometry is certainly a leading feature. This algorithmic approach relies
mainly on the possibility of explicit computation of Gr obner bases for
ideals. We will come back to this but for the moment we concentrate on
monomial orders, an essential ingredient in the computation of Gr obner
basis.
The correspondence that we established in Section 1.3 is often used in
the actual description of these monomial orders. More precisely a monomial
order on the set of monomials {xa | a Nn } (or equivalently on Nn ) is a
well ordering such that for all c Nn , xa+c > xb+c whenever xa > xb .
The lexicographic order is an example of such a monomial order. The
verication that the relevant property holds in this case is immediate since
(a + c) (b + c) = a b. Observe that we are implicitly assuming that
x1 >lex x2 >lex >lex xn , but we could choose some other order on the
variables which would lead to a dierent monomial order.
A further desirable property of monomial orders is to be graded . This is
to say that we must have xa > xb , whenever |a| > |b|, so that monomials
of higher degree are greater. For instance, we can turn the lexicographic
berg 2009/4/13 13:55 page 14 #22
14 1. Combinatorial Objects
These notions are illustrated in Figure 1.10 for cell (2, 2), with the arm in
yellow, and the leg in green.
Let us underline again that we are following the right-side up French
convention, rather than the upside-down English convention, for drawing
diagrams, thus, (0, 0) sits at the bottom left.
6 The terminology comes from the English/American convention that insists on draw-
1.6. Partitions 15
Figure 1.10. Arm, leg and hook of cell (2, 2) of a Young diagram.
1.6 Partitions
Young diagrams usually appear in association with partitions of an in-
teger. For simplicitys sake, we also denote by the partition associated
with a Young diagram . This is just the decreasing ordered sequence
= (1 , 2 , . . . , k ) of row lengths of the diagram. Each i is said to be a
part of , and the sum n = 1 + 2 + + k of these parts is evidently
the number of cells of the diagram . We write
n to indicate that is
a partition of n. The length () of is just the number of (nonzero) parts
of .
Partitions are often presented as words = 1 2 k whose letters
(parts) are integers > 0. We consider the empty partition as an exception
to this no zero part rule, denoting it by 0. With this convention, we can
present the partition set P(n) as
P(0) = {0}
P(1) = {1}
P(2) = {2, 11}
P(3) = {3, 21, 111}
P(4) = {4, 31, 22, 211, 1111}
P(5) = {5, 41, 32, 311, 221, 2111, 11111}
P(6) = {6, 51, 42, 411, 33, 321, 3111, 222, 2211, 21111, 111111}
..
.
16 1. Combinatorial Objects
Operations on Partitions
The sum + , of two partitions and , is the partition whose parts are
equal to i + i , with i going up to the maximum between the number
of parts of and number of parts of . If need be, we consider parts
i = 0 and likewise for . This will be a running convention whenever
it makes sense to do so. Using conjugation, we further dene the union
:= ( + ) . Equivalently, is obtained by taking all the parts of
jointly with those of (adding up multiplicities) and rearranging all these
parts in descending size order. As illustrated in Figure 1.12 with = 43111
and = 211, we obtain + = 64211, whereas = 43211111 (not
shown here).
+ =
Enumerating Partitions
Although there is no known simple formula for the number p(n) of parti-
tions of a given integer n, one has the following nice classical generating
function:
1
p(n)xn = . (1.5)
1 xk
n0 k1
berg 2009/4/13 13:55 page 17 #25
1.6. Partitions 17
To obtain it, we rst expand each term of the right-hand side of (1.5) as a
geometrical series
1
= ximi . (1.6)
1 xi
mi 0
It is easy to adapt this argument to show that the generating function for
the number of partitions with all parts distinct is
p= (n)xn = (1 + xk ). (1.7)
n0 k1
We can also extend both of these formulas to account for partition enumer-
ation with parts restricted to lie in some given subset of N, or to have at
most some given multiplicity. In the next section we recall a nice recursive
formula due to Euler for the computation of p(n).
k 0 1 1 2 2 3 3 4 4 5 5
(k) 0 1 2 5 7 12 15 22 26 35 40
18 1. Combinatorial Objects
Considering only k > 1, we have the following rationale for this pen-
tagonal adjective. A direct enumeration of the points in a side k discrete
regular pentagon (see Figure 1.13) is easily seen to be given by
k1
(3i + 1) = (k),
i=0
k1
(2i + 1) = k 2 .
i=0
with p= (n, k) standing for the number of partitions of n into k distinct
parts. Now let p+ = (n) (resp. p= (n)) be the number of even length (resp.
odd length) partitions of n into distinct parts. We write P=+
(n) and P= (n)
+
for the corresponding sets of partitions. Clearly p= (n) = p= (n) + p= (n)
and we get
n
1 + (1)xm = (1)k p= (n, k)xn
m1 n0 k=0
n
= = (n) p= (n) x .
p+ (1.10)
n0
berg 2009/4/13 13:55 page 19 #27
1.6. Partitions 19
m
Thus (1.8) boils down to p+ = (n) being equal to p= (n) in most situations,
the exceptions occurring when n is a pentagonal number, i.e., n = (k).
In these cases, we will see that p+ = (n) p= (n) = (1) . Indeed, we can
k
+
exhibit a bijection between P= (n) and P= (n), whenever n is not of the
form (k). For the exceptional cases, the bijection is dened up to one
special partition.
Drawing cells with points rather than squares, we identify two fea-
tures of the Young diagram associated with a partition (see Figure 1.14).
The rst of these special features is just the (smallest) topmost part of
= (1 , . . . , ). The second special feature is the prow of obtained as
follows. Let k be the largest integer such that j = 1 j + 1 for all j k,
then the prow of is the set of rightmost points in each of the rst k rows
of . Forgetting exceptional cases for the moment, we apply the following
recipe to construct a new partition () from by moving points between
the topmost part and the prow of . Let m := .
In most cases the result of this construction is a partition with all parts dis-
tinct, exceptions occurring when the prow shares a point with the topmost
part and m k 1. As illustrated in Figure 1.15, this forces n to be of the
form n = (k); moreover, the unique partition for which the bijection
cannot be dened8 is either (2k 1, . . . , k + 1, k) or (2k, . . . , k + 2, k + 1).
Both are clearly of parity (1)k . This completes the proof of (1.8).
8 Because the result is not a partition, or is not a partition having distinct parts.
berg 2009/4/13 13:55 page 20 #28
20 1. Combinatorial Objects
m=k m=k+1
0
Figure 1.16. Youngs lattice.
berg 2009/4/13 13:55 page 21 #29
q -Binomial Coefficients
The notion of q-analog has a long history, going back to at least the 19th
century with Heines study of basic hypergeometric series. The general
idea is to derive identities involving a parameter q that specialize to well
known expressions when q tends to 1. In combinatorial settings, both sides
of the identity are positive integer expressions in q, which specialize to
combinatorially interesting integers when we set q = 1. One starts with
the observation that
1 qn
lim = lim 1 + q + + q n1 = n,
q1 1 q q1
This is also written in the form (q; q)m using the notion of the q-shifted
factorial
(1 a)(1 aq) (1 aq m1 ) if m > 0,
(a; q)m :=
1 if m = 0.
The next step is to mimic the usual expression for binomial coecients in
terms of factorials and dene the q-binomial coecients
m [m]q !
:= . (1.12)
k q [k]q ![m k]q !
By giving a proof of (1.11) we will have shown that the right-hand side
of (1.12) simplies to a positive integer polynomial. This is conrmed by
computing small values giving the beginning of the q-Pascal triangle:
1
1 1
1 q+1 1
1 q2 + q + 1 q2 + q + 1 1
1 q3 + q2 + q + 1 q 4 + 2q 2 + q 3 + q + 1 q 3 + q 2 + q + 1 1
which can be prolonged using the linear recurrence
m k m1 m1
=q + , (1.13)
k q k q k1 q
with initial conditions m k q = 1, if k = 0 or k = m. We will show that
this recurrence is satised by both sides of (1.11) thus proving the equality.
berg 2009/4/13 13:55 page 22 #30
22 1. Combinatorial Objects
k
Figure 1.17. The two possibilities for the right-hand side of (1.14).
n1
n
k k(k1)/2 n k
(1 + q z) = q z . (1.15)
k q
k=0 k=0
C1 (q) = 1,
C2 (q) = q 2 + 1,
C3 (q) = q 6 + q 4 + q 3 + q 2 + 1,
C4 (q) = q 12 + q 10 + q 9 + 2q 8 + q 7 + 2q 6 + q 5 + 2q 4 + q 3 + q 2 + 1.
berg 2009/4/13 13:55 page 23 #31
k
Ck+1 (q) = q j(kj) Cj (q)Ckj (q). (1.18)
j=0
rst return
kj kj
j j
Figure 1.18. From partitions to Dyck paths.
berg 2009/4/13 13:55 page 24 #32
24 1. Combinatorial Objects
going from (0, k) to (k, 0), and such that all (ai , bi ) remain inside the stair-
case shape, i.e., ai + bi k. Figure 1.18 illustrates how the boundary of
a partition, contained in the staircase k , corresponds to a Dyck path. It
also shows how to decompose both the partition and its associated Dyck
path taking into account the rst return to the diagonal. In the path
outlook, this is the smallest i > 0 for which we have (ai , bi ) = (j, k j),
with 1 j k. The tail of the path, starting at this point (j, k j)
corresponds to Dyck path, up to a left shift by j. We also get a (general)
Dyck path out of the portion going from (0, k) to (j, k j) after removing
the rst and last steps. This procedure is clearly bijective. It translates
into the q-identity (1.18) if we multiply each term by q j(kj) to conserve
the weight.
The rst values of this alternate q-analog are
C1 (q) = 1,
C2 (q) = q + 1,
C3 (q) = q 3 + 2 q 2 + q + 1,
C4 (q) = q 6 + 3 q 5 + 3 q 4 + 3 q 3 + 2 q 2 + q + 1,
C5 (q) = q 10 + 4 q 9 + 6 q 8 + 7 q 7 + 7 q 6 + 5 q 5
+ 5 q 4 + 3 q 3 + 2 q 2 + q + 1.
Comparing with the values of Cn (q) given previously, we see that we have
two dierent q-analogs of the Catalan numbers.
Skew Partitions
For any partitions and such that , we dene the skew partition
/ to be the diagram obtained as the set dierence of and . This is
illustrated in Figure 1.19 with the skew partition 755321/5421. If (as in
Figure 1.20) no two cells of / lie in the same column we say that /
is a horizontal strip. In a similar manner, if no two cells of / lie in the
same row we say that it is a vertical strip. If, as in Figure 1.19, the skew
partition is connected and contains no 2 2 squares, we say that we have
a ribbon. One can easily check that (up to translation) there are exactly
as many n cell ribbons as there are compositions of n (see Section 1.8).
755321/5421 =
Orders on Partitions
Two orders play an important role for partitions of n. First and foremost,
we have the (partial) dominance order . We say that dominates if
and only if, for all k, 1 + 2 + + k 1 + 2 + + k . If needed, parts
i = 0 or i = 0 can be added so that inequalities make sense. Figure 1.21
gives the dominance order on partitions of n = 6, with an arrow
indicating that is covered by in the dominance order. This example
underlines the fact that the dominance order is not a total order. Another
useful order on partitions is the lexicographic order. We say < if the
rst nonzero dierence i i is positive. In increasing lexicographic order,
the partitions of 6 are listed in Figure 1.22.
Exercise. Show that the function n() (see (1.2)) is decreasing for the
dominance order. This is to say that n() > n() if .
26 1. Combinatorial Objects
1.8 Compositions
A composition c = (c1 , c2 , . . . , ck ) of an integer n is an ordered sequence
of parts ci > 0 (in N) that sum up to n. We write c |= n when n is a
composition of n. The length (c) of a composition c is the number of
its parts. We can readily check that there are 2n1 compositions of n,
by constructing a bijective correspondence between composition of n and
subsets of {1, 2, . . . , n 1}. To do this, we associate with the composition
c = (c1 , c2 , . . . , ck ) the set Sc := {s1 , s2 , . . . , sk1 }, with si = c1 + +
ci . For given n, this process is entirely reversible since ci = si si1 ,
with the understanding that s0 = 0 and sk = n. The composition of
n that is associated in this manner with a subset T of {1, . . . ,n 1} is
denoted by co(T ). In particular, this implies that there are n1 k1 length k
compositions of n. One interesting use of this correspondence is to associate
with a permutation the descent composition co() encoding the descent
set Des().
The renement order between compositions of n corresponds to reverse
inclusion of the associated sets, so that a b if and only if Sa Sb .
The composition b is obtained from a by splitting some of its parts. For
example, (7, 3, 8) is thus obtained from (2, 5, 3, 3, 2, 3), since 7 = 2+5, 3 = 3,
and 8 = 3 + 2 + 3. The associated subsets are {7, 10} and {2, 7, 10, 13, 15}
and we indeed have the required containment.
We denote by c the partition obtained by sorting the parts of c in
decreasing order. This is the form of c. It is easy to check that there are
k!/(m1 ! m2 ! mj !) length k = m1 + m2 + + mj compositions of form
equal to the partition 1m1 2m2 jmj . The generating function for length
k compositions is just
k
q
.
1q
1.9. Words 27
1.9 Words
Let us rst choose some alphabet (any nite set) A whose elements are
called letters. A word u on A is just a (nite) sequence u = a1 a2 ak of
letters ai in the alphabet A. We include here the empty word . The set
A , of all words on A, is a monoid (or semigroup) for the concatenation
operation dened as uv := a1 a2 ak b1 b2 bm when u = a1 a2 ak and
v = b1 b2 bm . This is clearly an associative operation for which the empty
word acts as identity. Compositions are often written as words, and their
concatenation is a natural operation such that that a b is a composition
of n + k if a is a composition of n and b is a composition of k.
We say that (u) := k is the length of u = a1 a2 ak , setting 0 to
be the length of the empty word. We recursively set un := u(un1 ) for
n > 0, with u0 := . Thus un is a word of length n k. If A has cardinality
n, then
the set Ak of length k words is of cardinality nk , and we have
A = k0 A . The word algebra QA is the free vector space on A over
k
the eld9 Q, so that its elements are nite linear combinations of words, on
which concatenation is extended bilinearly. The algebra QA is naturally
graded by word length, so that we have the direct sum decomposition
QA = ko QAk . The shue operation is a bilinear transformation
on QA , recursively dened between words as
u if v = ,
u v = v if u = ,
a(u v) + b(u v ) if u = au and v = bv , a, b A.
28 1. Combinatorial Objects
Standardization
Let w = a1 a2 an be an n-letter word on an ordered alphabet, say N.
The standardization st(w), of w, is the unique permutation Sn such
that i < j whenever we either have ai < aj , or ai = aj and i < j. Thus
for w = 2241321 we get st(w) = 3471652. A somewhat reverse process
for standardization is that of minimization. The minimization mn(u) of a
word u is the smallest word (in lexicographic order) whose standardization
coincides with that of u. In the case of permutations, it can alternatively
be described as
mn() := 0n + (e1 (i+1) + + e1 (n) ), (1.19)
iDes( 1 )
Exercise. Show that the descent set of the word u is the same as the
descent set of the word mn(u).
We will see in Section 2.6 that the sum of the letters of mn(u) plays a
role in the notion of cocharge of tableaux. Just for this, we denote by
coch(u) this sum of letters, and call it the cocharge of the word u.
Row Decomposition
Consider an alphabet A with a total order on the letters (for example,
{1, 2, . . . , n} with its usual order). A nondecreasing word w = a1 a2 am
is a word in which the letters increase from left to right, i.e., a1 a2
am . The row decomposition of a word u is the unique decomposition
of u as a product of maximal nondecreasing words: u = w(1) w(2) w(k) .
berg 2009/4/13 13:55 page 29 #37
1.9. Words 29
86934462235 =
8
69 3446
2235
.
w(1) w(2) w(3) w(4)
berg 2009/4/13 13:55 page 31 #39
Chapter 2
One of the leitmotivs running through this book is the deduction of formu-
las from combinatorial manipulations on tableaux. Central to this is the
RobinsonSchenstedKnuth correspondence (see [Knuth 70, Robinson 38,
Schensted 61]) between pairs of words of the same length and pairs of
semi-standard tableaux of the same shape. We can deduce many funda-
mental identities from this correspondence. For more details on the combi-
natorics of tableaux, we refer the reader to Chapter 6 of [Lothaire 02] or to
[Blessenohl and Schocker 05]. Another excellent reference is [Fulton 97].
2.1 Tableaux
We now come to another central notion, that of tableaux. Among several
other roles they play, a crucial one is the construction of irreducible repre-
sentations of the symmetric group. The construction in question involves
the calculation of certain polynomials associated with llings of the cells
of a diagram. Such llings are called tableaux. More precisely, a tableau
of shape d with values in a set A (usually some subset of N) is a function
: d A. We denote by ( ) the shape d of , and we think of (c) as be-
ing the entry or value that appears in cell c. We also say that c in d is a cell
of . A tableau of shape d is semi-standard , if its entries are nondecreas-
ing along rows (from left to right), and strictly increasing along columns
(from bottom to top). This is to say that i < k implies (i, j) (k, j)
and j < implies (i, j) < (i, ), whenever these statements make sense.
A n-cell tableau is standard if it is a bijective semi-standard tableau with
values in {1, 2, . . . , n}. Thus, for to be standard we need (i, j) < (k, )
whenever (i, j) < (k, ) coordinatewise. Figure 2.2 gives an example of a
standard tableau of shape 431. For a partition we can interpret standard
tableaux of shape as maximal chains (0) (1) (n) , from
31
berg 2009/4/13 13:55 page 32 #40
4
2 3 7
3 8 2 5 8
1 1 5 1 3 4 6
8
6 9
3 4 4 6 =
8
69 3446
2235
.
w(1) w(2) w(3) w(4)
2 2 3 5
2.1. Tableaux 33
1111, 1112, 1113, 1122, 1123, 1133, 1222, 1223, 1233, 1333, 2111, 2112, 2113,
2122, 2123, 2133, 2211, 2222, 2223, 2233, 2311, 2312, 2333, 3111, 3112, 3113,
3122, 3123, 3133, 3211, 3212, 3213, 3222, 3223, 3233, 3311, 3312, 3322, 3333.
n!
f = % , (2.1)
c h(c)
Exercise. Show
that the sum of the hook lengths of a partition is given
by the formula c h(c) = n() + n( ) + ||.
Kostka Numbers
The content ( ) of a tableau is the sequence ( ) = (m1 , m2 , m3 , . . . )
of multiplicities of each entry i in the tableau . For example, the content
of the semi-standard tableau
4 4
2 2 4 4
1 1 1 1 2
1 See Section 4.6 for a proof, as well as a formula for the number of semi-standard
tableaux.
berg 2009/4/13 13:55 page 34 #42
3 3 4 4
2 5 2 6 2 5 2 6
1 4 6 1 4 5 1 3 6 1 3 5
4 4 5 5
3 5 3 6 2 4 2 6
1 2 6 1 2 5 1 3 6 1 3 4
5 5 5 6
3 4 3 6 4 6 2 4
1 2 6 1 2 4 1 2 3 1 3 5
6 6 6 6
2 5 3 4 3 5 4 5
1 3 4 1 2 5 1 2 4 1 2 3
4 3 4 3
2 3 2 4 2 2 2 2
1 1 2 , 1 1 2 , 1 1 3 , 1 1 4 .
3 3
2 21132412 = 2 2 2 4
1 3 1 1 1 1 2 .
the target cell does not belong to d. The following sliding rules (with empty
cells marked in green) preserve the property of being semi-standard:
a
(1) b a b , allowed if a b or the target row is empty,
b b
(2) a a , allowed if a < b or the target column is empty.
we say that
b = b 1 b2 bk = b 1 b2 bk
(2.4)
a a1 a2 ak a1 a2 ak
forms a lexicographic word . Notice that there are three possible notations
here for a lexicographic word.
berg 2009/4/13 13:55 page 38 #46
5 6 5 6 5 6
4 4 6 4 4 6 4 4 6
2
1
3 5 5
2 2 3
2
1
3 5 5
2 2 3
2
1
3 5
2 3 5
2 2 2 2
1 3 1 3 1 3
5
4 6 6 5 6 6 5 6 6
2 4 5
1 3 3 5
4
2
4
3
5
3 5
4
2
4
3
5
3 5
2 2 2 1 2 2 2 1 2 2 2
1 3 1 3 1 3
5 6 6 5 6 5
4
2
4
3
5
3
4
2
4
3
6
5
4
3
6
4
6
5
1 2 2 5 1 2 3 5 2 2 3 5
1 2 3 1 2 2 3 1 1 2 2 3
The RSK correspondence enjoys particular properties when the input word
has some special structure. For example, starting with an ordinary word
u = a1 a2 an
we have
1 1 1 1 2 2 3 4 4 4 5
u = .
2 3 4 4 4 1 1 2 3 1
Observe that the notion of inverse for a biletter word coincides with the
usual notion of inverse in the case of permutations. One can show that in
general,
u (P, Q) iff u1 (Q, P ). (2.7)
(3) The global history of the next row is then constructed out of the
current row cell histories, by letting Rj+1 consist of the pairs (ai+1 , bi )
such that both pairs (ai+1 , bi ) and (ai , bi ) lie in the same cell history
Cj for line j.
To help the reader follow our description, we have illustrated the rst step
of the whole process in Figure 2.7. Here, the respective histories of the
cells correspond to individual paths, which are to be read starting at the
top and following the direction corresponding to the arrow appearing at
the end of the path.
First part. We start with R1 := i, (i) 1 i n . The history of
the rst cell of the rst row is set to C11 := min(R1 ) = {(1, 3), (2, 1)}. For
the second cell, we then set C21 := min(R1 \ C11 ) = {(3, 6), (5, 2)}, going
on using the general rule in (2) to get
1 3 4 7 9
(7, 8) 7
(10, 7)
(3, 6)
(6, 5) 4
(1, 3) (8, 4)
(5, 2) 2
1
(2, 1)
Figure 2.7. History for cells in the first line.
(ai+1 , bi )
(ai , bi )
(ai+1 , bi+1 )
Figure 2.8. Linking points of Cj .
(ai+1 , bi+1 ), as is shown in Figure 2.8. We then add a segment from (a1 , )
to (a1 , b1 ) at the beginning, and one from (ak , bk ) to (, bk ) at the end. At
this point the rst part of the process is over and we obtain the rst line
[1, 2, 4, 7, 9] of the P -tableau of RSK by reading the labels that appear at
the right-hand side of Figure 2.7. We also get the rst line [1, 3, 4, 7, 9] of
the corresponding Q-tableau by reading the labels that appear at the top.
Observing that the graph of 1 is clearly obtained by reecting the graph
of through the x = y line, we deduce that (2.7) holds for rst lines of the
respective tableaux.
Second part. The second step of the global process consists of starting
over with the set of intermediate points (ai+1 , bi ) (see Figure 2.9) that
have been introduced in the rst part. These correspond to values that
have been bumped to higher rows.
Remaining parts. We keep on going until we have obtained all rows of
the tableaux P and Q.
Exercise. Generalize Viennots shadow construction to the context of
biletter words and pairs of semi-standard tableaux.
berg 2009/4/13 13:55 page 43 #51
2 5 6
(6, 10)
8
(10, 8)
(5, 6) 5
(8, 5)
3
(2, 3)
Figure 2.9. History for cells in the second line.
5 9 2 4
3 4 8 1 1 3
1 2 6 7 0 0 2 2
where the sum is over the set of standard tableaux of shape . We get the
right-hand side of the hook length formula (2.1) when we take the limit as
t tends to 1 in (2.8). This makes it natural to use the notation f (q) for
this q-analog of the number f of standard tableaux of shape .
The cocharge of a standard tableau is the same as the cocharge of its
reading word, and we generalize the notion of cocharge to semi-standard
tableaux through their reading words. Let w be the reading word of a semi-
standard tableau . We successively extract subwords w(i) from w until we
reach the empty word, and the cocharge of is the sum of the cocharges of
these words w(i) . The rst subword w(1) of w is obtained in the following
manner. Select the leftmost 1 in w, then the leftmost 2 appearing to the
right of this 1, and so on until there is no k + 1 to the right of the current
value k being considered. At this point, select the leftmost k + 1 in w and
continue with the previous process until the largest value appearing in w
is reached. The subword w(1) thus selected is erased from w and we go on
to select w(2) inside the remaining part of w, etc. Borrowing an example
of Macdonald, with w = 32214113, we get w(1) = 2143, w(2) = 312 and
w(3) = 1. We will encounter later the KostkaFoulkes polynomials
K, (q) = q ch( ) ,
with sum over the set of semi-standard tableaux of shape and content
, which play an important role. A deeper and more adequate discussion
of the charge and cocharge statistics involves the description of the plactic
monoid and the operation of cyclage. For more on this see chapter 6 of
[Lothaire 02].
berg 2009/4/13 13:55 page 45 #53
Chapter 3
Invariant Theory
1 For the moment we assume R to be our eld of scalars, but most of our statements
45
berg 2009/4/13 13:55 page 46 #54
46 3. Invariant Theory
such that Rd Rk Rd+k . Here, the space Rd is the span of all degree d
monomials. In a more elementary formulation (3.1) states that polynomials
decompose uniquely into homogeneous components. To describe this notion
more precisely, let us introduce the linear transformation d that projects
onto the span of monomials of degree d,
a xa if |a| = d,
d (x ) =
0 otherwise.
Indeed the inclusion of the right-hand side in I is evident. To show the re-
verse inclusion, we observe that for g(x) to be such that f (x)g(x)|x=0 = 0
for all f (x) I, we must also have3 xa f (x)g(x)|x=0 = 0 for all mono-
mials xa , since xa f (x) also lies in the ideal I. Thus follows the apparently
much stronger property that g(x) lies in I if and only if f (x)g(x) = 0
for all f (x) I. Equivalently, if f1 , f2 , . . . , fk are generators for I, then
g(x) I if and only if
f1 (x1 , x2 , . . . , xn )g(x) = 0,
f2 (x1 , x2 , . . . , xn )g(x) = 0,
.. (3.7)
.
fk (x1 , x2 , . . . , xn )g(x) = 0.
xa an
1 xn .
1
berg 2009/4/13 13:55 page 48 #56
48 3. Invariant Theory
v w := v1 w1 + + vn wn
for all G and monomials xa and xb . To see this, introduce two sets
of n commuting variables y and z. Observe that the monomial xa is the
coecient of ya in exp(x y), and that Taylors expansion theorem can be
expressed in the form exp(y x)f (x) = f (x + y). For the purpose of what
follows, the G-action is extended in a straightforward manner to functions
and operators. We can now show4 globally that (3.8) holds just by proving
the single identity
exp(y x) exp(z x) = exp y (x) exp z (x) . (3.9)
Then, using the fact that is orthogonal, we check that the right-hand side
of (3.9) expands to
exp y (x) exp z (x) = exp ( 1 y) x exp ( 1 z) x
= exp ( 1 z) (x + 1 y)
= exp ( 1 z) ( 1 y) exp ( 1 z) x
= exp(z y) exp z (x) ,
Reflection Groups
An important special case corresponds to groups generated by reections.
Recall that a reection is a linear transformation of nite order which
xes a hyperplane pointwise. It is well known (see Figure 3.1) that for a
hyperplane Hv := {x Rn | v x = 0}, the reection sv into Hv aords
the simple formula sv (w) := w 2 wv vv w. We say that Hv is a reecting
hyperplane of G, if sv is in G. For a group generated by reections to
be nite, strong conditions on angles between the reecting hyperplanes
of G must be met. This is illustrated in Figure 3.2, with the group of
symmetries of a polyhedron sometimes called the truncated cuboctahedron.
When trying to discuss these angle conditions further we are naturally led
to translate everything in terms of families of vectors orthogonal to the
reecting hyperplanes. These vectors are the roots discussed in the next
section.
50 3. Invariant Theory
52 3. Invariant Theory
Dn ... (n 4)
E6
E7
E8
F4
5
H3
5
H4
p
I2 (p) (p 5) dihedral groups.
with the di standing for the degrees of G. To easily construct invariant poly-
nomials, we make use 1of
Reynolds symmetrization operator which maps
f (x) to G f (x) := |G| G f (x). This linear map, which projects R
G
onto R , makes it easy to explicitly construct a spanning set for all ho-
mogeneous G-invariant polynomials of a given degree d. Indeed, we simply
apply G to each degree d monomial xa .
Skew-Invariant Polynomials
At the other end of the spectrum is the notion of skew-invariant polynomial
which generalizes that of antisymmetric polynomial. Recall rst that our
groups are generated by reections (or pseudo-reections if we work over
the complex numbers6 ). It follows that det() = 1 for all elements of
G. Furthermore, this is a natural generalization for the notion of sign of a
permutation. With this in mind, a polynomial is said to be skew invariant
with respect to G if f (x) = det()f (x), for all in G. Just as in the
invariant case, we have a Reynold skewing operator,
1
f (x) det()f (x),
|G|
G
6 See [Kane 01] for more on this natural expansion. In this case, we should replace
54 3. Invariant Theory
1 1
det()f (x) = det() det() det()()f (x)
|G| |G|
G G
1
= det() det()f (x).
|G|
G
1 1
det()f (x) = det() det()f (x)
|G| |G|
G G
= f (x).
In view of (3.10) and (3.11), the above observation implies that the Hilbert
series of the homogeneous invariant subspace R is just
n
q di 1
Hilbq (R ) = , (3.12)
i=1
1 q di
with the di standing for the degrees of G, just as in (3.10). We will elaborate
on these notions in the special case of the symmetric group in Section 3.9.
contains three terms rather than six. Observe that our denition forces
m = 0 when () > n.
The linear independence of the m , for varying in the set of partitions
of d with length at most n, follows by an obvious triangularity argument
from that of the monomials x = x1 1 x2 2 xk k . Indeed, one version of
the fundamental theorem of algebra states precisely that these are linearly
independent. The fact that the set {m |
d} spans RdSn is a direct
consequence of the denition of symmetric polynomial.
berg 2009/4/13 13:55 page 56 #64
56 3. Invariant Theory
n
1
d
H() := hd = . (3.14)
i=1
1 xi
d0
n
E() := ek k = (1 + xi ). (3.15)
k0 i=1
Observe that ek is just another name for m(1n ) . The interesting identity
H()E() = 1 (3.16)
n
(1)k hnk ek = 0 (3.17)
k=0
58 3. Invariant Theory
Power Sums
Another classical family is that of the power sums: pk = pk (x) := xk1 + +
xkn , for k 1, with p equal to p1 p2 pr . The following computation
is entirely straightforward:
1
n
H() = exp log
i=1
1 xi
n
k (3.18)
= exp xki
i=1 k1
k
= exp P () ,
k
where P () := k1 pk k . Expanding back the right-hand side as a power
series in and comparing like powers of on both sides, we obtain
1
hd = p , (3.19)
z
d
1 1 1
e3 (x1 , x2 ) = p1 (x1 , x2 )3 p1 (x1 , x2 )p2 (x1 , x2 ) + p3 (x1 , x2 ) = 0.
6 2 3
To illustrate, we have
p11111 = m5 + 5m41 + 10m32 + 20m311 + 30m221 + 60m2111 + 120m11111 ,
p2111 = m5 + 3m41 + 4m32 + 6m311 + 6m221 + 6m2111 ,
p221 = m5 + m41 + 2m32 + 2m221 ,
p311 = m5 + 2m41 + m32 + 2m311 ,
p32 = m5 + m32 ,
p41 = m5 + m41 ,
p 5 = m5 .
60 3. Invariant Theory
d
Similarly, from (3.15), we get ded = r=1 (1)r1 pr edr , from which we
derive
e1 1 0 0
2e2 e1 1 0
3e3 e2 e1 0 .
pk = det (3.24)
.. .. .. . ..
. . . . . .
kek ek1 ek2 e1
The Involution
Many of the notions and formulas involving symmetric functions come in
pairs that are naturally tied together through a natural linear and mul-
tiplicative involution, denoted by . It is probably easiest to dene it in
terms of the power sum, setting (pk ) := (1)k1 pk . It immediately fol-
lows, say comparing (3.19) and (3.20), that (hk ) = ek . In particular, this
makes it clear that translates (3.23) into (3.24), and vice-versa. Observe
that (p ) = ()p , with () = (1)||() equal to the sign of any
permutation having cycle structure equal to .
62 3. Invariant Theory
()
f [A] := a pi [A]. (3.25)
i=1
k
hn [A] n = exp pk [A] . (3.26)
k
n0 k1
64 3. Invariant Theory
The Plethysm f [1 u]
Since pk [1 u] = 1 uk , we calculate that
k
hn [1 u] n = exp (1 uk )
k
n0 k1
k (u)k
= exp exp (3.27)
k k
k1 k1
1 u
= =1+ (1 u) k .
1
k1
Exercise. Find explicit expressions for hn [1/(1 t)] and en [1/(1 t)].
n1
x1 xn2 1
n1 1 (3.30)
x xn2 1
2 2
= det . .. .. ..
.. . . .
xn1 xn2 1
n n
66 3. Invariant Theory
Proof: To see this, we rst observe that any antisymmetric polynomial f (x)
vanishes whenever two of its variables are equal. In particular, consider the
transposition = (i, j) that exchanges the two variables xi and xj . The
sign of being 1, we get f (x) = f (x) from the antisymmetry of f (x).
On the other hand, when xi = xj we clearly have f (x) = f (x), hence
f (x)|xi =xj = 0. It follows that for all i < j the % linear polynomial xi xj
divides f (x). Hence the polynomial n (x) := i<j (xi xj ) divides f (x).
The resulting quotient f (x)/n (x) is a clearly a symmetric polynomial,
since
f (x) f (x) ()f (x) f (x)
= = = .
n (x) n (x) ()n (x) n (x)
To see that n (x) actually coincides with n (x), we need only observe that
the two polynomials have the same degree, hence their quotient must be
constant. One then checks that this constant is 1, since both polynomials
have xn1
1 xn2
2 xn1 as leading coecients.
For any n-vector a = (a1 , a2 , . . . , an ) Nn , with all entries distinct, the
determinant8 a1
x1 xa1 2 xa1 n
a1
x2 xa2 2 xa2 n
a (x) := det . .. .. ..
.. . . .
xa1 xa2 xan
n n n
is evidently antisymmetric, since a permutation of the variables corresponds
to a permutation of the rows in the matrix. Up to a column permutation,
we might as well suppose that a1 > a2 > > an 0, since this only
changes the sign of the determinant. Any such vector a can be written in
the form a = + n for some partition . Observe also that the case a =
n corresponds exactly to the Vandermonde determinant n (x). In view
of our previous discussion, the quotient + (x)/n (x) is a symmetric
polynomial. In a sense that will be made clear in the sequel, these are
the most fundamental symmetric polynomials. Although apparently9 rst
8 Observe that (x) appears as a special case (see Section 1.3) of determinants
a
associated with diagrams d. In this case all cells have second coordinates equal to zero.
9 See [Macdonald 95, p. 61].
berg 2009/4/13 13:55 page 67 #75
Chapter 4
69
berg 2009/4/13 13:55 page 70 #78
b b c b
a a a b a b a c
x + y = x1 + x2 + x3 + + y1 + y2 + y3 + ,
with the convention that the yk are larger than the xi . We nd that
s (x + y) = s (x)s/ (y), (4.4)
and
n
en (x + y) = ek (x)enk (y). (4.6)
k=0
terms of the sum a,b xa yb , with a and b in (N+ )k . In turn, this sum
seen to be the same as the plethystic evaluation hk [xy] of hk at
is readily
xy = i,j1 xi yj . Recall that by denition we have
1
hk [xy] = .
1 xi yj
k0 i,j1
Now, summing both sides of (4.7) for all n in N, we get the Cauchy
Littlewood formula:
1
= s (x)s (y). (4.9)
1 xi yj
i,j1
k
Let us restrict this argument to words of the form u = a11 a22 ak
while setting the evaluation monomial of u be xa . To make the correspon-
dence compatible, we also set the evaluation monomial of a pair (P, Q) to
be xP . We then get the identity
(x1 + x2 + x3 + )n = hn1 = f s (x), (4.10)
n
with f standing for the number of standard tableaux of shape . For
example, we have
h21 = s2 + s11 ,
h31 = s3 + 2s21 + s111 ,
h41 = s4 + 3s31 + 2s22 + 3s211 + s1111 ,
h51 = s5 + 4s41 + 5s32 + 6s311 + 5s221 + 4s2111 + s11111 .
It is interesting to note that by expanding both sides of (4.10) in terms of
the basis p and taking the coecient of pn1 /n!, we get back identity (5.4).
berg 2009/4/13 13:55 page 73 #81
The left-hand side of (4.9) and (4.13) is called the Cauchy kernel . It is
henceforth denoted by (xy). One can directly check that
(xy) = h (x)m (y). (4.14)
berg 2009/4/13 13:55 page 74 #82
The relevant statement here is that conditions (4.15) are globally equivalent
to the single identity
(xy) = u (x)v (y). (4.16)
In other words,
p (y) p (y)
a p (x) b = p (x) .
z z
We then observe that the p (x)p (y)/z are linearly independent, hence
a b = ,
Comparing this with equation (4.3), we notice that the index of summation
is now rather than . This will be reformulated in terms of transposition
of transition matrices in Section 4.4.
There is, however, one glaring piece missing, which is the family of
forgotten symmetric functions, denoted f by Macdonald. This is just the
dual basis for the e . As we will see in Section 10.6, they do play an active
role. For example, we have
s
K Tr J K Tr
e h
JK K
f m
L
p
x4 x4
x3 x3
x1
(a, b)
(see Figure 4.3). We want to consider northeast paths that start at a given
(a0 , b0 ) and go to (a0 + n, ). Evidently, these paths must end with an
innite sequence of north steps, and their respective weights are monomials
of degree n. In fact, there is an obvious bijective correspondence between
paths starting
at (a, b) and monomials of degree n. We may thus interpret
hn (x) = x , as giving the sum of the weighted enumeration of all paths
going from (a, b) to (a + n, ).
In order to get an interpretation for the terms of the determinant
det(hi +ji )1i,jn = sgn()h(1) (1)+1 h(k) (k)+k , (4.22)
Sn
3 3 2 2 1 1 3 3 2 2 1 1
3 2 1 3 2 1
%k
to be x := sgn() i=1 xi , and expanding the right-hand side of (4.22),
we get
det hi i+j (x) 1i,jn = x . (4.23)
3 3 2 2 1 1
4 4
2 5 3
1 2 2 3 2 2 2
1
3 2 1
Exchanging the end portions has the eect of adding 1 to the inversion
number of the underlying permutation. It follows that x = x() . Start-
ing this process over with the conguration (), we clearly select the same
s, (i, j) and t; thus is an involution. The whole procedure is illustrated
in Figure 4.4. We conclude that
det hi i+j (x) 1i,jn = x .
noncrossing
and
h2 h4 h6 h7
1 h2 h4 h5
s4321/21 = det
0
1 h2 h3
0 0 1 h1
= h1 h32 2h1 h2 h4 h22 h3 + h1 h6 + h2 h5 + h3 h4 h7 .
Expanding this determinant with respect to the rst column, we get the
recurrence
dk+1 = (u)dk , with d1 = 1 u,
so (4.26) holds.
n!
f = %
c h(c)
berg 2009/4/13 13:55 page 81 #89
F (N ) = s (1, . . . , 1).
N copies
F (N ) xi N
N
s (x) = 1 ,
N || i=1
N
since the s (x) are linearly independent. The next step consists of com-
puting F (N ) as follows. Setting xi = q i1 in (3.31), we have
det (q j +nj )i1
s (1, q, . . . , q n1
)=
det (q nj )i1
q j +nj q i +ni
= (4.28)
i<j
q nj q ni
1 q i j +ji
= q n() .
i<j
1 q ji
all hook shapes with corner in the ith row and both endpoints in the
rim of . Here, the rim of a partition is the skew shape /, where
= (2 1, . . . , N 1).
If we also allow hook shapes with top endpoints in position (0, k + 1)
up to (0, N 1), we get exactly one such hook shape for all integers from
1 to i + N i. Moreover, the length of a hook shape that ends strictly
below the top cell in a column is i j + j i, with j standing for the
index of the row that sits just above the top end point of the hook shape
considered. It follows that
%N %i +N i
(1 q j )
i j +ji i=1
(1 q )= % j=1 .
c (1 q
h(c) )
i<j
We take the quotient of each side of this last identity by the respective
sides of
N N i
(1 q ji ) = (1 q j ),
i<j i=1 j=1
to get
1 q N +ji
s (1, q, . . . , q N 1 ) = q n() . (4.29)
1 q h(i,j)
(i,j)
f 1 + (j i)/N
= lim
||! N h(i, j)
(i,j)
1
= ,
c
h(c)
berg 2009/4/13 13:55 page 83 #91
showing (2.1). For |q| < 1 in (4.29), we can also take the limit as N goes
to to deduce
q n()
s (1, q, q 2 , . . . ) = % . (4.30)
c (1 q
h(c) )
s21 s32 = s53 + s521 + s44 + 2s431 + s422 + s4211 + s332 + s3311 + s3221 .
the sum being over the partitions for which / is a k-cell horizontal
strip, and respectively over those for which / is a k-cell vertical strip.
By way of illustration, we have the expansion
+ + + + +
for all symmetric functions g and h. The cases f = hk and f = ek give rise
to the dual Pieri formulas
hk s = s and e k s = s . (4.34)
Here, the sum is over the set of partitions that can be obtained from by
removing a k-horizontal strip (resp. vertical strip). For example, we have
h
2 s4321 = s431 + s422 + s4211 + s332 + s3311 + s3221 .
= + + + + + .
2 3 1 2 1 3
1 2 1 3 2 2
1 2 1
1 , 1 , 1 .
4.8. Schur-Positivity 85
Exercise. Check the last assertion for some small examples. Describe a
natural bijection between the sets involved in the two descriptions.
with the sum being over the pairs , for which c is not zero,
||
and
||. It is worth mentioning, even if it is only to show how to tie
together the two dierent products on symmetric functions. An example
of (4.36) is
(s21 s21 ) s42 = (s21 s21 )(s21 s21 ) + (s21 s21 )(s21 s3 )
+ (s21 s3 )(s21 s21 ) + (s21 s3 )(s21 s3 )
= s6 + 3s51 + 4s42 + 5s411 + 2s33 + 6s321 + 5s3111
+ 2s222 + 4s2211 + 3s21111 + s111111
+ s51 + 2s42 + 2s411 + s33 + 4s321 + 2s3111 + s222 + 2s2211 + s21111
+ s51 + 2s42 + 2s411 + s33 + 4s321 + 2s3111 + s222 + 2s2211 + s21111
+ s42 + s411 + s33 + 2s321 + s3111 + s222 + s2211
= s6 + 5s51 + 9s42 + 10s411 + 5s33 + 16s321 + 10s3111
+ 5s222 + 9s2211 + 5s21111 + s111111 .
4.8 Schur-Positivity
Many problems that motivate this work nd their origins in the study of
Schur-positivity of symmetric functions. We have already encountered
symmetric functions expressions exhibiting this property: skew-Schur func-
tions, elementary and complete homogeneous symmetric functions, Kro-
necker product and simple product of symmetric functions. The common
feature of all of these is that they have expansions with positive integer
coecients in terms of the Schur function basis. When this is the case,
we say that we have Schur positivity, or that the function in question is
Schur-positive (even sometimes just s-positive). Illustrating with examples
berg 2009/4/13 13:55 page 86 #94
1 + s1
=
1 (s2 + s11 ) 2 1 (s2 s11 ) 2
1 + s1 1 1
= .
2s11 2 1 (s2 + s11 ) 2 1 (s2 s11 ) 2
Then we observe that the large expression in parentheses in the nal step of
this calculation is simply the sum of the terms that contain odd powers of
1
s11 in the manifestly Schur-positive series 1(s2 +s11 ) 2 . We conclude
n/2
that we have expressed k=0 p1n2k pk2 as a positive integer polynomial in
s1 , s2 , and s11 .
3 Naturally extending the notion of Schur-positivity to such series.
berg 2009/4/13 13:55 page 87 #95
The values f (i) are the parts of the -partition f . Observe that we get
back the usual notion of length k partition in the special case of being
the set {1, 2, . . . , k} with its usual order.
We will be mostly interested in posets constructed from n-cell diagrams
23 18 16
1 4 6
15 12
2 5
12
3
Figure 4.7. A poset partition for = 321.
with denoting disjoint union and C() standing for the set of -compat-
ible functions.
where a < b in the general term. Observe that any symmetric function
can be expanded in terms of the linear basis
of monomial quasisymmetric
functions, since by denition we have m = a = Ma . We dene quasi-
symmetric functions to be any nite linear combinations of the Ma . It
turns out that they constitute a subalgebra of R = C[x], which is denoted
by RSn when we have n variables, or RS if n goes to innity. The fact
that this space is closed under multiplication is not directly obvious from
the denition. This will be discussed in Section 4.11.
Observe that xa is the leading monomial of Ma (x) in the lexicographic
order for monomials. This implies that the nonzero5 Ma (x) are linearly
independent. It may also be worth observing that we have the expansion
formula
f (x) = (f, xa )Ma (x), (4.39)
a
5 We must be careful when a has more parts than the number of variables in x.
berg 2009/4/13 13:55 page 90 #98
Fundamental Basis
Another basis of the space of quasisymmetric functions (or polynomials)
plays a crucial role in our story: the fundamental basis Qa . For a compo-
sition a, it is dened by setting
Qa (x) := Mb ,
ba
Once again, see Section 1.8 for the notations Sa and co(T ). As we did for
symmetric functions, we often omit mention of the variables, essentially
assuming that they are in innite number. For example, we have
although some of the terms may vanish if we have too few variables. One
of the manifold uses of the fundamental basis is the following immediate
consequence of the denitions
xf = Qco(Des()) , (4.42)
f C()
Here, varies in the set of all standard tableaux of shape /, and co( ) is
the composition associated with the reading descent set of . Recall that i
is said to be a reading descent of if i + 1 sits to the northwest of i in .
For example, 325 is the composition associated with the tableau
6 7
1
4 5 8
2 3 9 10
since its reading descents correspond to the entries 3 and 5. From this
formula, we can deduce (see [Stanley 97, Proposition 7.19.11]) that
rmaj( )
q
s/ [1/(1 q)] = , (4.45)
(1 q)(1 q 2 ) (1 q n )
b c
a a a b
with m equal to nck +1. Illustrating this process with the composition
a = (3, 1, 4, 2), we get the forward ribbon of Figure 4.9.
Exercise. Show that, for all compositions a, we have sr(a) = Qa .
: QC QC QC
(see [Homan 00]) on the free Q-vector space generated by the set C of
compositions, here written as words. This operation is described recursively
using an extension of concatenation ab to a bilinear operation on QC. For
the empty composition 0, we begin by setting c 0 := c and 0 c :=
c. For integers a and b and compositions c and d, the general recursive
statement is that
writing e for the integer a + b (to make it clear that the right-hand side is
a formal linear combination of compositions). For instance, we have
With this notation at hand, the multiplication rule (see [Stanley 79]) for
the monomial basis is simply
Ma Mb = c | a bMc , (4.47)
c
with f (a, b) and g(a, b) integers calculated as follows. Let us suppose that
() the given composition a can be written as a concatenation a(1) a(k)
of k compositions a(i) such that we have a(i) |= bi , with b = b1 bk .
When this is the case, we set
f (a, b) := (a(1) )! (a(k) )!,
and
g(a, b) := (1)(a)k (a(1) ) (a(k) ).
In equation (4.48), the sums are over the set of compositions b for which
condition () makes sense. For example, considering the compositions of
3, we get
P3 = M3 ,
1
P21 = M21 + M3 ,
2
1 (4.49)
P12 = M12 + M3 ,
2
1 1 1
P111 = M111 + M21 + M12 + M3 .
2 2 6
For the P -basis, the multiplication rule is simply expressed as
Pa Pb = c | a bPc . (4.50)
c
berg 2009/4/13 13:55 page 94 #102
Qa Qb = Qab + Qab ,
where
M23,1 = x21 x32 (x3 + x4 ) + x21 x23 (x2 + x4 ) + x21 x34 (x2 + x3 )
+ x22 x33 (x1 + x4 ) + x22 x34 (x1 + x3 ) + x23 x34 (x1 + x2 ).
Chapter 5
Our intention in this chapter is to briey recall the essential notions and
results of representation theory of nite groups, especially in the case of the
symmetric group. Following Frobenius, we bijectively associate a symmet-
ric function to characters of representations of Sn . It turns out that, under
this natural passage to symmetric functions, Schur functions correspond to
irreducible representations. It follows that symmetric functions associated
with representations are Schur-positive, with coecients corresponding to
multiplicities of irreducible representations. This will be a recurring theme
throughout the rest of this book. For proofs of the results outlined here, we
refer to [Sagan 91], or the now classic [Fulton and Harris 91]. Many other
notions not presented here are found in [Goodman and Wallach 98].
95
berg 2009/4/13 13:55 page 96 #104
96 5. Representation Theory
(1) 1 v = v,
(2) g (av + bw) = ag v + bg w,
(3) g1 (g2 v) = (g1 g2 ) v.
This leads to the terminology: V is a G-module. The dimension of the
representation is the dimension of the vector space V. A homomorphism of
G-modules is a linear transformation : V W that is compatible with
the respective G-actions on V and W, i.e., (g v) = g (v). Naturally, we
say that is an isomorphism when it is bijective. A G-invariant subspace
of a G-module V, is a subspace U such that G U U. The direct sum of
two G-modules V and W is equipped with the componentwise G-action. A
G-module is said to be irreducible if it is not isomorphic to a sum of two
(nontrivial) G-modules. Equivalently, it is irreducible if and only if it has
no nontrivial G-invariant submodule.
The two basic results of representation theory are as follows. The rst
states that there is a nite number of nonisomorphic irreducible represen-
tations of G. This number is the number of conjugacy classes of G. Let
us denote by C the set of these conjugacy classes. A complete system of
representatives of irreducible G-modules is of the form {V c | c C}, with
each V c irreducible and V c V d if c = d. In the case of the symmetric
group Sn conjugacy classes are naturally indexed by partitions of n.
The second basic result states that every G-module
W decomposes
uniquely into irreducible representations: W cC ac V c . In this de-
composition of W as a direct sum of irreducible G-modules, several copies
of a given irreducible G-module Vc may appear. The maximal number of
linearly independent copies of V c in W is the multiplicity ac of this ir-
reducible component in the G-module considered. The problem of nding
the irreducible decomposition of W is thus turned into the combinatorial
problem of computing these multiplicities. This may be very hard to do in
some instances. Observe that we have
dim(W) = ac dim(V c ). (5.1)
cC
5.2 Characters
One striking aspect of representation theory is that all the necessary infor-
mation concerning a G-module is encoded in its character = V . This is
the function : G C dened for g in G as the trace V (g) := Trace(g)
of the linear transformation g : V V. The importance of characters
lies in the fact that two G-modules are isomorphic if and only if they have
the same characters. In other words, a G-module is characterized by its
berg 2009/4/13 13:55 page 97 #105
1
, = (g)(g),
|G|
gG
1 It may appear strange that we get all this information out of so little knowledge.
However, for any k 0, the character contains the information about the value of
Trace(g k ) = k1 + + kn , with the i being the eigenvalues of g. Thus, if g is diago-
nalizable, we can reconstruct g up to matrix conjugation, since its eigenvalues are the
roots of the characteristic polynomial of g, whose coecients can be calculated from the
knowledge of Trace(g k ).
berg 2009/4/13 13:55 page 98 #106
98 5. Representation Theory
where the direct sum is over the set C of conjugacy classes of G, and dc
stands for the dimension of V c . Taking the dimension of both sides of (5.3),
we get the nice identity
|G| = d2c . (5.4)
cC
We will soon make all this more explicit in the case of the symmetric group.
Another interesting natural action of a group G comes from the linear
extension of conjugation, g h := g 1 hg, to C[G]. Evidently the resulting
conjugating representation has the same dimension as that of the regular
representation, since both share the same underlying space C[G].
1 5 7 4
6 2 3 1
3 4 7 5 2 6
7
5 6
1 2 3 4
%
us associate2 the tableau monomial x := (a,b)d xb (a,b) . Evidently, this
monomial characterizes up to a row-xing permutation of its entries, since
the exponent of a variable xi encodes the row on which the value i lies.
For the rst tableau of Figure 5.1 we have x = x2 x6 x21 x25 , whereas for the
second we get x = x1 x3 x24 x27 . The action of Sn on bijective tableaux is
compatible with the action on monomials, i.e., x = x , and row-xing
permutations of x the corresponding monomial x .
We specialize these considerations to n-cell partition diagrams and
consider the Sn -modules
where () is the partition that gives the cyclic structure of (see Sec-
tion 1.6). A word of caution may be in order here. In the sequel we often
consider Sn -modules of polynomials, most often in the variables x. The
Frobenius transform of their character is expressed in terms of formal
symmetric functions p = p (z) whose variables z = z1 , z2 , . . . have no
link to the variables x = x1 , . . . , xn . In this context the symmetric func-
tions f (z) only play the formal role of markers, although we will see that
they do this in a particularly ecient manner. Let us illustrate with the
representation S (n1)1 described in Section 5.5. The underlying space is
(n 1)-dimensional and aords as basis the set
{x2 x1 , x3 x1 , . . . , xn x1 }.
Exercise. Show that the value of the character (n1)1 on a permutation
is equal to the number of xed points of minus 1.
It follows from this exercise that
pd11 pdnn
Frob(S (n1)1 ) = (d1 1)
1d1 d1 ! ndn dn !
=1d1 ndn
= hn1 h1 hn = s(n1)1 ,
3 See Section 5.6.
berg 2009/4/13 13:55 page 102 #110
with the last equality obtained from the JacobiTrudi formula. This goes
to illustrate part (4) of Theorem 5.1. The last formula exhibits a general
feature of the Frobenius transform of a central function. Indeed, summands
in (5.8) are invariant under conjugation, i.e.,
( 1 )p( 1 ) = ()p() .
We can thus collect equal terms in the denition to get the equivalent
expression p
F() := ( ) , (5.9)
z
n
To simplify the terminology, let us say that F(V) is the Frobenius charac-
teristic of V. Part (4) of Theorem 5.1 can now be written as F(S ) = s .
Thus, we can say that the character table of the symmetric group Sn de-
scribes the expansion of Schur functions in terms of the power sum basis.
Illustrating with n = 4, we transform the symmetric function identities
F(S ) = s = () p
z
n
into the form of Table 5.1, denoting by () the value of the character of
an irreducible representation S at permutations of shape . Observe that
berg 2009/4/13 13:55 page 103 #111
5.6 implies that the Frobenius characteristic of R is simply4 hn1 . Using our
knowledge of symmetric function identities and (5.3), we nd that
hn1 = f s , (5.14)
n
h21 = s2 + s11 ,
h31 = s3 + 2s21 + s111 ,
h41 = s4 + 3s31 + 2s22 + 3s211 + s1111 ,
h51 = s5 + 4s41 + 5s32 + 6s311 + 5s221 + 4s2111 + s11111 .
Recall that the coecients represent both the multiplicity and dimension
of the associated irreducible representations.
F1 = s1 ,
F2 = 2s2 ,
F3 = 3s3 + s21 + s111 ,
F4 = 5s4 + 2s31 + 3s22 + 2s211 + s1111 ,
F5 = 7s5 + 5s41 + 6s32 + 5s311 + 4s221 + 3s2111 + s11111 ,
F6 = 11s6 + 8s51 + 15s42 + 10s411 + 4s33 + 13s321 + 10s3111
+ 8s222 + 5s2211 + 4s21111 + s111111 .
since s
1 acts as a derivation with respect to the variable p1 on the power
sum basis. In particular, it follows from the Pieri rule (see Section 4.7)
that the restriction to Sn1 of the -indexed Sn -irreducible representation
decomposes into a sum
(
Resnn1 (V ) V
: GLn GLN ,
such that the entries of the matrix (M ) are polynomials in the entries of
the matrix M . For example, we can check that the map
2
a 2ab b2
a b
ac ad + bc bd (5.16)
c d
c2 2cd d2
establishes such an homomorphism. It is also well known that det : GLn
C is a group homomorphism. It clearly gives another example of such a
berg 2009/4/13 13:55 page 106 #114
etc.
A more systematic description will be given in Section 7.3. Other represen-
tations giving interesting restrictions of the kind are described at the end
of Chapter 6. If f and g are the respective Frobenius characteristics of the
restriction to Sn of Gn -modules F and G, then the respective Frobenius
characteristic of F G and F G are f + g and f g (Kronecker product).
-
k
Frobt (W)[z(1 t)] = (1)k Frobt (W V)(z)tk , (5.17)
k0
Frobt (W)[z/(1 t)] = Frobt (W S k V)(z)tk (5.18)
k0
,k
with V and S k V respectively denoting the exterior and symmetric kth-
powers of the dening representation V .
berg 2009/4/13 13:55 page 109 #117
Chapter 6
109
berg 2009/4/13 13:55 page 110 #118
Examples of Species
To connect this denition with the usual structures of combinatorics, a
few examples are in order. These are all straightforward reformulations,
in the language of species, of classical constructions of set theory or basic
combinatorics. At the same time, we are also setting up notation. We
have:
(2) For any positive integer k, the species of k-tuples. This is the species
for which F [A] = Ak , i.e., its structures are k-tuples of elements of
A. For : AB, we set
k (a1 , . . . , ak ) = (a1 ), . . . , (ak ) .
d
a
c
A = {a, b, c, d, e, f } e
b f
d
a
c
A = {a, b, c, d, e, f } b
f e
End[A] = {f | f : A A},
End[](f ) = f 1 .
Since there are n! permutations of an n-element set, we get (1) in the list
below, which includes other simple examples (some of which have already
been encountered):
1 2 n
(1) S() = , (2) () = exp(2), (3) G() = 2n ,
1 n!
n0
n 1
(4) End() = nn , (5) C() = log , (6) E() = exp().
n! 1
n0
Formal Definitions
Here are the technical descriptions for the operations, followed below by
illustrations that are almost as rigorous. For two species F and G, we
introduce the species F + G, F G, F G, and F , setting respectively
(1) (F + G)[A] := F [A] + G[A].
(2) (F G)[A] := F [B] G[C].
B+C=A
(3) (F G)[A] := F [] G[B], under the condition that G[] = .
P[A] B
t=
F
F G F G
G
G
G
G
F G F G F
G
F F
X
Figure 6.5. A typical F -structure.
2 3 4 5 6 7 8
A() = +2 +9 +64 +625 +7776 +117649 +2097152 + .
2 3! 4! 5! 6! 7! 8!
As seen below, the coecient of n /n! is an = nn1 . We show this following
a very nice proof due to [Joyal 81]. More precisely, we check that nan = nn .
Recall that nn is the number of endofunctions on n. We can thus exploit
the following almost entirely combinatorial relation between the species
A and End. In view of equation (6.6) and the identity corresponding to
Figure 6.7, we have the series identities
The rest of the argument boils down to verifying the species identity
A = L(A). Indeed, this immediately implies that we have nan = nn ,
as announced. To get the required species identity, we consider the se-
quence of steps illustrated in Figure 6.8. This sequence of transformations
turns a pointed rooted tree into an ordered list of rooted trees, as required.
We begin with a pointed rooted tree. The central gure highlights the
unique path going from the root to the selected point. This is the vertebral
column of the vertebrate. In view of this decomposition, we say that A
is the species of vertebrates. The vertebra are the points that lie on this
vertebral column. To each vertebra is attached a rooted tree. In the last
part of Figure 6.8, we see a vertebrate turned into a list of rooted trees.
(6, 6)
(0, 0)
but a complete presentation would become a bit too long. Let us just state
the result that we will extend in Section 10.6. We want to compute the
Lagrange inverse of the series
1
f () = hn n , (6.8)
n0
Here, the sum is over the set Dn of length n Dyck paths, with each
path having weights h() . To a path we associate a partition () as
dened below. It is convenient, from now on, to sightly modify our previous
notion (see Section 1.7) of a Dyck path. The paths go from (0, 0) to (n, n),
and stay above the diagonal as illustrated in Figure 6.10. For a path , we
consider the partition () whose parts are the lengths of vertical segments
of . The reason for considering equation (6.10) as a symmetric function
is because it corresponds to the Frobenius characteristic of the action of
the symmetric group on the span of the parking function. We refer to
[Garsia and Haiman 96a] for more on this.
As we have already mentioned in Section 3.5, the hn are algebraically
independent. We can thus specialize the hn to any specied value. This
is why we may think of (6.9) as giving a generic solution to Lagrange
inversion.
berg 2009/4/13 13:55 page 120 #128
3 In principle, we need some order on A to dene this, but the choice of order does
(6.17)
with H = n0 hn . Observe that the degree n homogeneous component
of (3) corresponds to the Frobenius characteristic of the conjugating rep-
resentation of Sn . For the Frobenius characteristic of the species of cyclic
permutations, (6) is obtained using the identity S = E(C), M obius inver-
sion, and some calculation. This is why the resulting expression makes use
berg 2009/4/13 13:55 page 122 #130
We also derive the following equation from the dening equation of rooted
trees:
Frob(A) = p1 H[Frob(A)].
One nds that
Specializations
It should be noted that we can derive the generating series F () from
the Frob(F ) by the simple device of specializing the pk , setting p1 = and
pk = 0 for k 2. Observe that this sends the Schur function s to f n /n!.
Another classical specialization consists of setting pk = k . It trans-
forms the Frobenius characteristic series of a species into the type enumer-
ator series F/(). Indeed, using Burnside lemma we nd that
F/() = f/n n ,
n0
berg 2009/4/13 13:55 page 123 #131
with f/n counting the number of orbits of the action of Sn on the set
F [n]. From the point of view of tensorial species, we interpret f/n as giving
the coecient of sn in Frob(F ). To conciliate the two approaches, we
can think of each orbit as giving rise to a subspace aording the trivial
representation. This subspace is simply the set of multiples of the sum of
the elements in the orbit.
for V a nite dimensional vector space, with evident eect on linear isomor-
phisms. The CSn -module structure on V n corresponds to permutation
of components. In a manner consistent with our previous denitions, we
say that the Hilbert series of F (V ) is
Hilbq F (V ) := q n dim(F [n] CSn V n ). (6.19)
n0
Chapter 7
125
berg 2009/4/13 13:55 page 126 #134
Homogeneous Ideals
Essentially all the ideals that we are going to consider are homogeneous.
This is to say that for f I, we have d (f ) I, 0 d. (See Section 3.1
for the denition of d .) For any ideal I, let Gr(I) be the homogeneous
ideal generated by maximal degree homogeneous components of polyno-
mials in I, i.e., Gr(I) :={deg(f) (f ) | f I}. For I homogeneous we
obviously have m(I) = m Gr(I) . Let us denote by BI the set of mono-
mials {xb | xb / m(I)}. Applying Gauss elimination (modulo I) to the
set of all monomials, we can check that BI is a set of representatives for a
basis of C[x]/I. Let us denote by B the basis obtained by this Gauss elim-
a
process.b By denition, aif x lies in m(I) there is some polynomial
ination
x + ba cb x in I having x as leading monomial. This forces xa to be
a
since BI = BGr(I) .
7.2
Grobner Basis
From now on, we assume that we have chosen a xed (graded) monomial
order. A nite set G = {g1 , . . . , g } of monic polynomials is said to be a
berg 2009/4/13 13:55 page 127 #135
7.2. Grobner Basis 127
(1 x1 t) (1 xn t) 1 mod In .
corresponding set of leading monomials is {x1 , x22 , x33 , . . . , xnn }. For i < k,
xkk cannot divide terms of hi (xi ), since they have smaller degrees. On the
other hand, for k > i, hi (xi ) does not contain the variable xk , so none of
its terms can be divisible by xkk . This shows that condition (3) holds.
Exercise. Show that the set {h1 (x1 ), h2 (x2 ), . . . , hn (xn )} satises condi-
obner basis for the ideal In .
tion (2) of the denition of Gr
Indeed, this ideal aords the set {hk+1 (x1 ), hk+2 (x2 ), . . . , hk+n (xn )} as a
Gr
obner basis.
V = V0 V1 V2 , (7.5)
with V0 = K and dim Vi nite for all i. In the case of algebras, we also
require that Vi Vj Vi+j , for all 0 i, j. Elements of Vd are called homoge-
neous of degree d, and the space Vd is the degree d homogeneous component
of V. The essence of equality (7.5) is that any element f of V aords a
unique decomposition f = f0 + f1 + f2 + into its homogeneous compo-
nents fd Vd . Every
graded space V aords a Hilbert series Hilbt (V) of
the V, dened as d0 dim(Vd )td .
Graded Representations
Even more interesting is the notion of graded G-module. Starting with a
linear action of G on V , we assume that each Vd is G-invariant in (7.5).
We get a graded decomposition of V into irreducible G-modules:
((
V= ac,d V c ,
d0 cC
berg 2009/4/13 13:55 page 129 #137
using the variable t to keep track of degree. Observing that the right-hand
side of this identity is just p [1/(1 t)], we get equation (7.7).
berg 2009/4/13 13:55 page 130 #138
CohenMacaulay
In some instance the module M is very well behaved with respect to HSOP,
in that there is a simple decomposition of M of the form
(t)
Hilbt (M) = , (7.9)
(1 td1 ) (1 tdr )
with the di equal to the degree of i and (t) equal to the Hilbert series
(which is, in fact, a polynomial) of M/I.
berg 2009/4/13 13:55 page 131 #139
Chapter 8
Coinvariant Spaces
We will now explore one of the central motivating results for this book. The
set of classical results of representation theory discussed in this chapter will
be the inspiration for much of the remaining chapters. At the heart of these
results sits the notion of covariant space of a group of (orthogonal) n n
matrices G. One possible explanation for the role of this space stems from
the study of the G-module decomposition of the space R[x] of polynomials
in n variables. The story begins with the observation that we can trivially
get many copies of any known irreducible component V of R[x], simply
by tensoring V with a given G-invariant polynomial. This naturally raises
the question of nding a basic set of irreducible components out of which
all others can be obtained through this means. This is precisely what the
G-covariant space will give us in one stroke. For more on this fascinating
subject see [Kane 01], or [Garsia and Haiman 08].
131
berg 2009/4/13 13:55 page 132 #140
R R G RG . (8.1)
We will give a general outline of a proof in this chapter. One can decode
(8.1) as giving a precise formulation for the somewhat vague statement:
Any irreducible component of R can be obtained by tensoring
one irreducible component of RG by some G-invariant polyno-
mial.
One immediate consequence of this, in view of (3.4) and (3.10), is that
n
1 tdi
Hilbt (RG ) =
i=1
1t (8.2)
= (1 + + td1 1 ) (1 + + tdn 1 ),
An Explicit Example
Before going on with the general setup, let us work out the case n = 2,
choosing the group to be S2 (there are not a lot of choices). With R =
R[x, y], the ring RS2 is generated by the two algebraically independent
polynomials x + y and xy, so that all symmetric polynomials are linear
berg 2009/4/13 13:55 page 133 #141
(1) the polynomials ye1 , e21 and e2 span the dimension 3 component R2 ,
(2) the polynomials ye21 , e31 , ye2 and e1 e2 span the dimension 4 compo-
nent R3 ,
(3) the polynomials ye31 , e41 , ye1 e2 , e21 e2 and e22 span the dimension 5
component R3 , etc.
Gv = {(1, 2, 3), (2, 1, 3), (2, 3, 1), (3, 2, 1), (3, 1, 2), (1, 3, 2)}.
Now we consider the set Gv as a (discrete) algebraic variety, and the cor-
responding ring RGv = R/IGv of polynomial functions on Gv. We are
going to suppose, from now on, that v is a regular point. In particular,
this makes it apparent that |G| is the dimension of RGv , since it is the
space of functions on the |G|-element set Gv. We may best understand
this by exhibiting a basis of RGv as follows. There is a unique (modulo Iv )
polynomial (x), of minimal degree that takes the value 1 at point v and
% In the case G = Sn , this is just the Lagrange
0 at all other points of Gv.
interpolation polynomial i<j (xi vj )/(vi vj ). For G, we can then
berg 2009/4/13 13:55 page 135 #143
The set { }G clearly forms a linear basis for RGv , so that dim RGv =
|G|. Moreover, (x) = (x), showing explicitly that G acts on RGv
just as G acts on RG by left multiplication. This makes it evident that
RGv is isomorphic to the regular representation of G.
Orbit Harmonics
To nish the characterization of HG , we consider the space of orbit harmon-
ics, HGv , dened for a regular point v as HGv := Gr(IGv ) . Observe that
IG Gr(IGv ), since, for any f homogeneous and G-invariant, the polyno-
mial f (x)f (v) vanishes at all points of Gv. Moreover, the maximal degree
homogeneous component of f (x) f (v) is clearly f (x), and thus f (x) lies
in Gr(IGv ). It follows immediately that HGv HG . Thus, dim HG |G|.
In fact, according to a theorem of R. Steinberg [Steinberg 64], there is
equality if and only if G is a group generated by reections. More details
can be found in [Kane 01].
(x1 + + xn )f (x) = 0,
(x21 + + x2n )f (x) = 0,
..
.
(xk1 + + xkn )f (x) = 0,
we check that
n ) z *
Frobt (RSn ) = Frobt (Hn ) = (1 tj )hn , (8.4)
j=1
1t
since we already know that Frobt%(R) = hn [x/(1 t)], and that the graded
enumeration of RSn is given by i=1 (1 ti )1 . There are two easy con-
n
n ) z * n p (z)
1 ()
(1 t )hn
j
= (1 t )
j i
. (8.5)
j=1
1 t j=1
z i=1
1 ti
n
It then becomes manifest that the coecient of%p1 (z)n /n! in the right-hand
n
side of this last identity is nothing else than j=1 (1 tj )/(1 t), which
is precisely the graded Hilbert series that we announced. Almost as clear
is the fact that the limit, as q goes to 1, of the right-hand side of (8.5)
must be hn1 = pn1 . Indeed, all terms but the one that corresponds to the
partition 1n vanish, since a factor of (1 t)n() comes out of the product
%n %() 1
j=1 (1 t ) i=1 (1 ti )
j
, and () < n except when = 1n . The n!
cancels out with the values of the limit in the case = 1n . The gist of this is
that we get the character of the regular representation by the specialization
t = 1, so that indeed both spaces RSn and Hn are isomorphic to the regular
representation.
Before our discussion of why this theorem holds, let us go over some
auxiliary facts and observations. First, for b (= b1 > b2 > > bn 0),
we have the following.
Thus from b (x)a (x) = 0 we deduce that there must be at least one
permutation such that bi ai , for all 1 i n. If this happens, a
fortiori we must have the inequalities bi ai . As for the last assertion, note
that if a and b have dierent degrees then the orthogonality is trivial.
On the other hand, if they have the same degree, then the nonvanishing of
the scalar product implies that b (x)a (x) = 0, and also the inequalities
bi ai , which in this case forces a = b.
which is both interesting in its own right and useful in our further devel-
opments. To begin with, note that in any case the orthogonal complement
of our space Ha is the ideal
Ia of polynomial dierential
operators that kill
a . In symbols, Ia = f (x) | f (x)a (x) = 0 . In particular, we also
have Ia = Ha . Now we have the following.
Proposition 8.4. The ideal Ikn +n aords the polynomials hk+i , for 1
i n, as generators.
Proof: For convenience, let us set a := kn + n . Note that hk+i (x)n (x) =
(k+i)+n (x), since hk+i = s(k+i) . We apply Lemma 8.2 and conclude
that hk+i (x)n (x)a (x) must necessarily vanish for all i 1. In turn,
Lemma 8.3 gives that hk+i (x)a (x) = 0, so we must have hk+i (x) Ia
for all i 1. In particular, we deduce the inclusion of ideals
Combining Proposition 7.1 with the inclusions in (8.6), we are led to the
string of inequalities
Iterating this decomposition for the gi , we eventually conclude that the col-
lection {b(x)hdk+1
1
hdk+n
n
}bBn ;di 0 spans the polynomial ring Q[x]. How-
ever, the generating function of their degrees is clearly given by the expres-
sion
n
1
F (t) = tdeg(b) .
i=1
1 t k+i
bBn
so that F (t) = (1 t)n . Since the latter is precisely the Hilbert series
of the polynomial ring R[x], we are forced to conclude that the relevant
collection is an independent set, thus completing the proof.
We are now in a position to prove the following special case of Theo-
rem 8.1.
Theorem 8.6. The graded Frobenius characteristic of Hkn +n is given by
the polynomial
n ) z *
k+n
(1 tj )hn . (8.8)
n t j=1 1t
berg 2009/4/13 13:55 page 141 #149
Proof: The uniqueness of the expansion given by Theorem 8.5 and the
invariance of the coecients under the action of Sn yield that the Frobenius
characteristics of Hkn +n and R = Q[x] are related by the identity
n
1
Frobt (R) = Frobt (Hkn +n ) .
j=1
1 tk+j
Since we have seen that Frobt (R) = hn [z/1 t], from (8.4) we deduce that
n
1 tk+j
n ) z *
Frobt (H kn +n )= (1 tj )hn ,
j=1
1 t j=1
j 1t
Remark 8.7. We should mention that for a = n , all these results are
known. In particular, Theorem 8.5 is a generalization of Chevalleys The-
orem (see (8.1)). In fact, most of the above statements generalize beauti-
fully, and this is nicely discussed in the expository notes [Roth 05], where
the following theorem is shown to hold for all (pseudo) reection groups G.
+n , s s n = c +n , +n .
Then the above discussion reveals that the (bigraded) Hilbert series of
HSn Sn is
which is a bigraded analog of n!2 . This is also clearly the case for the
coinvariant space RSn Sn . Using the fact that for the diagonal action
of Sn on V W we have Frob(V W) = Frob(V) Frob(W), we easily
obtain the following expression for the bigraded Frobenius characteristic,
here denoted by Fn (z; q, t), of HSn Sn ,
F1 (z; q, t) = s1 ,
F2 (z; q, t) = (qt + 1)s2 + (q + t)s11 ,
F3 (z; q, t) = (q 3 t3 + q 2 t2 + q 2 t + qt2 + qt + 1)s3 ,
+ (q 3 t2 + q 2 t3 + q 3 t + q 2 t2 + qt3
+ q 2 t + qt2 + q 2 + qt + t2 + q + t)s21 ,
+ (q 2 t2 + q 3 + q 2 t + qt2 + t3 + qt)s111 .
and n 1
q maj() t( 2 )maj(
n
)
Hilbqt (An ) = f 1 (q, t) = . (8.13)
Sn
Here we have made use of results regarding maj() that can be found in
[Stanley 79]. Observe that we have the specializations
n
qk 1
n
tk 1
f (q, 1) = f , f (1, t) = f ,
q1 t1
k=1 k=1
f (q, 0) = f , f (0, t) = f .
Chapter 9
147
berg 2009/4/13 13:55 page 148 #156
where
1 q i
()
Z (q, t) = z . (9.2)
i=1
1 ti
In his original 1988 paper, Macdonald established the existence and unique-
ness of symmetric functions (polynomials) P = P (z; q, t) satisfying the
following:
(1) P = m + (q, t)m , with coecients (q, t) in C(q, t);
Here P31 (z) is expressed in terms of the power sum basis in order to make
apparent a natural simplication that will be the starting point of our
next section. Let us make a few observations. When q = t, the scalar
product (9.1) clearly specializes to the usual scalar product for symmetric
functions, hence we get P (z; q, q) = s (z). The HallLittlewood sym-
metric functions are obtained by setting q = 0, and the Jack symmetric
functions2 by setting q = t ( R and > 0) and letting t 1. Zonal
2 For denitions and more properties of HallLittlewood, Jack and Zonal symmetric
functions, see [Macdonald 95]. There is no need here to go into more details; we only
mention these specializations to show that Macdonald functions play a unifying role.
berg 2009/4/13 13:55 page 149 #157
symmetric functions are just the special case when = 2. Macdonald fur-
ther observes that the symmetry P (z; q 1 , t1 ) = P (z; q, t) follows from
a similar symmetry of the scalar product (up to a constant factor). In
particular, this implies that in the expansion
(q, t)
P (z, q, t) = p (z)
(q, t)
n
Here a(c) and (c) are respectively the arm length and the leg length of the
cell c of . The reason we can think of this as a simplication is that it
transforms expressions like (9.3) into simpler expressions like the following:
1
H31 (z; q, t) = (q + 1)(q 2 t + 3q 2 + 2qt + 2q + 3t + 1)p41
24
1
(q 3 t + q 3 + q 2 t q 2 + qt q t 1)p2 p21
4
1 1
+ (qt 1)(q + 1)(q 1)p3 p1 + (q 2 + 1)(q 1)(t 1)p22
3 8
1
(q + 1)(q 1)2 (t 1)p4 .
4
In fact the elegance of the resulting symmetric functions is even more ap-
parent when one expands them in terms of Schur functions.
3A word of caution about notation. Contrary to the convention in [Macdonald 95],
/ because we have no need of the alternate
also followed by others, we use H instead of H
notion.
berg 2009/4/13 13:55 page 150 #158
H3 = s3 + (q 2 + q)s21 + q 3 s111 ,
H21 = s3 + (q + t)s21 + qts111 ,
H111 = s3 + (t2 + t)s21 + t3 s111 ;
and for n = 4,
H4 |q=0,t=1 = s4 = h4 ,
H31 |q=0,t=1 = s4 + s31 = h31 ,
H22 |q=0,t=1 = s4 + s31 + s22 = h22 ,
H211 |q=0,t=1 = s4 + 2s31 + s22 + s211 = h311 ,
H1111 |q=0,t=1 = s4 + 3s31 + 2s22 + 3s211 + s1111 = h1111 .
which are also easily derived from the symmetries of the P . Once refor-
mulated in terms of q, t-Kostka polynomials, identities (9.8) and (9.9) take
the form
These can easily be stated in terms of the q, t-Kostka matrix, which for
n = 4 is 3
1 q + q2 + q q4 + q2 q5 + q4 + q3 q6
1 q 2 + q + t q 2 + qt q 3 + q 2 t + qt q 3 t
1 qt + q + t q 2 + t2 q 2 t + qt2 + qt t2 q 2 .
1 q + t2 + t qt + t2 qt2 + qt + t3 qt3
1 t3 + t2 + t t 4 + t2 t5 + t4 + t3 t6
Each row of the matrix corresponds to one of the H , ordered in decreasing
lexicographic order: 4, 31, 22, 211, 1111. The columns (likewise ordered)
correspond to coecients of Schur functions in these H . The rst column
thus corresponds to the coecient of sn , so (9.7)(a) explains the 1s. All
entries of the -indexed column share the same specialization at q = t = 1,
which is the number f of standard tableaux of shape . Reecting with
respect to the middle row and exchanging q and t gives a symmetry that
corresponds to (9.10). A reection with respect to the middle column is be-
hind the similar but more intricate symmetry of (9.11). This phenomenon
holds for all n.
In light of these observations, it is tempting to look for a rule, para-
metrized by , that would associate to each standard tableau of shape
some monomial q (,) t(,) in such a way that
K, (q, t) = q (,) t(,) . (9.12)
so that they are entirely characterized by the simple functions Hn (z; q, 1).
These are particularly interesting since they coincide with the Frobenius
characteristic of the Sn -coinvariant space. This is to say that we have
) z * n
Hn (z; q, 1) = hn (1 q j ). (9.14)
1 q j=1
Evidently, the two specializations just considered agree in the case = (n),
since t does not appear in the expansion of H(n) (z; q, t). Other formulas are
obtained by specializing z (using plethystic substitutions). For instance,
we have
H [1 u; q, t] = (1 q i tj u). (9.16)
(i,j)
n1
K, (q, t)s [1 u] = (1 u) ek [B 1](u)k ,
k=0
so we deduce that
K, (q, t) = ek [B 1] (9.17)
whenever = (n k, 1 ) is a hook shape. It may be helpful here to
k
t3
t2 qt2
t qt q2 t q3 t
1 q q2 q3
Figure 9.1. B4421 1 = q 3 t + q 3 + q 2 t + qt2 + t3 + q 2 + qt + t2 + q + t.
where (q, t) and (q, t) are the following analogs of hook length products:
(q, t) := q a(c) t(c)+1 and (q, t) := t(c) q a(c)+1 .
c c
Observe that these are also special instances of (9.17), so that we learn
nothing new, but this is just because we chose an example simple enough
to t the page.
Let us illustrate with = 21. For integers a < b < c, each tableau of shape
21 has one of the forms shown below.
za zb zc qza zb zc tza zb zc tza zb zc qza zb zc qtza zb zc
a a c b b c
b c c b a b a c c a b a
za3
a
a a
4 1
3 6 2
5 7 8 9
we get the permutational tableau of Figure 9.3, and in (9.24) the diagrams
that correspond to the same permutational tableau appear in the same
column. The point of this construction is that we have
maj( ) = maj ( ) and ( ) = ( ) . (9.25)
In equation (9.26) below, we apply this -statistic to special tableaux as-
sociated with pairs (, ), with a given partition and any permutation
in Sn . More precisely, we denote by (, ) the shape- permutational ta-
bleau obtained by simply lling the cells of with the values 1 , 2 , . . . , n ,
row by row, from top to bottom, and going from left to right within each
row. Thus, for = 413625789 and = 432, we get the tableau of Fig-
ure 9.3. Observe that the denition of descent set for permutations trans-
lates into
Des( 1 ) = {i | i + 1 is to the left of i in },
so that in view of (9.25), we can collect terms in Haglunds formula to get
the following expansion in terms of the Qa :
H (z; q, t) = tmaj((,) q ((,)) Qco(Des(1 )) . (9.26)
Sn
6 We follow here a presentation of A. Garsia, made in a private communication to the
author.
berg 2009/4/13 13:55 page 158 #166
Note that it is not obvious from (9.23) or (9.26) that H is actually sym-
metric. This is proved in [Haglund et al. 05a] using a very nice expansion
of the H in terms of a family of Schur-positive symmetric functions origi-
nally considered in [Lascoux et al. 97].
(e1 ) = s1 ,
(e2 ) = s2 + (q + t)s11 ,
In fact, the matrix of in the Schur function basis for some xed degree
n exhibits interesting unexpected features. To illustrate, let us set :=
(s ), s . Then is dened for functions of degree n by the matrix
n = ( ),n , where we order the partitions in decreasing lexicographic
order, e.g, 3, 21, 111, for n = 3. We have
0 tq
2 =
1 t+q
and
0 t2 q 2 (t + q)t2 q 2
3 = 0 (t + q)tq (t2 + tq + q 2 )tq .
1 t2 + tq + q 2 + t + q t3 + t2 q + tq 2 + q 3 + tq
berg 2009/4/13 13:55 page 159 #167
Conjecture 9.1 For all and , the polynomial (1)() (s ), s has
positive integer coecients, with () equal to
k
+ (i 1 i ).
2 i <(i1)
Then we easily check that the operator aords as inverse the expression
1 = . Indeed, equation (9.9) can be written as
H [x; q, t] = q n( ) tn() H [x; q, t],
and thus
( H [x; q, t]) = (q n( ) tn() H [x; q, t])
= H [x; q, t]
= q n( ) tn() H [x; q, t]
= 1 H [x; q, t].
f H := f [B ]H ,
7 Some care must be used in applying this operator. It is linear over the eld of scalars
Chapter 10
In principle, this is dened only up to sign, since no explicit order for listing
the cells of is mentioned here. For our general purpose, any order would
be ne, but let us choose the lexicographic order. For instance, choosing
= 211, we get
1 x1 y1 y12
1 x2 y2 y22
211 = det
1
= x1 y3 y22 x1 y4 y22 x1 y2 y32 + x1 y4 y32 +
x3 y3 y32
1 x4 y4 y42
161
berg 2009/4/13 13:55 page 162 #170
Frobqt (H ) = H , (10.2)
21 = x1 y2 x1 y3 x2 y1 + x2 y3 + x3 y1 x3 y2 .
Recall that
K, (q) = q ch( ) ,
with sum over the set of semi-standard tableau of shape and content
. (For the denition of the charge statistic, see Section 2.6.) For example,
the y-free part of the space H21 is readily seen to be
The vector space spanned by the partial derivatives of all orders in both
sets of variables of a polynomial f (x, y) is denoted by L [f ]. In particular,
we consider the case where f (x, y) = d , which is clearly antisymmet-
ric under the diagonal action of Sn . Then the d-harmonic space is the
Sn -module Hd = L [d ]. Since d is bihomogeneous, this module af-
fords a natural bigrading. Denoting by r,s [Hd ] the subspace consisting of
the bihomogeneous elements of degree r in x and degree s in y, we have
the direct sum decomposition
(
Hd = r,s [Hd ],
r,s0
so that it makes sense to talk about the bigraded Hilbert series and bigraded
Frobenius characteristic of Hd .
berg 2009/4/13 13:55 page 165 #173
n
ph,k (x, y) := xhi yik
i=1
n
ai ! bi !
ph,k (x, y)d (x, y) = (d(i) ) (i) (x, y) (10.3)
i=1
(ai h)! (bi k)! d
where d(i) is obtained from d by replacing the cell (ai , bi ) with the cell
(ai h, bi k).
The four missing diagrams correspond either to cases where the translated
cell has some negative coordinate or coincides with another cell. Observe
that, applying Proposition 10.1 in the case of the determinant (x, y) for
a partition , we nd that for all h and k such that h + k 1,
since no cell can move without either falling out or overlapping an exist-
ing cell.
berg 2009/4/13 13:55 page 166 #174
With the following generalization of Lemma 8.2 we can now give a more
precise lower bound on the multiplicity of the regular representation in
modules associated with general diagrams.
we have that c (x, y)d (x; y) = 0 implies that there exists a permuta-
tion such that ai p(i) and bi q(i) for all i.
For two n-cell diagrams such as in the lemma, we write c d and dene
the polynomial
d (q, t) := q n(c ) tn(c) .
cd
2 This is to say that dimensions are bounded componentwise. Thus, the actual Hilbert
series of the trivial isotypic component is termwise bounded by the relevant polynomial.
berg 2009/4/13 13:55 page 167 #175
t q a+1 t+1 q a
H/i,j = H /i,j+1 + H/i+1,j
t q a t q a
t+1 q a+1
H/i+1,j+1 , (10.6)
t q a
with a and respectively denoting the arm and leg length of the cell (i, j)
in , with the following boundary conditions:
(2) H/i,j = H when (i, j) is a corner cell of such that /i, j is the
partition .
H32/0,1 = (q + 1)H31 ,
q t2 q2 t
[29pt]H32/1,0 = H31 + H22 , (10.7)
qt qt
(q + 1)(q t2 ) q3 t
H32/0,0 = H31 + H22 . (10.8)
qt qt
3 We simplify the notation \ {(i, j)} to /i, j.
berg 2009/4/13 13:55 page 168 #176
It may come as a surprise that the right-hand sides of the last two equalities
are in fact Schur-positive. Namely, we have:
This fact would clearly follow from the following conjecture, which rst
appeared in [Bergeron et al. 99b].
Conjecture 10.5 For all partitions and all cells (i, j) of , the bigraded
Frobenius characteristic of the space H/i,j is given by the symmetric func-
tion H/i,j .
Proposition 10.6 below shows that this conjecture actually holds for the
case (i, j) = (0, 0). Recall that s
1 denotes the operator that is adjoint (for
the usual symmetric function scalar product) to multiplication by s1 . Then
a direct reformulation of a Pieri rule4 for the Macdonald functions P of
Section 9.1 in terms of the H states that
s
1 H = c H , (10.9)
(i, j)
Figure 10.1. Shadow of (i, j) in . The partition + .
: H |Sn H/0,0 ,
Observe that boundary condition (2) becomes H/i,j = hn1 when (i, j) is a
corner cell of such that /i, j is the partition . It follows that the solution
of the recurrence is just a multiple of hn1 . (Recall that hn1 is the character of
the regular representation.) It is easily checked that this multiple is exactly
the number of cells that appear in the shadow of the cell (i, j) in . We
denote this number by wij (). To summarize, we have
(k)
specic subspaces. Finally, if we let A (z) := ()ak A (z) for 1
k a 1, the SF-heuristic states that for all cardinality-k subsets B of
A, the coecient of any Schur function in the Schur basis expansion of the
symmetric function
1 (k)
BA (z) := (z) (10.13)
T A
A\B
One readily checks that the associated solution set has basis {1, x1
x2 , y1 y2 }. We see here that D2 indeed contains both GarsiaHaiman
modules H2 and H11 as submodules, since they are respectively spanned
by the sets {1, x1 x2 } and {1, y1 y2 }. As we will see, the fact that they
sum up to D2 is entirely exceptional. Indeed, for n > 2, this is never the
case.
It is clear that we have the inclusion of Dn into the larger space HSn Sn
of Sn Sn -harmonic polynomials, considered as a Sn -module for the diag-
onal action as described in Section 8.7. However, the story takes a radically
dierent turn here. After having explicitly computed the relevant spaces
for small values of n, Garsia and Haiman were led to conjecture that the
dimension of Dn is surprisingly nice from the combinatorial point of view.
berg 2009/4/13 13:55 page 174 #182
Operator Description
Another nice way of describing the space of diagonal harmonics involves
the use of the operators
n
Ek := yi xki , k 1. (10.16)
i=1
q, t-Catalan Polynomials
In view of the latter part of Theorem 10.8, the polynomial Hilbqt (An )
is called the q, t-Catalan polynomial and is denoted by Cn (q, t). Gar-
sia and Haglund have given this polynomial a combinatorial description
[Garsia and Haglund 02]. As of this writing, there is no known description
of an explicit basis of An , which would preferably be bihomogeneous.
In
other words, such a description could take the form of a family a E n
with the bidegree distribution given by Cn (q, t). For small values of n, the
q, t-Catalan polynomials are
q-Lagrange Inversion
k
By denition, the (right) q-inverse of a series F (z) = k1 fk z , with
However, F (z) is indeed the left q 1 -inverse of its right inverse G(z), which
is to say that
gk F (z)F (z/q) F (z/q k1 ) = z. (10.22)
k1
with
) x *
gn (q) = q n( ) h f [1 q]. (10.24)
1q
n
First Specialization, t = 1
Setting t = 1 in formulas involving integral form Macdonald functions
H (z; q, t) is particularly interesting, especially for the eect on the oper-
ator . Recall from (9.13) that
which agrees with values computed to illustrate Conjecture 9.1. This mul-
tiplicativity of t=1 is exploited by C. Lenart in his proof (see [Lenart 00])
of the specialization at t = 1 of Conjecture 9.1.
For our next development, we have from (9.13) that
n ) z *
H(n) (z; q, 1) = (1 q k )hn ,
1q
k=1
q-analogs Cn (q) of the Catalan numbers, namely those that satisfy the
q-recurrence
n1
Cn (q) = q k Ck (q)Cn1k (q). (10.29)
k=0
Thus,
n 1
q ( 2 ) t=1/q (en ), en = hn ([n + 1]q ). (10.32)
[n + 1]q
berg 2009/4/13 13:55 page 180 #188
It follows that
n+k
hk ([n + 1]q ) = .
k q
Substituting in (10.32), we nd
n 1 2n
t=1/q (en ), en = q ( 2 ) . (10.33)
[n + 1]q n q
1 1 1
en (x[n + 1]q ) = p (x)p ([n + 1]q ). (10.34)
[n + 1]q [n + 1]q z
and thus n0 en z
n
= (1 z)1 . Using the JacobiTrudi formula, we
can then check that s maps to s , en under the specialization of the hk
considered. Thus, we can now verify that
q n1 t=1 (en ), en z n+1
n0
Combinatorial Descriptions
The recent past has seen a lot of exciting activity concerning possible com-
binatorial descriptions of the bigraded Frobenius characteristic (en ) of
the space Dn . In particular, we nd in [Haglund et al. 05b] a beautiful
conjecture for the expansion of (en ) in terms of the monomial basis. Be-
fore we can state it, we need to introduce the notion of a d-inversion. Let
n be a partition and a semi-standard tableau of shape ( + 1n )/
(see Figure 10.2). For such a tableau, let (i, j) = a and (k, ) = b with
a > b. One says that the pair (a, b) forms a d-inversion if either
5
4
1
2
2
Figure 10.2. Semi-standard tableau of shape (42 + 15 )/42.
In the rst case, we ask that both entries a and b appear on the same
diagonal with a to the left of b, and in the second that they appear in
consecutive diagonals with b to the left of a. We write dinv( ) for the
number of d-inversions of the tableau . Then the conjecture is that
Frobqt (Dn )(z) = t|n /| q dinv( ) z , (10.36)
n
)/.
1 It has been shown in [Haglund et al. 05b] that each of the terms
dinv( )
q z is a symmetric function. See [Haglund 08] for more on all
this.
berg 2009/4/13 13:55 page 183 #191
Chapter 11
Coinvariant-Like Spaces
Frobqt (Dn;n ) = s
1 (en+1 ). (11.1)
183
berg 2009/4/13 13:55 page 184 #192
We can further calculate the right-hand side of this equation using operator
identities that can be found in [Bergeron et al. 99a]. One considers the
operators Dk on symmetric functions dened by the formal series identity
Dk f (z)y k := f [z + /y]E[y],
kZ
1
s
1 (en+1 ) = D e
1 n+1 . (11.2)
We can now calculate, using (4.6), that
1 1
D1 en+1 (z) = en+1 [z + /y]E[y] 1
y
n
en+1j []
= ej (z) n+1j E[y]
j=0
y y 1
n
(1)nj en+1j []
= ej (z)enj (z) .
j=0
n
Frobqt (Dn;n ) = [n j + 1]q,t (ej enj ). (11.3)
j=0
Our experiments and results suggest that a simple formula of this avor
holds for all spaces Dn;k .
k
Frobqt (Dn;k ) = [k j + 1]q,t (ej enj ). (11.4)
j=0
As we have seen, there is a natural link between the study of the spaces
Dn;k and the spaces associated with punctured diagrams of Section 10.3.
berg 2009/4/13 13:55 page 185 #193
Exercise. Show that the polynomials (x) and e1 (y)(x) both lie in
Dn;1 . Considering the linear operator (see Section 10.2)
Using a similar conclusion for Y := p0,1 (x, y), conclude that (11.6)
holds.
All these inclusions are graded ring monomorphisms. In 2002, it was con-
jectured by C. Reutenauer and the author that C[x]Sn is a free C[x]Sn -
module, and it was shown that this implies the Hilbert series of C[x]Sn
is given by the formula
n (q)
Hilbq (C[x]Sn ) = %n , (11.8)
i=1 1 q
i
with rn (q) the positive integer coecient polynomial given by the very
explicit formula
(r)
n (q) = q maj()+r(nx()) . (11.11)
Sn
History almost repeated itself when Hiverts conjecture was rapidly shown
to be true by Wallach. We present here a ner conjecture formulated by
N. Bergeron and the author in [Bergeron and Bergeron 05]. The starting
point of this approach is another recursive description of the polynomials
rn :
(r)
(1) (r) (r)
n (q) = n1 (q) + n (q)
(r) (r)
(2) n(r) (q) = (1 + q + + q n2 ) q 2r+n1 n2 (q) + q r n1 (q) ,
(r) (r) (r) (r)
with 0 (q) = 1 (q) = 1, and 0 (q) = 1 (q) = 0. As we will see, it is
natural to add a new formal parameter and instead consider the recurrence
(1) n (q, t) = n1 (q, t) + n (q, t)
(2) n (q, t) = (q + q 2 + + q n1 ) t2 q n n2 (q, t) + tn1 (q, t) ,
(11.12)
berg 2009/4/13 13:55 page 187 #195
(r)
Clearly, we can compute n (q) from n (q, t) as
(r)
n (q) = n (q, q
r1
).
0 (q, t) = 1,
1 (q, t) = 1,
2 (q, t) = t2 q 3 + 1,
3 (q, t) = (t3 + t2 )q 5 + (t3 + t2 )q 4 + t2 q 3 + 1,
4 (q, t) = t4 q 10 + t4 q 9 + (2t4 + t3 )q 8 + (2t4 + 2t3 + t2 )q 7
+ (2t4 + 2t3 + t2 )q 6 + (t4 + 2t3 + 2t2 )q 5
+ (t3 + t2 )q 4 + t2 q 3 + 1.
Due to the parallelism between this statement and (8.1), it seems natural
to call QC rn the quasisymmetric coinvariant space.
Partition-Free Reduction
Our aim is now to show that C[x]r Sn is actually spanned by elements of
the form Mb m with b > r and a partition with part sizes at most r.2
Clearly Mb m belongs to the ideal Jn except when is the zero parti-
tion. It thus follows that C[x]r Sn /Jn is generated by the partition-free
quasisymmetric polynomials.
2 For notations and denitions, see Section 4.12.
berg 2009/4/13 13:55 page 188 #196
Lemma 11.2.
Every r-quasisymmetric monomial Ma, can be written in
the form b, b, Mb m for some scalars b, Q with b > r and 0
i r 1. Thus, the set of Mb m with |b| + || = d spans the degree-d
homogeneous component of C[x]r Sn .
(a)
n1
Ma, Mb = Ma, + Ma+i b, + Ma,+j b . (11.14)
i=1 j=1
(a)
n1
Ma, = Ma, Mb Ma+i b, Ma,+j b .
i=1 j=1
The inductive hypothesis can clearly be applied to each of the terms in the
resulting right-hand side, so we are done with our proof.
Basis Conjecture
We now describe a conjecture for a uniform construction of a basis for the
spaces QC rn , with xed n and 1 r. For m N, we consider compositions
a + m := (a1 + m, a2 + m, . . . , ak + m)
When (11.15) holds we say that the set An is length adequate. Let us
recursively dene a length-adequate set An of compositions making use of
berg 2009/4/13 13:55 page 189 #197
auxiliary sets Bn , by
(1) An := An1 + Bn ,
(2) Bn := {n k a | a An2 , 1 k m 1} (11.16)
+ {k b | b Bn1 , 1 k m 1},
with A0 = A1 := {0}, B0 = B1 := , and addition between sets corre-
sponding to disjoint union. Clearly, recurrence (11.16) exactly follows the
form of recurrence (11.12), with t as a marker for the number of parts, and
q for the size of the partition, hence An is indeed length adequate. Using
the conventions that a = r, b = r + 1, c = r + 2, etc., that compositions
are written as words, and that a set of compositions is written as a sum of
words, we have for small values of n that
A2 = 0 + ba,
A3 = A2 + (ca + cb) + (aba + bba),
A4 = A3 + (da + db + dc + daba + dbba + dcba) + (aca + bca + cca +
acb + bcb + ccb + aaba + baba + caba + abba + bbba + cbba).
Computer experiments for small values of n suggest that the set {Ma }aArn
forms a linear basis of the space QC rn . We have already mentioned that
Wallach has shown that Hiverts conjecture is true, but his techniques do
not produce a basis like the one described here. The problem of showing
that {Ma }aArn is a linearly independent set is still open. This would
clearly suce to show that it is a basis.
In fact, taking into account the grading by degree, our basis will make
it clear that we have the Hilbert series formula
n1
nk n+k k
Hilbt (SHn ) = t . (11.18)
n+k k
k=0
Here e1 stands for the length k vector (1, 0, . . . , 0), so that a e1 = (a1
1, a2 , . . . , ak ).
v = (v1 , . . . , vk , 0, . . . , a, w1 , . . . , w , 0),
v = (v1 , . . . , vk , 0, . . . , a 1, w1 , . . . , w , 0).
1
x6 x6
x5 x5
x3
(0, 0)
The key feature of these Gv is that the leading monomial of Gv (in lexico-
graphic order) is xv .4 Hence Gv is a linear basis for the ring of polynomials
C[x]. The second fact, which is a little harder to prove, is that the ideal Jn
is precisely the linear span of the polynomials Gv for which the lattice path
associated with v is transdiagonal. It follows that the super-coinvariant
space SC n has as basis the set of Dyck monomials in the variables x. The
lattice path corresponding to a Dyck monomial can always be completed
in a more classical Dyck path by adding (as in Figure 11.1) some nal
horizontal steps at height n, giving them weight 1 each.
Diagonal Version
With the intent of extending these considerations to a diagonal setup, let us
say that C = (a, b) is a length-k bicomposition of (m, ) if a = (a1 , . . . , ak )
and b = (b1 , . . . , bk ) are both in Nk , with a1 + +ak = m, b1 + +bk = ,
and ai + bi > 0 for all 1 i k.5 Each (ai , bi ) is said to be a part of
the bicomposition C, and the integer ai + bi is its part size. We extend to
this context the vector exponential notation, writing X C for the monomial
xa yb . Here X = {(x1 , y1 ), . . . , (xn , yn )} is to be considered as an ordered
set of variable pairs, with x = x1 , . . . , xn and y = y1 , . . . , yn . With these
4 For more on this see [Aval et al. 04].
5 Notice that we allow ai = 0 and bi = 0, so that a and b are not compositions.
berg 2009/4/13 13:55 page 192 #200
where the sum is over the k-subsets Y of X with order induced from that
on X. Here is an example of this denition:
M(2,0)(1,1)(0,2) (X) = x21 x2 y2 y32 + x21 x2 y2 y42 + + x2n2 xn1 yn1 yn2 .
Conjecture 11.4 Let Hilbn+1 (i, j) denote the coecient of q i tj in the bi-
graded Hilbert series (polynomial) of the space DSC n+1 . Then Hilbn+1 (i, j)
is the nth Catalan number when i = j:
1 2n
Hilbn+1 (i, i) = .
n+1 n
with i > j.
The values in the rst column (as well as those of the last row) of Hilbn
are clearly the coecients of Hilbt (SHn ) given in (11.18). We can in fact
construct a set Bn of monomials that we conjecture to be a linear basis
of DSC n . As should be expected, this set contains two copies of the basis
for SHn ; one in the x-variables and one in the y-variables. The degrees
of monomials in Bn are all less than or equal to n 1. Moreover, the
construction will make clear that the bigraded enumeration of Bn agrees
with 11.4. For i + j < n 1 or (i, j) = (n 1, 0) we recursively construct
a set Bn (i, j) of monomials of bidegree (i, j),
Bn (i, j) := Bn1 (a, b) xia jb
n yn , (11.22)
ai, bj
with the sum standing for disjoint union, and a product between a set B
and a monomial m representing the set of all products bm, b B. To
generate the remaining components of Bn , corresponding to i + j = n 1
j
and 1, we introduce an operation on bicompositions dened by
(a, c) = (a em , b + em ), where m is the smallest index such that
am > 0 and em is the mth unit vector. Then (X C ) = X (C) and
We then conjecture (see [Aval et al. 07]) that the set Bn is a linear basis
of DSC n . For 1 n 3, we get (in matrix-like format)
B1 = {1},
7 8
y2
B2 = ,
1 x2
2
y3 , y2 y3
B3 = y3 , y2 y3 x3 , y2 x3 .
1 x3 , x2 x23 , x2 x3
berg 2009/4/13 13:55 page 194 #202
m-Quasi-Invariant
An interesting analog of (8.1) considered in [Etingof and Strickland 03] and
[Felder and Veselov 03] involves the ring QI m [x] of m-quasi-invariants, de-
ned for some xed integer m as the set of polynomials f (x) such that
f (x) sij f (x) is divisible by (xi xj )2m+1 for all 1 i < j n. Recall
here that the eect of the permutation sij on f (x) is simply to transpose
the variables xi and xj . Since we have f (x) sij f (x) = 0 when f is sym-
metric, all symmetric polynomials are m-quasi-invariant. It is shown in
[Felder and Veselov 03] that the quotient QRn := QI m [x]/(e1 , . . . , en ), is
a graded version of the left-regular representation of Sn whose Frobenius
characteristic is
n
Frobt (QRn ) = tch( )+m(( 2 )n()+n( )) s , (11.24)
n ( )=
so that any polynomial in the kernel of both D1;q and D2;q must necessarily
be in the kernel of Dk;q for all k 1. Among the open problems related
to similar looking operators, we nd a conjecture (see [Wood 98, Conjec-
ture 7.3]) that is made more precise below. Our6 story here will involve two
families of operators, D / k :=
n xi xk+1 and D 9 k :=
n xk+1 xi , related
i=1 i i=1 i
We are now ready to state that the space of tilde harmonics has the direct
sum decomposition (
/n =
H 9y ,
ey H (11.25)
yx
n
/n ) = 1 +
Frobt (H tk Fk (z; t)hnk (z), (11.26)
k=1
with Fk (z; t) = Frobt (H/y ) for any set y of k variables. This makes sense
since the Frobenius characteristic in question is evidently independent of
the actual choice of variables. Equation (11.25) is easily derived from the
operator identity relating the two sets of operators. If the following conjec-
ture holds, (11.25) also implies a more explicit version of Woods conjecture:
Diagonal Version
We have been led to suspect that there is similar behavior for deformation
of operators in the context of diagonal harmonics. Indeed, our experiments
6 This is joint work with A. Garsia.
berg 2009/4/13 13:55 page 196 #204
Hilbqt (D1 ) = 1,
Hilbqt (D2 ) = 1 + h1 ,
Hilbqt (D3 ) = 1 + 2 h1 + (h21 + h2 ) + h3 ,
Hilbqt (D4 ) = 1 + 3 h1 + (3 h21 + 2 h2 ) + (h31 + 3 h1 h2 + 2 h3 )
+ (4 h1 h3 + h4 ) + (h1 h4 + 2 h5 ) + h6 ,
Appendix A
Formulary
In the course of working with the Macdonald functions and related oper-
ators, we have found it useful to have at hand a list of the main formulas
used. To help keep the readers on the same track, we have listed the formu-
las that appear in our discussions (as well as some others). This appendix
may also serve as reference for our notations.
n
1 qk
q () = q maj() =
1q
Sn Sn k=1
= (1 + q)(1 + q + q ) (1 + + q n1 ).
2
where
1 qk
[k]q := = 1 + q + + q k1
1q
for k > 0, and [0]q := 1.
197
berg 2009/4/13 13:55 page 198 #206
198 A. Formulary
and
k
Ck (q) = q j(kj) Cj1 (q)Ckj (q),
j=1
with C0 (q) = 1.
For many other formulas regarding q-analogs, see [Kac and Cheung 02].
n
n( ) = (i 1)i = i= a (s),
i=1 (i,j) c
berg 2009/4/13 13:55 page 199 #207
with standing for the conjugate of . The hook length formula (2.1),
giving the number of standard tableaux of shape , is
n!
f = % ,
c h(c)
as well as
= (q a (c) t (c)+1 ) and = (t (c) q a (c)+1 ).
c c
200 A. Formulary
where R (resp. C ) stands for the row (resp. column) containing the
corner /. Some of the identities relating these various parameters are
where ek and hk stand for the elementary and complete homogeneous sym-
metric functions, and the brackets denote plethystic substitution (see Sec-
tion A.3).
q n()
s (1, q, q 2 , . . . ) = % .
c (1 q
h(c) )
and Schur functions appear as s (x) := +n (x)/n (x). One also has,
for skew shapes,
s/ (x) := x , with x := x (c) ,
c
202 A. Formulary
as well as
H [1 u; q, t] = (1 uq i tj ),
(i,j)
[Dm , s1 ] = Dm+1 ,
s1 1 = D1 ,
1
1 s
1 = D1 ,
where s1 is understood to be the operator of multiplication by s1 (z). We
also have 1 = . One can characterize the H by the fact that
D0 H = H . Some other general identities concerning are
(en1 ) = ()n1 s
1 (pn ),
(hn )[1 u; q, t] = u(qt)n1 (en1 )[1 u; q, t].
204 A. Formulary
n
and the other q-Catalan polynomials are obtained as q ( 2 ) t=1/q (en ), en =
Cn (q). Still with this specialization, we also have
n
q ( 2 ) t=1/q (en ), pn1 /n! = [n + 1]n1
q ,
n + 1 k n
[n + 1]q s (n) t=1/q (en ) = q (2)( 2 ) enk z[n + k]q .
k q
C1 (q, t) = 1,
C2 (q, t) = q + t,
C3 (q, t) = q 3 + q 2 t + qt2 + t3 + qt,
C4 (q, t) = q 6 + q 5 t + q 4 t2 + q 3 t3 + q 2 t4 + qt5 + t6 + q 4 t + q 3 t2 + q 2 t3
+ qt4 + q 3 t + q 2 t2 + qt3 ,
C5 (q, t) = q 10 + q 9 t + q 8 t2 + q 7 t3 + q 6 t4 + q 5 t5 + q 4 t6 + q 3 t7 + q 2 t8
+ qt9 + t10 + q 8 t + q 7 t2 + q 6 t3 + q 5 t4 + q 4 t5 + q 3 t6 + q 2 t7
+ qt8 + q 7 t + 2q 6 t2 + 2q 5 t3 + 2q 4 t4 + 2q 3 t5 + 2q 2 t6 + qt7
+ q 6 t + q 5 t2 + 2q 4 t3 + 2q 3 t4 + q 2 t5 + qt6 + q 4 t2 + q 3 t3 + q 2 t4 ,
C6 (q, t) = q 15 + q 14 t + q 13 t2 + q 12 t3 + q 11 t4 + q 10 t5 + q 9 t6 + q 8 t7 + q 7 t8
+ q 6 t9 + q 5 t10 + q 4 t11 + q 3 t12 + q 2 t13 + qt14 + t15 + q 13 t
+ q 12 t2 + q 11 t3 + q 10 t4 + q 9 t5 + q 8 t6 + q 7 t7 + q 6 t8 + q 5 t9
+ q 4 t10 + q 3 t11 + q 2 t12 + qt13 + q 12 t + 2q 11 t2 + 2q 10 t3 + 2q 9 t4
+ 2q 8 t5 + 2q 7 t6 + 2q 6 t7 + 2q 5 t8 + 2q 4 t9 + 2q 3 t10 + 2q 2 t11
+ qt12 + q 11 t + 2q 10 t2 + 3q 9 t3 + 3q 8 t4 + 3q 7 t5 + 3q 6 t6 + 3q 5 t7
+ 3q 4 t8 + 3q 3 t9 + 2q 2 t10 + qt11 + q 10 t + 2q 9 t2 + 3q 8 t3 + 4q 7 t4
+ 4q 6 t5 + 4q 5 t6 + 4q 4 t7 + 3q 3 t8 + 2q 2 t9 + qt10 + q 8 t2 + 2q 7 t3
+ 3q 6 t4 + 3q 5 t5 + 3q 4 t6 + 2q 3 t7 + q 2 t8 + q 7 t2 + 2q 6 t3 + 2q 5 t4
+ 2q 4 t5 + 2q 3 t6 + q 2 t7 + q 4 t4 .
berg 2009/4/13 13:55 page 205 #213
H3 = s3 + (q 2 + q)s21 + q 3 s111 ,
H21 = s3 + (q + t)s21 + qts111 ,
H111 = s3 + (t2 + t)s21 + t3 s111 ,
H4 = s4 + (q 3 + q 2 + q)s31 + (q 4 + q 2 )s22 + (q 2 + q + 1)s211 q 3
+ q 6 s1111 ,
H31 = s4 + (q 2 + q + t)s31 + (q 2 + qt)s22 + q(q 2 + qt + t)s211
+ q 3 ts1111 ,
H22 = s4 + (qt + q + t)s31 + (q 2 + t2 )s22 + qt(q + t + 1)s211
+ q 2 t2 s1111 ,
H211 = s4 + (t2 + q + t)s31 + (qt + t2 )s22 + t(qt + t2 + q)s211 + qt3 s1111 ,
H1111 = s4 + (t3 + t2 + t)s31 + (t4 + t2 )s22 + t3 (t2 + t + 1)s211 + t6 s1111 ,
H5 = s5 + (q 4 + q 3 + q 2 + q)s41 + (q 6 + q 5 + q 4 + q 3 + q 2 )s32
+ (q 7 + q 6 + 2q 5 + q 4 + q 3 )s311 + q 4 (q 4 + q 3 + q 2 + q + 1)s221
+ q 6 (q 3 + q 2 + q + 1)s2111 + q 10 s11111 ,
H41 = s5 + (q 3 + q 2 + q + t)s41 + (q 4 + q 3 + q 2 t + q 2 + qt)s32
+ (q 5 + q 4 + q 3 t + q 3 + q 2 t + qt)s311
+ q 2 (q 3 + q 2 t + q 2 + qt + t)s221
+ (q 3 + q 2 t + qt + t)s2111 q 3 + s11111 q 6 t,
H32 = s5 + (q 2 + qt + q + t)s41 + (q 3 + q 2 t + q 2 + qt + t2 )s32
+ (q 3 t + q 3 + 2q 2 t + qt2 + qt)s311
+ q(q 3 + q 2 t + qt2 + qt + t2 )s221
+ q 2 t(q 2 + qt + q + t)s2111 + q 4 t2 s11111 ,
H311 = s5 + (q 2 + t2 + q + t)s41 + (q 2 t + qt2 + q 2 + qt + t2 )s32
+ (q 2 t2 + q 3 + q 2 t + qt2 + t3 + qt)s311
+ qt(q 2 + qt + t2 + q + t)s221
+ (q 2 t + qt2 + q 2 + t2 )s2111 qt + s11111 q 3 t3 ,
H221 = s5 + (qt + t2 + q + t)s41 + (qt2 + t3 + q 2 + qt + t2 )s32
+ (qt3 + q 2 t + 2qt2 + t3 + qt)s311
berg 2009/4/13 13:55 page 206 #214
206 A. Formulary
(e1 ) = s1 ,
(e2 ) = s2 + (q + t)s11 ,
(e3 ) = s3 + (q 2 + qt + t2 + q + t)s21 + (q 3 + q 2 t + qt2 + t3 + qt)s111 ,
(e4 ) = s4 + (q 3 + q 2 t + qt2 + t3 + q 2 + qt + t2 + q + t)s31
+ (q 4 + q 3 t + q 2 t2 + qt3 + t4 + q 2 t + qt2 + q 2 + qt + t2 )s22
+ (q 5 + q 4 t + q 3 t2 + q 2 t3 + qt4 + t5 + q 4 + 2q 3 t + 2q 2 t2
+ 2qt3 + t4 + q 3 + 2q 2 t + 2qt2 + t3 + qt)s211
+ (q 6 + q 5 t + q 4 t2 + q 3 t3 + q 2 t4 + qt5 + t6 + q 4 t + q 3 t2
+ q 2 t3 + qt4 + q 3 t + q 2 t2 + qt3 )s1111 ,
(e5 ) = s5 + (q 4 + q 3 t + q 2 t2 + qt3 + t4 + q 3 + q 2 t
+ qt2 + t3 + q 2 + qt + t2 + q + t)s41
+ (q 6 + q 5 t + q 4 t2 + q 3 t3 + q 2 t4 + qt5 + t6 + q 5 + 2q 4 t + 2q 3 t2
+ 2q 2 t3 + 2qt4 + t5 + q 4 + 2q 3 t + 3q 2 t2 + 2qt3 + t4 + q 3
+ 2q 2 t + 2qt2 + t3 + q 2 + qt + t2 )s32
+ (q 7 + q 6 t + q 5 t2 + q 4 t3 + q 3 t4 + q 2 t5 + qt6 + t7 + q 6 + 2q 5 t
+ 2q 4 t2 + 2q 3 t3 + 2q 2 t4 + 2qt5 + t6 + 2q 5 + 3q 4 t + 4q 3 t2
+ 4q 2 t3 + 3qt4 + 2t5 + q 4 + 3q 3 t + 3q 2 t2 + 3qt3 + t4 + q 3
+ 2q 2 t + 2qt2 + t3 + qt)s311
berg 2009/4/13 13:55 page 207 #215
+ (q 8 + q 7 t + q 6 t2 + q 5 t3 + q 4 t4 + q 3 t5 + q 2 t6 + qt7 + t8 + q 7
+ 2q 6 t + 2q 5 t2 + 2q 4 t3 + 2q 3 t4 + 2q 2 t5 + 2qt6 + t7 + q 6
+ 3q 5 t + 4q 4 t2 + 4q 3 t3 + 4q 2 t4 + 3qt5 + t6 + q 5
+ 3q 4 t4q 3 t2 + 4q 2 t3 + 3qt4 + t5 + q 4 + 2q 3 t + 3q 2 t2 + 2qt3
+ t4 + q 2 t + qt2 )s221
+ (q 9 + q 8 t + q 7 t2 + q 6 t3 + q 5 t4 + q 4 t5 + q 3 t6 + q 2 t7 + qt8 + t9
+ q 8 + 2q 7 t + 2q 6 t2 + 2q 5 t3 + 2q 4 t4 + 2q 3 t5 + 2q 2 t6 + 2qt7
+ t8 + q 7 + 3q 6 t + 4q 5 t2 + 4q 4 t3 + 4q 3 t4 + 4q 2 t5 + 3qt6
+ t7 + q 6 + 3q 5 t + 4q 4 t2 + 5q 3 t3 + 4q 2 t4 + 3qt5 + t6 + 2q 4 t
+ 3q 3 t2 + 3q 2 t3 + 2qt4 + q 3 t + q 2 t2 + qt3 )s2111
+ (q 10 + q 9 t + q 8 t2 + q 7 t3 + q 6 t4 + q 5 t5 + q 4 t6 + q 3 t7 + q 2 t8
+ qt9 + t10 + q 8 t + q 7 t2 + q 6 t3 + q 5 t4 + q 4 t5 + q 3 t6 + q 2 t7
+ qt8 + q 7 t + 2q 6 t2 + 2q 5 t3 + 2q 4 t4 + 2q 3 t5 + 2q 2 t6 + qt7
+ q 6 t + q 5 t2 + 2q 4 t3 + 2q 3 t4 + q 2 t5 + qt6 + q 4 t2
+ q 3 t3 + q 2 t4 )s11111 .
berg 2009/4/13 13:55 page 209 #217
Bibliography
[Artin 44] E. Artin. Galois Theory, Second edition, Notre Dame Mathe-
matical Lectures, no. 2. Notre Dame, Ind.: University of Notre Dame,
1944.
[Aval et al. 02] J.-C. Aval, F. Bergeron, and N. Bergeron. Spaces of lattice
diagram polynomials in one set of variables. Adv. in Appl. Math.
28:3-4 (2002), 343359. Special issue in memory of Rodica Simion.
[Aval et al. 04] J.-C. Aval, F. Bergeron, and N. Bergeron. Ideals of quasi-
symmetric functions and super-covariant polynomials for Sn . Adv.
Math. 181:2 (2004), 353367.
209
berg 2009/4/13 13:55 page 210 #218
210 Bibliography
Bibliography 211
[Can and Loehr 06] M. Can and N. Loehr. A proof of the q, t-square
conjecture. J. Combin. Theory Ser. A 113:7 (2006), 14191434.
[Cox et al. 92] D. Cox, J. Little, and D. OShea. Ideals, varieties, and al-
gorithms, Undergraduate Texts in Mathematics. New York: Springer-
Verlag, 1992. An introduction to computational algebraic geometry
and commutative algebra.
[De Concini and Procesi 81] C. De Concini and C. Procesi. Symmetric
functions, conjugacy classes and the ag variety. Invent. Math. 64:2
(1981), 203219.
[Etingof and Strickland 03] P. Etingof and E. Strickland. Lectures on
quasi-invariants of Coxeter groups and the Cherednik algebra. En-
seign. Math. (2) 49:1-2 (2003), 3565.
[Felder and Veselov 03] G. Felder and A. P. Veselov. Action of Cox-
eter groups on m-harmonic polynomials and Knizhnik-Zamolodchikov
equations. Mosc. Math. J. 3:4 (2003), 12691291.
[Foata 84] D. Foata. Combinatoire des identites sur les polynomes or-
thogonaux. In Proceedings of the International Congress of Mathe-
maticians, Vol. 1, 2 (Warsaw, 1983), pp. 15411553. Warsaw: PWN,
1984.
[Foata and Leroux 83] D. Foata and P. Leroux. Polyn omes de Jacobi, in-
terpretation combinatoire et fonction generatrice. Proc. Amer. Math.
Soc. 87:1 (1983), 4753.
[Frame et al. 54] J. S. Frame, G. de B. Robinson, and R. M. Thrall. The
hook graphs of the symmetric groups. Canadian J. Math. 6 (1954),
316324.
[Franklin 1881] F. Franklin. Sur le developpement du produit inni
(1 x)(1 x2 )(1 x3 ) . C. R. Acad. Sci. Paris 92 (1881), 448
450.
[Fulton 97] W. Fulton. Young tableaux, London Mathematical Society Stu-
dent Texts, 35. Cambridge: Cambridge University Press, 1997. With
applications to representation theory and geometry.
[Fulton and Harris 91] W. Fulton and J. Harris. Representation theory,
Graduate Texts in Mathematics, 129. New York: Springer-Verlag,
1991. A rst course, Readings in Mathematics.
[Garsia 81] A. M. Garsia. A q-analogue of the Lagrange inversion for-
mula. Houston J. Math. 7:2 (1981), 205237.
berg 2009/4/13 13:55 page 212 #220
212 Bibliography
[Garsia and Wallach 03] A. M. Garsia and N. Wallach. Qsym over Sym
is free. J. Combin. Theory Ser. A 104:2 (2003), 217263.
Bibliography 213
[Haglund 08] J. Haglund. The q,t-Catalan numbers and the space of diag-
onal harmonics, University Lecture Series, 41. Providence, RI: Amer-
ican Mathematical Society, 2008. With an appendix on the combina-
torics of Macdonald polynomials.
[Hivert 08] F. Hivert. Local Action of the Symmetric Group and Gener-
alizations of Quasi-Symmetric Functions. Preprint, 2008.
[Joyal 81] A. Joyal. Une theorie combinatoire des series formelles. Adv.
in Math. 42:1 (1981), 182.
berg 2009/4/13 13:55 page 214 #222
214 Bibliography
[Kac and Cheung 02] V. Kac and P. Cheung. Quantum calculus. Univer-
sitext, New York: Springer-Verlag, 2002.
[Kane 01] R. Kane. Reection groups and invariant theory, CMS Books in
Mathematics/Ouvrages de Mathematiques de la SMC, 5. New York:
Springer-Verlag, 2001.
[Kirillov and Noumi 98] A. N. Kirillov and M. Noumi. Ane Hecke alge-
bras and raising operators for Macdonald polynomials. Duke Math.
J. 93:1 (1998), 139.
[Knutson 73] D. Knutson. -rings and the representation theory of the sym-
metric group, Lecture Notes in Mathematics, 308. Berlin: Springer-
Verlag, 1973.
Bibliography 215
[Lindstr
om 73] B. Lindstrom. On the vector representations of induced
matroids. Bull. London Math. Soc. 5 (1973), 8590.
216 Bibliography
[Schur 01] I. Schur. Uber eine Klasse von Matrizen die sich einer gegeben
Matrix zuordnen lassen. 1901, Inaugural-Dissertation, Berlin.
i i
Summa Summarum
Mogens Esrom Larsen
ISBN 978-1-56881-323-3
The book is quite comprehensive and discusses a host of techniques from the classical
ideas of Euler to the modern ideas of R. W. Gosper, Jr., H Wilf, and D. Zeilberger, of
how to simplify finite sums that are likely to appear in the course of ones work. . . . This
work should prove to be an invaluable aid to students and researchers working in all
areas of mathematics. The authors hope is to find this summa on your deskjust as
Thomass original was found on the altar! and the reviewer agrees.
Mathematical Reviews
The concept of factorization, familiar in the ordinary system of whole numbers that
can be written as a unique product of prime numbers, plays a central role in modern
mathematics and its applications. This exposition of the classic theory leads the reader
to an understanding of the current knowledge of the subject and its connections to
other mathematical concepts You will learn that instead of unique factorization being
the norm and non-unique factorization the exception, the situation is reversed!
LEnseignement Mathematique
Books are available for order through A K Peters. You may find detailed
ordering information on our website at www.akpeters.com.
i i
i i