Related papers: Odd two-variable Soergel bimodules and Rouquier co…
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…
We use covariants of binary sextics to describe the structure of modules of scalar-valued or vector-valued Siegel modular forms of degree 2 with character, over the ring of scalar-valued Siegel modular forms of even weight. For a modular…
For a Coxeter system and a representation $V$ of this Coxeter system, Soergel defined a category which is now called the category of Soergel bimodules and proved that this gives a categorification of the Hecke algebra when $V$ is reflection…
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…
In his book on model categories, Hovey asked whether the 2-category $\mathbf{Mod}$ of model categories admits a "model 2-category structure" whose weak equivalences are the Quillen equivalences. We show that $\mathbf{Mod}$ does not have…
In this paper, we prove a version of Freyd's generating hypothesis for triangulated categories: if D is a cocomplete triangulated category and S is an object in D whose endomorphism ring is graded commutative and concentrated in degree…
We present two applications of the concept of higher idempotent completion to higher categories relevant in link homology theory and higher representation theory. We show that singular Soergel bimodules can be recovered from Soergel…
The main goal of this paper is to classify $\ast$-module categories for the $SO(3)_{2m}$ modular tensor category. This is done by classifying $SO(3)_{2m}$ nimrep graphs and cell systems, and in the process we also classify the $SO(3)$…
Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to…
Franke's reconstruction functor R is known to provide examples of triangulated equivalences between homotopy categories of stable model categories, which are exotic in the sense that the underlying model categories are not Quillen…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…
For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived…
We show that the Reshetikhin-Turaev-Walker invariant of 3-manifolds can be normalized to obtain an invariant of 4-dimensional thickenings of 2-complexes. Moreover when the underlying semisimple tortile category comes from the…
We prove odd analogs of results of Chuang and Rouquier on sl(2)-categorification. Combined also with recent work of the second author with Livesey, this allows us to complete the proof of Brou\'e's Abelian Defect Conjecture for the double…
We define new algebras, local bimodules, and bimodule maps in the spirit of Ozsvath-Szabo's bordered knot Floer homology. We equip them with the structure of 2-representations of the categorified negative half U^- of U_q(gl(1|1)),…
A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…
Using the diagrammatic calculus for Soergel bimodules developed by B. Elias and M. Khovanov, we show that Rouquier complexes are functorial over braid cobordisms. We explicitly describe the chain maps which correspond to movie move…
We construct a version of Fourier transform for families of real tori. This transform defines a functor from certain category associated with a symplectic family of tori to the category of holomorphic vector bundles on the dual family (the…
We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…
Let $G$ be a group and $\Bbbk$ a commutative ring. All categories and functors are assumed to be $\Bbbk$-linear. We define a $G$-invariant bimodule ${}_SM_R$ over $G$-categories $R, S$ and a $G$-graded bimodule ${}_BN_A$ over $G$-graded…