Pith. sign in

REVIEW 2 major objections 4 minor 36 references

PBW bases and centralisers for the $q$-Onsager algebra

T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read Over any field in which the deformation parameter q is not a root of unity, the q-Onsager algebra admits a PBW basis in every ordering of its root vectors, twelve alternating PBW bases that survive central specialisation, and four maximal c

desk verdict A strong paper that settles several open conjectures, but the negative-centraliser section contains a fixable yet load-bearing constant error in Lemma 10.3. read the letter →

arxiv 2607.10097 v2 pith:YEL7C6CK submitted 2026-07-11 math-ph math.MPmath.QA

Haoran Zhu This is my paper · ORCID
classification math-phmath.MPmath.QA MSC 17B3717B6781R50
keywords q-OnsageralgebraPBWbasisalternatinggeneratorsrootvectorscentraliserq-shufflecentralspecialisationmaximalcommutativesubalgebra
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 proves that the q-Onsager algebra — the q-deformed symmetry algebra of boundary integrable systems — has a Poincaré–Birkhoff–Witt (PBW) basis of ordered monomials in its root vectors for every possible ordering of the positive roots, and twelve PBW bases in the alternating generators. This removes a transcendence hypothesis that previously limited such statements. The author also determines the centralisers of the negative alternating family and of the first imaginary alternating generator, showing that four polynomial subalgebras are maximal commutative. These results settle four conjectures from the literature on the algebra's alternating central extension and, outside characteristic 2, the 'WG-basis' conjecture for current-algebra quotients. The argument works by lifting PBW bases from the associated graded algebra, identified with the q-shuffle algebra, and by a new deletion operator for centraliser computations.

What carries the argument

The q-shuffle realisation of the positive part U_q^+(sl2-hat) as an algebra of words in x and y under the q-shuffle product, together with the alternating PBW theorem for that algebra. The paper computes the initial forms (leading homogeneous components) of the root vectors and alternating generators as explicit scalar multiples of the alternating words, then applies a filtered-lifting lemma: any PBW basis in the associated graded algebra lifts to O_q. For the centraliser half, a left-deletion operator D on the shuffle algebra reduces the joint centraliser of W0 and W-1 to the centraliser of the first imaginary generator; a filtration by the number of G-factors completes the negative case, a

What would settle it

Fix F=Q and q=2. In the q-shuffle algebra, compute the subspace of words of length at most six that commute with both x and xyx (i.e., W0 and W-1). The paper predicts this subspace is exactly spanned by the negative alternating words; finding any extra commuting element would disprove the negative centraliser theorem and the dependent PBW claims.

Watch

Extended reading notes

Core claim

The central claim: over any field in which q is not a root of unity, the q-Onsager algebra admits PBW bases in every total order of its distinguished root vectors, and twelve PBW bases in its alternating generators; these bases survive arbitrary scalar central specialisation. The paper further proves that the four polynomial subalgebras generated by the alternating families are self-centralising, hence maximal commutative. This resolves a package of open conjectures about the algebra's PBW structure and, in characteristic not 2, establishes the 'WG-basis' conjecture for the current-algebra quotients.

Load-bearing premise

The load-bearing premise is that the straightening relations, the alternating PBW theorem, and the deletion-operator constant used to compute initial forms and centralisers hold verbatim over every field with q not a root of unity; any coefficient error or hidden characteristic restriction there would void the lifted PBW bases and centraliser equalities.

Editorial extensions

If this is right

  • Every element of the q-Onsager algebra has a unique normal form in the root vectors for any chosen total order, and twelve normal forms in the alternating generators.
  • The alternating PBW bases persist under scalar central specialisation, so the WG-basis normal form for current-algebra coefficients holds outside characteristic 2.
  • The four single-family alternating polynomial subalgebras are maximal commutative, making them maximal sets of pairwise-commuting elements in O_q.
  • The associated graded algebra has the Hilbert series Hilb = ∏_{m≥1} (1-t^{2m-1})^{-2}(1-t^{2m})^{-1}, giving a numerical invariant of O_q.
  • The removal of the transcendence hypothesis means the PBW results are valid over arbitrary fields, not just over the complex numbers.

Reading between the lines

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

  • The arbitrary-order PBW property hints at a universal PBW structure for quantum symmetric-pair coideal subalgebras; the same filtered-lifting strategy may transfer to other examples of that class.
  • The left-deletion operator is a new tool for computing centralisers in q-shuffle algebras and could extend to higher-rank shuffle realisations where such centraliser problems have resisted direct computation.
  • In finite-dimensional representations of O_q, the maximal commutative subalgebras identified here are natural candidates for complete sets of commuting integrals; this could be tested numerically in low dimensions.
  • The characteristic-2 restriction on the WG-basis arises only from the comparison of central coordinates; a characteristic-free reformulation of those coordinates may lift the restriction.
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.

