pith. sign in

arxiv: 2507.01877 · v2 · submitted 2025-07-02 · 🧮 math.QA · math.GT· math.RT

Action of the Witt algebra on categorified quantum groups

Jernej Grlj , Aaron D. Lauda This is my paper

Pith reviewed 2026-05-19 06:20 UTC · model grok-4.3

classification 🧮 math.QA math.GTmath.RT
keywords Witt algebracategorified quantum groupssimply-laced Lie algebras2-categoriestrace decategorificationcurrent algebrasfoams
0
0 comments X

The pith

The positive Witt algebra acts on the categorified quantum group for any simply-laced Lie algebra.

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

The paper constructs an action of the positive Witt algebra directly on the 2-category that categorifies the quantum group of a simply-laced Lie algebra. The generators are required to act in a way that respects all existing 2-morphisms and relations already present in that structure. In the type A case the same action reproduces the known action on gl_n-foams and, after applying trace decategorification, produces an action on the current algebra. A sympathetic reader would care because the construction supplies a uniform algebraic mechanism that links Witt algebra generators to categorified representation theory and its decategorified limits.

Core claim

We construct an action of the positive Witt algebra on the categorified quantum group associated to a simply-laced Lie algebra. In the type A case, we show that this action induces an action of the positive Witt algebra on gl_n-foams, recovering the action of Qi, Robert, Sussan, and Wagner. We also show that this construction is compatible with the trace decategorification, inducing the action of the positive Witt algebra on the current algebra.

What carries the argument

The action of the positive Witt algebra generators on the 2-category of the categorified quantum group, defined so that it preserves the existing 2-morphism relations.

Load-bearing premise

The 2-category structure already present on the categorified quantum group must admit well-defined actions of the Witt generators that are compatible with its existing relations.

What would settle it

An explicit check, for the smallest simply-laced Lie algebra such as sl_2, showing that the proposed Witt generator action fails to satisfy one of the defining 2-morphism relations in the categorified quantum group.

read the original abstract

We construct an action of the positive Witt algebra on the categorified quantum group associated to a simply-laced Lie algebra. In the type A case, we show that this action induces an action of the positive Witt algebra on $\mathfrak{gl}_n$-foams, recovering the action of Qi, Robert, Sussan, and Wagner. We also show that this construction is compatible with the trace decategorification, inducing the action of the positive Witt algebra on the current algebra.

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 constructs an action of the positive Witt algebra on the categorified quantum group 2-category associated to a simply-laced Lie algebra (in the Khovanov-Lauda-Rouquier style). It recovers the known action on gl_n-foams in the type-A case and shows compatibility with trace decategorification, inducing the corresponding action on the current algebra.

Significance. If the claimed action is shown to satisfy the full set of 2-category relations in the general simply-laced setting, the result would extend the type-A constructions of Qi-Robert-Sussan-Wagner to a wider class of Lie algebras and furnish a new link between Witt algebra actions and categorified quantum groups. The explicit type-A recovery and the trace-decategorification compatibility are concrete strengths that supply independent checks.

major comments (2)
  1. [§4] §4 (Construction of the action): the generators L_n are defined on the 1-morphisms and 2-morphisms of the categorified quantum group, but the verification that these definitions preserve the nilHecke, braid, and other 2-category relations is carried out in detail only for type A; the extension to general simply-laced cases is asserted without an explicit check that the relations continue to hold after the action is applied.
  2. [§5.1, Proposition 5.2] §5.1, Proposition 5.2: the proof that the defined operators satisfy the Witt commutation relations [L_m, L_n] = (m-n)L_{m+n} for n,m ≥ 0 relies on the type-A case and an implicit extension argument; no direct computation or diagram chase is supplied that covers the general simply-laced root system.
minor comments (2)
  1. [Introduction] The introduction should explicitly state the precise range of the positive Witt algebra (whether it includes L_{-1} or begins at L_0) and how this choice interacts with the grading on the categorified quantum group.
  2. Notation for the 2-morphisms (e.g., the symbols used for the action of L_n on dots and crossings) is introduced without a consolidated table; a short summary table would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive feedback on the manuscript. The comments identify opportunities to strengthen the exposition regarding the generality of the constructions. We address each major comment point by point below and will revise the manuscript to incorporate clarifications where appropriate.

