arXiv++ Combinatorics

Assume that $\mathbb F$ is an algebraically closed field with characteristic zero. The universal Racah algebra $\Re$ is a unital associative $\mathbb F$-algebra defined by generators and relations. The generators are $A,B, C, D$ and the relations state that $$ [A,B]=[B,C]=[C,A]=2D $$ and each of \begin{gather*} [A,D]+AC-BA, \qquad [B,D]+BA-CB, \qquad [C,D]+CB-AC \end{gather*} is central in $\Re$. The universal additive DAHA (double affine Hecke algebra) $\mathfrak H$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$-algebra generated by $t_0,t_1,t_0^\vee,t_1^\vee$ and the relations state that $$ t_0+t_1+t_0^\vee+t_1^\vee=-1 $$ and each of $t_0^2, t_1^2, t_0^{\vee 2}, t_1^{\vee 2}$ is central in $\mathfrak H$. Each $\mathfrak H$-module is an $\Re$-module by pulling back via the algebra homomorphism $\Re\to \mathfrak H$ given by \begin{eqnarray*} A &\mapsto & \frac{(t_1^\vee+t_0^\vee)(t_1^\vee+t_0^\vee+2)}{4}, \\ B &\mapsto & \frac{(t_1+t_1^\vee)(t_1+t_1^\vee+2)}{4}, \\ C &\mapsto & \frac{(t_0^\vee+t_1)(t_0^\vee+t_1+2)}{4}. \end{eqnarray*} Let $V$ denote any finite-dimensional irreducible $\mathfrak H$-module. The set of $\Re$-submodules of $V$ forms a lattice under the inclusion partial order. We classify the lattices that arise by this construction. As a consequence, the $\Re$-module $V$ is completely reducible if and only if $t_0$ is diagonalizable on $V$.

We discuss the Grassmann graph $J_q(N,D)$ with $N \geq 2D$, having as vertices the $D$-dimensional subspaces of an $N$-dimensional vector space over the finite field $\mathbb{F}_q$. This graph is distance-regular with diameter $D$; to avoid trivialities we assume $D\geq 3$. Fix a pair of a Delsarte clique $C$ of $J_q(N,D)$ and a vertex $x$ in $C$. We construct a $2D$-dimensional irreducible module $\mathbf{W}$ for the Terwilliger algebra $\mathbf{T}$ of $J_q(N,D)$ associated with the pair $x$, $C$. We show that $\mathbf{W}$ is an irreducible module for the confluent Cherednik algebra $\mathcal{H}_\mathrm{V}$ and describe how the $\mathbf{T}$-action on $\mathbf{W}$ is related to the $\mathcal{H}_\mathrm{V}$-action on $\mathbf{W}$. Using the $\mathcal{H}_\mathrm{V}$-module $\mathbf{W}$, we define non-symmetric dual $q$-Hahn polynomials and prove their recurrence and orthogonality relations from a combinatorial viewpoint.

Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the double affine Hecke algebra of type $A_{n-1}$. Here $G= SL_N$ or $GL_N$, and $V$ is the $N$-dimensional defining representation of $G$. In this paper we take $M$ to be the basic $\mathcal{D}_{\mathtt{q}}(G)$-module, i.e. the quantized coordinate algebra $M= \mathcal{O}_{\mathtt{q}}(G)$. We describe a weight basis for $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ combinatorially in terms of walks in the type $A$ weight lattice, and standard periodic tableaux, and subsequently identify $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ with the irreducible "rectangular representation" of height $N$ of the double affine Hecke algebra.

We give a simple recursion which computes the triply graded Khovanov-Rozansky homology of several infinite families of knots and links, including the $(n,nm\pm 1)$ and $(n,nm)$ torus links for $n,m\geq 1$. We interpret our results in terms of Catalan combinatorics, proving a conjecture of Gorsky's. Our computations agree with predictions coming from Hilbert schemes and rational DAHA, which also proves the Gorsky-Oblomkov-Rasmussen-Shende conjectures in these cases. Additionally, our results suggest a topological interpretation of the symmetric functions which appear in the context of the $m$-shuffle conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov.

