Categorification of quasi-split iquantum groups

Ben Webster; Jonathan Brundan; Weiqiang Wang

REVIEW 1 major objections 4 minor 18 references

Categorification of quasi-split iquantum groups

T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that quasi-split iquantum groups in symmetric types are categorified by new graded 2-categories, whose split Grothendieck rings are the integral forms $\dot U^{\imath}_{\mathbb{Z}}$.

desk verdict Strong paper with a genuine gap: the characteristic-2 case of the non-degeneracy proof needs fixing before the 'all symmetric types' claim is fully supported. read the letter →

arxiv 2505.22929 v1 pith:SVP7CZK3 submitted 2025-05-28 math.QA math.RT

Jonathan Brundan , Weiqiang Wang , Ben Webster This is my paper

classification math.QAmath.RT MSC 17B3718M0518M30

keywords categorificationiquantumgroupsquantumsymmetricpairs2-categoriesiorthodoxbasisnon-degeneracyGrothendieckringquiverHeckecategories

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper introduces a new family of graded 2-categories, called 2-iquantum groups $\mathcal U^{\imath}$, whose objects are iweights and whose 2-morphisms are unoriented string diagrams with dots, crossings, cups, caps, and bubbles. It claims that in all symmetric Cartan types these 2-categories categorify the modified quasi-split iquantum algebra $\dot U^{\imath}$: the split Grothendieck ring is isomorphic to the $\mathbb{Z}[q,q^{-1}]$-form generated by divided and idivided powers. The payoff is that isomorphism classes of indecomposable objects define a new integral basis, the iorthodox basis, and that standard modules produce a related basis over $\mathbb{Z}((q))$. The proof is conditional on a non-degeneracy property of the 2-morphism spaces, which is proved for geometric parameters in symmetric types and conjectured in general.

What carries the argument

The central object is the 2-iquantum group $\mathcal U^{\imath}(\varsigma,\zeta)$, a graded 2-category with object set the iweight lattice $X^{\imath}$, generating 1-morphisms $B_i1_\lambda$, and 2-morphisms given by unoriented string diagrams built from dots, crossings, cups and caps, and bubbles; the defining relations are written economically in generating-function form. A load-bearing mechanism is the 2-functor $\Xi^{\imath}$ from $\mathcal U^{\imath}$ to a localization of the ordinary 2-quantum group, which categorifies the standard embedding; together with the isometry $\jmath:\dot U^{\imath}1_\lambda\to f$ identifying the iquantum bilinear form with the standard form on the negative half $f$, it reduces non-degeneracy and integrality claims to known behaviour of quiver Hecke algebras. The categorification of the iSerre relations is carried by split exact complexes: explicit split complexes when $i\neq \tau j$, and a standardization argument when $i=\tau j$. Graded triangular bases, with Cartan algebras that are quiver Hecke algebras, control the classification of indecomposables.

What would settle it

Take a symmetric Cartan datum with a parameter choice outside the geometric class and search for a non-zero linear relation among the claimed straightening basis elements, or for a non-zero polynomial in the bubble generators that acts as zero on some 2-morphism space; either finding would violate non-degeneracy and break the Grothendieck-ring identification of Theorem 6.18.

Watch

Extended reading notes

Core claim

The central claim is Theorem 6.18: under non-degeneracy, the locally unital $\mathbb{Z}[q,q^{-1}]$-algebra $\dot U^{\imath}_{\mathbb{Z}}$ is isomorphic to the split Grothendieck ring of the idempotent-completed, degree-zero $q$-envelope of the 2-iquantum group $\mathcal U^{\imath}$, sending $b_i1_\lambda$ to $[B_i1_\lambda]$. The classification of indecomposable objects in the morphism categories (Theorem 6.5) turns the isomorphism classes into an integral basis, the iorthodox basis, while standard modules give the standardized orthodox basis over $\mathbb{Z}((q))$. Non-degeneracy, meaning that the straightening sets for 2-morphism spaces are bases, is proved for symmetric Cartan matrices with geometric parameters $Q_{i,j}(x,y)=t_{i,j}(x-y)^{-a_{i,j}}$ (Theorem 5.10) and conjectured for all other cases (Conjecture 5.11).

Load-bearing premise

The whole categorification rests on non-degeneracy: the straightening rules for the 2-morphism spaces must produce bases, and this has been proved only for geometric parameters in symmetric types, with all other cases left as a conjecture.

