Using the quantum torus to investigate the $q$-Onsager algebra

Owen Goff

REVIEW 3 major objections 3 minor 22 references

Using the quantum torus to investigate the $q$-Onsager algebra

T0 review · 3 major / 3 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read Recursive q-Onsager elements become short Laurent words in the quantum torus

desk verdict Closed-form p-images are new and likely correct; standard-basis restatements have systematic q-exponent errors that need correction. read the letter →

arxiv 2504.13362 v1 pith:52TKI545 submitted 2025-04-17 math.QA math.CO

Owen Goff This is my paper · ORCID

classification math.QAmath.CO MSC 17B3705E1616T20

keywords q-OnsageralgebraquantumtorusBaseilhac-KolbelementsLu-Wangq-Dolan-GradyrelationsPBWbasisgeneratingfunctionsLaurentpolynomials

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

This paper establishes closed-form formulas for families of recursively defined elements in the q-Onsager algebra by mapping them into the quantum torus. The Baseilhac-Kolb PBW-basis elements and the Lu-Wang root vectors are normally given by intricate recursions and generating functions, but their images under the homomorphism $p:O_q\to T_q$ collapse into short Laurent expressions. The central formulas include $p(B_{n\delta+\alpha_0})=x(yx)^n+x^{-1}(y^{-1}x^{-1})^n$ and $p(B_{n\delta+\alpha_1})=y(xy)^n+y^{-1}(x^{-1}y^{-1})^n$, with analogous closed forms for the $\Theta_n$, $H_n$, and $B_{1,r}$ families. If correct, this gives a concrete, computable picture of these objects and shows that their algebraic complexity is largely an artifact of the recursion, not of the underlying structure.

What carries the argument

The central object is the quantum torus $T_q$, with generators $x^{\pm1},y^{\pm1}$ and relation $xy=q^2yx$, together with the algebra homomorphism $p$ sending $W_0\mapsto x+x^{-1}$ and $W_1\mapsto y+y^{-1}$. The workhorse is the single-letter variable $z=qyx=q^{-1}xy$: powers of $z$ and $z^{-1}$ carry the content of the non-\$\alpha$ families, while the commuting elements $xy$, $yx$, $x^{-1}y^{-1}$, and $y^{-1}x^{-1}$ allow the generating functions to be expanded by geometric series and reduced by partial fractions. This machinery converts recursive algebraic definitions into ordinary Laurent-polynomial identities.

What would settle it

Fix $q$ not a root of unity and compute, in $T_q$, the q-Dolan-Grady expression $[w_0,[w_0,[w_0,w_1]_q]_{q^{-1}}]+(q^2-q^{-2})^2[w_0,w_1]$ with $w_0=x+x^{-1}$ and $w_1=y+y^{-1}$; it must equal $0$. As a second check, compute $p(B_{2\delta+\alpha_0})$ directly from recurrences (31)-(32) and compare it with $x(yx)^2+x^{-1}(y^{-1}x^{-1})^2$.

Watch

Extended reading notes

Core claim

The paper's central claim is that every element in the listed families has a short, explicit image in the quantum torus. After applying $p$ (and, for the Lu-Wang elements, the composition $p\circ\upsilon$), the images are no longer defined by recursion: they are two-term Laurent words for the $B_{n\delta+\alpha_0}$ and $B_{n\delta+\alpha_1}$ families, and palindromic Laurent polynomials in the variable $z=qyx=q^{-1}xy$ for the $\Theta'_n$, $\Theta_n$, $H'_n$, and $H_n$ families, with even-$n$ correction terms. The generating functions $\Theta'(t)$ and $\Theta(t)$ also become explicit rational functions in the four commuting quantities $xy$, $yx$, $x^{-1}y^{-1}$, and $y^{-1}x^{-1}$. The paper proves these formulas by induction on the defining recursions and by partial-fraction expansion of the generating functions.

Load-bearing premise

The argument depends on the claim that the two torus elements $x+x^{-1}$ and $y+y^{-1}$ obey the same two defining relations as the algebra's generators; if they did not, the maps used throughout would not exist.

Editorial extensions

If this is right