read point-by-point responses

  1. Referee: [§4] §4 (Construction of the action): the generators L_n are defined on the 1-morphisms and 2-morphisms of the categorified quantum group, but the verification that these definitions preserve the nilHecke, braid, and other 2-category relations is carried out in detail only for type A; the extension to general simply-laced cases is asserted without an explicit check that the relations continue to hold after the action is applied.

    Authors: The definitions of the generators L_n are given uniformly in terms of the root system data for any simply-laced Lie algebra. The verification that these operators preserve the nilHecke relations, braid relations, and other defining 2-morphisms of the categorified quantum group proceeds via direct diagrammatic computations on the generating 2-morphisms. These computations rely only on the simply-laced hypothesis (specifically, the possible values of the Cartan matrix entries) and do not invoke any type-A-specific features. We presented the diagrams in full detail for type A both for readability and to recover the foam action as a special case. We will revise §4 to include an explicit remark stating that the same sequence of diagram chases applies verbatim in the general simply-laced setting, together with a brief outline of the steps that remain unchanged. revision: yes

  2. Referee: [§5.1, Proposition 5.2] §5.1, Proposition 5.2: the proof that the defined operators satisfy the Witt commutation relations [L_m, L_n] = (m-n)L_{m+n} for n,m ≥ 0 relies on the type-A case and an implicit extension argument; no direct computation or diagram chase is supplied that covers the general simply-laced root system.

    Authors: The proof of the Witt relations in Proposition 5.2 computes the commutators by applying the definitions of L_m and L_n to the generating 1- and 2-morphisms and simplifying the resulting diagrams. The algebraic identities used in the simplification hold for any simply-laced root system because they depend only on the local relations in the KLR 2-category, which are uniform under the simply-laced assumption. While the explicit diagrams are written out for type A to facilitate comparison with the existing foam literature, the underlying steps are type-independent. We will revise the proof to add a clarifying paragraph that emphasizes this generality and notes that the diagram chases do not rely on any special properties of type A beyond those shared by all simply-laced types. revision: yes

Circularity Check

0 steps flagged

Minor self-citation in setup; central construction remains independent

full rationale

The paper defines an explicit action of the positive Witt algebra generators on the 1-morphisms and 2-morphisms of the existing Khovanov-Lauda-Rouquier 2-category for simply-laced Lie algebras, then verifies the Witt relations and compatibility with nilHecke, braid, and other 2-category relations. This is a direct construction rather than a reduction of a derived quantity to a prior fit or self-citation. The type-A recovery matches independent prior work (Qi-Robert-Sussan-Wagner), and the trace decategorification step maps to the current algebra action without circular redefinition. Self-citations to Lauda's earlier categorification papers supply the ambient 2-category but do not bear the load of the Witt action itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard 2-categorical structure of categorified quantum groups for simply-laced Lie algebras as defined in prior literature; no new free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)
  • domain assumption The 2-category associated to the categorified quantum group for a simply-laced Lie algebra is already equipped with a well-defined action of the positive Witt algebra generators that respects all existing relations.
    Invoked implicitly when the paper states that an action can be constructed on the existing categorified quantum group.

pith-pipeline@v0.9.0 · 5602 in / 1310 out tokens · 38763 ms · 2026-05-19T06:20:11.332042+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

