pith. sign in

arxiv: 1907.03679 · v1 · pith:QEF72NTCnew · submitted 2019-07-08 · 🧮 math.RT · math-ph· math.MP

Quiver Schur algebras and cohomological Hall algebras

Tomasz Przezdziecki This is my paper

Pith reviewed 2026-05-25 00:44 UTC · model grok-4.3

classification 🧮 math.RT math-phmath.MP
keywords quiver Schur algebrascohomological Hall algebrasDemazure operatorsKLR algebrasmixed quiver Schur algebrascohomological Hall modulesgeometric realizationaffine q-Schur algebra
0
0 comments X

The pith

Quiver Schur algebras realize as the full algebra of multiplication and comultiplication operators on the cohomological Hall algebra.

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

The paper shows that quiver Schur algebras, a generalization of KLR algebras, can be realized as the algebras consisting of all multiplication and comultiplication operators acting on the cohomological Hall algebra. This realization also allows the shuffle product on the CoHA to be reinterpreted using Demazure operators instead of the usual description. For quivers equipped with a contravariant involution, mixed quiver Schur algebras are defined and shown to play a similar role with respect to cohomological Hall modules. The work further provides a geometric realization for the modified quiver Schur algebra that appears in versions of the Brundan-Kleshchev-Rouquier isomorphism.

Core claim

We establish a connection between a generalization of KLR algebras, called quiver Schur algebras, and the cohomological Hall algebras of Kontsevich and Soibelman. More specifically, we realize quiver Schur algebras as algebras of multiplication and comultiplication operators on the CoHA, and reinterpret the shuffle description of the CoHA in terms of Demazure operators. We introduce mixed quiver Schur algebras associated to quivers with a contravariant involution, and show that they are related, in an analogous way, to the cohomological Hall modules defined by Young. We also obtain a geometric realization of the modified quiver Schur algebra, which appeared in a version of the Brundan-Kleshc

What carries the argument

The embedding of quiver Schur algebras as the full algebra of multiplication and comultiplication operators on the CoHA, together with the reinterpretation of the shuffle product via Demazure operators.

If this is right

  • Quiver Schur algebras embed as the full algebra of multiplication and comultiplication operators on the CoHA.
  • The shuffle description of the CoHA is reinterpreted in terms of Demazure operators.
  • Mixed quiver Schur algebras relate analogously to cohomological Hall modules for quivers with contravariant involution.
  • The modified quiver Schur algebra admits a geometric realization linked to the Brundan-Kleshchev-Rouquier isomorphism.

Where Pith is reading between the lines

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

  • The operator realization may allow results about representations of quiver Schur algebras to be transferred to statements about the structure of the CoHA.
  • Demazure operators could provide an alternative computational route for explicit shuffle products in low-rank cases.
  • The geometric realization opens the possibility of using intersection theory or other geometric tools to study the modified quiver Schur algebra.
  • The link to affine q-Schur algebras suggests the construction may interact with known categorifications of quantum groups.

Load-bearing premise

The constructions of quiver Schur algebras and the CoHA are assumed to be compatible so that the former embed as the full algebra of multiplication and comultiplication operators.

What would settle it

For the A1 quiver, explicitly compute the algebra generated by all multiplication and comultiplication operators on the CoHA and check whether it equals the quiver Schur algebra.

read the original abstract

We establish a connection between a generalization of KLR algebras, called quiver Schur algebras, and the cohomological Hall algebras of Kontsevich and Soibelman. More specifically, we realize quiver Schur algebras as algebras of multiplication and comultiplication operators on the CoHA, and reinterpret the shuffle description of the CoHA in terms of Demazure operators. We introduce ``mixed quiver Schur algebras" associated to quivers with a contravariant involution, and show that they are related, in an analogous way, to the cohomological Hall modules defined by Young. We also obtain a geometric realization of the modified quiver Schur algebra, which appeared in a version of the Brundan-Kleshchev-Rouquier isomorphism for the affine q-Schur algebra due to Miemietz and Stroppel.

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

1 major / 2 minor

Summary. The manuscript claims to establish a connection between quiver Schur algebras (generalizations of KLR algebras) and the cohomological Hall algebras (CoHA) of Kontsevich and Soibelman. It realizes quiver Schur algebras as algebras of multiplication and comultiplication operators on the CoHA, reinterprets the shuffle description of the CoHA in terms of Demazure operators, introduces mixed quiver Schur algebras for quivers with a contravariant involution and relates them to Young's cohomological Hall modules, and obtains a geometric realization of the modified quiver Schur algebra in the context of the Brundan-Kleshchev-Rouquier isomorphism for the affine q-Schur algebra.

