Applications of Macdonalds Polynomials
Applications of Macdonalds Polynomials
1
2
bigrading of these spaces we get q, t versions of the number of parking functions and also the nth Catalan
number. Based on some ideas of Procesi, Garsia and Haiman were led to a conjectured formula for the char-
acter of DHn , which involved a sum of rational functions, with symmetric functions H̃µ (X; q, t), modified
versions of the Macdonald polynomials, occurring in the numerators. The terms in this formula correspond to
terms in the Atiyah-Bott-Leftschetz fixed point formula, which is connected to the problem via an underlying
torus action on the Hilbert scheme. In 2000 Haglund [14] introduced a specific conjectured interpretation for
the q, t-Catalan number, which was proved shortly after in joint work with Garsia [8], [9]. The proof used
plethystic symmetric function identities involving Macdonald polynomials which were developed by F. Berg-
eron, Garsia, Haiman, and Tesler during the 1990’s [2], [12]. In 2001 Haiman proved the rational function
formula for the character of DHn using algebraic geometry[17]. Three years later Haglund, Haiman, Loehr,
Remmel and Ulyanov [21] introduced a conjecture which is still open, the “shuffle conjecture” which gives
a a combinatorial conjecture for this character in terms of statistics on parking functions. Haglund’s book
[15] includes a detailed discussion of the combinatorics of DHn , while Bergeron’s book [1] contains further
information on DHn in the context of a more general discussion on coinvariant spaces. In another direction
Iain Gordon [13] proved a conjecture of Haiman for the dimension of versions of DHn for other Weyl groups.
A refinement of this result, involving an extra parameter q was later found by Cherednik [7].
lattice paths. If λ = 1n , the Loehr-Warrington conjecture reduces to the shuffle conjecture. Another gener-
alization of the shuflfle conjecture has been introduced by Haglund, Morse, and Zabrocki. By building on
earlier work of N. Bergeron, Descouens, and Zabrock [3], they conjecture that ∇ applied to a Hall-Littlewood
function can be expressed in terms of statistics on parking functions for lattice paths which hit the main diag-
onal in certain specified points. Garsia, Xin, and Zabrocki have announced a proof of the hook shape case of
this conjecture, which generalizes Haglund’s q, t-Schröder theorem. Both the Loehr-Warrington conjecture
and the Haglund-Morse-Zabrocki conjecture give expressions for ∇ applied to a whole basis for the ring of
symmetric functions, which hopefully will be easier to prove than looking at ∇s1n by itself.
In [19] Haglund, Haiman, and Loehr give a version of the combinatorial formula for the H̃µ (X; q, t) for
the Jλ (X; q, t) (scalar multiples of the Pλ whose monomial coefficients are in Z[q, t]), and in subsequent
work [20] also a version involving the Eα (X; q, t) (scalar multiples of the Eα (X; q, t) whose monomial
coefficients also have no denominators). The formula for the Eα (X; q, t) involves a sum over certain “nonat-
tacking” fillings, of the diagram whose n − i + 1st column has height αi , with positive integers, with each
such filling weighted by powers of q, t and also factors of the form (1 − q a tb ) for certain powers a, b defined
combinatorially. This model also contains a “basement”, i.e. a row of squares below the diagram filled with
the numbers n, n − 1, . . . , 2, 1. By changing the basement to 2n, 2n − 1, . . . , n + 1 and summing as before
over nonattacking fillings we get a formula for Jµ , where µ is the rearrrangement of the parts of α into parti-
tion order. Thus there are actually a number of formulas for Jµ corresponding to the various ways to permute
the parts of µ and shuffle with zeros to obtain a weak composition.
Ram and Yip [39] have introduced a general formula for the Eα for arbitrary affine root systems. Their
formula is obtained by iterating recurrence relations which can be used to define the Eα (known as intertwiner
relations), and is expressed in terms of “alcove walks” in a certain lattice associated to the root system. In
type A their formula has many more terms than the formula in [19], but Lenart [31] has shown how to group
together terms in the Jµ version of their formula to obtain exactly the formula from [20] for Jµ corresponding
to the case where α = µ. An exciting question for future research is whether or not terms in the Ram-Yip
formula for general affine root systems can be grouped together in a similar way to obtain a canonincal
combinatorial formula for the Eα .
Since both Demazure characters (also known as key polynomials), and the standard bases (introduced
by Lascoux and Schützenberger [30] in their study of Schubert varieties) are limiting or special cases of the
Eα , new combinatorial formulas for these functions are a by-product of the new Macdonald combinatorics.
(See [40] for more background on key polynomials.) In connection with her study of these identities Sarah
Mason [37], [38] introduced a generalization of the RSK algorithm. Recently Haglund, Luoto, Mason, and
van Willigenburg have introduced a new basis QSβ (X} for the ring of quasisymmetric functions they call
quasisymmetric Schur functions, and have used properties of Mason’s RSK algorithm to prove the QSβ
satisfy a generalzation of the Littlewood-Richardson rule [22], [23]. Lauve and Mason have announced they
have been able to use this generalized Littlewood-Richardson rule to prove a conjecture of F. Bergeron and
C. Reutenauer that gives an explicit basis for the quotient ring of quasisymmetric functions in n variables by
the ring of symmetric functions in n variables.
One implication of the type A formula for Jµ in [19] is that the coefficient of a monomial symmetric
function in
is in N[q], for any positive integer k. Maple calculations led Haglund to conjecture the stronger relation that
the coefficient of a Schur function in (2) is in N[q]. Ram has suggested that a more general phenomena may
hold, where you decompose Jµ (X; q, q k ) in terms of the basis {Jλ (X; q, q k−1 )}, with some kind of positivity
at each step (Jλ (X; q, q) is a scalar multiple of the Schur function sλ (X)).
3 Presentation Highlights
Many of the talks at the workshop, for example talks by N. Bergeron, I. Gordon, J. Haglund, N. Loehr, S.
Mason, and J. Morse, involved topics discussed in the above two sections. Other talks were about other
topics relevant to symmetric function theory and Macdonald polynomials of interest to researchers in this
area. Below we include titles and abstracts for all the presentations.
4
Speaker: Nick Loehr (Virginia Tech, USA) (talk describes joint work with Jim Haglund and Mark Haiman)
Title: Symmetric and Non-symmetric Macdonald Polynomials
Abstract: Macdonald polynomials have played a central role in symmetric function theory ever since their
introduction by Ian Macdonald in 1988. The original algebraic definitions of these polynomials are very non-
explicit and difficult to work with. Haglund conjectured an explicit combinatorial formula for the Macdonald
polynomials. This was later extended to a combinatorial formula for non-symmetric Macdonald polynomials
in type A. This talk will discuss the algebraic and combinatorial definitions of both symmetric and non-
symmetric Macdonald polynomials. We also sketch the main ideas in the proofs that the algebraic and
combinatorial constructions are equal.
Speaker: Jim Haglund (Univ. of Pennsylvania, USA) will deliver a talk prepared by Greg Warrington
(Wake Forest, USA) who had to cancel his trip
Title: Combinatorical structures associated to the nabla operator
Abstract: Over the past ten years, there has been a rich interplay among the modified Macdonald polynomials,
the diagonal harmonics modules, the nabla operator, and the combinatorics of q,t-weighted lattice paths. In
this talk, we review these connections, paying particular attention to the q,t-Catalan numbers. We finish
with recent joint work of N. Loehr and G. Warrington regarding a nested-lattice-path interpretation for nabla
applied to arbitrary Schur functions.
References
[1] F. Bergeron, Algebraic Combinatorics and coinvariant spaces, CMS Treatises in Mathematics,
Canadian Mathematical Society, Ottawa, ON (2009), 221 pages.
[2] F. Bergeron, A. Garsia, M. Haiman, and G. Tesler, Identities and positivity conjectures for some
remarkable operators in the theory of symmetric functions, Methods Appl. Anal., 6 (1999),
363–420.
[3] N. Bergeron, F. Descouens, and M. Zabrocki, A filtration of (q, t)-Catalan numbers, Adv. in
Appl. Math., 44 (2010), 16–36.
[4] I. Cherednik, Double affine Hecke algebras and Macdonald’s conjectures, Ann. of Math., 141
(1995) 191–216.
[5] I. Cherednik, Macdonald’s evaluation conjecture and difference Fourier transform, Invent.
Math., 122 (1995), 119–145.
[6] I. Cherednik, Nonsymmetric Macdonald polynomials, Internat. Math. Res. Notices, (1995),
483–515.
7
[7] I. Cherednik, Diagonal coinvariants and double affine Hecke algebras, Internat. Math. Res.
Notices, (2004), 769–791.
[8] A. Garsia and J. Haglund, A positivity result in the theory of Macdonald polynomials, Proc.
Nat. Acad. Sci. U.S.A., 98 (2001), 4313–4316.
[9] A. Garsia and J. Haglund, A proof of the q, t-Catalan positivity conjecture, Discrete Math.,
256 (2002), 677–717.
[10] A. Garsia and M. Haiman, A graded representation model for Macdonald’s polynomials, Proc.
Nat. Acad. Sci. U.S.A, 90 (1993), 3607–3610.
[11] A. Garsia and M. Haiman, A remarkable q, t-Catalan sequence and q-Lagrange inversion, J.
Algebraic Combin., 5 (1996), 191–244.
[12] A. Garsia, M. Haiman, and G. Tesler, Explicit plethystic formulas for Macdonald q, t-Kostka
coefficients, Sém. Lothar. Combin., 42 (1999), Art. B42m, 45 pp. (electronic).
[13] I. Gordon, On the quotient ring by diagonal coinvariants, Invent. Math.,153 (2003), 503–518.
[14] J. Haglund, Conjectured statistics for the q, t-Catalan numbers, Adv. Math., 175 (2003), 319–
334.
[15] J. Haglund, The q, t-Catalan Numbers and the Space of Diagonal Harmonics, AMS University
Lecture Series, 2008.
[16] M. Haiman, Conjectures on the quotient ring by diagonal invariants, J. Algebraic Combin., 3
(1994), 695–711.
[17] M. Haiman, Hilbert schemes, polygraphs, and the Macdonald positivity conjecture, J. Amer.
Math. Soc., 14 (2001), 941–1006.
[18] Vanishing theorems and character formulas for the Hilbert scheme of points in the plane, In-
vent. Math., 149 (2002), 371–407.
[19] J. Haglund, M. Haiman, and N. Loehr, A combinatorial formula for Macdonald polynomials,
Jour. Amer. Math. Soc. 18 (2005), 735-761.
[20] J. Haglund, M. Haiman and N. Loehr, A combinatorial formula for Non-symmetric Macdonald
polynomials, Amer. J. Math., 103 (2008), 359-383.
[28] L. Lapointe, and J. Morse, A k-tableau characterization of k-Schur functions, Adv. Math., 213
(2007), 183-204.
[29] L. Lapointe, and J. Morse, Quantum cohomology and the k-Schur basis, Trans. Amer. Math.
Soc., 360 (2008), 2021–2040.
[30] A. Lascoux and M-P. Schützenberger, Keys & standard bases, Invariant Theory and Tableaux
(Minneapolis, MN, 1988), 125–144, IMA Vol. Math. Appll., 19, Springer, NY, 1990.
[31] C. Lenart, On combinatorial formulas for Macdonald polynomials, Adv. Math., 220 (2009),
324–340.
[32] N. Loehr, and G. Warrington, Int. Math. Res. Not. IMRN, Art. ID rnm 157 (2008), 29 pp.
[33] I. G. Macdonald, A new class of symmetric polynomials, Actes du 20e Séminaire Lotharingien,
Publ. Inst. Rech. Math. Av., 372 (1988).
[34] I. G. Macdonald, Symmetric Functions and Hall Polynomials, Oxford Mathematical Mono-
graphs, second ed., Oxford Science Publications, The Clarendon Press Oxford University
Press, New York, 1995.
[35] I. G. Macdonald, Affine Hecke algebras and orthogonal polynomials, Séminaire Bourbaki,
Vol. 1994/95, Astérisque (1996), Exp. No. 797, 4, 189–207.
[36] D. Marshall, Symmetric and nonsymmetric Macdonald polynomials, On combinatorics and
statistical mechanics, Ann. Comb., 3 (1999), 385–415.
[37] S. Mason, A decomposition of Schur functions and an analogue of the Robinson-Schensted-
Knuth algorithm, Sém. Lothar. Combin. 57 (2006/08), Art. B57e, 24 pp.
[38] S. Mason, An explicit construction of type A Demazure atoms, J. Algebraic Combin., 29 (2009),
295-313.
[39] A. Ram, and M. Yip, A combinatorial formula for Macdonald polynomials, arXiv:0803.1146.
[40] V. Reiner and M. Shimozono, Key polynomials and a flagged Littlewood-Richardson rule, J.
Combin. Theory Ser. A, 70 (1995), 107-143.
5 Participants
Allen, Ed (Wake Forest University)
Assaf, Sami (MIT)
Bandlow, Jason (University of California, San Diego)
Bergeron, Francois (Universit du Quebec a Montral)
Bergeron, Nantel (York University)
Biagioli, Riccardo (Universite Claude Bernard Lyon I)
Can, Mahir (University of Western Ontario)
Descouens, Francois (Universite de Marne-la-Vallee)
Fishel, Susanna (Arizona State University)
Garsia, Adriano (University of California, San Diego)
Gordon, Iain (University of Edinburgh)
Haglund, Jim (University of Pennsylvania)
Hivert, Florent (University of Rouen)
Ion, Bogdan (University of Pittsburgh)
Jing, Naihuan (North Carolina State University)
Kasatani, Masahiro (Kyoto University
Koornwinder, Tom (KdV Institute for Mathematics, University of Amsterdam)
Lam, Thomas (University of Michigan)
9