Revisiting the Askey--Wilson algebra with the universal R-matrix of $U_q(sl(2))$

Julien Gaboriaud; Luc Vinet; Meri Zaimi; Nicolas Crampe

REVIEW 2 major objections 5 minor 1 cited by

Revisiting the Askey--Wilson algebra with the universal R-matrix of $U_q(sl(2))$

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that the R-conjugate of the intermediate Casimir $C_{13}$ supplies the missing third generator of AW(3) inside $U_q(sl_2)^{\otimes 3}$.

desk verdict New R-matrix formula for the third Askey–Wilson generator – genuine progress with one load-bearing identity left as an exercise. read the letter →

arxiv 1908.04806 v2 pith:XMHNSALB submitted 2019-08-13 math.QA math-phmath.MP

Nicolas Crampe , Julien Gaboriaud , Luc Vinet , Meri Zaimi This is my paper · ORCID

classification math.QAmath-phmath.MP MSC 17B3733D4581R50

keywords Askey-WilsonalgebrauniversalR-matrixU_q(sl2)centralizerintermediateCasimirelementscoactionYang-Baxterequationquantumgroups

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper addresses a long-standing gap in the tensor-product realization of the Askey-Wilson algebra: when the centrally extended algebra AW(3) is embedded in three copies of the quantum group $U_q(sl_2)$, the first two generators are naturally intermediate Casimir elements, but the third could only be defined indirectly as a $q$-commutator of the other two. The paper proposes that the missing third generator is the intermediate Casimir $C_{13}$ conjugated by the universal $R$-matrix, and proves that the three resulting elements satisfy exactly the defining relations of AW(3). A reader should care because the formula removes the ad hoc part of the realization and supplies the algebraic principle needed to extend Askey-Wilson algebras to higher tensor powers.

What carries the argument

The load-bearing object is the universal $R$-matrix $R$ of $U_q(sl_2)$, used as a conjugation device rather than merely as a solution of the Yang-Baxter equation in a representation. The proof hinges on the identity relating $\tilde R_{23}^{-1} C_{13} \tilde R_{23}$ to $R_{12} C_{13} R_{12}^{-1}$, and on the $q$-commutator identity (42) that connects $C_{12}$, $C_{23}$, and $C_{13}^{(0)}$. The paper also defines a left coaction $\tau(x) = \tilde R^{-1}(1 \otimes x)\tilde R$, a map from $U_q(sl_2)$ to $U_q(sl_2)^{\otimes 2}$ compatible with the coproduct, which rewrites $C_{13}^{(0)}$ as $(1 \otimes \tau)\Delta(C)$ and is shown to be a coaction using the coproduct relations of $R$; this coaction turns out to be the map previously used to generate higher-rank Askey-Wilson algebras.

What would settle it

Take a low-dimensional irreducible representation of $U_q(sl_2)$ with generic $q$, form its three-fold tensor product, and compare the matrix coefficients of both sides of (42); a nonzero difference on any $q$-weight component would show that $C_{13}^{(0)}$ is not the third AW(3) generator.

Watch

Extended reading notes

Core claim

The central discovery is that the element $C_{13}^{(0)} = \tilde R_{23}^{-1} C_{13} \tilde R_{23} = R_{12} C_{13} R_{12}^{-1}$ lies in the centralizer of the diagonal action of $U_q(sl_2)$ in $U_q(sl_2)^{\otimes 3}$ and, together with $C_{12}$ and $C_{23}$, obeys the defining relations of the centrally extended Askey-Wilson algebra AW(3). Even though the unmoved element $C_{13}$ centralizes only in the limit $q=1$, its $R$-conjugates centralize for arbitrary $q$; the equality of the two conjugation expressions follows from the Yang-Baxter equation. From the single $q$-commutator identity (42), the paper derives all three AW(3) relations, and the companion element $C_{13}^{(1)}$ satisfies the complementary relations and is identified with an element used in earlier AW(4) work.

