pith. sign in

arxiv: 2502.08039 · v4 · submitted 2025-02-12 · 🧮 math.QA · math.RT

2-categorical affine symmetries of quantum enveloping algebras

Sam Qunell This is my paper

Pith reviewed 2026-05-23 04:21 UTC · model grok-4.3

classification 🧮 math.QA math.RT
keywords 2-representationsaffine quantum enveloping algebrastype A_nevaluation morphismsprefundamental representationscharacter formulasquantum groupsright-multiplication action
0
0 comments X

The pith

The positive part of affine quantum enveloping algebras in type A_n admits 2-representations on the finite-dimensional counterparts that extend right multiplication.

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

This paper constructs 2-representations of the positive part of affine quantum enveloping algebras acting on the finite-dimensional quantum enveloping algebras in type A_n. These 2-representations extend the right-multiplication 2-representation of the finite positive part on itself and are built using evaluation morphisms between affine and finite quantum groups. The work also shows that a quotient of the associated 1-representation in type A_n is isomorphic to a prefundamental representation. This isomorphism supplies a new proof of the character formulas for the prefundamental representations. A reader would care because the construction lifts ordinary multiplication actions to a 2-categorical level and gives an alternative route to representation data.

Core claim

The paper produces 2-representations of the positive part of affine quantum enveloping algebras on their finite-dimensional counterparts in type A_n. These 2-representations naturally extend the right-multiplication 2-representation of U_q^+(sl_{n+1}) on itself and are closely related to evaluation morphisms of quantum groups. The corresponding 1-representation exists in types D_4 and C_2. In type A_n a certain quotient of the 1-representation is isomorphic to a prefundamental representation, which yields a new proof of the prefundamental representation character formulas.

What carries the argument

The 2-representations of the positive part of the affine quantum enveloping algebra on its finite-dimensional counterpart, built from the compatibility of evaluation morphisms with the algebra structures.

If this is right

  • The 2-representation is expected to exist in all simple types.
  • The 1-representation exists in types D_4 and C_2.
  • A quotient of the 1-representation in type A_n is isomorphic to a prefundamental representation.
  • The isomorphism supplies a new proof of the prefundamental representation character formulas in type A_n.

Where Pith is reading between the lines

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

  • The same pattern of construction via evaluation morphisms may produce 2-representations in types beyond those explicitly treated.
  • The 2-categorical action could be used to derive further identities among characters or graded dimensions in quantum group representations.
  • Direct computation of the 2-action for the smallest ranks would test whether the extension of right multiplication holds without additional assumptions.

Load-bearing premise

The constructions and isomorphisms depend on the existence and compatibility of evaluation morphisms relating affine and finite quantum enveloping algebras in type A_n.

What would settle it

Explicit verification for n=2 that the generators of the affine positive part satisfy the 2-representation relations when acting on the finite-dimensional algebra and that the indicated quotient matches the known prefundamental representation.

read the original abstract

We produce 2-representations of the positive part of affine quantum enveloping algebras on their finite-dimensional counterparts in type $A_n$. These 2-representations naturally extend the right-multiplication 2-representation of $U_q^+(\mathfrak{sl}_{n+1})$ on itself and are closely related to evaluation morphisms of quantum groups. We expect that our 2-representation exists in all simple types and show that the corresponding 1-representation exists in types $D_4$ and $C_2$. We also show that a certain quotient of our 1-representation in type $A_n$ is isomorphic to a prefundamental representation. We use this to provide a new proof of the prefundamental representation character formulas in these cases.

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 paper constructs 2-representations of the positive part of affine quantum enveloping algebras on their finite-dimensional counterparts in type A_n. These extend the right-multiplication 2-representation of U_q^+(sl_{n+1}) on itself and are related to evaluation morphisms. It shows the corresponding 1-representation exists in types D_4 and C_2, proves that a quotient of the 1-representation in type A_n is isomorphic to a prefundamental representation, and uses this to give a new proof of the prefundamental representation character formulas.

