从三角范畴的recollement到Abel范畴的recollement

研究了三角范畴的recollement与Abel范畴的recollement的关系.证明了：若三角范畴D允许关于三角范畴D和D的recollement,则Abel范畴D/T允许关于Abel范畴D/i^＊（T）和D/j^＊（T）的recollement,其中T为D的cluster-倾斜子范畴,且满足i＊i^＊（T）＊T,j^＊j^＊（T）^＊T.     

商范畴的Recollement

证明了三角范畴的recollement可以自然诱导其商范畴的recollement.特别地,得到类似于群同态第二基本定理的结果,即若U是三角范畴D的局部化(或余局部化)子范畴,V是U的三角满子范畴,则U/V是D/V的局部化(或余局部化)子范畴,并且有三角等价(D/V)/(U/V)≌D/U.同理,对Abel范畴的recollement也有相应的结果.     

三角范畴的coherent函子范畴的recollement（英文）

文章研究了三角范畴D及其coherent函子范畴A(D)的recollement之间的关系.利用D的recollement可以诱导A(D)的prerecollement,文章证明了该prerecollement是recollement的充分必要条件是D的recollement是可裂的;并且D的recollement可以诱导A(D)的prerecollement.     

函子范畴的Recollement

函子范畴是—类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质。本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment．应用到k-线性范畴,得到k．线性Abel范畴的recollement可以自然诱导其模范畴的recollement．     

广义Comma范畴的Recollement

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

Gorenstein子范畴与相对奇点范畴

令A是阿贝尔范畴, T是A的一个自正交子范畴, 且T中每个对象均有有限投射维数和内射维数. 假设左Gorenstein子范畴lG(T)等于T的右正交类,且右Gorenstein子范畴rG(T)等于T的左正交类,我们证明了Gorenstein子范畴$G(T)$等于T的左正交类与T的右正交类之交,并且证明了它们的稳定范畴三角等价于A关于T的相对奇点范畴.作为应用,令$R$是有有限左自内射维数的左诺特环, $_RC_s$是半对偶化双模,且所有内射左$R$-模的平坦维数的上确界有限, 我们证明了 若$\mbox{}_RC$有有限内射（平坦）维数且$C$的右正交类包含$R$,则存在从$C$-Gorenstein投射模与关于$C$的Bass类的交到关于$C$-投射模的相对奇点范畴间的三角等价,推广了某些经典的结果.     

函子范畴上加性函子的一个表示

研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴ModC上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范畴ModC到范畴Ab的任意变和为积的反变左正合可加函子都与某个Hom函子自然等价.所得结论在函子范畴上,推广了Watts定理.     

双诱导型定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.     

基于Ω-范畴的定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。     

三角范畴的coherent函子范畴的recollement

文章研究了三角范畴D及其coherent函子范畴A(D)的recollement之间的关系.利用D的recollement可以诱导A(D)的prerecollement,文章证明了该prerecollement是recollement的充分必要条件是D的recollement是可裂的;并且D的recollement可以诱导A(D)的prerecollement.     

Triangulated functors,homological functors,tilts, and lifts

 Let T be a triangulated category and let X be an object of T. This paper studies the questions: Does there exist a triangulated functor G : D(ℤ)  T with G(ℤ)≌X? Does there exist a triangulated functor H : T  D(ℤ) with h⁰ ⊚ H ⋍ Hom_T (X, −)? To what extent are G and H unique? One spin off is a proof that the homotopy category of spectra is not the stable category of any Frobenius category with set indexed coproducts. Received: 8 March 2002 / Revised version: 18 October 2002 Published online: 14 February 2003 Mathematics Subject Classification (2000): 18E30, 55U35     

Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.     

CONCRETE CATEGORIES FOR WHICH FIBRE COMPLETIONS INDUCE TOPOLOGICAL COMPLETIONS

Abstract

Every topological category over an arbitrary base category X may be considered as a category of T-models with respect to some theory (i.e., functor) T from X into a category of complete lattices. Using this model-theoretic correspondence as our basic tool, we study initial and final completions of (co)fibration complete categories. For an arbitrary concrete category (A, U) over X, the process of order-theoretically completing each fibre does not usually yield an initial/final completion of (A, U). It is shown in this paper that for concrete categories which are assumed to be fibration and/or cofibration complete, initial and final completions can be constructed by completing the fibres. These completions are further shown to exhibit some interesting external properties.     

Torsion Zero-Cycles on a Product of Canonical Lifts of Elliptic Curves

Let X be a surface over a p-adic field with good reduction and let Y be its special fiber. We write T(X) and T(Y) for the kernels of the Albanese maps of X and Y, respectively. Then, F(X) = T(X)/T(X)_div is conjectured to be finite, where T(X)_div is the maximal divisible subgroup of T(X). Furthermore, F(X) is conjectured to be isomorphic to T(Y) modulo p-primary torsion. We show that the p-primary torsion subgroup of F(X) can be arbitrary large even though we fix the special fiber Y.     

General Heart Construction on a Triangulated Category (II): Associated Homological Functor

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., t-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are t-structures and cluster tilting subcategories. If the torsion pair comes from a t-structure, then its heart is nothing other than the heart of this t-structure. In this case, as is well known, by composing certain adjoint functors, we obtain a homological functor from the triangulated category to the heart. If the torsion pair comes from a cluster tilting subcategory, then its heart coincides with the quotient category of the triangulated category by this subcategory. In this case, the quotient functor becomes homological. In this paper, we unify these two constructions, to obtain a homological functor from the triangulated category, to the heart of any torsion pair.     

On the unipotence of autoequivalences of toric complete intersection Calabi–Yau categories

Consider the derived category of coherent sheaves, D ^b (X), on a compact Calabi–Yau complete intersection X in a toric variety. The scope of this work is to establish the (quasi-)unipotence of a class of elements in the group of autoequivalences, Aut(D ^b (X)). This is achieved by associating singularity categories, modelled by matrix factorizations, to the toric data. Each of these triangulated categories is equivalent to the derived category of coherent sheaves on X. The idea is then that, although the singularity categories share the group of autoequivalences, on each category there are elements in Aut(D ^b (X)), whose (quasi-)unipotence relations are easier to see than on the other categories.     

ON Δ-GOOD MODULE CATEGORIES ARISING FROM HEREDITARY ALGEBRAS

Let A be a hereditary artin algebra and M a complete exceptional sequence over A. Let F(M) be the subcategory of A-mod consisting of modules with an M-filtration. A quasi-hereditary algebra is called e-quasi-hereditary provided that its Δ-good module category is equivalent to the category F(M) under an exact functor. A characterization of e-quasi-hereditary algebras is given, and a connection between the representation type of F(Δ) and the Tits form associated to it for some e-quasi-hereditary algebras is obtained in this paper.     

The derived category of quasi-coherent sheaves and axiomatic stable homotopy

We prove in this paper that for a quasi-compact and semi-separated (nonnecessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(Aqc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies Dqct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it is not unital, therefore its abstract nature differs essentially from that of the derived category Dqc(X) (which is equivalent to D(Aqc(X))) in the case of a usual scheme.