Recognition: unknown
Quiver varieties and dual canonical bases
Pith reviewed 2026-05-14 18:03 UTC · model grok-4.3
The pith
Dual canonical bases of quantum groups coincide with Berenstein-Greenstein double canonical bases.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The dual canonical bases of quantum groups coincide with the double canonical bases defined by Berenstein and Greenstein; the identification follows from the geometric construction via quiver varieties and from the new ıHall-algebra construction that is invariant under braid-group actions and yields positive transition-matrix coefficients from the Hall basis.
What carries the argument
ıquiver algebras, which furnish both the ıHall-algebra and quantum-Grothendieck-ring realizations of quasi-split ıquantum groups and thereby transport the dual canonical bases with positivity.
If this is right
- The transition matrix from the Hall basis to the dual canonical basis has all nonnegative coefficients.
- The dual canonical basis remains invariant under the natural braid-group actions.
- Positivity properties established geometrically for ıquantum groups descend to ordinary quantum groups.
- Several conjectures of Berenstein and Greenstein on the structure of double canonical bases are settled.
Where Pith is reading between the lines
- The same quiver-variety methods may supply explicit positivity proofs for canonical bases in other quantum-group settings beyond ADE.
- The identification opens a route to compute structure constants of double canonical bases via counting points on quiver varieties.
- Braid invariance of the basis may translate into new symmetries for the representation categories attached to the same quivers.
Load-bearing premise
That the ıquiver algebras correctly supply the two stated realizations of quasi-split ıquantum groups.
What would settle it
An explicit low-rank example (say type A2 or D4) in which the basis vectors produced by the quiver-variety construction differ from the Berenstein-Greenstein double canonical basis vectors.
read the original abstract
We survey some recent developments on the theory of dual canonical bases for quantum groups and $\imath$quantum groups. The $\imath$quiver algebras were introduced by Wang and the first author, which are used to give two realizations of quasi-split $\imath$quantum groups of type ADE: one via the $\imath$Hall algebras and the other via the quantum Grothendieck rings of Nakajima-Keller-Scherotzke quiver varieties. The geometric construction of the $\imath$quantum groups produces their dual canonical bases with positivity, generalizing Qin's geometric realization of quantum groups of type ADE. Recently, the authors provided a new construction of the dual canonical basis in the setting of $\imath$Hall algebras, and proved that it is invariant under braid group actions, and obtained the positivity of the transition matrix coefficients from the Hall basis to the dual canonical basis. As quantum groups can be regarded as $\imath$quantum groups of diagonal type, we demonstrate that the dual canonical bases of quantum groups coincide with the double canonical bases defined by Berenstein and Greenstein, and resolve several conjectures therein.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper surveys recent developments on dual canonical bases for quantum groups and ı-quantum groups. The ı-quiver algebras are used to realize quasi-split ı-quantum groups of type ADE in two ways: via ı-Hall algebras and via quantum Grothendieck rings of Nakajima-Keller-Scherotzke quiver varieties. A new construction of the dual canonical basis is given in the ı-Hall algebra setting, with proofs of braid-group invariance and positivity of transition coefficients from the Hall basis. Viewing ordinary quantum groups as ı-quantum groups of diagonal type, the authors show that the dual canonical bases coincide with the Berenstein-Greenstein double canonical bases and resolve several conjectures.
Significance. If the identifications are verified, the work unifies geometric (generalizing Qin's realization) and algebraic constructions of canonical bases for quantum groups and their ı-analogues, establishes invariance and positivity properties, and confirms conjectures on double canonical bases. This would be a notable contribution to the theory of canonical bases in quantum groups.
major comments (1)
- [Demonstration that dual canonical bases coincide with Berenstein-Greenstein double canonical bases] The central coincidence claim for ordinary quantum groups (viewed as diagonal-type ı-quantum groups) depends on the ı-quiver algebra supplying matching realizations in both the ı-Hall algebra and the quantum Grothendieck ring settings. The manuscript cites prior work for the isomorphisms but does not re-derive or explicitly cross-check that the new dual canonical basis (constructed via braid-group invariance and positivity) agrees with the geometric basis on the diagonal subalgebra. This identification is load-bearing for the claimed resolution of the Berenstein-Greenstein conjectures.
minor comments (1)
- The abstract refers to resolving 'several conjectures' without naming them; an explicit list in the introduction or conclusion would aid readers.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the insightful comments. We provide a point-by-point response to the major comment and outline the revisions we will make.
read point-by-point responses
-
Referee: The central coincidence claim for ordinary quantum groups (viewed as diagonal-type ı-quantum groups) depends on the ı-quiver algebra supplying matching realizations in both the ı-Hall algebra and the quantum Grothendieck ring settings. The manuscript cites prior work for the isomorphisms but does not re-derive or explicitly cross-check that the new dual canonical basis (constructed via braid-group invariance and positivity) agrees with the geometric basis on the diagonal subalgebra. This identification is load-bearing for the claimed resolution of the Berenstein-Greenstein conjectures.
Authors: We thank the referee for highlighting this important aspect. The manuscript demonstrates the coincidence by specializing to the diagonal type, where the ı-quiver algebra reduces to the ordinary quiver algebra. The ı-Hall algebra construction then corresponds to the standard Hall algebra realization of quantum groups, and the quantum Grothendieck ring realization aligns with the geometric construction via the isomorphisms established in the cited prior works on ı-Hall algebras and Nakajima-Keller-Scherotzke quiver varieties. The new dual canonical basis—defined in the ı-Hall setting by braid-group invariance and positivity of transition coefficients from the Hall basis—agrees with the Berenstein-Greenstein double canonical basis because both are uniquely characterized by these properties under the isomorphism. To address the concern directly and make the argument more self-contained, we will add an explicit cross-check subsection that verifies the agreement on the diagonal subalgebra by comparing basis elements and transition matrices through the isomorphism, rather than relying solely on citations. revision: yes
Circularity Check
Coincidence claim for ordinary quantum groups reduces to unverified self-cited isomorphism of ı-quiver algebra realizations on diagonal type
specific steps
-
self citation load bearing
[Abstract]
"The ıquiver algebras were introduced by Wang and the first author, which are used to give two realizations of quasi-split ıquantum groups of type ADE: one via the ıHall algebras and the other via the quantum Grothendieck rings of Nakajima-Keller-Scherotzke quiver varieties. ... As quantum groups can be regarded as ıquantum groups of diagonal type, we demonstrate that the dual canonical bases of quantum groups coincide with the double canonical bases defined by Berenstein and Greenstein, and resolve several conjectures therein."
The demonstration of coincidence relies on the equivalence of the two realizations (Hall algebra vs. geometric) being the same map that identifies the new dual canonical basis (constructed via braid invariance and positivity in the Hall setting) with the geometric dual canonical basis. This equivalence is supplied only by the self-cited prior work; no independent check or explicit isomorphism of bases on the diagonal subalgebra is provided here, so the result reduces to the prior identification by construction.
full rationale
The paper's central demonstration—that dual canonical bases of quantum groups coincide with Berenstein–Greenstein double canonical bases—proceeds by specializing to ı-quantum groups of diagonal type and invoking the two realizations (ı-Hall algebra and quantum Grothendieck ring) supplied by the ı-quiver algebras. These realizations and their equivalence are taken directly from the prior Wang–Lu construction without re-derivation or explicit verification that the newly constructed Hall-algebra basis maps to the geometric basis under the identification. This makes the coincidence result load-bearing on the self-citation rather than independently established within the present manuscript.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption i-quiver algebras realize quasi-split i-quantum groups via i-Hall algebras and quantum Grothendieck rings
- standard math Standard properties of quantum groups of type ADE and their geometric realizations
Reference graph
Works this paper leans on
-
[1]
Achar, Perverse sheaves and applications to representation theory, vol
P. Achar, Perverse sheaves and applications to representation theory, vol. 258, American Mathematical Society, 2021
work page 2021
- [2]
-
[3]
H. Bao, J. Kujawa, Y. Li and W. Wang,
-
[4]
H. Bao, P. Shan, W. Wang and B. Webster,
- [5]
- [6]
-
[7]
A.A. Beilinson, J. Bernstein, P. Deligne, Faisceaux pervers, Ast\' e risque 100, 1982
work page 1982
-
[8]
A. Berenstein and J. Greenstein, Double canonical bases , Adv. Math. 316 (2017), 381--468
work page 2017
-
[9]
A. Berenstein and A. Zelevinsky, Triangular Bases in Quantum Cluster Algebras , IMRN 2014 (2014), no. 6, 1651--1688
work page 2014
-
[10]
Braden, Hyperbolic localization of intersection cohomology , Transform
T. Braden, Hyperbolic localization of intersection cohomology , Transform. Groups 8 (2003), no. 3, 209--216
work page 2003
-
[11]
Bridgeland, Quantum groups via Hall algebras of complexes , Ann
T. Bridgeland, Quantum groups via Hall algebras of complexes , Ann. Math. 177 (2013), 739--759
work page 2013
- [12]
-
[13]
X. Chen and X. Zhou, Bases of the quantum group and quantum group of sl _2 , J. Algebra 690 (2025), 425--474
work page 2025
- [14]
-
[15]
B. Deng, J. Du, B. Parshall and J. Wang, Finite dimensional algebras and quantum groups, Mathematical Surveys and Monographs 150. AMS, Providence, RI, 2008
work page 2008
-
[16]
M. A. A. de Cataldo and L. Migliorini, The Hard Lefschetz Theorem and the topology of semismall maps , Ann. Sci. \'Ecole Norm. Sup. (4) 35 (2002), no. 5, 759–772
work page 2002
- [17]
-
[18]
J. Fang, Y. Lan and J. Xiao, Sheaf realization of Bridgeland's Hall algebra of Dynkin type
-
[19]
E. Freitag and R. Kiehl, Etale Cohomology and the Weil Conjecture, Springer, 1988
work page 1988
-
[20]
P. Gabriel, Auslander-Reiten sequences and representation-finite algebras , Representation theory, I (Proc
-
[21]
P. Gabriel, The universal cover of a representation finite algebra , in: Representation of Algebras, in: Lecture Notes in Math., vol. 903 (1981), 65--105
work page 1981
- [22]
- [23]
-
[24]
K.R. Goodearl and M.T. Yakimov, Integral quantum cluster structures , Duke Math. J. 170 (2021), no. 6, 1137--1200
work page 2021
-
[25]
Gorsky, Semi-derived and derived Hall algebras for stable categories , IMRN, Vol
M. Gorsky, Semi-derived and derived Hall algebras for stable categories , IMRN, Vol. 2018, 138--159
work page 2018
-
[26]
Green, Hall algebras, hereditary algebras and quantum groups , Invent
J.A. Green, Hall algebras, hereditary algebras and quantum groups , Invent. Math. 120 (1995), 361--377
work page 1995
-
[27]
Happel, On the deived category of a finite-dimesional algebra , Comment
D. Happel, On the deived category of a finite-dimesional algebra , Comment. Math. Helv. 62 (3)(1987), 339--389
work page 1987
-
[28]
Happel, Triangulated Categories in the Representation Theory of Finite Dimensional Algebras
D. Happel, Triangulated Categories in the Representation Theory of Finite Dimensional Algebras. London Math. Soc. Lecture Notes Ser. 119, Cambridge Univ. Press, Cambridge, 1988
work page 1988
-
[29]
Happel, On Gorenstein algebras , In: Progress in Math
D. Happel, On Gorenstein algebras , In: Progress in Math. 95, Birkh\" a user Verlag, Basel, 1991, 389--404
work page 1991
-
[30]
D. Hernandez and B. Leclerc, Quantum Grothendieck rings and derived Hall algebras , J. Reine Angew. Math. 701 (2015), 77--126
work page 2015
-
[31]
O. Iyama, -categories. I: Ladders, Algebr. Represent. Theory 8 (2205), no.3, 297--321
-
[32]
S.-J. Kang, M. Kashiwara, M. Kim, and S.-j. Oh, Monoidal categorification of cluster algebras , J. Amer. Math. Soc. 31 (2018), 349--426
work page 2018
-
[33]
Kapranov, Heisenberg doubles and derived categories , J
M. Kapranov, Heisenberg doubles and derived categories , J. Algebra 202 (1997), 712--744
work page 1997
- [34]
-
[35]
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), 456--516
work page 1991
-
[36]
Kato, Poincar\' e -Birkhoff-Witt bases and Khovanov-Lauda-Rouquier algebras , Duke Math
S. Kato, Poincar\' e -Birkhoff-Witt bases and Khovanov-Lauda-Rouquier algebras , Duke Math. J. 163 (2014), 619--663
work page 2014
-
[37]
Keller, Chain complexes and stable categories , Manus
B. Keller, Chain complexes and stable categories , Manus. Math. 67 (1990), 379--417
work page 1990
-
[38]
Keller, On triangulated orbit categories , Doc
B. Keller, On triangulated orbit categories , Doc. Math. 10 (2005), 551--581
work page 2005
-
[39]
B. Keller and S. Scherotzke, Graded quiver varieties and derived categories , J. Reine Angew. Math. 713 (2016), 85--127
work page 2016
-
[40]
S.-J. Kang, M. Kashiwara, M. Kim,
-
[41]
R. Kiehl and R. Weissauer, Weil conjectures, perverse sheaves and l'adic Fourier transform, Ergebnisse
-
[42]
Kolb, Quantum symmetric Kac-Moody pairs , Adv
S. Kolb, Quantum symmetric Kac-Moody pairs , Adv. Math. 267 (2014), 395--469
work page 2014
-
[43]
S. Kolb and J. Pellegrini, Braid group actions on coideal subalgebras of quantized enveloping algebras , J. Algebra 336 (2011), 395--416
work page 2011
-
[44]
S. Kolb and M. Yakimov, Symmetric pairs for Nichols algebras of diagonal type via star products , Adv. Math. 365 (2020), 107042
work page 2020
-
[45]
S. Kolb and M. Yakimov, Defining relations of quantum symmetric pair coideal subalgebras , Forum of Mathematics, Sigma (2021), Vol. 9:e67, 1--38
work page 2021
-
[46]
G. Laumon, Transformation de Fourier, constantes d’\'equations fonctionnelles et conjecture de Weil , Inst. Hautes \'Etudes Sci. Publ. Math. 65 (1987), 131--210
work page 1987
-
[47]
B. Leclerc and P.-G. Plamondon, Nakajima varieties and repetitive algebras , Publ. RIMS 49 (2013), 531--561
work page 2013
- [48]
-
[49]
Letzter, Symmetric pairs for quantized enveloping algebras , J
G. Letzter, Symmetric pairs for quantized enveloping algebras , J. Algebra 220 (1999), 729--767
work page 1999
- [50]
- [51]
- [52]
- [53]
- [54]
- [55]
- [56]
- [57]
- [58]
- [59]
- [60]
- [61]
-
[62]
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
-
[63]
Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras , J
G. Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras , J. Amer. Math. Soc. 4 (2)(1991), 365--421, 1991
work page 1991
-
[64]
Lusztig, Introduction to Quantum Groups, Birkh\" a user, Boston, 1993
G. Lusztig, Introduction to Quantum Groups, Birkh\" a user, Boston, 1993
work page 1993
-
[65]
G. Lusztig, Canonical bases and Hall algebras , in: Representation Theories and Algebraic Geometry, Springer, 1998, 365--399
work page 1998
-
[66]
Nakajima, Quiver varieties and finite-dimensional representations of quantum affine algebras , J
H. Nakajima, Quiver varieties and finite-dimensional representations of quantum affine algebras , J. Amer. Math. Soc. 14 (2001), 145--238 (electronic)
work page 2001
-
[67]
Nakajima, Quiver varieties and t -analogs of q -characters of quantum affine algebras , Ann
H. Nakajima, Quiver varieties and t -analogs of q -characters of quantum affine algebras , Ann. Math. 160 (2004), 1057--1097
work page 2004
-
[68]
C. N a st a sescu and F. Van Oystaeyen, Methods of Graded Rings, Lecture Notes in
-
[69]
Orlov, Triangulated categories of singularities and D-branes in Landau–Ginzburg models , Proc
D. Orlov, Triangulated categories of singularities and D-branes in Landau–Ginzburg models , Proc. Steklov Inst. Math., 246 (3) (2004), 227--248
work page 2004
-
[70]
L. Peng and J. Xiao, Root categories and simple Lie algebras , J. Algebra, 198 (1)(1997), 19--56
work page 1997
-
[71]
Qin, Quantum groups via cyclic quiver varieties I , Compos
F. Qin, Quantum groups via cyclic quiver varieties I , Compos. Math. 152 (2016), 299--326
work page 2016
-
[72]
F. Qin, Dual canonical bases and quantum cluster algebras , arxiv:2003.13674 https://arxiv.org/abs/2003.13674v3
-
[73]
Quillen, Higher algebraic K-theory, I , Springer Lecture Notes in Mathematics 341 (1973), 85--147
D. Quillen, Higher algebraic K-theory, I , Springer Lecture Notes in Mathematics 341 (1973), 85--147
work page 1973
-
[74]
Riedtmann, Degenerations for representations of quivers with relations , Ann
C. Riedtmann, Degenerations for representations of quivers with relations , Ann. scient. \' E c. Norm. Sup. 19 (1986), 275--301
work page 1986
-
[75]
Ringel, Hall algebras and quantum groups , Invent
C. Ringel, Hall algebras and quantum groups , Invent. Math. 101 (1990), 583--591
work page 1990
-
[76]
Scherotzke, Desingularization of Quiver Grassmannians via Nakajima Categories , Algebr
S. Scherotzke, Desingularization of Quiver Grassmannians via Nakajima Categories , Algebr. Represent. Theor. 20 (2017), 231--243
work page 2017
-
[77]
Scherotzke, Generalized quiver varieties and triangulated categories , Math
S. Scherotzke, Generalized quiver varieties and triangulated categories , Math. Z. 292 (2019), 1453--1478
work page 2019
-
[78]
S. Scherotzke and N. Sibilla, Quiver varieties and Hall algebras , Proc. London Math. Soc. 112 (2016), 1002--1018
work page 2016
-
[79]
O. Schiffmann, Lectures on Hall algebras , in: Geometric Methods in Representation Theory II, in: S\' e min. Congr., vol. 24-II, Soc. Math. France, Paris, 2012, pp. 1--141
work page 2012
-
[80]
B. Sevenhant, M. Van den Bergh, On the double of the Hall algebra of a quiver , J. Algebra 221 (1999), 135--160
work page 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.