Load-bearing premise

The load-bearing premise is the unshown 'direct computation' behind the $q$-commutator identity (42), which equates the deformed commutator of $C_{12}$ and $C_{23}$ with $C_{13}^{(0)}$ plus two central terms; every AW(3) relation in the paper is derived from this identity, so a slip in it would break the identification.

Editorial extensions

If this is right

The elements $C_{12}$, $C_{23}$, and $C_{13}^{(0)}$ satisfy the defining relations of AW(3), so the embedding into $U_q(sl_2)^{\otimes 3}$ no longer needs the third generator to be defined by a $q$-commutator.
The conjugate element $C_{13}^{(1)}$ satisfies the complementary relations and coincides with the element previously called IQ13 in work on the higher-rank algebra AW(4).
In the AW(4) setting, the commutation $[C_{13}^{(0)}, C_{24}^{(1)}] = 0$ follows directly from the $R$-matrix expressions, replacing a lengthy direct proof.
The left coaction built from $R$ reproduces the coaction used to construct higher-rank Askey-Wilson algebras, giving that construction a transparent origin.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If formula (16) is taken as the definition of the third generator, the AW(3) relation (42) becomes a theorem rather than an imposed relation; the same conjugation strategy is a natural template for a uniform definition of AW(n) for all $n$, although the paper only demonstrates AW(3) and one AW(4) commutator.
Because the proof uses only quasitriangularity and the Yang-Baxter equation, analogous $R$-conjugation formulas should define AW-type centralizers in tensor powers of other quantum groups or quantum supergroups.
An explicit representation check of (42) would both test the paper's central identity and likely expose the pattern behind the omitted direct computation, possibly yielding a closed formula for the $q$-commutator in arbitrary highest-weight modules.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear colleague,

The headline: this letter gives the first intrinsic R-matrix expression for the third generator of the Askey–Wilson algebra in its three-fold U_q(sl2) embedding. Previous work defined that generator from the q-commutator relation (42) or via a coaction imported from [5,6]; here C13^(0) is defined directly as \tilde R^{-1}_{23} C13 \tilde R_{23} = R12 C13 R^{-1}_{12}. That closes a small but real gap.

What is good: Theorem 3.1 is a clean proof that these conjugated Casimirs centralize the diagonal action; the braiding step is legitimate Yang–Baxter. Lemma 4.1 gives explicit τ-images with proofs shown, and the computations are correct as far as I checked. The observation that τ is a left coaction falls out in two lines from the R-matrix identities, a genuine simplification over the direct calculation in [5,6]. The AW(4) commutativity example is a nice indication that the formalism scales. The references are on point; the comparison with [5,6] is ex post and honestly framed.

The soft spot is exactly the load-bearing omitted computation. Proposition 4.1's identity (42) is the basis for every relation in Corollary 4.1; without it, the identification of C13^(0) as the AW(3) generator collapses. The proof is one sentence: "A direct computation using the commutation relations..." No computation is shown, and the q-commutator convention is not spelled out. That is a real gap, not a stylistic quibble. I do not think it is circularity—C13^(0) is defined independently in (16)—and I would not call it disqualifying. The identity is plausible and consistent with earlier work, and the authors demonstrate in Lemma 4.1 that they can perform these computations. But the paper should not appear with (42) as a black box.

For whom: researchers in quantum algebras, higher-rank Askey–Wilson/Bannai–Ito algebras, and centralizers of quantum groups. It is a short letter that delivers a new tool rather than a new theory; it deserves to be read.

Recommendation: engage with it, send it to a referee, and ask the authors either to include the computation behind (42) or to cite a place where it is carried out. Conditional accept after that.

Referee Report

2 major / 5 minor

