Related papers: Category O and sl(k) link invariants

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct…

We prove that the center of a regular block of parabolic category O for the general linear Lie algebra is isomorphic to the cohomology algebra of a corresponding Springer fiber. This was conjectured by Khovanov. We also find presentations…

Bernstein, Frenkel, and Khovanov have constructed a categorification of tensor products of the standard representation of $\mathfrak{sl}_2$, where they use singular blocks of category $\mathcal{O}$ for $\mathfrak{sl}_n$ and translation…

We introduce a contravariant functor, called Floer functor, from the category of Lagrangian conductors of a symplectic manifold to the homotopy category of bounded chain complexes of open strings in this manifold. The latter two categories…

We describe Calabi-Yau objects in the regular block of the (parabolic) BGG category $\mathcal{O}$ associated to a semi-simple finite dimensional complex Lie algebra. Each such object comes with a natural transformation from the Serre…

For the group GL(n), we construct an action of the equivariant derived category of coherent sheaves on the Grothendieck-Springer resolution on a certain subcategory of a finite monodromic Hecke category. We use this to construct a partial…

We construct a Hennings type logarithmic invariant for restricted quantum $\mathfrak{sl}(2)$ at a $2\mathsf{p}$-th root of unity. This quantum group $U$ is not braided, but factorizable. The invariant is defined for a pair: a 3-manifold $M$…

We introduce a generalization of oriented tangles, which are still called tangles, so that they are in one-to-one correspondence with the sutured manifolds. We define cobordisms between sutured manifolds (tangles) by generalizing cobordisms…

We construct categorifications of tensor products of arbitrary finite-dimensional irreducible representations of $\mathfrak{sl}_k$ with subquotient categories of the BGG category $\mathcal{O}$, generalizing previous work of Sussan and…

A Mackey type decomposition for group actions on abelian categories is described. This allows us to define new Mackey functors which associates to any subgroup the $K$-theory of the corresponding equivariantized abelian category. In the…

Let $\k$ be a commutative ring, and let $(A,\mfrak{a})$ be an adic ring which is a $\k$-algebra. We study complete and torsion versions of the derived Hochschild homology and cohomology functors of $A$ over $\k$. To do this, we first…

In this paper we consider the category $C (\tilde k, \tilde H)$ of the $(\tilde k, \tilde H)$-modules, including all the Verma modules, where $k$ is some compact Lie algebra and H some Cartan subgroup, $\tilde k$ and $\tilde H$ are the…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

A topologically-invariant and additive homology class is mostly not a natural transformation as it is. In this paper we discuss turning such a homology class into a natural transformation; i.e., a "categorification" of it. In a general…

A category N of labeled (oriented) trivalent graphs (nets) or ribbon graphs is extended by new generators called fusing, braiding, twist and switch with relations which can be called Moore--Seiberg relations. A functor to N is constructed…

We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…

We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself…

We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined…

If H is a strongly regular hypergroup, we show that the set of regular relations on H and the set of subhypergroups containing $0_{H}$ are two lattices that are isomorphic to each other. In the next step, we introduce and study the…

Lazard correspondence provides an isomorphism of categories between finitely generated nilpotent pro-$p$ groups of nilpotency class smaller than $p$ and finitely generated nilpotent $\mathbb{Z}_p$-Lie algebras of nilpotency class smaller…