Towers of solutions of qKZ equations and their applications to loop models
Cherednik's type A quantum affine Knizhnik-Zamolodchikov (qKZ) equations form a consistent system of linear q-difference equations for Vn-valued meromorphic functions on a complex n-torus, with Vn a module over the GLn-type extended affine Hecke algebra Hn. The family (Hn)n≥0 of extended affine Hecke algebras forms a tower of algebras, with the associated algebra morphisms Hn→Hn+1 the Hecke algebra descends of arc insertion at the affine braid group level. In this paper we consider qKZ towers (f(n))n≥0 of solutions, which consist of twisted-symmetric polynomial solutions f(n) (n≥0) of the qKZ equations that are compatible with the tower structure on (Hn)n≥0. The compatibility is encoded by so-called braid recursion relations: f(n+1)(z1,…,zn,0) is required to coincide up to a quasi-constant factor with the push-forward of f(n)(z1,…,zn) by an intertwiner μn:Vn→Vn+1 of Hn-modules, where Vn+1 is considered as an Hn-module through the tower structure on (Hn)n≥0. We associate to the dense loop model on the half-infinite cylinder with nonzero loop weights a qKZ tower (f(n))n≥0 of solutions. The solutions f(n) are constructed from specialised dual non-symmetric Macdonald polynomials with specialised parameters using the Cherednik-Matsuo correspondence. In the special case that the extended affine Hecke algebra parameter is a third root of unity, f(n) coincides with the (suitably normalized) ground state of the inhomogeneous dense O(1) loop model on the half-infinite cylinder with circumference n.