Symmetric monoidal structure on non-commutative motives (Q2883228)

The authors construct a symmetric monoidal structure on the localizing motivator \(\mathcal M \mathrm{ot}^{\mathrm{loc}}_{\mathrm{dg}}\) of \(dg\) categories. In [Duke Math. J. 145, No. 1, 121--206 (2008; Zbl 1166.18007)] the second author proved that there exists a localising invariant: NEWLINE\[NEWLINE\mathcal U_{\mathrm {dg}}^{\mathrm{loc}} : HO(\mathrm{dgcat})\rightarrow\mathcal M \mathrm{ot}_{\mathrm{dg}}^{\mathrm{loc}}NEWLINE\]NEWLINE from the derivator associated to the Morita model structure of \(\mathrm {dg}\) categories to the strong triangulated derivator, such that for any strong triangulated derivator \(\mathbb D\) one has the equivalence of categories: NEWLINE\[NEWLINE(\mathcal U_{\mathrm{dg}}^{\mathrm{loc}})^\ast : \quad{\underline {\mathrm{Hom}}_{\, !}(\mathcal M\mathrm{ot}_{\mathrm {dg}}^{\mathrm{loc}},\mathbb D)} \rightarrow {\underline {\mathrm{Hom}}_{\,{\text{loc}}}(HO({\text{dgcat}}),\mathbb D)}NEWLINE\]NEWLINE Here the term derivator is used in the sense of \textit{A. Grothendieck} [``Les dérivateurs'', manuscript, \url{http://www.math.jussieu.fr/~maltsin/groth/Derivateurs.html}]. On the left-hand side of the equivalence there is the category of homotopy colimit preserving morphisms of derivators and on the right-hand side the category of localising invariants. The authors give numerous applications of this symmetric monoidal structure. They compute the spectra of morphisms in \(\mathcal M\mathrm{ot}_{\mathrm {dg}}^{\mathrm{loc}}\) in terms of non-connective algebraic \(K\)-theory. They show that there is a fully-faithful embedding of Kontsevich's category \(KMM_k\) of non-commutative mixed motives into the base category \(\mathcal M\mathrm{ot}_{\text{dg}}^{\mathrm{loc}}(e)\) of the localizing motivator. Another application is a simple construction of the Chern character maps from non-connective algebraic \(K\)-theory to negative and periodic cyclic homology. The precise connection between Toën's secondary \(K\)-theory and the Grothendieck ring of \({KMM}_{k}\) is also established. Finally, the Euler characteristic in \(KMM_k\) is described in terms of Hochschild homology.