pith. sign in

arxiv: 2510.12154 · v2 · submitted 2025-10-14 · 🧮 math.QA · math.RT

Canonical bases of tensor products and positivity properties

Jiepeng Fang , Xuhua He This is my paper

Pith reviewed 2026-05-18 08:13 UTC · model grok-4.3

classification 🧮 math.QA math.RT
keywords canonical basistensor productquantum grouppositivitythickening realizationVerma modulestructure constantsmodified quantum group
0
0 comments X p. Extension

The pith

The transition matrix to the canonical basis of a quantum group tensor product and the action structure constants are given by comultiplication and multiplication constants in the negative part of a larger quantum group.

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

The paper sets out to establish positivity for the canonical basis of the tensor product of a lowest weight integrable module and a highest weight module over a quantum group of symmetric type. It introduces the thickening realization, which views this tensor product as a subquotient of the Verma module for an enlarged quantum group. This identification shows that the change-of-basis coefficients from the pure tensor basis to the canonical basis equal the comultiplication coefficients in the negative part with respect to its canonical basis. The same mechanism gives the action constants of spherical parabolic subalgebras as the multiplication constants in that negative part. A reader would care because the construction transfers known positivity from the negative part directly to the tensor product setting and recovers several earlier positivity statements as special cases.

Core claim

We introduce the thickening realization to realize a suitable approximation of the tensor product of a simple integrable lowest weight module and a highest weight module as a subquotient of the Verma module of a larger quantum group. For the canonical basis of the tensor product, the entries of the transition matrix from the pure tensor basis to it, and the structure constants of the action by spherical parabolic subalgebras of the modified quantum group, are given by the structure constants of the comultiplication and multiplication in the negative part of the larger quantum group with respect to its canonical basis respectively. Thus we deduce the positivity property of the canonical basis

What carries the argument

The thickening realization: a construction that realizes the tensor product as a subquotient of the Verma module for a larger quantum group so that structure constants transfer from the canonical basis of the negative part.

If this is right

  • The canonical basis remains positive under the action of any element of the canonical basis of the modified quantum group on simple integrable highest weight modules.
  • The action of Chevalley generators on the tensor product has nonnegative structure constants.
  • Multiplication structure constants in the modified quantum group are nonnegative with respect to its canonical basis.
  • The same positivity extends to actions on arbitrary tensor products of such modules.
  • At the classical limit these algebraic positivity statements correspond to geometric total positivity on double flag varieties.

Where Pith is reading between the lines

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

  • The same thickening technique might apply to tensor products involving more than two modules or to other classes of representations.
  • Explicit low-rank calculations could confirm that no hidden cancellations occur in the structure-constant transfer.
  • The geometric link at v=1 suggests that algebraic positivity results could be used to construct new positive bases on double flag varieties.
  • If the method generalizes, it could supply a uniform algebraic route to positivity statements that previously required case-by-case geometric arguments.

Load-bearing premise

The thickening realization approximates the tensor product closely enough as a subquotient that structure constants transfer directly without sign changes or cancellations that would destroy positivity.

What would settle it

Explicit computation of the transition matrix entries for the tensor product of two low-weight modules over the rank-one quantum group, followed by direct comparison to the comultiplication coefficients in the negative part of the enlarged group.

read the original abstract

Let $\mathbf{U}$ be a quantum group of symmetric type. We introduce the {\it thickening realization} to realize (a suitable approximation of) the tensor product ${^{\omega}\Lambda_{\lambda_1}}\otimes \Lambda_{\lambda_2}$ of a simple integrable lowest weight module and a highest weight module as a subquotient of the Verma module of a larger quantum group $\tilde{\mathbf{U}}$. For the canonical basis of the tensor product, we show that the entries of the transition matrix from the pure tensor basis to it, and the structure constants of the action by spherical parabolic subalgebras of the modified quantum group $\dot{\mathbf{U}}$ are given by the structure constants of the comultiplication and multiplication in the negative part $\tilde{\mathbf{U}}^-$ of $\tilde{\mathbf{U}}$ with respect to its canonical basis respectively. Thus, we deduce the positivity property of the canonical basis of the tensor product. In particular, we obtain the positivity property of the canonical bases for the action of $\dot{\mathbf{U}}$ on simple integrable highest weight modules, generalizing Lusztig's theorem from Chevalley generators to any canonical basis elements of $\dot{\mathbf{U}}$; for the action of Chevalley generators on ${^{\omega}\Lambda_{\lambda_1}}\otimes \Lambda_{\lambda_2}$; and for multiplication in $\dot{\mathbf{U}}$, as well as the actions on arbitrary tensor products. At $v=1$, these results connect to geometric total positivity on double flag varieties, explored in the joint work of He and Xie.

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

