From recollement of triangulated categories to recollement of abelian categories

In this paper,we prove that if a triangulated category D admits a recollement relative to triangulated categories D' and D″,then the abelian category D/T admits a recollement relative to abelian categories D'/i(T) and D″/j(T) where T is a cluster tilting subcategory of D and satisfies i i (T)  T,j j (T) T.     

One-point extension and recollement

This paper is devoted to studying the recollement of the categories of finitely generated modules over finite dimensional algebras. We prove that for algebras A, B and C, if A-mod admits a recollement relative to B-mod and C-mod, then A[R]-mod admits a recollement relative to B[S]-mod and C-mod, where A[R]and B[S]are the one-point extensions of A by R and of B by S.     

Categorical resolutions of a class of derived categories

We clarify the relation between the subcategory D_(hf)~b(A) of homological finite objects in D~b(A)and the subcategory K~b(P) of perfect complexes in D~b(A), by giving two classes of abelian categories A with enough projective objects such that D_(hf)~b(A) = K~b(P), and finding an example such that D_(hf)~b(A)≠K~b(P). We realize the bounded derived category D~b(A) as a Verdier quotient of the relative derived category D_C~b(A), where C is an arbitrary resolving contravariantly finite subcategory of A. Using this relative derived categories, we get categorical resolutions of a class of bounded derived categories of module categories of infinite global dimension.We prove that if an Artin algebra A of infinite global dimension has a module T with inj.dimT ∞ such that ~⊥T is finite, then D~b(modA) admits a categorical resolution; and that for a CM(Cohen-Macaulay)-finite Gorenstein algebra, such a categorical resolution is weakly crepant.     

Relative homological dimensions in recollements of triangulated categories

Let E be a proper class of triangles in a triangulated category C, and let (A, B, C) be a recollement of triangulated categories. Based on Beligiannis's work, we prove that A and C have enough E-projective objects whenever B does. Moreover, in this paper, we give the bounds for the E-global dimension of B in a recollement (A, B, C) by controlling the behavior of the E-global dimensions of the triangulated categories A and C: In particular, we show that the finiteness of the E-global dimensions of triangulated categories is invariant with respect to the recollements of triangulated categories.     

Stable t-structures and Homotopy Category of Strongly Copure Projective Modules

In this paper, we study the homotopy category of unbounded complexes of strongly copure projective modules with bounded relative homologies K~(∞,bscp)(SCP).We show that the existence of a right recollement of K~(∞,bscp)(SCP) with respect to K~(-,bscp)(SCP), K_(scpac)(SCP) and K~(∞,bscp)(SCP) has the homotopy category of strongly copure projective acyclic complexes as a triangulated subcategory in some case.     

The characterization of a class of quantum Markov semigroups and the associated operator-valued Dirichlet forms based on Hilbert C~*-module l_2(A)

We characterize A-linear symmetric and contraction module operator semigroup{Tt}t∈R+L(l2(A)),where A is a finite-dimensional C-algebra,and L(l2(A))is the C-algebra of all adjointable module maps on l2(A).Next,we introduce the concept of operator-valued quadratic forms,and give a one to one correspondence between the set of non-positive definite self-adjoint regular module operators on l2(A)and the set of non-negative densely defined A-valued quadratic forms.In the end,we obtain that a real and strongly continuous symmetric semigroup{Tt}t∈R+L(l2(A))being Markovian if and only if the associated closed densely defined A-valued quadratic form is a Dirichlet form.     

The characterization of a class of quantum Markov semigroups and the associated operator-valued Dirichlet forms based on Hilbert <Emphasis Type="Italic">C</Emphasis>*-module <Emphasis Type="Italic">l</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">A</Emphasis>)

We characterize A-linear symmetric and contraction module operator semigroup{Tt}t∈R+L(l2(A)),where A is a finite-dimensional C-algebra,and L(l2(A))is the C-algebra of all adjointable module maps on l2(A).Next,we introduce the concept of operator-valued quadratic forms,and give a one to one correspondence between the set of non-positive definite self-adjoint regular module operators on l2(A)and the set of non-negative densely defined A-valued quadratic forms.In the end,we obtain that a real and strongly continuous symmetric semigroup{Tt}t∈R+L(l2(A))being Markovian if and only if the associated closed densely defined A-valued quadratic form is a Dirichlet form.     

Homological Epimorphisms,Compactly Generated t-Structures and Gorenstein-Projective Modules

The aim of this paper is two-fold.Given a recollement(T′,T,T′′,i*,i_*,i~!,j!,j*,j*),where T′,T,T′′are triangulated categories with small coproducts and T is compactly generated.First,the authors show that the BBD-induction of compactly generated t-structures is compactly generated when i*preserves compact objects.As a consequence,given a ladder(T′,T,T′′,T,T′) of height 2,then the certain BBD-induction of compactly generated t-structures is compactly generated.The authors apply them to the recollements induced by homological ring epimorphisms.This is the first part of their work.Given a recollement(D(B-Mod),D(A-Mod),D(C-Mod),i*,i_*,i~!,j!,j*,j_*) induced by a homological ring epimorphism,the last aim of this work is to show that if A is Gorenstein,AB has finite projective dimension and j! restricts to D~b(C-mod),then this recollement induces an unbounded ladder(B-Gproj,A-Gproj,C-Gproj) of stable categories of finitely generated Gorenstein-projective modules.Some examples are described.     

