Pith.

Mathematical Physics · arXiv:2607.02849 v1 · submitted 3 Jul 2026 · 36 references

A new PBW basis for the alternating central extension of the q-Onsager algebra

Haoran Zhu

PDF · arXiv · The abstract, sentence by sentence · Cite

The paper says

“We establish a new PBW basis for 𝒜q, the alternating central extension of the q-Onsager algebra. Terwilliger showed that the alternating generators form a PBW basis in the block order $\mathcal G<\mathcal W^-<\mathcal W^+<\widetilde{\mathcal G}$.”

more of the abstract

We prove that they also form a PBW basis in the different block order $\mathcal W^-<\mathcal G<\widetilde{\mathcal G}<\mathcal W^+$. Consequently, multiplication induces a vector-space isomorphism \[ \mathcal W^-\otimes\mathcal G\otimes\widetilde{\mathcal G}\otimes\mathcal W^+ \longrightarrow \mathcal A_q, \] thereby confirming a conjecture of Terwilliger.

from the abstract

Pith says

Machine review · grok-4.5 · 12 Jul 2026 · what was read was not recorded · not checked by a person

It can be wrong. Challenge this review or reply to it.

Holds up. Clean confirmation of Terwilliger's conjectured PBW order via two explicit invertible crossings; solid and ready to use. This line is wrong

4 minor

How often objections from reviews like this one are right: not yet measured

Are you an author? What you can do.

Not checked: figures, code, what the 36 references say.

4 minor objections

The paper says, at Section 1

Pith says: minor objection 1 of 4

In the introduction, the discussion of possible applications to universal K-matrices and LDU decompositions is suggestive but brief; a sentence or two more on how the new order might enter those constructions would help non-specialist readers.

The paper says, at Section 4, Eq. (4.1)

Pith says: minor objection 2 of 4

The matrix M_N(η) is defined by its action on indeterminates (4.1). Displaying the general entry formula explicitly, or at least the pattern of the nonzero off-diagonal blocks, would make the subsequent determinant induction easier to follow without reconstructing the matrix from the example.

show 2 more

The paper says, at Corollary 5.5

Pith says: minor objection 3 of 4

Corollary 5.5 records three additional block orders obtained by the same method. It would be useful to state briefly whether any of these intermediate orders has already appeared in the literature or is expected to be useful for other calculations.

The paper says, at Place not named

Pith says: minor objection 4 of 4

A few minor typographical inconsistencies appear (e.g., spacing around the q-commutator notation and the occasional missing thin space before punctuation in displayed formulae). These do not affect readability but should be cleaned in the final version.

What would settle it

Independently recompute det M_N(η) for N=0..6 by expanding the explicit matrix definition (4.1) and verify that it equals (1-η)^{⌊N/2⌋+1}; then check that the same non-vanishing holds for η=1-q^{±2} under the paper’s hypothesis on q.

from the skeptic's reading

How the review went

4 readings by grok-4.5 · 12 Jul 2026

  1. Reader holds up confidence high
  2. Skeptic agrees 3 s · 12,262 tokens read, 383 written
  3. Editor wrote the verdict above 4 s · 13,009 tokens read, 503 written
  4. Referee accept: 4 minor 8 s · 12,396 tokens read, 691 written

Not run on this paper: the simulated authors' defence.

Pith did not check this review's objections against the paper.

The review in full

The review in brief, machine-written

This paper does exactly what the abstract claims: it proves that the alternating generators of Aq also form a PBW basis in the block order W^- < G < ~G < W^+, so multiplication gives the vector-space isomorphism W^- ⊗ G ⊗ ~G ⊗ W^+ → Aq. That is Terwilliger's Conjecture 4.5(v), and it is now a theorem.

What is new is the order change itself. Terwilliger already had the opposite block order G < W^- < W^+ < ~G and the associated Hilbert series. Zhu takes those reduction rules as black boxes, extracts the two adjacent crossings (GW^- and W^+~G), packages them as the finite matrices MN(η), computes det MN(η) = (1-η)⌊N/2⌋+1 by a short induction, and notes that the determinants are non-zero under the standing non-root-of-unity hypothesis. Invertibility plus a standard filtration argument (lower bidegree terms stay lower) upgrades spanning to a basis once the dimensions match. The four single-family polynomial statements are free from Terwilliger's earlier PBW theorem and are recorded only for completeness.

The argument is elementary linear algebra plus filtration; I see no hidden gaps. The softest link is precisely the non-vanishing of those two determinants, but that is already the hypothesis under which the whole theory of Aq is developed, so it is not a new vulnerability. The paper is tightly written, cites the right prior results, and does not overclaim.

