Related papers: Affine category O, Koszul duality and Zuckerman fu…
For a Dynkin quiver $Q$ (of type ADE), we consider a central completion of the convolution algebra of the equivariant K-group of a certain Steinberg type graded quiver variety. We observe that it is affine quasi-hereditary and prove that…
Using the affine web category introduced in a prequel as a building block, we formulate a diagrammatic $\Bbbk$-linear monoidal category, the affine Schur category, for any commutative ring $\Bbbk$. We then formulate diagrammatic categories,…
Affine W-algebras are a somewhat complicated family of (topological) associative algebras associated with a semisimple Lie algebra, quantizing functions on the algebraic loop space of Kostant's slice. They have attracted a great deal of…
We prove in full generality that the generalized quantum affine Schur-Weyl duality functor, introduced by Kang-Kashiwara-Kim, gives an equivalence between the category of finite-dimensional modules over a quiver Hecke algebra and a certain…
Let F be a homotopy functor with values in the category of spectra. We show that partially stabilized cross-effects of F have an action of a certain operad. For functors from based spaces to spectra, it is the Koszul dual of the little…
Suppose $G$ is a finite group. In this paper, we construct an equivalence between the $\infty$-category of algebras over an $N_{\infty}$-operad $\mathcal{O}$ associated to a $G$-indexing system $\mathcal{I}$ and the corresponding…
Let $\mathfrak{g}$ be a complex simple Lie algebra and $U_qL\mathfrak{g}$ the corresponding quantum affine algebra. We construct a functor ${}^{\theta}{\sf F}$ between finite-dimensional modules over a quantum symmetric pair of affine type…
We consider correlation functions for the Wess-Zumino-Witten model on the torus with the insertion of a Cartan element; mathematically this means that we consider the function of the form $F=\Tr (\Phi_1 (z_1)\ldots \Phi_n…
Let $R$ be a commutative unital ring. We construct a category $\mathcal{C}_R$ of fractions $X/G$, where $G$ is a finite group and $X$ is a finite $G$-set, and with morphisms given by $R$-linear combinations of spans of bisets. This category…
This is the second paper of a series of papers on a version of categories $\mathcal{O}$ for root-reductive Lie algebras. Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic…
We classify a "dense open" subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we also: (1) Upgrade an…
In this paper we construct an "abstract Fock space" for general Lie types that serves as a generalisation of the infinite wedge $q$-Fock space familiar in type $A$. Specifically, for each positive integer $\ell$, we define a…
In this paper, we define $A_{\infty}$-Koszul duals for directed $A_{\infty}$-categories in terms of twists in their $A_{\infty}$-derived categories. Then, we compute a concrete formula of $A_{\infty}$-Koszul duals for path algebras with…
We study the structure of the category of representations of $\mathbf{FA}$, the category of finite sets and all maps, mostly working over a field of characteristic zero. This category is not semi-simple and exhibits interesting features. We…
In this paper we provide a "combinatorial" description of the category of tilting perverse sheaves on the affine flag variety of a reductive algebraic group, and its free-monodromic variant, with coefficients in a field of positive…
Soit F la cat\'{e}gorie des foncteurs entre espaces vectoriels sur un corps fini. Les cat\'{e}gories de foncteurs en grassmanniennes sont obtenues en rempla\c{c}ant la source de cette cat\'{e}gorie par la cat\'{e}gorie des couples…
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…
Let ${\mathcal E}$ be a Frobenius category, ${\mathcal P}$ its subcategory of projective objects and $F:{\mathcal E} \to {\mathcal E}$ an exact automorphism. We prove that there is a fully faithful functor from the orbit category ${\mathcal…
Generalizing the polynomial web category, we introduce a diagrammatic $\Bbbk$-linear monoidal category, the affine web category, for any commutative ring $\Bbbk$. Integral bases consisting of elementary diagrams are obtained for the affine…
Let $G$ be a semisimple group, split over a non-Archimedean field $F$. We prove that the category of modules over the extension algebra of generalised Steinberg representations of $G(F)$ is equivalent to a full subcategory of equivariant…