Editorial extensions

If this is right

The split Grothendieck ring of $\mathcal U^{\imath}$ is exactly $\dot U^{\imath}_{\mathbb{Z}}$, so every relation among divided and idivided powers holds at the level of split exact complexes.
Indecomposable objects give the iorthodox basis of $\dot U^{\imath}_{\mathbb{Z}}$, and standard modules give the standardized orthodox basis over $\mathbb{Z}((q))$.
In non-degenerate cases, graded ranks of 2-morphism spaces are computed by the sesquilinear form $\langle\cdot,\cdot\rangle^{\imath}$, making the diagram calculus a tool for computing structure constants.
The same machinery gives a new proof of the difficult $i=\tau j$ case of the iSerre relation.
The paper identifies the iorthodox basis as a natural candidate to coincide with the icanonical basis; it notes this is already known in finite ADE diagonal types, split rank one, and quasi-split AIII with an even number of nodes.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If non-degeneracy extends beyond geometric parameters, the Grothendieck-ring identification and the iorthodox basis should hold for every symmetric quasi-split type; the first test is Conjecture 5.11 in a rank-two example with non-geometric $Q_{i,j}$.
The 2-functor categorifying comultiplication (Theorem 4.14) is reusable: it supplies a self-contained proof of non-degeneracy for ordinary 2-quantum groups and may connect these 2-categories to Heisenberg-category style constructions.
In quasi-split AIII types, where icanonical bases are tied to Kazhdan–Lusztig theory, the new 2-categories should carry a geometric or topological interpretation; finding one could turn the categorification into a computational tool.
A testable extension is to compute the transition matrix between the iorthodox and standardized orthodox bases in small examples; positivity of that matrix is equivalent to the integrality claims the paper places on the iorthodox basis.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper is a serious piece of work. It introduces the 2-categories Uı(ς,ζ), constructs the 2-functor Ξı realizing the standard embedding, proves non-degeneracy for geometric parameters, and gets the Grothendieck ring identification with ˙Uı_Z, including the new iorthodox basis. The recovery of prior special cases (diagonal type, split rank one, even AIII) is convincing, and the paper is honest about what remains conjectural: non-degeneracy in non-geometric cases is explicitly Conjecture 5.11, and Theorems 6.5 and 6.18 are stated as conditional on non-degeneracy. That is the right way to present a large technical advance.

The relation checks are mostly in Appendix A, so I have not verified every diagram, but the architecture is sound and the authors are careful about scoping.

The soft spot is real and specific. In the proof of Theorem 5.10, the dot-shift automorphism η sends the teleporter i τ i (x+y) to x+y+2ℏ. The proof needs that image to be invertible in the grading completion U^c. If char(k)=2, that is just x+y, which has no constant term and cannot be invertible in a bounded-below Hom space. So the argument requires 2ℏ to be nonzero, i.e., 2 invertible. The paper's standing hypotheses only demand 2 invertible when some a_{i,τi}≠0, so the proof does not cover the allowed symmetric data with no τ-fixed points and all a_{i,τi}=0, e.g., affine A5 with the antipodal involution. Since Theorem 5.10 is the only supplied proof of non-degeneracy for symmetric geometric parameters, the categorification theorem 6.18 is not established in the stated generality. This is a load-bearing gap, but it looks like a fixable one: either add char≠2 to the standing hypotheses, or find a different argument for these cases.

I also did not see a citation problem: the technical lemmas quoted from the authors' earlier work are specific and appropriate, not a pattern of self-citation standing in for content.

Overall: for specialists in higher representation theory and quantum symmetric pairs, this is a must-engage paper. It deserves a serious referee. I would send it to review and ask the authors to close the characteristic-2 gap or tighten the hypotheses.

Referee Report

1 major / 4 minor

Summary. The paper introduces a new family of graded 2-categories, the 2-iquantum groups Uı(ς, ζ), which generalize the Khovanov–Lauda–Rouquier 2-quantum groups, with the aim of categorifying the modified integral form ˙Uı_Z of quasi-split iquantum groups. The main results are: (i) a 2-functor Ξı from Uı to a localization of the ordinary 2-quantum group U, viewed as a categorification of the standard embedding (Theorem 4.13); (ii) non-degeneracy of Uı for symmetric Cartan data with geometric parameters (Theorem 5.10); (iii) identification of the split Grothendieck ring of the idempotent completion of Uı with ˙Uı_Z under the non-degeneracy hypothesis (Theorem 6.18), yielding a new 'iorthodox' integral basis. The authors are explicit that non-degeneracy in full generality remains open (Conjecture 5.11).