This is for people already working with q-Onsager algebras, coideal subalgebras, or the recent universal TT/TQ and K-operator constructions that have been using the conjectural order. Outside that circle the significance is modest, but inside it the result is immediately usable. I would send it to a serious referee without hesitation; the math is clean enough that the referee's job is mainly to check the matrix bookkeeping.

The strongest objection

The central claim (PBW basis in the block order W^- < G < ~G < W^+, and the resulting tensor isomorphism) rests on two finite, explicit crossings that are inverted by the matrices M_N(1-q^{-2}) and M_N(1-q^2). Their determinants are computed by a short induction (Lemma 4.2) and are non-zero precisely when q is not a root of unity—the standing hypothesis already used by Terwilliger’s original PBW theorem. The filtration argument that converts these local inversions into a global change of order (Propositions 5.3–5.4) is standard and dimensionally matched by the known Hilbert series. No hidden assumption or gap appears in the written argument.

The Reader correctly isolates the only non-trivial algebraic step—the invertibility of the two crossing matrices—and notes that it is secured by an elementary determinant formula under the standing non-root-of-unity hypothesis. Re-reading the full text confirms that every subsequent step (straightening via the reduction rules of [33], filtration comparison, and Hilbert-series matching) is routine once those matrices are invertible. No additional soft spot is present, so the Reader’s ACCEPT verdict and low correctness-risk assessment stand.

The referee's report

The result settles a published conjecture of Terwilliger and supplies the PBW order that has already been used in computations of universal TT- and TQ-relations for A_q. The argument is clean, self-contained once Terwilliger's earlier PBW theorem and reduction rules are taken as black boxes, and the determinant calculation is elementary and explicit. The new order is potentially useful for factorised formulae involving universal K-operators and related constructions in coideal algebras. The paper therefore makes a solid, usable contribution to the algebraic theory of the q-Onsager algebra and its central extensions.

Pith's reading of the paper (a machine's summary, not the authors')

The paper settles a conjecture about the algebraic structure of the alternating central extension A_q of the q-Onsager algebra. That algebra is generated by four infinite families of alternating generators. An earlier theorem already showed that ordered monomials in one particular block order of those families form a Poincaré–Birkhoff–Witt basis. The present work proves that the same generators also give a PBW basis when the blocks are rearranged into the different order W^- then G then ~G then W^+. As an immediate consequence, every element of A_q can be uniquely written as a product of one element from each of the four single-family polynomial subalgebras, yielding a tensor-product factorisation of the algebra as a vector space. The new order matches the ordering used in recent calculations of universal transfer-matrix relations, so the result supplies a rigorous foundation for those computations and for related constructions of K-operators.

What carries the argument. Two finite crossing matrices M_N(η) that govern the adjacent block swaps G W^- ↔ W^- G and W^+ ~G ↔ ~G W^+ modulo lower bidegree; their determinants are (1-η)^{⌊ N/2⌋+1}, which are nonzero when q is not a root of unity, so the crossings are invertible and the known PBW basis can be reordered into the conjectural block order.

Core claim. The alternating generators of A_q, ordered by increasing index within each family and by the block order W^- < G < ~G < W^+, form a PBW basis. Equivalently, multiplication induces a vector-space isomorphism from the tensor product of the four freely generated polynomial subalgebras W^-, G, ~G and W^+ onto A_q.

The premise it rests on. The two crossing matrices remain invertible, which requires that q is not a root of unity so that their determinants never vanish.

If the paper is right (Pith's inferences, not the authors')

The multiplication map W^- ⊗ G ⊗ ~G ⊗ W^+ o A_q is a vector-space isomorphism, confirming the full statement of the earlier conjecture.

The four single-family subalgebras are free polynomial algebras, already implied by the older PBW theorem and recorded here for completeness.

Any of the four intermediate block orders obtained by performing only one of the two crossings also yields a PBW basis.

Calculations that treat the conjectural order as a PBW order (for instance universal TT- and TQ-relations) are now rigorously justified.

After central reduction the same crossing analysis may be adaptable to related PBW conjectures for the q-Onsager algebra itself.

The new order is the natural one for writing universal K-matrices and LDU factorisations of associated operators, by analogy with the role of specific PBW orders for R-matrices of quantum affine algebras.

Once the basis is known, explicit structure-constant formulae for products of alternating generators become computable by straightening against the new order.

The same matrix technique may decide the remaining open PBW conjectures that appear after the central reduction from A_q to the q-Onsager algebra.

Check this review

Pith stored no record of this review's passes and took no fingerprint of it. Reviews made by code from 13 Nov 2026 on carry both.

How often reviews like this one are right

Reviews like this one: written by grok-4.5, where what was read was not recorded.

How often objections from reviews like this one are right: not yet measured