Significance. If the identifications hold, the paper provides a substantive bridge between generalized KLR algebras and CoHAs, enabling potential transfer of techniques and new perspectives on both structures. The reinterpretation via Demazure operators and the geometric realization tied to prior isomorphisms are notable strengths. The work appropriately builds on standard constructions from Kontsevich-Soibelman, Young, and Miemietz-Stroppel.

major comments (1)
  1. [Introduction and §3] The central realization of quiver Schur algebras as the full algebra of multiplication and comultiplication operators on the CoHA (and the parallel statement for mixed versions) assumes compatibility of the two constructions without additional explicit conditions; this assumption is load-bearing for the identification and should be verified or stated with precise hypotheses in the relevant section.
minor comments (2)
  1. The notation for the various versions of the algebras (standard, mixed, modified) could be summarized in a table or diagram for clarity.
  2. [§4] A small explicit example computing the Demazure operator reinterpretation for a rank-1 or rank-2 quiver would help illustrate the shuffle-to-Demazure transition.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment, and recommendation for minor revision. We address the single major comment below.

read point-by-point responses

  1. Referee: [Introduction and §3] The central realization of quiver Schur algebras as the full algebra of multiplication and comultiplication operators on the CoHA (and the parallel statement for mixed versions) assumes compatibility of the two constructions without additional explicit conditions; this assumption is load-bearing for the identification and should be verified or stated with precise hypotheses in the relevant section.

    Authors: We agree that the load-bearing compatibility between the quiver Schur algebra operators and the CoHA (resp. mixed CoHA) multiplication/comultiplication should be stated explicitly. The constructions in §3 are defined so that the relevant operators act compatibly by construction, but the manuscript does not isolate the precise hypotheses (e.g., on the quiver, the choice of cohomology theory, and the grading). In the revised manuscript we will add, in the Introduction and at the start of §3, an explicit statement of these hypotheses together with a short verification that they are satisfied in the cases under consideration. The same clarification will be made for the mixed case. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper claims to realize quiver Schur algebras as multiplication/comultiplication operators on the CoHA of Kontsevich-Soibelman and to reinterpret the shuffle product via Demazure operators, with analogous statements for mixed versions and a geometric realization of the modified algebra. These are explicit identifications and reinterpretations between pre-existing constructions in the literature. No quoted step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain; the central statements rest on standard compatibility assumptions and prior external results rather than internal re-derivation of inputs. The derivation chain is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no concrete free parameters, axioms, or invented entities can be extracted or verified from the text.

pith-pipeline@v0.9.0 · 5660 in / 1072 out tokens · 33275 ms · 2026-05-25T00:44:31.069988+00:00 · methodology

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

