Numerical functors on Voevodsky's motives (Q530413)

Editorial remark: Accidentally, this article has been issued twice for reviewing. Therefore, we display both reviews, by adding the second one to the originally published review: Let \(\mathcal M_{\mathrm{rat}}(k)\) be the category of Chow motives over a field \(k\) and let \(\Phi:\mathcal M_{\mathrm{rat}}(k)\to\mathcal M_{\mathrm{num}}(k)\) be the functor to the category of numerical motives, which, due to a result of Jannsen, is semi simple. The functor \(\Phi\) is full, its kernel is the largest proper tensor ideal in \(\mathcal M_{\mathrm{rat}}(k)\) and is conservative, when restricted to the subcategory of\(\mathcal M_{\mathrm{rat}}(k)\) generated by the motives of abelian varieties. In this paper the author deals with the problem of a possible extension of \(\Phi\) to the Voevodsky's triangulated category of geometric motives \(DM_{gm}(k)\). There are two possible candidates: \[ p:DM_{gm}(k)\to DM_{gm}(k)/\mathcal N;\quad \pi:DM_{gm}(k)\to D^b(NUM(k)) \] where \(\mathcal N\) is the largest proper tensor ideal of \(DM_{gm}(k)\) and \(\pi\) is the triangulated functor defined by \textit{M. V. Bondarko} [J. Inst. Math. Jussieu 8, No. 1, 39--97 (2009; Zbl 1161.14014)]. The main result is the following Theorem 1. Let \(\mathcal T\subset DM_{gm}(k)\) be the smallest triangulated category containing finite dimensional Chow motives. Then the functor \(\pi\) is conservative when restricted to \(\mathcal T\). If the base field \(k\) is not algebraic over a finite field, then{\parindent=0.7cm\begin{itemize}\item[(i)] The quotient \(DM_{gm}(k)/\mathcal N\) has no triangulated structure such that \(p\) is triangulated; \item[(ii)] \(\pi\) is not full, even when restricted to \(\mathcal T\); \item[(iii)] \(p\) is not conservative, even when restricted to \(\mathcal T\); \item[(iv)] The pseudo-abelianizations of both categories \(DM_{gm}(k)/\mathcal N\) and \(D^b(NUM(k)\) are semi simple. \end{itemize}} Reviewer: Claudio Pedrini (Genova) Let \(\text{num} : CHM(k) \rightarrow NUM(k)\) be the functor from the category of Chow motives over \(k\) to the category of numerical motives over \(k.\) The reason for which this functor is useful is that the category \(NUM(k)\) is semisimple whereas \(CHM(k)\) is not. The main properties of the functor \(\text{num}\) are that it is full, its kernel is the biggest tensor ideal of \( CHM(k)\) and it is conservative when restricted to Chow motives arising from abelian varieties. The author considers two extensions of \(\text{num}\) to the category of Voevodsky's triangulated category of geometric motives \(\mathbf{DM}_{gm}(k)\) and compares them. First functor is the quotient functor \(p: \mathbf{DM}_{gm}(k) \rightarrow \mathbf{DM}_{gm}(k)/{\mathcal N}\), where \({\mathcal N}\) is the biggest proper tensor ideal of \(\mathbf{DM}_{gm}(k).\) The second functor is a triangulated functor \({\pi}:\mathbf{DM}_{gm}(k) \rightarrow D^{b}(NUM(k))\) (cf. [\textit{M. V. Bondarko}, J. Inst. Math. Jussieu 8, No. 1, 39--97 (2009; Zbl 1161.14014)]). Reviewer: Piotr Krasoń (Szczecin)