Significance. If the constructions hold, the work supplies new 2-categorical symmetries extending known actions and an alternative proof of character formulas for prefundamental representations in affine type A_n. The explicit existence results in D_4 and C_2, together with the quotient isomorphism, constitute concrete advances in the 2-categorification of quantum group representations.

major comments (2)
  1. [§4 (construction of the 2-representation)] The central construction of the 2-representation in type A_n (asserted to extend the right-multiplication action and to be compatible with evaluation morphisms) is load-bearing for all subsequent claims, yet the manuscript provides no explicit verification that the 2-morphisms satisfy the 2-category axioms without introducing extra relations; this is only checked for the 1-representation in D_4 and C_2.
  2. [§6 (quotient isomorphism and character formulas)] The isomorphism between the quotient 1-representation and the prefundamental representation (used to obtain the new character-formula proof) is stated for type A_n, but the argument rests on the unverified extension of the evaluation-morphism compatibility from the D_4/C_2 cases; no independent check ruling out obstructions in the 2-category is supplied.
minor comments (2)
  1. [§2] Notation for the 2-morphisms and the precise 2-category in which the representations live should be introduced earlier and used consistently.
  2. [§3] The statement that the 2-representations 'naturally extend' the right-multiplication action would benefit from an explicit commutative diagram or equation relating the two actions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for explicit verifications in the central constructions. We agree that strengthening the presentation with direct checks of the 2-category axioms will improve the manuscript and address the concerns raised.

read point-by-point responses

  1. Referee: [§4 (construction of the 2-representation)] The central construction of the 2-representation in type A_n (asserted to extend the right-multiplication action and to be compatible with evaluation morphisms) is load-bearing for all subsequent claims, yet the manuscript provides no explicit verification that the 2-morphisms satisfy the 2-category axioms without introducing extra relations; this is only checked for the 1-representation in D_4 and C_2.

    Authors: We acknowledge that §4 defines the 2-representation via generators and relations extending the right-multiplication action and compatible with evaluation morphisms, but does not contain a separate explicit verification that the 2-morphisms obey the 2-category axioms without extra relations (in contrast to the 1-representation checks performed for D_4 and C_2). While the construction is functorial by design, we agree an independent check is required for rigor. In the revised version we will add this verification to §4, modeled on the checks already present for the 1-representations. revision: yes

  2. Referee: [§6 (quotient isomorphism and character formulas)] The isomorphism between the quotient 1-representation and the prefundamental representation (used to obtain the new character-formula proof) is stated for type A_n, but the argument rests on the unverified extension of the evaluation-morphism compatibility from the D_4/C_2 cases; no independent check ruling out obstructions in the 2-category is supplied.

    Authors: The referee is correct that the quotient isomorphism in §6 is deduced from the 2-representation construction and its compatibility with evaluation morphisms, without a separate check for obstructions specific to the 2-category in type A_n. To resolve this, the revised manuscript will include an explicit verification in §6 that the quotient map preserves the 2-morphism relations and introduces no additional obstructions, thereby making the isomorphism independent of the D_4/C_2 checks. revision: yes

Circularity Check

0 steps flagged

No significant circularity; constructions are independent of self-referential inputs

full rationale

The paper constructs 2-representations of affine U_q^+ on finite-dimensional counterparts in type A_n that extend right-multiplication and relate to evaluation morphisms, proves 1-representation existence in D4/C2, and establishes a quotient isomorphism to prefundamental representations used for character formulas. These steps consist of explicit definitions, extensions, and isomorphism verifications in the 2-category, grounded in the standard structure of positive parts and known evaluation morphisms from quantum group theory. No equations reduce by construction to fitted parameters, no self-definitional loops appear, and no load-bearing claims rest on self-citations that themselves presuppose the target result. The derivation chain is self-contained against external benchmarks in the literature.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard domain assumptions from quantum group theory and 2-category theory without introducing free parameters or new postulated entities.

