arXiv subjects
Publications and source records attributed to Grégoire Naisse.
We construct a categorification of parabolic Verma modules for symmetrizable Kac-Moody algebras using KLR-like diagrammatic algebras. We show that our construction arises naturally from a dg-enhancement of the cyclotomic quotients of the KLR-algebras. As a consequence, we are able to recover the usual categorification of integrable modules. We also introduce a notion of dg-2-representation for quantum Kac--Moody algebras, and in particular of parabolic 2-Verma module.
This is the first part of a series of two papers aiming to construct a categorification of the braiding on tensor products of Verma modules, and in particular of the Lawrence--Krammer--Bigelow representations. \\ In this part, we categorify all tensor products of Verma modules and integrable modules for quantum $\mathfrak{sl_2}$. The categorification is given by derived categories of dg versions of KLRW algebras which generalize both the tensor product algebras of Webster, and the dg-algebras used by Lacabanne, the second author and Vaz. We compute a basis for these dgKLRW algebras by using rewriting methods modulo braid-like isotopy, which we develop in an Appendix.
We explain how Queffelec-Sartori's construction of the HOMFLY-PT link polynomial can be interpreted in terms of parabolic Verma modules for $\mathfrak{gl}_{2n}$. Lifting the construction to the world of categorification, we use parabolic 2-Verma modules to give a higher representation theory construction of Khovanov-Rozansky's triply graded link homology.
We construct a dg-enhancement of KLRW algebras that categorifies the tensor product of a universal $\mathfrak{sl}_2$ Verma module and several integrable irreducible modules. When the integrable modules are two-dimensional, we construct a categorical action of the blob algebra on derived categories of these dg-algebras which intertwines the categorical action of $\mathfrak{sl}_2$. From the above we derive a categorification of the blob algebra.
We give a topological description of the two-row Springer fiber over the real numbers. We show its cohomology ring coincides with the oddification of the cohomology ring of the complex Springer fiber introduced by Lauda-Russell. We also realize Ozsváth-Rasmussen-Szabó odd TQFT from pullbacks and exceptional pushforwards along inclusion and projection maps between hypertori. Using these results, we construct the odd arc algebra as a convolution algebra over components of the real Springer fiber, giving an odd analogue of a construction of Stroppel-Webster.
We extend the covering of even and odd Khovanov link homology to tangles, using arc algebras. For this, we develop the theory of quasi-associative algebras and bimodules graded over a category with a 3-cocycle. Furthermore, we show that a covering version of a level 2 cyclotomic half 2-Kac--Moody algebra acts on the bicategory of quasi-associative bimodules over the covering arc algebras, relating our work to a construction of Vaz.
We give a geometric categorification of the Verma modules $M(λ)$ for quantum $\mathfrak{sl}_2$.
In this paper we study the superalgebra $A_n$, introduced by the authors in previous work on categorification of Verma modules for quantum $\mathfrak{sl}_2$. The superalgebra $A_n$ is akin to the nilHecke algebra, and shares similar properties. In particular, we prove a uniqueness result about 2-Verma modules on $\Bbbk$-linear 2-categories.
We construct an odd version of Khovanov's arc algebra $H^n$. Extending the center to elements that anticommute, we get a subalgebra that is isomorphic to the oddification of the cohomology of the $(n,n)$-Springer varieties. We also prove that the odd arc algebra can be twisted into an associative algebra.
In this master thesis we construct an oddification of the rings $H^n$ from arXiv:math/0103190 using the functor from arXiv:0710.4300 . This leads to a collection of non-associative rings $OH^n_C$ where $C$ represent some choices of signs. Extending the center up to anti-commutative elements, we get a ring $OZ(OH^n_C)$ which is isomorphic to the oddification of the ring cohomology of the $(n,n)$-Springer variety from arXiv:1203.0797 .