Every Baseilhac-Kolb element $B_{n\delta+\alpha_0}$ and $B_{n\delta+\alpha_1}$ has image a two-term Laurent word; in the standard torus basis these are $q^{-n(n-1)}(x^{n+1}y^n+x^{-n-1}y^{-n})$ and $q^{-n(n+1)}(x^ny^{n+1}+x^{-n}y^{-n-1})$.
The Lu-Wang elements $B_{1,r}$ map to $q^{-r(r+1)}(x^ry^{r+1}+x^{-r}y^{-r-1})/(q^{1/2}(q-q^{-1}))$, showing the same two-term pattern shifted by a scalar.
The generating functions $\Theta'(t)$ and $\Theta(t)$ have explicit rational forms, from which the $p$-images of $\Theta_n$, $H'_n$, and $H_n$ follow as Laurent polynomials in $z$ with separate even- and odd-$n$ behavior.
The commutation relations of Proposition 6.5 become explicit identities inside $T_q$ after applying $p$, so the paper's formulas form a self-contained checkable system in ordinary Laurent polynomials.

Reading between the lines

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

The compression into the single variable $z=qyx$ suggests that the natural commutative shadow of these noncommutative root vectors is one Laurent variable; other recursively defined families in $O_q$ may have similarly short images under $p$.
Because the $H'_n$ and $H_n$ images share the $z^n+z^{-n}$ skeleton with only even-$n$ corrections, one can use these formulas to guess parity-dependent closed forms for related families before proving them in $O_q$.
The rational generating-function expressions could be read as character-like series, inviting a comparison with statistical-mechanics partition functions built from two-variable weighted walks, though the paper itself does not pursue this.

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

Owen Goff's paper does something genuinely useful: it maps the recursively defined Baseilhac-Kolb elements of the q-Onsager algebra and the Lu-Wang root vectors of the universal q-Onsager algebra into the quantum torus, where they become short Laurent monomial sums. The closed forms in Theorems 9.2, 10.1, 12.1, and the generating functions in Theorems 11.1 and 11.2 are clean and, as far as spot checks show, correct. That gives a concrete computational handle on objects that previously came only through recursions and generating functions. The method extends the author's earlier work [7], and the homomorphism p is well-defined because the q-Dolan-Grady relations hold for w0 and w1 in Tq, a direct check rather than a circular appeal.

The soft spots are exactly where the reader's report and the stress-test put them, and the stress-test survives reading the paper. Corollary 9.3 prints q^{-n(n-1)} where normal-ordering gives q^{-n(n+1)}; Corollaries 9.8 and 10.3 print q^{n^2} for the x^{-n}y^{-n} coefficient, which should be q^{-n^2}. These are not cosmetic typos. The paper's stated objective is to give both closed forms and standard-basis expressions, and the basis half is systematically miscomputed. The good news is that the closed forms in x and y appear correct, and the errors in the conversions are straightforward to fix. The proof of (58) is omitted; it really is 'analogous' to (59), so that is a minor gap rather than a fatal one.

The citation pattern is honest. The self-citation to [7] is load-bearing for the map p, but the existence of p rests on a direct verification in that earlier paper. No free parameters, no fitted data, no invented structures. This is a contribution within an established line, not a new framework, and the significance is real for the Terwilliger program and for any reader working with the q-Onsager algebra in integrable models or algebraic combinatorics.

My bottom line: the paper deserves serious peer review and, after the exponent errors are corrected and the omitted proof is supplied, it likely deserves publication. I would not cite it in its current form, but I would bring it to a reading group now—the closed forms are worth seeing, and the errors are a useful caution about q-normal-ordering.

Referee Report

3 major / 3 minor

Summary. The paper studies the q-Onsager algebra O_q and the universal q-Onsager algebra \tilde{U}^\imath, mapping both to the quantum torus T_q through the homomorphism p (and the composition with \upsilon). The main results give explicit closed-form expressions and standard-basis expansions for the p-images of the Baseilhac-Kolb elements B_{n\delta+\alpha_0}, B_{n\delta+\alpha_1}, B_{n\delta}, and of the Lu-Wang elements B_{1,r}, \Theta'_n, \Theta_n, H'_n, H_n, together with generating-function identities for \Theta'(t), \Theta(t), H'(t), and H(t). The method is to push the recursive definitions through p using the relation xy=q^2yx and the fact that w_0=x+x^{-1} and w_1=y+y^{-1} satisfy the q-Dolan-Grady relations.