Summary. The paper proposes a new intrinsic description of the third generator of the centrally extended Askey–Wilson algebra AW(3) inside U_q(sl_2)^{⊗3}. The authors define the element C13^(0) by conjugating the intermediate Casimir C13 with the universal R-matrix (Eq. (16)), prove that it lies in the centralizer C3, and claim that, together with C12 and C23, it satisfies the defining relations of AW(3). The key identity (42) is asserted to follow by a direct computation, and the remaining AW(3) relations are derived from it by conjugation and permutation of tensor factors. The paper also shows that the conjugation map τ is a left coaction that matches the coaction used in [5,6], and illustrates the method by proving a commutativity in AW(4).

Significance. If the central identity (42) is correct, this is a genuine conceptual advance: it provides an a priori, R-matrix-based expression for the third AW(3) generator, resolving a long-standing gap in the centralizer picture, and it explains the origin of the coaction used in earlier work. The paper gives explicit proofs for Theorem 3.1 and Lemma 4.1, and it derives the full set of AW(3) relations from a single identity. The commutativity in AW(4) (Eq. (57)) illustrates that the method simplifies higher-rank computations. The main weakness is that the proof of Proposition 4.1 is an omitted 'direct computation', so the central claim is not independently verifiable from the manuscript as written.

major comments (2)

[Section 4, Corollary 4.1] The identity (42) is the linchpin of the paper: all AW(3) relations (43)-(47) are derived from it, and it is the basis for identifying C13^(0) as the third generator. Its proof, however, is only 'A direct computation using the commutation relations of U_q(sl2)', with no intermediate steps. This is not a trivial identity; substituting Lemma 4.1 into (40)-(41) yields a finite but lengthy expression, and any sign or ordering error would change the right-hand side of every derived relation. Furthermore, the q-commutator [A,B]_q used in (42) is never defined in the paper, making the identity ambiguous. The authors should provide the full computation or a detailed outline, and they should explicitly state the convention for [A,B]_q (e.g., qAB - q^{-1}BA or its opposite).
[Section 4, Corollary 4.1] The derivation of (43)-(47) from (42) is sketched in words rather than shown. In particular, the transition from (42) to (43) involves exchanging spaces, conjugating by R̃12, and using property (8); the signs and the placement of central terms are not transparent. Since the final claim is that these relations are exactly the defining relations of AW(3), the authors should write out at least one complete derivation (e.g., of (43)) and confirm that the q-commutator convention is consistent with the relations in [18]. Without this, the identification of C13^(0) as the third AW(3) generator remains conditional on an unverified algebraic identity.

minor comments (5)

[Section 2, Eq. (11)] The symbol Θ is used in the expression ~R = Θ q^{2(H⊗H)} but is never defined; please define Θ explicitly as the infinite sum preceding q^{2(H⊗H)}.
[Section 4, Eq. (42)] The q-commutator [A,B]_q is used without definition; if it is standard in the Askey–Wilson literature, please state the convention explicitly for the paper to be self-contained (this also affects the major comment on Proposition 4.1).
[Section 4, Lemma 4.1] In the proof of (27), the sentence 'It is easy to show that the parameters an satisfy...' skips the summation step; spelling out that step would make the proof more complete.
[Section 4, Remark 2] The dictionary between the paper's generators and those of [5,6] is terse; expanding it would help readers who wish to compare the coactions.
[Conclusion, Eq. (57)] The claim that [C13^(0), C24^(1)] = 0 is 'immediate' would benefit from a one-line justification, as it is a key illustration of the method.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: C13^(0) is defined by R-conjugation independently of the AW(3) relations, and the AW(3) relations are derived rather than assumed.

full rationale

