Jordan-H\"older property for shifted quantum affine algebras

David Hernandez; Huafeng Zhang

Jordan-H\"older property for shifted quantum affine algebras

T0 review · 0 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read Fusion products of simple shifted quantum affine modules have finite length, so finite-length classes form an ordinary subring of the topological Grothendieck ring.

desk verdict A sound and genuinely new proof of finite-length stability for shifted quantum affine algebras, with a minor unverified R-matrix step and a conditional Langlands-dual application that the text should label as such. read the letter →

arxiv 2501.16859 v2 pith:BLAVYH7H submitted 2025-01-28 math.QA math-phmath.MPmath.RT

David Hernandez , Huafeng Zhang This is my paper · ORCID

classification math.QAmath-phmath.MPmath.RT MSC 17B3713F60

keywords shiftedquantumaffinealgebrasfusionproductJordan-HölderpropertycategoryOGrothendieckringtruncationsuniversalR-matrixcluster

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 proves that finite-length representations of shifted quantum affine algebras are closed under fusion product: any fusion product of simple modules in the category $\mathcal{O}^{\mathrm{sh}}$ has finitely many composition factors. The proof shows that every such module descends to an adjoint truncation, a quotient of a shifted quantum affine algebra whose representation category is known to satisfy the Jordan-Hölder property. As a direct consequence, the classes of finite-length representations form an ordinary (non-topological) subring of the topological Grothendieck ring $K_0(\mathcal{O}^{\mathrm{sh}})$. The same method gives finite length for tensor products of simple modules of the quantum affine algebra itself, and the paper conjectures that the finite-length subring inside the cluster subcategory $\mathcal{O}^{\mathrm{sh}}_Z$ is isomorphic to the cluster algebra constructed in [13].

What carries the argument

The load-bearing mechanism is descent to adjoint truncations. An adjoint truncation is a quotient of a shifted quantum affine algebra defined by imposing that certain normalized generating series, the $A$-series, become polynomials with invertible dominant coefficient, together with auxiliary spectral parameters; previous work shows each adjoint truncation has only finitely many simple modules in $\mathcal{O}^{\mathrm{sh}}$ (the Jordan-Hölder property for truncations). The paper proves the required polynomiality for every simple module and for tensor products of simple modules over the Borel subalgebra by reconstructing the $A$-series as evaluations of the universal R-matrix. A polynomiality theorem for the scalar-normalized R-matrix turns a local statement on top-weight vectors into global $A$-polynomiality with invertible dominant coefficients, landing each module in an adjoint truncation and hence in a category whose modules have finite length.

What would settle it

Compute, for a concrete rank-two example (for instance $\mathfrak{g} = \mathfrak{sl}_3$ and $V = L(\Psi_{1,a}) \otimes L(\Psi_{2,b}^{-1})$), the normalized R-matrix action of Theorem 4.2 on $V \otimes W(1)$ and check whether it is polynomial in the spectral parameter; a pole or an infinite series would refute the key input, and an infinite-length fusion product of two simple modules in $\mathcal{O}^{\mathrm{sh}}$ would refute the main theorem directly.

Watch

Extended reading notes

Core claim

The central result is Theorem 5.4. For polynomial $\ell$-weights $m_k, n_k$ with coweights $\mu_k, \nu_k$, set $\mu = \mu_1 + \cdots + \mu_s - \nu_1 - \cdots - \nu_s$ and $a = m_1\cdots m_s\,\widetilde{n}_1\cdots \widetilde{n}_s$, where $\widetilde{\cdot}$ shifts each prefundamental weight by $q^{r^{\vee} h^{\vee}}$. Then the fusion product $L_{\mu_1-\nu_1}(m_1/n_1) \ast \cdots \ast L_{\mu_s-\nu_s}(m_s/n_s)$ is of finite length in $\mathcal{O}_\mu$ and, up to tensor product by an invertible module, the module structure extends to the adjoint truncation $U^{a,z}_\mu(\hat{\mathfrak{g}})$. Since adjoint truncations have finitely many simple modules in category $\mathcal{O}^{\mathrm{sh}}$, this yields the Jordan-Hölder property for the category, the ordinary subring $K_0(\mathcal{O}^{\mathrm{sh},f}) \subset K_0(\mathcal{O}^{\mathrm{sh}})$, and the descent of every simple module to a truncation with precisely the parameters predicted by the Langlands dual $q$-character conjecture.