Significance. If correct, the paper provides the first categorical realization of quasi-split iquantum groups in symmetric types and constructs a new integral basis (the iorthodox basis) for the modified iquantum group. The architecture is careful: the 2-category is defined by explicit generators and relations (Definition 3.4), the relation checks are relegated to Appendix A, and the non-degeneracy proof is anchored to a 2-functor into a localization of the ordinary 2-quantum group, whose own non-degeneracy is reproved self-containedly in Theorem 5.6. The paper is commendably explicit about its conditional hypotheses, stating Conjecture 5.11 for the general case. However, the headline claim of categorification in 'all symmetric types' rests on Theorem 5.10, whose proof has a characteristic-2 corner case gap explained in the major comment; this does not undermine the main architecture, which is likely repairable by a hypothesis adjustment or a supplementary argument for the missing case.

major comments (1)

[§5.3, Theorem 5.10 (proof, paragraph 'Fix ℏ∈k×')] The proof of non-degeneracy applies the dot-shift automorphism η(x) = x+ℏ and asserts that the images of the localized morphisms (4.2) and (4.3) have non-zero constant terms in the grading completion U^c, hence are invertible there. For the teleporter (4.3), the shifted pinned polynomial is (x+ℏ)+(y+ℏ) = x+y+2ℏ. When char(k) = 2 and ℏ ∈ k×, the constant term 2ℏ vanishes, so the lowest homogeneous component of the shifted morphism has positive degree; such a morphism cannot be invertible in U^c because Hom spaces there are bounded below. The standing hypotheses in §3.2 require 2 to be invertible only when a_{i,τi} ≠ 0 for some i, so data with no τ-fixed points and a_{i,τi} = 0 for all i are explicitly allowed; an example is affine A5 with the antipodal involution i ↦ i+3. For these data the argument fails, and since Theorem 5.10 is the only source of non-degeneracy used by Theorems 6.5 and 6.18 in the symmetric case, the main theorem is not established in the stated generality. A characteristic-2 exclusion, or an alternative argument showing that the relevant morphisms are already invertible before this localization step, is needed; the gap is localized and appears repairable within the manuscript's scope.

minor comments (4)

[§3.1 and §3.2] Several cross-references to lemmas are mislabeled as theorems: 'Theorem 3.2' in the last paragraph of §3.1 should be 'Lemma 3.2', and 'Theorem 3.6' immediately after Lemma 3.6 should be 'Lemma 3.6'.
[§4.2, Lemma 4.4 and Lemma 4.6] In the proof of Lemma 4.4, 'Theorem 4.3' should be 'Lemma 4.3'; similarly, in Remark 4.2 and in the proof of Lemma 4.6, 'Theorem 4.2' should refer to Remark/Lemma 4.2.
[Abstract and §1 bullet list] The abstract's 'in all symmetric types' and the introductory bullet for Theorem 5.10 ('We prove that Uı is non-degenerate ... proved in general in [Web24]') should explicitly state that non-degeneracy is proved only for geometric parameters Qi,j(x,y) = ti,j(x−y)^{-ai,j}; as written, a reader could infer a parameter-independent statement, which the body correctly restricts.
[§3.2, equation (3.14)] In the odd a_{i,τi} case of the displayed formula for Qi,τi(x,y), the exponent of (x−y) and the upper limit of the product are typeset ambiguously; for a_{i,τi} = −1 the displayed form appears inconsistent with condition (3.16), so the intended product range and exponent should be written out explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Grothendieck-ring identification is proved against an independently defined algebra, and non-degeneracy is anchored to an independently re-proved 2-quantum-group basis.

full rationale