Tilting subcategories in extriangulated categories

Extriangulated category was introduced by H.Nakaoka and Y.Palu to give a unification of properties in exact categories anjd triangulated categories.A notion of tilting(resp.,cotilting)subcategories in an extriangulated category is defined in this paper.We give a Bazzoni characterization of tilting(resp.,cotilting)subcategories and obtain an Auslander-Reiten correspondence between tilting(resp.,cotilting)subcategories and coresolving covariantly(resp.,resolving contravariantly)finite subcatgories which are closed under direct summands and satisfy some cogenerating(resp.,generating)conditions.Applications of the results are given:we show that tilting(resp.,cotilting)subcategories defined here unify many previous works about tilting modules(subcategories)in module categories of Artin algebras and in abelian categories admitting a cotorsion triples;we also show that the results work for the triangulated categories with a proper class of triangles introduced by A.Beligiannis.     

Frobenius morphisms and stable module categories of repetitive algebras

Let k be the algebraic closure of a finite field F_q and A be a finite dimensional k-algebra with a Frobenius morphism F.In the present paper we establish a relation between the stable module category of the repetitive algebra  of A and that of the repetitive algebra of the fixed-point algebra A~F.As an application,it is shown that the derived category of A~F is equivalent to the subcategory of F-stable objects in the derived category of A when A has a finite global dimension.     

Lifting and Restricting Recollement Data

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 Nicolás and Saorín (Parametrizing recollement data for triangulated categories. To appear in J. Algebra), 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 category of a differential graded (=dg) category to be a recollement of right bounded derived categories of dg categories. Theorem 2 considers the case of dg categories with cohomology concentrated in non-negative degrees. In Theorem 3 we consider the particular case in which those dg categories are just ordinary algebras.     

一类代数扩张与其模范畴

对一已知代数进行扩张,并研究扩张代数、重复代数与其模范畴之间的关系.首先利用代数A的双边理想I构造扩张代数T(A,I)和重复代数T(A,I),并研究其模范畴;其次研究范畴T(A,I)-Mod与T(A,I)-Mod的关系,得到于T^v(A,I)-Mod同构于T(A,I)-mod;另外证明存在T(A,I)-mod到T(A,I)-mod的覆盖函子;最后研究商代数A/I的平凡扩张代数T(A/I),得出T(A/I)/I与扩张代数T(A,I)同构.     

A recollement construction of Gorenstein derived categories

We first give an equivalence between the derived category of a locally finitely presented category and the derived category of contravariant functors from its finitely presented subcategory to the category of abelian groups, in the spirit of Krause’s work [Math. Ann., 2012, 353: 765–781]. Then we provide a criterion for the existence of recollement of derived categories of functor categories, which shows that the recollement structure may be induced by a proper morphism defined in finitely presented subcategories. This criterion is then used to construct a recollement of derived category of Gorenstein injective modules over CM-finite 2-Gorenstein artin algebras.     

模范畴Recollement的Koenig定理

Koenig定理描述了环的导出范畴允许recollement的一个充分必要条件.本文给出环的模范畴版本的Koenig定理及其应用.应用一是可以导出Morita等价定理,应用二是可以描述三角矩阵环与模范畴的recollement之间的密切联系.     

正合范畴中的复形、余挠对及粘合

作者在弱幂等完备的正合范畴(A,ε)中引入了复形的新的定义,并且证明了ε-正合复形的同伦范畴κ_ex(ε)是同伦范畴κ_ε(A)的厚子范畴.给定(A,ε)中的余挠对(x,y),定义了正合范畴(c_ε(A),C(ε))中的两个余挠对(x^~_ε,dgy^~_ε)和(dgx^~_ε,y^~_ε),并且证明了当A是可数完备时,c_ε(A)中任意无界复形的dgx^~_ε,y^~_ε-分解存在.作为应用,建立了相对于范畴κ_ex(ε)和D_ε(A)的范畴κ_ε(A)的左粘合,给出了R-模范畴的粘合的例子.     

粘合、倾斜同调维数与高维Auslander-Reiten理论

本文主要研究阿贝尔范畴粘合$(\mathscr{A}, \mathscr{B}, \mathscr{C})$中$\mathscr{A}$, $\mathscr{B}$与$\mathscr{C}$之间的倾斜同调维数关系. 特别地,对遗传的阿贝尔范畴$\mathscr{B}$,给出了粘合$(\mathscr{A}, \mathscr{B}, \mathscr{C})$中的范畴之间的$n$-几乎可裂序列间的联系.     

广义Comma范畴的Recollement

本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.