Abstract
Automorphisms of the infinite-dimensional Onsager algebra are introduced. Certain quotients of the Onsager algebra are formulated using a polynomial in these automorphisms. In the simplest case, the quotient coincides with the classical analog of the Askey–Wilson algebra. In the general case, generalizations of the classical Askey–Wilson algebra are obtained. The corresponding class of solutions of the non-standard classical Yang–Baxter algebra is constructed, from which a generating function of elements in the commutative subalgebra is derived. We provide also another presentation of the Onsager algebra and of the classical Askey–Wilson algebras.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Onsager algebra is an infinite-dimensional Lie algebra with three known presentations. Introduced by Onsager [22] in the investigation of the exact solution of the two-dimensional Ising model, the original presentation is given in terms of generators \(\{A_n,G_m|n,m\in {\mathbb Z}\}\) and relations (see Definition 2.1). The second presentation is given in terms of two generators \(\{A_0,A_1\}\) satisfying the so-called Dolan–Grady relations (2.4) [8, 9]. Recently [3], a third presentation has been identified. It is given in terms of elements of the non-standard classical Yang–Baxter algebra (2.7) with r-matrix (2.5).
The Askey–Wilson algebra has been introduced in [36], providing an algebraic scheme for the Askey–Wilson polynomials. This algebra is connected with the double affine Hecke algebra of type \((C_1^{\vee },C_1)\) [17,18,19,20, 33], the theory of Leonard pairs [21, 28, 29] and \(U_q(sl_2)\) [15, 16, 35]. A well-known presentation of the Askey–Wilson algebraFootnote 1 is given in terms of three generators satisfying the relations displayed in Definition 3.1. Generalizations of the Askey–Wilson algebra are an active field of investigation. Various examples of generalizations have been considered in the literature, see, for instance, [11, 14, 23, 24].
In this note, it is shown that the class of quotients of the Onsager algebra considered by Davies in [8, 9] generates a classical analog (\(q=1\)) of the Askey–Wilson algebra and generalizations of this algebra. For each quotient, classical analogs of the automorphisms recently introduced in [6] are used to derive explicit polynomial expressions for the generators. Based on the results of [3] extended to these quotients, for the classical Askey–Wilson algebra and each of its generalization, a presentation à la Faddeev–Reshetikhin–Takhtajan is given. Using this presentation, for each quotient a commutative subalgebra is identified. To complete the analysis, we also give a new presentation of the Onsager algebra that can be understood as the specialization \(q=1\) of the infinite-dimensional quantum algebra \(\mathcal{A}_q\) introduced in [4, 5]. In this alternative presentation, the quotients of the Onsager algebra corresponding to Davies’ prescription are determined.
2 The Onsager algebra, quotients and FRT presentation
In this section, three different presentations of the Onsager algebra \(\mathscr {O}\) are first reviewed, and three different automorphisms \(\Phi ,\tau _0,\tau _1\) of the Onsager algebra are introduced. Using these, the elements in \(\mathscr {O}\) are written as simple polynomial expressions of the fundamental generators \(A_0,A_1\). Then, we consider certain quotients of the Onsager algebra introduced by Davies [8, 9]. Each quotient is formulated using an operator written as a polynomial in the automorphisms. Given a quotient, the FRT presentation is constructed from which a generating function for mutually commuting quantities is obtained.
2.1 The Onsager algebra
The Onsager algebra has been introduced in the context of mathematical physics [22]. The first presentation of this algebra which originates in Onsager’s work [22] is now recalled.
Definition 2.1
The Onsager algebra \(\mathscr {O}\) is generated by \(\{A_n,G_m|n,m \in \mathbb {Z}\}\) subject to the following relations:
Remark 1
\(\{A_n,G_m\}\) for \(n\in {\mathbb Z}\) and \(m\in {\mathbb Z}_{+}\) form a basis of \(\mathscr {O}\). Note that \(G_{-n}=-G_n\) and \(G_0=0\).
Note that a second presentation is given in terms of two generators \(A_0,A_1\) subject to a pair of relations, the so-called Dolan–Grady relations [10]. They read:
These two presentations define isomorphic Lie algebras, see [8, 9, 25].
In a recent paper [3], a third presentation of the Onsager algebra was proposed using the framework of the non-standard classical Yang–Baxter algebra. It is called a FRT presentation in honor of the authors Faddeev–Reshetikhin–Takhtajan [12, 13]. Let us introduce the r-matrix (u, v are formal variables, sometimes called “spectral parameters” in the literature on integrable systems)
solution of the non-standard classical Yang–Baxter equation
where we denote \(r_{12}(u) = r(u)\otimes I\!\! I\) , \(r_{23}(u) =I\!\! I\otimes r(u) \) and so on.
Theorem 1
[3] The non-standard classical Yang–Baxter algebra
for the r-matrix (2.5) and
with
provides an FRT presentation of the Onsager algebra.
This type of “twisted” classical r-matrix has been studied in [26] and their associated algebras in [27].
2.2 Automorphisms of the Onsager algebra
We are interested in three algebra automorphisms of \(\mathscr {O}\). Let \(\Phi :\mathscr {O}\rightarrow \mathscr {O}\) denote the algebra automorphism defined by \(\Phi (A_0)=A_1\) and \(\Phi (A_1)=A_0\). Observe that \(\Phi ^2=\mathrm {id}\). We now introduce two other automorphisms of \(\mathscr {O}\).
Proposition 2.1
There exist two involutive algebra automorphisms \(\tau _0,\tau _1:\mathscr {O}\rightarrow \mathscr {O}\) such that
Proof
Firstly, we show that \(\tau _0\) leaves invariant the first relation in (2.4). This follows immediately from the fact that
Secondly, we show that \(\tau _0\) leaves invariant the second relation in (2.4). Observe that:
It follows:
So, we conclude that \(\tau _0\) leaves invariant both relations in (2.4).
This proves that \(\tau _0\) is involutive and by consequence is a bijection.
The same holds for \(\tau _1\), using \(\tau _1=\Phi \circ \tau _0 \circ \Phi \). \(\square \)
Remark 2
\((\tau _0\Phi ) (\tau _1\Phi ) =(\tau _1\Phi ) (\tau _0\Phi ) =\mathrm {id}\).
Let us mention that the automorphisms \(\Phi ,\tau _0,\tau _1\) can be viewed as the classical analogs \(q=1\) of the automorphisms considered in [6] (see also [34]). Using \(\tau _0,\tau _1\) and \(\Phi \), the elements of the Onsager algebra admit simple expressions as polynomials of the two fundamental generators \(A_0,A_1\).
Proposition 2.2
In the Onsager algebra \(\mathscr {O}\), one has:
Proof
By definition (2.1), one has \(G_1=[A_1,A_0]/4\). By Remark 2, one has \((\tau _0\Phi )=(\tau _1\Phi )^{-1}\). According to (2.10)–(2.13), it follows:
Comparing (2.19) with (2.2), we see that the identification (2.18) holds for \(m=-1,2\). Then, we note that \(\tau _1(G_1)=-G_1\) by (2.4). Acting with \((\tau _1\Phi )^k\) on (2.19), one derives (2.2) for \(n=1\). The second relation in (2.18) follows from (2.1). \(\square \)
Remark 3
\(\Phi (A_{-n})=A_{n+1}\) and \(\Phi (G_n)=-G_n\).
In the FRT presentation displayed in Theorem 1, the action of the automorphisms is easily identified. The action of \(\tau _0,\tau _1\) on the currents is such that:
2.3 Quotients of the Onsager algebra
In Davies’ paper on the Onsager algebra and superintegrability [8, 9], Davies considers certain quotients of the Onsager algebra. Below, we characterize the relations considered by Davies in terms of an operator which is a polynomial in two automorphisms \({\overline{\tau }}_0,{\overline{\tau }}_1\). As will be shown later, these quotients can be viewed as generalizations of the classical \((q=1)\) Askey–Wilson algebra.
Definition 2.2
Let \(\{\alpha _n|n=0,\ldots ,N\}\) be nonzero scalars with N any nonzero positive integer. The algebra \(\overline{\mathscr {O}}_N\) is defined as the quotient of the Onsager algebra \(\mathscr {O}\) by the relations
There exists an algebra homomorphism \(\varphi _N: \mathscr {O}\rightarrow \overline{\mathscr {O}}_{N}\) that sends \(A_0 \mapsto A_0\), \(A_1\mapsto A_1\). We now introduce three automorphisms \({\overline{\tau }}_0\), \({\overline{\tau }}_1\) and \({\overline{\Phi }}\) of \(\overline{\mathscr {O}}_{N}\) such that \({\overline{\tau }}_0\varphi _N = \varphi _N \tau _0\), \({\overline{\tau }}_1\varphi _N = \varphi _N \tau _1\) and \({\overline{\Phi }}(A_0)=A_1\). According to Proposition 2.2, introduce the operator:
The relations in (2.21) simply read \(S_N(A_0)=0\) and \(S_N(A_1)=0\), respectively. These results allow us to give an alternative presentation of the quotients \(\overline{\mathscr {O}}_{N}\):
Proposition 2.3
The quotient \(\overline{\mathscr {O}}_{N}\) is generated by \(A_0\) and \(A_1\) subject to the Dolan Grady relations
and to the relations
where \(S_N\) is defined by (2.22).
Furthermore, one has \([({\overline{\tau }}_1{\overline{\Phi }})^p,S_N]=0\) for any \(p\in {\mathbb Z}\). Together with the second relation in (2.18), it follows:
Remark 4
The relations (2.21) imply:
It follows that the algebra \(\overline{\mathscr {O}}_N\) has only 3N linearly independent elements. We choose the set \(\{A_n, G_m|n=-N+1,\ldots ,N; m=1,\ldots ,N\}\).
Note that above relations can be derived using the commutation relations (2.1)–(2.3) [8, 9].
Remark 5
It is possible to introduce a slightly more general quotient \(\overline{\mathscr {O}}_N(c_1,c_2)\). The algebra \(\overline{\mathscr {O}}_N(c_1,c_2)\) is defined as the quotient of the Onsager algebra \(\mathscr {O}\) by the relations
where \(c_1, c_2\) are central elements. In this quotient, the following relations hold
We recover \(\overline{\mathscr {O}}_N\) by putting \(c_1=c_2=0\).
In the algebra \(\overline{\mathscr {O}}_N\), all higher elements can be written in terms of the elements \(\{A_n, G_m|n=-N+1,\ldots ,N; m=1,\ldots ,N\}\). Without loss of generality, choose \(\alpha _N\equiv 1\). By induction using (2.25), one finds:
where \({\mathbb U}_{p,j}^{(N)}(\alpha _0,\ldots ,\alpha _{N-1})\) is a \(N-\)variable polynomial that is determined recursively through the relation:
with the convention \(\alpha _{-N+1+k}\equiv 0\) if \(k\ge 2N\) and initial conditions:
Similarly, one gets:
where (2.1) has been used to derive the second relation. For \(N=1\), one finds that \({\mathbb U}_{n-j,j}^{(1)}(\alpha _0)=U_{n}(\alpha _0)\) is the Chebyshev polynomial of second kind.
2.4 FRT presentation of the quotients \(\overline{\mathscr {O}}_N\)
For the class of quotients \(\overline{\mathscr {O}}_N\) of the Onsager algebra, the corresponding solutions of the non-standard Yang–Baxter algebra (2.7) are now constructed.
Proposition 2.4
The non-standard classical Yang–Baxter algebra (2.7) for the r-matrix (2.5) and
where, by setting \(\displaystyle f_p^{(N)}(u)=\sum \nolimits _{q=p}^N\alpha _q u^{p-q}\),
provides an FRT presentation of the algebra \({\overline{\mathscr {O}}_N}\).
Proof
The goal consists in expressing all the elements \(\{A_n,G_m|n,m \in \mathbb {Z}\}\) present in the FRT presentation of the Onsager algebra (see Theorem 1) in terms of the 3N linearly independent elements of \(\overline{\mathscr {O}}_N\)\(\{A_n, G_m|n=-N+1,\ldots ,N; m=1,\ldots ,N\}\). For instance, let us consider the current \(\mathcal{A}^{+}(u)\) in (2.8). Imposing the first relation of (2.25), it follows:
By factorizing \(\mathcal{A}^{+}(u)\) in the last equation and after simplifications, one gets:
It follows:
which leads to the formula (2.30). Applying the same procedure to \(\mathcal{A}^{-}(u)\) and \(\mathcal{G}(u)\), we obtain the other formulae. \(\square \)
Using the FRT presentation, a commutative subalgebra of \(\overline{\mathscr {O}}_N\) can be easily identified. Note that the result below is a straightforward restriction of [3, Proposition 2.5] to the quotients of the Onsager algebra.
Proposition 2.5
Let \(\kappa ,\kappa ^*,\mu \) be generic scalars. A generating function of mutually commuting elements in \(\overline{\mathscr {O}}_N\) is given by:
where
Proof
Introduce the \(2 \times 2\) matrix:
which is a solution of
Then, by using the result [3, Proposition 2.5], one shows that \(b^{(N)}(u)=tr M(u) B^{(N)}(u)\) satisfies \([ b^{(N)}(u),\ b^{(N)}(v) ]=0\). Inserting (2.30)–(2.32) in \(b^{(N)}(u)=tr \big ( M(u) B^{(N)}(u)\big )\), one derives (2.34). \(\square \)
3 \(\overline{\mathscr {O}}_1\) and \(\overline{\mathscr {O}}_2\) and generalized classical Askey–Wilson algebras
The defining relations of the algebra \(\overline{\mathscr {O}}_N\) are easily extracted from the defining relations of the non-standard classical Yang–Baxter algebra (2.7). For instance, we consider the cases \(N=1,2\) below. For \(N=1\), we prove that \(\overline{\mathscr {O}}_1\) is isomorphic to the Askey–Wilson algebra introduced by [36] specialized at \(q=1\).
3.1 The classical Askey–Wilson algebra aw(3)
We treat here in detail the case of the quotient \(\overline{\mathscr {O}}_1\). To simplify the notations, we choose \(\alpha _0=\alpha \) and \(\alpha _{\pm 1}=1\). Equation (2.29) becomes
where \(p^{(1)}(u)=u+\alpha +u^{-1}\). Then, the non-standard Yang–Baxter algebra (2.7) provides the following defining relations of \(\overline{\mathscr {O}}_1\)
Remark 6
The r-matrix (2.5) allows us to construct a representation of \(\overline{\mathscr {O}}_1\). Indeed, the map \(\pi (B^{(1)}_1(u))=r_{13}(u,w)\) satisfies the non-standard Yang–Baxter algebra (2.7) and the expansion w.r.t. u is same. By comparing the expansions, one gets the following representation, for \(\alpha =-w-w^{-1}\),
By Proposition 2.3, there is another presentation of the algebra \(\overline{\mathscr {O}}_1\). Indeed, \(\overline{\mathscr {O}}_1\) is generated by \(A_0\) and \(A_1\) subject to
Let us remark that the Dolan–Grady relations (2.23) are not necessary in this case since they are implied by (3.4).
In [36], Zhedanov introduced the Askey–Wilson algebra with three generators \(K_0,K_1,K_2\) and deformation parameter q. More recently, a central extension of the original Askey–Wilson algebra [36] called the universal Askey–Wilson algebra has been introduced [32]. In that paper, besides the original presentation of [36], a second presentation of the universal Askey–Wilson algebra is given. Below, we show that the quotient of the Onsager algebra \(\overline{\mathscr {O}}_1\) is isomorphic to the classical (\(q=1\)) analog of the Askey–Wilson algebra, denoted aw(3). The first presentation of the original Askey–Wilson algebra is now recalled.
Definition 3.1
[36] The Askey–Wilson algebra has three generators \(K_0,K_1,K_2\) that satisfy the commutation relationsFootnote 2:
where \(B,C_0,C_1,D_0,D_1\) are the structure constants of the algebra.
Remark 7
In terms of the generators \(K_0,K_1\), the defining relations of the Askey–Wilson algebra read:
Definition 3.2
The classical Askey–Wilson algebra, denoted aw(3), is the Askey–Wilson algebra specialized to \(q=1\). We keep the same notations for the classical Askey–Wilson algebra than for the usual Askey–Wilson algebra.
Proposition 3.1
The algebra \(\overline{\mathscr {O}}_1\) and the algebra aw(3) are isomorphic. The isomorphism \(aw(3) \rightarrow \overline{\mathscr {O}}_1\) is given by:
with the identification of the structure constants:
Proof
By direct computation. \(\square \)
A corollary of this proposition is that Proposition 2.4 provides an FRT presentation of aw(3). Note that for a specialization of the structure constants \(B=D_0=D_1\) in (3.5), one recovers the q-deformation of the Cartesian presentation of the \(sl_2\) Lie algebra [37]. From that point of view, the representation (3.3) is natural.
The universal Askey–Wilson algebra has been introduced in [32]. For this algebra, a second presentation is known [32, Theorem 2.2]. It is given in terms of the quotient of the q-deformed analog of the Dolan–Grady relations (2.4) by a relation of quartic order in the two fundamental generators. These relations correspond to the presentation given by relations (3.4). Let us mention also that, from the second relation of (2.25) with \(N=p=1\), one gets \(\alpha G_1+G_2=0\). In terms of \(A_0,A_1\), this relation reads:
Note that (3.6) is not necessary: it follows from the commutator of the first (resp. second) relation in (3.4) with \(A_0\) (resp. \(A_1\)). We would like to point out that the relations (3.4) coincide with (2.2), (2.3) of [32] for the specialization \(q=1\) and central elements evaluated to scalar values. Also, the Dolan–Grady relations (2.4) together with (3.6) coincide with the specialization \(q=1\) (and a suitable identification of the central element \(\gamma \) in terms of \(\alpha \)) of the relation given in [32, Theorem 2.2].
3.2 The generalized classical Askey–Wilson algebra aw(6)
For \(N=2\), choose \(\alpha _0=\alpha '\), \(\alpha _{\pm 1}=\alpha \) and \(\alpha _{\pm 2}=1\), Eq. (2.29) reads
where \(p^{(2)}(u)=u^2+\alpha u +\alpha ' +\alpha u^{-1}+u^{-2}\). One gets the following defining relations for \(\overline{\mathscr {O}}_2\) from (2.7)
Remark 8
As previously, a representation of \(\overline{\mathscr {O}}_2\) is obtained from the r-matrix as follows:
with \(\alpha =-w_1-w_1^{-1}-w_2-w_2^{-1}\) and \(\alpha '=w_1w_2+w_1w_2^{-1}+2+w_1^{-1}w_2+w_1^{-1}w_2^{-1}\). By expanding w.r.t. the formal variable u, one gets a \(4\times 4\) representation for \(A_{-1},A_0,A_1,A_2,G_1\) and \(G_2\).
By analogy with the classical Askey–Wilson algebra aw(3) with defining relations (3.2), we call the algebra generated by the 6 elements \(A_{-1},A_0,A_1,A_2,G_1,G_2\) subject to the relations (3.8)–(3.17) the generalized classical Askey–Wilson aw(6). By construction, this algebra is isomorphic to \(\overline{\mathscr {O}}_2\).
By using Proposition 2.3 for \(N=2\), we get another presentation of the algebra \(\overline{\mathscr {O}}_2\cong aw(6)\) : it is generated by \(A_0\) and \(A_1\) subject to the Dolan–Grady relation (2.23) with the additional following relations
By analogy with both previous examples, we define the generalization of the classical Askey–Wilson algebra, denoted aw(3N), as the algebra \(\overline{\mathscr {O}}_N\) generated by 3N generators \(\{A_{-N+1},\ldots ,A_{N}\}\) and \(\{G_1,\ldots ,G_{N}\}\) and subject to the relations projecting the FRT relation (2.7). The number of defining relations \(3N(3N-1)/2\) and we do not write them explicitly. Using the FRT presentation, these relations can be easily extracted. We can alternatively define aw(3N) with the help of Proposition 2.3, as the algebra generated by \(A_0,A_1\) and subject to the Dolan–Grady relations (2.23) and relations (2.24). Finally, let us recall that a generating function of elements of its commutative subalgebra is given in Proposition 2.5.
4 Another presentation of the Onsager algebra and its quotients
In this section, a Lie algebra denoted \(\mathcal{A}\) is introduced. It is shown to be isomorphic with the Onsager algebra. The corresponding FRT presentation is given, and polynomial expressions for the elements in \(\mathcal A\) are obtained in terms of the two fundamental generators using the automorphisms introduced in Sect. 2. Then, we introduce the algebra \(\overline{\mathcal{A}}_N\) as a quotient of \(\mathcal{A}\) by the classical analog of the relations derived in [4, 5]. The FRT presentation of \(\overline{\mathcal{A}}_N\) is given.
4.1 Another presentation of the Onsager algebra
In [4, 5] (see also [7]), an infinite-dimensional quantum algebra denoted \(\mathcal{A}_q\) has been introduced. Recently, it has been conjectured that a certain quotient of \(\mathcal{A}_q\) is isomorphic to the q-Onsager algebraFootnote 3 [2]. We now introduce the classical analog of \(\mathcal{A}_q\) (\(q=1\)).
Definition 4.1
\(\mathcal{A}\) is a Lie algebra with generators \(\{{{\mathcal {W}}}_{-k},{{\mathcal {W}}}_{k+1},\tilde{{\mathcal {G}}}_{k+1}|k\in {\mathbb Z}_{\ge 0}\}\) satisfying the following relations, for \(k,l\ge 0\):
Remark 9
The generators \({\mathcal {W}}_0,{\mathcal {W}}_1\) satisfy the Dolan–Grady relations (2.4).
Indeed, inserting the relations (4.1) into (4.2), (4.3) for \(k=l=0\), from the first two equalities in (4.4) for \(k=1,l=0\) one gets:
Proposition 4.1
The non-standard classical Yang–Baxter algebra (2.7) for the r-matrix (2.5) and
with, by setting \(U=(u+u^{-1})/2\),
provides an FRT presentation of the algebra \(\mathcal{A}\).
Proof
Insert (4.6) into (2.7) with (2.5). Define the formal variables \(U=(u+u^{-1})/2\) and \(V=(v+v^{-1})/2\). One obtains equivalently:
Expanding the currents as (4.7), the above equations are equivalent to (4.1)–(4.4). \(\square \)
Theorem 2
The Onsager algebra \(\mathscr {O}\) (see Definition 2.1) and the algebra \(\mathcal{A}\) (see Definition 4.1) are isomorphic.
Proof
By Theorem 1 and Proposition 4.1, the Onsager algebra \(\mathscr {O}\) and the algebra \(\mathcal{A}\) have the same FRT presentation (2.7) with the same r-matrix (2.5). Then, the isomorphism between \(\mathscr {O}\) and \(\mathcal{A}\) follows from the fact that the power series of the entries in (2.8), (4.6) have same expansions w.r.t. the formal variable. \(\square \)
The explicit relation between the generators \(\{A_k,G_l|k\in \mathbb {Z},l\in \mathbb {Z}_{\ge 0}\}\) of the Onsager algebra \(\mathscr {O}\) and the generators \(\{{\mathcal {W}}_{-k},{\mathcal {W}}_{k+1},\tilde{{\mathcal {G}}}_{l+1}|k,l\in \mathbb {Z}_{\ge 0}\}\) of the algebra \(\mathcal{A}\) is obtained as follows. By comparison between (2.8) and (4.6), we get:
with (2.9) and (4.7). Then, one can prove that one has the following expansion around \(u=0\), for \(k\ge 0\):
By direct comparison of the l.h.s and r.h.s in (4.8), it follows, for \(k\ge 0\),
Conversely, one has:
Here, [n] is the integer part of n (with the convention \([-1/2]=-1\)). For small values of k, explicit relations between the first few elements are reported in “Appendix A.”
According to Theorem 2, (4.12), (4.13) and (4.4), the following three lemmas are easily shown.
Lemma 4.1
The following subsets form a basis for the same subspace of \(\mathscr {O}\):
Lemma 4.2
The following subsets form a basis for the same subspace of \(\mathscr {O}\):
Lemma 4.3
The following subsets form a basis for the same subspace of \(\mathscr {O}\):
Remark 10
From [25], we know that the generators of the Onsager algebra \(\mathscr {O}\) can be represented by the matrices
where t is an indeterminate. Then, by using (4.12) and (4.13), we deduce that the generators of \(\mathcal A\) can be represented by the matrices
4.2 Automorphisms of the algebra \(\mathcal A\)
In view of the isomorphism between \(\mathscr {O}\) and \(\mathcal A\), the action of the automorphisms \(\tau _0,\tau _1,\Phi \) introduced in Proposition 2.1 is now described in the alternative presentation \(\mathcal A\). Inverting the correspondence (4.8), one has:
Using (2.20), it yields to:
Using (4.7), it follows:
Proposition 4.2
The action of the automorphisms \(\tau _0,\tau _1\) on the elements of \(\mathcal{A}\) is such that:
Inserting \(\tilde{{\mathcal {G}}}_{k+1}= [{\mathcal {W}}_0,{\mathcal {W}}_{k+1}]\) in the first equation above, from (4.17), (4.19) one recovers the classical (\(q=1\)) analogs of the formulae given in Proposition 7.4 of [34]. Similarly, \(\tilde{{\mathcal {G}}}_{k+1}= [{\mathcal {W}}_{-k},{\mathcal {W}}_{1}]\) can be inserted into the second equation above in order to rewrite (4.18).
Combining above relations, one gets:
From the expansions (4.7), it follows (note that \({\mathcal {W}}_1=\tau _1\Phi ({\mathcal {W}}_0)\)):
Proposition 4.3
In the algebra \(\mathcal A\), one has:
Remark 11
\(\Phi ({\mathcal {W}}_{-k})={\mathcal {W}}_{k+1}\), \(\Phi (\tilde{{\mathcal {G}}}_{k+1})=-\tilde{{\mathcal {G}}}_{k+1}\).
Note that the polynomial expressions for the elements \(\{{\mathcal {W}}_{-k},{\mathcal {W}}_{k+1},\tilde{{\mathcal {G}}}_{k+1}\}\) computed here using the action of the automorphisms can be viewed as the classical (\(q=1\)) analogs of the expressions computed in [2], where the elements of the algebra \(\mathcal{A}_q\) are derived as polynomials of the fundamental generators \({\mathcal {W}}_0,{\mathcal {W}}_1\) satisfying the q-deformed version of (4.5).
4.3 Quotients of the Lie algebra \(\mathcal{A}\) and of the Onsager algebra
By analogy with the analysis of the previous section, we now introduce certain quotients of the algebra \(\mathcal{A}\). These quotients can be viewed as the classical analogs of the quotients of algebra \(\mathcal{A}_q\) considered in [4, 5, Eq. 11].
Definition 4.2
Let \(\{\beta _n|n=0,\ldots ,N\}\) be nonzero scalars with N any nonzero positive integer. The algebra \(\overline{\mathcal{A}}_N\) is defined as the quotient of the algebra \(\mathcal{A}\) by the relations
According to Proposition 4.3, introduce the operator:
Then, Eq. (4.20) simply reads \(S'_N({\mathcal {W}}_0)=0\) and \(S'_N({\mathcal {W}}_1)=0\), respectively. Furthermore, one has \([({\overline{\tau }}_0{\overline{\Phi }}+ {\overline{\tau }}_1{\overline{\Phi }})^p,S'_N]=0\) for any \(p\in {\mathbb Z}\). It follows:
Remark 12
The relations (4.20) imply:
The algebra \(\overline{\mathcal{A}}_N\) has 3N generators \(\{{\mathcal {W}}_{-k}, {\mathcal {W}}_{k+1}, \tilde{{\mathcal {G}}}_{k+1}|k=0,1,\ldots ,N-1\}\).
Note that above relations (4.22) can be derived using the commutation relations (4.1)–(4.3).
Theorem 3
The algebra \(\overline{\mathcal{A}}_N\) is isomorphic to the quotient of the Onsager algebra \(\overline{\mathscr {O}}_N\) with the identification
Proof
By Theorem 2, \(\mathscr {O}\) and \(\mathcal A\) are isomorphic, and the isomorphism is given by (4.9)–(4.11). To show that \(\overline{\mathcal{A}}_N\) and \(\overline{\mathscr {O}}_N\) are isomorphic, it is necessary and sufficient to show that (2.21) and (4.20) are equivalent if relations (4.23)–(4.24) hold. By inserting (4.9) and (4.10) in (2.21), one gets equivalently (4.20) by using (4.23)–(4.24). \(\square \)
The corresponding class of solutions of the non-standard Yang–Baxter algebra (2.7) is now considered.
Proposition 4.4
Let \(\{\beta _p|p=0,\ldots ,N-1\}\) be nonzero scalars with \(N\in {\mathbb N}_{\ge 1}\). Then, the non-standard classical Yang–Baxter algebra (2.7) for the r-matrix (2.5) and
where
and
provides an FRT presentation of the algebra \(\overline{\mathcal{A}}_N\).
Proof
The proof is similar to the one of Proposition 2.4 by replacing the relations (2.8) and (2.21) by (4.6) and (4.20). \(\square \)
Remark 13
Note that (4.25) can be interpreted as the classical analog of the Sklyanin’s operators constructed in [4, 5] satisfying the reflection algebra.
Notes
For the universal Askey–Wilson algebra introduced in [32], a second presentation is known.
We denote the q-commutator \([X,Y]_q=qXY-q^{-1}YX\).
References
Baseilhac, P.: An integrable structure related with tridiagonal algebras. Nucl. Phys. B 705, 605–619 (2005). arXiv:math-ph/0408025
Baseilhac, P., Belliard, S.: An attractive basis for the \(q\)-Onsager algebra. arXiv:1704.02950
Baseilhac, P., Belliard, S., Crampe, N.: FRT presentation of the Onsager algebras. Lett. Math. Phys., 1–24 (2018). arXiv:1709.08555 [math-ph]
Baseilhac, P., Koizumi, K.: A deformed analogue of Onsager’s symmetry in the XXZ open spin chain. J. Stat. Mech. 0510, P005 (2005). arXiv:hep-th/0507053
Baseilhac, P., Koizumi, K.: Exact spectrum of the XXZ open spin chain from the q-Onsager algebra representation theory. J. Stat. Mech., P09006 (2007). arXiv:hep-th/0703106
Baseilhac, P., Kolb, S.: Braid group action and root vectors for the \(q-\)Onsager algebra. arXiv:1706.08747
Baseilhac, P., Shigechi, K.: A new current algebra and the reflection equation. Lett. Math. Phys. 92, 47–65 (2010). arXiv:0906.1482
Davies, B.: Onsager’s algebra and superintegrability. J. Phys. A 23, 2245–2261 (1990)
Davies, B.: Onsager’s algebra and the Dolan–Grady condition in the non-self-dual case. J. Math. Phys. 32, 2945–2950 (1991)
Dolan, L., Grady, M.: Conserved charges from self-duality. Phys. Rev. D 25, 1587–1604 (1982)
De Bie, H., Genest, V.X., van de Vijver, W., Vinet, L.: A higher rank Racah algebra and the \(Z_n\) Laplace–Dunkl operator. arXiv:1610.02638
Faddeev, L.D., Reshetikhin, N.Y., Takhtajan, L.A.: Quantization of Lie groups and Lie algebras. LOMI preprint, Leningrad (1987)
Faddeev, L.D., Reshetikhin, N.Y., Takhtajan, L.A.: Quantization of Lie groups and Lie algebras. Leningr. Math. J. 1, 193 (1990)
Genest, V.X., Vinet, L., Zhedanov, A.: The equitable Racah algebra from three \(su(1, 1)\) algebras. J. Phys. A Math. Theor. 47, 025203 (2013). arXiv:1309.3540
Granovskii, Y., Zhedanov, A.S.: Nature of the symmetry group of the 6j-symbol. Zh. Eksper. Teoret. Fiz. 94, 49–54 (1988). (English transl.: Soviet Phys. JETP 67 (1988), 1982–1985)
Granovskii, Y., Lutzenko, I., Zhedanov, A.: Linear covariance algebra for \(sl_q(2)\). J. Phys. A Math. Gen. 26, L357–L359 (1993)
Koornwinder, T.: The relationship between Zhedanov’s algebra \(AW(3)\) and the double affine Hecke algebra in the rank one case. SIGMA 3, 063 (2007). arXiv:math.QA/0612730
Koornwinder, T.: Zhedanov’s algebra \(AW(3)\) and the double affine Hecke algebra in the rank one case. II. The spherical subalgebra. SIGMA 4, 052 (2008). arXiv:0711.2320
Koornwinder, T., Mazzocco, M.: Dualities in the \(q\)-Askey scheme and degenerated DAHA. arXiv:1803.02775
Mazzocco, M.: Confluences of the Painlevé equations, Cherednik algebras and q-Askey scheme. Nonlinearity 29, 2565 (2016). arXiv:1307.6140
Nomura, K., Terwilliger, P.: Linear transformations that are tridiagonal with respect to both eigenbases of a Leonard pair. Linear Alg. Appl. 420, 198–207 (2007). arXiv:math.RA/0605316
Onsager, L.: Crystal statistics. I. A two-dimensional model with an order-disorder transition. Phys. Rev. 65, 117–149 (1944)
Post, S.: Racah polynomials and recoupling schemes of \(su(1, 1)\). SIGMA 11, 057 (2015)
Post, S., Walter, A.: A higher rank extension of the Askey–Wilson algebra. arXiv:1705.01860
Roan, S.S.: Onsager Algebra, Loop Algebra and Chiral Potts Model, MPI 91–70. Max-Planck-Institut für Mathematik, Bonn (1991)
Skrypnyk, T.: Generalized quantum Gaudin spin chains, involutive automorphisms and “twisted” classical r-matrices. J. Math. Phys. 47, 033511 (2006)
Skrypnyk, T.: Infinite-dimensional Lie algebras, classical r-matrices, and Lax operators: two approaches. J. Math. Phys. 54, 103507 (2013)
Terwilliger, P.: Leonard pairs and dual polynomial sequences. Preprint available at: https://www.math.wisc.edu/~terwilli/lphistory.html
Terwilliger, P., Vidunas, R.: Leonard pairs and the Askey–Wilson relations. J. Algebra Appl. 3, 411–426 (2004). arXiv:math.QA/0305356
Terwilliger, P.: The subconstituent algebra of an association scheme. III. J. Algebraic Combin. 2(2), 177–210 (1993)
Terwilliger, P.: Two relations that generalize the q-Serre relations and the Dolan–Grady relations. In: Kirillov, A.N., Tsuchiya, A., Umemura, H. (eds.) Proceedings of the Nagoya 1999 International Workshop on Physics and Combinatorics, pp. 377–398. arXiv:math.QA/0307016
Terwilliger, P.: The universal Askey–Wilson algebra. SIGMA 7, 069 (2011). arXiv:1104.2813v2
Terwilliger, P.: The universal Askey–Wilson Algebra and DAHA of type \((C_1^\vee, C_1)\). SIGMA 9, 047 (2013). arXiv:1202.4673
Terwilliger, P.: The Lusztig automorphism of the q-Onsager algebra. J Algebra 506 56-75. arXiv:1706.05546
Wiegmann, P., Zabrodin, A.: Algebraization of difference eigenvalue equations related to \(U_q(sl_2)\). Nucl. Phys. B 451, 699–724 (1995). arXiv:cond-mat/9501129
Zhedanov, A.S.: “Hidden symmetry” of the Askey–Wilson polynomials. Theor. Math. Phys. 89, 1146–1157 (1991)
Zhedanov, A.S.: Quantum \(SU_q(2)\) algebra: “Cartesian” Version and Overlaps. Mod. Phys. Lett. A 7, 1589 (1992)
Acknowledgements
We thank S. Belliard for discussions, and P. Terwilliger and A. Zhedanov for comments and suggestions. P.B. and N.C. are supported by C.N.R.S. N.C. thanks the IDP for hospitality, where part of this work has been done.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A
Appendix A
From (4.9) to (4.11), for \(k=0,1,2\) one has:
Conversely, from (4.12)–(4.13) for \(k=1,2\) one has:
Rights and permissions
About this article
Cite this article
Baseilhac, P., Crampé, N. FRT presentation of classical Askey–Wilson algebras. Lett Math Phys 109, 2187–2207 (2019). https://doi.org/10.1007/s11005-019-01182-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-019-01182-y