The paper's central claim is not circular. The target algebra Ḏ U^ı_Z is defined independently in §3.1 (following [BW18a, BW21]) before any 2-category is introduced, and the 2-category U^ı is defined by explicit generators and relations in Definition 3.4. The Grothendieck-ring identification in Theorem 6.18 is proved by (i) constructing a homomorphism from this independently defined algebra to K0 by checking the defining iSerre relations via split exact complexes (Theorems 6.13 and 6.16), (ii) proving surjectivity from the classification of indecomposables (Theorem 6.5), and (iii) proving injectivity using the rank formula Theorem 5.17 and the previously established non-degeneracy of the bilinear form ⟨·,·⟩^ı from [BW18a, BW21]. None of these steps assumes the conclusion. Non-degeneracy of the new 2-category (Theorem 5.10) is proved for geometric symmetric parameters by embedding into a localization of the ordinary 2-quantum group via the 2-functor Ξ^ı (Theorem 4.13), and the non-degeneracy of the ordinary 2-quantum group is itself re-proved self-containedly in Theorem 5.6 using the comultiplication 2-functor of Theorem 4.14; so the proof does not reduce to the target result. Self-citations such as [BWW24, (5.9)] for algebraic independence of bubbles, [BW18a, BW21] for the bilinear form, and [Bru25] for graded triangular bases are to prior independent results or general frameworks that do not contain Theorem 6.18. The characteristic-2 issue raised in review is a potential correctness gap in the stated generality, not a circularity.

Assumptions & free parameters 7 free parameters · 8 assumptions · 5 invented entities

The construction consumes the standard KLR input data (Cartan datum, parameter polynomials Q_{i,j}, normalization homomorphisms c_i) plus the quasi-split Satake datum (τ, ς) and the compatibility assumptions (3.12)-(3.14), which restrict the allowed root data and parameters, including a congruence condition on entries mixing τ-fixed indices. The genuinely new objects, the 2-categories Uı(ς,ζ), are anchored to known mathematics: their Grothendieck rings are identified with the previously defined integral form ˙Uı_Z, and they map via Ξı into a localization of the ordinary 2-quantum group. The main theorem inherits the correctness of the external theories used ([Bru25] graded triangular bases, [BW18a, BW21] bilinear form non-degeneracy, quiver Hecke algebra theory) and is conditional on non-degeneracy, proved only for geometric parameters in the symmetric case. The paper excludes the more general embeddings with μ_i ≠ 0 from Remark 3.1. No parameter is fitted to a target result; the free choices (ς, ζ, Q_{i,j}, c_i, ξ_{i,r}, sgn, ℏ) affect definitions or proofs but not the statement of the Grothendieck ring theorem, which is independent of (ς,ζ) up to isomorphism by Lemmas 3.2 and 3.6.

free parameters (7)