53 extracted references · 53 canonical work pages · 9 internal anchors

  1. [1]

    Bjorner A., Brenti F., Combinatorics of Coxeter groups , Springer, 2005

    work page 2005

  2. [2]

    Braverman A., Finkelberg M., Nakajima H., Towards a mathematical definition of Coulomb branches of 3- dimensional N = 4 gauge theories, II , Adv. Theor. Math. Phys. 22 (2018), 1071-1147

    work page 2018

  3. [3]

    Brion M., Equivariant cohomology and equivariant intersection theory , arXiv:math/9802063

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    Brion M., Poincar´ e duality and equivariant (co)homology, Michigan Math. J. 48 (2000), 77-92

    work page 2000

  5. [5]

    Brundan J., Kleshchev A., Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras , Inv. Math. 178, No. 3 (2009), 451-484

    work page 2009

  6. [6]

    Cautis S., Kamnitzer J., Morrison S., Webs and quantum skew Howe duality , Math. Ann. 360, No 1-2 (2014), 351-390

    work page 2014

  7. [7]

    Chriss N., Ginzburg V., Representation theory and complex geometry , Birkh¨ auser, 1997

    work page 1997

  8. [8]

    Davison B., The critical CoHA of a quiver with potential , Quat. J. Math 68, No. 2 (2017), 635-703

    work page 2017

  9. [9]

    Davison B., Purity of critical cohomology and Kac’s conjecture , Math. Res. Lett. 25, No. 2 (2018), 469-488

    work page 2018

  10. [10]

    Davison B., Sven M., Cohomological Donaldson-Thomas theory of a quiver with potential and quantum en- veloping algebras, arXiv:1601.02479

    work page arXiv

  11. [11]

    Derksen H., Weyman J., eneralized quivers associated to reductive groups , Colloq. Math. 94, No. 2 (2002), 151-173

    work page 2002

  12. [12]

    Efimov A.I., Cohomological Hall algebra of a symmetric quiver , Comp. Math. 148, No. 4(2012), 1133-1146

    work page 2012

  13. [13]

    Enomoto N., Kashiwara M., Symmetric crystals and affine Hecke algebras of type B , Proc. Jap. Acad. Ser. A Math. Sci. 82, No. 8 (2006), 131-136

    work page 2006

  14. [14]

    Enomoto N., Kashiwara M., Symmetric crystals for gl∞, Pub. Res. Ins. Sci. 44, No. 3 (2008), 837-891

    work page 2008

  15. [15]

    Feigin B., Odesskii A., Vector bundles on elliptic curve and Sklyanin algebras , arXiv:q-alg/9509021

    work page internal anchor Pith review Pith/arXiv arXiv

  16. [16]

    Franzen H., On the Semi-Stable CoHa and its Modules Arising from Smooth Models , J. Alg. 503 (2018), 121-145

    work page 2018

  17. [17]

    Fulton W., Young tableaux, LMS Student Texts 35, CUP, 1997

    work page 1997

  18. [18]

    M., The affine q-Schur algebra, J

    Green R. M., The affine q-Schur algebra, J. Alg. 215, No. 2 (1999), 379-411

    work page 1999

  19. [19]

    H¨ aring-Oldenburg R.,Actions of tensor categories and cylinder braids , Top. Appl. 112, No. 3 (2001), 297-314

    work page 2001

  20. [20]

    Hoffnung A., Malag´ on-L´ opez J., Savage A., Zainoulline K., Formal Hecke algebras and algebraic oriented cohomology theories, Sel. Math. NS 20, No. 4 (2014), 1213-1245

    work page 2014

  21. [21]

    Kang S., Kashiwara M., Categorification of Highest Weight Modules via Khovanov-Lauda-Rouquier Algebras , Inv. Math. 190, No.3 (2012), 699-742

    work page 2012

  22. [22]

    Kang S., Kashiwara M., Park E., Geometric realization of Khovanov-Lauda-Rouquier algebras associated with Borcherds-Cartan data, Proc. Lond. Math. Soc. (3) 107, No.4 (2013), 907-931

    work page 2013

  23. [23]

    Kang S., Oh S., Park E., Categorification of quantum generalized Kac-Moody algebras and crystal bases , Int. J. Math. 23, No. 11 (2012)

    work page 2012

  24. [24]

    Kashiwara M., Miemietz V., Crystals and affine Hecke algebras of type D , Proc. Jap. Acad. Ser. A Math. Sci. 83 (2007), 135-139

    work page 2007

  25. [25]

    Theory 13 (2009), 309-347

    Khovanov M., Lauda A., A diagrammatic approach to categorification of quantum groups I , Rep. Theory 13 (2009), 309-347

    work page 2009

  26. [26]

    2 (2011), 231-352

    Kontsevich M., Soibelman Y., Cohomological Hall algebras, exponential Hodge structures and motivic Donaldson-Thomas invariants, Communications in Number Theory and Physics 5, No. 2 (2011), 231-352

    work page 2011

  27. [27]

    Maksimau R., Stroppel C., Higher level affine Schur and Hecke algebras , arXiv:1805.02425

    work page arXiv

  28. [28]

    Miemietz V., Stroppel C., Affine quiver Schur algebras and p-adic GLn, Sel. Math. NS (2019), 25:32

    work page 2019

  29. [29]

    Nakajima H., Towards a mathematical definition of Coulomb branches of 3-dimensional N = 4 gauge theories, I, Adv. Theor. Math. Phys. 20, No. 3 (2016), 595-669

    work page 2016

  30. [30]

    Rim´ anyi R.,On the cohomological Hall algebra of Dynkin quivers , arXiv:1303.3399

    work page internal anchor Pith review Pith/arXiv arXiv

  31. [31]

    Rouquier R., 2-Kac-Moody algebras, arXiv:0812.5023

    work page internal anchor Pith review Pith/arXiv arXiv

  32. [32]

    Rouquier R., Quiver Hecke algebras and 2-Lie algebras , Algebra Colloq. 19, No. 2 (2012), 359-410

    work page 2012

  33. [33]

    Generalized quiver Hecke algebras

    Sauter J., Generalized quiver Hecke algebras, arXiv:1306.3892. QUIVER SCHUR ALGEBRAS AND COHOMOLOGICAL HALL ALGEBRAS 35

    work page internal anchor Pith review Pith/arXiv arXiv

  34. [34]

    Sauter J., From complete to partial flags in geometric extension algebras arXiv:1307.0972

    work page internal anchor Pith review Pith/arXiv arXiv

  35. [35]

    Sauter J., Springer theory and the geometry of quiver flag varieties , PhD thesis, 2013

    work page 2013

  36. [36]

    Schiffmann O., Lectures on Hall algebras , arXiv:math/0611617

    work page internal anchor Pith review Pith/arXiv arXiv

  37. [37]

    Schiffmann O., On the Hall algebra of an elliptic curve, II , Duke Math. J. 161, No. 9 (2012), 1711-1750

    work page 2012

  38. [38]

    Schiffmann O., Vasserot E., The elliptic Hall algebra and the K-theory of the Hilbert scheme of A2, Duke Math. J. 162, No. 2 (2013), 279-366

    work page 2013

  39. [39]

    reine angew

    Schiffmann O., Vasserot E., On cohomological Hall algebras of quivers : Yangians , J. reine angew. Math. (2018)

    work page 2018

  40. [40]

    London Math

    Schofield A., General representations of quivers , Proc. London Math. Soc. 65, No. 1 (1992), 46-64

    work page 1992

  41. [41]

    Seiffarth F., On KLR and quiver Schur algebras , Master’s thesis at the University of Bonn

    work page

  42. [42]

    Shan P., Varagnolo M., Vasserot E., Canonical bases and affine Hecke algebras of type D , Adv. Math. 227 (2011), 267-291

    work page 2011

  43. [43]

    Stroppel C., Webster B., Quiver Schur algebras and q-Fock space, arXiv:1110.1115

    work page internal anchor Pith review Pith/arXiv arXiv

  44. [44]

    (eds) Algebraic Geometry and Number Theory, Progress in Mathematics 321, Birkh¨ auser, 2017

    Tu L., Computing the Gysin map using fixed points , in: Mourtada H., Sarioglu C., Soul´ e C., Zeytin A. (eds) Algebraic Geometry and Number Theory, Progress in Mathematics 321, Birkh¨ auser, 2017

    work page 2017

  45. [45]

    Tubbenhauer D., Vaz P., Wedrich P., Super q-Howe duality and web categories , Alg. Geom. Top. 17, No. 6, 3703-3749

    work page

  46. [46]

    Reine Angew

    Varagnolo M., Vasserot E., Canonical bases and Khovanov-Lauda algebras, J. Reine Angew. Math. 659 (2011), 67-100

    work page 2011

  47. [47]

    Varagnolo M., Vasserot E., Canonical bases and affine Hecke algebras of type B , Inv. Math. 185, No. 3 (2011), 593-693

    work page 2011

  48. [48]

    Webster B., On graded presentations of Hecke algebras and their generalizations , arXiv:1305.0599

    work page arXiv

  49. [49]

    LMS 116, No

    Yang Y., Zhao G., The cohomological Hall algebra of a preprojective algebra , Proc. LMS 116, No. 5 (2018), 1029-1074

    work page 2018

  50. [50]

    Yang Y., Zhao G., Cohomological Hall algebras and affine quantum groups , Sel. Math. 24, No. 2 (2018), 1093- 1119

    work page 2018

  51. [51]

    Young, M.B., The Hall module of an exact category with duality , J. Alg. 446 (2016), 291-322

    work page 2016

  52. [52]

    Young, M.B., Representations of cohomological Hall algebras and Donaldson-Thomas theory with classical structure groups, arXiv:1603.05401

    work page internal anchor Pith review Pith/arXiv arXiv

  53. [53]

    Zubkov A., Invariants of mixed representations of quivers I , J. Alg. Appl. 4, No. 3 (2005), 245-285

    work page 2005