Referee Report

2 major / 4 minor

Summary. The paper studies the q-Onsager algebra O_q over an arbitrary field F and q not a root of unity. It proves three main families of results: (1) the Baseilhac–Kolb root vectors form a PBW basis for every total order on the positive roots of ŝl_2 (Theorem 1.1), removing a previous transcendence hypothesis; (2) twelve PBW bases in the three alternating families W^-, W^+, G/eG, together with persistence under arbitrary scalar central specialisation of the alternating central extension (Theorem 1.2, Corollary 1.3); and (3) the negative alternating subalgebra and the algebra generated by eG_1 are self-centralising, so the four single-family alternating polynomial subalgebras are maximal commutative (Theorem 1.4). The overall strategy is a filtered-lifting argument: initial forms are identified with alternating words in the q-shuffle realisation of U_q^+(ŝl_2), and PBW bases are lifted using general filtered-lifting lemmas. The centraliser results are proved by a deletion-operator argument in the q-shuffle algebra and by PBW-profile arguments.

Significance. If correct, these results settle four conjectures of Terwilliger (Conjectures 16.1, 16.2, 16.7, 16.8) and, for char F ≠ 2, the Baseilhac–Belliard W G-basis conjecture. The arbitrary-field formulation and the arbitrary-total-order PBW statement are genuine improvements over previous approaches that required a transcendence hypothesis. The paper is carefully structured: scalar initial forms are computed explicitly, denominators are checked systematically through Lemma 2.1, and the filtered-lifting lemmas are clean and reusable. No circularity is apparent: the argument uses, but does not assume, the conjectures being proved. There is, however, one serious algebraic error in the negative-centraliser section: Lemma 10.3 states an incorrect constant. This is local and repairable, and the surrounding argument survives with the corrected constant, but the manuscript as written contains a false lemma at a load-bearing point.

major comments (2)
  1. [§10.1, Lemma 10.3, Eq. (10.11)] Lemma 10.3 is false as stated. Iterating the recurrence (10.12) gives γ_r = (-1)^r / (⟨r⟩_t! ∏_{j=1}^r (t^j-1)), not the printed γ_r = (-1)^r ⟨r⟩_t! / ∏_{j=1}^r (t^j-1). A concrete failure is r = 2, z = x^2. Then [z,x] = 0, d(z) = 2, and v = D^2 z = 1, Dv = 0. For the asserted relation z = γ_2 S_2 v to hold, applying D^2 gives 1 = γ_2 D^2(S_2 1), and D^2(S_2 1) = (t^2-1)^2, so γ_2 = (t^2-1)^{-2}. The printed value is (t-1)^{-2}. This is not a harmless typo in isolation: the lemma is used in Proposition 10.5 and Theorem 10.11. The corrected formula restores the intended argument.
  2. [§10.2, Proposition 10.5, Eq. (10.22)] Equation (10.22) is algebraically inconsistent with the printed value of γ_r. With the printed γ_r, the scalar on the right is ⟨r⟩_t! ⟨r+1⟩_t, not ⟨r+1⟩_t; the displayed simplification to (t^{r+1}-1)/(t-1) omits a factor of ⟨r⟩_t!. With the corrected γ_r, the factors cancel and (10.22) becomes exactly ⟨r+1⟩_t [v,G]. Fortunately, Proposition 10.5 only needs the scalar to be non-zero, and both the printed and corrected scalars are non-zero. Thus the main conclusion of Theorem 10.11 is salvageable, but the proof as written relies on a false identity. The manuscript must be revised to correct Lemma 10.3 and to re-state or re-derive (10.22).
minor comments (4)
  1. [§10, beginning] At the start of Section 10 only W_-n and G_n are defined explicitly, but Corollary 10.7 uses eG_n. Add the definition eG_n = (xy)^n to avoid ambiguity.
  2. [§10.3, Corollary 10.7] The triangularity step using (3.13) is stated very tersely. It is correct: the diagonal coefficients are (-1)^n [n]_q and [2n]_q, both non-zero. Please spell this out, since the equality F[J_1,J_2,...] = F[eG_1,eG_2,...] is load-bearing for the imaginary centraliser.
  3. [References] Reference [7] is cited as an arXiv preprint; if a journal version exists, it should be updated.
  4. [§9.1] The notation eA^{{δ}}_{q,ρ} is introduced twice with slightly different typography; a short remark that {δ} is not a set but a sequence would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proofs lift independent external PBW theorems, and the flagged Lemma 10.3 defect is a correctness error rather than a self-referential derivation.