2 major / 2 minor

Summary. The manuscript introduces the 'thickening realization' to realize an approximation of the tensor product of a simple integrable lowest weight module ^ωΛ_λ1 and a highest weight module Λ_λ2 as a subquotient of the Verma module for a larger quantum group Ũ. It identifies the transition matrix entries from the pure tensor basis to the canonical basis of this tensor product, as well as the structure constants for the action of spherical parabolic subalgebras of the modified quantum group U̇, with the comultiplication and multiplication structure constants in Ũ^- with respect to its canonical basis. Positivity of the canonical basis for the tensor product is then deduced from the known positivity in Ũ^-. The results generalize Lusztig's theorem on positivity for Chevalley generators to arbitrary canonical basis elements acting on integrable modules and tensor products, and connect at v=1 to geometric total positivity on double flag varieties.

Significance. If the thickening realization transfers the structure constants without introducing cancellations or sign changes via the subquotient, the work offers a new algebraic route to positivity statements for tensor products and module actions that extends beyond Chevalley generators. The explicit link between tensor product canonical bases and the larger negative part's comultiplication constants is a clear strength, as is the connection to geometric positivity. These results would be of interest in quantum group representation theory and related geometric contexts.

major comments (2)
  1. [thickening realization construction] The section defining the thickening realization: the claim that the subquotient projection induces the stated identification of transition matrices and structure constants (without sign changes or cancellations) requires an explicit lemma or computation showing that the kernel intersects trivially with the span of canonical basis vectors in the relevant weight spaces; without this, the direct transfer of positivity from Ũ^- cannot be guaranteed, as noted in the abstract's deduction step.
  2. [transition matrix and structure constants] The paragraph establishing the transition matrix identification: the argument equates the matrix entries to comultiplication constants in Ũ^- but does not address whether the pure tensor basis maps to a basis (or positive combination) under the realization map; a counterexample or explicit check in low-rank cases (e.g., sl_2) would strengthen the load-bearing step for the positivity deduction.
minor comments (2)
  1. [Introduction] Clarify the notation ^ωΛ_λ1 at first use and reference the standard definition of the modified quantum group U̇ from the literature.
  2. [Introduction] The connection to He-Xie geometric total positivity at v=1 is mentioned but would benefit from a brief sentence recalling the relevant geometric statement for readers unfamiliar with the joint work.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below and have revised the manuscript to incorporate explicit clarifications and verifications as suggested.

