pith. sign in

arxiv: 2605.14247 · v2 · pith:WZQONYY5new · submitted 2026-05-14 · 🧮 math.QA

Monomial bases and canonical bases for quantum affine algebras

Toshiaki Shoji , Zhiping Zhou This is my paper

Pith reviewed 2026-05-20 21:28 UTC · model grok-4.3

classification 🧮 math.QA MSC 17B37
keywords monomial basiscanonical basisquantum affine algebraPBW basissimply-lacedLusztig canonical basisquiver geometryBeck-Nakajima
0
0 comments X

The pith

Monomial basis allows simple computation of canonical bases

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

The paper constructs a monomial basis for quantum affine algebras of simply-laced type that is associated to the PBW basis of Beck-Nakajima. It demonstrates a simple algorithm to compute the canonical basis using this monomial basis. A sympathetic reader would care because this provides an algebraic way to access canonical bases, which are important for studying representations of quantum groups, potentially making computations easier than geometric methods. The authors also discuss how this canonical basis relates to the one Lusztig constructed using quiver geometry.

Core claim

We construct a monomial basis of a quantum affine algebra of simply-laced type, associated to the PBW basis of Beck-Nakajima. We show that there exists a simple algorithm of computing canonical basis in terms of the monomial basis. We discuss the relations of the canonical basis obtained from this PBW basis with Lusztig's canonical basis constructed by using the geometry of quivers.

What carries the argument

Monomial basis associated with the Beck-Nakajima PBW basis, which carries the argument by serving as the structure from which the canonical basis is algorithmically derived.

If this is right

  • The canonical basis can be computed using a simple algorithm from the monomial basis.
  • This holds for quantum affine algebras of simply-laced type.
  • The canonical basis from this construction has definable relations to Lusztig's canonical basis from quiver geometry.
  • The method uses the grading and commutation relations of the algebra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This algorithmic approach could make explicit calculations of canonical bases more feasible in practice for researchers.
  • The monomial basis might offer a new combinatorial perspective on the canonical basis elements.
  • One could investigate whether the algorithm preserves certain positivity or bar-invariance properties explicitly.
  • Comparisons between this basis and other constructions in quantum group theory could be explored further.

Load-bearing premise

The monomial basis can be defined in direct association with the Beck-Nakajima PBW basis for simply-laced quantum affine algebras, and the algebra admits the necessary grading and commutation relations that make the algorithm work without further restrictions on the base field or deformation parameter.

What would settle it

A counterexample in a specific simply-laced type where the monomial basis fails to span the space or the algorithm does not yield elements with the expected canonical basis properties like invariance under the bar involution.

read the original abstract

We construct a monomial basis of a quantum affine algebra of simply-laced type, associated to the PBW basis of Beck-Nakajima. We show that there exists a simple algorithm of computing canonical basis in terms of the monomial basis. We dsicuss the relations of the canonical basis obtained from this PBW basis with Lusztig's canonical basis constructed by using the geometry of quivers.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper constructs a monomial basis for quantum affine algebras of simply-laced type by associating each element of the Beck-Nakajima PBW basis to a unique monomial via q-commutation relations and the natural Z-grading. It presents an iterative algorithm in §3 that computes the canonical basis by applying the bar-involution and subtracting lower terms with respect to the PBW order. The manuscript also compares the resulting basis to Lusztig's geometric canonical basis, verifying agreement on finite-type subalgebras.

Significance. If the results hold, the work supplies a direct algebraic route to canonical bases via an explicitly constructed monomial basis tied to a known PBW ordering. This could simplify explicit computations in representation theory of quantum affine algebras. The proof of the algorithm relies only on triangularity with respect to the PBW order and the fact that the bar-involution preserves the lattice over Q(q), both standard and field-independent for generic q; the consistency check with Lusztig's basis on finite-type subalgebras is a useful cross-verification.

minor comments (2)
  1. [Abstract] Abstract: 'dsicuss' is a typographical error and should read 'discuss'.
  2. [§3] §3: The iterative algorithm is described at a high level; adding a short pseudocode outline or a rank-1 or rank-2 example computation would improve clarity without altering the argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and the positive assessment of our manuscript on monomial bases and canonical bases for quantum affine algebras. We appreciate the recognition of the algebraic approach and its potential applications. The recommendation for minor revision is noted, and we address any points below. Since no specific major comments were listed, we confirm that the results are as described.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The monomial basis is constructed explicitly in §2 by associating each element of the independently known Beck-Nakajima PBW basis to a monomial via the standard q-commutation relations and the natural Z-grading of the quantum affine algebra; this association does not presuppose the canonical basis. The algorithm in §3 computes the canonical basis by iterative application of the bar-involution and subtraction of lower terms, with correctness proved solely from the triangularity with respect to the PBW order and the lattice-preserving property of the bar-involution, both of which are standard facts for generic q over Q(q) and do not rely on the output basis. The §4 comparison with Lusztig's geometric basis is restricted to agreement on finite-type subalgebras and invokes only known external results. No load-bearing step reduces by definition, by fitted input, or by self-citation chain to the target canonical basis itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on prior results about PBW bases and standard structural properties of quantum affine algebras; no free parameters or new postulated entities are visible from the abstract.

axioms (2)
  • standard math Quantum affine algebras of simply-laced type admit a PBW basis as constructed by Beck-Nakajima.
    The monomial basis is defined in association with this existing PBW basis.
  • domain assumption The algebra carries a suitable grading and commutation relations that allow a monomial basis to be extracted and an algorithm to map it to the canonical basis.
    This structural assumption is required for the claimed simple algorithm to exist.

