纯奇点范畴中的Buchweitz定理

我们定义纯奇点范畴D_(psg)~b(R)为有界纯导出范畴D_(pur)~b(R)与纯投射模构成的有界同伦范畴K~b(■)的Verdier商,得到了纯奇点范畴D_(psg)~b(R)三角等价于相对纯投射模的Gorenstein范畴的稳定范畴■的一个充分必要条件.同时,还给出三角等价D_(psg)~b(R)≌D_(psg)~b(S)的充分条件,这里R和S都是环.     

Gorenstein AC亏范畴*

作者定义了Gorenstein AC导出范畴 D^b_gac(R)并且和导出范畴作了一些比较.作者定义了Gorenstein AC奇点范畴 D^b_gacsg(R),在这个范畴中具有有限Gorenstein AC- 投射维数的模都是零对象.同时, 作者给出了由Gorenstein AC- 投射模构成的稳定范畴到奇点范畴的三角嵌入 F : GAC → D^b_sg(R) .通过作函子 F 的商引入Gorenstein AC亏范畴 D^b_gacd(R),并且给出三角等价 D^b_gacd(R) = D^b_gacsg(R)     

N-复形范畴上的模型结构与粘合(英文)

我们阐述了从完备遗传的余挠对得到N-复形范畴的导出范畴D_N(C)模型结构的方法,并且用模型范畴的理论推广了Krause和Verdier关于N-复形范畴的导出范畴D_N(C)的粘合性质.相应地,我们在任意环的N-复形范畴上定义了奇点范畴和Gorenstein亏范畴,并且借助于三角矩阵代数,得到了这些三角范畴的一些粘合.     

三角矩阵代数上奇点范畴和Gorenstein亏范畴的2-粘合

设■是三角矩阵代数,其中A和B是Artin代数,_AM_B是A-B-双模.本文研究了T上奇点范畴和Gorenstein亏范畴的2-粘合结构.在恰当的假设下,我们给出了T上奇点范畴和Gorenstein亏范畴的2-粘合存在的充分必要条件.     

拉回正合范畴中小子对象的探讨

拉回正合范畴是Abelian范畴的真正推广,是界在正合范畴与Abelian范畴之间的一类范畴.本文利用拉回-推出,引进拉回正合范畴的小子对象概念,并给出小子对象相关的性质以及等价条件.     

Γ-等变分歧问题的有限决定性

本文研究了关于Γ-右等价和Γ-左-右等价的Γ-等变分歧问题,利用了奇点理论和紧群表示论,获得了判别这类问题的一些准则,并推广了文[3]的一些结果.     

环扩张下的Gorenstein平坦模型结构

研究了环扩张下的Gorenstein平坦模型结构及其同伦范畴,设R≤S是满足一些条件的平坦扩张.我们证明了若f:M→N在S-模范畴的Gorenstein平坦模型结构中是上纤维化(纤维化,弱等价),则f:M→N在R-模范畴中亦如此;若R≤S是优越扩张,反过来也成立,即在优越扩张下Gorenstein平坦模型结构是不变的.进而,相关的稳定范畴是等价的,当且仅当对任意Gorenstein平坦S-模M,Coker(ηM)是平坦的,其中η表示S-模范畴和R-模范畴间的Quillen伴随函子的单位.     

分支问题中的C~0接触等价K决定性

本文使用奇点理论对分支问题进行了拓扑性质的研究.给出了分支问题中的C~0 接触等价的一个新的判别条件,并在此基础上推广了 Kuo 的有关结果.     

有限格，闭包系统和闭包算子

本文引进了新的闭包系统,新的闭包算子等概念,研究了它们之间的相互关系,给出了由闭包系统来表示有限原子格的表示定理,证明了分别以这些数学结构为对象,以它们之间的同态映射作为态射,所对应的格范畴和对应的闭包系统范畴是范畴等价的.     

单纯广群的准层和同伦纤维

显示了在设置C上的单纯广群的准层的范畴是个封闭模型范畴.证明了在一个单纯广群的准层G上的单纯函子X是局部弱等价于同伦纤维.     

A Note on Model (Co)slice Categories

There are various adjunctions between model (co)slice categories. The author gives a proposition to characterize when these adjunctions are Quillen equivalences. As an application, a triangle equivalence between the stable category of a Frobenius category and the homotopy category of a non-pointed model category is given.     

A Cartan-Eilenberg approach to homotopical algebra

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objects with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values on a category of complexes of an abelian category. In the latter case there are examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications of our theory, we establish a very general acyclic models theorem.     

Model Categories in Algebraic Topology

This survey of model categories and their applications in algebraic topology is intended as an introduction for non homotopy theorists, in particular category theorists and categorical topologists. We begin by defining model categories and the homotopy-like equivalence relation on their morphisms. We then explore the question of compatibility between monoidal and model structures on a category. We conclude with a presentation of the Sullivan minimal model of rational homotopy theory, including its application to the study of Lusternik–Schnirelmann category.     

Three models for the homotopy theory of homotopy theories

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the “homotopy theory” of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a “homotopy theory of homotopy theories”. In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with the respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk’s complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory.     

A model category structure on the category of simplicial categories

In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.

     

Homotopy theory of spectral categories

We construct a Quillen model structure on the category of spectral categories, where the weak equivalences are the symmetric spectra analogue of the notion of equivalence of categories.     

On Ext-Transfer for Algebraic Groups

This paper builds upon the work of Cline and Donkin to describe explicit equivalences between some categories associated to the category of rational modules for a reductive group G and categories associated to the category of rational modules for a Levi subgroup H. As an application, we establish an Ext-transfer result from rational G-modules to rational H-modules. In case G = GL_n, these results can be illustrated in terms of classical Schur algebras. In that case, we establish another category equivalence, this time between the module category for a Schur algebra and the module category for a union of blocks for a natural quotient of a larger Schur algebra. This category equivalence provides a further Ext-transfer theorem from the original Schur algebra to the larger Schur algebra. This result extends to the category level the decomposition number method of Erdmann. Finally, we indicate (largely without proof) some natural variations to situations involving quantum groups and q-Schur algebras.     

Stable model categories are categories of modules

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.     

Galois theory in variable categories

The order-reversing bijection between field extensions and subgroups of the Galois group G follows from the equivalence between the opposite of the category of étale algebras and the category of discrete G-spaces [2]. We show that the basic ingredient for this equivalence of categories, and for various known generalizations, is a factorization system for variable categories.     

Crossed Semimodules and Schreier Internal Categories in the Category of Monoids

We introduce the notion of a Schreier internal category in the category of monoids and prove that the category of Schreier internal categories in the category of monoids is equivalent to the category of crossed semimodules. This extends a well-known equivalence of categories between the category of internal categories in the category of groups and the category of crossed modules.