Every value above, in the review's public record (JSON)

Reviews by people

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review

How Pith checks papers · The full audit of this paper

The paper

Abstract

We establish a new PBW basis for 𝒜q, the alternating central extension of the q-Onsager algebra. Terwilliger showed that the alternating generators form a PBW basis in the block order $\mathcal G<\mathcal W^-<\mathcal W^+<\widetilde{\mathcal G}$. We prove that they also form a PBW basis in the different block order $\mathcal W^-<\mathcal G<\widetilde{\mathcal G}<\mathcal W^+$. Consequently, multiplication induces a vector-space isomorphism \[ \mathcal W^-\otimes\mathcal G\otimes\widetilde{\mathcal G}\otimes\mathcal W^+ \longrightarrow \mathcal A_q, \] thereby confirming a conjecture of Terwilliger.

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. No sentence in this record was written by a model.

abstract compiled · 2026-09-23

The authors' main claim, as the classifier picked it out 0.44

“We establish a new PBW basis for $\mathcal A_q$, the alternating central extension of the $q$-Onsager algebra.”

How the main claim is stated: asserted 1.00

What the abstract itself states, as probabilities: claims first 0.08 · states limitation 0.05 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.95 · mentions code or data availability 0.02

The abstract, sentence by sentence

This table labels the abstract only (arXiv listing abstract v1). The number is the probability the classifier gave the label.

SentenceRoleThe authors' own workStates the main conclusionStrength
We establish a new PBW basis for $\mathcal A_q$, the alternating central extension of the $q$-Onsager algebra. contribution 0.97 0.96 0.78 asserted 1.00
Terwilliger showed that the alternating generators form a PBW basis in the block order $\mathcal G<\mathcal W^-<\mathcal W^+<\widetilde{\mathcal G}$. background 1.00 0.03 0.04 asserted 1.00
We prove that they also form a PBW basis in the different block order $\mathcal W^-<\mathcal G<\widetilde{\mathcal G}<\mathcal W^+$. result 0.73 0.95 0.63 asserted 1.00
Consequently, multiplication induces a vector-space isomorphism \[ \mathcal W^-\otimes\mathcal G\otimes\widetilde{\mathcal G}\otimes\mathcal W^+ \longrightarrow \mathcal A_q, \] thereby confirming a conjecture of Terwilliger. result 0.73 0.87 0.59 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00

What was examined, and what was not

Sources read

  • arXiv listing abstract v1

Not examined

  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers

Levels run

  • P abstract

Not run

  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

How the labels were made

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,796 input tokens.

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. This record as JSON