We introduce difference operators on the space of symmetric functions which are a natural generalization of the $(q,t)$-Macdonald operators. In the $t\to\infty$ limit, they satisfy the $A_{N-1}$ quantum $Q$-system. We identify the elements in the spherical $A_{N-1}$ DAHA which are represented by these operators, as well as within the quantum toroidal algebra of $gl_1$ and the elliptic Hall algebra. We present a plethystic, or bosonic, formulation of the generating functions for the generalized Macdonald operators, which we relate to recent work of Bergeron et al. Finally we derive constant term identities for the current that allow to interpret them in terms of shuffle products. In particular we obtain in the $t\to\infty$ limit a shuffle presentation of the quantum $Q$-system relations.

In his famous theorem (1982), Douglas Leonard characterized the $q$-Racah polynomials and their relatives in the Askey scheme from the duality property of $Q$-polynomial distance-regular graphs. In this paper we consider a nonsymmetric (or Laurent) version of the $q$-Racah polynomials in the above situation. Let $Γ$ denote a $Q$-polynomial distance-regular graph that contains a Delsarte clique $C$. Assume that $Γ$ has $q$-Racah type. Fix a vertex $x \in C$. We partition the vertex set of $Γ$ according to the path-length distance to both $x$ and $C$. The linear span of the characteristic vectors corresponding to the cells in this partition has an irreducible module structure for the universal double affine Hecke algebra $\hat{H}_q$ of type $(C^{\vee}_1, C_1)$. From this module, we naturally obtain a finite sequence of orthogonal Laurent polynomials. We prove the orthogonality relations for these polynomials, using the $\hat{H}_q$-module and the theory of Leonard systems. Changing $\hat{H}_q$ by $\hat{H}_{q^{-1}}$ we show how our Laurent polynomials are related to the nonsymmetric Askey-Wilson polynomials, and therefore how our Laurent polynomials can be viewed as nonsymmetric $q$-Racah polynomials.

We prove a number of quadratic transformations of elliptic Selberg integrals (conjectured in an earlier paper of the author), as well as studying in depth the "interpolation kernel", an analytic continuation of the author's elliptic interpolation functions which plays a major role in the proof as well as acting as the kernel for a Fourier transform on certain elliptic double affine Hecke algebras (discussed in a later paper). In the process, we give a number of examples of a new approach to proving elliptic hypergeometric integral identities, by reduction to a Zariski dense subset of a formal neighborhood of the trigonometric limit.

We give a full classification, in terms of periodic skew diagrams, of irreducible semisimple modules in category O for the degenerate double affine Hecke algebra of type A which can be realized as submodules of Verma modules.

We introduce a new approach to the enumeration of rational slope parking functions with respect to the area and a generalized dinv statistics, and relate the combinatorics of parking functions to that of affine permutations. We relate our construction to two previously known combinatorial constructions: Haglund's bijection exchanging the pairs of statistics (area,dinv) and (bounce,area) on Dyck paths, and Pak-Stanley labeling of the regions of k-Shi hyperplane arrangements by k-parking functions. Essentially, our approach can be viewed as a generalization and a unification of these two constructions. We also relate our combinatorial constructions to representation theory. We derive new formulas for the Poincare polynomials of certain affine Springer fibers and describe a connection to the theory of finite dimensional representations of DAHA and nonsymmetric Macdonald polynomials.