ς_i (i-quantum group parameters) = ς_i = -1 for τ-fixed i; ς_i + ς_{τi} = -a_{i,τi}; ς_i ≥ 0 for i ≠ τi
Labels the quasi-split iquantum group through the generators b_i = f_i + q^{ς_i} e_{τi} k_i^{-1} in (3.5). Lemma 3.2 shows ˙Uı_Z is independent of ς up to isomorphism, so this is honest data rather than a fitted constant.
ζ_i (bubble scalars) = ζ_i = -1/2 for τ-fixed i; ζ_i ζ_{τi} = (-1)^{ς_{τi}+1} R_{i,τi}(1,-1) with opposite signs on τ-orbits
Hand-chosen units in k^× entering the bubble relations (3.27)-(3.28) and internal bubbles (4.10)-(4.13). Lemma 3.6 shows Uı is independent of (ς,ζ) up to isomorphism, so this choice does not load the main theorem.
Q_{i,j}(x,y) parameter polynomials = Geometric case: t_{i,j}(x-y)^{-a_{i,j}}; general: homogeneous of degree -2d_i a_{i,j} with (2.6)-(2.7)
Standard KLR input data. The non-degeneracy theorem (Theorem 5.10) requires the geometric form; assumptions (3.13)-(3.14) further constrain Q_{i,τi} to factor into linear factors.
normalization homomorphisms c_i: X → k^× = c_i(α_j) = (-1)^{#(j→i)} in the geometric case; (3.12): c_{τi}(τλ) = (-1)^{h_i(λ)} c_i(λ)
Normalize cups, caps and bubbles (2.27)-(2.31). Existence is asserted in the introduction under linear independence of simple roots; in the body the c_i are assumed as data.
ξ_{i,r} (linear factors of Q_{i,τi}) = ξ_{i,r} ∈ k^× with 1 + ξ_{i,r} invertible; ξ = 1 in the geometric case
Enter assumption (3.14), needed for rotation invariance of the defining relations; the geometric case is called the most important situation by the authors.
sgn(i) sign split of τ-orbits = ±1 with sgn(τi) = -sgn(i) for i ≠ τi
Introduced in Theorem 4.13 to break a symmetry in the definition of the 2-functor Ξı. It affects the functor, not the 2-category Uı.
ℏ (dot-shift parameter) = any element of k^×
Used in the automorphism η in the proof of Theorem 5.10 to make the localized morphisms (4.2)-(4.3) invertible in the grading completion U_c; used only in that proof.

assumptions (8)

standard math Y-regularity: simple coroots are linearly independent
Section 2.1: assumed for the root datum realization, standard in the Lusztig framework and needed for the modified form ˙U.
domain assumption Quasi-split Satake datum: involution τ on I with a_{τi,τj} = a_{i,j}, d_{τi} = d_i, lifted to involutions of X and Y
Section 3.1: defines the quasi-split quantum symmetric pair; the content of the paper is restricted to these data.
domain assumption Parameter compatibility (3.12)-(3.14), including Q_{τi,τj}(x,y) = r_{i,j}r_{j,i}r_{i,τj}r_{τj,τi}Q_{i,j}(-x,-y) and the linear factorization of Q_{i,τi}
Section 3.2: needed for Uı(ς,ζ) to be well-defined and rotation invariant (Remark 3.3, Theorem 3.5). Restricts the root datum: forces a_{i,j} ≡ a_{j,i} (mod 2) for τ-fixed i,j, and the introduction adds the stronger evenness condition for tidiness.
domain assumption 2 is invertible in k when a_{i,τi} ≠ 0
Section 3.2: ζ_i = -1/2 for τ-fixed i requires a half; the nil-Brauer dot inverse (4.5) also needs 1/2.
domain assumption Geometric parameters for the non-degeneracy theorem
Theorem 5.10 assumes a symmetric Cartan matrix and Q_{i,j}(x,y) = t_{i,j}(x-y)^{-a_{i,j}}. Existence of such parameters (quiver orientation) is what makes the 'all symmetric types' claim true; the non-geometric case is Conjecture 5.11.
domain assumption Graded triangular basis theory of [Bru25]
Section 6.2: the classification of indecomposables (Theorem 6.5), standard modules, BGG reciprocity (6.38) and the Grothendieck ring identification (Theorem 6.18) all use this external theory, cited from a paper by one of the authors.
domain assumption Non-degeneracy of the bilinear form (·,·)ı on ˙Uı
Proof of Theorem 6.18(1) uses non-degeneracy of the form to prove injectivity of the categorification map; cited from [BW18a, Th. 6.27] and [BW21, Th. 7.6].
standard math Quiver Hecke algebra facts: cyclotomic quotients, bases, irreducibles
Theorem 5.4 (Kang-Kashiwara, Rouquier, Webster) and the classical bases of QH_l underpin Lemmas 5.5-5.7 and Section 6.

invented entities (5)

2-iquantum group Uı(ς,ζ) independent evidence
purpose: New graded 2-category whose Grothendieck ring is proved isomorphic to the integral form ˙Uı_Z; the central object of the paper.
Anchored to known mathematics: its Grothendieck ring is identified with the previously defined algebra ˙Uı_Z (Theorem 6.18), and the 2-functor Ξı maps it into a localization of the known 2-quantum group U (Theorem 4.13).
weak 2-iquantum group eUı independent evidence
purpose: Technical device omitting the ibraid relation, used to show the ibraid relation is determined by the other relations (Theorem 3.16).
Same generators and relations as Uı minus one relation; purely a proof device.
teleporter 2-morphisms independent evidence
purpose: Two-sided inverses adjoined in the localization U(ς,ζ) to the crossing-dot morphisms (4.3), used to define internal bubbles and the 2-functor Ξı.
Formal localization of the known 2-quantum group; no new structure is postulated beyond adjoining inverses.
internal bubbles independent evidence
purpose: 2-morphisms in U(ς,ζ) that slide over cups and caps, used in the construction of Ξı and in the non-degeneracy proof.
Defined from the classical bubble 2-morphisms by explicit formulas (4.10)-(4.13); their properties are derived, not postulated.
iorthodox basis of ˙Uı_Z independent evidence
purpose: New integral basis produced by the categorification (Theorem 6.18), conjectured to coincide with the icanonical basis in characteristic 0 for relevant types.
A consequence of the main theorem, not an input. The conjecture that it equals the icanonical basis gives an external check via known special cases (finite ADE diagonal, split rank one, AIII even).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Categorification of quasi-split iquantum groups." pith.science (2026). https://pith.science/paper/SVP7CZK3

@misc{pith2026250522929,
  author       = {Pith},
  title        = {Pith review of: Categorification of quasi-split iquantum groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SVP7CZK3}},
  note         = {Machine review of arXiv:2505.22929}
}