axioms (2)
  • domain assumption Standard structure and representation theory of quantum enveloping algebras U_q in affine and finite cases, including positive parts in type A_n
    Invoked when defining the algebras and their finite-dimensional counterparts on which the 2-representations act.
  • domain assumption Existence and compatibility of evaluation morphisms relating affine quantum groups to finite-dimensional ones
    Stated explicitly as the 2-representations being closely related to evaluation morphisms.

pith-pipeline@v0.9.0 · 5649 in / 1612 out tokens · 40672 ms · 2026-05-23T04:21:39.860387+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.

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

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

  1. [1]

    231, Springer, New York, 2005

    Anders Bj\"orner and Francesco Brenti, Combinatorics of C oxeter groups , Graduate Texts in Mathematics, vol. 231, Springer, New York, 2005. 2133266

    work page 2005

  2. [2]

    Jonathan Beck, Vyjayanthi Chari, and Andrew Pressley, An algebraic characterization of the affine canonical basis, Duke Math. J. 99 (1999), no. 3, 455--487. 1712630

    work page 1999

  3. [3]

    Bazhanov, Sergei L

    Vladimir V. Bazhanov, Sergei L. Lukyanov, and Alexander B. Zamolodchikov, Integrable structure of conformal field theory III . the Y ang- B axter relation , Communications in Mathematical Physics 200 (1999), no. 2, 297–324

    work page 1999

  4. [4]

    Bourbaki, \'el\'ements de math\'ematique

    N. Bourbaki, \'el\'ements de math\'ematique. F asc. XXXIV . G roupes et alg\`ebres de L ie. C hapitre IV : G roupes de C oxeter et syst\`emes de T its. C hapitre V : G roupes engendr\'es par des r\'eflexions. C hapitre VI : syst\`emes de racines , Actualit\'es Scientifiques et Industrielles [Current Scientific and Industrial Topics], vol. No. 1337, Herman...

    work page 1968

  5. [5]

    Jonathan Brundan, Quiver H ecke algebras and categorification , Advances in representation theory of algebras, EMS Ser. Congr. Rep., Eur. Math. Soc., Z\"urich, 2013, pp. 103--133. 3220535

    work page 2013

  6. [6]

    Vyjayanthi Chari, Minimal affinizations of representations of quantum groups: the rank 2 case , Publ. Res. Inst. Math. Sci. 31 (1995), no. 5, 873--911. 1367675

    work page 1995

  7. [7]

    Vyjayanthi Chari and Andrew Pressley, A guide to quantum groups, Cambridge University Press, Cambridge, 1994. 1300632

    work page 1994

  8. [8]

    W. A. de Graaf and T. GAP Team, QuaGroup , computations with quantum groups, V ersion 1.8.4 , https://gap-packages.github.io/quagroup/ https://gap-packages.github.io/ quagroup/ , Jan 2024, Refereed GAP package

    work page 2024

  9. [9]

    Rouven Frassek, Vasily Pestun, and Alexander Tsymbaliuk, Lax matrices from antidominantly shifted Y angians and quantum affine algebras: A -type , Adv. Math. 401 (2022), Paper No. 108283, 73. 4394682

    work page 2022

  10. [10]

    Math., vol

    Michael Finkelberg and Alexander Tsymbaliuk, Multiplicative slices, relativistic T oda and shifted quantum affine algebras , Representations and nilpotent orbits of L ie algebraic systems, Progr. Math., vol. 330, Birkh\"auser/Springer, Cham, 2019, pp. 133--304. 3971731

    work page 2019

  11. [11]

    David Hernandez, Representations of shifted quantum affine algebras, Int. Math. Res. Not. IMRN 2023 (2023), no. 13, 11035--11126. 4609778

    work page 2023

  12. [12]

    David Hernandez and Michio Jimbo, Asymptotic representations and D rinfeld rational fractions , Compos. Math. 148 (2012), no. 5, 1593--1623. 2982441

    work page 2012

  13. [13]

    Reine Angew

    David Hernandez and Bernard Leclerc, Quantum G rothendieck rings and derived H all algebras , J. Reine Angew. Math. 701 (2015), 77--126. 3331727

    work page 2015

  14. [14]

    Michio Jimbo, A q -analogue of U( g l (N+1)) , H ecke algebra, and the Y ang- B axter equation , Lett. Math. Phys. 11 (1986), no. 3, 247--252. 841713

    work page 1986

  15. [15]

    Il-Seung Jang, Jae-Hoon Kwon, and Euiyong Park, Unipotent quantum coordinate ring and prefundamental representations for types A^ (1) _n and D_n^ (1) , Int. Math. Res. Not. IMRN 2023 (2023), no. 2, 1119--1172. 4537322

    work page 2023

  16. [16]

    Algebra 673 (2025), 260--303

    , Unipotent quantum coordinate ring and cominuscule prefundamental representations, J. Algebra 673 (2025), 260--303. 4878804

    work page 2025

  17. [17]

    Kac, Infinite-dimensional L ie algebras , third ed., Cambridge University Press, Cambridge, 1990

    Victor G. Kac, Infinite-dimensional L ie algebras , third ed., Cambridge University Press, Cambridge, 1990. 1104219

    work page 1990

  18. [18]

    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), no. 2, 465--516. 1115118

    work page 1991

  19. [19]

    Seok-Jin Kang and Masaki Kashiwara, Categorification of highest weight modules via K hovanov- L auda- R ouquier algebras , Invent. Math. 190 (2012), no. 3, 699--742. 2995184

    work page 2012

  20. [20]

    Masaki Kashiwara, Myungho Kim, Se - jin Oh, and Euiyong Park, Global bases for bosonic extensions of quantum unipotent coordinate rings, 2024, preprint arXiv:2406.13160

    work page arXiv 2024

  21. [21]

    Lauda, A diagrammatic approach to categorification of quantum groups

    Mikhail Khovanov and Aaron D. Lauda, A diagrammatic approach to categorification of quantum groups. I , Represent. Theory 13 (2009), 309--347. 2525917

    work page 2009

  22. [22]

    , A diagrammatic approach to categorification of quantum groups II , Trans. Amer. Math. Soc. 363 (2011), no. 5, 2685--2700. 2763732

    work page 2011

  23. [23]

    Chul-hee Lee, Product formula for the limits of normalized characters of K irillov- R eshetikhin modules , Int. Math. Res. Not. IMRN 2021 (2021), no. 13, 10014--10036. 4283572

    work page 2021

  24. [24]

    110, Birkh\"auser Boston, Inc., Boston, MA, 1993

    George Lusztig, Introduction to quantum groups, Progress in Mathematics, vol. 110, Birkh\"auser Boston, Inc., Boston, MA, 1993. 1227098

    work page 1993

  25. [25]

    Marco Mackaay, James Macpherson, and Pedro Vaz, Evaluation 2-functors for kac-moody 2-categories of type a2, 2024, preprint arXiv:2409.10434

    work page arXiv 2024

  26. [26]

    Gr\'egoire Naisse and Pedro Vaz, An approach to categorification of V erma modules , Proc. Lond. Math. Soc. (3) 117 (2018), no. 6, 1181--1241. 3893177

    work page 2018

  27. [27]

    Rapha\"el Rouquier, 2- K ac- M oody algebras , 2008, preprint arXiv:0812.5023

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  28. [28]

    19 (2012), no

    Rapha\"el Rouquier, Quiver H ecke algebras and 2- L ie algebras , Algebra Colloq. 19 (2012), no. 2, 359--410. 2908731

    work page 2012

  29. [29]

    The Sage Developers , S agemath, the S age M athematics S oftware S ystem ( V ersion 10.4) , 2025, https://www.sagemath.org

    work page 2025

  30. [30]

    thesis, University of California, Los Angeles, 2021, p

    Laurent Vera, Categorified Q uantum G roups and B raid G roup A ctions , Ph.D. thesis, University of California, Los Angeles, 2021, p. 177. 4285453

    work page 2021

  31. [31]

    Varagnolo and E

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

    work page 2011