pith-pipeline@v0.9.0 · 5581 in / 1413 out tokens · 63404 ms · 2026-05-20T21:28:42.314745+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    Beck and H

    J. Beck and H. Nakajima; Crystal bases and two-sided cells of quantum affine algebras, Duke Math., 123 (2004), 335-402

    work page 2004

  2. [2]

    Grojnowski and G

    I. Grojnowski and G. Lusztig; A comparison of bases of quantized enveloping algebras, in ``Linear Algebraic Groups and Their Representations'', Contemp. Math. Vol. 153 , 1993, pp.11 - 19

    work page 1993

  3. [3]

    Li and Z

    Y. Li and Z. Lin; AR-quiver approach to affine canonical basis elements, J. Algebra, 318 (2007), 562-588

    work page 2007

  4. [4]

    Lusztig; Character sheaves, V, Adv

    G. Lusztig; Character sheaves, V, Adv. in Math., 61 103-155 (1986)

    work page 1986

  5. [5]

    Lusztig; Canonical bases arising from quantized enveloping algebras, J

    G. Lusztig; Canonical bases arising from quantized enveloping algebras, J. Amer. Math. Soc. 3 (1990), 447-498

    work page 1990

  6. [6]

    Lusztig; Quivers, perverse sheaves, and quantized enveloping algebras, J

    G. Lusztig; Quivers, perverse sheaves, and quantized enveloping algebras, J. Amer. Math. Soc. 4 (1991), 365-421

    work page 1991

  7. [7]

    Lusztig, Affine quivers and canonical bases, Publ

    G. Lusztig, Affine quivers and canonical bases, Publ. Math., IHES 76 (1992), 111-163

    work page 1992

  8. [8]

    Lusztig; ``Introduction to quantum groups'', Progress in Math., Vol

    G. Lusztig; ``Introduction to quantum groups'', Progress in Math., Vol. 110 Birkhauser, Boston/Basel/Berlin, 1993

    work page 1993

  9. [9]

    Kac; ``Infinite Dimensional Lie algebras'', 3rd ed

    V.G. Kac; ``Infinite Dimensional Lie algebras'', 3rd ed. Cambridge

    work page

  10. [10]

    Kashiwara; On crystal bases of the q -analogue of universal enveloping algebras, Duke Math

    M. Kashiwara; On crystal bases of the q -analogue of universal enveloping algebras, Duke Math. J. 63 (1991), 465-516

    work page 1991

  11. [11]

    M Kashiwara; On level zero representations of quantized enveloping algebras, Duke Math. J. 112 (2002), 117-175

    work page 2002

  12. [12]

    Kirillov Jr; ``Quiver representations and quiver varieties'', Grad

    A. Kirillov Jr; ``Quiver representations and quiver varieties'', Grad. Stu. in Math. 174 , AMS, Providence, Rhode Island, 2016

    work page 2016

  13. [13]

    Macdonald; ``Symmetric functions and Hall polynomials'', Second Edition, Oxford Mathematical Monographs, Clarendon Press, Oxford, 1995

    I.G. Macdonald; ``Symmetric functions and Hall polynomials'', Second Edition, Oxford Mathematical Monographs, Clarendon Press, Oxford, 1995

    work page 1995

  14. [14]

    Ma, T.Shoji and Z

    Y. Ma, T.Shoji and Z. Zhou; Diagram automorphisms and canonical bases for quantum affine algebras, II, J. Algebra, 611 (2022), 480-527

    work page 2022

  15. [15]

    Y. Ma, T. shoji and Z. Zhou; Foldings of KLR algebras, J. Algebra, 639 (2024), 60-98

    work page 2024

  16. [16]

    Muthiah, P

    D. Muthiah, P. Tingley; Affine PBW-bases and affine MV polytopes,

    work page

  17. [17]

    Ringel; ``Tame algebras and integral quadratic forms'', Lecture Notes in Math

    C. Ringel; ``Tame algebras and integral quadratic forms'', Lecture Notes in Math. 1099 Springer-Verlag, Berlin, 1984

    work page 1984

  18. [18]

    Lectures on canonical and crystal bases of Hall algebras

    O. Schiffmann; Lectures on canonical and crystal bases of Hall algebras, Lectures given for the summer school at the Institute Fourier in Grenoble in June 2008, arXiv:0910.4460

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  19. [19]

    Shoji and Z

    T. Shoji and Z. Zhou; Diagram automorphisms and quantum groups, J. Math. Soc. Japan, 72 , (2020), 639 - 671

    work page 2020

  20. [20]

    Shoji and Z

    T. Shoji and Z. Zhou; Diagram automorphisms and canonical bases for quantum affine algebras, J. Algebra, 569 (2021), 67-110

    work page 2021

  21. [21]

    Shoji and Z

    T. Shoji and Z. Zhou; Algorithm for computing canonical bases and foldings of quantum groups; preprint. arXiv: 2506.00793

    work page arXiv

  22. [22]

    J. Xiao, H. Xu and M. Zhao; Tame quivers and affine bases I: A Hall algebra approach to the canonical bases, J. Algebra, 633 (2023), 510-562

    work page 2023

  23. [23]

    Xiao and H

    J. Xiao and H. Xu; Tame quivers and affine bases II: non-simply laced case, J. Algebra 657 (2024), 840-882

    work page 2024