Abstract:We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl_2 and sl_3 and by Mazorchuk-Stroppel and Sussan for sl_n. Our technique is to study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. These are the representation categories of certain finite dimensional algebras with an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the KLR algebra. When the Lie algebra under consideration is $\mathfrak{sl}_n$, we show that these categories agree with certain subcategories of parabolic category O for gl_k. We also investigate the finer structure of these categories: they are standardly stratified and satisfy a double centralizer property with respect to their self-dual modules. The standard modules of the stratification play an important role as test objects for functors, as Vermas do in more classical representation theory. The existence of these representations has consequences for the structure of previously studied categorifications. It allows us to prove the non-degeneracy of Khovanov and Lauda's 2-category (that its Hom spaces have the expected dimension) in all symmetrizable types, and that the cyclotomic quiver Hecke algebras are symmetric Frobenius. In work of Reshetikhin and Turaev, the braiding and (co)evaluation maps between representations of quantum groups are used to define polynomial knot invariants. We show that the categorifications of tensor products are related by functors categorifying these maps, which allow the construction of bigraded knot homologies whose graded Euler characteristics are the original polynomial knot invariants.

Quiver Hecke algebras from Floer homology in Couloumb branches

Homological Link Invariants from Floer Theory

Coherent sheaves and quantum Coulomb branches II: quiver gauge theories and knot homology

Dual Hopf Algebras from a Quiver and Dual Quiver Quantum Groups

Cylinder Coalgebras and Cylinder Coproducts for Quasitriangular Hopf Algebras

Quantitative Heegaard Floer cohomology and the Calabi invariant

A sheaf-theoretic model for SL(2,C) Floer homology

Loday-Quillen-Tsygan theorem on Quivers

Quantum loop groups and critical convolution algebras

Quiver varieties and a non-commutative P^2

Quiver presentations and Schur--Weyl duality for Khovanov arc algebras

Floer Homology with DG Coefficients. Applications to cotangent bundles

Convolution for quiver varieties via cup product on a Morse complex

Skein algebras and quantized Coulomb branches

Structure algebras, Hopf algebroids and oriented cohomology of a group

Algebras with matchings and knot Floer homology

Quilted Floer Cohomology

Geometric categorifications of Verma modules: Grassmannian Quiver Hecke algebras

Coherent sheaves and quantum Coulomb branches I: tilting bundles from integrable systems

Knot invariants and higher representation theory

Leavitt path algebras, $B_\infty$-algebras and Keller's conjecture for singular Hochschild cohomology