Related papers: The derived $\infty$-category of Cartier Modules

For a local field $F$ and an Artinian local coefficient ring $\Lambda$ with the same positive residue characteristic $p$ we define, for any $e\in{\mathbb N}$, a category ${\mathfrak C}^{(e)}(\Lambda)$ of ${\rm GL}_2(F)$-equivariant…

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…

We develop some aspects of the theory of $D$-modules on ind-schemes of pro-finite type. These notions are used to define $D$-modules on (algebraic) loop groups and, consequently, actions of loop groups on DG categories. Let $N$ be the…

By building on the notions of internal projective and injective objects in a module category introduced by Douglas, Schommer-Pries, and Snyder, we extend the reconstruction theory for module categories of Etingof and Ostrik. More…

This is a generalization of some results of Ma-Sauter from module categories over artin algebras to more general functor categories (and partly to exact categories). In particular, we generalize the definition of a faithfully balanced…

It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…

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…

Let $R$ be a regular $F$-finite ring of prime characteristic $p$. We prove that the injective dimension of every unit Frobenius module $M$ in the category of unit Frobenius modules is at most…

For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules…

The center $Z(\mathcal{A})$ of an abelian category $\mathcal{A}$ is the endomorphism ring of the identity functor on that category. A localizing subcategory of a Grothendieck category $\mathcal{C}$ is said to be stable if it is stable under…

G-equivariant modular categories provide the input for a standard method to construct 3d homotopy field theories. Virelizier constructed a G-equivariant category from the action of a group G on a Hopf algebra H by Hopf algebra…

This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups…

The Graded Classification Conjecture states that for finite directed graphs $E$ and $F$, the associated Leavitt path algebras $L_\K(E)$ and $L_\K(F)$ are graded Morita equivalent, i.e., $\Gr L_\K(E) \approx_{\gr} \Gr L_\K(F)$, if and only…

For any CDG-ring $B^\bullet=(B^*,d,h)$, we show that the homotopy category of graded-projective (left) CDG-modules over $B^\bullet$ is equivalent to the quotient category of the homotopy category of graded-flat CDG-modules by its full…

Given a ring $R$, we have a classical result stating that the ordinary category of modules is the abelianization of the category of augmented $R$-algebras. Analogously, using the framework of infinity categories and higher algebra, Francis…

For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be…

In this paper, we try to answer the following question: given a modular tensor category $\A$ with an action of a compact group $G$, is it possible to describe in a suitable sense the ``quotient'' category $\A/G$? We give a full answer in…

Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…

For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent…

We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular,…