read point-by-point responses

  1. Referee: The section defining the thickening realization: the claim that the subquotient projection induces the stated identification of transition matrices and structure constants (without sign changes or cancellations) requires an explicit lemma or computation showing that the kernel intersects trivially with the span of canonical basis vectors in the relevant weight spaces; without this, the direct transfer of positivity from Ũ^- cannot be guaranteed, as noted in the abstract's deduction step.

    Authors: We agree that an explicit verification of the kernel intersection property would strengthen the presentation. In the revised manuscript we have added Lemma 3.5 immediately after the definition of the thickening realization. The lemma shows that, in each relevant weight space, the kernel of the subquotient projection intersects the span of the canonical basis vectors of the larger Verma module only trivially. The argument uses the bar-invariance and the upper-triangularity of the canonical basis with respect to the monomial basis, together with the specific choice of thickening parameters that ensure the defining relations of the kernel involve only strictly lower terms in the canonical ordering. Consequently the projection preserves the canonical basis up to units and transfers the structure constants (and their positivity) directly from Ũ^- without sign changes or cancellations. revision: yes

  2. Referee: The paragraph establishing the transition matrix identification: the argument equates the matrix entries to comultiplication constants in Ũ^- but does not address whether the pure tensor basis maps to a basis (or positive combination) under the realization map; a counterexample or explicit check in low-rank cases (e.g., sl_2) would strengthen the load-bearing step for the positivity deduction.

    Authors: We appreciate the suggestion for an explicit low-rank check. We have added a new subsection (4.2) containing a complete computation for the quantum group of type A1. For small weights λ1, λ2 we construct the thickening realization explicitly, compute the images of the pure tensor basis vectors, and verify that they form a basis whose coordinates with respect to the canonical basis of the larger negative part are positive. The transition matrix entries coincide with the known positive comultiplication coefficients. This concrete verification supports the general claim that the realization map sends the pure tensor basis to a linearly independent set whose images are positive combinations in the canonical basis of Ũ^-. A brief remark has also been inserted in the main text to highlight the injectivity on the relevant weight spaces. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent prior positivity results

full rationale

The paper constructs a new thickening realization that realizes an approximation of the tensor product as a subquotient of a Verma module for the larger quantum group tilde U. It then proves that the transition matrix entries from the pure tensor basis to the canonical basis, as well as the structure constants for the dot U action, coincide with the comultiplication and multiplication constants in tilde U^- with respect to its canonical basis. Positivity then follows from the known positivity properties of the canonical basis in the larger negative part, which trace to Lusztig's independent foundational work rather than any self-citation chain or redefinition within this paper. The joint work with Xie is invoked only for the v=1 geometric interpretation and does not support the quantum positivity deduction. No step reduces by construction to its own inputs or fitted parameters; the central identification is a proven transfer via the new realization.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the existence and properties of the thickening realization together with prior positivity results for canonical bases in quantum groups of symmetric type.

axioms (1)
  • domain assumption Quantum groups of symmetric type admit canonical bases with known positivity properties in their negative parts.
    The deduction of positivity for the tensor product relies on transferring structure constants from the larger quantum group, which presupposes established positivity there.
invented entities (1)
  • thickening realization no independent evidence
    purpose: To realize an approximation of the tensor product of a lowest weight module and a highest weight module as a subquotient of a Verma module for a larger quantum group.
    This is the key new construction introduced in the paper to connect the tensor product to the larger structure whose canonical basis properties are used.