full rationale

The paper's derivation chain is self-contained modulo independent external structural theorems. Theorem 1.1 is proved by first establishing an arbitrary-order Damiani PBW basis (Section 4) from explicit straightening relations of Damiani/Terwilliger, then computing the scalar initial forms of the Baseilhac–Kolb root vectors (Proposition 5.1) and applying the filtered-lifting Lemma 2.6; nothing in this chain assumes that the ordered monomials are a basis. Theorem 1.2 similarly lifts Terwilliger's q-shuffle PBW theorem (Theorem 3.1) using newly computed scalar initial forms, not the conclusion being proved. The centraliser proofs in Sections 10–11 reduce to auxiliary statements (Cent_U(G1), Cent_U(J1), Cent_Oq(I1)) that are established by deletion-operator, filtration, and highest-profile arguments; they do not presuppose self-centrality. The only self-citation, [36], appears motivationally in the introduction and is not cited in any proof. The skeptical note about Lemma 10.3 — that the displayed gamma_r should have the factorial in the denominator — is a correctness issue, not a circular step: the recurrence (10.12) and the scalar computation in (10.22) are algebraic computations that do not assume the target centraliser identity, and the intended conclusion can be restored by the corrected constant. Thus no circular reduction is present.

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

The central claims rest on a well-established external scaffold (Terwilliger's factorisation and q-shuffle PBW theorems, Damiani's straightening relations). These are prior theorems, not assumptions of the target results. No new entities or fitted parameters are introduced. The only novel load-bearing tool is the left-deletion operator, which is derived within the paper.

assumptions (6)
  • domain assumption q is not a root of unity in an arbitrary field F; all denominators [m]_q, t^m−1, 1−q^{−2m}, q−q^{−1} are units.
    The standing hypothesis of the paper (Lemma 2.1). Without it, the PBW statements are false or require modification.
  • domain assumption Terwilliger's factorisation A_q ≃ O_q ⊗ F[z_1,z_2,...] and the convolution central coordinates (2.16), (8.1)–(8.4).
    External theorem used to define central fibres and to transfer PBW bases from O_q to A_{q,ζ} (Sections 2.1 and 8).
  • domain assumption The alternating PBW theorem in the q-shuffle algebra (Theorem 3.1): W^-<H<W^+ block orders give bases of U^+.
    External result from Terwilliger [32]; the scaffold for all twelve PBW bases and for independence statements in the centraliser arguments.
  • standard math Damiani's straightening relations (4.4)–(4.10) and the <_D-ordered Damiani basis.
    Cited from Damiani [15] / Terwilliger [31]; drives the arbitrary-order PBW straightening in Section 4.
  • domain assumption The Catalan identity (3.13) and the recursion (6.6) relating imaginary root vectors to alternating generators.
    External results from Terwilliger [32, 34]; used to compute the initial forms of the eG_n family.
  • domain assumption The Baseilhac–Kolb automorphism T_0 (11.4)–(11.5) and the symmetries σ, †, τ.
    External results from Terwilliger [30, 34]; used in the imaginary centraliser proof of Section 11.

how reviews work

0 comments
Cite this review

Pith. "Pith review of PBW bases and centralisers for the $q$-Onsager algebra." pith.science (2026). https://pith.science/paper/YEL7C6CK

@misc{pith2026260710097,
  author       = {Pith},
  title        = {Pith review of: PBW bases and centralisers for the $q$-Onsager algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YEL7C6CK}},
  note         = {Machine review of arXiv:2607.10097}
}
abstract