The central claim of the paper is that the element C13^(0), defined in Eq. (16) by conjugating the intermediate Casimir C13 with the universal R-matrix, is the intrinsic image of the third generator of the Askey-Wilson algebra AW(3) in U_q(sl2)^{⊗3}. This is not circular. The definition (16) does not contain the AW(3) commutation relations; it is a purely R-matrix conjugation. The paper explicitly distinguishes this from earlier work: Remark 1 states that in previous works C13^(0) was defined by relation (42), while in this paper it is defined independently via relation (16). Thus the q-commutator identity (42) is a derived statement, not an input. The derivation chain is coherent: Theorem 3.1 proves centrality of C13^(0) using coassociativity and the Yang-Baxter equation; Lemma 4.1 computes the coaction τ from the explicit form of the R-matrix; Proposition 4.1 states that the key identity (42) follows from a direct computation using the commutation relations of U_q(sl2); and Corollary 4.1 derives the remaining AW(3) relations (43)-(47) from (42) by conjugation and exchange of tensor factors. The omission of the detailed computation in Proposition 4.1 is a verification gap, not a circularity: the identity is not assumed or fitted, but claimed to be provable from the algebraic definitions. The self-citations [1]-[3] appear only in the concluding remarks as companion papers and are not load-bearing for the main proof. No uniqueness theorem or ansatz from the same authors is invoked to force the construction, and the comparison with the coaction of [5,6] is ex post. The paper is self-contained in its algebraic derivation, and the central claim does not reduce by construction to its inputs.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters appear: the construction uses only standard quantum group data, with q a fixed non-root-of-unity parameter that is not fitted. The paper introduces no new postulates; the elements C13^(0) and C13^(1) are explicitly constructed from known ingredients and proven to lie in the centralizer. The only unstated algebraic input is the standard R-matrix formalism and the unshown 'direct computation' behind Eq. (42).

assumptions (3)

standard math U_q(sl2) with generators E, F, q^H and relations (1) is quasi-triangular with universal R-matrix satisfying (5), (6), the Yang-Baxter equation (9), and the explicit form (10).
Invoked in Theorem 3.1, Lemma 4.1 and throughout; standard result of Drinfeld [8].
standard math The comultiplication Δ is coassociative (4) and the Casimir element C (2) is central in U_q(sl2).
Used to define the centralizer C3 and the intermediate Casimirs (12)-(14).
standard math The map τ(x) = R̃^{-1}(1⊗x)R̃ (24) is an algebra homomorphism and a left coaction.
Conjugation by a fixed invertible element gives a homomorphism; the coaction property is proven in Remark 3 using (6).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Revisiting the Askey--Wilson algebra with the universal R-matrix of $U_q(sl(2))$." pith.science (2026). https://pith.science/paper/XMHNSALB

@misc{pith2026190804806,
  author       = {Pith},
  title        = {Pith review of: Revisiting the Askey--Wilson algebra with the universal R-matrix of $U_q(sl(2))$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XMHNSALB}},
  note         = {Machine review of arXiv:1908.04806}
}

abstract

A description of the embedding of the universal Askey--Wilson algebra, AW(3), in $U_q(sl_2)^{\otimes 3}$ is given in terms of the universal R-matrix of $U_q(sl_2)$. The generators of the centralizer of $U_q(sl_2)$ in its three-fold product are naturally expressed through conjugations of Casimir elements with R. They are identified as the images of the generators of AW(3) under the embedding map by showing that they obey the AW(3) relations. This is achieved by introducing a natural coaction also constructed with the help of the R-matrix.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Higher Rank Relations for the Askey-Wilson and $q$-Bannai-Ito Algebra
math.QA 2019-08 conditional novelty 6.0 of 10

New commutation and q-commutation relations are proven for generators of the higher rank Askey-Wilson and q-Bannai-Ito algebras, extending the rank-one defining relations.

Reference graph

Works this paper leans on

18 extracted references · 10 canonical work pages · cited by 1 Pith paper

[18]

Zhedanov, Hidden symmetry of the Askey–Wilson polynomials, Theor

A.S. Zhedanov, Hidden symmetry of the Askey–Wilson polynomials, Theor. Math. Phys. 89:1146–1157, 1991. † Institut Denis-Poisson CNRS/UMR 7013 - Universit ´ e de Tours - Universit ´ e d’Orl´ eans, Parc de Grammont, 37200 Tours, France. E-mail address : crampe1977@gmail.com ∗ Centre de recherches math ´ ematiques, Universit ´ e de Montr ´ eal, P.O. Box 6128...