read the original abstract

We introduce a new family of graded 2-categories generalizing the 2-quantum groups introduced by Khovanov, Lauda and Rouquier. We use them to categorify quasi-split iquantum groups in all symmetric types.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

18 extracted references · 7 canonical work pages

[1]

Cyclotomic Nazarov-Wenzl algebras.Nagoya Math

[AMR06] Susumu Ariki, Andrew Mathas, and Hebing Rui. Cyclotomic Nazarov-Wenzl algebras.Nagoya Math. J., 182:47–134, 2006.doi:10.1017/S0027763000026842. [BD17] Jonathan Brundan and Nicholas Davidson. Categorical actions and crystals. InCategorification and higher representation theory, volume 683 ofContemp. Math., pages 105–147. Amer. Math. Soc., Provi- dence, RI,

work page doi:10.1017/s0027763000026842 2006
[4]

EMS Press, Berlin, [2023]©2023

Sections 5–8, pages 3080–3102. EMS Press, Berlin, [2023]©2023. [Wan25] Weiqiang Wang. PBW bases for modified quantum groups.Pure Appl. Math. Q., 21(1):567–589,

work page 2023
[6]

Formulae ofı-divided powers inU q(sl2).J

[BW18c] Collin Berman and Weiqiang Wang. Formulae ofı-divided powers inU q(sl2).J. Pure Appl. Algebra, 222(9):2667–2702, 2018.doi:10.1016/j.jpaa.2017.10.014. [BW21] HuanchenBaoandWeiqiangWang.CanonicalbasesarisingfromquantumsymmetricpairsofKac-Moody type.Compos. Math., 157(7):1507–1537, 2021.doi:10.1112/S0010437X2100734X. [BWW23] Jonathan Brundan, Weiqian...

work page doi:10.1016/j.jpaa.2017.10.014 2018
[11]

[LW18] Yiqiang Li and Weiqiang Wang

Reprint of the 1994 edition.doi:10.1007/978-0-8176-4717-9. [LW18] Yiqiang Li and Weiqiang Wang. Positivity vs negativity of canonical bases.Bull. Inst. Math. Acad. Sin. (N.S.), 13(2):143–198,

doi:10.1007/978-0-8176-4717-9 1994
[12]

Young’s orthogonal form for Brauer’s centralizer algebra.J

[Naz96] Maxim Nazarov. Young’s orthogonal form for Brauer’s centralizer algebra.J. Algebra, 182(3):664–693, 1996.doi:10.1006/jabr.1996.0195. [Rou08] Raphaël Rouquier.2-Kac-Moody algebras. Preprint,

work page arXiv 1996
[18]

URL:https://arxiv.org/ abs.1603.06311v3. (J.B.)Department of Mathematics, University of Oregon, Eugene, OR, USA URL:https://pages.uoregon.edu/brundan,ORCiD:0009-0009-2793-216X Email address:brundan@uoregon.edu (W.W.)Department of Mathematics, University of Virginia, Charlottesville, V A, USA URL:https://uva.theopenscholar.com/weiqiang-wang Email address:w...

work page Pith review arXiv
[1998]

CATEGORIFICATION OFiQUANTUM GROUPS 91 [KK12] Seok-Jin Kang and Masaki Kashiwara

URL:https://arxiv.org/abs/9907129. CATEGORIFICATION OFiQUANTUM GROUPS 91 [KK12] Seok-Jin Kang and Masaki Kashiwara. Categorification of highest weight modules via Khovanov-Lauda- Rouquier algebras.Invent. Math., 190(3):699–742, 2012.doi:10.1007/s00222-012-0388-1. [KL09] Mikhail Khovanov and Aaron D. Lauda. A diagrammatic approach to categorification of qu...