We prove that, over an arbitrary field and whenever $q$ is not a root of unity, the Baseilhac--Kolb root vectors form a PBW basis of the $q$-Onsager algebra for every total order on the positive roots of $\widehat{\mathfrak{sl}}_2$. This removes the previous transcendence hypothesis. We establish twelve PBW bases in the alternating generators and show that they persist under arbitrary scalar central specialisation of the alternating central extension. We determine the centraliser of the negative alternating subalgebra and that of the first imaginary alternating generator, and deduce that the four single-family alternating polynomial subalgebras are maximal commutative. Together, these results settle four conjectures of Terwilliger and, in characteristic different from $2$, a conjecture of Baseilhac and Belliard.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 1 linked inside Pith

  1. [1]

    Appel and B

    A. Appel and B. Vlaar,UniversalK-matrices for quantum Kac–Moody algebras, Represent. Theory26(2022), 764–824

    2022

  2. [2]

    Appel and B

    A. Appel and B. Vlaar,TensorK-matrices for quantum symmetric pairs, Comm. Math. Phys. 406(2025), Paper No. 100, 57 pp

    2025

  3. [3]

    Balagovi´ c and S

    M. Balagovi´ c and S. Kolb,UniversalK-matrix for quantum symmetric pairs, J. Reine Angew. Math.747(2019), 299–353

    2019

  4. [4]

    Baseilhac,Deformed Dolan–Grady relations in quantum integrable models, Nuclear Phys

    P. Baseilhac,Deformed Dolan–Grady relations in quantum integrable models, Nuclear Phys. B 709(2005), 491–521

    2005

  5. [5]

    Baseilhac and S

    P. Baseilhac and S. Belliard,Generalizedq-Onsager algebras and boundary affine Toda field theories, Lett. Math. Phys.93(2010), 213–228

    2010

  6. [6]

    Baseilhac and S

    P. Baseilhac and S. Belliard,The half-infiniteXXZchain in Onsager’s approach, Nuclear Phys. B873(2013), 550–584

    2013

  7. [7]

    Baseilhac and S

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

    arXiv

  8. [8]

    Baseilhac, S

    P. Baseilhac, S. Belliard and N. Cramp´ e,FRT presentation of the Onsager algebras, Lett. Math. Phys.108(2018), 2189–2212

    2018

