arXiv++ Combinatorics

We discuss interrelations between eigenfunctions of the Hamiltonians associated with the commutative (integer ray) subalgebras of the Ding-Iohara-Miki algebra and those of the twisted Cherednik system. In the case of $t=q^{-m}$ with natural $m$, eigenfunctions of the first system of Hamiltonians are the twisted Baker-Akhiezer functions (BAFs) introduced by O. Chalykh, while eigenfunctions of the twisted Cherednik Hamiltonians are twisted non-symmetric Macdonald polynomials. Actually, the twisted Cherednik ground state is symmetric and coincides with a peculiar symmetric BAF. We lift this correspondence to excited states, and claim that both Cherednik eigenfunctions and BAF's can be combined to produce symmetric functions, which coincide with each other and are eigenfunctions of the both DIM Hamiltonians and power sums of the twisted Cherednik Hamiltonians at once. This reflects the correspondence between the DIM algebra and the spherical DAHA explicitly.

We explain that the logic behind the derivation of the Noumi-Shiraishi function can be applied directly to the Baker-Akhiezer function (BAF). This amounts to changing an ansatz for BAF to a nested one, where the BAF of N + 1 variables is recursively expressed as a sum over BAFs of N variables. This may be seen as a generalization of symmetrization trick from [1], but for the generally non-symmetric BAF. We demonstrate that, for usual non-twisted (a = 1) BAFs, this method correctly reproduces the Noumi-Shiraishi formula directly from linear equations, resolving the ambiguity related to non-simple roots. For the first non-trivial twisted case (N = 3, a = 2) this method also fixes this ambiguity, moreover, answers for the first few layers of coefficients are in the form of direct quantization of [1].

The common eigenfunctions of the twisted Cherednik operators can be first analyzed in the limit of $q\longrightarrow 1$. Then, the polynomial eigenfunctions form a simple set originating from the symmetric ground state of non-vanishing degree and excitations over it, described by non-symmetric polynomials of higher degrees and enumerated by weak compositions. This pattern is inherited by the full spectrum at $q\neq 1$, which can be considered as a deformation. The whole story looks like a typical NP problem: the Cherednik equations are difficult to solve, but easy to check the solution once it is somehow found.

We consider eigenfunctions of many-body system Hamiltonians associated with generalized (a-twisted) Cherednik operators used in construction of other Hamiltonians: those arising from commutative subalgebras of the Ding-Iohara-Miki (DIM) algebra. The simplest example of these eigenfunctions is provided by non-symmetric Macdonald polynomials, while generally they are constructed basing on the ground state eigenfunction coinciding with the twisted Baker-Akhiezer function being a peculiar (symmetric) eigenfunction of the DIM Hamiltonians. Moreover, the eigenfunctions admit an expansion with universal coefficients so that the dependence on the twist $a$ is hidden only in these ground state eigenfunctions, and we suggest a general formula that allows one to construct these eigenfunctions from non-symmetric Macdonald polynomials. This gives a new twist in theory of integrable systems, which usually puts an accent on symmetric polynomials, and provides a new dimension to the {\it triad} made from the symmetric Macdonald polynomials, untwisted Baker-Akhiezer functions and Noumi-Shiraishi series.

We elaborate on the recent suggestion to consider averaging of Cauchy identities for the Schur functions over power sum variables. This procedure has apparent parallels with the Borel transform, only it changes the number of combinatorial factors like $d_R$ in the sums over Young diagrams instead of just factorials in ordinary sums over numbers. It provides a universal view on a number of previously known, but seemingly random identities.

There is now a renewed interest to the Hurwitz tau-function, counting the isomorphism classes of Belyi pairs, arising in the study of equilateral triangulations and Grothiendicks's dessins d'enfant. It is distinguished by belonging to a particular family of Hurwitz tau-functions, possessing conventional Toda/KP integrability properties. We explain how the variety of recent observations about this function fits into the general theory of matrix model tau-functions. All such quantities possess a number of different descriptions, related in a standard way: these include Toda/KP integrability, several kinds of W-representations (we describe four), two kinds of integral (multi-matrix model) descriptions (of Hermitian and Kontsevich types), Virasoro constraints, character expansion, embedding into generic set of Hurwitz tau-functions and relation to knot theory. When approached in this way, the family of models in the literature has a natural extension, and additional integrability with respect to associated new time-variables. Another member of this extended family is the Itsykson-Zuber integral.

The classical Hurwitz numbers of degree n together with the Hurwitz numbers of the seamed surfaces of degree n give rise to the Klein topological field theory. We extend this construction to the Hurwitz numbers of all degrees at once. The corresponding Cardy-Frobenius algebra is induced by arbitrary Young diagrams and arbitrary bipartite graphs. It turns out to be isomorphic to the algebra of differential operators from arXiv:1210.6955 which serves a model for open-closed string theory. The operator associated with the Young diagram of the transposition of two elements coincides with the cut-and-join operator which gives rise to relations for the classical Hurwitz numbers. We prove that the operators corresponding to arbitrary Young diagrams and bipartite graphs also give rise to relations for the Hurwitz numbers.

Motivated by the algebraic open-closed string models, we introduce and discuss an infinite-dimensional counterpart of the open-closed Hurwitz theory describing branching coverings generated both by the compact oriented surfaces and by the foam surfaces. We manifestly construct the corresponding infinite-dimensional equipped Cardy-Frobenius algebra, with the closed and open sectors are represented by conjugation classes of permutations and the pairs of permutations, i.e. by the algebra of Young diagrams and bipartite graphes respectively.

Partition functions often become τ-functions of integrable hierarchies, if they are considered dependent on infinite sets of parameters called time variables. The Hurwitz partition functions Z = \sum_R d_R^{2-k}χ_R(t^{(1)})...χ_R(t^{(k)})\exp(\sum_n ξ_nC_R(n)) depend on two types of such time variables, t and ξ. KP/Toda integrability in t requires that k\leq 2 and also that C_R(n) are selected in a rather special way, in particular the naive cut-and-join operators are not allowed for n>2. Integrability in ξfurther restricts the choice of C_R(n), forbidding, for example, the free cumulants. It also requires that k\leq 1. The quasiclassical integrability (the WDVV equations) is naturally present in ξvariables, but also requires a careful definition of the generating function.

We establish a correspondence between Young diagrams and differential operators of infinitely many variables. These operators form a commutative associative algebra isomorphic to the algebra of the conjugated classes of finite permutations of the set of natural numbers. The Schur functions form a complete system of common eigenfunctions of these differential operators, and their eigenvalues are expressed through the characters of symmetric groups. The structure constants of the algebra are expressed through the Hurwitz numbers.

Infinite-dimensional universal Cardy-Frobenius algebra is constructed, which unifies all particular algebras of closed and open Hurwitz numbers and is closely related to the algebra of differential operators, familiar from the theory of Generalized Kontsevich Model.