Académique Documents
Professionnel Documents
Culture Documents
Julien Gaboriaud
E-mail: julien.gaboriaud@umontreal.ca
Centre de Recherches Mathématiques, Université de Montréal, Montréal (QC), Canada
Luc Vinet
E-mail: luc.vinet@umontreal.ca
Centre de Recherches Mathématiques, Université de Montréal, Montréal (QC), Canada
Stéphane Vinet
E-mail: stephanevinet@uchicago.edu
The College, The University of Chicago, 5801 S. Ellis Ave, Chicago, IL 60637, USA
Alexei Zhedanov
E-mail: zhedanov@yahoo.com
Department of Mathematics, Renmin University of China, Beijing 100872, China
Abstract. The Racah algebra encodes the bispectrality of the eponym polynomials. It is known
to be the symmetry algebra of the generic superintegrable model on the 2-sphere. It is further
identified as the commutant of the o(2) ⊕ o(2) ⊕ o(2) subalgebra of o(6) in oscillator representations
of the universal algebra of the latter. How this observation relates to the su(1, 1) Racah problem and
the superintegrable model on the 2-sphere is discussed on the basis of the Howe duality associated
¡ ¢
to the pair o(6), su(1, 1) .
1. Introduction
The Racah algebra R has three generators K 1 , K 2 , K 3 that are subjected to the
relations:
[K 1 , K 2 ] = K 3 [K 2 , K 3 ] = K 2 2 + {K 1 , K 2 } + dK 2 + e 1
(1.1)
[K 3 , K 1 ] = K 1 2 + {K 1 , K 2 } + dK 1 + e 2
where
∂
Jk = ǫki j x i , i, j, k = 1, 2, 3, x1 2 + x2 2 + x3 2 = 1 (1.3)
∂x j
and a 1 , a 2 , a 3 are parameters. We shall also bring this fact to bear on our discussion.
The Racah algebra has further been shown to have a natural embedding in su(2)
[6, 7] and to be related to distance-regular graphs [8]. It also extends to arbitrary ranks
[9] with a connection to multivariate Racah polynomials of the Tratnik type [10, 11]
and higher dimensional superintegrable models [12]. We shall here add to this the
commutant realization mentioned above and explain how Howe duality [13, 14, 15]
¡ ¢
relates this observation to the fact that R is also the commutant in U su(1, 1)⊗3 of the
addition of three su(1, 1).
The paper will unfold as follows. As already indicated, we shall review in
Section 2 the occurrence of the Racah algebra in the recoupling of three irreducible
representations of su(1, 1). This is where R will be the commutant of su(1, 1) in
¡ ¢
U su(1, 1)⊗3 with the intermediate Casimir operators as generators. Our main result
will be the object of Section 3 where the connection with the Racah algebra and the
Lie algebra o(6) will be made. The link between this last incarnation of R as the
commutant of the maximal Abelian subalgebra o(2) ⊕ o(2) ⊕ o(2) of o(6) in the universal
algebra of the latter and the realization stemming from the Racah problem of su(1, 1)
will be discussed in Section 4. This will be done by considering six harmonic oscillators
¡ ¢
and the dual reductive pair o(6), sp(2) in sp(12) that acts on the Hilbert space of
their collective states. This Howe duality will be invoked to put in correspondance
the o(6) and sp(2) ≃ su(1, 1) pictures for the Racah algebra. In the last section, we
shall complete the analysis by rederiving the results pertaining to the symmetry
of the generic superintegrable model on the 2-sphere. To that end, we shall carry
out the dimensional reduction of the six-dimensional oscillator under the action of
O(2) ⊗ O(2) ⊗ O(2) to obtain the Hamiltonian from the total Casimir operator for the
addition of six metaplectic representations of sp(2) and the constants of motion from the
proper intermediate Casimirs with the knowledge that they realize the Racah algebra.
Summary and outlook will form the Conclusion.
The Racah algebra as a commutant and Howe duality 3
The Lie algebra su(1, 1) has generators J0 , J± that obey the following commutation
relations:
[ J0 , J± ] = ± J± [ J+ , J−] = −2 J0 (2.1)
C = J02 − J+ J− − J0 . (2.2)
Consider now the addition of 3 irreducible representations of su(1, 1) for which the
initial Casimir operators take values C ( i) = λ i , i = 1, 2, 3, and let us write
with the superindex denoting on which of the three factors in su(1, 1)⊗3 the operator is
acting. In addition to the initial Casimir operator C ( i) we also have the intermediate
Casimir operators associated to the addition of two representations
¡ ( j ) ¢2 ¡ ( i ) ( j ) ¢¡ ¢ ¡ ( j) ¢
C ( i j) = J0( i) + J0 − J+ + J+ J−( i) + J−( j) − J0( i) + J0 (2.4)
with ( i j ) = (12), (23), (31) and also the total Casimir operator, given by:
¡ ¢2
C (123) = J0(123) − J+(123) J−(123) − J0(123) . (2.5)
Take C (123) = λ4 . Let V (λ i ) denote irreducible representation spaces of su(1, 1), and
look at the decomposition of V (λ1 ) ⊗ V (λ2 ) ⊗ V (λ3 ) in irreducibles V (λ4 ) . The Racah
problem for su(1, 1) is about determining the unitary transformations between the bases
corresponding to the steps (1 ⊕ 2) ⊕ 3 and 1 ⊕ (2 ⊕ 3) that respectively diagonalize the
intermediate Casimirs C (12) and C (23)
¡ ¢
C (12) = 2 J0(1) J0(2) − J+(1) J−(2) + J−(1) J+(2) + λ1 + λ2 ,
¡ ¢ (2.6)
C (23) = 2 J0(2) J0(3) − J+(2) J−(3) + J−(2) J+(3) + λ2 + λ3 .
These intermediate Casimir operators generate the Racah algebra R , since the rela-
¡ ¢
tions (1.1) are satisfied by K 1 = − 21 C (12) and K 2 = − 21 C (23) with d = 12 λ1 + λ2 + λ3 + λ4 ,
¡ ¢¡ ¢ ¡ ¢¡ ¢
e 1 = 41 λ1 − λ4 λ2 − λ3 , e 2 = 41 λ1 − λ2 λ4 − λ3 .
We will now observe that R is the commutant in U (o(6)) of a subalgebra of o(6) in the
oscillator representation. The algebra o(6) has 15 generators L µν = −L νµ , µ, ν = 1, ..., 6
obeying
Pick the o(2) ⊕ o(2) ⊕ o(2) subalgebra of o(6) generated by the commutative set
{L 12 , L 34 , L 56 }. We want to focus on the commutant of this Abelian subalgebra in
U (o(6)). It is fairly easy to see that it will be generated by the following two invariants:
1¡ 2 ¢
K1 = L 12 + L234 + L213 + L223 + L214 + L224 (3.4)
8
1¡ ¢
K 2 = L234 + L256 + L235 + L236 + L245 + L246 . (3.5)
8
Define K 3 by [K 1 , K 2 ] = K 3 . One then finds that
1¡ 2
K3 = L + L236 + L245 + L246 − L213 − L214 − L223 − L224 − L215 − L216 − L225 − L226
16 35
+ L 13 L 35 L 15 + L 13 L 36 L 16 + L 23 L 35 L 25 + L 23 L 36 L 26 + L 14 L 45 L 15 (3.6)
¢
+ L 14 L 46 L 16 + L 24 L 45 L 25 + L 24 L 46 L 26 .
Working out the commutation relations of K 3 with K 1 and K 2 , we find that they
correspond to those of a central extension of the Racah algebra with L 12 , L 34 , L 45 and
C playing role of structure constants. Indeed one obtains
[K 1 , K 2 ] = K 3
1 ¡ ¢ 1¡ ¢¡ ¢
[K 2 , K 3 ] = K 22 + {K 1 , K 2 } − K 2 C + L212 + L234 + L256 − C − L212 − 4 L234 − L256 (3.7)
8 64
1 ¡ ¢ 1¡ ¢¡ ¢
[K 3 , K 1 ] = K 12 + {K 1 , K 2 } − K 2 C + L212 + L234 + L256 − C − L256 − 4 L234 − L212
8 64
¡ ¢ ¡ ¢¡ ¢
where the parameters d = − 18 C + L212 + L234 + L256 , e 1 = − 64 1
C − L212 − 4 L234 − L256 ,
1
¡ ¢¡ ¢
e 2 = − 64 C − L256 − 4 L234 − L212 are obviously central.
Let us indicate how this result is obtained. Take for example the commutator
[K 2 , K 3 ] ( [K 3 , K 1 ] is treated similarly). On the one hand, it is readily observed that
the r.h.s in (3.7) only contains terms of the form L2µν . On the other hand, using the
o(6) commutation relations (3.1) and the explicit expressions (3.5), (3.6) for K 2 , K 3 , one
The Racah algebra as a commutant and Howe duality 5
obtains:
The terms of the type L µν L ρν L ρσ L µσ thus need to be re-expressed. The key to rewriting
them with factors involving only the L2µν ’s is to make use of the identity
L µν L ρσ + L µρ L σν + L µσ L νρ = 0 (3.9)
which is directly proved in the realization (3.3) (and which in fact remains true for
Dunkl angular momenta ([16])), and to also take its square, which yields
Combining these two identities and calling upon other elementary formulas such as
allows one to equate (3.8) with the r.h.s in (3.7), which completes the proof.
We shall now show how the result in the previous section can be explained by
identifying the Howe pair in play in the system we have considered. In the last two
¡ ¢
sections we showed that the Racah algebra is the commutant of su(1, 1) in U su(1, 1)⊗3
and of o(2) ⊕ o(2) ⊕ o(2) in U (o(6)). The connection between these two observations can
be traced to Howe duality.
It is known ([15]) that o( n) and sp(2 d ) form a dual pair in sp(2 dn), i.e. these two
subgroups are mutual commutants. This implies that o(6) and sp(2) ≃ su(1, 1) have
dual actions on the Hilbert space of six oscillators. That means that their irreducible
representations can be paired and this can be done through the Casimirs.
The Racah algebra as a commutant and Howe duality 6
(µ) 1 1 d2 (µ) 1 d 1
J+ = ξ2µ , J−(µ) = , J0 = ξµ + , µ = 1, 2, 3, 4, 5, 6. (4.1)
2 2 d ξ2µ 2 d ξµ 4
We shall add these six representations by first coupling the three pairs (µν) =
(12), (34), (56) and shall write:
Recall that the sp(2) Casimir is C = J02 − J+ J− − J0 . The connection between the Casimirs
of combined metaplectic representations with elements in U (o(6)) is readily obtained:
1¡ 2 ¢
C (µν) = − L µν + 1 , (4.3)
4Ã !
1 X 1 3
C (123456) = − L2µν − 3 = − C + , (4.4)
4 µ<ν 4 4
1¡ ¢
C (1234) = − L212 + L234 + L213 + L223 + L214 + L224 = −2K 1 , (4.5)
4
1 ¡ ¢
C (3456) = − L234 + L256 + L235 + L236 + L245 + L246 = −2K 2 . (4.6)
4
In addition to observing that C (123456) and the Casimir C of o(6) are affinely related, we
see that the intermediate sp(2) Casimirs correspond to the generators of the commutant
of {L 12, L 34 , L 56 } in U (o(6)). We know from Section 3, that the intermediate sp(2)
Casimirs realize the commutation relations of the Racah algebra. This will hence be
the case also for the commutant generators and we have here our duality connection.
We can now complete the picture by performing the dimensional reduction from R6 to
R+ × S 2 [17, 18, 19] to obtain the generic superintegrable model (introduced in Section 1)
with Hamiltonian H and to recover as well its symmetries. Make the following change
of variables:
ξ2 i−1 = x i cos θ i , ∂ ∂ ∂
L 2 i−1,2 i = ξ2 i−1 − ξ2 i = , i = 1, 2, 3. (5.1)
ξ2 i = x i sin θ i , ∂ξ2 i ∂ξ2 i−1 ∂θ i
Eliminate the ignorable θ i s by separating these variables and setting L22 i−1,2 i ∼ k2i .
1 1
−
After performing the gauge transformation O 7→ Oe = x i2 O x i 2 one obtains
à ! µ ¶
2
f (2 i−1,2 i) 1 2 f (2 i−1,2 i) 1 d a i f (2 i−1,2 i) 1 d 1
J+ = xi , J− = + , J0 = xi + , (5.2)
2 2 dx2i x2i 2 dx i 2
e(µ,ν,ρ ,σ) = ( f
C J0 )2 − J
f+ J
f− − f
J0 with Je = Je(µ,ν) + Je(ρ ,σ) , (5.3)
The Racah algebra as a commutant and Howe duality 7
e(123456) = C
C e(1234) + C
e(3456) + C
e(1256) − C
e(12) − C
e(34) − C
e(56) . (5.5)
¡ ¢
Since Ce(2 i−1,2 i) = − 1 a i + 3 are constants, the invariant can be taken to be given by the
4 4
sum of the first three terms in C e(123456) . Assuming x1 2 + x2 2 + x3 2 = 1, this is recognized
to be the Hamiltonian (1.2) of the generic model (up to an affine transformation). The
Casimirs are essentially the conserved quantities:
x2k x2j
2
Q i = Ji + a j 2 + ak i, j, k ∈ {1, 2, 3} cyclic (5.6)
xj x2k
6. Conclusion
The Racah algebra R embodies the theory of the Racah polynomials. The ubiquity of
these orthogonal polynomials explains the diverse roles that R plays and motivates,
with an eye to generalizations, the examination of all facets of this algebra. It is
hence quite nice that we could find a new characterization of R . Put in simple terms,
our findings can be summarized as follows. We have shown that the Racah algebra
is generated by polynomials in the generalized angular momenta in six dimensions
that are invariant under rotations in three non-intersecting planes. We have further
indicated that this picture is dual, in the sense of Howe, to the one where the Racah
algebra is generated by the Casimir operators in the addition of three irreducible
representations of su(1, 1). This was done by exploiting the correspondence between the
representations of o(6) and those of sp(2) acting on the state space of a six-dimensional
harmonic oscillator. The analysis provided an illuminating context within which the
Racah symmetry of the generic superintegrable model on the 2-sphere is naturally
obtained by dimensional reduction. This suggests numerous potential extensions.
It should be possible to extend all the results of this paper to higher dimensions,
namely, to Racah algebras with rank superior to one. These algebras have already been
introduced using the recoupling model, that is, as the ones generated by the various
Casimir operators arising the the addition of four and more su(1, 1) representations [9].
The Racah algebra as a commutant and Howe duality 8
Acknowledgments
The authors wish to thank Luc Frappat, John Harnad, Éric Ragoucy and Paul Sorba
for enlightening discussions. JG holds an Alexander-Graham-Bell scholarship from the
Natural Science and Engineering Research Council (NSERC) of Canada. LV gratefully
acknowledges his support from NSERC. SV enjoys a Neubauer No Barriers scholarship
at the University of Chicago and benefitted from a Metcalf internship. The work of AZ
is supported by the National Foundation of China (Grant No. 11771015).
References
[1] V. X. Genest, L. Vinet, A. Zhedanov, The Racah algebra and superintegrable models, J. Phys. Conf.
Ser. 512 (2014), 012011
[2] R. Koekoek, P.A. Lesky, and R.F. Swarttouw, Hypergeometric orthogonal polynomials and their q-
analogues. Springer, 1-st edition, 2010
[3] Y. Granovski, A. Zhedanov, Nature of the symmetry group of the 6-j symbol, Soviet Physics JETP 67
(1988), 1982-1985
[4] V. X. Genest, L. Vinet, A. Zhedanov, Superintegrability in two dimensions and the Racah-Wilson
algebra, Lett. Math. Phys. 104 (2014), 931-952
[5] E.G. Kalnins, W. Miller Jr., S. Post, Wilson polynomials and the generic superintegrable system on
the 2-sphere, J. Phys. A: Math. Theor. 40 (2007), 11525-11538
The Racah algebra as a commutant and Howe duality 9
[6] S. Gao, Y. Wang, B. Hou, The classification of Leonard triples of Racah type, Lin. Alg. Appl, 439
(2013), 1834
[7] V. X. Genest, L. Vinet, A. Zhedanov, The equitable Racah algebra from three su(1, 1) algebras, J.
Phys. A: Math. Theor. 47 (2014), 025203
[8] H. Liu, B. Hou, S. Gao, Leonard triples, the Racah algebra and some distance-regular graphs of
Racah type, Lin. Alg. Appl. 484 (2015), 435
[9] H. De Bie, V. X. Genest, W. van de Vijver, L. Vinet, A higher rank Racah algebra and the Z2n Laplace-
Dunkl operator, J.Phys. A: Math. Theor. 51 (2017),
[10] M. V. Tratnik, Some multivariable orthogonal polynomials of the Askey tableau-discrete families, J.
Math. Phys. 32 (1991), 2337-2342
[11] J. Geronimo, P. Iliev, Bispectrality of multivariable Racah-Wilson polynomials, Constr. Approx. 31
(2010), 417-457
[12] P. Iliev, The generic quantum superintegrable system on the sphere and Racah operators, Lett. Math.
Phys. 107 (2017), 2029-2045
[13] R. Howe, Remarks on classical invariant theory, Trans. Am. Math. Soc. 313 (1989), 539
[14] R. Howe, Dual pairs in physics: harmonic oscillators, photons, electrons, singletons in: Applications
of Group Theory in Physics and Mathematical Physics, M. Flato, P. Sally, G. Zuckerman (eds.),
Lectures in Applied Mathematics 21, AMS, Providence, R.I. (1985), 179-206
[15] D. J. Rowe, M. J. Carvalho, J. Repka, Dual pairing of symmetry and dynamical groups in physics,
Rev. Mod. Phys. 84 (2012), 711
[16] M. Feigin and T. Hakobyan, On Dunkl angular momenta algebra, J. High. Energy. Phys. 11 (2015),
107.
[17] L. Gagnon, J. Harnad, J. Hurtubise, P. Winternitz, Abelian integrals and the reduction method for
an integrable Hamiltonian system, J. Math. Phys. 26 (1985), 1605.
[18] M. R. Adams, J. Harnad, E. Previato, Isospectral Hamiltonian Flows in Finite and Infinite
Dimensions, Comm. Math. Phys. 117 (1988) 451.
[19] M. A. Rodríguez, P. Tempesta, P. Winternitz, Reduction of superintegrable systems: The anisotropic
harmonic oscillator, Phys. Rev. E 78 (2008), 046608.
[20] A.S. Zhedanov, Hidden symmetry of Askey-Wilson polynomials, Teoret. Mat. Fiz. 89 (1991) 190-204.
[21] Y. Granovski, A. Zhedanov, Hidden symmetry of the Racah and Clebsch-Gordan Problems for the
quantum algebra sl q (2), arXiv:hep-th/9304138v1.
[22] E. Bannai and T. Ito, Algebraic Combinatorics I. Association Schemes, Benjamin/Cummings
Publishing Company, 1984.
[23] S. Tsujimoto, L. Vinet and A. Zhedanov, Dunkl shift operators and Bannai-Ito polynomials, Adv.
Math. 229 (2012), 2133–2158.
[24] V.X. Genest, L. Vinet and A. Zhedanov, The Bannai-Ito polynomials as Racah coefficients of the
sl−1 (2) algebra, Proc. Amer. Math. Soc. 142 (2014), 1545–1560.
[25] V.X. Genest, L. Vinet and A. Zhedanov, The Bannai-Ito algebra and a superintegrable system with
reflections on the 2-sphere, J. Phys. A: Math. Theor. 47 (2014), 205202..
[26] H. De Bie, V.X. Genest and L. Vinet, A Dirac-Dunkl equation on S 2 and the Bannai-Ito algebra,
Commun. Math. Phys. 344 (2016), 447–464.
[27] C. F. Dunkl, Differential-difference operators associated to reflection groups, Trans. Amer. Math. Soc.
311 (1989), 167-183.
[28] H. De Bie, V.X. Genest, S. Tsujimoto, L. Vinet and A. Zhedanov, The Bannai-Ito algebra and some
applications, Journal of Physics, Conference Series 597 (2015) 012001.