Related papers: Embedding Deligne's category $\mathrm{\underline{R…

A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…

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…

Deligne's category $\underline{{\rm Rep}}(S_t)$ is a tensor category depending on a parameter $t$ "interpolating" the categories of representations of the symmetric groups $S_n$. We construct a family of categories $\mathcal{C}_\lambda$…

We establish a connection between two settings of representation stability for the symmetric groups $S_n$ over $\mathbb{C}$. One is the symmetric monoidal category ${\rm Rep}(S_{\infty})$ of algebraic representations of the infinite…

We associate a monoidal category $\mathcal{H}^\lambda$ to each dominant integral weight $\lambda$ of $\widehat{\mathfrak{sl}}_p$ or $\mathfrak{sl}_\infty$. These categories, defined in terms of planar diagrams, act naturally on categories…

To every group $G$ we associate a linear monoidal category $\mathcal{P}\mathit{ar}(G)$ that we call a group partition category. We give explicit bases for the morphism spaces and also an efficient presentation of the category in terms of…

We introduce a new family of monoidal categories which are cyclotomic quotients of the nil-Brauer category. We construct a monoidal functor from the cyclotomic nil-Brauer category to another monoidal category constructed from singular…

We classify the indecomposable objects in the monoidal center of Deligne's interpolation category $Rep(S_t)$ by viewing $Rep(S_t)$ as a model-theoretic limit in rank and characteristic. We further prove that the center of $Rep(S_t)$ is…

Two different types of Deligne categories have been defined to interpolate the finite dimensional complex representations of the hyperoctahedral group. The first one, initially defined by Knop and then further studied by Likeng and Savage,…

Let $k$ be a field. We show that locally presentable, $k$-linear categories $\mathcal{C}$ dualizable in the sense that the identity functor can be recovered as $\coprod_i x_i\otimes f_i$ for objects $x_i\in \mathcal{C}$ and left adjoints…

A general construction of Knop creates a symmetric monoidal category $\mathcal{T}(\mathcal{A},\delta)$ from any regular category $\mathcal{A}$ and a fixed degree function $\delta$. A special case of this construction are the Deligne…

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…

For an arbitrary commutative ring k and t in k, we construct a 2-functor S_t which sends a tensor category to a new tensor category. By applying it to the representation category of a bialgebra we obtain a family of categories which…

Let $G$ be a $p$-adic Lie group with reductive Lie algebra $\mathfrak{g}$. Denote by $D(G)$ the locally analytic distribution algebra of $G$. Orlik-Strauch and Agrawal-Strauch have studied certain exact functors defined on various…

For every smooth projective variety, we construct an action of the Heisenberg algebra on the direct sum of the Grothendieck groups of all the symmetric quotient stacks which contains the Fock space as a subrepresentation. The action is…

Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical…

We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…

We show that single-variable polynomial functors over the category $\mathcal{S}$ of infinity groupoids, as defined by Gepner-Haugseng-Kock, are exactly colimits of representable copresheaves indexed by infinity groupoid. This allows us to…

For a locally finitely presented Grothendieck category $\mathcal{A}$, we consider a certain subcategory of the homotopy category of FP-injective objects in $\mathcal{A}$ which we show is compactly generated. In the case where $\mathcal{A}$…

The degenerate Heisenberg category $\mathcal{H}eis_k$ is a strict monoidal category which was originally introduced in the special case $k=-1$ by Khovanov in 2010. Khovanov conjectured that the Grothendieck ring of the additive Karoubi…