Abstract
An embedding of the Bannai–Ito algebra in the universal enveloping algebra of \(\mathfrak {osp}(1,2)\) is provided. A connection with the characterization of the little \(-1\) Jacobi polynomials is found in the holomorphic realization of \(\mathfrak {osp}(1,2)\). An integral expression for the Bannai–Ito polynomials is derived as a corollary.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper exhibits a direct connection between the superalgebra \(\mathfrak {osp}(1,2)\) and the Bannai–Ito algebra. It also offers an interpretation of the little \(-1\) Jacobi polynomials in this context and an integral formula for the Bannai–Ito polynomials.
The Bannai–Ito polynomials were identified in the classification [1] of orthogonal polynomials with the Leonard duality property. They sit at the top of one the hierarchies of orthogonal polynomials that can be obtained under a \(q\rightarrow -1\) limit of the members of the Askey tableau and which are hence called \(-1\) polynomials [5, 22]. The Bannai–Ito algebra [22] is a unital associative algebra with three generators that encodes the bispectral properties of the polynomials with the same name.
Since its introduction, the Bannai–Ito algebra has appeared in a number of contexts and some of its ties to \(\mathfrak {osp}(1,2)\) have been uncovered. This algebra is in fact the symmetry algebra of a superintegrable model with reflections on the 2-sphere [7] and of the Dirac–Dunkl equation in three dimensions [3]; it appears in Dunkl harmonic analysis on \(S^2\) [9] and is isomorphic to the degenerate \((C_1^{\vee }, C_1)\) double affine Hecke algebra [11]. The Bannai–Ito algebra also arises in the Racah problem for \(\mathfrak {osp}(1,2)\). Indeed, its central extension is the centralizer of the coproduct embedding of \(\mathfrak {osp}(1,2)\) in the threefold direct product \(\mathfrak {osp}(1,2)^{\otimes 3}\) of this algebra with itself, with the intermediate Casimir operators acting as the generators [6]. A different relation between the two algebras [the Bannai–Ito one and \(\mathfrak {osp}(1,2)\)] will be presented in the following.
The \(-1\) little Jacobi polynomials are orthogonal on \([-1,1]\) and depend on two parameters [23]. They are obtained as a \(q\rightarrow -1\) limit of the little q-Jacobi polynomials and are eigenfunctions of a first-order differential-difference operator of Dunkl type.
The Bannai–Ito algebra can be obtained by taking \(q\rightarrow -1\) in the Askey–Wilson algebra AW(3), which describes the bispectral properties of the Askey–Wilson polynomials [24]. See also [13,14,15]. It is known that AW(3) can be realized in a subalgebra of the quantum loop \(\mathfrak {sl(}2)\) [12]. In a similar spirit, the goal here is to offer an embedding of the Bannai–Ito algebra in \(\mathscr {U}(\mathfrak {osp}(1,2))\), the universal enveloping algebra of \(\mathfrak {osp}(1,2)\)—a question that had been raised in the conclusion of Ref. [10]. This will then be exploited in the context of the holomorphic realization. It will be found that in this realization one generator of the Bannai–Ito algebra coincides with the differential-difference operator that is diagonalized by the little \(-1\) Jacobi polynomials. It will moreover be seen that a second generator results from the tridiagonalization [4] of the former. This will allow to obtain the eigenfunctions of this second generator.
As is generally understood from the theory of Leonard pairs [1, 18,19,20,21], the connection coefficients between two finite-dimensional representation bases constructed as eigenfunctions of either one of the Bannai–Ito generators satisfy the three-term recurrence relation of the Bannai–Ito polynomials. The model developed will hence allow to provide an integral formula for the (finite) Bannai–Ito polynomials.
The outline is as follows. The embedding of the Bannai–Ito algebra in \(\mathscr {U}(\mathfrak {osp}(1,2))\) is given in Sect. 2. The holomorphic representation of \(\mathfrak {osp}(1,2)\) is considered in Sect. 3 where the defining operator of the little \(-1\) Jacobi polynomials and its tridiagonalization will be seen to realize the Bannai–Ito generators. The integral formula for the Bannai–Ito polynomials is obtained in Sect. 4. Section 5 comprises concluding remarks.
2 Embedding the Bannai–Ito algebra in \(\mathscr {U}(\mathfrak {osp}(1,2))\)
In this section, we present the formal embedding of the Bannai–Ito algebra in \(\mathscr {U}(\mathfrak {osp}(1,2))\). The \(\mathfrak {osp}(1,2)\) superalgebra is generated by the elements \(A_{0}\), \(A_{\pm }\) subject to the relations
where \([x,y] = xy - yx\) and \(\{x,y\} = xy + yx\) stand for the commutator and the anticommutator, respectively. We introduce the grade involution operator P satisfying
The above relations serve to indicate that \(A_{\pm }\) are odd generators and that \(A_0\) is an even generator. The Casimir operator Q defined as
commutes with \(A_0\), \(A_{\pm }\) and P and generates the center of \(\mathscr {U}(\mathfrak {osp}(1,2))\).
Let \(\mu _2\), \(\mu _3\) and \(\mu _4\) be real numbers and consider the operators \(K_1, K_2, K_3 \in \mathscr {U}(\mathfrak {osp}(1,2))\) defined by the following expressions:
where Q is the \(\mathfrak {osp}(1,2)\) Casimir element (1). The operators (2) obey the defining relations of the Bannai–Ito algebra. Indeed, a direct calculation shows that
where \(\omega _1\), \(\omega _2\), \(\omega _3\) are the central elements with expressions
It is verified that in the realization (2), the Casimir operator C of the Bannai–Ito algebra, which reads
can be expressed as
The combinations (2) thus provide a formal embedding of the Bannai–Ito algebra (3) in the universal enveloping algebra of \(\mathfrak {osp}(1,2)\). Since the structure constants \(\omega _1, \omega _2, \omega _3\) in (4) depend on the Casimir operator Q of \(\mathfrak {osp}(1,2)\), it follows that (3) is in fact a central extension of the Bannai–Ito algebra, where the central operator is Q.
3 Holomorphic realization and little \(-1\) Jacobi polynomials
In this section, we establish the connection between the embedding of the Bannai–Ito algebra in \(\mathscr {U}(\mathfrak {osp}(1,2))\) detailed in the previous section and the little \(-1\) Jacobi polynomials using the holomorphic realization of \(\mathfrak {osp}(1,2)\). We also discuss the relationship with tridiagonalization.
3.1 The holomorphic realization of \(\mathfrak {osp}(1,2)\)
In the holomorphic realization of \(\mathfrak {osp}(1,2)\), the generators \(A_0\), \(A_{\pm }\) and the grade involution are given by
where \(R_x f(x) = f(-x)\) is the reflection operator and where \(D_x^{(\mu )}\) is the \(A_1\) Dunkl operator
In the realization (7), the Casimir operator (1) acts as a multiple of the identity; more specifically
A natural basis for the irreducible representation underlying (7) is provided by the monomials. Upon defining \(e_n(x) = x^{n}\), where n is a nonnegative integer, one has
where
are the \(\mu \)-numbers.
3.2 Differential-difference realization of Bannai–Ito generators
In light of the embedding (2) of the Bannai–Ito algebra in \(\mathscr {U}(\mathfrak {osp}(1,2))\), the holomorphic realization (7) and the basis \(e_{n}(z)\) allow us to present an infinite-dimensional representation of the Bannai–Ito algebra in which the generators are realized as differential-difference operators. Let us denote by \(K_1(x), K_2(x), K_3(x)\) the operators obtained by combining (2) with (7). One has
From (11), one finds that \(K_3(x)\) has the action
where \( \lambda _{n}\) and \(\nu _n\) are given by
Similarly, \(K_2(x)\) is seen to act bidiagonally as follows
where
The third generator \(K_1(x)\) acts in a three-diagonal fashion; one has
where the coefficients are given by
We now proceed to construct the bases in which \(K_2(x)\) and \(K_3(x)\) are diagonal.
3.3 The \(K_3\) eigenbasis
The eigenfunctions of the operator \(K_3(x)\) can be constructed straightforwardly by solving the two-term recurrence relation that stems from the action (12) of \(K_3(x)\) on the monomial basis. However, it can be seen that \(K_3(x)\) directly corresponds to the operator known to be diagonalized by the little \(-1\) Jacobi polynomials \(J_n^{(\alpha ,\beta )}(x)\) [23]. The (monic) little \(-1\) Jacobi polynomials are defined as the three-term recurrence relation
with \(J_{-1}^{(\alpha ,\beta )}(x) = 0\) and \(J_{0}^{(\alpha ,\beta )}(x) = 1\) and where \(b_n\) and \(u_n\) are given by
In [23], it was shown that the little \(-1\) Jacobi polynomials satisfy the eigenvalue equation
where L is the differential-difference operator
Upon comparing \(K_3(x)\) given by (11) with (20), one observes that \(K_3(x)\) is diagonalized by the little \(-1\) Jacobi polynomials with parameters \(\alpha = 2\mu _1\) and \(\beta = 2\mu _2\). Upon defining
one has the following eigenvalue relation
where the eigenvalues \(\lambda _n\) are given by (13). It can easily be seen that \(K_2(x)\) acts in a tridiagonal fashion on the little \(-1\) Jacobi basis. Indeed, upon denoting by X the “multiplication by x” operator, a straightforward calculation shows that \(K_2(x)\) can be expressed as
where
Since the X operator acts in a three-diagonal fashion on \(J_n^{(\alpha ,\beta )}(x)\) in accordance to the recurrence relation (18), one has
where the coefficients \(u_n\) and \(b_n\) are given by (19) with \(\alpha = 2\mu _1\) and \(\beta = 2\mu _2\).
Remark 1
The expression (23) indicates that \(K_2(x)\) can be obtained from \(K_3(x)\) via the tridiagonalization procedure. This procedure has been discussed in [4, 16]; it here allows to straightforwardly construct the representation of the Bannai–Ito algebra in the basis provided by the little \(-1\) Jacobi polynomials.
3.4 The \(K_2\) eigenbasis
We now determine the eigenbasis associated with \(K_2(x)\). We first observe that, in parallel with (23), \(K_3(x)\) can be expressed in terms of \(K_2(x)\) as follows:
where \(X^{-1}\) is the “multiplication by 1 / x” operator and where
In view of (25), we consider the change of variable \(y = 1/x\). Under this transformation, \(K_2(x)\) takes the form
Consider the gauge factor \(\phi _{\epsilon }(y)\) defined as
where \(\epsilon = 0\) or 1. One has
It is seen that (26) has the same form as \(K_3(x)\). It follows that the eigenfunctions of \(K_2(x)\) have the expression
and that the eigenvalue equation reads
with the eigenvalues \(\Omega _n\) given by
3.5 Finite-dimensional reduction
As is clear from the action (14) of \(K_2(x)\) on the monomial basis, the action of the Bannai–Ito generators (11) does not preserve the space of polynomials of a given degree. A finite-dimensional representation can, however, be obtained by imposing the appropriate truncation condition on the parameters. Indeed, it is easily seen that if one takes
then, the action of the Bannai–Ito generators preserves the \((N+1)\)-dimensional vector space spanned by the monomials \(\{e_0(x),\ldots , e_{N}(x)\}\). Upon imposing the truncation condition (30), the formula (21) for the eigenfunctions \(\psi _n(x)\) of \(K_3(x)\) as well as the eigenvalue equation (22) remains valid. For the eigenfunctions \(\chi _n(x)\) of \(K_2(x)\) obtained in (27), one must take \(\epsilon = 0\) in (27) and (28) when N is even, while taking \(\epsilon = 1\) in (27) and (28) when N is odd. These choices guarantee that \(\chi _n(x)\) is a polynomial of degree less or equal to N. It is observed that when the truncation condition (30) is satisfied, \(\chi _n(x)\) is in fact of the form \(\chi _n(x) = c_0 x^{N} + c_1 x^{N-1} + \cdots + c_n x^{N-n}\), as expected from the lower-triangular shape of \(K_2(x)\). We shall assume that (30) holds from now on.
4 Bannai–Ito polynomials
In this section, the Bannai–Ito polynomials are shown to arise as the interbasis expansion coefficients between the eigenbases of \(K_2(x)\) and \(K_3(x)\). This leads to an integral expression for the Bannai–Ito polynomials involving the little \(-1\) Jacobi polynomials.
4.1 A scalar product
Let P(x) and Q(x) be real polynomials in x; we introduce their scalar product denoted by \(\langle P(x), Q(x)\rangle \) and defined as
where \(\omega (x)\) is given by
Under this scalar product, the elements of the eigenbasis of \(K_3(x)\), given by the little \(-1\) Jacobi polynomials, are orthogonal [23]. Indeed, one has
where the normalization coefficients \(h_n\) have the expression
where \((a)_n\) stands for the Pochhammer symbol.
4.2 Interbasis expansion coefficients
We now consider the interbasis expansion coefficients between the eigenbases of \(K_3(x)\) and \(K_2(x)\). These coefficients, which shall be denoted by \(\mathscr {B}_n(k)\), are defined by the following expansion of the \(K_2(x)\) eigenfunction in a series of little \(-1\) Jacobi polynomials
In light of the orthogonality relation (31) satisfied by \(\psi _n(x)\), one can write
We recall that the coefficients \(\mathscr {B}_n(k)\) also depend on the three parameters \(\mu _1\), \(\mu _2\), \(\mu _3\), as well as on \(\mu _4 = \mu _N\). In light of the truncation condition (30), the integral in (34) is always well defined provided that \(\mu _i \ge 0\) for \(i=1,2,3\).
It is clear that the coefficients \(\mathscr {B}_n(k)\) satisfy a three-term recurrence relation. Indeed, upon applying \(K_2(x)\) on (33), using the eigenvalue equation (28) and the action (24) of \(K_2(x)\) on \(\psi _n(x)\) and finally exploiting the linear independence of the little \(-1\) Jacobi polynomials, one finds that \(\mathscr {B}_n(k)\) obey
where the recurrence coefficients are given by
One can write \(\mathscr {B}_{n}(k) = \mathscr {B}_{0}(k) P_n(\Omega _k)\) with \(P_0(\Omega _k) =1\) and
It is clear from (35) that \(P_n(\Omega _k)\) are polynomials of degree n in \(\Omega _k\). We introduce the normalized polynomials \(\widehat{P}_n(\Omega _k) = E_{0}^{(1)}\cdots E_{n-1}^{(1)} P_n(\Omega _k) \), which satisfy the normalized recurrence relation
with coefficients
A direct calculation shows that the coefficients \(U_n\) and \(r_n\) can be expressed as follows
where \(A_{n}\) and \(C_n\) are given by
The coefficients (39) correspond to those of the monic Bannai–Ito polynomials in the parametrization associated with the Racah problem (with the permutation \(\mu _1 \leftrightarrow \mu _2\)); see [6] for details on how to relate the present parametrization to the parametrization given in [22]. It follows that the monic Bannai–Ito polynomials admit the integral expression
where \(E_{n}^{(1)}\) is given by (36), \(h_n\) by (32), \(\mathscr {B}_0(k)\) by (37), \(\chi _k(x)\) and \(\Omega _k\) by (27) and (29), and where \(\psi _n(x)\) is given by (21). In essence, (40) gives an expression for the Bannai–Ito polynomials as an integral over the product of two little \(-1\) Jacobi polynomials. This is an analog of Koornwinder’s integral representation of the Wilson polynomials [17].
5 Conclusion
In this paper, we have exhibited a direct connection between the Bannai–Ito algebra and the superalgebra \(\mathfrak {osp}(1,2)\). We have provided an explicit embedding of the Bannai–Ito algebra in \(\mathscr {U}(\mathfrak {osp}(1,2))\) and offered a new characterization of the little \(-1\) Jacobi polynomials in the context of the holomorphic realization. We also highlighted connections with the tridiagonalization approach to orthogonal polynomials. Finally, we have given a new integral representation of the Bannai–Ito polynomials.
As already mentioned in Introduction, the Bannai–Ito algebra has also been seen to arise as the algebra formed by the intermediate Casimir operators in the addition of three \(\mathfrak {osp}(1,2)\) superalgebras [6]. It would be of interest to see if an explicit correspondence relating this connection between the Bannai–Ito algebra and \(\mathfrak {osp}(1,2)\) and the one identified here could be established in parallel to what was found in the case of the Racah algebra [8]. Besides, it is known that the Askey–Wilson algebra can be viewed as a homomorphic image of the q-Onsager algebra and that the Bannai–Ito algebra is obtained from the former when \(q=-1\). This suggests that the embedding in \(\mathscr {U}(\mathfrak {osp}(1,2))\) could be viewed as a subalgebra of a q-Onsager algebra for q a root of unity, see, for instance, [2]. This would certainly be worth exploring. We plan to look into these two questions in the future.
References
Bannai, E., Ito, T.: Algebraic combinatorics I: association schemes. Benjamin & Cummings, San Francisco (1984)
Baseilhac, P., Gainutdinov, A.M., Vu, T.T.: Cyclic tridiagonal pairs, higher order Onsager algebras and orthogonal polynomials. Linear Algebra Appl. 522, 71–110 (2017)
De Bie, H., Genest, V.X., Vinet, L.: A Dirac–Dunkl equation on \(S^2\) and the Bannai–Ito algebra. Commun. Math. Phys. 344, 447–464 (2016)
Genest, V.X., Ismail, M., Vinet, L., Zhedanov, A.: Tridiagonalization of the hypergeometric operator and the Racah–Wilson algebra. Proc. Am. Math. Soc. 144, 4441–4454 (2016)
Genest, V.X., Vinet, L., Zhedanov, A.: Bispectrality of the complementary Bannai–Ito polynomials. SIGMA Symmetry Integr. Geom. Methods Appl. 9, 18–37 (2013)
Genest, V.X., Vinet, L., Zhedanov, A.: The Bannai–Ito polynomials as Racah coefficients of the \(sl_{-1}(2)\) algebra. Proc. Am. Math. Soc. 142, 1545–1560 (2014)
Genest, V.X., Vinet, L., Zhedanov, A.: The Bannai–Ito algebra and a superintegrable system with reflections on the two-sphere. J. Phys. A: Math. Theor. 47, 205202 (2014)
Genest, V.X., Vinet, L., Zhedanov, A.: The equitable racah algebra from three \(\mathfrak{su}(1,1)\) algebras. J. Phys. A: Math. Theor. 47, 025203 (2014)
Genest, V.X., Vinet, L., Zhedanov, A.: A Laplace–Dunkl equation on \(S^2\) and the Bannai–Ito algebra. Commun. Math. Phys. 336, 243–259 (2015)
Genest, V.X., Vinet, L., Zhedanov, A.: The equitable presentation of \(\mathfrak{osp}_{q}(1|2)\) and a \(q\)-analog of the Bannai–Ito algebra. Lett. Math. Phys. 105, 1725–1734 (2015)
Genest, V.X., Vinet, L., Zhedanov, A.: The non-symmetric Wilson polynomials are the Bannai–Ito polynomials. Proc. Am. Math. Soc. 144, 5217–5226 (2016)
Granovskii, Y.I., Zhedanov, A.: Linear covariance algebra for \(SL_q(2)\). J. Phys. A: Math. Gen. 26, L357 (1993)
Huang, H.: Finite-dimensional irreducible modules of the universal Askey–Wilson algebra. Commun. Math. Phys. 340, 959–964 (2016)
Huang, H.: An embedding of the universal Askey-Wilson algebra into \(\fancyscript {U}_q(sl(2)) \otimes \fancyscript {U} _q(sl(2)) \otimes \fancyscript {U}_q(sl(2))\). Nucl. Phys. B 922, 401–434 (2017)
Huang, H.: Center of the universal Askey–Wilson algebra at roots of unity. Nucl. Phys. B 909, 260–296 (2016)
Ismail, M., Koelink, E.: Spectral properties of operators using tridiagonalisation. Anal. Appl. 10, 327 (2012)
Koornwinder, T.H.: Special orthogonal polynomial systems mapped onto each other by the Fourier–Jacobi transform. In: Lecture Notes in Mathematics. Springer, Berlin, pp 174–183 (1984)
Terwilliger, P.: Leonard pairs and dual polynomial sequences. Preprint (1987)
Terwilliger, P.: Two linear transformations each tridiagonal with respect to an eigenbasis of the other. Linear Algebra Appl. 330, 149–203 (2001)
Terwilliger, P., Vidunas, R.: Leonard pairs and the Askey–Wilson relations. J. Algebra Appl. 3, 411–426 (2004)
Vidunas, R.: Normalized Leonard pairs and Askey–Wilson relations. Linear Algebra Appl. 422, 39–57 (2007)
Tsujimoto, S., Vinet, L., Zhedanov, A.: Dunkl shift operators and Bannai–Ito polynomials. Adv. Math. 229, 2123–2158 (2012)
Vinet, L., Zhedanov, A.: A ‘missing’ family of classical orthogonal polynomials. J. Phys. A: Math. Theor. 44, 085201 (2011)
Zhedanov, A.S.: “Hidden symmetry” of Askey–Wilson polynomials. Theor. Math. Phys. 89, 1146–1157 (1991)
Acknowledgements
PB, VXG and AZ acknowledge the hospitality of the CRM and LV that of the Université de Tours where parts of the reported research have been realized. PB is supported by C.N.R.S. VXG holds a postdoctoral fellowship from the Natural Science and Engineering Research Council (NSERC) of Canada. LV is grateful to NSERC for support through a discovery grant.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Baseilhac, P., Genest, V.X., Vinet, L. et al. An embedding of the Bannai–Ito algebra in \(\mathscr {U}(\mathfrak {osp}(1,2))\) and \(-1\) polynomials. Lett Math Phys 108, 1623–1634 (2018). https://doi.org/10.1007/s11005-017-1041-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-017-1041-0