Load-bearing premise

The argument depends on a previously proved polynomiality statement: for a tensor product of simple Borel modules, a scalar-normalized universal R-matrix acts polynomially in the spectral parameter; if this failed for some parameters, the descent to truncation and the finite-length conclusion would not follow.

Editorial extensions

If this is right

$K_0(\mathcal{O}^{\mathrm{sh},f})$ is an ordinary (non-topological) subring of the topological Grothendieck ring $K_0(\mathcal{O}^{\mathrm{sh}})$.
The quantum affine algebra category $\widehat{\mathcal{O}}$ has the same stability: all tensor products of simple modules in $\widehat{\mathcal{O}}$ have finite length, refining the Jordan-Hölder property for that category.
Every simple module in category $\mathcal{O}^{\mathrm{sh}}$ descends to a simply-connected truncation with explicitly computed truncation parameters $a = m\widetilde{n}$, matching the prediction of [15, Conjecture 12.2] formulated via Langlands dual $q$-characters.
Intermediate truncations satisfy the Jordan-Hölder property: up to isomorphism there are finitely many simple modules, and every module over an intermediate truncation in category $\mathcal{O}^{\mathrm{sh}}$ is of finite length.
The cluster algebra constructed in [13] is conjecturally isomorphic, as an ordinary ring, to the finite-length subring $K_0(\mathcal{O}^{\mathrm{sh},f}_Z)$; the $\mathfrak{sl}_2$ case is already known.

Reading between the lines

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

The explicit formula $a = m_1\cdots m_s\,\widetilde{n}_1\cdots \widetilde{n}_s$ suggests that Jordan-Hölder multiplicities of fusion products could be computed directly from Langlands dual $q$-characters, a combinatorial character formula the paper does not write down.
Because the proof replaces the shifted coproduct, which the paper notes is only conjectural beyond type A, with R-matrix polynomiality, the same descent strategy may work uniformly across all types; this is an extension the paper leaves implicit.
The paper remarks that tensor-product Jordan-Hölder finite length seems unknown for shifted Yangians; the same R-matrix technique might close that gap, since the Yangian R-matrix formalism is parallel.
If the cluster isomorphism conjecture holds, $K_0(\mathcal{O}^{\mathrm{sh},f}_Z)$ inherits a cluster monomial basis; a natural next test is to check exchange relations on simple classes in rank two, beyond the already known $\mathfrak{sl}_2$ case.

Share X Bluesky LinkedIn Reddit HN

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

Let me tell you what this paper is. Hernandez and Zhang prove that fusion products of simple modules in category O^sh for shifted quantum affine algebras have finite length. That was the missing quantum affine analogue of their earlier shifted Yangian result, and it wasn't going to be a copy of that proof because a shifted coproduct is only conjectural outside type A. They get around it with R-matrix polynomiality. The main theorem gives two clean consequences: K0(O^sh,f) is an ordinary subring of the topological Grothendieck ring, and finite-length tensor products hold in the quantum affine category \hat{O} — the latter is new even compared to the Yangian setting.

The proof structure is sound. They promote local A-polynomiality (Theorem 4.4) to global polynomiality via T-polynomiality (Proposition 5.2), then compare dominant coefficients in Proposition 5.3 to get descent to adjoint truncations. The dependence on their prior work is real but legitimate: Theorem 4.2 is [21, Thm 11.4] and Theorem 3.12 is [15]; both are published and the latter is exactly the Jordan-Hölder property for truncations that the main theorem needs. I don't see circularity.

The soft spots are minor. First, the proof of Theorem 4.2 in this paper extends the monomial case to general polynomials in a paragraph, and it doesn't verify that the R-matrix acts trivially on the one-dimensional constant module D used in the factorization. That verification is straightforward and true, so this is a missing detail rather than a gap. A referee should ask for it.

Second, the abstract and Corollary 6.6 claim the descent to truncations matches the Langlands dual q-character prediction of [15, Conjecture 12.2]. That match goes through footnote 5, which flags a positivity conjecture from [10]. So the statement is conditional, and the text should say so. This doesn't affect Theorem 5.4 or Corollary 6.1.

