Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring $C$, a homological ring epimorphism $B\ra C$ and a recollement among the (unbounded) derived module categories $\D{C}$ of $C$, $\D{B}$ of $B$, and $\D{A}$ of $A$. In particular, the kernel of the total left derived functor $T\otimes_B^{\mathbb L}-$ is triangle equivalent to the derived module category $\D{C}$. Conversely, if the functor $T\otimes_B^{\mathbb L}-$ admits a fully faithful left adjoint functor, then $T$ is a good tilting module. We apply our result to tilting modules arising from ring epimorphisms, and can then describe the rings $C$ as coproducts of two relevant rings. Further, in case of commutative rings, we can weaken the condition of being tilting modules, strengthen the rings $C$ as tensor products of two commutative rings, and get similar recollements. Consequently, we can produce examples (from commutative algebra and $p$-adic number theory, or Kronecker algebra) to show that two different stratifications of the derived module category of a ring by derived module categories of rings may have completely different derived composition factors (even up to ordering and up to derived equivalence),or different lengths. This shows that the Jordan-Hölder theorem fails even for stratifications by derived module categories, and also answers negatively an open problem by Angeleri-Hügel, König and Liu.
We study connections between recollements of the derived category D(Mod-R) of a ring R and tilting theory. We first provide constructions of tilting objects from given recollements, recovering several different results from the literature. Secondly, we show how to construct a recollement from a tilting module of projective dimension one. Our results will be employed in a forthcoming paper in order to investigate stratifications of D(Mod-R).
Recently, Wang, Wei and Zhang define the recollement of extriangulated categories, which is a generalization of both recollement of abelian categories and recollement of triangulated categories. For a recollement $(\mathcal A ,\mathcal B,\mathcal C)$ of extriangulated categories, we show that $n$-tilting (resp. $n$-cotilting) subcategories in $\mathcal A$ and $\mathcal C$ can be glued to get $n$-tilting (resp. $n$-cotilting) subcategories in $\mathcal B$ under certain conditions.
For any good tilting module $T$ over a ring $A$, there exists an $n$-symmetric subcategory $\mathscr{E}$ of a module category such that the derived category of the endomorphism ring of $T$ is a recollement of the derived categories of $\mathscr{E}$ and $A$ in the sense of Beilinson-Bernstein-Deligne. Thus the kernel of the total left-derived tensor functor induced by the tilting module is triangle equivalent to the derived category of $\mathscr{E}$.
Let $(\mbox{mod} Λ',\mbox{mod} Λ,\mbox{mod} Λ'')$ be a recollement of module categories for artin algebras $Λ'$, $Λ$ and $Λ''$. We provide a sufficient condition such that a glued torsion pair in $\mbox{mod} Λ$ is tilting when the given two torsion pairs are tilting in $\mbox{mod} Λ'$ and $\mbox{mod} Λ''$ respectively. Using this result, we give a construction of gluing of tilting modules in $\mbox{mod} Λ$ with respect to tilting modules in $\mbox{mod} Λ'$ and $\mbox{mod} Λ''$ respectively.
Let $(\mbox{mod} Λ',\mbox{mod} Λ,\mbox{mod} Λ'')$ be a recollement of abelian categories for artin algebras $Λ'$, $Λ$ and $Λ''$. Under certain conditions, we present an explicit construction of gluing of (support) $τ$-tilting modules in $\mbox{mod} Λ$ with respect to (support) $τ$-tilting modules in $\mbox{mod} Λ'$ and $\mbox{mod} Λ''$ respectively; conversely, we study the construction of (support) $τ$-tilting modules in $\mbox{mod} Λ'$ and $\mbox{mod} Λ''$ obtained from (support) $τ$-tilting modules in $\mbox{mod} Λ$.
In this paper we study derived equivalences between triangular matrix algebras using certain classical recollements. We show that special properties of these recollements actually characterize triangular matrix algebras, and describe methods to construct tilting modules and tilting complexes inducing derived equivalences between them.
We provide an explicit procedure to glue (not necessarily compact) silting objects along recollements of triangulated categories with coproducts having a 'nice' set of generators, namely, well generated triangulated categories. This procedure is compatible with gluing co-t-structures and it generalizes a result by Liu, Vitória and Yang. We provide conditions for our procedure to restrict to tilting objects and to silting and tilting modules. As applications, we retrieve the classification of silting modules over the Kronecker algebra and the classification of non-compact tilting sheaves over a…
For a recollement $(\mathcal{D}B,\mathcal{D}A,\mathcal{D}C)$ of derived categories of algebras, we investigate when the functor $j^*:\mathcal{D}A\rightarrow\mathcal{D}C$ is an eventually homological isomorphism. In this context, we compare the algebras $A$ and $C$ with respect to Gorensteinness, singularity categories and the finite generation condition Fg for the Hochschild cohomology. The results are applied to stratifying ideals, triangular matrix algebras and derived discrete algebras.
For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated to a triangle functor from the category on the right to the category on the left. For a morphic enhancement of a triangulated category $\mathcal{T}$, there are three explicit ideals of the enhancing category, whose corresponding factor categories are all equivalent to the module category over $\mathcal{T}$. Examples related to inflation categories and weighted projective lines are discussed.
Recollements were introduced originally by Beilinson, Bernstein and Deligne to study the derived categories of perverse sheaves, and nowadays become very powerful in understanding relationship among three algebraic, geometric or topological objects. The purpose of this series of papers is to study recollements in terms of derived module categories and homological ring epimorphisms, and then to apply our results to both representation theory and algebraic K-theory. In this paper we present a new and systematic method to construct recollements of derived module categories. For this aim, we intro…
We give a simultaneous generalization of recollements of abelian categories and triangulated categories, which we call recollements of extriangulated categories. For a recollement $(\mathcal{A}$, $\mathcal{B}$, $\mathcal{C})$ of extriangulated categories, we show that cotorsion pairs in $\mathcal{A}$ and $\mathcal{C}$ induce cotorsion pairs in $\mathcal{B}$ under certain conditions. As an application, our main result recovers a result given by Chen for recollements of triangulated categories, and it also shows a new phenomena when it is applied to abelian categories.
Ladders of recollements of abelian categories are introduced, and used to address three general problems. Ladders of a certain height allow to construct recollements of triangulated categories, involving derived categories and singularity categories, from abelian ones. Ladders also allow to tilt abelian recollements, and ladders guarantee that properties like Gorenstein projective or injective are preserved by some functors in abelian recollements. Breaking symmetry is crucial in developing this theory.
Let $\ca$ be a small dg category over a field $k$ and let $\cu$ be a small full subcategory of the derived category $\cd\ca$ which generate all free dg $\ca$-modules. Let $(\cb,X)$ be a standard lift of $\cu$. We show that there is a recollement such that its middle term is $\cd\cb$, its right term is $\cd\ca$, and the three functors on its right side are constructed from $X$. This applies to the pair $(A,T)$, where $A$ is a $k$-algebra and $T$ is a good $n$-tilting module, and we obtain a result of Bazzoni--Mantese--Tonolo. This also applies to the pair $(\ca,\cu)$, where $\ca$ is an augmente…
Following the work of Beilinson, Bernstein and Deligne, we study restriction and induction of t-structures in triangulated categories with respect to recollements. For derived categories of piecewise hereditary algebras we give a necessary and sufficient condition for a bounded t-structure to be induced from a recollement by derived categories of algebras. As a corollary we prove that for hereditary algebras of finite representation type all bounded t-structures can be obtained in this way.
We study the homotopy category of unbounded complexes with bounded homologies and its quotient category by the homotopy category of bounded complexes. We show the existence of a recollement of the above quotient category and it has the homotopy category of acyclic complxes as a triangulated subcategory. In the case of the homotopy category of finitely generated projective modules over an Iwanaga-Gorenstein ring, we show that the above quotient category are triangle equivalent to the stable module category of Cohen-Macaulay $\opn{T}_2(R)$-modules.
We establish a correspondence between recollements of abelian categories up to equivalence and certain TTF-triples. For a module category we show, moreover, a correspondence with idempotent ideals, recovering a theorem of Jans. Furthermore, we show that a recollement whose terms are module categories is equivalent to one induced by an idempotent element, thus answering a question by Kuhn.
n-recollements of triangulated categories and n-derived-simple algebras are introduced. The relations between the n-recollements of derived categories of algebras and the Cartan determinants, homological smoothness and Gorensteinness of algebras respectively are clarified. As applications, the Cartan determinant conjecture is reduced to 1-derived-simple algebras, and the Gorenstein symmetry conjecture is reduced to 2-derived-simple algebras.
We provide several equivalent descriptions of a highest weight category using recollements of abelian categories. Also, we explain the connection between sequences of standard and exceptional objects.
Let $T=(A,M,0,B)$ be a triangular matrix algebra with its corner algebras $A$ and $B$ Artinian and $_AM_B$ an $A$-$B$-bimodule. The 2-recollement structures for singularity categories and Gorenstein defect categories over $T$ are studied. Under mild assumptions, we provide necessary and sufficient conditions for the existences of 2-recollements of singularity categories and Gorenstein defect categories over $T$ relative to those of $A$ and $B$. Parts of our results strengthen and unify the corresponding work in [27,28,34].
In this note, we define a recollement of additive categories, and prove that such a recollement can induce a recollement of their quotient categories. As an application, we get a recollement of quotient triangulated categories induced by mutation pairs.
Recollements of derived categories from $n$-term big tilting complexes
School of Mathematics and Statistics, Beijing Jiaotong University（北京交通大学数学与统计学院）；Beijing Key Laboratory of Biological Big Data and Topological Statistics, Beijing Jiaotong University（北京交通大学生物大数据与拓扑统计北京市重点实验室）；School of Science, Beijing University of Civil Engineering and Architecture（北京建筑大学理学院）
In this paper, let $(\mathcal{A},\mathcal{B},\mathcal{C})$ be a recollement of extriangulated categories. We introduce the global dimension and extension dimension of extriangulated categories, and give some upper bounds of global dimensions (resp. extension dimensions) of the categories involved in $(\mathcal{A},\mathcal{B},\mathcal{C})$, which give a simultaneous generalization of some results in the recollement of abelian categories and triangulated categories.
It is shown that a recollement of derived categories of algebras induces those of tensor product algebras and opposite algebras respectively, which is applied to clarify the relations between recollements of derived categories of algebras and smoothness and Hochschild cohomology of algebras.
We introduce a new concept of s-recollements of extriangulated categories, which generalizes recollements of abelian categories, recollements of triangulated categories, as well as recollements of extriangulated categories. Moreover, some basic properties of s-recollements are presented. We also discuss the behavior of the localization theory on the adjoint pair of exact functors. Finally, we provide a method to obtain a recollement of triangulated categories from s-recollements of extriangulated categories via the localization theory.
Recently, Wang, Wei and Zhang introduced the notion of recollements of extriangulated categories. In this paper, let $(\mathcal{A},\mathcal{B},\mathcal{C})$ be a recollement of extriangulated categories. We provide some methods to construct resolving subcategories in $(\mathcal{A},\mathcal{B},\mathcal{C})$. As applications of the Auslander-Reiten correspondence, we get the gluing of cotilting modules in a recollement of module categories for artin algebras. We also give some bounds of resolution dimensions of the categories involved in $(\mathcal{A},\mathcal{B},\mathcal{C})$ with respect to re…
We study the problem of lifting and restricting TTF triples (equivalently, recollement data) for a certain wide type of triangulated categories. This, together with the parametrizations of TTF triples given in "Parametrizing recollement data", allows us to show that many well-known recollements of right bounded derived categories of algebras are restrictions of recollements in the unbounded level, and leads to criteria to detect recollements of general right bounded derived categories. In particular, we give in Theorem 1 necessary and sufficient conditions for a 'right bounded' derived categor…
We construct two functors from the submodule category of a self-injective representation-finite algebra $Λ$ to the module category of the stable Auslander algebra of $Λ$. These functors factor through the module category of the Auslander algebra of $Λ$. Moreover they induce equivalences from the quotient categories of the submodule category modulo their respective kernels and said kernels have finitely many indecomposable objects up to isomorphism. Their construction uses a recollement of the module category of the Auslander algebra induced by an idempotent and this recollement determines a ch…
Recollements of abelian categories are used as a basis of a homological and recursive approach to quasi-hereditary algebras. This yields a homological proof of Dlab and Ringel's characterisation of idempotent ideals occuring in heredity chains, which in turn characterises quasi-hereditary algebras recursively. Further applications are given to hereditary algebras and to Morita context rings.
We investigate the behavior of the homological dimensions under recollements of derived categories of algebras. In particular, we establish a series of new bounds among the selfinjective dimension or $ϕ$-dimension of the algebras linked by recollements of derived module categories.
The relation between the $n$-recollements of stable categories of Gorenstein projective modules and the virtual Gorensteinness of algebras are investigated. Let $A,B$, and $C$ be finite dimensional algebras. We prove that if the stable category of Gorenstein projective $A$-modules admits a $n$-recollement relative to that of $B$ and $C$ with $n\geq 2$, then $A$ is virtually Gorenstein if and only if so are $B$ and $C$.
In this article, we prove that if $(\mathcal A ,\mathcal B,\mathcal C)$ is a recollement of extriangulated categories, then torsion pairs in $\mathcal A$ and $\mathcal C$ can induce torsion pairs in $\mathcal B$, and the converse holds under natural assumptions. Besides, we give mild conditions on a cluster tilting subcategory on the middle category of a recollement of extriangulated categories, for the corresponding abelian quotients to form a recollement of abelian categories.
For a recollement $(\mathcal{A},\mathcal{B},\mathcal{C})$ of abelian categories, we show that torsion pairs in $\mathcal{A}$ and $\mathcal{C}$ can induce torsion pairs in $\mathcal{B}$; and the converse holds true under certain conditions.
For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher algebraic K-groups for homological exact contexts introduced in the first paper of this series. Our results are then applied to recollements induced from homological ring epimorphisms and noncommutative localizations. Consequently, we get an infinitely long Mayer-Vietoris exact sequence of K-theory for Milnor squares, re-obtain a result of Karoubi on localiza…
We use Quillen model structures to show a systematic method to lift recollements of hereditary abelian model categories to recollements of their associated homotopy categories. To that end, we use the notion of Quillen adjoint triples and we investigate transfers of abelian model structures along adjoint pairs. Applications include liftings of recollements of module categories to their derived counterpart, liftings to homotopy categories that provide models for stable categories of Gorenstein projective and injective modules and liftings to homotopy categories of n-morphism categories over Iwa…
Let $A$, $B$ and $C$ be associative rings with identity. Using a result of Koenig we show that if we have a $\mathbb{D}^{\rm{b}}({\rm{mod\mbox{-}}} )$ level recollement, writing $A$ in terms of $B$ and $C$, then we get a $\mathbb{D}^-({\rm{Mod\mbox{-}}} )$ level recollement of certain functor categories, induces from the module categories of $A$, $B$ and $C$. As an application, we generalise the main theorem of Pan [Sh. Pan, Derived equivalences for Cohen-Macaulay Auslander algebras, J. Pure Appl. Algebra, 216 (2012), 355-363] in terms of recollements of Gorenstein artin algebras. Moreover, we…
Recollements of triangulated categories may be seen as exact sequences of such categories. Iterated recollements of triangulated categories are analogues of geometric or topological stratifications and of composition series of algebraic objects. We discuss the question of uniqueness of such a stratification, up to ordering and derived equivalence, for derived module categories. The main result is a positive answer in the form of a Jordan Hölder theorem for derived module categories of hereditary artin algebras. We also provide examples of derived simple rings.
Derived equivalences and t-structures are closely related. We use realisation functors associated to t-structures in triangulated categories to establish a derived Morita theory for abelian categories with a projective generator or an injective cogenerator. For this purpose we develop a theory of (noncompact, or large) tilting and cotilting objects that generalises the preceding notions in the literature. Within the scope of derived Morita theory for rings we show that, under some assumptions, the realisation functor is a derived tensor product. This fact allows us to approach a problem by Ric…
Surjective homological epimorphisms with stratifying kernel can be used to construct recollements of derived module categories. These `stratifying' recollements are derived from recollements of module categories. Can every recollement be put in this form, up to equivalence? A negative answer will be given after providing a characterisation of recollements equivalent to stratifying ones. Moreover, criteria for a ring epimorphism to be `stratifying' will be presented as well as constructions of such epimorphisms.
A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under glueing of some basic properties of abelian categories (well-poweredness, Grothendieck's axioms AB3, AB4 and AB5, existence of a generator) in the presence of a recollement. In particular, we observe that in a recollement of a Grothendieck abelian category the other two categories involved are also Grothendieck abelian and, more significantly, we provide an exam…
It is shown that a 4-recollement of derived categories of CM-finite algebras induces a 2-recollement of the corresponding Cohen-Macaulay Auslander algebras, which generalises the main theorem of Pan [S. Y. Pan, Derived equivalences for Cohen-Macaulay Auslander algebras, J. Pure Appl. Algebra 216 (2012), 355{363]. Moreover, both Auslander- Reiten conjecture and Gorenstein projective conjecture are shown invariant under 3 (or 4)-recollement of unbounded derived categories of algebras.
This paper is devoted to constructing some recollements of additive categories associated to concentric twin cotorsion pairs on an extriangulated category. As an application, this result generalizes the work by Chen-Liu-Yang in a triangulated case. Moreover, it highlights new phenomena when it applied to an exact category. Finally, we give some applications to illustrate our main results. In particular, we obtain the Krause's recollement whose the proofs are both elementary and very general.
Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to another level of derived category. Ladders also turn out to control derived simplicity on all levels. An algebra is derived simple if its derived category cannot be deconstructed, that is, if it is not the middle term of a non-trivial recollement whose outer terms are again derived categories of algebras. Derived simplicity on each level is characterised in terms…
In this paper we show that the (un)bounded derived categories$\colon$(i) of the monomorphism category, (ii) of the morphism category and (iii) of the double morphism category, admit a periodic infinite ladder of recollements. These results are based on a characterization that we provide for a recollement of (compactly generated) triangulated categories to admit a ladder of some height going either upwards or downwards. Moreover, we introduce and study the singularity category of the monomorphism category over an Artin algebra $Λ$ and show that there is a periodic infinite ladder that connects …
In this paper, we prove a reduction result on wide subcategories of abelian categories which is similar to Calabi-Yau reduction, silting reduction and $τ$-tilting reduction. More precisely, if an abelian category $\mathcal{A}$ admits a recollement relative to abelian categories $\mathcal{A}'$ and $\mathcal{A}"$, diagrammatically expressed by $$\xymatrix@!C=2pc{ \mathcal{A'} \ar@{>->}[rr]|{i_{*}} && \mathcal{A} \ar@<-4.0mm>@{->>}[ll]_{i^{*}} \ar@{->>}[rr]|{j^{*}} \ar@{->>}@<4.0mm>[ll]^{i^{!}}&& \mathcal{A''} \ar@{>->}@<-4.0mm>[ll]_{j_{!}} \ar@{>->}@<4.0mm>[ll]^{j_{*}} },$$ then the assignment $…
We give a general parametrization of all the recollement data for a triangulated category with a set of generators. From this we deduce a characterization of when a perfectly generated (or aisled) triangulated category is a recollement of triangulated categories generated by a single compact object. Also, we use homological epimorphisms of dg categories to give a complete and explicit description of all the recollement data for (or smashing subcategories of) the derived category of a k-flat dg category. In the final part we give a bijection between smashing subcategories of compactly generated…
In this note, we consider the $d$-cluster-tilted algebras, the endomorphism algebras of $d$-cluster-tilting objects in $d$-cluster categories. We show that a tilting module over such an algebra lifts to a $d$-cluster-tilting object in this $d$-cluster category.