Significance. The computational strategy is attractive and, if the displayed formulas are corrected, useful: infinite families of recursively defined elements are expressed as short Laurent monomials in x and y, and the generating functions take clean product forms. The derivations are parameter-free, are based on published recursive definitions rather than fitted data, and the closed forms in Theorems 9.2, 10.1, 11.1, 11.2, and 12.1 are spot-checkable; the n=1 cases check out. The paper also makes transparent use of the homomorphism p from the author's earlier work [7]. However, the standard-basis half of the stated objective contains several systematic q-normal-ordering errors, and the printed H'(t) and H(t) identities in Section 13 omit the variable t in four logarithms. These issues must be fixed before the results can be considered reliable.

major comments (3)

[§9, Corollary 9.3] The standard-basis exponent in (60) is incorrect. Since xy=q^2yx, one has yx=q^{-2}xy and (yx)^n=q^{-n(n+1)}x^n y^n, and similarly (y^{-1}x^{-1})^n=q^{-n(n+1)}x^{-n}y^{-n}. Inserting these into Theorem 9.2 gives the coefficient q^{-n(n+1)} on both monomials in p(B_{n\delta+\alpha_0}), not q^{-n(n-1)} as printed. For n=1, the printed formula gives q^0(x^2y+x^{-2}y^{-1}), whereas direct expansion of x(yx)+x^{-1}(y^{-1}x^{-1}) gives q^{-2}(x^2y+x^{-2}y^{-1}). Because the paper explicitly advertises standard-basis expressions as one of its two objectives, this is a substantive error rather than a mere typographical slip. Equation (61) is correct.
[§9–§10, Corollaries 9.8 and 10.3] The coefficient of x^{-n}y^{-n} in both (66) and (69) is wrong: the printed q^{n^2} should be q^{-n^2}. In Proposition 9.6, the term q^n[n+1]_q(xy)^{-n} becomes q^n[n+1]_q(y^{-1}x^{-1})^n = q^n q^{-n(n+1)}[n+1]_q x^{-n}y^{-n} = q^{-n^2}[n+1]_q x^{-n}y^{-n}, since (y^{-1}x^{-1})^n=q^{-n(n+1)}x^{-n}y^{-n}. The same error is repeated in Corollary 10.3, so the basis conversions for the B_{n\delta}/\Theta'_n families are systematically miscomputed in their negative-power coefficients. The positive-power leading coefficient q^{-n^2} and the finite-sum terms appear consistent.
[§13, Theorems 13.1 and 13.2] The printed generating-function identities omit the factor t in the first four logarithms. As written, p(H'(t)) has nonzero constant term \frac{1}{q-q^{-1}}(\ln(1-xy)+\ln(1-yx)+\ln(1-x^{-1}y^{-1})+\ln(1-y^{-1}x^{-1})) at t=0, while H'(t) has zero constant term by definition. The identities should contain \ln(1-xy\,t)+\ln(1-yx\,t)+\ln(1-x^{-1}y^{-1}t)+\ln(1-y^{-1}x^{-1}t) in the numerator, and the analogous correction is needed in Theorem 13.2. The proof of Theorem 14.1 uses these t-dependent logarithms in equation (83) while displaying the t-independent form, so the theorem and its proof are inconsistent as printed.

minor comments (3)

[§6, proof of Proposition 6.1] The cross-reference to 'Theorem 3.6' in the base case should be to Lemma 3.6.
[§9, proof of Theorem 9.2] The \alpha_0 half of the theorem is said to be analogous and omitted; in light of the normal-ordering errors in the corollaries, the omitted induction should either be supplied or be derived from the \alpha_1 half by applying the antiautomorphism \dagger\circ\sigma.
[§9–§10, general] The paper would be easier to verify if the corrected Corollaries 9.3, 9.8, and 10.3 were accompanied by explicit n=1 and n=2 expansions, since those are the cases where the q-exponents first differ from the printed values.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the p-image formulas are computed by applying a well-defined homomorphism to external recursive definitions, with no fitted parameters or input-output conflation.

full rationale

The paper's derivation chain is self-contained once the homomorphism p is admitted. The input data are the Baseilhac-Kolb elements (Definitions 5.1, from [4]) and the Lu-Wang elements (Section 4, from [12]), both external recursive definitions. The map p is defined by W0 ↦ x+x^{-1} and W1 ↦ y+y^{-1}; its existence is cited from the author's prior paper [7], but the cited Lemma 8.2 / Corollary 8.3 is a direct verification of the q-Dolan-Grady relations inside T_q, with stated assumptions (xy=q^2yx, q not a root of unity) that do not include any of the target p-image formulas. This is independent support, not circular self-citation. The main results are then obtained by applying the homomorphism to the recursions and simplifying: Theorem 9.2 is proved by induction from (35) using p(Bδ) computed in Lemma 9.1; Theorems 10.1, 11.1, 11.2, 12.1, 13.1, 13.2 and 14.1-14.2 are derived from the defining generating functions and the earlier T_q expressions by algebraic manipulation. In particular, Theorem 13.1 does not smuggle in H'(t) as an input; it follows from the defining equation exp((q-q^{-1})H'(t)) = Θ'(t) together with the independently computed p(Θ'(t)). There are no fitted parameters, no prediction of a quantity that was used to define the model, and no uniqueness theorem invoked from the authors' prior work to forbid alternatives. The noted q-normal-ordering exponent discrepancies in Corollaries 9.3, 9.8, and 10.3 are apparent computational errors in the standard-basis conversion, not circularity: they do not replace an input with an output. Accordingly the circularity score is 0.

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

