Twisted Fock module of toroidal algebra via DAHA and vertex operators
Mikhail Bershtein Roman Gonin
Abstract
We construct the twisted Fock module of quantum toroidal gl1algebra with a slope n0/n using vertex operators of quantum affine gln. The proof is based on the q-wedge construction of an integrable level-one Uq( bgln)-module and the representation theory of double affine Hecke algebra.
The results are consistent with Gorsky-Negut¸ conjecture (Kononov-Smirnov theorem) on stable envelopes for Hilbert schemes of points in the plane and can be viewed as a manifestation of (gl1, gln)-duality.
1 Introduction
Toroidal algebra In this article, we study the representation theory of quantum toroidal gl1, de- noted by Uq1,q2( ¨gl1). The subject has been actively developed in recent years. It has numerous applications, including geometric representation theory, enumerative geometry, topological strings, in- tegrable systems, knot theory, and combinatorics. Due to this, the study of the algebra is particularly interesting.
One of the definitions of Uq1,q2( ¨gl1) is a N → ∞ limit of the spherical double affine Hecke algebra.
The double affine Hecke algebra for glN will be called DAHA for short and denoted by HN, it can be presented by generators
T1, . . . , TN −1, Y1±1, . . . , YN±1, X1±1, . . . , XN±1, (1.1) and relations which we recall in Section 2. The algebra HN depends on a parameter v which appears in Hecke relations and an additional parameter q. The group fSL(2, Z) (central extension of SL(2, Z) by Z) acts on HN via automorphisms. The algebra HN has two natural gradings degX and degY.
Also, the algebra HN has the standard Cherednik representation, denoted by Cu. As a vector space, Cu is the space of Laurent polynomials C[Y1±1, . . . , YN±1]. The generators Yi act by multiplication and Xi act by certain q-difference operators. The common eigenvectors of X1. . . , XN in the space of Laurent polynomials C[Y1±1, . . . , YN±1] are nonsymmetric Macdonald polynomials [Che05].
Let S+∈ HN denotes symmetrizer in Hecke algebra, then the spherical DAHA SH[+]N is S+HNS+. It has homogeneous generators Pa,b, (a, b) ∈ Z2\{(0, 0)} such that
P0,k = S+
XYikS+, k > 0, degXPa,b= a, degY Pa,b= b, σPa,b= Pσ(a,b), σ ∈ SL(2, Z). (1.2) It appears that relations between Pa,b stabilize in the limit N → ∞. The quantum toroidal algebra Uq1,q2( ¨gl1) is a central extension of a limit (in a certain sense) of SHN[+][SV11]. The algebra Uq1,q2( ¨gl1) is generated by Pa,b and central elements c±1, (c0)±1. The algebra depends on parameters q1 and q2. For any N and q1= q, q2= v2, there is a surjective homomorphism Uq1,q2( ¨gl1) SH[+]N . This gives an action of Uq1,q2( ¨gl1) on the space of symmetric Laurent polynomials S+C[Y1±1, . . . , YN±1]. Moreover, there is a limit action of Uq1,q2( ¨gl1) on the space of symmetric functions Λ. The eigenvectors of the operators Pk,0 in Λ are Macdonald symmetric functions. The SL(2, Z)-action on SH[+]N can be lifted to an fSL(2, Z)-action on Uq1,q2( ¨gl1).
arXiv:2109.12598v1 [math.QA] 26 Sep 2021
The space Λ = C[p1, p2, . . . ] is the space of polynomials in infinite number of variables (power sums). This space has a natural action of Heisenberg algebra with generators ak, k ∈ Z6=0 and relations [ak, al] = kδk+l,0. Namely, operators a−k act as multiplication by pk and ak act as k∂pk, for k > 0. The action of Uq1,q2( ¨gl1) on Λ can be written via Heisenberg generators ak, this construction is called bosonization. The formulas are written for the generators P1,b, P0,k, P−1,b for b ∈ Z and k ∈ Z6=0, these generators are called Chevalley generators (contrary to all Pa,b for (a, b) ∈ Z2\{(0, 0)}, which could be called PBW generators). The formulas for the bosonization roughly look like
P0,k = # ak, X
P1,bz−b = u−1# exp X
#a−kzk
, X
P−1,bz−b = u# exp X
#a−kzk , (1.3)
see Section 6.4 for the precise formulas. The representation is called Fock module. It depends on the parameter u, we denote the representation by Fu. The formula (1.3) is equivalent to the orignal consturction in [FHH+09].
The algebra Uq1,q2( ¨gl1) can be considered as a quantum group, it has topological coproduct as in Drinfeld current realization [DI97]. Using this coproduct we can construct Uq1,q2( ¨gl1)-representations of the form Fu1⊗ · · · ⊗ Fun. It was shown in [FHS+10], [Neg18] that the image of (completed) toroidal algebra Uq1,q2( ¨gl1) in the endomorphisms of this tensor product is the q-W -algebra for gln. Moreover, the algebra Uq1,q2( ¨gl1) can be viewed as a central extension of the limit of such W -algebras1, this was one of the first motivations to study Uq1,q2( ¨gl1), see [Mik07].
Stable bases and duality The algebra Uq1,q2( ¨gl1) plays an important role in geometric representa- tion theory. Let Hilbk denotes Hilbert scheme of k points in C2. There is a natural action of the torus T = C∗q1 × C∗q2 on Hilbk. Let KT(Hilbk)loc denotes localized equivariant K-theory of Hilbk. There is an action of Uq1,q2( ¨gl1) on the sum K = L∞
k=0KT(Hilbk)loc via correspondences. The obtained representation is isomorphic to the Fock module Fu [FT11],[SV13].
The torus fixed points of Hilbk are labeled by the partitions λ with |λ| = k. Denote the corre- sponding point by pλ ∈ Hilbk. Due to localization theorem, there is a basis {[pλ]} in K. This basis corresponds to the Macdonald symmetric functions under the identification K ∼= Fu∼= Λ.
There is another remarkable basis in the space K, namely, K-theoretic stable envelope basis {sωλ}, see [Oko17]. The stable envelope sωλ depends on the slope parameter ω ∈ R \ Q. For fixed k, there is a chamber structure, namely, sωλ ∈ KT(Hilbk)loc is a piecewise constant function on ω with discontinuities at rational numbers m/n with n ≤ k. So for any rational number m/n we can define elements sm/n+λ and sm/n−λ for sufficiently small .
In the paper [GN17], Gorsky and Negut¸ conjectured that for coprime integer m, n there is an identification between Fu and integrable level-one representation of quantum affine algebra Uv( bgln) such that bases {sm/n−λ } and {sm/n+λ } correspond to the standard and costandard bases respectively.
This conjecture was supported by the consistency of the action of operators Pkm,kn ∈ Uq1,q2( ¨gl1) on stable basis [Neg16] and diagonal v–Heisenberg subalgebra in Uv( bgln) on standard basis [LT00].
This conjecture was proven by Kononov and Smirnov in [KS20] using geometric methods, in particular 3d-mirror symmetry. Algebraically, this relation could be viewed as a manifestation of (gl1, gln)-duality in toroidal setting. The relation between 3d-mirror symmetry and (glm, gln)-duality (in affine setting) appeared in [RSVZ19].
To state our main result, we need to reformulate the above “in the opposite way”. Let us start not from Uq1,q2( ¨gl1) but from the intergrable level-one representation of Uv( bgln). We construct an action of Uq1,q2( ¨gl1) on this space such that the obtained representation is isomorphic to the Fock module
1The algebra Uq1,q2( ¨gl1) is a central extension of the limit of SH[+]N for N → ∞. The completed algebra Uq1,q2( ¨gl1) is a central extension of the limit of W -algebras for glnfor n → ∞. These statements are independent. E.g. non-completed Uq1,q2( ¨gl1) with c = v−1, c0= 1 acts faithfully on Fu, though the image of the completion is isomorphic to (completed) Heisenberg algebra due to formula (1.3).
twisted by σ ∈ fSL(2, Z), here σ(m, n) = (0, 1). The action of Chevalley generators P1,b, P−1,b is given in terms of vertex operators for Uv( bgln), and P0,k are proportional to the generators of the diagonal v–Heisenberg subalgebra in Uv( bgln).
Our results The integrable level-one representation of Uv( bgln) has an explicit construction in terms of semi-infinite v-wedges [Ste95, KMS95]. We first consider the case of finite v-wedges and then take the limit. Let Cn[Y±1] denotes the evaluation representation of Uv( bgln), then its N -th tensor power can be written as
Cn[Y±1]⊗N
' (Cn)⊗N[Y1±1, . . . , YN±1]. (1.4) By the quantum affine version of Schur-Weyl duality, there is an action of the affine Hecke algebra HY with the generators Ti, Yj on this space, moreover this action commutes with Uv( bgln) (see [GRV94], [CP94] and references therein). In Theorem 3.1 we extend this action to the whole DAHA HN. The construction depends on an integer number ntw. If ntw is coprime to n then the obtained represen- tation is isomorphic to Cherednik polynomial representation twisted by certain σ ∈ fSL(2, Z), see Theorem 3.4. Below we will assume this coprimeness and denote n0 = ntw.
Let S− be antisymmetrizer in the (finite) Hecke algebra, SHN[−]= S−HNS− be the corresponding spherical DAHA. Above we discussed that the algebra Uq1,q2( ¨gl1) surjects onto SH[+]N . Analogously, Uq1,q2( ¨gl1) surjects onto SHN[−] for q1 = q, q2 = v−2. Using this we obtain an action
Uq1,q2( ¨gl1) → SHN[−]y S−
(Cn)⊗N[Y1±1, . . . , YN±1]
= ΛNv Cn[Y±1] . (1.5) The space Cn[Y±1] has a basis enj+a = Yjea for a = 0, . . . , n − 1 and j ∈ Z. Then the space ΛNv Cn[Y±1] has a basis ek1 ∧ · · · ∧ ekN for k1 < · · · < kN. It appears that the action Chevalley generators P1,b, P−1,b on this space can be written in terms of vertex operators Φk, Φ∗k, Ψk, Ψ∗k. The operators Φk, Ψk are given by Φk(w) = ek∧ w, Ψk(w) = w ∧ ek. The operators Φ∗k, Ψ∗k are dual. Then the action of Chevalley generators is given by the formulas
P1,b 7→X
k∈Z#Ψk+n0+nbΦ∗−k, P−1,b 7→X
k∈Z#Φk−n0+nbΨ∗−k, (1.6) see Section 6.1 for details. Let us remark that the operators Φk, Φ∗k, Ψk, Ψ∗kare components of natural intertwining operators
Φ : Cn[Y±1]⊗ΛNv Cn[Y±1] → ΛN +1v Cn[Y±1] , Φ∗: ΛNv Cn[Y±1] → Cn[Y±1]⊗ΛN −1v Cn[Y±1] , Ψ : ΛNv Cn[Y±1] ⊗Cn[Y±1] → ΛN +1v Cn[Y±1] , Ψ∗: ΛNv Cn[Y±1] → ΛN −1v Cn[Y±1] ⊗Cn[Y±1].
Vertex operators can be considered in a more general context as such intertwiners [FR92, JM95].
The space Λ∞/2v Cn[Y±1] is defined as an inductive limit
Cn[Y±1] → Λ2v Cn[Y±1] → · · · → ΛNv Cn[Y±1] → . . . (1.7) Since Uv( bgln) and Uq1,q2( ¨gl1) act on ΛNv Cn[Y±1], it is natural to ask for the limit of these actions.
It was shown [Ste95, KMS95] that the action of Uv( bgln) has an (appropriately defined) limit, the obtained representation is an intergrable level-one module of Uv( bgln).
We take the limit of the Uq1,q2( ¨gl1)-action in several steps. Introduce several subalgebras in Uq1,q2( ¨gl1): Uq1,q2( ¨gl1)+, Uq1,q2( ¨gl1)−, Uq1,q2( ¨gl1)., Uq1,q2( ¨gl1)↓ which are generated by c, c0, and Pa,b subject to the conditions a ≥ 0, a ≤ 0, an0+ bn ≤ 0, b ≤ 0 respectively. These subalgebras are dis- played on the Fig. 1. They are isomorphic due to fSL(2, Z)-action on Uq1,q2( ¨gl1). Consider an element σ ∈ fSL(2, Z) such that Uq1,q2( ¨gl1). = σ
Uq1,q2( ¨gl1)↓
. The element is particularly important since we will obtain the Fock module twisted by σ.
Uq1,q2( ¨gl1)+ Uq1,q2( ¨gl1)− Uq1,q2( ¨gl1). Uq1,q2( ¨gl1)↓ Figure 1: Subalgebras of Uq1,q2( ¨gl1) used in Sections 6, 7
Theorem 6.1 states that the action of operators from Uq1,q2( ¨gl1)+ converges for |q−1v2| < 1. Simi- larly, Theorem 6.2 states that the action of Uq1,q2( ¨gl1)− converges for |q−1v2| > 1. Therefore we can not obtain the action of whole Uq1,q2( ¨gl1) by a straightforward limit argument. Though the obtained action of the generators P±1,bis given by rational functions of q, v, hence it can be analytically contin- ued for generic q, v. This gives actions Uq1,q2( ¨gl1)±y Λ
∞/2
v Cn[Y±1] for generic q, v. The proofs use the expressions via vertex operators (1.6) and as a result we get analogous formulas after the limit, see formula (1.9) below.
On the other hand, we show in Section 7.1 that the action of Uq1,q2( ¨gl1). converges for any q, v.
Also, we prove that the obtained representation is isomorphic to the restriction of twisted Fock module Fuσ to Uq1,q2( ¨gl1).. Using this we can glue the actions of Uq1,q2( ¨gl1)+ and Uq1,q2( ¨gl1)− and obtain Theorem 1.1. The following formulas determine an action of Uq1,q2( ¨gl1) on Λ∞/2v Cn[Y±1]
c 7→ v−n, c07→ v−n0, P0,j 7→ #Bj, (1.8)
P1,b7→X
k∈Z# ˆΨk+n0+nbΦˆ∗−k, P−1,b 7→X
k∈Z# ˆΦk−n0+nbΨˆ∗−k, (1.9) for q1 = q, q2 = v−2. The obtained representation is isomorphic to twisted Fock module Fuσ.
Here Bkare the generators of the diagonal v–Heisenberg subalgebra in Uv( bgln) and ˆΦk, ˆΦ∗k, ˆΨk, ˆΨ∗k are vertex operators acting on the semi-infinite wedge. We discuss the meaning of the series (1.9) in Section 6.3 as an explicitly written analytic continuation. For the precise statement of the theorem above see Theorem 7.1.
Recall that our original motivation was the relation between standard and stable bases. By the def- inition [LT00], the standard basis consists of semi-infinite wedges e−λ1∧ e−λ2+1∧ · · · ∈ Λ∞/2v Cn[Y±1].
There is a combinatorial characterization of the stable basis given by certain three conditions [Neg16, Sect. 4.1]. We check two of these conditions, see Theorem 8.1. As above, the proof is based on the
“finitization”, namely, we first prove similar properties for the basis {ei1 ⊗ · · · ⊗ eiN} in the space (1.4), see Corollary 3.4 and Theorem 3.3. The most interesting “window” condition will be consid- ered elsewhere. A verification of the condition would give a new proof of Gorsky-Negut¸ conjecture (Kononov-Smirnov theorem).
Further Questions
• In the paper we proved Theorem 8.1 using the corresponding properties of the basis {ei1⊗ · · · ⊗ eiN} in the space (1.4). It is natural to expect a finite non-symmetric analog of Gorsky-Negut¸
conjecture. This means that apart from the proven properties, there is a “window” condition given in terms of nonsymmetric Macdonald polynomials.
• In the paper we constructed duality (action on the same space) of two algebras Uq1,q2( ¨gl1) and Uv( bgln). The action of quantum affine algebra could be promoted to the toroidal algebra
Uv,v0( ¨gln). This could be viewed as some twisted generalization of [FJM19], we expect that a new presentation of toroidal algebra suggested in [Neg19] is relevant for this question.
Usually, the most interesting part of (glm, gln)-duality is a relation between integrable systems, see e.g. [FJM19]. We do not know the corresponding results in our setting.
• It is interesting to find an interpretation of our construction in the framework of geometric representation theory. In particular, to relate our results to the results of [KS20].
• Usually, the algebra Uq1,q2( ¨gl1) acts on representations through a quotient which is isomorphic to a q-W algebra. Our construction of the twisted Fock module should be related to realizations of twisted q-W algebras. To the best of our knowledge, even the corresponding q-W algebras are not known. See [BG21] for the n = 2 case and [BG20] for the case of any n and q2= 1.
Plan of the paper In Section 2 we recall the definition of DAHA and the corresponding basic constructions.
In Section 3 we construct and study action of DAHA on the space (Cn)⊗N[Y1±1, . . . , YN±1]. We prove that the obtained representation is isomorphic to twisted Cherednik representation (Theorem 3.4).
Also, we prove Theorems 3.2 and 3.3 which state that certain matrices are upper triangular, the theorems are used in the proof of Theorem 3.4 and in Sections 7 and 8.
In Section 4 we recall a presentation and some properties of the toroidal algebra Uq1,q2( ¨gl1). In particular, we describe its relation to spherical DAHA. We mainly follow [SV11].
In Section 5 we study the space of finite and semi-infinite wedges. We mainly follow [KMS95, LT00].
We slightly extend loc. cit. results since we need properties of all the types of the vertex operators Φ, Φ∗, Ψ, Ψ∗, but only Φ was considered in loc. cit.. The main results are Propositions 5.10, 5.12 on N → ∞ stabilization of the vertex operators and Proposition 5.19 on commutation relations with the diagonal v-Heisenberg subalgebra of Uv( bgln).
In Section 6 we study the limit for the action of Chevalley generators via the vertex operators formula. This gives the actions of Uq1,q2( ¨gl1)+and Uq1,q2( ¨gl1)−as a limit for |q−1v2| < 1 and |q−1v2| > 1 respectively. The formula allows us to obtain an analytic continuation of the actions. Also, we consider an example of the construction in the case of the (non-twisted) Fock module.
In Section 7 we prove that the action of Uq1,q2( ¨gl1). converges for any q and v. Then we show that the action of the subalgebras Uq1,q2( ¨gl1)± and Uq1,q2( ¨gl1). are restrictions of an action of the whole Uq1,q2( ¨gl1). The obtained representation is isomorphic to the twisted Fock module. The action of Chevalley generators of Uq1,q2( ¨gl1) is given by the formulas via vertex operators (Theorem 7.1).
This is the main result of the whole paper.
In Section 8 we study standard basis, the main result is Theorems 8.1 mentioned above.
In Appendix A we recall the action of Uv( bgln) on Λ∞/2v Cn[Y±1]. Then we deduce intertwining properties for the operators Φ∗k, here the non-trivial part is a precise form of commutation relations with the diagonal v-Heisenberg algebra (Theorem A.1). This is used in the main part of the text (the proof of Proposition 5.19).
Acknowledgments We are grateful to B. Feigin, E. Gorsky, Y. Kononov, I. Makedonskyi, A. Negut¸, A. Okounkov, A. Smirnov for their interest in our work and discussions. We are grateful to the participants of the seminar ‘Macdonald polynomials and DAHA’ for the inspiring atmosphere of learning. MB is grateful to S. Grishaev for his help with computations in Sage. The work was partially carried out in Skolkovo Institute of Science and Technology under financial support of Russian Science Foundation within grant 19-11-00275. RG was also supported by “Young Russian Mathematics”
award.
2 Double Affine Hecke Algebra
In this section, we recall the definition and basic properties of double affine Hecke algebra (DAHA) [Che92, Kir97, Che05]. This section consists no new results.
Definition 2.1. Double affine Hecke algebra HN is an algebra with generators T1, . . . , TN −1, π±1,Y1±1, . . . , YN±1 and relations
(Ti− v)(Ti+ v−1) = 0, TiTi+1Ti= Ti+1TiTi+1, TiTj = TjTi for |i − j| > 1, (2.1) TiYiTi = Yi+1, TiYj = YjTi for j 6= i, i + 1, (2.2)
πYiπ−1= qδi,NYi+1, YiYj = YjYi, (2.3)
πTiπ−1= Ti+1, πNTi = TiπN, (2.4)
here and below we use the convention Y1 = YN +1.
The operators T1, . . . , TN −1generate finite Hecke algebra H. The operators T1, . . . , TN −1, Y1,. . . ,YN generate affine Hecke algebra HY. The operators T1, . . . , TN −1, π±1 generate another affine Hecke al- gebra denoted by HX. Here one can define
Xi = Ti· · · TN −1π−1T1−1· · · Ti−1−1. (2.5) The relations on Xi are
Ti−1XiTi−1 = Xi+1, X2−1Y1X2Y1−1= T12, X1Y2−1X1−1Y2 = T12. (2.6) Let fSL(2, Z) be the braid group on 3 stands. More precisely, fSL(2, Z) is generated by τ+ and τ− with the relation τ+τ−−1τ+= τ−−1τ+τ−−1. We use this notation since fSL(2, Z) is an extension of SL(2, Z) by Z, the projection is given by
τ+ 7→1 1 0 1
, τ−7→1 0
1 1
. (2.7)
The kernel is generated by (τ+τ−−1τ+)4.
Proposition 2.2 ([Che05]). There is an action of fSL(2, Z) on HN determined by the following for- mulas
τ+: Ti7→ Ti, Xi7→ Xi, Yi7→ YiXiTi−1· · · T1T1· · · Ti−1, (2.8) τ−: Ti7→ Ti, Xi7→ XiYiTi−1−1 · · · T1−1T1−1· · · Ti−1−1, Yi7→ Yi. (2.9) The algebra HN is bigraded with the gradings degX and degY defined by
degXπ = − 1 degXYi=0 degXTi=0 (2.10)
degY π =0 degY Yi=1 degY Ti=0. (2.11)
Lemma 2.3. Let n, n0 ∈ Z≥0 be coprime integers. Let m, m0 ∈ Z≥0 be unique pair of integers such that m < n, m0< n0 and nm0− n0m = 1. Then there is an fSL(2, Z) transformation mapping Xi−1 to Bi and Yi to Ai such that
degX(Bi) = −n, degY(Bi) = n0, degX(Ai) = −m, degY(Ai) = m0. (2.12) Moreover, Bi+1= Ti· · · T1B1T1· · · Ti, Ai+1= Ti· · · T1A1T1· · · Ti, and
B1= Z1· · · Zn+n0, A1 = W1· · · Wm+m0, (2.13)
where
Zj = Y1 if
jn n + n0
= (j − 1)n n + n0
, Zj = X1−1 if
jn n + n0
= (j − 1)n n + n0
+ 1, (2.14) Wj = Y1 if
jm m + m0
= (j − 1)m m + m0
, Wj = X1−1 if
jm m + m0
= (j − 1)m m + m0
+ 1. (2.15) Proof. The formulas for Biand Ai, in terms of B1and A1follows from the relations Xj+1−1 = TjXj−1Tj, Yj+1 = TjYjTj. The formulas for B1 and A1 can be proven using Euclidean algorithm. For the step one uses the formulas τ−−1(X1−1) = Y1X1−1= τ+−1(Y1).
Euclidean algorithm used in the proof can be viewed as decomposition of the matrix
n −m
−n0 m0
into a product of the matrices1 −1
0 1
, 1 0
−1 1
which correspond to τ+−1, τ−−1.
The formula for B1 has also the following geometric interpretation. Draw the segment from (0, 0) to (n0, n). Draw the closest north-east lattice path below the segment. Then for each east step of the path we write Y1 and for each north step we write X1−1.
Example 2.4. Let us take n = 5 and n0 = 3. Then
τ+−1τ−−1τ+−1τ−−1(X1−1) = Y1X1−1Y1X1−2Y1X1−2, τ+−1τ−−1τ+−1τ−−1(Y1) = Y1X1−1Y1X1−2.
The formulas of B1 agrees with the form of the sequence n+njn0 namely 0,58,108 ,158,208 ,258,308,358 ,408 as well as the geometric description.
2.1 Cherednik representation
Algebra HX has one-dimensional representation Cu
Ti 7→ v, π 7→ u.
Cherednik representation Cu of HN is the induced representation IndHHNXCu. It can be identified with the space of Laurent polynomials C[Y1±1, . . . , YN±1]. The action of the generators Ti and π can be written as
Ti = sYi + (v − v−1) sYi − 1
Yi/Yi+1− 1, π(Y1λ1Y2λ2· · · YNλN) = uqλNY1λNY2λ1Y3λ2· · · YNλN −1, here sYi is the permutation of Yi and Yi+1.
For any composition λ = (λ1, · · · λN) ∈ ZN we denote Yλ = Y1λ1· · · YNλN, such vectors form the standard monomial basis in Cherednik representation. We will write λ ≤ µ if µ − λ ∈ ⊕Z≥0αi, where αi are positive simple roots of slN.
Definition 2.5. Let λ, µ ∈ ZN. We write λ ≺ µ if
1. λ+< µ+ where λ+ is the dominant coweight lying in the orbit of λ, and analogously for µ+ 2. λ+= µ+ and λ < µ
For example, in case N = 2 we have
(1, 1) ≺ (0, 2) ≺ (2, 0).
The action of the operators X1, . . . , XN in the basis Yλ is triangular with respect to the order ≺.
More explicitly
XiYλ = u−1q−λiv−l(λ)i Yλ+X
µ≺λ
xλ,µYµ, (2.16)
here
l(λ)i =
{j|λj > λi} +
{j|j < i, λj = λi} −
{j|λj < λi} −
{j|j > i, λj = λi}
. (2.17)
The non-symmetric Macdonald polynomials Eλ are defined as eigenvectors of X1, . . . , XN with the leading term Yλ. Note that (2.16) implies
XiEλ = u−1q−λiv−l(λ)i Eλ. (2.18)
3 Representation
In this section we introduce representation C(n,nu0,...,utw)n−1, generalize (2.16) and interpret the obtained representation as twisted Cherednik representation. Also, we study a basis Aλ of the representation C(n,nu0,...,utw)n−1 in the case gcd(n, ntw) = 1.
3.1 Explicit construction
Action of affine Hecke algebra Fix n and let Cn be a vector space with the basis e0, . . . , en−1. Define an R-matrix acting on Cn⊗ Cn
R = vX
a
Eaa⊗ Eaa+X
a<b
Eab⊗ Eba+ Eba⊗ Eab+ (v − v−1)Eaa⊗ Ebb
, (3.1)
here Eabis a matrix unit. Define an action of H on (Cn)⊗N by the formula Ti7→ Ri,i+1, here the indices encodes factors on which R-matrix acts. One can induce an action of HY on (Cn)⊗N[Y1±1, . . . YN±1].
Below we will introduce notation to distinguish different actions of permutation group on the space (Cn)⊗N[Y1±1, . . . YN±1]. Let sYij be an operator acting on (Cn)⊗N[Y1±1, . . . , YN±1] which swaps Yi and Yj. Let seij be an operator acting on (Cn)⊗N[Y1±1, . . . , YN±1] which swaps tensor factors number i and j (and commutes with all Yk). Finally, let sij = sYijseij. Also, we will denote sYi = sYi,i+1, sei = sei,i+1, and si = si,i+1.
The action of Ti is given by the following formula
Ti = sYi Ri,i+1+ (v − v−1) sYi − 1
Yi/Yi+1− 1 (3.2)
The obtained representation of affine Hecke algebra HY is well-know [GRV94], [CP94]. It appears in the context of quantum affine Shcur-Weyl duality.
Action of DAHA Below we will use the following identification Cn[Y±1]⊗N
→ (Cn)⊗N[Y1±1, . . . , YN±1] (3.3) (Yj1ei1) ⊗ · · · ⊗ (YjNeiN) 7→ Y1j1· · · Ynjnei1 ⊗ · · · ⊗ eiN (3.4)
Let us introduce ei ∈ Cn[Y±1] for i ∈ Z by setting
ei = Y−1ei+n. (3.5)
Introduce operators κ and D acting on Cn[Y±1] by κei = ei−1, D(Yjea) = uaqjYjea for a = 0, . . . , n−1. Here u0, . . . , un−1 are any non-zero numbers. By κi and Di we denote the corresponding operators acting on i-th tensor factor.
Theorem 3.1. For any non-zero numbers u0, . . . , un−1 and ntw∈ Z, there is an action of algebra HN
on (Cn)⊗N[Y1±1, . . . , YN±1] determined by the following conditions
• subalgebra HY acts as discribed above
• π = κn1twD1s1· · · sN −1
Denote the obtained representation by C(n,nu0,...,utw)n−1.
Proof. It is enough to check the relations involving π. The relations πYiπ−1= qδi,NYi+1and πTiπ−1 = Ti+1 are easy to see. Let us check that πN commutes with Ti. Since
πN(w1⊗ · · · ⊗ wN) = (κntwDw1) ⊗ (κntwDw2) ⊗ · · · ⊗ (κntwDwN) ,
it is sufficient to consider only the N = 2 case. In this case we denote T = T1 for brevity. Let l = h + nk + s for k ≥ 0 and s = 0, . . . n − 1. For s = 0
T (eh⊗ el) = vel⊗ eh+ (v − v−1)
k
X
j=1
el−nj⊗ eh+nj for k ≥ 0, (3.6)
T (el⊗ eh) = v−1eh⊗ el− (v − v−1)
k−1
X
j=1
el−nj⊗ eh+nj for k > 0. (3.7)
For s > 0
T (eh⊗ el) = el⊗ eh+ (v − v−1)
k
X
j=0
eh+nj⊗ el−nj, (3.8)
T (el⊗ eh) = eh⊗ el− (v − v−1)
k
X
j=1
el−nj⊗ eh+nj. (3.9)
Since the formulas (3.6)–(3.9) are invariant under the shift l 7→ l − ntw, h 7→ h − ntw, we see that T π2 = π2T for N = 2.
3.2 Triangularity of Macdonald operators Introduce a grading on (Cn[Y±1])⊗N as follows
deg ea1 ⊗ · · · ⊗ eaN =X
ai, deg Yi=n. (3.10)
Then the operators Ti preserve the grading and deg π = −ntw. Hence deg Xi = ntw.
To simplify our notation, let us assume n, ntw > 0. Let d = gcd(n, ntw), we use notations n00= n/d, n0 = ntw/d. Consider integers m, m0 such that nm0 − ntwm = d, 0 ≤ m0 < n0, 0 ≤ m < n00. Hence there is σ ∈ fSL(2, Z) such that
σ(Xi) =B−1i , degX(Bi) = −n00, degY(Bi) = n0, deg Bi =0, (3.11) σ(Yi) =Ai, degX(Ai) = −m, degY(Ai) = m0, deg Ai =d. (3.12)
The corresponding matrix in SL(2, Z) is n00 −m
−n0 m0
. Lemma 2.3 gives explicit formulas for Bi, Ai. Consider operators
Gij = Rijseij + (v − v−1) 1 − sYij
Yi/Yj− 1seij. (3.13) Denote Gi = Gi,i+1. It follows from (3.2) that Ti = Gisi. Using this, we can write the following formula
X1−1= πTN −1−1 · · · T1−1= κ1ntwD1s1· · · sN −1sN −1G−1N −1,N· · · s1G−11,2 = κ1ntwD1G−11,N· · · G−11,2. (3.14) For any collection λ = (λ1, . . . , λN) ∈ ZN, we can consider a vector eλ = eλ1 ⊗ · · · ⊗ eλN. We are going to prove that the operators Bi are triangular in the basis eλ with respect to order ≺. Basically, the proof is a computation, similar to [Kir97, Sect. 5]. Let us first explain the idea on the following example (cf. Example 2.4).
Example 3.1. Let us take N = 3, n = 5, ntw= 3. Note that Yi= κ−5i . Then we have B1 = Y1X1−1Y1X1−2Y1X1−2 = κ−51 (κ31D1G−11,3G−11,2)κ−51 (κ31D1G−11,3G−11,2)2κ−51 (κ31D1G−11,3G−11,2)2
= (κ−21 D1G−11,3G−11,2κ21)(κ1−4D1G−11,3G−11,2κ41)(κ−11 D1G−11,3G−11,2κ11)(κ−31 D1G1,3−1G−11,2κ31)(D1G−11,3G−11,2),
B2 = T1B1T1= G1,2s1κ−51 (κ31D1G−11,3G−11,2)κ−51 (κ13D1G−11,3G−11,2)2κ−51 (κ31D1G−11,3G−11,2)2G1,2s1
= G1,2(κ−22 D2G−12,3G−12,1κ22)(κ−42 D2G−12,3G−12,1κ42)(κ2−1D2G−12,3G−12,1κ12)(κ−32 D2G−12,3G−12,1κ32)D2G−12,3,
B3 = T2T1B1T1T2
= G2,3s2G1,2s1κ−51 (κ31D1G−11,3G−11,2)κ−51 (κ31D1G−11,3G−11,2)2κ−51 (κ31D1G−11,3G−11,2)2G1,2s1G2,3s2
= G2,3G1,3(κ−23 D3G−13,2G−13,1κ23)(κ−43 D3G−13,2G−13,1κ34)(κ−13 D3G−13,2G−13,1κ13)(κ−33 D3G−13,2G−13,1κ33)D3. Using Proposition 3.3 below, we see that all these operators are triangular.
Now we proceed to the proof.
Proposition 3.2. The operators Gi are triangular in the basis eλ with respect to order ≺.
Proof. It is sufficient to consider the case N = 2. In this case we will write simply G omitting the index. The formulas below is just a reformulation of (3.6)–(3.9). Recall that l = h + nk + s for k ≥ 0 and s = 0, . . . n − 1. For s = 0
G(el⊗ eh) = vel⊗ eh+ (v − v−1)
k
X
j=1
el−nj⊗ eh+nj for k ≥ 0, (3.15)
G(eh⊗ el) = v−1eh⊗ el− (v − v−1)
k−1
X
j=1
el−nj⊗ eh+nj for k > 0. (3.16)
For s > 0
G(el⊗ eh) = el⊗ eh+ (v − v−1)
k
X
j=0
eh+nj⊗ el−nj, (3.17)
G(eh⊗ el) = eh⊗ el− (v − v−1)
k
X
j=1
el−nj⊗ eh+nj. (3.18)
The formulas (3.15)–(3.18) imply that G is triangular.