33 extracted references · 33 canonical work pages · 19 internal anchors

  1. [1]

    Beliakova, K

    A. Beliakova, K. Habiro, A. Lauda, and B. Webster, Current algebras and categorified quantum groups , J. Lond. Math. Soc. 95 (2017), no. 1, 248–276, arXiv:1412.1417. 1, 2.4, 5, 5.1, 5

    work page arXiv 2017

  2. [2]

    Cyclicity for categorified quantum groups

    A. Beliakova, K. Habiro, A.D. Lauda, and B. Webster, Cyclicity for categorified quantum groups , J. Algebra 452 (2016), 118–132, arXiv:1506.04671. 2.3

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  3. [3]

    Trace as an alternative decategorification functor

    Anna Beliakova, Zaur Guliyev, Kazuo Habiro, and Aaron D. Lauda, Trace as an alternative decategorification functor , Acta Math. Vietnam. 39 (2014), no. 4, 425–480, arXiv:1409.1198. MR 3319701 1, 5

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  4. [4]

    Trace decategorification of categorified quantum sl(2)

    Anna Beliakova, Kazuo Habiro, Aaron D. Lauda, and Marko ˇZivkovi´ c,Trace decategorification of categorified quantum sl2, Mathematische Annalen 367 (2016), no. 1–2, 397–440, arXiv:1404.1806. 1, 5

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  5. [5]

    Implicit structure in 2-representations of quantum groups

    Sabin Cautis and Aaron D. Lauda, Implicit structure in 2-representations of quantum groups , Selecta Mathematica 21 (2014), no. 1, 201–244, arXiv:1111.1431. 2.3, 4

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  6. [6]

    An approach to categorification of some small quantum groups II

    Ben Elias and You Qi, An approach to categorification of some small quantum groups II , Advances in Mathematics 288 (2016), 81–151, arXiv:1302.5478. 3.2, 3.2, 3.8, 3.3, 4, 5

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  7. [7]

    4, 733–806, arXiv:2103.00048

    , Actions of sl2 on algebras appearing in categorification , Quantum Topology 14 (2023), no. 4, 733–806, arXiv:2103.00048. 1, 3.1, 3.8, 3.3

    work page arXiv 2023

  8. [8]

    On stable Khovanov homology of torus knots

    Eugene Gorsky, Alexei Oblomkov, and Jacob Rasmussen, On stable Khovanov homology of torus knots , Experimental Mathematics 22 (2013), no. 3, 265–281, arXiv:1206.2226. 1

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  9. [9]

    Torus knots and the rational DAHA

    Eugene Gorsky, Alexei Oblomkov, Jacob Rasmussen, and Vivek Shende, Torus knots and the rational daha , Duke Mathe- matical Journal 163 (2014), no. 14, arXiv:1207.4523. 1

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  10. [10]

    Alexis Gu´ erin and Felix Roz,An action of the Witt algebra on Khovanov-Rozansky homology , (2025), arXiv:2501.19096. 1

    work page arXiv 2025

  11. [11]

    Kac, Infinite-dimensional lie algebras, 3rd ed., Cambridge University Press, Cambridge, 1990

    Victor G. Kac, Infinite-dimensional lie algebras, 3rd ed., Cambridge University Press, Cambridge, 1990. 5

    work page 1990

  12. [12]

    A diagrammatic approach to categorification of quantum groups III

    M. Khovanov and A. Lauda, A diagrammatic approach to categorification of quantum groups III , Quantum Topology 1 (2010), 1–92, arXiv:0807.3250. 1, 2.4, 4

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  13. [13]

    Mikhail Khovanov, One-half of the witt algebra in categorification of quantum groups , Unpublished notes, 2012. 1

    work page 2012

  14. [14]

    Extended graphical calculus for categorified quantum sl(2)

    Mikhail Khovanov, Aaron Lauda, Marco Mackaay, and Marko Stoˇ si´ c,Extended graphical calculus for categorified quantum sl(2), Memoirs of the American Mathematical Society 219 (2012), no. 1029, 0–0, arXiv:1006.2866. 4

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  15. [15]

    3, 1387–1425, arXiv:0505056

    Mikhail Khovanov and Lev Rozansky, Matrix factorizations and link homology ii , Geometry & Topology 12 (2008), no. 3, 1387–1425, arXiv:0505056. 1

    work page 2008

  16. [16]

    Mikhail Khovanov and Lev Rozansky, Positive half of the witt algebra acts on triply graded link homology , (2013), arXiv:1305.1642. 1

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  17. [17]

    A. D. Lauda, A categorification of quantum sl(2) , Adv. Math. 225 (2008), 3327–3424, math.QA/0803.3652. 1, 3.2

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  18. [18]

    , Categorified quantum sl(2) and equivariant cohomology of iterated flag varieties , Algebras and Representation Theory (2009), 1–30, http://dx.doi.org/10.1007/s10468-009-9188-8, math.QA/0803.3848. 4

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s10468-009-9188-8 2009

  19. [19]

    Khovanov homology is a skew Howe 2-representation of categorified quantum sl(m)

    Aaron D. Lauda, Hoel Queffelec, and David E. V. Rose, Khovanov homology is a skew Howe 2-representation of categorified quantum slm, Algebr. Geom. Topol. 15 (2015), no. 5, 2517–2608, arXiv:1212.6076. MR 3426687 4

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  20. [20]

    Lauda, Parameters in categorified quantum groups , Algebr

    A.D. Lauda, Parameters in categorified quantum groups , Algebr. Represent. Theory 23 (2020), no. 4, 1265–1284, arXiv:1812.07654. MR 4125578 2.3, 3.3

    work page arXiv 2020

  21. [21]

    I. G. Macdonald, Symmetric functions and Hall polynomials , The Clarendon Press Oxford University Press, New York, 1979, Oxford Mathematical Monographs. 2.1, 2.4

    work page 1979

  22. [22]

    A diagrammatic categorification of the q-Schur algebra

    M. Mackaay, M. Stoˇ si´ c, and P. Vaz,A diagrammatic categorification of the q-Schur algebra, Quantum Topol. 4 (2013), no. 1, 1–75, arXiv:1008.1348. MR 2998837 4

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  23. [23]

    The Hilbert scheme of a plane curve singularity and the HOMFLY homology of its link

    Alexei Oblomkov, Jacob Rasmussen, and Vivek Shende, The hilbert scheme of a plane curve singularity and the HOMFLY homology of its link , Geometry & Topology 22 (2018), no. 2, 645–691, arXiv:1201.2115. 1

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  24. [24]

    You Qi, Louis-Hadrien Robert, Joshua Sussan, and Emmanuel Wagner, Symmetries of equivariant Khovanov-Rozansky homology, 2023, arXiv:2306.10729. 1

    work page arXiv 2023

  25. [25]

    1, 2.2, 2.2, 3.2, 3.3, 4, 4.2, 4

    , Symmetries of glN -foams, (2024), arXiv:2212.10106. 1, 2.2, 2.2, 3.2, 3.3, 4, 4.2, 4

    work page arXiv 2024

  26. [26]

    The $\mathfrak{sl}_n$ foam 2-category: a combinatorial formulation of Khovanov-Rozansky homology via categorical skew Howe duality

    H. Queffelec and D. Rose, The sln foam 2-category: a combinatorial formulation of Khovanov-Rozansky homology via categorical skew Howe duality , Adv. Math. 302 (2016), 1251–1339, arXiv:1405.5920. 4, 4.2, 4 18 J. GRLJ AND A.D. LAUDA

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  27. [27]

    A closed formula for the evaluation of $\mathfrak{sl}_N$-foams

    Louis-Hadrien Robert and Emmanuel Wagner, A closed formula for the evaluation of foams , Quantum Topol. 11 (2020), no. 3, 411–487 (en), arXiv:1702.04140. 4

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  28. [28]

    Rouquier, 2-Kac-Moody algebras, (2008)

    R. Rouquier, 2-Kac-Moody algebras, (2008). 1

    work page 2008

  29. [29]

    Quiver Hecke algebras and 2-Lie algebras

    Rapha¨ el Rouquier,Quiver Hecke algebras and 2-Lie algebras , Algebra Colloq. 19 (2012), no. 2, 359–410, arXiv:1112.3619. 4, 5

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  30. [30]

    Felix Roz, An sl2 action on link homology of T(2,k) torus links , (2023), arXiv:2307.01910. 1

    work page arXiv 2023

  31. [31]

    2, arXiv:0905.2555

    Olivier Schiffmann and Eric Vasserot, The elliptic hall algebra and the K-theory of the Hilbert scheme of A2 , Duke Mathematical Journal 162 (2013), no. 2, arXiv:0905.2555. 1

    work page arXiv 2013

  32. [32]

    Canonical bases and Khovanov-Lauda algebras

    M. Varagnolo and E. Vasserot, Canonical bases and KLR-algebras , J. Reine Angew. Math. 659 (2011), 67–100, arXiv:0901.3992. 2.7

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  33. [33]

    1191, 0–0

    Ben Webster, Knot invariants and higher representation theory , Memoirs of the American Mathematical Society 250 (2017), no. 1191, 0–0. 4, 5 Department of Mathematics, University of Southern California, Los Angeles, California 90089, USA Email address: grlj@usc.edu Department of Mathematics, University of Southern California, Los Angeles, California 90089...

    work page 2017