The bivariant parasimplicial ${\mathsf{S}}_{\bullet }$-construction

Abstract

Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite dimensional algebras (as representations of Dynkin quivers of type A). In a first step we will prove a strong comparison result relating composable strings of morphisms and coherent diagrams on cubes with support on a path from the initial to the final object. We observe that both structures are equivalent (by passing to higher analogues of mesh categories) to distinguished coherent diagrams on special classes of morphism objects in the 2-category of parasimplices. Furthermore, we show that the notion of distinguished coherent diagrams generalizes well to arbitrary morphism objects in this 2-category. The resulting categories of coherent diagrams lead to higher versions of the ${\mathsf{S}}_{\bullet }$-construction and are closely related to representations of higher Auslander algebras of Dynkin quivers of type A. Understanding these categories and the functors relating them in general will require a detailed analysis of the 2-category of parasimplices as well as basic results from abstract cubical homotopy theory (since subcubes of distinguished diagrams very often turn out to be bicartesian). Finally, we show that the previous comparison result extends to a duality theorem on general categories of distinguished coherent diagrams, as a special case leading to some new derived equivalences between higher Auslander algebras.

108 pages

References in corpus (13)

• Cofibrations in Homotopy Theory
• The axioms for n-angulated categories
• Simplicial structures in higher Auslander-Reiten theory
• The linearity of traces in monoidal categories and bicategories
• On derived equivalences of lines, rectangles and triangles
• Universal Toda brackets of ring spectra
• Higher Segal structures in algebraic $K$-theory
• Abstract representation theory of Dynkin quivers of type A
• Higher Toda brackets and the Adams spectral sequence in triangulated categories
• A note on stable recollements
• A note on K-theory and triangulated derivators
• Generalized stability for abstract homotopy theories
• Abstract cubical homotopy theory