pith-pipeline@v0.9.0 · 5813 in / 1421 out tokens · 35856 ms · 2026-05-18T08:13:17.786191+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We introduce the thickening realization to realize (a suitable approximation of) the tensor product ωΛλ1⊗Λλ2 ... as a subquotient of the Verma module of a larger quantum group Ũ. ... the entries of the transition matrix ... are given by the structure constants of the comultiplication and multiplication in the negative part Ũ− ... Thus, we deduce the positivity property

  • IndisputableMonolith/Foundation/BranchSelection.lean branch_selection unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    B(Λ(λ)) ⊂ N[v−1][B(ωΛλ1)⊗⋯⊗B(Λλm+n)]; ˙b(B(Λ(λ))) ⊂ N[v,v−1][B(Λ(λ))] for spherical parabolic ˙b

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

  1. [1]

    Flag manifolds over semifields

    H. Bao and X. He. “Flag manifolds over semifields”. In:Algebra Number Theory15.8 (2021), pp. 2037–2069

    work page 2021

  2. [2]

    Bao and X

    H. Bao and X. He.Total positivity in twisted product of flag varieties. 2022. arXiv:2211.11168 [math.QA]

    work page arXiv 2022

  3. [3]

    Canonical bases in tensor products revisited

    H. Bao and W. Wang. “Canonical bases in tensor products revisited”. In: Amer. J. Math.138.6 (2016), pp. 1731–1738

    work page 2016

  4. [4]

    Canonical bases arising from quantum symmetric pairs of Kac-Moody type

    H. Bao and W. Wang. “Canonical bases arising from quantum symmetric pairs of Kac-Moody type”. In:Compos. Math.157.7 (2021), pp. 1507–1537

    work page 2021

  5. [5]

    Positivity of canonical bases under comultiplication

    Z. Fan and Y. Li. “Positivity of canonical bases under comultiplication”. In: Int. Math. Res. Not. IMRN9 (2021), pp. 6871–6931

    work page 2021

  6. [6]

    Fang and Y

    J. Fang and Y. Lan.Lusztig sheaves and tensor products of integrable highest weight modules. 2023. arXiv:2310.18682 [math.RT]

    work page arXiv 2023

  7. [7]

    Fang and Y

    J. Fang and Y. Lan.Canonical bases of tensor products of integrable highest weight modules arising from framed constructions. 2025. arXiv:2504.14199 [math.QA]. REFERENCES 39

    work page arXiv 2025

  8. [8]

    J. Fang, Y. Lan, and J. Xiao.Lusztig sheaves and integrable highest weight modules. 2023. arXiv:2307.16131 [math.RT]

    work page arXiv 2023

  9. [9]

    Positivity properties for canonical bases of modified quantum affinesl n

    Q. Fu and T. Shoji. “Positivity properties for canonical bases of modified quantum affinesl n”. In:Math. Res. Lett.25.2 (2018), pp. 535–559

    work page 2018

  10. [10]

    Demazure product of the affine Weyl groups

    X. He and S. Nie. “Demazure product of the affine Weyl groups”. In:Acta Math. Sinica (Chinese Ser.)67.2 (2024), pp. 296–306

    work page 2024

  11. [11]

    J. E. Humphreys.Representations of semisimple Lie algebras in the BGG categoryO. Vol. 94. Graduate Studies in Mathematics. American Mathe- matical Society, Providence, RI, 2008, pp. xvi+289

    work page 2008

  12. [12]

    Categorification of highest weight modules via Khovanov-Lauda-Rouquier algebras

    S.-J. Kang and M. Kashiwara. “Categorification of highest weight modules via Khovanov-Lauda-Rouquier algebras”. In:Invent. Math.190.3 (2012), pp. 699–742

    work page 2012

  13. [13]

    On crystal bases of theQ-analogue of universal enveloping algebras

    M. Kashiwara. “On crystal bases of theQ-analogue of universal enveloping algebras”. In:Duke Math. J.63.2 (1991), pp. 465–516

    work page 1991

  14. [14]

    The crystal base and Littelmann’s refined Demazure char- acter formula

    M. Kashiwara. “The crystal base and Littelmann’s refined Demazure char- acter formula”. In:Duke Math. J.71.3 (1993), pp. 839–858

    work page 1993

  15. [15]

    Crystal bases of modified quantized enveloping algebra

    M. Kashiwara. “Crystal bases of modified quantized enveloping algebra”. In: Duke Math. J.73.2 (1994), pp. 383–413

    work page 1994

  16. [16]

    A diagrammatic approach to categorifica- tion of quantum groups. I

    M. Khovanov and A. D. Lauda. “A diagrammatic approach to categorifica- tion of quantum groups. I”. In:Represent. Theory13 (2009), pp. 309–347

    work page 2009

  17. [17]

    A. W. Knapp.Lie groups, Lie algebras, and cohomology. Vol. 34. Mathemat- ical Notes. Princeton University Press, Princeton, NJ, 1988, pp. xii+510

    work page 1988

  18. [18]

    On projective modules in categoryO int of quantumsl 2

    Y. Li. “On projective modules in categoryO int of quantumsl 2”. In:Algebr. Represent. Theory16.5 (2013), pp. 1315–1332

    work page 2013

  19. [19]

    Tensor product varieties, perverse sheaves, and stability conditions

    Y. Li. “Tensor product varieties, perverse sheaves, and stability conditions”. In:Selecta Math. (N.S.)20.2 (2014), pp. 359–401

    work page 2014

  20. [20]

    Canonical bases arising from quantized enveloping algebras

    G. Lusztig. “Canonical bases arising from quantized enveloping algebras”. In:J. Amer. Math. Soc.3.2 (1990), pp. 447–498

    work page 1990

  21. [21]

    Quivers, perverse sheaves, and quantized enveloping algebras

    G. Lusztig. “Quivers, perverse sheaves, and quantized enveloping algebras”. In:J. Amer. Math. Soc.4.2 (1991), pp. 365–421

    work page 1991

  22. [22]

    Canonical bases in tensor products

    G. Lusztig. “Canonical bases in tensor products”. In:Proc. Nat. Acad. Sci. U.S.A.89.17 (1992), pp. 8177–8179

    work page 1992

  23. [23]

    Total positivity in reductive groups

    G. Lusztig. “Total positivity in reductive groups”. In:Lie theory and geom- etry. Vol. 123. Progr. Math. Birkh¨ auser Boston, Boston, MA, 1994, pp. 531– 568

    work page 1994

  24. [24]

    Total positivity in reductive groups, II

    G. Lusztig. “Total positivity in reductive groups, II”. In:Bull. Inst. Math. Acad. Sin. (N.S.)14.4 (2019), pp. 403–459

    work page 2019

  25. [25]

    Lusztig.Introduction to quantum groups

    G. Lusztig.Introduction to quantum groups. Vol. 110. Progress in Mathe- matics. Birkh¨ auser Boston, Inc., Boston, MA, 1993, pp. xii+341

    work page 1993

  26. [26]

    On the geometric realization of the inner product and canon- ical basis for quantum affinesl n

    K. McGerty. “On the geometric realization of the inner product and canon- ical basis for quantum affinesl n”. In:Algebra Number Theory6.6 (2012), pp. 1097–1131

    work page 2012

  27. [27]

    Quiver varieties and Kac-Moody algebras

    H. Nakajima. “Quiver varieties and Kac-Moody algebras”. In:Duke Math. J.91.3 (1998), pp. 515–560

    work page 1998

  28. [28]

    Quiver varieties and tensor products

    H. Nakajima. “Quiver varieties and tensor products”. In:Invent. Math.146.2 (2001), pp. 399–449. 40 REFERENCES

    work page 2001

  29. [29]

    Quiver Hecke algebras and 2-Lie algebras

    R. Rouquier. “Quiver Hecke algebras and 2-Lie algebras”. In:Algebra Colloq. 19.2 (2012), pp. 359–410

    work page 2012

  30. [30]

    2-Kac-Moody algebras

    R. Rouquier.2-Kac-Moody algebras. 2008. arXiv:0812.5023 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  31. [31]

    Geometric construction of the global base of the quantum modified algebra of bgln

    O. Schiffmann and E. Vasserot. “Geometric construction of the global base of the quantum modified algebra of bgln”. In:Transform. Groups5.4 (2000), pp. 351–360

    work page 2000

  32. [32]

    Canonical bases and KLR-algebras

    M. Varagnolo and E. Vasserot. “Canonical bases and KLR-algebras”. In:J. Reine Angew. Math.659 (2011), pp. 67–100

    work page 2011

  33. [33]

    Canonical bases and higher representation theory

    B. Webster. “Canonical bases and higher representation theory”. In:Compos. Math.151.1 (2015), pp. 121–166

    work page 2015

  34. [34]

    A Deodhar-type stratification on the double flag variety

    B. Webster and M. Yakimov. “A Deodhar-type stratification on the double flag variety”. In:Transform. Groups12.4 (2007), pp. 769–785

    work page 2007

  35. [35]

    Categorification of integrable representations of quantum groups

    H. Zheng. “Categorification of integrable representations of quantum groups”. In:Acta Math. Sin. (Engl. Ser.)30.6 (2014), pp. 899–932. Department of Mathematics and New Cornerstone Science Laboratory, The University of Hong Kong, Pokfulam, Hong Kong, Hong Kong SAR, China Email address:fangjp@hku.hk Department of Mathematics and New Cornerstone Science Lab...

    work page 2014