Genus Two Generalization of $A_1$ spherical DAHA\ytableausetup
Genus Two Generalization of spherical DAHA
We consider a system of three commuting difference operators in three variables with two generic complex parameters . This system and its eigenfunctions generalize the trigonometric Ruijsenaars-Schneider model and Macdonald polynomials, respectively. The principal object of study in this paper is the algebra generated by these difference operators together with operators of multiplication by . We represent the Dehn twists by outer automorphisms of this algebra and prove that these automorphisms satisfy all relations of the mapping class group of the closed genus two surface. Therefore we argue from topological perspective this algebra is a genus two generalization of spherical DAHA.
Double affine Hecke algebra , introduced and developed by I.Cherednik, plays a crucial role in modern representation theory and mathematical physics from a number of perspectives (see  for a comprehensive overview). One perspective which is especially interesting for us is its close relation with topology of the torus and its mapping class group : namely, this mapping class group acts on the DAHA by outer automorphisms. This, in particular, allows to compute DAHA-Jones polynomials of torus  and iterated torus  links, which generalize and improve WRT invariants [4, 5] and hence are very interesting from the viewpoint of knot theory. DAHA-Jones polynomials are also related to a number of subjects in mathematical physics, such as refined Chern-Simons theory  and knot superpolynomials [7, 8].
We concentrate on a particular subalgebra of the double affine Hecke algebra, called spherical DAHA, in the case of the root system. In this case, the spherical DAHA admits a very simple polynomial representation as the algebra generated by two operators,
acting on the space of symmetric Laurent polynomials in a single variable ; here is a shift operator. These two operators are associated with the - and -cycles of the torus, as shown in Figure 1, and the mapping class group acts on the algebra generated by these operators by certain explicit outer automorphisms.
In this paper we consider an algebra generated by six operators acting on the space of Laurent polynomials in three variables , associated with the three - and three -cycles of a genus two surface, as shown on Figure 1. We represent the Dehn twists by outer automorphisms of this algebra and prove that these automorphisms satisfy all relations of the mapping class group of a closed genus two surface. This suggests this algebra is a genus two generalization of spherical DAHA. The reason we consider the case of genus two is not because this case is particularly distinguished, but as a first step towards a general construction for arbitrary genus.
2 Genus two Macdonald polynomials
We fix the ground field to be the field of rational functions in and .
We call a triple of integers admissible if each of them is non-negative, and is even.
Consider a family of Laurent polynomials in variables which are a common solution to the following system of recursive relations, satisfied for all admissible triples :
with initial conditions: for non-admissible triples , and . Here
We call genus two Macdonald polynomials (of type ), and recursion (2) genus two Pieri rule. Their existence follows from the following Lemma and Proposition.
For a given admissible triple , the coefficient is non-vanishing if and only if the triple is admissible.
First note that mod , so that we don’t have to worry about the parity condition. As for the other conditions, there are three cases to consider.
In this case does not change, and increases by 2, so the triple has to be admissible.
In this case does not change, but changes by 2. Therefore the triple is admissible unless . This is precisely when the second factor in the numerator of (3) vanishes.
In this case does not change, and decreases by 2. Therefore the triple is admissible unless . This is precisely when the first factor in the numerator of (3) vanishes.
This technical lemma is important: since each triple that appears on the r.h.s. of (2) with a non-vanishing coefficient is necessarily admissible, one can iterate the genus two Pieri rule.
In the opposite order we get
for all , , and , which is a direct computation in . Compatibility of the other two pairs follows by permutation of .
Genus two Macdonald polynomials are symmetric w.r.t. sumultaneous permutations:
Usual Macdonald polynomials  are a particular case of genus two Macdonald polynomials,
where is a normalization constant, which is nothing but the well-known principal specialization of :
After renormalization this recursion takes form
This is precisely the Pieri rule for usual Macdonald polynomials, with the same initial conditions for and . Consequently, . ∎
Genus two Macdonald polynomials have a form
and for all admissible triples .
The proof is by induction in . The base case is obvious. Assume that the lemma holds for all admissible triples such that . Pick any admissible triple with . Applying the Pieri rule (2a) we get as a -linear combination of and . Consider first . By the inductive assumption, it has the form (5) with the leading term
therefore, every monomial in the expansion of has a form
where the sum cannot be bigger than . The same holds for and . As for , by the inductive assumption, it has the form (5) with the leading term
therefore every monomial in the expansion of has the form (6) where the sum cannot be bigger than , and the coefficient in front of is non-vanishing. We therefore proved that has this form too. ∎
Let be the space of all Laurent polynomials in (as everywhere in this paper, with coefficients over ) symmetric under the group of Weyl inversions
Genus two Macdonald polynomials for all admissible form a basis of .
Let us first prove that is spanned by genus two Macdonald polynomials. For this, note that is spanned by the set of monomials where . This set contains the generators . Since span() is closed under multiplication by (see (2)) genus two Macdonald polynomials span . By Lemma 7 their leading terms in total degree are all different, thus they are linearly independent and form a basis of . ∎
3 Algebra of Knot operators
Denote by the algebra of all -difference operators with coefficients to be rational functions in over . Here
and the other two: and are obtained by permutation of indexes.
Let be the following -difference operators acting on
and be the following multiplication operators:
Let be the algebra generated by the above six operators. We will call the algebra of genus two knot operators.
The action of the operator on functions that depend only on is identical to the action of the Macdonald operator of the spherical DAHA (1). Therefore the action of the subalgebra on functions that depend only on is isomorphic to the action of the spherical DAHA. By symmetry, a similar statement holds for and .
The algebra is not free: among others, the following relations hold for all
For each relation apply both sides to an arbitrary the result will follow by a direct computation in . ∎
Genus two Macdonald polynomials are common eigenfunctions of
See Appendix A. ∎
Algebra of knot operators is acting on the space of genus two symmetric polynomials .
This allows one to define a polynomial representation of algebra . In what follows we denote the natural image of generators by the same letters.
4 Mapping Class Group Action
Define to be the following automorphisms of
Note that all relations in are preserved by (11).
Automorphisms act on the generators of in the following way
Algebra is invariant under , as a result the above automorphisms act on as well.
Let be defined on basis elements as
Denote the corresponding adjoint action of on as
Automorphisms act on generators of in the following way