work page arXiv 2012
[2008]

[Rou12] Raphaël Rouquier

URL:https://arxiv.org/abs/0812.5023. [Rou12] Raphaël Rouquier. Quiver Hecke algebras and 2-Lie algebras.Algebra Colloq., 19(2):359–410, 2012.doi: 10.1142/S1005386712000247. [RS19] Hebing Rui and Linliang Song. Affine Brauer category and parabolic categoryOin typesB,C,D.Math. Z., 293(1-2):503–550, 2019.doi:10.1007/s00209-018-2207-x. [VV11] Michaela Varagno...

arXiv 2012

Show all 18 references

[2010]

[KL11] Mikhail Khovanov and Aaron D

URL:https://doi.org/10.4171/QT/1. [KL11] Mikhail Khovanov and Aaron D. Lauda. A diagrammatic approach to categorification of quantum groups II.Trans. Amer. Math. Soc., 363(5):2685–2700, 2011.doi:10.1090/S0002-9947-2010-05210-9. [Kol14] Stefan Kolb. Quantum symmetric Kac-Moody ...

2011
[2011]

[Wan23] Weiqiang Wang

URL:https://doi.org/10.1515/crelle.2011.068. [Wan23] Weiqiang Wang. Quantum symmetric pairs. InICM—International Congress of Mathematicians. Vol

2011 doi
[2015]

[Web17] Ben Webster

doi:10.1112/S0010437X1400760X. [Web17] Ben Webster. Knot invariants and higher representation theory.Mem. Amer. Math. Soc., 250(1191):v+141, 2017.doi:10.1090/memo/1191. [Web24] Ben Webster. Unfurling Khovanov-Lauda-Rouquier algebras. Preprint,

2017 doi
[2016]

[Bru25] Jonathan Brundan

URL: https://doi.org/10.1007/s00208-015-1207-y. [Bru25] Jonathan Brundan. Graded triangular bases.Algebr. Represent. Theory, 28(1):239–280, 2025.doi:10. 1007/s10468-025-10315-y. [BSW20] Jonathan Brundan, Alistair Savage, and Ben Webster. Heisenberg and Kac-Moody categorificati...

2025 doi
[2017]

[BE17] Jonathan Brundan and Alexander P

URL:https://doi.org/10.1090/conm/683. [BE17] Jonathan Brundan and Alexander P. Ellis. Monoidal supercategories.Comm. Math. Phys., 351(3):1045– 1089, 2017.doi:10.1007/s00220-017-2850-9. [BHLW16] Anna Beliakova, Kazuo Habiro, Aaron D. Lauda, and Ben Webster. Cyclicity for catego...

2017 doi
[2018]

[BV22] Jonathan Brundan and Max Vargas

URL:https://doi.org/10.4171/QT/117. [BV22] Jonathan Brundan and Max Vargas. A new approach to the representation theory of the partition category.J. Algebra, 601:198–279, 2022.doi:10.1016/j.jalgebra.2022.03.010. [BW18a] Huanchen Bao and Weiqiang Wang. Canonical bases arising f...

2022 doi
[2020]

[BSW23] Jonathan Brundan, Alistair Savage, and Ben Webster

URL:https://doi.org/10.1007/s00029-020-00602-5. [BSW23] Jonathan Brundan, Alistair Savage, and Ben Webster. The degenerate Heisenberg category and its Grothendieck ring.Ann. Sci. Éc. Norm. Supér. (4), 56(5):1517–1563,

doi
[2023]

[BWW24] Jonathan Brundan, Weiqiang Wang, and Ben Webster

URL:https://arxiv.org/abs.2305.05877. [BWW24] Jonathan Brundan, Weiqiang Wang, and Ben Webster. The nil-Brauer category.Annals Represent. The- ory, 1:21–58,

arXiv
[2024]

A Serre presentation for theıquantum groups.Transform

[CLW21] Xinhong Chen, Ming Lu, and Weiqiang Wang. A Serre presentation for theıquantum groups.Transform. Groups, 26(3):827–857, 2021.doi:10.1007/s00031-020-09581-5. [ES18] Michael Ehrig and Catharina Stroppel. Nazarov-Wenzl algebras, coideal subalgebras and categorified skew H...

