Table of Contents
Fetching ...

Unfurling Khovanov-Lauda-Rouquier algebras

Ben Webster

Abstract

In this paper, we study the behavior of categorical actions of a Lie algebra $\mathfrak{g}$ under the deformation of their spectra. We give conditions under which the general point of a family of categorical actions of $\mathfrak{g}$ carry an action of a larger Lie algebra $\mathfrak{\tilde{g}}$, which we call an {\bf unfurling} of $\mathfrak{g}$. This is closely related to the folding of Dynkin diagrams, but to avoid confusion, we think it is better to use a different term. Our motivation for studying this topic is the difficulty of proving that explicitly presented algebras and categories in the theory of higher representation theory have the "expected size." Deformation is a powerful technique for showing this because of the upper semicontinuity of dimension under deformation. In particular, we'll use this to show the non-degeneracy (in the sense of Khovanov-Lauda) of the 2-quantum group $\mathcal U$ for an arbitrary Cartan datum and any homogeneous choice of parameters.

Unfurling Khovanov-Lauda-Rouquier algebras

Abstract

In this paper, we study the behavior of categorical actions of a Lie algebra under the deformation of their spectra. We give conditions under which the general point of a family of categorical actions of carry an action of a larger Lie algebra , which we call an {\bf unfurling} of . This is closely related to the folding of Dynkin diagrams, but to avoid confusion, we think it is better to use a different term. Our motivation for studying this topic is the difficulty of proving that explicitly presented algebras and categories in the theory of higher representation theory have the "expected size." Deformation is a powerful technique for showing this because of the upper semicontinuity of dimension under deformation. In particular, we'll use this to show the non-degeneracy (in the sense of Khovanov-Lauda) of the 2-quantum group for an arbitrary Cartan datum and any homogeneous choice of parameters.

Paper Structure

This paper contains 19 sections, 25 theorems, 116 equations.

Key Result

Theorem A

Fixanycommutativering$\Bbbk$andconsideranyCartandatum$(I,\langle-,-\rangle)$andchoiceofthepolynomials$Q_{ij}(u,v)\in\Bbbk[u,v]$whichishomogeneous(inthesensediscussedinSectionsec:klr-algebra).Theassociated2-quantumgroup $\mathcal{U}$isnon-degenerateandtheGrothendieckgroupof$\mathcal{U}$is$\mathbf{\do

Theorems & Definitions (62)

  • Theorem A: Theorem\ref{['nondegenerate']}
  • Theorem B
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Remark 2.4
  • Theorem 2.5
  • Lemma 2.6: brundanHeisenbergKacMoody2020
  • Lemma 2.7
  • Theorem 3.1
  • ...and 52 more