The paper introduces no new free parameters, axioms, or entities. It relies on published definitions and homomorphisms, chiefly the author's earlier p and Lu-Wang's υ, plus the recursive definitions of the Baseilhac-Kolb and Lu-Wang elements.

assumptions (4)

domain assumption q is a nonzero element of a characteristic-zero field and is not a root of unity; a square root q^{1/2} is fixed.
Stated in Section 2; needed for the defining relations and the quoted basis results to hold.
domain assumption The map p: O_q -> T_q with W0 ↦ x+x^{-1}, W1 ↦ y+y^{-1} is an algebra homomorphism.
Quoted from the author's prior work [7] via Lemmas 8.2 and 8.4. All main theorems are p-images, so the well-definedness of p is load-bearing.
domain assumption The Baseilhac-Kolb elements are well-defined by the recursions (29)-(36) and the Lu-Wang elements satisfy the relations (8)-(10), (18)-(22).
These are results of Baseilhac-Kolb [4] and Lu-Wang [12] quoted without proof; the computations of the images use these recursions and commutators.
domain assumption The map υ: \tilde U -> O_q sending B0,B1,K0,K1 as in Lemma 3.6 is a surjective algebra homomorphism.
From Lu-Wang [12] and Terwilliger [22]; Propositions 6.1 and 6.2 use υ to transport the Lu-Wang elements into O_q.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Using the quantum torus to investigate the $q$-Onsager algebra." pith.science (2026). https://pith.science/paper/52TKI545

@misc{pith2026250413362,
  author       = {Pith},
  title        = {Pith review of: Using the quantum torus to investigate the $q$-Onsager algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/52TKI545}},
  note         = {Machine review of arXiv:2504.13362}
}

abstract