2021 doi
[2025]

[Web15] Ben Webster

doi:10.4310/pamq.241203044158. [Web15] Ben Webster. Canonical bases and higher representation theory.Compos. Math., 151(1):121–166,

doi

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Cyclotomic Nazarov-Wenzl algebras.Nagoya Math

[AMR06] Susumu Ariki, Andrew Mathas, and Hebing Rui. Cyclotomic Nazarov-Wenzl algebras.Nagoya Math. J., 182:47–134, 2006.doi:10.1017/S0027763000026842. [BD17] Jonathan Brundan and Nicholas Davidson. Categorical actions and crystals. InCategorification and higher representation theory, volume 683 ofContemp. Math., pages 105–147. Amer. Math. Soc., Provi- dence, RI,

work page doi:10.1017/s0027763000026842 2006

[2] [4]

EMS Press, Berlin, [2023]©2023

Sections 5–8, pages 3080–3102. EMS Press, Berlin, [2023]©2023. [Wan25] Weiqiang Wang. PBW bases for modified quantum groups.Pure Appl. Math. Q., 21(1):567–589,

work page 2023

[3] [6]

Formulae ofı-divided powers inU q(sl2).J

[BW18c] Collin Berman and Weiqiang Wang. Formulae ofı-divided powers inU q(sl2).J. Pure Appl. Algebra, 222(9):2667–2702, 2018.doi:10.1016/j.jpaa.2017.10.014. [BW21] HuanchenBaoandWeiqiangWang.CanonicalbasesarisingfromquantumsymmetricpairsofKac-Moody type.Compos. Math., 157(7):1507–1537, 2021.doi:10.1112/S0010437X2100734X. [BWW23] Jonathan Brundan, Weiqian...

work page doi:10.1016/j.jpaa.2017.10.014 2018

[4] [11]

[LW18] Yiqiang Li and Weiqiang Wang

Reprint of the 1994 edition.doi:10.1007/978-0-8176-4717-9. [LW18] Yiqiang Li and Weiqiang Wang. Positivity vs negativity of canonical bases.Bull. Inst. Math. Acad. Sin. (N.S.), 13(2):143–198,

doi:10.1007/978-0-8176-4717-9 1994

[5] [12]

Young’s orthogonal form for Brauer’s centralizer algebra.J

[Naz96] Maxim Nazarov. Young’s orthogonal form for Brauer’s centralizer algebra.J. Algebra, 182(3):664–693, 1996.doi:10.1006/jabr.1996.0195. [Rou08] Raphaël Rouquier.2-Kac-Moody algebras. Preprint,

work page arXiv 1996

[6] [18]

URL:https://arxiv.org/ abs.1603.06311v3. (J.B.)Department of Mathematics, University of Oregon, Eugene, OR, USA URL:https://pages.uoregon.edu/brundan,ORCiD:0009-0009-2793-216X Email address:brundan@uoregon.edu (W.W.)Department of Mathematics, University of Virginia, Charlottesville, V A, USA URL:https://uva.theopenscholar.com/weiqiang-wang Email address:w...

work page Pith review arXiv

[7] [1998]

CATEGORIFICATION OFiQUANTUM GROUPS 91 [KK12] Seok-Jin Kang and Masaki Kashiwara

URL:https://arxiv.org/abs/9907129. CATEGORIFICATION OFiQUANTUM GROUPS 91 [KK12] Seok-Jin Kang and Masaki Kashiwara. Categorification of highest weight modules via Khovanov-Lauda- Rouquier algebras.Invent. Math., 190(3):699–742, 2012.doi:10.1007/s00222-012-0388-1. [KL09] Mikhail Khovanov and Aaron D. Lauda. A diagrammatic approach to categorification of qu...

work page arXiv 2012

[8] [2008]

[Rou12] Raphaël Rouquier

URL:https://arxiv.org/abs/0812.5023. [Rou12] Raphaël Rouquier. Quiver Hecke algebras and 2-Lie algebras.Algebra Colloq., 19(2):359–410, 2012.doi: 10.1142/S1005386712000247. [RS19] Hebing Rui and Linliang Song. Affine Brauer category and parabolic categoryOin typesB,C,D.Math. Z., 293(1-2):503–550, 2019.doi:10.1007/s00209-018-2207-x. [VV11] Michaela Varagno...

arXiv 2012