The level of a module over a differential graded algebra measures the number of steps required to build the module in an appropriate triangulated category. Based on this notion, we introduce a new homotopy invariant of spaces over a fixed space, called the level of a map. Moreover we provide a method to compute the invariant for spaces over a $\K$-formal space. This enables us to determine the level of the total space of a bundle over the 4-dimensional sphere with the aid of Auslander-Reiten theory for spaces due to Jørgensen. We also discuss the problem of realizing an indecomposable object in the derived category of the sphere by the singular cochain complex of a space. The Hopf invariant provides a criterion for the realization.
Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put this homotopy category into a recollement with two other compactly generated triangulated categories: The usual derived category of $R$ and the pure derived category of $R$. This also gives a new model for the derived category.
An alternative approach to the classical Morel-Voevodsky stable motivic homotopy theory $SH(k)$ is suggested. The triangulated category of framed bispectra $SH_{nis}^{fr}(k)$ and effective framed bispectra $SH_{nis}^{fr,eff}(k)$ are introduced in the paper. Both triangulated categories only use Nisnevich local equivalences and have nothing to do with any kind of motivic equivalences. It is shown that $SH_{nis}^{fr}(k)$ and $SH_{nis}^{fr,eff}(k)$ recover the classical Morel-Voevodsky triangulated categories of bispectra $SH(k)$ and effective bispectra $SH^{eff}(k)$ respectively. We also recover…
In this survey we explain the results of the recent article arXiv:1806.06471. Following a 1973 article by Lawvere one can define metrics on categories, and following Kelly's 1982 book one can complete a category with respect to its metric. We specialize these general constructions to triangulated categories, and restrict our attention to "good metrics". And the remarkable new theorem is that, when we start with a triangulated category $\mathcal S$ with a good metric, its completion $\mathfrak{L}(\mathcal{S})$ contains an interesting subcategory $\mathfrak{S}(\mathcal{S})$ which is always trian…