work page 1991
[1]

Centralizers of the superalgebra osp(1|2): the Brauer algebra as a quotient of the Bannai-Ito algebra

N. Crampe, L. Frappat and L. Vinet, Centralizers of the superalgebra osp(1|2): the Brauer algebra as a quotient of the Bannai–Ito algebra, J. Phys. A (to appear) and arXiv:1906.03936

work page Pith review arXiv 1906
[2]

Temperley-Lieb, Brauer and Racah algebras and other centralizers of su(2)

N. Crampe, L. Poulain d’Andecy and L. Vinet, Temperley–Lieb, Brauer and Racah algebras and other central- izers of su(2), arXiv:1905.06346

work page Pith review arXiv 1905
[3]

Bannai-Ito algebras and the universal R-matrix of osp(1|2)

N. Crampe, L. Vinet and M. Zaimi, Bannai–Ito algebras and the universal R-matrix of osp(1|2), arXiv:1909.06426

work page Pith review arXiv 1909
[4]

De Bie, V.X

H. De Bie, V.X. Genest and L. Vinet, The Z2 n Dirac–Dunkl operator and a higher rank Bannai–Ito algebra, Adv. Math. 303:390–414, 2016 and arXiv:1511.02177

arXiv 2016
[5]

De Bie, H

H. De Bie, H. De Clercq and W. van de Vijver, The higher rank q-deformed Bannai–Ito and Askey–Wilson algebra, Commun. Math. Phys. (to appear) and arXiv:1805.06642

arXiv
[6]

De Bie and H

H. De Bie and H. De Clercq, The q-Bannai–Ito algebra and multivariate (−q)-Racah and Bannai–Ito polynomials, arXiv:1902.07883

arXiv 1902
[7]

Higher Rank Relations for the Askey-Wilson and $q$-Bannai-Ito Algebra

H. De Clercq, Higher rank relations for the Askey-Wilson and q-Bannai-Ito algebr a, arXiv:1908.11654. REVISITING ASKEY–WILSON ALGEBRA 9

work page Pith review arXiv 1908

Show all 18 references

[8]

Drinfeld, Quantum groups, in: Proc

V.G. Drinfeld, Quantum groups, in: Proc. ICM (Berkeley,1986), Vol.1(Academic Press, New York, 19 87) pp.798820

1986
[9]

Genest, L

V.X. Genest, L. Vinet and A. Zhedanov, Superintegrability in two dimensions and the Racah-Wilson algebbra, Lett. Math. Phys. 104 (2014) 931-952 and arXiv:1307.5539

2014 arXiv
[10]

Granovskii and A.S

Ya.A. Granovskii and A.S. Zhedanov, Hidden Symmetry of the Racah and Clebsch-Gordan Problems for th e Quantum Algebra slq(2), Journal of Group Theory in Physics, 1:161171, 1993 and arXiv:hep-th/9304138

1993 arXiv
[11]

Huang, An embedding of the universal Askey–Wilson algebra into Uq(sl2) ⊗ Uq(sl2) ⊗ Uq(sl2), Nucl

H.-W. Huang, An embedding of the universal Askey–Wilson algebra into Uq(sl2) ⊗ Uq(sl2) ⊗ Uq(sl2), Nucl. Phys. B, 922, 401-434 (2017) and arXiv:1611.02130

2017 arXiv
[12]

Koekoek, P.A

R. Koekoek, P.A. Lesky and R.F. Swarttouw, Hypergeometric orthogonal polynomials and their q-analogues, Springer, 1-st edition, 2010

2010
[13]

Koornwinder, The relationship between Zhedanov’s algebra AW (3) and the double aﬃne Hecke algebra in the rank one case, SIGMA 3(2007), 063 and math.QA/0612730

