Non-Symmetric Basic Hypergeometric Polynomials and Representation Theory for Conf luent Cherednik Algebras
In this paper we introduce a basic representation for the confluent Cherednik algebras HV, HIII, HD7III and HD8III defined in arXiv:1307.6140. To prove faithfulness of this basic representation, we introduce the non-symmetric versions of the continuous dual q-Hahn, Al-Salam{Chihara, continuous b...
Збережено в:
| Дата: | 2014 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут математики НАН України
2014
|
| Назва видання: | Symmetry, Integrability and Geometry: Methods and Applications |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/146401 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Non-symmetric basic hypergeometric polynomials and representation theory for confluent cherednik algebras / M. Mazzocco // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-146401 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1464012019-02-10T01:22:57Z Non-Symmetric Basic Hypergeometric Polynomials and Representation Theory for Conf luent Cherednik Algebras Mazzocco, M. In this paper we introduce a basic representation for the confluent Cherednik algebras HV, HIII, HD7III and HD8III defined in arXiv:1307.6140. To prove faithfulness of this basic representation, we introduce the non-symmetric versions of the continuous dual q-Hahn, Al-Salam{Chihara, continuous big q-Hermite and continuous q-Hermite polynomials. 2014 Article Non-symmetric basic hypergeometric polynomials and representation theory for confluent cherednik algebras / M. Mazzocco // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — англ. 2010 Mathematics Subject Classification: 33D80; 33D52; 16T99 http://dspace.nbuv.gov.ua/handle/123456789/146401 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| description |
In this paper we introduce a basic representation for the confluent Cherednik
algebras HV, HIII, HD7III and HD8III defined in arXiv:1307.6140. To prove faithfulness of this
basic representation, we introduce the non-symmetric versions of the continuous dual q-Hahn, Al-Salam{Chihara, continuous big q-Hermite and continuous q-Hermite polynomials. |
| format |
Article |
| author |
Mazzocco, M. |
| spellingShingle |
Mazzocco, M. Non-Symmetric Basic Hypergeometric Polynomials and Representation Theory for Conf luent Cherednik Algebras Symmetry, Integrability and Geometry: Methods and Applications |
| author_facet |
Mazzocco, M. |
| author_sort |
Mazzocco, M. |
| title |
Non-Symmetric Basic Hypergeometric Polynomials and Representation Theory for Conf luent Cherednik Algebras |
| title_short |
Non-Symmetric Basic Hypergeometric Polynomials and Representation Theory for Conf luent Cherednik Algebras |
| title_full |
Non-Symmetric Basic Hypergeometric Polynomials and Representation Theory for Conf luent Cherednik Algebras |
| title_fullStr |
Non-Symmetric Basic Hypergeometric Polynomials and Representation Theory for Conf luent Cherednik Algebras |
| title_full_unstemmed |
Non-Symmetric Basic Hypergeometric Polynomials and Representation Theory for Conf luent Cherednik Algebras |
| title_sort |
non-symmetric basic hypergeometric polynomials and representation theory for conf luent cherednik algebras |
| publisher |
Інститут математики НАН України |
| publishDate |
2014 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/146401 |
| citation_txt |
Non-symmetric basic hypergeometric polynomials and representation theory for confluent cherednik algebras / M. Mazzocco // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — англ. |
| series |
Symmetry, Integrability and Geometry: Methods and Applications |
| work_keys_str_mv |
AT mazzoccom nonsymmetricbasichypergeometricpolynomialsandrepresentationtheoryforconfluentcherednikalgebras |
| first_indexed |
2025-07-10T23:31:52Z |
| last_indexed |
2025-07-10T23:31:52Z |
| _version_ |
1837304766772805632 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 10 (2014), 116, 10 pages
Non-Symmetric Basic Hypergeometric Polynomials
and Representation Theory for Confluent
Cherednik Algebras
Marta MAZZOCCO
Department of Mathematical Sciences, Loughborough University, Loughborough LE11 3TU, UK
E-mail: m.mazzocco@lboro.ac.uk
URL: http://homepages.lboro.ac.uk/~mamm4/
Received October 31, 2014, in final form December 19, 2014; Published online December 30, 2014
http://dx.doi.org/10.3842/SIGMA.2014.116
Abstract. In this paper we introduce a basic representation for the confluent Cherednik
algebras HV, HIII, HD7
III and HD8
III defined in arXiv:1307.6140. To prove faithfulness of this
basic representation, we introduce the non-symmetric versions of the continuous dual q-
Hahn, Al-Salam–Chihara, continuous big q-Hermite and continuous q-Hermite polynomials.
Key words: DAHA; Cherednik algebra; q-Askey scheme; Askey–Wilson polynomials
2010 Mathematics Subject Classification: 33D80; 33D52; 16T99
1 Introduction
In this paper we introduce a faithful representation on the space A of Laurent polynomials for
the confluent Cherednik algebras HV, HIII, HD7
III and HD8
III defined in [5]1 as confluences of the
Cherednik algebra of type Č1C1 [2, 6, 7]:
• HV is the algebra generated by T0, T1, X
±1 with relations:
(T1 + ab)(T1 + 1) = 0, (1.1)
T0(T0 + 1) = 0, (1.2)
(T1X + a)(T1X + b) = 0, (1.3)
qT0X
−1 + c = X(T0 + 1). (1.4)
• HIII is the algebra generated by T0, T1, X
±1 with relations:
(T1 + ab)(T1 + 1) = 0, (1.5)
T 2
0 = 0, (1.6)
(T1X + a)(T1X + b) = 0, (1.7)
qT0X
−1 + 1 = XT0. (1.8)
• HD7
III is the algebra generated by T0, T1, X
±1 with relations:
T1(T1 + 1) = 0, (1.9)
T 2
0 = 0, (1.10)
1See [5, Theorem 4.1] for HV, HIII and [5, Definition 1.4] for HD7
III and HD8
III – observe that in [5] W is X−1
for these algebras.
mailto:m.mazzocco@lboro.ac.uk
http://homepages.lboro.ac.uk/~mamm4/
http://dx.doi.org/10.3842/SIGMA.2014.116
2 M. Mazzocco
T1X + a−X−1(T1 + 1) = 0, (1.11)
qT0X
−1 + 1−XT0 = 0. (1.12)
• HD8
III is the algebra generated by T0, T1, X
±1 with relations:
T1(T1 + 1) = 0, (1.13)
T 2
0 = 0, (1.14)
T1X −X−1(T1 + 1) = 0, (1.15)
qT0X
−1 + 1−XT0 = 0. (1.16)
To prove faithfulness of our basic representation (see Theorems 2.2, 3.2 and 4.2 here below)
in each case, we select a special basis of polynomials in A on which the operators (or specific
combinations of them) act nicely. These bases are obtained by considering the non-symmetric
versions of the continuous dual q-Hahn, Al-Salam–Chihara, continuous big q-Hermite and con-
tinuous q-Hermite polynomials respectively.
In [7] Sahi introduced the non-symmetric version of Koornwinder polynomials [1], and proved
that they form a basis in the space A of Laurent polynomials. A detailed discussion of the rank
one case, i.e. the non-symmetric Askey–Wilson polynomials, was presented in [6] (see also [4]). It
turns out that these non-symmetric Askey–Wilson polynomials behave well under the subsequent
degeneration limits d → 0, c → 0, b → 0 and finally a → 0. However the proof of faithfulness
of our basic representation is not a straightforward limit of the same proof in the case of the
Askey–Wilson algebra, as one would naively expect. This is because the first degeneration limit
destroys some of the leading coefficients in the positive powers of z of half the non-symmetric
continuous dual q-Hahn polynomials and their degenerations. Moreover, the algebra HIII is
not in fact the limit of HV as c → 0 but the one as c → ∞, which introduces the need of an
isomorphism and a few tricks. Last but not least, the HD7
III and HD8
III do not admit a presentation
à la Bernstein–Zelevinsky, which makes the proof of faithfulness in that case rather involved.
2 Non-symmetric continuous dual q-Hahn polynomials
and basic representation of HV
The continuous dual q-Hahn polynomials are the following (we write them here in monic form
like in [3]):
pn(z; a, b, c) :=
(ab, ac; q)n
an
3φ2
(
q−n, az, az−1
ab, ac
; q, q
)
,
and can be obtained from the Askey–Wilson polynomials as limits when d→ 0. This same limit
can be performed on the non-symmetric the Askey–Wilson polynomials, leading to the following
(here we follow [4] approach):
Definition 2.1. Let
q†n(z; a, b, c) := q
n−1
2 (z − c)pn−1
(
q−
1
2 z; q
1
2a, q
1
2 b, q
1
2 c
)
,
the non-symmetric continuous dual q-Hahn polynomials are defined as follows:
E−n[z] := pn(z; a, b, c)− q†n(z; a, b, c), n = 1, 2, . . . ,
En[z] := qnpn(z; a, b, c) +
(
1− qn
)
q†n(z; a, b, c), n = 1, 2, . . . ,
E0[z] := 1.
Representation Theory for Confluent Cherednik Algebras 3
Theorem 2.2. For q, a, b, c 6= 0, qm 6= 1 (m = 1, 2, . . . ), the algebra HV has a faithful represen-
tation on the space A of Laurent polynomials f [z] as follows:
(T0f)[z] :=
(z − c)z
q − z2
(
f [z]− f
[
qz−1
])
, (2.1)
(T1f)[z] :=
(a+ b)z − (1 + ab)
1− z2
f [z] +
(1− az)(1− bz)
1− z2
f
[
z−1
]
, (2.2)
(Xf)[z] := zf [z]. (2.3)
To prove this theorem we follow the same outline as the proof of Theorem 5.3 in [4] with
some important changes as explained in Remark 2.5 here below.
First of all, to prove that the operators defined by (2.1)–(2.3) satisfy the relations (1.1)–(1.4)
is a straightforward computation. To prove faithfulness, we need the following two lemmata:
Lemma 2.3. Let
Z := (T0 + 1)T−11 and Y := T1T0, (2.4)
the algebra HV can equivalently be described as the algebra generated by T1, X±1, Y , Z, satisfying
the following relations respectively:
ZY = Y Z = 0, (2.5)
XT1 = −abT−11 X−1 − a− b, (2.6)
T−11 Y = ZT1 − 1, (2.7)
(T1 + ab)(T1 + 1) = 0, (2.8)
abY X = −qT 2
1XY − q(a+ b)T1Y − abT1X + abcT1. (2.9)
The algebra HV is spanned by elements XmY nT i
1 and XmZnT i
1, where m ∈ Z, n ∈ N and
i = 1, 2.
Proof. To prove the equivalence it is enough to observe that by defining Z and Y as in (2.4),
relations (2.5)–(2.9) follow from (1.1)–(1.4). Vice-versa, defining T0 := T−11 Y we see that
relations (2.5)–(2.9) imply (1.1)–(1.4).
To prove that HV is spanned by elements XmY nT i
1 and XmZnT i
1, where m ∈ Z, n ∈ N and
i = 1, 2, we use the relations (2.5)–(2.9) and the further relations which can be obtained as
a consequence of (2.5)–(2.8):
Y X−1 = q−1X−1Y + q−1(1 + ab)X−1ZT1 − q−1(a+ b)ZT1 + q−1X−1T1 − cq−1T1,
ZX = q−1XZ − q1 + ab
ab
X−1ZT1 +
a+ b
ab
ZT1 −
1
ab
X−1T1
+
c
abq
T1 +
(1 + ab)(q − 1)
ab
(
X−1 − c
q
)
to order any word in the algebra as wanted. �
Lemma 2.4. The non-symmetric continuous dual q-Hahn polynomials form a basis in the space
A of Laurent polynomials and are eigenfunctions of the operators Y := T1T0 and Z := (T0 +
1)T−11 :
(Y E−n)[z] =
1
qn
E−n[z], n = 1, 2, 3, . . . , (2.10)
(Y En)[z] = 0, n = 0, 1, 2, . . . .
4 M. Mazzocco
(ZE−n)[z] = 0, n = 1, 2, 3, . . . , (2.11)
(ZEn)[z] = − 1
abqn
En[z], n = 0, 1, 2, . . . .
Proof. By using the definition of the q-hypergeometric series 3φ2 it is easy to prove that the
terms with the highest powers in z and 1
z in E−n and En have the following form
E−n[z] = z−n + · · ·+
(
abcqn−1 − a− b
)
zn−1, n = 1, 2, . . . , (2.12)
En[z] = zn + · · ·+ qnz−n, n = 1, 2, . . . . (2.13)
Using these relation it is straightforward to prove that the non-symmetric continuous dual q-
Hahn polynomials form a basis in A.
Now to prove (2.10), we use the fact that the operator Y acts on A as follows
(Y f)[z] :=
(z − c)z(1− (a+ b)z + ab)
(1− z2)(q − z2)
(
f
[
qz−1
]
− f [z]
)
+
(1− az)(1− bz)(1− cz)
(1− z2)(1− qz2)
(
f [qz]− f
[
z−1
])
.
Observe that thanks to the forward shift operator relation (14.3.8) in [3], one has:
q†n(z; a, b, c) = − qnz(z − c)
(qn − 1)(q − z2)
(
pn(z; a, b, c)− pn
(
q−1z; a, b, c
))
,
so that one can express (Y E−n)[z] − 1
qnE−n[z] only in terms of pn(z; a, b, c), pn(qz; a, b, c) and
pn(q−1z; a, b, c), which can be shown to be zero by using the q-difference equation (14.3.7) in [3].
In a similar manner all other relations are proved. �
Remark 2.5. Note that as shown in (2.12), the polynomials E−n[z] do not have a term of
order zn like the non-symmetric Askey–Wilson polynomials did. This is due to the fact that
the coefficient of the term zn in the non-symmetric Askey–Wilson polynomials tends to zero as
d → 0. The absence of such term makes the end of the proof of Theorem 2.2 more tricky than
proof of Theorem 5.3 in [4].
Proof of Theorem 2.2. First by using the symmetry properties of the continuous dual q-Hahn
polynomials and their properties it is easy to show that
(T1E−j)[z] = −
(
1 + ab− abqj
)
E−j [z]− abEj [z],
(T1Ej)[z] =
(
1− qj
)(
1− abqj
)
E−j [z]− abqjEj [z].
Combining this with (2.10)–(2.13), we can prove the following ∀n > 0, ∀m ∈ Z, ∀ j > 0:
XmE−j [z] = zm−j + · · ·+
(
abcqj−1 − a− b
)
zm+j−1,
XmY nE−j [z] = q−jnzm−j + · · ·+ q−jn
(
abcqj−1 − a− b
)
zm+j−1,
XmY nT1E−j [z] = −
(
1 + ab− abqj
)
q−jn
(
zm−j + · · ·+
(
abcqj−1 − a− b
)
zm+j−1),
XmT1E−j [z] = −(1 + ab)zm−j + · · · − abzm+j ,
XmZnE−j [z] = 0,
XmZnT1E−j [z] =
(
−1
ab
)n−1
q−nj
(
zm+j + · · ·+ qjzm−j
)
,
XmEj [z] = zm+j + · · ·+ qjzm−j , (2.14)
XmY nEj [z] = 0,
Representation Theory for Confluent Cherednik Algebras 5
XmY nT1Ej [z] =
(
1− qj
)(
1− abqj
)
q−jn
(
zm−j + · · ·+
(
abcqj−1 − a− b
)
zm+j−1),
XmT1Ej [z] =
(
1− abqj − qj
)
zm−j − abqjzm+j ,
XmZnEj [z] =
(
−1
abqj
)n (
qjzm−j + · · ·+ zm+j
)
,
XmZnT1Ej [z] =
(
−1
abqj
)n−1 (
zm+j + · · ·+ qjzm−j
)
.
Now assume by contradiction that a linear combination acts as zero operator in our representa-
tion, let us write such linear combination as:∑
m
amX
m +
∑
m,n
bm,nX
mY n +
∑
m,n,i
cm,nX
mY nT1 +
∑
m,n
dmX
mT1
+
∑
m,n
em,nX
mZn +
∑
m,n,
fm,nX
mZnT1.
Take the minimum value M of m such that at least one coefficient am, bm,n, cm,n, dm, em,n,
fm,n is nonzero. Acting on Ej , and collecting the terms with the minimum possible power of z,
by (2.14) we obtain the equation:
aMq
j +
∑
n
cM,n
(
1− qj
)(
1− abqj
)
q−jn + dM
(
1− abqj − qj
)
+
∑
n
eM,n
(
−1
abqj
)n
qj +
∑
n
fM,n
(
−1
abqj
)n−1
qj = 0, ∀ j > 0.
It is easy to prove that for generic values of the parameters a, b, c, this is an infinite set of
linearly independent equations, therefore the only possible solution is the trivial one. So we can
only have coefficients of type bM,n not zero. Again, acting on E−j , and collecting the terms
with the minimum possible power of z we obtain for every j > 0, the equation:∑
n
bM,nq
−jn = 0,
which admit only trivial solutions. �
3 Non-symmetric Al-Salam–Chihara polynomials
and basic representation of HIII
The Al-Salam–Chihara polynomials are the following:
Qn(z; a, b) :=
(ab; q)n
an
3φ2
(
q−n, az, az−1
ab, 0
; q, q
)
,
and can be obtained from the continuous dual q-Hahn polynomials as limits when c → 0. By
taking the limit c→ 0 of the non-symmetric continuous dual q-Hahn polynomials we obtain the
following:
Definition 3.1. Let
Q†n(z; a, b) := q
n−1
2 zQn−1
(
q−
1
2 z; q
1
2a, q
1
2 b
)
,
the non-symmetric Al-Salam–Chihara polynomials are defined as follows:
E−n[z] := Qn(z; a, b)−Q†n(z; a, b), n = 1, 2, . . . ,
En[z] := qnQn(z; a, b) +
(
1− qn
)
Q†n(z; a, b), n = 1, 2, . . . ,
E0[z] := 1.
6 M. Mazzocco
Theorem 3.2. For q, a, b 6= 0, qm 6= 1 (m = 1, 2, . . . ), the algebra HIII has a faithful represen-
tation on the space A of Laurent polynomials f [z] as follows:
(T0f)[z] := − z
q − z2
(
f [z]− f
[
qz−1
])
, (3.1)
(T1f)[z] :=
(a+ b)z − (1 + ab)
1− z2
f [z] +
(1− az)(1− bz)
1− z2
f
[
z−1
]
, (3.2)
(Xf)[z] := zf [z]. (3.3)
To prove that the operators defined by (3.1)–(3.3) satisfy the relations (1.5)–(1.8) is a straight-
forward computation. To prove faithfulness, we again need to provide an equivalent represen-
tation for the algebra HIII. This is where we need to be careful as the relation between the
non-symmetric Al-Salam–Chihara polynomials and the algebra HIII is not as straightforward
as before because the algebra HIII was obtained as limit of HV as c → ∞ rather than c → 0.
However, changing the definition of Z and Y we can still prove the following:
Lemma 3.3. Let
Z := −XT0T−11 + T−11 and Y := −T1XT0, (3.4)
then the algebra HIII can equivalently be described as the algebra generated by T1, X±1, Y , Z,
satisfying the following relations respectively:
ZY = Y Z = 0, (3.5)
XT1 = −abT−11 X−1 − a− b, (3.6)
T−11 Y = ZT1 − 1, (3.7)
(T1 + ab)(T1 + 1) = 0, (3.8)
abY X = −qT 2
1XY − q(a+ b)T1Y − abT1X. (3.9)
The algebra HIII is spanned by elements XmY nT i
1 and XmZnT i
1, where m ∈ Z, n ∈ N and
i = 1, 2.
Proof. The relations (3.5)–(3.9) follow from (1.5)–(1.8). Vice-versa, defining T0 := −X−1T−11 Y
we see that relations (3.5)–(3.9) imply (1.5)–(1.8).
To prove that HIII is spanned by elements XmY nT i
1 and XmZnT i
1, where m ∈ Z, n ∈ N and
i = 1, 2, we use the relations (3.5)–(3.9) and the further equivalent relations
Y X−1 = q−1X−1Y + q−1(1 + ab)X−1ZT1 − q−1(a+ b)ZT1 + q−1X−1T1,
ZX = q−1XZ − q1 + ab
ab
X−1ZT1 +
1 + ab
ab
ZT1 −
1
ab
X−1T1 +
(1 + ab)(q − 1)
ab
X−1
to order any word in the algebra as wanted. �
Lemma 3.4. The non-symmetric Al-Salam–Chihara polynomials form a basis in the space A
of Laurent polynomials and are eigenfunctions of the operators Y and Z:
(Y E−n)[z] =
1
qn
E−n[z], n = 1, 2, . . . ,
(Y En)[z] = 0, n = 0, 1, 2, . . . .
(ZE−n)[z] = 0, n = 0, 1, 2, . . . ,
(ZEn)[z] = − 1
abqn
En[z], n = 1, 2, . . . .
Representation Theory for Confluent Cherednik Algebras 7
Proof. Consider the following isomorphism:
η(T0, T1, X) = (−XT0, T1, X) =
(
T̃0, T̃1, X̃
)
,
which maps the algebra HIII to the isomorphic algebra H̃III defined by the generators T̃0, T̃1, X̃
and relations(
T̃1 + ab
)(
T̃1 + 1
)
= 0, T̃ 2
0 + T̃0 = 0,(
T̃1X̃ + a
)(
T̃1X̃ + b
)
= 0, qT̃0X̃
−1 = X̃
(
T̃0 + 1
)
.
Note that the algebra H̃III is obtained by taking the limit of c → 0 of the algebra HV, so that
the proof of this lemma is based on the fact that the action of the new Y and Z defined by (3.4)
is obtained by taking the limit of c→ 0 of the corresponding action of the old Y and Z defined
in Section 2. �
Proof of Theorem 3.2. Similarly to the proof of Lemma 3.4, we can use the isomorphism η
to prove this theorem by taking the limit c → 0 of the proof of Theorem 2.2 – note that this
limit none of the coefficients in the relations (2.14) becomes zero, thus making this limit rather
straight-forward. �
4 Non-symmetric continuous (big) q-Hermite polynomials
and basic representations of (HD7
III) HD8
III
In this section we give all definitions and proof for the symmetric continuous big q-Hermite
polynomials and the algebra HD7
III . By taking the simple limit a→ 0, all proofs remain valid for
the HD8
III algebra and the continuous q-Hermite polynomials.
The continuous big q-Hermite polynomials are the following:
Hn(z; a) := zn 2φ0
(
q−n, az
− ; q, qnz−2
)
,
and can be obtained from the Al-Salam–Chihara polynomials as limits when b→ 0. By taking
the limit b→ 0 of the non-symmetric continuous dual Al-Salam–Chihara we obtain the following:
Definition 4.1. Let
Q†n(z; a) := q
n−1
2 zHn−1
(
q−
1
2 z; q
1
2a
)
,
the non-symmetric continuous big q-Hermite polynomials are defined as follows:
E−n[z] := Hn(z; a)−Q†n(z; a), n = 1, 2, . . . ,
En[z] := qnHn(z; a) +
(
1− qn
)
Q†n(z; a), n = 1, 2, . . . ,
E0[z] := 1.
Similarly, the non-symmetric continuous q-Hermite polynomials are defined by taking the
limit of the non-symmetric continuous big q-Hermite polynomials as a→ 0.
Theorem 4.2. For q, a 6= 0, qm 6= 1 (m = 1, 2, . . . ), the algebra HD7
III has a faithful representa-
tion on the space A of Laurent polynomials f [z] as follows:
(T0f)[z] := − z
q − z2
(
f [z]− f
[
qz−1
])
, (4.1)
8 M. Mazzocco
(T1f)[z] :=
az − 1
1− z2
(
f [z]− f
[
z−1
])
, (4.2)
(Xf)[z] := zf [z]. (4.3)
By taking the above representation for a = 0 (still assuming q 6= 0, qm 6= 1 for m = 1, 2, . . . ),
we obtain a faithful representation of the algebra HD8
III .
To prove that the operators defined by (4.1)–(4.3) satisfy the relations (1.9)–(1.12) is
a straightforward computation. To prove faithfulness, we can’t use an equivalent represen-
tation à la Bernstein–Zelevinsky as there isn’t one. We proceed by proving the following two
lemmata:
Lemma 4.3. The algebras HD7
III and HD8
III are spanned by the elements
Xk(T0T1)
l, Xk(T0T1)
lT0, Xk(T1T0)
l, Xk(T1T0)
lT1 for k ∈ Z, l ∈ N.
Proof. We give the proof for the algebra HD7
III only, as the limit a→ 0 in this proof is a straight-
forward substitution of a by 0.
Let us consider all possible words in the algebra HD7
III and order them by using relations (1.11)
and (1.12) in such a way that all powers of X are on the left. Thanks to (1.9) and (1.10) the
generators T0 and T1 may only appear with powers 1 or 0. We then are the following possible
words:
Xk(T0T1)
l, Xk(T0T1)
lT0, Xk(T1T0)
l, Xk(T1T0)
lT1 for k ∈ Z, l ∈ N,
as we wanted to prove. �
Lemma 4.4. The non-symmetric big q-Hermite polynomials form a basis in the space A of
Laurent polynomials and the operators T0 and T1 act on them as follows:
(T0Ej)[z] = 0, (4.4)
(T0E−j)[z] = − 1
qj
Ej−1[z], (4.5)
(T1Ej)[z] =
(
1− qj
)
E−j [z], (4.6)
(T1E−j)[z] = −E−j [z]. (4.7)
Proof. By using the definition of the q-hypergeometric series 2φ0 it is easy to prove that the
terms with the highest powers in z and 1
z in E−n and En have the following form
E−n[z] = z−n + · · · − azn−1, n = 1, 2, . . . , (4.8)
En[z] = zn + · · ·+ qnz−n, n = 1, 2, . . . . (4.9)
Using these relations it is straightforward to prove that the non-symmetric big q-Hermite poly-
nomials form a basis in A.
To prove (4.4)–(4.7) we use the recurrence relation of the big q-Hermite polynomials combined
with the forward shift relation. �
Proof of Theorem 4.2. To prove faithfulness we first look at how the operators Xk(T0T1)
l,
Xk(T0T1)
lT0, X
k(T1T0)
l and Xk(T1T0)
lT1 act on the non-symmetric big q-Hermite polynomials
for every k ∈ Z, l ∈ N. To this aim, using (4.4)–(4.6) one can prove the following relations:
(
Xk(T0T1)
lEj
)
[z] = −1− qj
qj
(
Xk(T0T1)
l−1Ej−1
)
[z], ∀ j > 0,
Representation Theory for Confluent Cherednik Algebras 9
(
Xk(T0T1)
lE−j
)
[z] =
1
qj
(
Xk(T0T1)
l−1Ej−1
)
[z], ∀ j > 0,
(
Xk(T0T1)
lT0E−j
)
[z] =
1
qj
1− qj−1
qj−1
(
Xk(T0T1)
l−1Ej−2
)
[z], ∀ j > 1,
(
Xk(T1T0)
lE−j
)
[z] = −1− qj−1
qj
(
Xk(T1T0)
l−1E−j+1
)
[z], ∀ j > 0,
(
Xk(T1T0)
lT1Ej
)
[z] = −1− qj
qj
(1− qj−1)
(
Xk(T1T0)
l−1E−j+1
)
[z], ∀ j > 0,
(
Xk(T1T0)
lT1E−j
)
[z] =
1− qj−1
qj
(
Xk(T1T0)
l−1E−j+1
)
[z], ∀ j > 0.
By iteration it is straight-forward to obtain:(
Xk(T0T1)
lEj
)
[z] = (−1)l
(
qj−l+1; q
)
l
q
l(1+2j−l)
2
(
XkEj−l
)
[z], ∀ j ≥ l,
(
Xk(T0T1)
lE−j
)
[z] = (−1)l−1
(
qj−l+1; q
)
l−1
q
l(1+2j−l)
2
(
XkEj−l
)
[z], ∀ j ≥ l,
(Xk(T0T1)
lT0E−j)[z] = (−1)l−1
(
qj−l; q
)
l
q
(l+1)(2j−l)
2
(XkEj−l−1)[z], ∀ j > l,
(
Xk(T1T0)
lE−j
)
[z] = (−1)l
(
qj−l; q
)
l
q
l(1+2j−l)
2
(
XkE−j+l
)
[z], ∀ j ≥ l,
(
Xk(T1T0)
lT1Ej
)
[z] = (−1)l
(
qj−l; q
)
l+1
q
l(1+2j−l)
2
(
XkE−j+l
)
[z], ∀ j ≥ l,
(
Xk(T1T0)
lT1E−j
)
[z] = (−1)l−1
(
qj−l; q
)
l
q
l(1+2j−l)
2
(
XkE−j+l
)
[z], ∀ j ≥ l.
Combining these with (4.8) and (4.9), we obtain the following estimates ∀ j > l:(
Xk(T0T1)
lEj
)
[z] = (−1)l
(
qj−l+1; q
)
l
q
l(1+2j−l)
2
(
zk+j−l + · · ·+ qj−lzk−j+l
)
,
(
Xk(T0T1)
lE−j
)
[z] = (−1)l−1
(
qj−l+1; q
)
l−1
q
l(1+2j−l)
2
(
zk+j−l + · · ·+ qj−lzk−j+l
)
,
(
Xk(T0T1)
lT0E−j
)
[z] = (−1)l−1
(
qj−l; q
)
l
q
(l+1)(2j−l)
2
(
zk+j−l−1 + · · ·+ qj−lzk−j+l+1
)
,
(Xk(T1T0)
lE−j)[z] = (−1)l
(
qj−l; q
)
l
q
l(1+2j−l)
2
(zk−j+l + · · · − azk+j−l−1),
(
Xk(T1T0)
lT1Ej
)
[z] = (−1)l
(
qj−l; q
)
l+1
q
l(1+2j−l)
2
(
zk−j+l + · · · − azk+j−l−1),
(
Xk(T1T0)
lT1E−j
)
[z] = (−1)l−1
(
qj−l; q
)
l
q
l(1+2j−l)
2
(
zk−j+l + · · · − azk+j−l−1).
Now assume by contradiction that a linear combination acts as zero operator in our representa-
tion, let us write such linear combination as:∑
k,l
ak,lX
k(T0T1)
l +
∑
k,l
bk,lX
k(T0T1)
lT0 +
∑
k,l
ck,lX
k(T1T0)
l +
∑
k,l
dk,lX
k(T1T0)
lT1.
10 M. Mazzocco
Take the minimum value k0 of k such that at least one coefficient ak0,l, bk0,l, ck0,l, dk0,l is nonzero.
Acting on Ej [z], for all j > l, and collecting the terms with the minimum possible power of z,
which is zk0−j+l, we obtain the equation:
∑
l
ak0,l(−1)l
(
qj−l+1; q
)
l
q
l(1+2j−l)
2
qj−l +
∑
l
dk0,l(−1)l
(
qj−l; q
)
l+1
q
l(1+2j−l)
2
= 0, ∀ j > l.
It is easy to prove that for generic values of a, this is an infinite set of linearly independent
equations, therefore the only possible solution is the trivial one, i.e. ak0,l = 0, dk0,l = 0 for all
values of l.
By acting on Ej [z], we can prove in a similar way that bk0,l = 0, ck0,l = 0 for all values of l,
therefore obtaining a contradiction.
To prove the same for the algebra HD8
III we observe that the defining relations (1.13)–(1.16)
are a specialisation of the defining relations (1.9)–(1.12) of the algebra HD7
III for a = 0. All results
hold true when a → 0. Indeed even if the polynomials En loose the terms of order zn−1, these
don’t enter in the above reasoning. This concludes the proof of our theorem. �
Acknowledgements
The author is specially grateful to T. Koornwinder and J. Stokman for interesting discussions
on this subject and the referees for pointing out references, typos and giving suggestions on how
to improve the presentation of the main results.
References
[1] Askey R., Wilson J., Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials,
Mem. Amer. Math. Soc. 54 (1985), iv+55 pages.
[2] Cherednik I., Double affine Hecke algebras, Knizhnik–Zamolodchikov equations, and Macdonald’s operators,
Int. Math. Res. Not. 1992 (1992), no. 9, 171–180.
[3] Koekoek R., Lesky P.A., Swarttouw R.F., Hypergeometric orthogonal polynomials and their q-analogues,
Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2010.
[4] Koornwinder T.H., The relationship between Zhedanov’s algebra AW(3) and the double affine Hecke algebra
in the rank one case, SIGMA 3 (2007), 063, 15 pages, math.QA/0612730.
[5] Mazzocco M., Confluences of the Painlevé equations, Cherednik algebras and q-Askey scheme,
arXiv:1307.6140.
[6] Noumi M., Stokman J.V., Askey–Wilson polynomials: an affine Hecke algebra approach, in Laredo Lectures
on Orthogonal Polynomials and Special Functions, Adv. Theory Spec. Funct. Orthogonal Polynomials, Nova
Sci. Publ., Hauppauge, NY, 2004, 111–144, math.QA/0001033.
[7] Sahi S., Nonsymmetric Koornwinder polynomials and duality, Ann. of Math. 150 (1999), 267–282,
q-alg/9710032.
http://dx.doi.org/10.1090/memo/0319
http://dx.doi.org/10.1155/S1073792892000199
http://dx.doi.org/10.1007/978-3-642-05014-5
http://dx.doi.org/10.3842/SIGMA.2007.063
http://arxiv.org/abs/math.QA/0612730
http://arxiv.org/abs/1307.6140
http://arxiv.org/abs/math.QA/0001033
http://dx.doi.org/10.2307/121102
http://arxiv.org/abs/q-alg/9710032
1 Introduction
2 Non-symmetric continuous dual q-Hahn polynomials and basic representation of HV
3 Non-symmetric Al-Salam–Chihara polynomials and basic representation of HIII
4 Non-symmetric continuous (big) q-Hermite polynomials and basic representations of (HIII D7) HIIID8
References
|