Show all 36 references
  1. [9]

    Baseilhac, A.M

    P. Baseilhac, A.M. Gainutdinov and G. Lemarthe,Universal TT- and TQ-relations via cen- trally extendedq-Onsager algebra, Nuclear Phys. B1026(2026), Paper No. 117427, 72 pp

    2026

  2. [10]

    Baseilhac and K

    P. Baseilhac and K. Koizumi,A new (in)finite-dimensional algebra for quantum integrable models, Nuclear Phys. B720(2005), 325–347

    2005

  3. [11]

    Baseilhac and S

    P. Baseilhac and S. Kolb,Braid group action and root vectors for theq-Onsager algebra, Transform. Groups25(2020), 363–389

    2020

  4. [12]

    Baseilhac and K

    P. Baseilhac and K. Shigechi,A new current algebra and the reflection equation, Lett. Math. Phys.92(2010), 47–65

    2010

  5. [13]

    Baseilhac and Z

    P. Baseilhac and Z. Tsuboi,Asymptotic representations of augmentedq-Onsager algebra and boundaryK-operators related to BaxterQ-operators, Nuclear Phys. B929(2018), 397–437

    2018

  6. [14]

    Beck,Convex bases of PBW type for quantum affine algebras, Comm

    J. Beck,Convex bases of PBW type for quantum affine algebras, Comm. Math. Phys.165 (1994), 193–199

    1994

  7. [15]

    Damiani,A basis of type Poincar´ e–Birkhoff–Witt for the quantum algebra of bsl2, J

    I. Damiani,A basis of type Poincar´ e–Birkhoff–Witt for the quantum algebra of bsl2, J. Algebra 161(1993), 291–310

    1993

  8. [16]

    Damiani,LaR-matrice pour les alg` ebres quantiques de type affine non tordu, Ann

    I. Damiani,LaR-matrice pour les alg` ebres quantiques de type affine non tordu, Ann. Sci. `Ecole Norm. Sup. (4)31(1998), 493–523

    1998

  9. [17]

    Ding and I.B

    J. Ding and I.B. Frenkel,Isomorphism of two realizations of quantum affine algebraU q( bgl(n)), Comm. Math. Phys.156(1993), 277–300

    1993

  10. [18]

    Dolan and M

    L. Dolan and M. Grady,Conserved charges from self-duality, Phys. Rev. D25(1982), 1587– 1604. 35

    1982

  11. [19]

    Khoroshkin and V.N

    S.M. Khoroshkin and V.N. Tolstoy,UniversalR-matrix for quantized (super)algebras, Comm. Math. Phys.141(1991), 599–617

    1991

  12. [20]

    Kolb,Quantum symmetric Kac–Moody pairs, Adv

    S. Kolb,Quantum symmetric Kac–Moody pairs, Adv. Math.267(2014), 395–469

    2014

  13. [21]

    Lemarthe, P

    G. Lemarthe, P. Baseilhac and A.M. Gainutdinov,FusedK-operators and theq-Onsager al- gebra, SIGMA Symmetry Integrability Geom. Methods Appl.22(2026), Paper No. 026, 74 pp

    2026

  14. [22]

    Letzter,Coideal subalgebras and quantum symmetric pairs, inNew Directions in Hopf Algebras, Math

    G. Letzter,Coideal subalgebras and quantum symmetric pairs, inNew Directions in Hopf Algebras, Math. Sci. Res. Inst. Publ.43, Cambridge Univ. Press, Cambridge, 2002, 117–165

    2002

  15. [23]

    M. Lu, S. Ruan and W. Wang,ıHall algebra of the projective line andq-Onsager algebra, Trans. Amer. Math. Soc.376(2023), 1475–1505

    2023

  16. [24]

    Lu and W

    M. Lu and W. Wang,A Drinfeld type presentation of affineıquantum groups I: split ADE type, Adv. Math.393(2021), Paper No. 108111, 46 pp

    2021

  17. [25]

    Onsager,Crystal statistics

    L. Onsager,Crystal statistics. I. A two-dimensional model with an order-disorder transition, Phys. Rev.65(1944), 117–149

    1944

  18. [26]

    Rosso,Quantum groups and quantum shuffles, Invent

    M. Rosso,Quantum groups and quantum shuffles, Invent. Math.133(1998), 399–416

    1998

  19. [27]

    Sklyanin,Boundary conditions for integrable quantum systems, J

    E.K. Sklyanin,Boundary conditions for integrable quantum systems, J. Phys. A21(1988), 2375–2389

    1988

  20. [28]

    Terwilliger,Two relations that generalize theq-Serre relations and the Dolan–Grady rela- tions, inPhysics and Combinatorics 1999, World Scientific, River Edge, NJ, 2001, 377–398

    P. Terwilliger,Two relations that generalize theq-Serre relations and the Dolan–Grady rela- tions, inPhysics and Combinatorics 1999, World Scientific, River Edge, NJ, 2001, 377–398

    1999

  21. [29]

    Terwilliger,Theq-Onsager algebra and the positive part ofU q(bsl2), Linear Algebra Appl

    P. Terwilliger,Theq-Onsager algebra and the positive part ofU q(bsl2), Linear Algebra Appl. 521(2017), 19–56

    2017

  22. [30]

    Terwilliger,An action of the free productZ 2 ∗Z 2 ∗Z 2 on theq-Onsager algebra and its current algebra, Nuclear Phys

    P. Terwilliger,An action of the free productZ 2 ∗Z 2 ∗Z 2 on theq-Onsager algebra and its current algebra, Nuclear Phys. B936(2018), 306–319

    2018

  23. [31]

    Terwilliger,Using Catalan words and aq-shuffle algebra to describe a PBW basis for the positive part ofU q(bsl2), J

    P. Terwilliger,Using Catalan words and aq-shuffle algebra to describe a PBW basis for the positive part ofU q(bsl2), J. Algebra525(2019), 359–373

    2019

  24. [32]

    Terwilliger,The alternating PBW basis for the positive part ofU q(bsl2), J

    P. Terwilliger,The alternating PBW basis for the positive part ofU q(bsl2), J. Math. Phys.60 (2019), Paper No. 071704, 27 pp

    2019

  25. [33]

    Terwilliger,The alternating central extension of theq-Onsager algebra, Comm

    P. Terwilliger,The alternating central extension of theq-Onsager algebra, Comm. Math. Phys. 387(2021), 1771–1819

    2021

  26. [34]

    Terwilliger,Theq-Onsager algebra and its alternating central extension, Nuclear Phys

    P. Terwilliger,Theq-Onsager algebra and its alternating central extension, Nuclear Phys. B 975(2022), Paper No. 115662, 37 pp

    2022

  27. [35]

    Terwilliger,The compact presentation for the alternating central extension of theq-Onsager algebra, J

    P. Terwilliger,The compact presentation for the alternating central extension of theq-Onsager algebra, J. Pure Appl. Algebra227(2023), no. 11, Paper No. 107408, 22 pp

    2023

  28. [36]

    Zhu,A new PBW basis for the alternating central extension of theq-Onsager algebra, Nuclear Phys

    H. Zhu,A new PBW basis for the alternating central extension of theq-Onsager algebra, Nuclear Phys. B1029(2026), Paper No. 117577, 14 pp. 36

    2026

Pith tools

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