arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1902.10656math.KT
收藏

代数的圈稳定同伦范畴

The loop-stable homotopy category of algebras

Emanuel Rodríguez Cirone

摘要:

设l是有单位元的交换环。Garkusha从l-代数范畴中构造了一个函子到三角化范畴D中,这是一个泛切的、同伦不变量的同调论.后来,他提供了不同的描述D,作为应用他的动机同伦代数论。利用这些,可以证明D是三角化等价于一个范畴,用k表示,其对象是对(A,m),A是l-代数,m是整数,其Hom-set可以用态射的同伦类来描述。然而,所有这些计算都需要同伦理论这台重型机器。本文给出了三角范畴k的一个更明确的构造,并证明了它的泛性质,避免了同伦理论的方法,而采用了Cortiñas-Thom定义kk-理论的方法.此外,我们模仿Cuntz-Meyer-Rosenberg定义的代数的悬置稳定同伦范畴中的复合律,给出了k中复合律的新描述。我们还证明了在k中的三角结构可以使用扩展或映射路径三角形来定义。

英文摘要:

Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different descriptions of D, as an application of his motivic homotopy theory of algebras. Using these, it can be shown that D is triangulated equivalent to a category, denote it by k, whose objects are pairs (A,m) with A an l-algebra and m an integer, and whose Hom-sets can be described in terms of homotopy classes of morphisms. All these computations, however, require a heavy machinery of homotopy theory. In this paper, we give a more explicit construction of the triangulated category k and prove its universal property, avoiding the homotopy-theoretic methods and using instead the ones developed by Cortiñas-Thom for defining kk-theory. Moreover, we give a new description of the composition law in k, mimicking the one in the suspension-stable homotopy category of bornological algebras defined by Cuntz-Meyer-Rosenberg. We also prove that the triangulated structure in k can be defined using either extension or mapping path triangles.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