We study a relationship between $Q$-polynomial distance-regular graphs and the double affine Hecke algebra of type $(C^{\vee}_1,C_1)$. Let $Γ$ denote a $Q$-polynomial distance-regular graph with vertex set $X$. We assume that $Γ$ has $q$-Racah type and contains a Delsarte clique $C$. Fix a vertex $x \in C$. We partition $X$ according to the path-length distance to both $x$ and $C$. This is an equitable partition. For each cell in this partition, consider the corresponding characteristic vector. These characteristic vectors form a basis for a $\mathbb{C}$-vector space ${\bf W}$. The universal double affine Hecke algebra of type $(C^{\vee}_1,C_1)$ is the $\mathbb{C}$-algebra $\hat{H}_q$ defined by generators $\{t^{\pm1}_n\}^3_{n=0}$ and relations (i) $t_nt_n^{-1}=t_n^{-1}t_n=1$; (ii) $t_n+t_n^{-1}$ is central; (iii) $t_0t_1t_2t_3 = q^{-1/2}$. In this paper, we display an $\hat{H}_q$-module structure for ${\bf W}$. For this module and up to affine transformation, (i) $t_0t_1+(t_0t_1)^{-1}$ acts as the adjacency matrix of $Γ$; (ii) $t_3t_0+(t_3t_0)^{-1}$ acts as the dual adjacency matrix of $Γ$ with respect to $C$; (iii) $t_1t_2+(t_1t_2)^{-1}$ acts as the dual adjacency matrix of $Γ$ with respect to $x$. To obtain our results we use the theory of Leonard systems.

We consider the construction of refined Chern-Simons torus knot invariants by M. Aganagic and S. Shakirov from the DAHA viewpoint of I. Cherednik. We give a proof of Cherednik's conjecture on the stabilization of superpolynomials, and then use the results of O. Schiffmann and E. Vasserot to relate knot invariants to the Hilbert scheme of points on the plane. Then we use the methods of the second author to compute these invariants explicitly in the uncolored case. We also propose a conjecture relating these constructions to the rational Cherednik algebra, as in the work of the first author, A. Oblomkov, J. Rasmussen and V. Shende. Among the combinatorial consequences of this work is a statement of the m/n shuffle conjecture.

We give a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions. We then discuss a family of polynomials called Demazure atoms. We review the known characterizations of these polynomials and then present two new characterizations. Finally, we consider a family of polynomials called permuted basement nonsymmetric Macdonald polynomials which are obtained by permuting the basement of the combinatorial formula of Haglund, Haiman, and Loehr for nonsymmetric Macdonald polynomials. We show that these permuted basement nonsymmetric Macdonald polynomials are the simultaneous eigenfunctions of a family of commuting operators in the double affine Hecke algebra.

This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the affine classical root systems and some claims for arbitrary (reduced) affine root systems. It continues our previous paper devoted to the non-affine case; interestingly, the affine theory clarifies the classification in the non-affine case. The lambda-sequences are associated with reduced decompositions (words) in affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners in the theory of irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.

Macdonald polynomials are orthogonal polynomials associated to root systems, and in the type A case, the symmetric kind is a common generalization of Schur functions, Macdonald spherical functions, and Jack polynomials. We use the combinatorics of alcove walks to calculate products of monomials and intertwining operators of the double affine Hecke algebra. From this, we obtain a product formula for Macdonald polynomials of general type.

This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the classical root systems, $F_4$ and $E_6$. Such sequences are associated with reduced decompositions (words) in affine and non-affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners for an explicit description of the irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.

This paper is based on the introduction to the monograph ``Double affine Hecke algebras'' to be published by Cambridge University Press. The connections with Knizhnik-Zamolodchikov equations, Kac-Moody algebras, tau-function, harmonic analysis on symmetric spaces, and special functions are discussed. The rank one case is considered in detail including the classification of Verlinde algebras and their deformations, Gauss-Selberg integrals and Gaussian sums, a topological interpretation of DAHA, a relation of the rational DAHA to sl(2), and applications to the diagonal coinvariants. The last three sections are devoted to relations of the general DAHAs to the p-adic affine Hecke algebras, trigonometric and rational DAHAs, and applications to the Harish-Chandra theory. The purpose of this introduction is a demonstration that DAHA can be considered as a natural formalization of the concept of the Fourier transform in mathematics and physics.