K.H. Koornwinder, The relationship between Zhedanov’s algebra AW (3) and the double aﬃne Hecke algebra in the rank one case, SIGMA 3(2007), 063 and math.QA/0612730

2007
[14]

Koornwinder, Zhedanov’s algebra AW (3) and the double aﬃne Hecke algebra in the rank one case.II

K.H. Koornwinder, Zhedanov’s algebra AW (3) and the double aﬃne Hecke algebra in the rank one case.II. The spherical subalgebra, SIGMA 4(2008), 052 and arXiv:0711.2320

2008 arXiv
[15]

Post and A

S. Post and A. Walter, A higher rank extension of the Askey–Wilson Algebra, arXiv:1705.01860

arXiv
[16]

Terwilliger, The Universal Askey–Wilson Algebra, SIGMA 7 (2011), 069 and arXiv:1104.2813

P. Terwilliger, The Universal Askey–Wilson Algebra, SIGMA 7 (2011), 069 and arXiv:1104.2813

2011 arXiv
[17]

Tsujimoto, L

S. Tsujimoto, L. Vinet and A. Zhedanov, Dunkl shift operators and Bannai–Ito polynomials, Adv. Math. 229:2123–2158, 2012 and arXiv:1106.3512

2012 arXiv

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [18]

Zhedanov, Hidden symmetry of the Askey–Wilson polynomials, Theor

A.S. Zhedanov, Hidden symmetry of the Askey–Wilson polynomials, Theor. Math. Phys. 89:1146–1157, 1991. † Institut Denis-Poisson CNRS/UMR 7013 - Universit ´ e de Tours - Universit ´ e d’Orl´ eans, Parc de Grammont, 37200 Tours, France. E-mail address : crampe1977@gmail.com ∗ Centre de recherches math ´ ematiques, Universit ´ e de Montr ´ eal, P.O. Box 6128...

work page 1991

[2] [1]

Centralizers of the superalgebra osp(1|2): the Brauer algebra as a quotient of the Bannai-Ito algebra

N. Crampe, L. Frappat and L. Vinet, Centralizers of the superalgebra osp(1|2): the Brauer algebra as a quotient of the Bannai–Ito algebra, J. Phys. A (to appear) and arXiv:1906.03936

work page Pith review arXiv 1906

[3] [2]

Temperley-Lieb, Brauer and Racah algebras and other centralizers of su(2)

N. Crampe, L. Poulain d’Andecy and L. Vinet, Temperley–Lieb, Brauer and Racah algebras and other central- izers of su(2), arXiv:1905.06346

work page Pith review arXiv 1905

[4] [3]

Bannai-Ito algebras and the universal R-matrix of osp(1|2)

N. Crampe, L. Vinet and M. Zaimi, Bannai–Ito algebras and the universal R-matrix of osp(1|2), arXiv:1909.06426

work page Pith review arXiv 1909

[5] [4]

De Bie, V.X

H. De Bie, V.X. Genest and L. Vinet, The Z2 n Dirac–Dunkl operator and a higher rank Bannai–Ito algebra, Adv. Math. 303:390–414, 2016 and arXiv:1511.02177

arXiv 2016

[6] [5]

De Bie, H

H. De Bie, H. De Clercq and W. van de Vijver, The higher rank q-deformed Bannai–Ito and Askey–Wilson algebra, Commun. Math. Phys. (to appear) and arXiv:1805.06642

arXiv

[7] [6]

De Bie and H

H. De Bie and H. De Clercq, The q-Bannai–Ito algebra and multivariate (−q)-Racah and Bannai–Ito polynomials, arXiv:1902.07883

arXiv 1902

[8] [7]

Higher Rank Relations for the Askey-Wilson and $q$-Bannai-Ito Algebra

H. De Clercq, Higher rank relations for the Askey-Wilson and q-Bannai-Ito algebr a, arXiv:1908.11654. REVISITING ASKEY–WILSON ALGEBRA 9

work page Pith review arXiv 1908