On the triangulated category of framed motives $\text{DFr}_{-}^{eff}(k)$ (2211.13499v1)

Abstract: The category of framed correspondences $Fr_*(k)$ was invented by Voevodsky in his notes in order to give another framework for SH(k) more amenable to explicit calculations. Based on that notes and on their JAMS paper Garkusha and the author introduced in a very paper a triangulated category of framed bispectra $\text{SH}{nis}^{fr}(k)$. It is shown in the latter paper that $\text{SH}{nis}^{fr}(k)$ recovers classical Morel-Voevodsky triangulated category of bispectra $\text{SH}(k)$. For any infinite perfect field $k$ a triangulated category of $\mathbb{F}\text{r}$-motives $\text{D}\mathbb{F}\text{r}{-}^{eff}(k)$ is constructed in the style of the Voevodsky construction of the category $\text{DM}-^{eff}(k)$. In our approach the Voevodsky category of Nisnevich sheaves with transfers is replaced with the category of $\mathbb{F}\text{r}$-modules. To each smooth $k$-variety $X$ the $\mathbb{F}\text{r}$-motive $\text{M}{\mathbb{F}\text{r}}(X)$ is associated in the category $\text{D}\mathbb{F}\text{r}{-}^{eff}(k)$. We identify the triangulated category $\text{D}\mathbb{F}\text{r}{-}^{eff}(k)$ with the full triangulated subcategory $\text{SH}^{eff}{-}(k)$ of the classical Morel-Voevodsky triangulated category $\text{SH}^{eff}(k)$ of effective motivic bispectra. Moreover, the triangulated category $\text{D}\mathbb{F}\text{r}_{-}^{eff}(k)$ is naturally symmetric monoidal. The mentioned identification of the triangulated categories respects the symmetric monoidal structures on both sides.