The $q$-Onsager algebra, denoted by $O_q$, is defined by generators $W_0, W_1$ and two relations called the $q$-Dolan-Grady relations. In 2017, Baseilhac and Kolb gave some elements of $O_q$ that form a Poincar\'e-Birkhoff-Witt basis. The quantum torus, denoted by $T_q$, is defined by generators $x, y, x^{-1}, y^{-1}$ and relations $$xx^{-1} = 1 = x^{-1}x, \qquad yy^{-1} = 1 = y^{-1}y, \qquad xy=q^2yx.$$ The set $\{x^iy^j | i,j \in \mathbb{Z} \}$ is a basis for $T_q$. It is known that there is an algebra homomorphism $p: O_q \mapsto T_q$ that sends $W_0 \mapsto x+x^{-1}$ and $W_1 \mapsto y+y^{-1}.$ In 2020, Lu and Wang displayed a variation of $O_q$, denoted by $\tilde{\mathbf{U}}^{\imath}$. Lu and Wang gave a surjective algebra homomorphism $\upsilon : \tilde{\mathbf{U}}^{\imath} \mapsto O_q.$ \medskip In their consideration of $\tilde{\mathbf{U}}^{\imath}$, Lu and Wang introduced some elements \begin{equation} \label{intrp503} \{B_{1,r}\}_{r \in \mathbb{Z}}, \qquad \{H'_n\}_{n=1}^{\infty}, \qquad \{H_n\}_{n=1}^{\infty}, \qquad \{\Theta'_n\}_{n=1}^{\infty}, \qquad \{\Theta_n\}_{n=1}^{\infty}. \nonumber \end{equation} These elements are defined using recursive formulas and generating functions, and it is difficult to express them in closed form. A similar problem applies to the Baseilhac-Kolb elements of $O_q$. To mitigate this difficulty, we map everything to $T_q$ using $p$ and $\upsilon$. In our main results, we express the resulting images in the basis for $T_q$ and also in an attractive closed form.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 11 canonical work pages

[7]

O. Goﬀ. The q-Onsager algebra and the quantum torus. J. Combin. Theory. Ser. A 208 (2024), 105939, arXiv:2304.09326

work page Pith review arXiv 2024
[1]

Baseilhac

P. Baseilhac. Deformed Dolan-Grady relations in quantum integra ble models. Nuclear Phys. B 709 (2005), 491–521, arXiv:hep-th/0404149

arXiv 2005
[2]

Generalized q-Onsager algebras and boundary affine Toda field theories

P. Baseilhac, S. Belliard. Generalized q-Onsager algebras and boundary aﬃne Toda ﬁeld theories. Lett. Math. Phys. 93 (2010), 213–228, arXiv:0906.1215

work page Pith review arXiv 2010
[3]

Baseilhac, K

P. Baseilhac, K. Koizumi. A new (in)ﬁnite dimensional algebra for quantum integrable models. Nuclear Phys. B 720 (2005), 325–347, arXiv:math-ph/0503036

arXiv 2005
[4]

Baseilhac, S

P. Baseilhac, S. Kolb. Braid group action and root vectors for th e q-Onsager algebra. Transform. Groups 25 (2020), 363–389, arXiv:1706.08747v3. 23

arXiv 2020
[5]

Baseilhac, K

P. Baseilhac, K. Shigechi. A new current algebra and the reﬂectio n equation. Lett. Math. Phys. 92 (2010), 47–65, arXiv:0906.1482

arXiv 2010
[6]

J. Beck. Braid group action and quantum aﬃne algebras. Comm. Math. Phys. 165 (1994), no. 3, 555–568, arXiv:hep-th/9404165

work page Pith review arXiv 1994
[8]

A. Gupta. Modules over quantum Laurent polynomials. J. Aust. Math. Soc. 91 (2011), 323–341

work page 2011

Show all 22 references

[9]

T. Ito. TD-pairs and the q-Onsager algebra. Sugaku Expositions 32 (2019), 205–232

2019
[10]

T. Ito, K. Tanabe, P. Terwilliger. Some algebra related to P - and Q- polynomial association schemes. Codes and association schemes (Piscataway, NJ, 1999), 167–192, DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 56, Amer. Math. Soc., Providence, RI, 2001

1999
[11]

T. Ito, P. Terwilliger. The shape of a tridiagonal pair. J. Pure Appl. Algebra 188 (2004), no. 1-3, 145–160. arXiv:0304244

2004
[12]

M. Lu, W. Wang. A Drinfeld type presentation of aﬃne ıquantum groups I: split ADE type. Adv. Math 393 (2021) 108111, 46 pp., arXiv:2009.04542

2021 arXiv
[13]

Terwilliger

P. Terwilliger. The subconstituent algebra of an association sch eme (Part III). J. Algebraic Combin. 2 (1993), 177–210

1993
[14]

Terwilliger

P. Terwilliger. Two relations that generalize the q-Serre relations and the Dolan-Grady relations. Physics and Combinatorics 1999 (Nagoya) , 379–398, World Scientiﬁc Publishing, River Edge, NJ, 2001, arXiv:math.QA/0307016

1999
[15]

Terwilliger

P. Terwilliger. The universal Askey-Wilson algebra. SIGMA Sym- metry Integrability Geom. Methods Appl. 7 (2011), Paper 069, 24 pp., arXiv:1104.2813

2011 arXiv
[16]

Baseilhac, S

P. Baseilhac, S. Belliard. An attractive basis for the q-Onsager algebra, arXiv:1704.02950

arXiv
[17]

Terwilliger The q-Onsager algebra and the universal Askey-Wilson algebra

P. Terwilliger The q-Onsager algebra and the universal Askey-Wilson algebra. SIGMA Symmetry Integrability Geom. Methods Appl. 14 (2018), Paper No. 044, 18 pp. 1801.06083

2018 arXiv
[18]

Terwilliger The alternating PBW basis for the positive part of Uq(ˆsl2)

P. Terwilliger The alternating PBW basis for the positive part of Uq(ˆsl2). J. Math. Phys. 60 (2019), 071704, 27 pp. arXiv: 1902.00721

2019 arXiv
[19]

Terwilliger The alternating central extension for the positive part of Uq(ˆsl2)

P. Terwilliger The alternating central extension for the positive part of Uq(ˆsl2). Nuclear Phys. B947 (2019), 114729, 25 pp. arXiv:1907.09872. 24

2019 arXiv
[20]

Terwilliger

P. Terwilliger. A conjecture concerning the q-Onsager algebra. Nuclear Phys. B 966 (2021) 115391, 26 pp., arXiv:2101.09860

2021 arXiv
[21]

Terwilliger

P. Terwilliger. The alternating central extension of the q-Onsager algebra. Comm. Math. Phys. 387 (2021), 1771–1819, arXiv:2103.03028v1

2021 arXiv
[22]

Terwilliger

P. Terwilliger. The q-Onsager algebra and its alternating central extension. Nuclear Phys. B 975 (2022), Paper No. 115662, 37 pp., arXiv:2106.14041v1. aOwen Goﬀ Department of Mathematics University of Wisconsin 480 Lincoln Drive Madison, WI 53706-1388 United States of America ...

2022 arXiv

Pith tools

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

[1] [7]

O. Goﬀ. The q-Onsager algebra and the quantum torus. J. Combin. Theory. Ser. A 208 (2024), 105939, arXiv:2304.09326

work page Pith review arXiv 2024

[2] [1]

Baseilhac

P. Baseilhac. Deformed Dolan-Grady relations in quantum integra ble models. Nuclear Phys. B 709 (2005), 491–521, arXiv:hep-th/0404149

arXiv 2005

[3] [2]

Generalized q-Onsager algebras and boundary affine Toda field theories

P. Baseilhac, S. Belliard. Generalized q-Onsager algebras and boundary aﬃne Toda ﬁeld theories. Lett. Math. Phys. 93 (2010), 213–228, arXiv:0906.1215

work page Pith review arXiv 2010

[4] [3]

Baseilhac, K

P. Baseilhac, K. Koizumi. A new (in)ﬁnite dimensional algebra for quantum integrable models. Nuclear Phys. B 720 (2005), 325–347, arXiv:math-ph/0503036

arXiv 2005

[5] [4]

Baseilhac, S

P. Baseilhac, S. Kolb. Braid group action and root vectors for th e q-Onsager algebra. Transform. Groups 25 (2020), 363–389, arXiv:1706.08747v3. 23

arXiv 2020

[6] [5]

Baseilhac, K

P. Baseilhac, K. Shigechi. A new current algebra and the reﬂectio n equation. Lett. Math. Phys. 92 (2010), 47–65, arXiv:0906.1482

arXiv 2010

[7] [6]

J. Beck. Braid group action and quantum aﬃne algebras. Comm. Math. Phys. 165 (1994), no. 3, 555–568, arXiv:hep-th/9404165

work page Pith review arXiv 1994

[8] [8]

A. Gupta. Modules over quantum Laurent polynomials. J. Aust. Math. Soc. 91 (2011), 323–341

work page 2011