Who should read this: anyone working on shifted quantum affine algebras, q-characters, or the cluster algebra programme of [13]. It deserves a proper referee — the main theorem is a genuine step forward, and the issues are presentation and a missing verification, not a flawed argument.

Referee Report

0 major / 4 minor

Summary. The paper proves that every fusion product of simple objects in category O^sh of shifted quantum affine algebras has finite length (Jordan-Holder property), and consequently that the subgroup K0(O^sh,f) of finite-length classes is an ordinary subring of the topological Grothendieck ring. The main ingredient is a descent theorem (Theorem 5.4): for polynomial l-weights m_k, n_k and a = m_1...m_s * tilde(n_1)...tilde(n_s), the fusion product L_{mu_1-nu_1}(m_1/n_1) * ... * L_{mu_s-nu_s}(m_s/n_s) descends, up to tensoring with an invertible module, to the adjoint truncation U^{a,z}_mu(hat g); since adjoint truncations already satisfy Jordan-Holder by [15, Thm 3.12], finite length follows. The proof goes through local A-polynomiality (Theorem 4.4), which is derived from an R-matrix polynomiality result of [21] (Theorem 4.2), and is upgraded to global polynomiality using T-polynomiality (Proposition 5.2) and a dominant-coefficient comparison (Proposition 5.3). The paper also establishes a subring in the category hat O of the quantum affine algebra and, in Corollary 6.6, a descent to truncations for all simple modules with parameters predicted in [15, Conjecture 12.2] (up to a positivity caveat flagged in footnote 5).

Significance. If correct, the main theorem proves a natural stability property for fusion products in a setting where the shifted Yangian argument does not apply, because a shifted coproduct is not yet available for shifted quantum affine algebras in general type. The proof is refreshingly explicit: the truncation parameter a is given by a closed formula, and the descent is derived from polynomiality of the universal R-matrix rather than from a conjectural shifted coproduct. The paper also identifies a subring of a topological Grothendieck ring that is expected to model a cluster algebra (Conjecture 6.5), and it gives explicit truncation parameters for simple modules. The derivation is parameter-free in the sense that no free parameters are introduced; the only external inputs are prior results of the authors, [21, Thm 11.4] and [15, Thm 3.12], which are cited precisely.

minor comments (4)

