Related papers: Multiplicativity of Connes' calculus
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$. We study a monoidal category $\mathbb{T}_\alpha$ which is universal among all symmetric $\mathbb{K}$-linear monoidal categories generated by two objects $A$ and $B$…
We provide a uniform construction of "mixed versions" or "graded lifts" in the sense of Beilinson-Ginzburg-Soergel which works for arbitrary Artin stacks. In particular, we obtain a general construction of graded lifts of many categories…
In this paper we give an example of duoidal $\infty$-categories. We introduce map $\mathcal{O}$-monoidales in an $\mathcal{O}$-monoidal $(\infty,2)$-category for an $\infty$-operad $\mathcal{O}^{\otimes}$. We show that the endomorphism…
For our concepts of change of base and comonadicity, we work in the general context of the tricategory $\mathrm{Caten}$ whose objects are bicategories $\mathscr{V}$ and whose morphisms are categories enriched on two sides. For example, for…
Hausel introduced a commutative algebra -- the multiplicity algebra -- associated to a fixed point of the C^*-action on the Higgs bundle moduli space. Here we describe this algebra for a fixed point consisting of a very stable rank 2 vector…
We re-interpret Goodwin's translation functors for a finite $W$-algebra $H_\ell$ as an action of a monoidal subcategory of $U(\mathfrak{g})$-mod on the category of finitely generated $H_\ell$-modules. This action is obtained by transporting…
For a reductive group $G$, we introduce a notion of singular support for cocomplete dualizable DG-categories equipped with a strong $G$-action. This is done by considering the singular support of the sheaves of matrix coefficients arising…
The stable category of modules over the algebra of a finite group with coefficients in a field is a compactly generated tensor triangulated category, that has been studied extensively in representation theory. In this paper, we provide a…
We present explicit free field representations for the $N=4$ doubly extended superconformal algebra, $\tilde{\cal{A}}_{\gamma}$. This algebra generalizes and contains all previous $N=4$ superconformal algebras. We have found…
Let $W$ be a finite dimensional algebraic structure (e.g. an algebra) over a field $K$ of characteristic zero. We study forms of $W$ by using Deligne's Theory of symmetric monoidal categories. We construct a category $\mathcal{C}_W$, which…
The monomorphism category $\mathcal S_n(\mathcal X)$ is introduced, where $\mathcal X$ is a full subcategory of the module category $A$-mod of Artin algebra $A$. The key result is a reciprocity of the monomorphism operator $\mathcal S_n$…
We study monoidal categorifications of certain monoidal subcategories $\mathcal{C}_J$ of finite-dimensional modules over quantum affine algebras, whose cluster algebra structures coincide and arise from the category of finite-dimensional…
Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups…
Let $C$ be a smooth irreducible irreducible projective curve of genus $g \ge 2$. Let $\mathcal{M}_C(n, \delta)$ be the moduli space of semi-stable vector bundles on $C$ of rank $n$ and fixed determinant $\delta$ of degree $d$. Then the…
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…
Given a vertex algebra $\mathcal{V}$ and a subalgebra $\mathcal{A}\subset \mathcal{V}$, the commutant $\text{Com}(\mathcal{A},\mathcal{V})$ is the subalgebra of $\mathcal{V}$ which commutes with all elements of $\mathcal{A}$. This…
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…
Let $V$ be a finite dimensional $k$-vector space, where $k$ is an algebraic closed field of characteristic zero. Let $G \subseteq \mathrm{SL}(V)$ be a finite abelian group, and denote by $S$ the $G$-invariant subring of the polynomial ring…
Given a commutative algebra $A$ and a quotient $A$-algebra $A/I$, we construct a resolution of $A/I$ as an $A$-module such that it is also a differential graded (dg) algebra with divided powers (PD). This construction makes use of symmetric…