The combinatorics of knot invariants arising from the study of Macdonald polynomials

Abstract

This chapter gives an expository account of some unexpected connections which have arisen over the last few years between Macdonald polynomials, invariants of torus knots, and lattice path combinatorics. The study of polynomial knot invariants is a well-known branch of topology which originated in the 1920's with the one-parameter Alexander polynomial [Ale28]. In the early 1980's Jones [Jon85] introduced a different one-parameter polynomial invariant, with important connections to physics. Shortly thereafter a number of authors more or less simultaneously discovered the HOMFLY polynomial, a two-parameter invariant which includes both the Alexander and Jones polynomials as special cases. The HOMFLY polynomial can be calculated recursively through skein relations. In the late 1980's Witten showed that the Jones polynomial and related invariants have an interpretation in terms of Chern-Simons theory, which is central to string theory. In 2006 Dunfield, Gukov, and Rasmussen [DGR06] hypothesized the existence of a threeparameter knot invariant, now known as the "superpolynomial knot invariant" of a knot K, denoted P K (a, q, t), which includes the HOMFLY polynomial as a special case. Since then various authors proposed different possible definitions of the superpolynomial, which are conjecturally all equivalent. These definitions typically involve homology though, and are difficult to compute. In the case of torus knots an accepted definition of the superpolynomial has recently emerged from work of Aganagic and Shakirov [AS12], [AS11] (using refined Chern-Simons theory) and Cherednik [Che13] (using the double affine Hecke algebra). Gorsky and Negut [GN13] showed that these two different constructions yield the same three parameter knot invariant which is now accepted as the definition of the superpolynomial for torus knots. These constructions involve symmetric functions in a set of variables X known as Macdonald polynomials, which also depend on two extra parameters q, t. These symmetric functions are important in algebraic combinatorics and other areas, and play a central role in various character formulas for S n modules connected to the Hilbert scheme from algebraic geometry. In particular, Haiman's formula for the bigraded character of the space DH n of diagonal harmonics under the diagonal action of the symmetric group is expressed in terms of Macdonald polynomials. E. Gorsky [Gor12], [ORS12, Appendix] noticed that the coefficient of a j in the superpolynomial of the (n + 1, n) torus knot equals the bigraded multiplicity of a certain hook shape in the character of DH n. This polynomial is known as the (q, t)-Schröder polynomial since the author showed it can be expressed as a weighted sum over Schröder lattice paths in the n × n + 1 rectangle. Gorsky and Negut have shown that the coefficient of a j in the superpolynomial of the (m, n) torus knot can be viewed as the coefficient of a certain hook Schur function in a symmetric function expression involving Macdonald polynomials, and they

A combinatorial formula for LLT cumulants of melting lollipops in terms of spanning trees

“…LLT polynomials were introduced by Lascoux, Leclerc, and Thibon [LLT97] in the context of quantum groups. Their importance in the theory of symmetric functions quickly became apparent mostly due to the rich yet hidden combinatorics and a broad spectrum of relations -for instance, with the Kazhdan-Lusztig theory [GH07], algebraic geometry [LT00], and knots theory [Hag16].…”

$(GL_k\times S_n)$-Modules of Multivariate Diagonal Harmonics

“…These links have become much better understood in recent years. Since its inception, this line of inquiry has opened many fruitful areas of research, including recent ties with Khovanov-Rozansky homology of (m, n)-torus links (see [18,24,25,26,32]), and ties to the study of super-spaces of Bosons-Fermions. A significant part of this story involves a formula for the (bi)graded character of the above-mentioned modules in the form ∇(e n ), where ∇ is an operator (introduced in [9]) having the (combinatorial) Macdonald symmetric functions as joint eigenfunctions, here applied to the degree n elementary symmetric function e n .…”

Torus link homology and the nabla operator

“…The combinatorics of other links, in particular the (m, n) torus link for m and n coprime, has been studied by a variety of authors in recent years [GORS14,GN15]. Haglund gives an overview of this work from a combinatorial perspective in [Hag16].…”