令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文[Models for singularity categories,Adv Math.,2014,254:187-232])之间的Quillen等价.作为应用,给出了投射,内射模的正合复形的同伦范畴之间的一个具体的...令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文[Models for singularity categories,Adv Math.,2014,254:187-232])之间的Quillen等价.作为应用,给出了投射,内射模的正合复形的同伦范畴之间的一个具体的等价■.展开更多
In this paper we show how the transformations associated with the reduction to the Smith form of some classes of mul-tivariate polynomial matrices are computed. Using a Maple implementation of a constructive version o...In this paper we show how the transformations associated with the reduction to the Smith form of some classes of mul-tivariate polynomial matrices are computed. Using a Maple implementation of a constructive version of the Quillen-Suslin Theorem, we present two algorithms for the reduction to a particular Smith form often associated with the simplification of linear systems of multidimensional equations.展开更多
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 st...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.展开更多
We give a necessary and sufficient condition for the fundamental group homomorphism of a map between CW-complexes(manifolds) to induce partial homology equivalences. As applications, we obtain characterizations of fun...We give a necessary and sufficient condition for the fundamental group homomorphism of a map between CW-complexes(manifolds) to induce partial homology equivalences. As applications, we obtain characterizations of fundamental groups of homology spheres and Moore manifolds. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is obtained, based on Quillen's plus construction with Whitehead torsions.展开更多
基金This research was supported by the National Natural Science Foundation of China(10771095)the Guangxi Science Foundation(0832107,0640070)the Scientific Research Foundation of Guangxi Education Committee(200707LX233)
文摘令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文[Models for singularity categories,Adv Math.,2014,254:187-232])之间的Quillen等价.作为应用,给出了投射,内射模的正合复形的同伦范畴之间的一个具体的等价■.
文摘In this paper we show how the transformations associated with the reduction to the Smith form of some classes of mul-tivariate polynomial matrices are computed. Using a Maple implementation of a constructive version of the Quillen-Suslin Theorem, we present two algorithms for the reduction to a particular Smith form often associated with the simplification of linear systems of multidimensional equations.
基金supported by Jiangsu Normal University(No.JSNU12XLR025)
文摘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.
基金supported by National Natural Science Foundation of China(Grand No.10901151)RDF-13-02-08 of Xi’an Jiaotong-Liverpool University
文摘We give a necessary and sufficient condition for the fundamental group homomorphism of a map between CW-complexes(manifolds) to induce partial homology equivalences. As applications, we obtain characterizations of fundamental groups of homology spheres and Moore manifolds. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is obtained, based on Quillen's plus construction with Whitehead torsions.
