Related papers: Relative Serre functor for comodule algebras

Let M be a smooth manifold, and let O(M) be the poset of open subsets of M. Manifold calculus, due to Goodwillie and Weiss, is a calculus of functors suitable for studying contravariant functors (cofunctors) F: O(M)--> Top from O(M) to the…

We define functors on the derived category of the moduli space M of stable sheaves on a smooth projective surface (under Assumptions A and S below), and prove that these functors satisfy certain relations. These relations allow us to prove…

We first generalize the logarithmic tensor category theory of Huang-Lepowsky-Zhang to the more general case that the module category for a vertex operator algebra $V$ (more generally a M\"{o}bius vertex algebra) might not be closed under…

Many properties of a module can be expressed in terms of the dimension of the vector space obtained by applying a finitely presented functor to that module. For example, the dimension of the kernel, image or cokernel of the multiplication…

For coalgebras $C$ over a field, we study when the categories ${}^C\Mm$ of left $C$-comodules and $\Mm^C$ of right $C$-comodules are symmetric categories, in the sense that there is a duality between the categories of finitely presented…

We investigate the stabilization $\mathcal{S}$ of the module category over an artinian ring $\Lambda$ by formally inverting the tensor endofunctor given by the bimodule of relative noncommutative differential $1$-forms. It turns out that…

In this article we establish the foundations of the Morita homotopy theory of C*-categories. Concretely, we construct a cofibrantly generated simplicial symmetric monoidal Quillen model structure M_Mor on the category C*cat1 of small unital…

For any rigid presentation $e$, we construct an orthogonal projection functor to ${\rm rep}(e^\perp)$ left adjoint to the natural embedding. We establish a bijection between presentations in ${\rm rep}(e^\perp)$ and presentations compatible…

The purpose of this short note is to study Serre functors of categories of quasicoherent sheaves on stacks of the form $\mathcal{Y} = \mathrm{Spec} A/G$ where $G$ is a reductive group acting on $\mathrm{Spec} A$ with a unique closed orbit.…

We provide a new description of the hom functor on weak $\omega$-categories, and we show that it admits a left adjoint that we call the suspension functor. We then show that the hom functor preserves the property of being free on a…

Let A be a finitely presented associative monomial algebra. We study the category qgr(A) which is a quotient of the category of graded finitely presented A-modules by the finite-dimensional ones. As this category plays a role of the…

Let $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another…

Given an arbitrary countably generated rigid C*-tensor category, we construct a fully-faithful bi-involutive strong monoidal functor onto a subcategory of finitely generated projective bimodules over a simple, exact, separable, unital…

We show that induction along a Frobenius extension of Hopf algebras is a Frobenius monoidal functor in great generality, in particular, for all finite-dimensional and all pointed Hopf algebras. As an application, we show that induction…

Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this…

We study rank functions on a triangulated category $\mathcal{C}$ via its abelianisation $\operatorname{mod}\mathcal{C}$. We prove that every rank function on $\mathcal{C}$ can be interpreted as an additive function on…

A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…

We say that a ring $R$ is t-unital if the natural map $R\otimes_RR\rightarrow R$ is an isomorphism, and a left $R$-module $P$ is c-unital if the natural map $P\rightarrow\operatorname{Hom}_R(R,P)$ is an isomorphism. For a t-unital ring $R$,…

We study maximal $m$-rigid objects in the $m$-cluster category $\mathcal C_H^m$ associated with a finite dimensional hereditary algebra $H$ with $n$ nonisomorphic simple modules. We show that all maximal $m$-rigid objects in these…

We produce a cofibrantly generated simplicial symmetric monoidal model structure for the category of (small unital) C*-categories, whose weak equivalences are the unitary equivalences. The closed monoidal structure consists of the maximal…