[Section 4.2, proof of Theorem 4.2] The reduction to monomial prefundamental l-weights is stated too quickly: the assertion that polynomiality of R_{V,W(i)}(z) follows from that of R_{V',W(i)}(z) after writing V = D tensor V' uses the fact that the one-dimensional module D contributes only an explicit invertible scalar to the R-matrix. Please add the one-line verification that R_{D,W(i)}(z) acts as a scalar on D tensor W(i); this would remove any doubt about the step on which Theorem 4.4 and hence Theorem 5.4 rely.
[Abstract and Corollary 6.6] The abstract and Corollary 6.6 state that simple modules descend to truncations with parameters 'as predicted by [15, Conjecture 12.2]' without mentioning that the identification with the Langlands dual q-character monomial is, in the construction of [10], conditional on positivity Conjecture 6.11 therein, as acknowledged in footnote 5 of Example 6.7. The caveat should be stated explicitly in the abstract and in Corollary 6.6 so that the unconditional part (the descent itself) is not conflated with the conditional match to the conjecture.
[Section 6.3 heading] The heading contains a typo, 'caegory', which should read 'category'.
[Example 6.8] The opening phrase 'Les mu = ...' appears to contain a typo and should read 'Let mu = ...'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation reduces to independent prior theorems on R-matrix polynomiality and truncation Jordan-Holder, neither of which assumes the fusion-product finite-length result.

full rationale

The paper's central theorem (Theorem 5.4) is not equivalent to its inputs. The proof chain is explicit: Theorem 4.2 imports scalar-normalized R-matrix polynomiality for Borel simple modules from [21, Theorem 11.4]; Proposition 4.1 identifies the R-matrix action on fundamental spaces with the A-series; Lemma 4.3 identifies the normalization factor with the a^* series, yielding Theorem 4.4 (local A-polynomiality); Proposition 5.2 supplies T-polynomiality from the shift relations and Theorem 3.3; Proposition 5.3 upgrades local to global polynomiality and obtains descent to simply-connected and adjoint truncations; Theorem 3.12 then gives finite length. Each step is derived, not assumed. The cited [21, Theorem 11.4] and [15, Theorem 3.12] are parameter-free published theorems whose stated assumptions do not include the target fusion-product stability, so they are independent support rather than circular self-citation. No fitted parameter is renamed as a prediction: the truncation parameter a = m_1...m_s ~n_1...~n_s is constructed from the given ℓ-weights, and the later agreement with [15, Conjecture 12.2] in Corollary 6.6 is checked, not assumed. Footnote 5 explicitly flags that this agreement is conditional on the positivity Conjecture 6.11 in [10]; that is a caveat about the strength of the application, not a circular step. The only small unproved detail is the constant-module factor R_{D,W(i)} in the proof of Theorem 4.2, but it is a straightforward verification and does not make the argument circular.

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

The central proof rests on published theorems from [15] and [21] by the present authors, but none of these theorems is the target result. There are no empirical free parameters or fitted constants. The new simply-connected and intermediate truncations are mathematical definitions, not postulated physical entities requiring independent evidence. The only extra assumption affecting an application is the positivity conjecture cited in footnote 5.

assumptions (5)

domain assumption q is a nonzero complex number that is not a root of unity
This is the standing domain for U_q(ĝ); non-root-of-unity is used for injectivity of weight grading and for scalar comparisons in Proposition 3.14 and Section 5.3.
domain assumption Theorem 4.2: polynomiality of α_{V,i}(z) R_{V,W(i)}(z) from [21, Theorem 11.4]
Central external input imported from prior work by the second author; it is not reproved in this paper and is used in Theorem 4.4 to get local A-polynomiality.
domain assumption Theorem 3.12: Jordan-Hölder property for adjoint truncations, from [15, Theorem 11.15 and category O arguments]
Imported from prior work by the first author; used in Proposition 5.3(iii) and Corollary 5.5 to conclude finite length.
domain assumption Classification of simples in category O_μ (Theorem 2.6 from [15]) and rationality of ℓ-weights
Basis for identifying irreducible modules and their highest ℓ-weights; used throughout Sections 2 and 5.
ad hoc to paper Positivity Conjecture 6.11 of [10]
Invoked in footnote 5 for matching truncation parameters with Langlands dual q-character terms in Example 6.7 and Corollary 6.6; not needed for the main finite-length theorem.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Jordan-H\"older property for shifted quantum affine algebras." pith.science (2026). https://pith.science/paper/BLAVYH7H

@misc{pith2026250116859,
  author       = {Pith},
  title        = {Pith review of: Jordan-H\"older property for shifted quantum affine algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BLAVYH7H}},
  note         = {Machine review of arXiv:2501.16859}
}

abstract

We prove that finite length representations of shifted quantum affine algebras in category $\mathcal{O}^{\mathrm{sh}}$ are stable by fusion product. This implies that in the topological Grothendieck ring $K_0(\mathcal{O}^{\mathrm{sh}})$ the Grothendieck group of finite length representations forms a non-topological subring. We also conjecture this subring is isomorphic to the cluster algebra discovered in arXiv:2401.04616. In the course of our proofs, we establish that any simple representation in category $\mathcal{O}^{\mathrm{sh}}$ descends to a truncation, for certain truncation parameters as conjectured in arXiv:2010.06996 in terms of Langlands dual $q$-characters.

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

Quantum cluster algebras and representations of shifted quantum affine algebras
math.RT 2025-07 conditional novelty 6.0 of 10

A quantum cluster algebra construction produces a quantization K_t(O^{sh}_Z) of the Grothendieck ring of shifted quantum affine algebra representations, containing the quantum Borel Grothendieck ring.

Reference graph

Works this paper leans on

21 extracted references · 19 canonical work pages · cited by 1 Pith paper

[15]

Hernandez, Representations of shifted quantum aﬃne algebras , Intern

D. Hernandez, Representations of shifted quantum aﬃne algebras , Intern. Math. Res. Notices 2023 no. 13 (2023): 11035–11126

work page 2023
[10]

Frenkel, D

E. Frenkel, D. Hernandez and N. Reshetihin, Folded quantum integrable models and deformed W-algebras, Lett. Math. Phys. 112 (2022), no. 4, 80

work page 2022
[13]

Geiss, D

C. Geiss, D. Hernandez and B. Leclerc, Representations of shifted quantum aﬃne algebras and cluster algebras I: The simply laced case , Proc. Lond. Math. Soc. (3) 129 (2024), no. 3, No. e12630

work page 2024
[21]

Zhang, Theta series for quantum loop algebras and Yangians , Commun

H. Zhang, Theta series for quantum loop algebras and Yangians , Commun. Math. Phys. 405 (2024), no. 10, No. 230. DH: Universit ´e P aris Cit ´e and Sorbonne Universit ´e, CNRS, IMJ-PRG, F-75006, P aris, France Email address : david.hernandez@imj-prg.fr HZ: CNRS, UMR 8524-Laboratoire P aul P ainlev ´e, Univ. Lille, F-59000 Lille, France Email address : hua...

work page 2024
[1]

Beck, Braid group action and quantum aﬃne algebras , Commun

J. Beck, Braid group action and quantum aﬃne algebras , Commun. Math. Phys. 165 (1994): 555–568

work page 1994
[2]

Braverman, M

A. Braverman, M. Finkelberg, and H. Nakajima, Coulomb branches of 3d N = 4 quiver gauge theory and slices in the aﬃne Grassmannian , Adv. Theor. Math. Phys. 23 (2019): 75–166, with appendices by A. Braverman, M. Finkelberg, J. Kamnitzer, R. Kodera, H. Nakajima, B. Webster, and A. Weekes. (arXiv:1604.03625)

arXiv 2019
[3]

Chari and A

V. Chari and A. Pressley, Quantum aﬃne algebras , Commun. Math. Phys. 142 (1991), 261–283

work page 1991
[4]

Damiani, La R-matrice pour les alg` ebres quantiques de type aﬃne non tord u, Ann

I. Damiani, La R-matrice pour les alg` ebres quantiques de type aﬃne non tord u, Ann. Sci. ´Ecole Norm. Sup. 31 (1998): 493–523

work page 1998

Show all 21 references

[5]

Damiani, From the Drinfeld realization to the Drinfeld–Jimbo presen tation of aﬃne quantum algebras: the injectivity , Publ

I. Damiani, From the Drinfeld realization to the Drinfeld–Jimbo presen tation of aﬃne quantum algebras: the injectivity , Publ. RIMS Kyoto Univ. 51 (2015): 131–171

2015
[6]

Drinfeld, A new realization of Yangians and of quantum aﬃne algebras , Soviet Math

V. Drinfeld, A new realization of Yangians and of quantum aﬃne algebras , Soviet Math. Dokl. 36 (1988): 212–216

1988
[7]

Finkelberg, J

M. Finkelberg, J. Kamnitzer, K. Pham, L. Rybnikov, and A. Weekes, Comultiplication for shifted Yangians and quantum open Toda lattice , Adv. Math. 327 (2018): 349–389

2018
[8]

Finkelberg and A

M. Finkelberg and A. Tsymbaliuk, Multiplicative slices, relativistic Toda and shifted quan tum aﬃne algebras , Representations and nilpotent orbits of Lie algebraic sys tems, Progress in Math- ematics 330 (2019): 133–304. (arXiv:1708.01795)

2019 arXiv
[9]

Frenkel and D

E. Frenkel and D. Hernandez, Baxter’s relations and spectra of quantum integrable model s, Duke Math. J. 164, no. 12 (2015): 2407–2460

2015
[11]

Frenkel and E

E. Frenkel and E. Mukhin, Combinatorics of q-characters of ﬁnite-dimensional representations of quantum aﬃne algebras , Commun. Math. Phys. 216 (2001): 23–57. 5In the construction of [10], this is true up to the positivity Conjecture 6.11 therein. JORDAN-H ¨OLDER PROPERTY FOR ...

2001
[12]

Frenkel and N

E. Frenkel and N. Reshetikhin, The q-character of representations of quantum aﬃne algebras and deformations of W-algebras, Recent Developments in Quantum Aﬃne Algebras and related topics, Contemp. Math. 248 (1999): 163–205. (arXiv:9810055)

1999
[14]

Hernandez, Kirillov-Reshetikhin conjecture: the general case , Int

D. Hernandez, Kirillov-Reshetikhin conjecture: the general case , Int. Math. Res. Not. IMRN 2010, no. 1, 149–193

2010
[16]

Hernandez and M

D. Hernandez and M. Jimbo, Asymptotic representations and Drinfeld rational fractio ns, Compos. Math. 148, no. 5 (2012): 1593–1623

2012
[17]

Hernandez and B

D. Hernandez and B. Leclerc, Cluster algebras and category O for representations of Borel sub- algebras of quantum aﬃne algebras , Alg. Number Th. 10, no. 9 (2016): 2015–2052

2016
[18]

Hernandez and H

D. Hernandez and H. Zhang, Shifted Yangians and polynomial R-matrices , Publ. Res. Inst. Math. Sci. 60 (2024), no. 1, 1–69

2024
[19]

Kac, Inﬁnite dimensional Lie algebras , 3rd ed., Cambridge Univ

V. Kac, Inﬁnite dimensional Lie algebras , 3rd ed., Cambridge Univ. Press, 1990

1990
[20]

Kamnitzer, B

J. Kamnitzer, B. Webster, A. Weekes and O. Yacobi, Yangians and quantizations of slices in the aﬃne Grassmannian , Algebra Number Theory 8 (2014): 857–893

2014

Pith tools

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

[1] [15]

Hernandez, Representations of shifted quantum aﬃne algebras , Intern

D. Hernandez, Representations of shifted quantum aﬃne algebras , Intern. Math. Res. Notices 2023 no. 13 (2023): 11035–11126

work page 2023

[2] [10]

Frenkel, D

E. Frenkel, D. Hernandez and N. Reshetihin, Folded quantum integrable models and deformed W-algebras, Lett. Math. Phys. 112 (2022), no. 4, 80

work page 2022

[3] [13]

Geiss, D

C. Geiss, D. Hernandez and B. Leclerc, Representations of shifted quantum aﬃne algebras and cluster algebras I: The simply laced case , Proc. Lond. Math. Soc. (3) 129 (2024), no. 3, No. e12630

work page 2024

[4] [21]

Zhang, Theta series for quantum loop algebras and Yangians , Commun

H. Zhang, Theta series for quantum loop algebras and Yangians , Commun. Math. Phys. 405 (2024), no. 10, No. 230. DH: Universit ´e P aris Cit ´e and Sorbonne Universit ´e, CNRS, IMJ-PRG, F-75006, P aris, France Email address : david.hernandez@imj-prg.fr HZ: CNRS, UMR 8524-Laboratoire P aul P ainlev ´e, Univ. Lille, F-59000 Lille, France Email address : hua...

work page 2024

[5] [1]

Beck, Braid group action and quantum aﬃne algebras , Commun

J. Beck, Braid group action and quantum aﬃne algebras , Commun. Math. Phys. 165 (1994): 555–568

work page 1994

[6] [2]

Braverman, M

A. Braverman, M. Finkelberg, and H. Nakajima, Coulomb branches of 3d N = 4 quiver gauge theory and slices in the aﬃne Grassmannian , Adv. Theor. Math. Phys. 23 (2019): 75–166, with appendices by A. Braverman, M. Finkelberg, J. Kamnitzer, R. Kodera, H. Nakajima, B. Webster, and A. Weekes. (arXiv:1604.03625)

arXiv 2019

[7] [3]

Chari and A

V. Chari and A. Pressley, Quantum aﬃne algebras , Commun. Math. Phys. 142 (1991), 261–283

work page 1991

[8] [4]

Damiani, La R-matrice pour les alg` ebres quantiques de type aﬃne non tord u, Ann

I. Damiani, La R-matrice pour les alg` ebres quantiques de type aﬃne non tord u, Ann. Sci. ´Ecole Norm. Sup. 31 (1998): 493–523

work page 1998