Related papers: The D-standard and K-standard categories
We define and investigate separable K-linear categories. We show that such a category C is locally finite and that every left C-module is projective. We apply our main results to characterize separable linear categories that are spanned by…
We explain how, under some hypotheses, one can construct a sequence of finite dimensional $kG$-modules that lie in certain prescribed additive subcategories, but whose direct limits do not. We use these to show that many of the triangulated…
Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…
In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…
We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…
Building on work of Jasso, we prove that any projectively generated $d$-abelian category is equivalent to a $d$-cluster tilting subcategory of an abelian category with enough projectives. This supports the claim that $d$-abelian categories…
In the first part of this paper the projective dimension of the structural modules in the BGG category $\mathcal{O}$ is studied. This dimension is computed for simple, standard and costandard modules. For tilting and injective modules an…
Let B be an extriangulated category with enough projectives and enough injectives. Let C be a fully rigid subcategory of B which admits a twin cotorsion pair ((C,K),(K,D)). The quotient category B/K is abelian, we assume that it is…
Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel [Ha] proved that generalized tilting…
The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given…
By using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b(A\mbox{-}{\rm mod})$ admits a categorical…
For a Frobenius abelian category $\mathcal{A}$, we show that the category ${\rm Mon}(\mathcal{A})$ of monomorphisms in $\mathcal{A}$ is a Frobenius exact category; the associated stable category $\underline{\rm Mon}(\mathcal{A})$ modulo…
In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an…
An abelian category with arbitrary coproducts and a small projective generator is equivalent to a module category \cite{Mit}. A tilting object in a abelian category is a natural generalization of a small projective generator. Moreover, any…
We observe that there exists an associative finite dimensional $\mathbb{C}$-algebra $A$ of finite global dimension, such that the bounded derived category $D^b(A)$ of finite dimensional $A$-modules admits an admissible subcategory…
Let $\Lambda = \left[\begin{array}{cc} A & 0 \\ M & B \end{array}\right] $ be an Artin algebra and $_BM_A$ a $B$-$A$-bimodule. We prove that there is a triangle equivalence $D_{sg}(\Lambda) \cong D_{sg}(A)\coprod D_{sg}(B)$ between the…
The category of level zero representations of current and affine Lie algebras shares many of the properties of other well-known categories which appear in Lie theory and in algebraic groups in characteristic p and in this paper we explore…
Let $\bar{S}_2$ be the Lie algebra of polynomial vector fields on $A_2=\mathbb{C}[t_1,t_2]$ with constant divergence.In this paper, we first show that each block $\Omega^{\widetilde{S}_2}_{\mathbf{a}}$ of the category of $(A_2,…
We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of…
Let $A$ be a hereditary algebra. We construct a fundamental domain for the cluster category of $A$ inside the category of modules over the duplicated algebra $\bar{A}$ of $A$. We then prove that there exists a bijection between the tilting…