References (36)
  1. [1] A. Appel and B. Vlaar,UniversalK-matrices for quantum Kac–Moody algebras, Represent. Theory 26(2022), 764–824 on Pith
  2. [2] P. Baseilhac,An integrable structure related with tridiagonal algebras, Nuclear Phys. B705(2005), 605–619 on Pith
  3. [3] P. Baseilhac,Deformed Dolan–Grady relations in quantum integrable models, Nuclear Phys. B709 (2005), 491–521 on Pith
  4. [4] P. Baseilhac and S. Belliard,Generalizedq-Onsager algebras and boundary affine Toda field theories, Lett. Math. Phys.93(2010), 213–228 on Pith
  5. [5] P. Baseilhac and S. Belliard,An attractive basis for theq-Onsager algebra, arXiv:1704.02950 on PithPith's reviewarXiv
  6. [6] P. Baseilhac, A.M. Gainutdinov and G. Lemarthe,Universal TT- and TQ-relations via centrally extendedq-Onsager algebra, Nuclear Phys. B1026(2026), 117427 on Pith
  7. [7] P. Baseilhac and K. Koizumi,A deformed analogue of Onsager’s symmetry in theXXZopen spin chain, J. Stat. Mech. Theory Exp.2005(2005), no. 10, P10005, 15 pp on Pith
  8. [8] P. Baseilhac and K. Koizumi,A new (in)finite-dimensional algebra for quantum integrable models, Nuclear Phys. B720(2005), 325–347 on Pith
  9. [9] P. Baseilhac and S. Kolb,Braid group action and root vectors for theq-Onsager algebra, Transform. Groups25(2020), 363–389 on Pith
  10. [10] P. Baseilhac and K. Shigechi,A new current algebra and the reflection equation, Lett. Math. Phys.92 (2010), 47–65 on Pith
  11. [11] I. Damiani,LaR-matrice pour les alg` ebres quantiques de type affine non tordu, Ann. Sci. ´Ecole Norm. Sup. (4)31(1998), no. 4, 493–523 on Pith
  12. [12] J. Ding and I.B. Frenkel,Isomorphism of two realizations of quantum affine algebraU qp pglpnqq, Comm. Math. Phys.156(1993), no. 2, 277–300 on Pith
  13. [13] L. Dolan and M. Grady,Conserved charges from self-duality, Phys. Rev. D25(1982), 1587–1604. 12 on Pith
  14. [14] T. Ito, K. Nomura and P. Terwilliger,A classification of sharp tridiagonal pairs, Linear Algebra Appl. 435(2011), 1857–1884 on Pith
  15. [15] T. Ito, K. Tanabe and P. Terwilliger,Some algebra related toP- andQ-polynomial association schemes, inCodes and Association Schemes, DIMACS Ser. Discrete Math. Theoret. Comput. Sci.56, Amer. Math. Soc., Providence, RI, 2001, 167–192 on Pith
  16. [16] T. Ito and P. Terwilliger,Tridiagonal pairs ofq-Racah type, J. Algebra322(2009), 68–93 on Pith
  17. [17] T. Ito and P. Terwilliger,The augmented tridiagonal algebra, Kyushu J. Math.64(2010), 81–144 on Pith
  18. [18] S.M. Khoroshkin and V.N. Tolstoy,UniversalR-matrix for quantized (super)algebras, Comm. Math. Phys.141(1991), no. 3, 599–617 on Pith
  19. [19] S. Kolb,Quantum symmetric Kac–Moody pairs, Adv. Math.267(2014), 395–469 on Pith
  20. [20] G. Lemarthe, P. Baseilhac and A.M. Gainutdinov,FusedK-operators and theq-Onsager algebra, SIGMA Symmetry Integrability Geom. Methods Appl.22(2026), 026, 74 pp on Pith
show 16 more
  1. [21] 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 on Pith
  2. [22] M. Lu, S. Ruan and W. Wang,ıHall algebra of the projective line andq-Onsager algebra, Trans. Amer. Math. Soc.376(2023), 1475–1505 on Pith
  3. [23] M. Lu and W. Wang,A Drinfeld type presentation of affineıquantum groups I: split ADE type, Adv. Math.393(2021), 108111, 46 pp on Pith
  4. [24] L. Onsager,Crystal statistics. I. A two-dimensional model with an order-disorder transition, Phys. Rev.65(1944), 117–149 on Pith
  5. [25] E.K. Sklyanin,Boundary conditions for integrable quantum systems, J. Phys. A21(1988), 2375–2389 on Pith
  6. [26] P. Terwilliger,The subconstituent algebra of an association scheme. III, J. Algebraic Combin.2(1993), 177–210 on Pith
  7. [27] P. Terwilliger,Two relations that generalize theq-Serre relations and the Dolan–Grady relations, in Physics and Combinatorics 1999, World Scientific, River Edge, NJ, 2001, 377–398 on Pith
  8. [28] P. Terwilliger,Theq-Onsager algebra and the positive part ofU qppsl2q, Linear Algebra Appl.521 (2017), 19–56 on Pith
  9. [29] 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 on Pith
  10. [30] P. Terwilliger,The Lusztig automorphism of theq-Onsager algebra, J. Algebra506(2018), 56–75 on Pith
  11. [31] P. Terwilliger,Theq-Onsager algebra and the universal Askey–Wilson algebra, SIGMA Symmetry Integrability Geom. Methods Appl.14(2018), Paper 044, 18 pp on Pith
  12. [32] P. Terwilliger,A conjecture concerning theq-Onsager algebra, Nuclear Phys. B966(2021), 115391, 26 pp. 13 on Pith
  13. [33] P. Terwilliger,The alternating central extension of theq-Onsager algebra, Comm. Math. Phys.387 (2021), 1771–1819 on Pith
  14. [34] P. Terwilliger,Theq-Onsager algebra and its alternating central extension, Nuclear Phys. B975 (2022), 115662, 37 pp on Pith
  15. [35] P. Terwilliger,The compact presentation for the alternating central extension of theq-Onsager algebra, J. Pure Appl. Algebra227(2023), 107408, 22 pp on Pith
  16. [36] P. Terwilliger,TheS 3-symmetricq-Onsager algebra and its Lusztig automorphisms, Indag. Math. (N.S.)36(2025), no. 6, 1533–1554. 14 on Pith
Cited by 1 Pith paper

Reviewed papers on Pith that cite this one. The full citation record

  1. FRT presentation of the $q$-Onsager comodule algebra and refined $q$-characters math.QA · Nov 2026
How the literature uses it

What this paper does with the arXiv papers it cites

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Challenges and discussion

Disagree with the review, or know something it missed? Leave a comment, or challenge this review formally: a challenge becomes a permanent entry in this paper's record, and its decision is published here.

No comments yet.

Sign in to comment